Extremal functions for Moser's inequality

Let be a bounded smooth domain in , and a function with compact support in . Moser's inequality states that there is a constant , depending only on the dimension , such that

where is the Lebesgue measure of , and the surface area of the unit ball in . We prove in this paper that there are extremal functions for this inequality. In other words, we show that the

is attained. Earlier results include Carleson-Chang (1986, is a ball in any dimension) and Flucher (1992, is any domain in 2-dimensions).

     

Seifert manifolds with fiber spherical space forms

We study the Seifert fiber spaces modeled on the product space . Such spaces are ``fiber bundles' with singularities. The regular fibers are spherical space-forms of , while singular fibers are finite quotients of regular fibers. For each of possible space-form groups of , we obtain a criterion for a group extension of to act on as weakly -equivariant maps, which gives rise to a Seifert fiber space modeled on with weakly -equivariant maps as the universal group. In the course of proving our main results, we also obtain an explicit formula for for a cocompact crystallographic or Fuchsian group . Most of our methods for apply to compact Lie groups with discrete center, and we state some of our results in this general context.

     

Homology and some homotopy decompositions for the James filtration on spheres

The filtrations on the James construction on spheres, , have played a major role in the study of the double suspension and have been used to get information about the homotopy groups of spheres and Moore spaces and to construct product decompositions of related spaces. In this paper we calculate for odd primes . When has the form , the result is well known, but these are exceptional cases in which the homology has polynomial growth. We find that in general the homology has exponential growth and in some cases also has higher -torsion. The calculations are applied to construct a -local product decomposition of for which demonstrates a mod homotopy exponent in these cases.

     

On the ordering of -modal cycles

The forcing relation on -modal cycles is studied. If is an -modal cycle then the -modal cycles with block structure that force form a -horseshoe above . If -modal forces , and does not have a block structure over , then forces a -horseshoe of simple extensions of .

     

Covering the integers by arithmetic sequences. II

Let ( be a system of arithmetic sequences where and . For system will be called an (exact) -cover of if every integer is covered by at least (exactly) times. In this paper we reveal further connections between the common differences in an (exact) -cover of and Egyptian fractions. Here are some typical results for those -covers of : (a) For any there are at least positive integers in the form where . (b) When (, either or , and for each positive integer the binomial coefficient can be written as the sum of some denominators of the rationals if forms an exact -cover of . (c) If is not an -cover of , then have at least distinct fractional parts and for each there exist such that (mod 1). If forms an exact -cover of with or () then for every and there is an such that (mod 1).

     

Berezin Quantization and Reproducing Kernels on Complex Domains

Let be a non-compact complex manifold of dimension , a Kähler form on , and the reproducing kernel for the Bergman space of all analytic functions on square-integrable against the measure . Under the condition

F. A. Berezin [Math. USSR Izvestiya 8 (1974), 1109--1163] was able to establish a quantization procedure on which has recently attracted some interest. The only known instances when the above condition is satisfied, however, are just and a bounded symmetric domain (with the euclidean and the Bergman metric, respectively). In this paper, we extend the quantization procedure to the case when the above condition is satisfied only asymptotically, in an appropriate sense, as . This makes the procedure applicable to a wide class of complex Kähler manifolds, including all planar domains with the Poincaré metric (if the domain is of hyperbolic type) or the euclidean metric (in the remaining cases) and some pseudoconvex domains in . Along the way, we also fix two gaps in Berezin's original paper, and discuss, for a domain in , a variant of the quantization which uses weighted Bergman spaces with respect to the Lebesgue measure instead of the Kähler-Liouville measure .

     

Package deal theorems and splitting orders in dimension 1

Let be a module-finite algebra over a commutative noetherian ring of Krull dimension 1. We determine when a collection of finitely generated modules over the localizations , at maximal ideals of , is the family of all localizations of a finitely generated -module . When is semilocal we also determine which finitely generated modules over the -adic completion of are completions of finitely generated -modules.

If is an -order in a semisimple artinian ring, but not contained in a maximal such order, several of the basic tools of integral representation theory behave differently than in the classical situation. The theme of this paper is to develop ways of dealing with this, as in the case of localizations and completions mentioned above. In addition, we introduce a type of order called a ``splitting order' of that can replace maximal orders in many situations in which maximal orders do not exist.

     

Optimal natural dualities. II: General theory

A general theory of optimal natural dualities is presented, built on the test algebra technique introduced in an earlier paper. Given that a set of finitary algebraic relations yields a duality on a class of algebras , those subsets of which yield optimal dualities are characterised. Further, the manner in which the relations in are constructed from those in is revealed in the important special case that generates a congruence-distributive variety and is such that each of its subalgebras is subdirectly irreducible. These results are obtained by studying a certain algebraic closure operator, called entailment, definable on any set of algebraic relations on . Applied, by way of illustration, to the variety of Kleene algebras and to the proper subvarieties of pseudocomplemented distributive lattices, the theory improves upon and illuminates previous results.

     

Exact controllability and stabilizability of the Korteweg-de Vries equation

In this paper, we consider distributed control of the system described by the Korteweg-de Vries equation

 

on the interval , with periodic boundary conditions

 

where the distributed control is restricted so that the ``volume' of the solution is conserved. Both exact controllability and stabilizibility questions are studied for the system. In the case of open loop control, if the control is allowed to act on the whole spatial domain , it is shown that the system is globally exactly controllable, i.e., for given and functions , with the same ``volume', one can alway find a control so that the system (i)--(ii) has a solution satisfying

If the control is allowed to act on only a small subset of the domain , then the same result still holds if the initial and terminal states, and , have small ``amplitude' in a certain sense. In the case of closed loop control, the distributed control is assumed to be generated by a linear feedback law conserving the ``volume' while monotonically reducing . The solutions of the resulting closed loop system are shown to have uniform exponential decay to a constant state. As in the open loop control case, a small amplitude assumption is needed if the control is allowed to act on only a small subdomain. The smoothing property of the periodic (linear) KdV equation discovered recently by Bourgain has played an important role in establishing the exact controllability and stabilizability results presented in this paper.

     

Sharp upper bound for the first non-zero Neumann eigenvalue for bounded domains in rank-1 symmetric spaces

In this paper, we prove that for a bounded domain in a rank- symmetric space, the first non-zero Neumann eigenvalue where denotes the geodesic ball of radius such that

and equality holds iff . This result generalises the works of Szego, Weinberger and Ashbaugh-Benguria for bounded domains in the spaces of constant curvature.

     

Lévy group action and invariant measures on

For let be defined by . We investigate permutations of , which satisfy as with for (i.e. is in the Lévy group , or for in the subspace of Cesàro-summable sequences. Our main interest are -invariant means on or equivalently -invariant probability measures on . We show that the adjoint of maps measures supported in onto a weak*-dense subset of the space of -invariant measures. We investigate the dynamical system and show that the support set of invariant measures on is the closure of the set of almost periodic points and the set of non-topologically transitive points in . Finally we consider measures which are invariant under .

     

Further Nice Equations for Nice Groups

Nice sextinomial equations are given for unramified coverings of the affine line in nonzero characteristic with P and as Galois groups where is any integer and is any power of .

     

Properties of extremal functions for some nonlinear functionals on Dirichlet spaces

Let be the set of holomorphic functions on the unit disc with and Dirichlet integral not exceeding one, and let be the set of complex-valued harmonic functions on the unit disc with and Dirichlet integral not exceeding one. For a (semi)continuous function , define the nonlinear functional on or by . We study the existence and regularity of extremal functions for these functionals, as well as the weak semicontinuity properties of the functionals. We also state a number of open problems.

     

Abstract functions with continuous differences and Namioka spaces

Let be a semigroup and a topological space. Let be an Abelian topological group. The right differences of a function are defined by for . Let be continuous at the identity of for all in a neighbourhood of . We give conditions on or range under which is continuous for any topological space . We also seek conditions on under which we conclude that is continuous at for arbitrary . This led us to introduce new classes of semigroups containing all complete metric and locally countably compact quasitopological groups. In this paper we study these classes and explore their relation with Namioka spaces.

     

On polarized surfaces

Let be a smooth projective surface over and an ample Cartier divisor on . If the Kodaira dimension or , the author proved , where . If , then the author studied with . In this paper, we study the polarized surface with , , and .

     

Functorial structure of units in a tensor product

The behavior of units in a tensor product of rings is studied, as one factor varies. For example, let be an algebraically closed field. Let and be reduced rings containing , having connected spectra. Let be a unit. Then for some units and .

Here is a deeper consequence, stated for simplicity in the affine case only. Let be a field, and let be a homomorphism of finitely generated -algebras such that is dominant. Assume that every irreducible component of or is geometrically integral and has a rational point. Let be a faithfully flat homomorphism of reduced -algebras. For a -algebra, define to be . Then satisfies the following sheaf property: the sequence

is exact. This and another result are used to prove (5.2) of [7].

     

On quadratic forms of height two and a theorem of Wadsworth

Let and be anisotropic quadratic forms over a field of characteristic not . Their function fields and are said to be equivalent (over ) if and are isotropic. We consider the case where and is divisible by an -fold Pfister form. We determine those forms for which becomes isotropic over if , and provide partial results for . These results imply that if and are equivalent and , then is similar to over . This together with already known results yields that if is of height and degree or , and if , then and are equivalent iff and are isomorphic over .

     

Packing measure of the sample paths of fractional Brownian motion

Let be a fractional Brownian motion of index in If , then there exists a positive finite constant such that with probability 1,

where and - is the -packing measure of .

     

Regularity theory and traces of -harmonic functions

In this paper we discuss two different topics concerning -
harmonic functions. These are weak solutions of the partial differential equation

where for some fixed , the function is bounded and for a.e. . First, we present a new approach to the regularity of -harmonic functions for . Secondly, we establish results on the existence of nontangential limits for -harmonic functions in the Sobolev space , for some , where is the unit ball in . Here is allowed to be different from .