Infinite systems of linear equations for real analytic functions

We study the problem when an infinite system of linear functional equations

has a real analytic solution on for every right-hand side and give a complete characterization of such sequences of analytic functionals . We also show that every open set has a complex neighbourhood such that the positive answer is equivalent to the positive answer for the analogous question with solutions holomorphic on .

     

Gradient ranges of bumps on the plane

For a -smooth bump function we show that the gradient range is the closure of its interior, provided that admits a modulus of continuity satisfying as . The result is a consequence of a more general result about gradient ranges of bump functions of the same degree of smoothness. For such bump functions we show that for open sets , either the intersection is empty or its topological dimension is at least two. The proof relies on a new Morse-Sard type result where the smoothness hypothesis is independent of the dimension of the space.

     

On sums of Darboux and nowhere constant continuous functions

We show that the property

(P)

for every Darboux function there exists a continuous nowhere constant function such that is Darboux

follows from the following two propositions:

(A)

for every subset of of cardinality there exists a uniformly continuous function such that ,

(B)

for an arbitrary function whose image contains a non-trivial interval there exists an of cardinality such that the restriction of to is uniformly continuous,

which hold in the iterated perfect set model.

     

A character of the gradient estimate for diffusion semigroups

Let be the semigroup of the diffusion process generated by on . It is proved that there exists and an -valued function such that holds for all 0$"> and all if and only if satisfies the formula for all

     

Uniqueness of dilation invariant norms

Let be a nontrivial dilation. We show that every complete norm on that makes from into itself continuous is equivalent to . also determines the norm of both and with in a weaker sense. Furthermore, we show that even all the dilations do not determine the norm on .

     

On commutators of fractional integrals

Let be the infinitesimal generator of an analytic semigroup on with Gaussian kernel bounds, and let be the fractional integrals of for . For a BMO function on , we show boundedness of the commutators from to , where . Our result of this boundedness still holds when is replaced by a Lipschitz domain of with infinite measure. We give applications to large classes of differential operators such as the magnetic Schrödinger operators and second-order elliptic operators of divergence form.

     

Bordism groups of special generic mappings

The Pontrjagin-Thom construction expresses a relation between the oriented bordism groups of framed immersions , and the stable homotopy groups of spheres. We apply the Pontrjagin-Thom construction to the oriented bordism groups of mappings n$">, with mildest singularities. Recently, O. Saeki showed that for , the group is isomorphic to the group of smooth structures on the sphere of dimension . Generalizing, we prove that is isomorphic to the -th stable homotopy group , , where is the group of oriented auto-diffeomorphisms of the sphere and is the group of rotations of .

     

On a theorem of R. Steinberg on rings of coinvariants

Let be a representation of a finite group over the field . Denote by the algebra of polynomial functions on the vector space . The group acts on and hence also on . The algebra of coinvariants is , where is the ideal generated by all the homogeneous -invariant forms of strictly positive degree. If the field has characteristic zero, then R. Steinberg has shown (this is the formulation of R. Kane) that is a Poincaré duality algebra if and only if is a pseudoreflection group. In this note we explore the situation for fields of nonzero characteristic. We prove an analogue of Steinberg's theorem for the case and give a counterexample in the modular case when .

     

Segal-Bargmann transforms of one-mode interacting Fock spaces associated with Gaussian and Poisson measures

Let and denote the Gaussian and Poisson measures on , respectively. We show that there exists a unique measure on such that under the Segal-Bargmann transform the space is isomorphic to the space of analytic -functions on with respect to . We also introduce the Segal-Bargmann transform for the Poisson measure and prove the corresponding result. As a consequence, when and have the same variance, and are isomorphic to the same space under the - and -transforms, respectively. However, we show that the multiplication operators by on and on act quite differently on .

     

Isolated invariant curves of a foliation

We bound the equisingularity type of the set of isolated separatrices of a holomorphic foliation of in terms of the Milnor number of . This result gives a bound for the degree of an algebraic invariant curve of a foliation of in terms of the degree of , provided that all the branches of are isolated separatrices.

     

A proof of W. T. Gowers' theorem

W. T. Gowers' theorem asserts that for every Lipschitz function and 0$">, there exists an infinite-dimensional subspace of such that the oscillation of on is at most . The proof of this theorem has been reduced by W. T. Gowers to the proof of a new Ramsey type theorem. Our aim is to present a proof of the last result.

     

Representation of measures with polynomial denseness in , , and its application to determinate moment problems

It has been proved that algebraic polynomials are dense in the space , , iff the measure is representable as with a finite non-negative Borel measure and an upper semi-continuous function such that is a dense subset of the space    as equipped with the seminorm . The similar representation ( ) with the same and ( , and is also a dense

subset of ) corresponds to all those measures (supported by ) that are uniquely determined by their moments on ( ). The proof is based on de Branges' theorem (1959) on weighted polynomial approximation. A more general question on polynomial denseness in a separable Fréchet space in the sense of Banach has also been examined.

     

Noncoherence of some rings of functions

Let , denote the unit disc and unit circle, respectively, in , with center 0. If , then let denote the set of complex-valued functions defined on that are analytic in , and continuous and bounded on . Then is a ring with pointwise addition and multiplication. We prove that if the intersection of with the set of limit points of is not empty, then the ring is not coherent.

     

Spaces on which every pointwise convergent series of continuous functions converges pseudo-normally

A topological space is a -space provided that, for every sequence of continuous functions from to , if the series converges pointwise, then it converges pseudo-normally. We show that every regular Lindelöf -space has the Rothberger property. We also construct, under the continuum hypothesis, a -subset of of cardinality continuum.

     

Approximation of holomorphic maps with a lower bound on the rank

Let be a closed polydisc or ball in , and let be a quasi-projective algebraic manifold which is Zariski locally equivalent to , or a complement of an algebraic subvariety of codimension in such a manifold. If is an integer satisfying , then every holomorphic map from a neighborhood of to with rank at every point of can be approximated uniformly on by entire maps with rank at every point of .

     

Invariant decomposition of functions with respect to commuting invertible transformations

Consider arbitrary elements. We characterize those functions that decompose into the sum of -periodic functions, i.e., with . We show that has such a decomposition if and only if for all partitions with consisting of commensurable elements with least common multiples one has .

Actually, we prove a more general result for periodic decompositions of functions defined on an Abelian group ; in fact, we even consider invariant decompositions of functions with respect to commuting, invertible self-mappings of some abstract set .

We also extend our results to functions between torsion free Abelian groups. As a corollary we also obtain that on a torsion free Abelian group the existence of a real-valued periodic decomposition of an integer-valued function implies the existence of an integer-valued periodic decomposition with the same periods.

     

Hardy's inequality on exterior domains

Let be a smooth exterior domain in and . We prove that when , Hardy's inequality is valid on .

     

Dimension distortion of hyperbolically convex maps

In this note, we provide an answer to a question of D. Mejia and Chr. Pommerenke, by constructing a hyperbolically convex subdomain of the unit disc so that the conformal map from to maps a set of dimension 0 on to a set of dimension

     

Parameter dependence of solutions of partial differential equations in spaces of real analytic functions

Let be an open set and let denote the class of real analytic functions on . It is proved that for every surjective linear partial differential operator and every family depending holomorphically on there is a solution family depending on in the same way such that The result is a consequence of a characterization of Fréchet spaces such that the class of ``weakly' real analytic -valued functions coincides with the analogous class defined via Taylor series. An example shows that the analogous assertions need not be valid if is replaced by another set.

     

The s-elementary frame wavelets are path connected

An s-elementary frame wavelet is a function which is a frame wavelet and is defined by a Lebesgue measurable set such that . In this paper we prove that the family of s-elementary frame wavelets is a path-connected set in the -norm. This result also holds for s-elementary -dilation frame wavelets in in general. On the other hand, we prove that the path-connectedness of s-elementary frame wavelets cannot be strengthened to uniform path-connectedness. In fact, the sets of normalized tight frame wavelets and frame wavelets are not uniformly path-connected either.