The distribution functions of and

Let be the sum of the positive divisors of . We show that the natural density of the set of integers satisfying is given by , where denotes Euler's constant. The same result holds when is replaced by , where is Euler's totient function.

     

-isomorphisms, Jordan isomorphisms, and numerical range preserving maps

Let or , where is the algebra of a bounded linear operator acting on the Hilbert space , and is the set of self-adjoint operators in . Denote the numerical range of by It is shown that a surjective map satisfies

if and only if there is a unitary operator such that has the form

where is the transpose of with respect to a fixed orthonormal basis. In other words, the map or is a -isomorphism on and a Jordan isomorphism on . Moreover, if has finite dimension, then the surjective assumption on can be removed.

     

A reduction theorem for the topological degree for mappings of class

The reduction theorem for the Leray-Schauder degree provides an efficient tool to calculate the value of the degree in a suitable invariant subspace. We shall prove how the calculation of the value of the topological degree for a mapping of class from a real separable reflexive Banach space into the dual space can be reduced into the calculation of degree of mapping from a closed subspace into Since the Leray-Schauder mappings are acting from to and we are dealing with mappings from to the standard `invariant subspace' condition must be replaced by a less obvious one.

     

The problem of minimizing locally a functional around non-critical points is well-posed

In this paper, we prove the following general result: Let be a real Hilbert space and a functional, with locally Lipschitzian derivative.

Then, for each with , there exists such that, for every , the restriction of to the sphere has a unique global minimum toward which every minimizing sequence strongly converges.

     

On the index and spectrum of differential operators on

If is an system of differential operators on having continuous coefficients with vanishing oscillation at infinity, the Cordes-Illner theory ensures that is Fredholm from to for all or no value We prove that both the index (when defined) and the spectrum of are independent of

     

On quasifree profinite groups

Recently, it has been shown by Harbater and Stevenson that a profinite group is free profinite of infinite rank if and only if is projective and -quasifree. The latter condition requires the existence of distinct solutions to certain embedding problems for . In this paper we provide several new non-trivial examples of -quasifree groups, projective and non-projective. Our main result is that open subgroups of -quasifree groups are -quasifree.

     

Cofinality changes required for a large set of unapproachable ordinals below

In , assume that is a strong limit cardinal and . Let be the set of approachable ordinals less than . An open question of M. Foreman is whether can be non-stationary in some and preserving extension of . It is shown here that if is such an outer model, then is infinite, for each positive integer .

     

Some Hopf Galois structures arising from elementary abelian -groups

Let be an odd prime, , the elementary abelian -group of rank , and let be the group of principal units of the ring . If is a Galois extension with Galois group , then we show that for , the number of Hopf Galois structures on afforded by -Hopf algebras with associated group is greater than , where .

     

A new estimate in optimal mass transport

Let be a bounded Lipschitz regular open subset of and let be two probablity measures on . It is well known that if is absolutely continuous, then there exists, for every , a unique transport map pushing forward on and which realizes the Monge-Kantorovich distance . In this paper, we establish an bound for the displacement map which depends only on , on the shape of and on the essential infimum of the density .

     

Semiprime smash products and -stable prime radicals for PI-algebras

Assume that is a finite-dimensional Hopf algebra over a field and that is an -module algebra satisfying a polynomial identity (PI). We prove that if is semisimple and is -semiprime, then is semiprime. If is cosemisimple, we show that the prime radical of is -stable.

     

On pointed Hopf algebras associated to some conjugacy classes in

We show that any pointed Hopf algebra with infinitesimal braiding associated to the conjugacy class of is infinite-dimensional, if either the order of is odd, or all cycles in the decomposition of as a product of disjoint cycles have odd order except for exactly two transpositions.

     

Mapping properties of analytic functions on the disk

There is a universal constant with the following property. Suppose that is an analytic function on the unit disk , and suppose that there exists a constant so that the Euclidean area, counting multiplicity, of the portion of which lies over the disk , centered at and of radius , is strictly less than the area of . Then must send into . This answers a conjecture of Don Marshall.

     

A note on -intersection bodies

The concept of an intersection body is central for the dual Brunn-Minkowski theory and has also played an important role in the solution of the Busemann-Petty problem. A more general concept of -intersection bodies is related to the generalization of the Busemann-Petty problem. In this note, we compare classes of -intersection bodies for different and examine the conjecture that these classes increase with . In particular, we construct a -intersection body that is not a -intersection body.

     

The geography of symplectic -manifolds with an arbitrary fundamental group

In this article, for each finitely presented group , we construct a family of minimal symplectic -manifolds with which cover most lattice points with large in the region . Furthermore, we show that all these -manifolds admit infinitely many distinct smooth structures.

     

A sharp result on -covers

Let be a finite system of residue classes which forms an -cover of (i.e., every integer belongs to at least members of ). In this paper we show the following sharp result: For any positive integers and , if there is such that the fractional part of is , then there are at least such subsets of . This extends an earlier result of M. Z. Zhang and an extension by Z. W. Sun. Also, we generalize the above result to -covers of the integral ring of any algebraic number field with a power integral basis.

     

Upper bounds for the volume and diameter of -dimensional sections of convex bodies

In this paper some upper bounds for the volume and diameter of central sections of symmetric convex bodies are obtained in terms of the isotropy constant of the polar body. The main consequence is that every symmetric convex body in of volume one has a proportional section , dim ( ), of diameter bounded by

whenever the polar body is in isotropic position ( is some absolute constant).

     

Form estimates for the -Laplacean

We consider the problem of establishing conditions on that ensure that the form associated with the -Laplacean is positive bounded below. It was shown recently by Fan, Zhang and Zhao that - unlike the constant case - this is not possible if has a strict extrema in the domain. They also considered the closely related problem of eigenvalue existence and estimates. Our main tool is the adaptation of a technique, employed by Protter for involving arbitrary vector fields. We also examine related results obtained by a variant of Picone Identity arguments. We directly consider problems in with and while we focus on Dirichlet boundary conditions we also indicate how our approach can be used in cases of mixed boundary conditions, of unbounded domains and of discontinuous Our basic criteria involve restrictions on and its gradient.

     

Dynamics of the function and the Green-Tao theorem on arithmetic progressions in the primes

Let be the set of all positive integers , where are primes and possibly two, but not all three of them are equal. For any , define a function by where is the largest prime factor of . It is clear that if , then . For any , define , for . An element is semi-periodic if there exists a nonnegative integer and a positive integer such that . We use ind to denote the least such nonnegative integer . Wushi Goldring [Dynamics of the function and primes, J. Number Theory 119(2006), 86-98] proved that any element is semi-periodic. He showed that there exists such that , ind, and conjectured that ind can be arbitrarily large.

In this paper, it is proved that for any we have ind , and the Green-Tao Theorem on arithmetic progressions in the primes is employed to confirm Goldring's above conjecture.

     

(APD)-property of -algebras by extensions of -algebras with (APD)

A unital -algebra is said to have the (APD)-property if every nonzero element in has the approximate polar decomposition. Let be a closed ideal of . Suppose that and have (APD). In this paper, we give a necessary and sufficient condition that makes have (APD). Furthermore, we show that if and or is a simple purely infinite -algebra, then has (APD).

     

On a characterization of the maximal ideal spaces of algebraically closed commutative -algebras

Let be the algebra of all complex-valued continuous functions on a compact Hausdorff space . We say that is algebraically closed if each monic polynomial equation over has a continuous solution. We give a necessary and sufficient condition for to be algebraically closed for a locally connected compact Hausdorff space . In this case, it is proved that is algebraically closed if each element of is the square of another. We also give a characterization of a first-countable compact Hausdorff space such that is algebraically closed.