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.

     

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).

     

Finite-dimensional lattice-subspaces of

Let be linearly independent positive functions in , let be the vector subspace generated by the and let denote the curve of determined by the function , where . We establish that is a vector lattice under the induced ordering from if and only if there exists a convex polygon of with vertices containing the curve and having its vertices in the closure of the range of . We also present an algorithm which determines whether or not is a vector lattice and in case is a vector lattice it constructs a positive basis of . The results are also shown to be valid for general normed vector lattices.

     

Immersed

We give two congruence formulas concerning the number of non-trivial double point circles and arcs of a smooth map with generic singularities --- the Whitney umbrellas --- of an -manifold into , which generalize the formulas by Szücs for an immersion with normal crossings. Then they are applied to give a new geometric proof of the congruence formula due to Mahowald and Lannes concerning the normal Euler number of an immersed -manifold in . We also study generic projections of an embedded -manifold in into and prove an elimination theorem of Whitney umbrella points of opposite signs, which is a direct generalization of a recent result of Carter and Saito concerning embedded surfaces in . The problem of lifting a map into to an embedding into is also studied.

     

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).

     

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 .

     

Simplifying stable mappings into the plane from a global viewpoint

Let be a stable map of an -dimensional manifold into the plane. The main purpose of this paper is to define a global surgery operation on which simplifies the configuration of the critical value set and which does not change the diffeomorphism type of the source manifold . For this purpose, we also study the quotient space of , which is the space of the connected components of the fibers of , and we completely determine its local structure for arbitrary dimension of the source manifold . This is a completion of the result of Kushner, Levine and Porto for dimension 3 and that of Furuya for orientable manifolds of dimension 4. We also pay special attention to dimension 4 and obtain a simplification theorem for stable maps whose regular fiber is a torus or a 2-sphere, which is a refinement of a result of Kobayashi.

     

On Jacobian Ideals Invariant by a Reducible Action

This paper deals with a reducible action on the formal power series ring. The purpose of this paper is to confirm a special case of the Yau Conjecture: suppose that acts on the formal power series ring via . Then modulo some one dimensional representations where is an irreducible representation of dimension or empty set and . Unlike classical invariant theory which deals only with irreducible action and 1--dimensional representations, we treat the reducible action and higher dimensional representations succesively.

     

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 .

     

The Bergman kernel function of some Reinhardt domains

The boundary behavior of the Bergman Kernel function of some Reinhardt domains is studied. Upper and lower bounds for the Bergman kernel function are found at the diagonal points . Let be the Reinhardt domain

where , ; and let be the Bergman kernel function of . Then there exist two positive constants and and a function such that

holds for every . Here

and is the defining function for . The constants and depend only on and , not on .

     

Relatively free invariant algebras of finite reflection groups

Let be a finite subgroup of is a field of characteristic and acting by linear substitution on a relatively free algebra of a variety of unitary associative algebras. The algebra of invariants is relatively free if and only if is a pseudo-reflection group and contains the polynomial

     

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 .

     

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].

     

Noncomplete linear systems on abelian varieties

Let be a smooth projective variety. Every embedding is the linear projection of an embedding defined by a complete linear system. In this paper the geometry of such not necessarily complete embeddings is investigated in the special case of abelian varieites. To be more precise, the properties of complete embeddings are extended to arbitrary embeddings, and criteria for these properties to be satisfied are elaborated. These results are applied to abelian varieties. The main result is: Let be a general polarized abelian variety of type and , such that is even, and . The general subvector space of codimension satisfies the property .

     

A Concordance Extension Theorem

Let be a manifold approximate fibration between closed manifolds, where , and let be the mapping cylinder of . In this paper it is shown that if is any concordance on , then there exists a concordance such that and . As an application, if and are closed manifolds where is a locally flat submanifold of and and , then a concordance extends to a concordance on such that . This uses the fact that under these hypotheses there exists a manifold approximate fibration , where is a closed -manifold, such that the mapping cylinder is homeomorphic to a closed neighborhood of in by a homeomorphism which is the identity on .

     

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 .

     

Representations of monoids arising from finite groups of Lie type

A class of finite monoids constructed from a group of Lie type is considered. We describe the irreducible complex representations and prove the complete reducibility of the representations of . The sandwich matrix of is decomposed into a product of matrices corresponding to maximal parabolic subgroups of .