This paper is concerned with the study of a class of closed linear operators densely defined on a Hilbert space $H$ and called B-Fredholm operators. We characterize a B-Fredholm operator as the direct sum of a Fredholm closed operator and a bounded nilpotent operator. The notion of an index of a B-Fredholm operator is introduced and a characterization of B-Fredholm operators with index $0$ is given in terms of the sum of a Drazin closed operator and a finite-rank operator. We analyse the properties of the powers $T^m$ of a closed B-Fredholm operator and we establish a spectral mapping theorem.

Let $L_{\bm{a}}(\bm{z})=a_1z_1+a_2z_2+\cdots+a_Nz_N$ be a linear form in $N$ complex variables $z_1,z_2,\dots,z_N$ with non-zero coefficients. We establish several estimates for the logarithmic Mahler measure of $L_{\bm{a}}$. In general, we show that the logarithmic Mahler measure of $L_{\bm{a}}(\bm{z})$ and the logarithm of the norm of $\bm{a}$ differ by a bounded amount that is independent of $N$. We prove a further estimate which is useful for making an approximate numerical evaluation of the logarithmic Mahler measure.

AMS 2000 Mathematics subject classification: Primary 11C08; 11Y35; 26D15

For z in D and ζ in ∂D, we denote by pz(ζ) the Poisson kernel (1 − │z│2)│1 − ζ−2 for the open unit disc D. We ask for what countable sets {an:n∈ℕ} of points of D there exist complex numbers λn with

by which we mean that the series converges to zero in the norm of L1(∂D).

Based on the work of Adem and Cohen, this note describes an explicit stable decomposition of the space of commuting n-tuples in SU(2) as a wedge of indecomposable summands.

Let L(H) be the algebra of all bounded linear operators on a separable complex Hubert space H. In a recent paper [7], explicit expressions for solutions of a boundary value problem in the Hubert space H, of the type

are given in terms of solutions of an algebraic operator equation

Let G be a lattice-ordered group (l-group) and H a subgroup of G. H is said to be an l-subgroup of G if it is a sublattice of G. H is said to be convex if h1, h2 ∈ H and h2 ≦ g ≦ h2 imply g ∈ H. The normal convex l-subgroups (l-ideals) of an l-group play the same role in the study of lattice-ordered groups as do normal subgroups in the investigation of groups. For this reason, an l-group is said to be l-simple if it has no non-trivial l-ideals. As in group theory, a central task in the examination of lattice-ordered groups is to characterise those l-groups which are l-simple.

We obtain inverse factorial-series solutions of second-order linear difference equations with a singularity of rank one at infinity. It is shown that the Borel plane of these series is relatively simple, and that in certain cases the asymptotic expansions incorporate simple resurgence properties. Two examples are included. The second example is the large $a$ asymptotics of the hypergeometric function ${}_2F_1(a,b;c;x)$.

AMS 2000 Mathematics subject classification: Primary 34E05; 39A11. Secondary 33C05

Braces were introduced by Rump in 2007 as a useful tool in the study of the set-theoretic solutions of the Yang–Baxter equation. In fact, several aspects of the theory of finite left braces and their applications in the context of the Yang–Baxter equation have been extensively investigated recently. The main aim of this paper is to introduce and study two finite brace theoretical properties associated with nilpotency, and to analyse their impact on the finite solutions of the Yang–Baxter equation.

We deal with the restriction phenomenon for the Fourier transform. We prove that each of the restriction conjectures for the sphere, the paraboloid and the elliptic hyperboloid in ℝn implies that for the cone in ℝn+1. We also prove a new restriction estimate for any surface in ℝ3 locally isometric to the plane and of finite type.

In this note all small latin letters denote rational integers. We write k ≧ 1, s ≧ 1 and consider the simultaneous equations

A solution of these equations is said to be non-trivial if no set {xiu} is a permutation of another set {xiv}. In 1851 Prouhet constructed a non-trivial solution of these equations with j = sk and Lehmer has recently found a parametric solution for the same j. Here I give two alternative elementary proofs of Lehmer's result. Lehmer's own proof depends on the ideas of generating functions, exponentials, differentiation, matrices, and complex roots of unity, though all at a fairly simple level. One of my proofs requires only the factor theorem for a polynomial and the other only the multinomial theorem for a positive integral index.

We show that if a locally compact group $G$ is non-discrete or has an infinite amenable subgroup, then the second dual algebra $L^1(G)^{**}$ does not admit an involution extending the natural involution of $L^1(G)$. Thus, for the above classes of groups we answer in the negative a question raised by Duncan and Hosseiniun in 1979. We also find necessary and sufficient conditions for the dual of certain left-introverted subspaces of the space $C_b(G)$ (of bounded continuous functions on $G$) to admit involutions. We show that the involution problem is related to a multiplier problem. Finally, we show that certain non-trivial quotients of $L^1(G)^{**}$ admit involutions.

We extend the group theoretic notions of transfer and stable elements to graded centres of triangulated categories. When applied to the centre Z*(Db(B) of the derived bounded category of a block algebra B we show that the block cohomology H*(B) is isomorphic to a quotient of a certain subalgebra of stable elements of Z*(Db(B)) by some nilpotent ideal, and that a quotient of Z*(Db(B)) by some nilpotent ideal is Noetherian over H*(B).

We study the problem −∆pu = f(x, u) + t in Ω with Neumann boundary condition |∇u|p−2(∂u/∂v) = 0 on ∂Ω. There exists a t0 ∈ ℝ such that for t > t0 there is no solution. If t ≤ t0, there is at least a minimal solution, and for t < t0 there are at least two distinct solutions. We use the sub–supersolution method, a priori estimates and degree theory.

Making use of properties of doubly-stochastic matrices, I recently gave a simple proof (4) of a theorem of Ky Fan (Theorem 2b below) on symmetric gauge functions. I now propose to show that the same idea can be employed to derive a whole series of results on convex functions ; in particular, certain well-known inequalities of Hardy-Littlewood-Pólya and of Pólya will emerge as specìal cases.

This paper provides mathematical analysis of optical tomography in a situation when the examined object, for example the human brain, is strongly scattering with non-scattering inclusions. Light propagation in biological tissue is often modelled by the diffusion approximation of the radiative transfer equation. To be justified, the diffusion approximation demands that the medium is strongly scattering. Naturally, this is not true for non-scattering inclusions, for which some other model is needed. This is found through geometrical optics. Combination of the two models leads to an elliptic partial differential equation with boundary conditions on the outer boundary as well as on the boundaries of the non-scattering regions. The well-posedness of this forward problem is the main concern of this work.

AMS 2000 Mathematics subject classification: Primary 35Q60; 35R30

The inverse scattering problem for acoustic waves in shallow oceans are different from that in the spaces of R2 and R3 in the way that the “propagating” far-field pattern can only carry the information from the N +1 propagating modes. This loss of information leads to the fact that the far-field pattern operator is not injective. In this paper, we will present some properties of the far-field pattern operator and use this information to construct an injective far-field pattern operator in a suitable subspace of L2(∂Ω). Based on this construction an optimal scheme for solving the inverse scattering problem is presented using the minimizing Tikhonov functional.

In 2001, Enochs's celebrated flat cover conjecture was finally proven, and the proofs (two different proofs were presented in the same paper) have since generated a great deal of interest among researchers. The results have been recast in a number of other categories and, in particular, for additive categories. In 2008, Mahmoudi and Renshaw considered a similar problem for acts over monoids but used a slightly different definition of cover. They proved that, in general, their definition was not equivalent to that of Enochs, except in the projective case, and left open a number of questions regarding the ‘other’ definition. This ‘other’ definition is the subject of the present paper and we attempt to emulate some of Enochs's work for the category of acts over monoids, and concentrate, in the main, on strongly flat acts. We hope to extend this work to other classes of acts, such as injective, torsion free, divisible and free, in a future report.

In this paper, a theory is developed of generalized oscillatory integrals (OIs) whose phase functions and amplitudes may be generalized functions of Colombeau type. Based on this, generalized Fourier integral operators (FIOs) acting on Colombeau algebras are defined. This is motivated by the need for a general framework for partial differential operators with non-smooth coefficients and distribution dataffi The mapping properties of these FIOs are studied, as is microlocal Colombeau regularity for OIs and the influence of the FIO action on generalized wavefront sets.

Starting from two Lagrangian immersions and a horizontal curve in S3(1), it is possible to construct a new Lagrangian immersion, which we call a warped-product Lagrangian immersion. In this paper, we find two characterizations of warped-product Lagrangian immersions. We also investigate Lagrangian submanifolds which attain at every point equality in the improved version of Chen's inequality for Lagrangian submanifolds of ℂPn(4) as discovered by Opreaffi We show that, for n≥4, an n-dimensional Lagrangian submanifold in ℂPn(4) for which equality is attained at all points is necessarily minimal.

Recall that a norm and monotone if and monotone if If the norm is both absolute and monotone, itis called a Riesz norm. It is easy to show that a norm is Riesz if and only if whenever A Banach lattice is a vector lattice equipped with a complete Riesznorm.