A characterization of total reflection orders

Let be a Coxeter system with set of reflections . It is known that if is a total reflection order for , then, for each , and its complement are stable under conjugation by . Moreover the upper and lower -conjugates of are still total reflection orders. For any total order on , say that is stable if is stable under conjugation by for each . We prove that if and all orders obtained from by successive lower or upper -conjugations are stable, then is a total reflection order.

     

Long time heat diffusion on homogeneous trees

Let be a homogeneous tree of degree , , the Laplace operator of and the fundamental solution of the heat equation on . We show that the heat kernel is asymptotically concentrated in an annulus moving to infinity with finite speed . Asymptotic concentration of heat in the norm is also investigated.

     

A generalization of a theorem of Heins

Let be the family of holomorphic selfmaps of the unit disk in the complex plane . Heins established the continuity of the functional which assigns to ( denotes the identity map) either (i) the fixed point of or (ii) the limit of its iterations or (iii) if ( represents the boundary of ). Using an Abate extension of the Denjoy-Wolff lemma to strongly convex domains, we extend this result of Heins to selfmaps of strongly convex domains in with boundary.

     

On the boundary of attractors with non-void interior

Let be a family of contractive mappings on such that the attractor has nonvoid interior. We show that if the 's are injective, have non-vanishing Jacobian on , and have zero Lebesgue measure for then the boundary of has measure zero. In addition if the 's are affine maps, then the conclusion can be strengthened to . These improve a result of Lagarias and Wang on self-affine tiles.

     

Integer-valued polynomials over Krull-type domains and Prüfer -multiplication domains

Let be a domain with quotient field . The ring of integer-valued polynomials over is . We characterize the Krull-type domains such that is a Prüfer -multiplication domain.

     

The Furuta inequality in Banach -algebras

Let be real numbers with and Furuta (1987) proved that if bounded linear operators on a Hilbert space satisfy , then . This inequality is called the Furuta inequality and has many applications. In this paper, we prove that the Furuta inequality holds in a unital hermitian Banach -algebra with continuous involution.

     

Kuttner's problem and a Pólya type criterion for characteristic functions

Let be a continuous function with and . If is convex, then , , is the characteristic function of an absolutely continuous probability distribution. The criterion complements Pólya's theorem and applies to characteristic functions with various types of behavior at the origin. In particular, it provides upper bounds on Kuttner's function , , which gives the minimal value of such that is a characteristic function. Specifically, . Furthermore, improved lower bounds on Kuttner's function are obtained from an inequality due to Boas and Kac.

     

On the excess of sets of complex exponentials

For let be complex numbers such that is bounded. For define , where . Then the excesses in the sense of Paley and Wiener satisfy .

     

On the scarcity of lattice-ordered matrix algebras II

We correct and complete Weinberg's classification of the lattice-orders of the matrix ring and show that this classification holds for the matrix algebra where is any totally ordered field. In particular, the lattice-order of obtained by stipulating that a matrix is positive precisely when each of its entries is positive is, up to isomorphism, the only lattice-order of with . It is also shown, assuming a certain maximum condition, that is essentially the only lattice-order of the algebra in which the identity element is positive.

     

Uniqueness of the least-energy solution for a semilinear Neumann problem

We prove that the least-energy solution of the problem

where is a ball, and if , if , is unique (up to rotation) if is small enough.

     

A bound on the reduction number of a primary ideal

Let be a local ring of positive dimension and let be an -primary ideal. We denote the reduction number of by , which is the smallest integer such that for some reduction of In this paper we give an upper bound on in terms of numerical invariants which are related with the Hilbert coefficients of when is Cohen-Macaulay. If , it is known that where denotes the multiplicity of If in Corollary 1.5 we prove where is the first Hilbert coefficient of From this bound several results follow. Theorem 1.3 gives an upper bound on in a more general setting.

     

On the divergence of the means of double Walsh-Fourier series

In 1992, Móricz, Schipp and Wade proved the a.e. convergence of the double means of the Walsh-Fourier series () for functions in ( is the unit square). This paper aims to demonstrate the sharpness of this result. Namely, we prove that for all measurable function we have a function such as and does not converge to a.e. (in the Pringsheim sense).

     

On Tate-Shafarevich groups of abelian varieties

Let be a finite Galois extension of number fields with Galois group , let be an abelian variety defined over , and let and denote, respectively, the Tate-Shafarevich groups of over and of over . Assuming that these groups are finite, we derive, under certain restrictions on and , a formula for the order of the subgroup of of -invariant elements. As a corollary, we obtain a simple formula relating the orders of , and when is a quadratic extension and is the twist of by the non-trivial character of .

     

Universal -lattices of minimal rank

Let be the minimal rank of -universal -lattices, by which we mean positive definite -lattices which represent all positive -lattices of rank . It is a well known fact that for . In this paper, we determine and find all -universal lattices of rank for .

     

Reflection and uniqueness theorems for harmonic functions

Suppose that is harmonic on an open half-ball in such that the origin 0 is the centre of the flat part of the boundary . If has non-negative lower limit at each point of and tends to 0 sufficiently rapidly on the normal to at 0, then has a harmonic continuation by reflection across . Under somewhat stronger hypotheses, the conclusion is that . These results strengthen recent theorems of Baouendi and Rothschild. While the flat boundary set can be replaced by a spherical surface, it cannot in general be replaced by a smooth -dimensional manifold.

     

Iwasawa invariants and class numbers of quadratic fields for the prime

Let be a square-free integer with and . Put and . For the cyclotomic -extension of , we denote by the -th layer of over . We prove that the -Sylow subgroup of the ideal class group of is trivial for all integers if and only if the class number of is not divisible by the prime . This enables us to show that there exist infinitely many real quadratic fields in which splits and whose Iwasawa -invariant vanishes.

     

Existence of unliftable modules

Let be a commutative Noetherian local ring, and let where is a non-zerodivisor of contained in . Then a finitely generated -module is said to lift to if there exists a finitely generated -module such that is -regular and . In this paper we give a general construction of finitely generated -modules of finite projective dimension over which fail to lift to provided and the depth of is at least 2.

     

A criterion for splitting -algebras in tensor products

The goal of the paper is to prove the following theorem: if , are unital -algebras, simple and nuclear, then any -subalgebra of the -tensor product of and , which contains the tensor product of with the scalar multiples of the unit of , splits in the -tensor product of with some -subalgebra of .

     

Cyclic torsion of elliptic curves

Let be an elliptic curve over a number field such that
and let denote the number of roots of unity in . Ross proposed a question: Is isogenous over to an elliptic curve such that is cyclic of order dividing ? A counter-example of this question is given. We show that is isogenous to such that . In case has complex multiplication and , we obtain certain criteria whether or not is isogenous to such that .

     

-sequences

A sequence of positive integers is called a -sequence if every integer has at most representations with all in and . A -sequence is also called a -sequence or Sidon sequence. The main result is the following

Theorem. Let be a -sequence and for an integer . Then there is a -sequence of size , where .

Corollary. Let . The interval then contains a -sequence of size , when .