Tauberian theorems and stability of solutions of the Cauchy problem

Let be a bounded, strongly measurable function with values in a Banach space , and let be the singular set of the Laplace transform in . Suppose that is countable and uniformly for , as , for each in . It is shown that

as , for each in ; in particular, if is uniformly continuous. This result is similar to a Tauberian theorem of Arendt and Batty. It is obtained by applying a result of the authors concerning local stability of bounded semigroups to the translation semigroup on , and it implies several results concerning stability of solutions of Cauchy problems.

     

Generalized Hestenes' Lemma and extension of functions

Suppose we have an -jet field on which is a Whitney field on the nonsingular part of . We show that, under certain hypotheses about the relationship between geodesic and euclidean distance on , if the field is flat enough at the singular part , then it is a Whitney field on (the order of flatness required depends on the coefficients in the hypotheses). These hypotheses are satisfied when is subanalytic. In Section II, we show that a function on can be extended to one on if the differential goes to faster than the order of divergence of the principal curvatures of and if the first covariant derivative of is sufficiently flat. For the general case of functions with , we give a similar result for in Section III.

     

Rumely's local global principle for algebraic PC fields over rings

Let be a finite set of rational primes. We denote the maximal Galois extension of in which all totally decompose by . We also denote the fixed field in of elements in the absolute Galois group of by . We denote the ring of integers of a given algebraic extension of by . We also denote the set of all valuations of (resp., which lie over ) by (resp., ). If , then denotes the ring of integers of a Henselization of with respect to . We prove that for almost all , the field satisfies the following local global principle: Let be an affine absolutely irreducible variety defined over . Suppose that for each and for each . Then . We also prove two approximation theorems for .

     

The

In this paper we analyze the localization of , the fiber of the double suspension map , with respect to . If four cells at the bottom of , the th extended power spectrum of the Moore spectrum, are collapsed to a point, then one obtains a spectrum . Let be the James-Hopf map followed by the collapse map. Then we show that the secondary suspension map has a lifting to the fiber of and this lifting is shown to be a -periodic equivalence, hence an -equivalence.

     

Comultiplications on free groups and wedges of circles

By means of the fundamental group functor, a co-H-space structure or a co-H-group structure on a wedge of circles is seen to be equivalent to a comultiplication or a cogroup structure on a free group . We consider individual comultiplications on and their properties such as associativity, coloop structure, existence of inverses, etc. as well as the set of all comultiplications of . For a comultiplication of we define a subset of quasi-diagonal elements which is basic to our investigation of associativity. The subset can be determined algorithmically and contains the set of diagonal elements . We show that is a basis for the largest subgroup of on which is associative and that is a free factor of . We also give necessary and sufficient conditions for a comultiplication on to be a coloop in terms of the Fox derivatives of with respect to a basis of . In addition, we consider inverses of a comultiplication, the collection of cohomomorphisms between two free groups with comultiplication and the action of the group on the set of comultiplications of . We give many examples to illustrate these notions. We conclude by translating these results from comultiplications on free groups to co-H-space structures on wedges of circles.

     

Iterations of holomorphic Collet-Eckmann maps: conformal and invariant measures. Appendix: On non-renormalizable quadratic polynomials

We prove that for every rational map on the Riemann sphere , if for every -critical point whose forward trajectory does not contain any other critical point, the growth of is at least of order for an appropriate constant as , then . Here is the so-called essential, dynamical or hyperbolic dimension, is Hausdorff dimension of and is the minimal exponent for conformal measures on . If it is assumed additionally that there are no periodic parabolic points then the Minkowski dimension (other names: box dimension, limit capacity) of also coincides with . We prove ergodicity of every -conformal measure on assuming has one critical point , no parabolic, and . Finally for every -conformal measure on (satisfying an additional assumption), assuming an exponential growth of , we prove the existence of a probability absolutely continuous with respect to , -invariant measure. In the Appendix we prove also for every non-renormalizable quadratic polynomial with not in the main cardioid in the Mandelbrot set.

     

Approximation of the equilibrium distribution by distributions of equal point charges with minimal energy

Let denote the classical equilibrium distribution (of total charge ) on a convex or -smooth conductor in with nonempty interior. Also, let be any th order ``Fekete equilibrium distribution' on , defined by point charges at th order ``Fekete points'. (By definition such a distribution minimizes the energy for -tuples of point charges on .) We measure the approximation to by for by estimating the differences in potentials and fields,

both inside and outside the conductor . For dimension we obtain uniform estimates at distance from the outer boundary of . Observe that throughout the interior of (Faraday cage phenomenon of electrostatics), hence on the compact subsets of . For the exterior of the precise results are obtained by comparison of potentials and energies. Admissible sets have to be regular relative to capacity and their boundaries must allow good Harnack inequalities. For the passage to interior estimates we develop additional machinery, including integral representations for potentials of measures on Lipschitz boundaries and bounds on normal derivatives of interior and exterior Green functions. Earlier, one of us had considered approximations to the equilibrium distribution by arbitrary distributions of equal point charges on . In that context there is an important open problem for the sphere which is discussed at the end of the paper.

     

Boundary slopes of punctured tori in 3-manifolds

Let be an irreducible 3-manifold with a torus boundary component , and suppose that are the boundary slopes on of essential punctured tori in , with their boundaries on . We show that the intersection number of and is at most . Moreover, apart from exactly four explicit manifolds , which contain pairs of essential punctured tori realizing and 6 respectively, we have . It follows immediately that if is atoroidal, while the manifolds obtained by - and -Dehn filling on are toroidal, then , and unless is one of the four examples mentioned above.

Let be the class of 3-manifolds such that is irreducible, atoroidal, and not a Seifert fibre space. By considering spheres, disks and annuli in addition to tori, we prove the following. Suppose that , where has a torus component , and . Let be slopes on such that . Then . The exterior of the Whitehead sister link shows that this bound is best possible.

     

Asymptotics for minimal discrete energy on the sphere

We investigate the energy of arrangements of points on the surface of the unit sphere in that interact through a power law potential where and is Euclidean distance. With denoting the minimal energy for such -point arrangements we obtain bounds (valid for all ) for in the cases when and . For , we determine the precise asymptotic behavior of as . As a corollary, lower bounds are given for the separation of any pair of points in an -point minimal energy configuration, when . For the unit sphere in , we present two conjectures concerning the asymptotic expansion of that relate to the zeta function for a hexagonal lattice in the plane. We prove an asymptotic upper bound that supports the first of these conjectures. Of related interest, we derive an asymptotic formula for the partial sums of when (the divergent case).

     

Rigidity and topological conjugates of topologically tame Kleinian groups

Minsky proved that two Kleinian groups and are quasi-conformally conjugate if they are freely indecomposable, the injectivity radii at all points of , are bounded below by a positive constant, and there is a homeomorphism from a topological core of to that of such that and map ending laminations to ending laminations. We generalize this theorem to the case when and are topologically tame but may be freely decomposable under the same assumption on the injectivity radii. As an application, we prove that if a Kleinian group is topologically conjugate to another Kleinian group which is topologically tame and not a free group, and both Kleinian groups satisfy the assumption on the injectivity radii as above, then they are quasi-conformally conjugate.

     

A growth dichotomy for o-minimal expansions of ordered groups

Let be an o-minimal expansion of a divisible ordered abelian group with a distinguished positive element . Then the following dichotomy holds: Either there is a -definable binary operation such that is an ordered real closed field; or, for every definable function there exists a -definable with . This has some interesting consequences regarding groups definable in o-minimal structures. In particular, for an o-minimal structure there are, up to definable isomorphism, at most two continuous (with respect to the product topology induced by the order) -definable groups with underlying set .

     

Local spectra and individual stability of uniformly bounded -semigroups

We study the asymptotic behaviour of individual orbits of a uniformly bounded -semigroup with generator in terms of the singularities of the local resolvent on the imaginary axis. Among other things we prove individual versions of the Arendt-Batty-Lyubich-Vu theorem and the Katznelson-Tzafriri theorem.

     

On differential equations for Sobolev-type Laguerre polynomials

The Sobolev-type Laguerre polynomials are orthogonal with respect to the inner product

where , and . In 1990 the first and second author showed that in the case and the polynomials are eigenfunctions of a unique differential operator of the form

where are independent of . This differential operator is of order if is a nonnegative integer, and of infinite order otherwise. In this paper we construct all differential equations of the form

where the coefficients , and are independent of and the coefficients , and are independent of , satisfied by the Sobolev-type Laguerre polynomials . Further, we show that in the case and the polynomials are eigenfunctions of a linear differential operator, which is of order if is a nonnegative integer and of infinite order otherwise. Finally, we show that in the case and the polynomials are eigenfunctions of a linear differential operator, which is of order if is a nonnegative integer and of infinite order otherwise.

     

Equivalence of norms on operator space tensor products of -algebras

The Haagerup norm on the tensor product of two -algebras and is shown to be Banach space equivalent to either the Banach space projective norm or the operator space projective norm if and only if either or is finite dimensional or and are infinite dimensional and subhomogeneous. The Banach space projective norm and the operator space projective norm are equivalent on if and only if or is subhomogeneous.

     

Singular limit of solutions of the porous medium equation with absorption

We prove that as the solutions of , , , , , , , converges in to the solution of the ODE , , where , , satisfies in for some function , , satisfying whenever for a.e. , for and for , where is a constant and is any measurable subset of .

     

A -deformation of a trivial symmetric group action

Let be the arrangement of hyperplanes consisting of the reflecting hyperplanes for the root system . Let be the Varchenko matrix for this arrangement with all hyperplane parameters equal to . We show that is the matrix with rows and columns indexed by permutations with entry equal to where is the number of inversions of . Equivalently is the matrix for left multiplication on by

Clearly commutes with the right-regular action of on . A general theorem of Varchenko applied in this special case shows that is singular exactly when is a root of for some between and . In this paper we prove two results which partially solve the problem (originally posed by Varchenko) of describing the -module structure of the nullspace of in the case that is singular. Our first result is that

in the case that where Lie denotes the multilinear part of the free Lie algebra with generators. Our second result gives an elegant formula for the determinant of restricted to the virtual -module with characteristic the power sum symmetric function .

     

Minimizing the Laplacian of a function squared with prescribed values on interior boundaries- Theory of polysplines

In this paper we consider the minimization of the integral of the Laplacian of a real-valued function squared (and more general functionals) with prescribed values on some interior boundaries , with the integral taken over the domain D. We prove that the solution is a biharmonic function in except on the interior boundaries , and satisfies some matching conditions on . There is a close analogy with the one-dimensional cubic splines, which is the reason for calling the solution a polyspline of order 2, or biharmonic polyspline. Similarly, when the quadratic functional is the integral of a positive integer, then the solution is a polyharmonic function of order for , satisfying matching conditions on , and is called a polyspline of order . Uniqueness and existence for polysplines of order , provided that the interior boundaries are sufficiently smooth surfaces and , is proved. Three examples of data sets possessing symmetry are considered, in which the computation of polysplines is reduced to computation of one-dimensional splines.

     

Abelian subgroups of pro- Galois groups

It is proved that non-trivial normal abelian subgroups of the Galois group of the maximal Galois -extension of a field (where is an odd prime) arise from -henselian valuations with non--divisible value group, provided and contains a primitive -th root of unity. Also, a generalization to arbitrary prime-closed Galois-extensions is given.