Schauder type theorems for differentiable and holomorphic mappings

Denoting byC _wu ^p (E) the algebra of allC ^p-real-valued functions on the real Banach spaceE such that the functions and the derivatives are weakly uniformly continuous on bounded subsets, it is known that the algebra homomorphismsA:C _wu ^q (F)C _wu ^p (E) are induced by differentiable mappingsg:EF ^**. We prove that, for 1p+1q, the following are equivalent: (a)A is compact; (b)g and its derivatives are compact; (c)gC _wu ^p (E,F ^**) (the authors had proved that, forp=q<,A is [weakly] compact if and only ifg is a constant mapping, and it is known that ifq<p, thenA is always induced by a constant mapping and is therefore compact). Also, for an entire function of bounded typegH _b (U,F), where is a balanced open subset, andE,F are complex Banach spaces, lettingA:H _b (F)H _b (U) be the homomorphism given byA(f)=fg for allfH _b (F), we prove thatA is compact if and only ifg is compact.Supported in part by DGICYT Grant PB 94-1052 (Spain).Supported in part by DGICYT Grant PB 93-0452 (Spain).     

Embedding theorems for classes of convex sets

Rådström's embedding theorem states that the nonempty compact convex subsets of a normed vector space can be identified with points of another normed vector space such that the embedding map is additive, positively homogeneous, and isometric. In the present paper, extensions of Rådström's embedding theorem are proven which provide additional information on the embedding space. These results include those of Hörmander who proved a similar embedding theorem for the nonempty closed bounded convex subsets of a Hausdorff locally convex vector space. In contrast to Hörmander's approach via support functionals, all embedding theorems of the present paper are proven by a refinement of Rådström's original method which is constructive and does not rely on Zorn's lemma. This paper also includes a brief discussion of some actual or potential applications of embedding theorems for classes of convex sets in probability theory, mathematical economics, interval mathematics, and related areas.     

Tensor product characterizations of mixed intersections of non quasianalytic classes and kernel theorems

Mixed intersections of non quasi‐analytic classes have been studied in [12]. Here we obtain tensor product representations of these spaces that lead to kernel theorems as well as to tensor product representations of intersections of non quasi‐analytic classes on product of open or of compact sets (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Extension theorems for Fredholm and invertibility symbols

This paper is a continuation of [GK3] where the theory of Invertibility Symbol in Banach algebras was developed. In the present paper we generalize these results for the case when the Invertibility Symbol is defined on a subalgebra of the Banach algebras. The difficulty which arises here in this more general case is connected with the fact that some elements of the subalgebra may have the inverses which do not belong to the subalgebra. This generalization of the theory allows us to study the Fredholm Symbols of linear operators. Applications to subalgebras generated by two idempotents and to algebras generated by singular integral operators are presented.     

The Structure of the Closure of the Rational Functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>(μ)

Let K be a compact subset in the complex plane and let A(K) be the uniform closure of the functions continuous on K and analytic on K°. Let μ be a positive finite measure with its support contained in K. For 1 ≤ q < ∞, let A^q(K, μ) denote the closure of A(K) in L^q(μ). The aim of this work is to study the structure of the space A^q(K, μ). We seek a necessary and sufficient condition on K so that a Thomson-type structure theorem for A^q(K, μ) can be established. Our theorem deduces J. Thomson’s structure theorem for P^q(μ), the closure of polynomials in L^q(μ), as the special case when K is a closed disk containing the support of μ.     

Commutativity of the Valdivia–Vogt table of representations of function spaces

In this article, we show that the Valdivia–Vogt structure table—containing the sequence space representations of the most used spaces of smooth functions appearing in the theory of distributions—can be interpreted as a commutative diagram, i.e., there is an isomorphism between the space of infinitely differentiable functions and the space , where s is the space of rapidly decreasing sequences, such that its restriction to the other function spaces in the structure table yields an isomorphism between these spaces of smooth functions and their sequence space representation. This result answers the corresponding question of Prof. Dietmar Vogt formulated on the conference “Functional Analysis: Applications to Complex Analysis and Partial Differential Equations” held in B?dlewo in May 2012.     

Smoothness of solutions of a nonlinear ode

Smoothness of aC -functionf is measured by (Carleman) sequence {M _k} ₀ ; we sayfC _M [0, 1] if|f ^(k) (t)|CR ^k M _k,k=0, 1, ... withC, R>0. A typical statement proven in this paper isTHEOREM: Let u, b be two C -functions on [0, 1]such that (a) u=u ²+b, (b) |b ^(k) (t)|CR ^k (k!) , >1,k_–.Then |u^(k)(t)|C₁R^k((k–1)!),k_–.The first author acknowledges the hospitality of Mathematical Research Institute of the Ohio State University during his one month visit there in the spring of 1999     

Sobolev estimates for (pseudo)‐differential operators and applications

In this work we show that if is a linear differential operator of order ν with smooth complex coefficients in from a complex vector space E to a complex vector space F, the Sobolev a priori estimate holds locally at any point if and only if is elliptic and the constant coefficient homogeneous operator is canceling in the sense of Van Schaftingen for every which means that Here is the homogeneous part of order ν of and is the principal symbol of . This result implies and unifies the proofs of several estimates for complexes and pseudo‐complexes of operators of order one or higher proved recently by other methods as well as it extends —in the local setup— the characterization of Van Schaftingen to operators with variable coefficients.     

Division problem and partial differential equations with constant coefficients in Colombeau's space of new generalized functions

We study the problem of division in Colombeau's space of new generalized functions in the associated sense: more precisely we solve the equation of the formF·G _p H with adequate assumptions onF. By using the Fourier transformation we construct, by simple methods, the solution in the p-associated sense of a partial differential equation with constant coefficients.     

Explicit uniform bounds on integrals of Bessel functions and trace theorems for Fourier transforms

Explicit and partly sharp estimates are given of integrals over the square of Bessel functions with an integrable weight which can be singular at the origin. They are uniform with respect to the order of the Bessel functions and provide explicit bounds for some smoothing estimates as well as for the L² restrictions of Fourier transforms onto spheres in which are independent of the radius of the sphere. For more special weights these restrictions are shown to be Hölder continuous with a Hölder constant having this independence as well. To illustrate the use of these results a uniform resolvent estimate of the free Dirac operator with mass in dimensions is derived.     

A New Characterization of the Continuous Functions on a Locale

Within the category W of archimedean lattice-ordered groups with weak order unit, we show that the objects of the form C(L), the set of continuous real-valued functions on a locale L, are precisely those which are divisible and complete with respect to a variant of uniform convergence, here termed indicated uniform convergence. We construct the corresponding completion of a W-object A purely algebraically in terms of Cauchy sequences. This completion can be variously described as c³A, the ``closed under countable composition hull of A,' as C(Y_lA), where Y_lA is the Yosida locale of A, and as the largest essential reflection of A.     

Semi-selfdecomposable distributions and a new class of limit theorems

Self-decomposable distributions are given as limits of normalized sums of independent random variables. We define semi-selfdecomposable distributions as limits of subsequences of normalized sums. More generally, we introduce a way of making a new class of limiting distributions derived from a class of distributions by taking the limits through subsequences of normalized sums, and define the class of semi-selfdecomposable distributions and a decreasing sequence of subclasses of it. We give two kinds of necessary and sufficient conditions for distributions belonging to those classes, one is in terms of the decomposability of random variables and another is in terms of Lévy measures. Received: 1 May 1997 / Revised version: 5 February 1998     

Intersections of Magnus subgroups and embedding theorems for cyclically presented groups

It is now known that the intersection of two Magnus subgroups M_i=〈Y_i〉 (1≤i≤2) in a one-relator group is either the free group F on Y₁∩Y₂ or the free product of F together with an infinite cyclic group (so-called exceptional intersection). Using this, we give conditions under which two embedding theorems for cyclically presented groups can be obtained. This provides a new method for proving such groups infinite. We also give a combinatorial method for checking the presence of exceptional intersections.     

Polynomial automorphisms and hypercyclic operators on spaces of analytic functions

We consider hypercyclic composition operators on which can be obtained from the translation operator using polynomial automorphisms of . In particular we show that if C _S is a hypercyclic operator for an affine automorphism S on , then for some polynomial automorphism Θ and vectors a and b, where I is the identity operator. Finally, we prove the hypercyclicity of “symmetric translations” on a space of symmetric analytic functions on ℓ₁. Received: 8 June 2006 Revised: 26 September 2006     

Regularity and solvability of linear differential operators in Gevrey spaces

We are interested in the following question: when regularity properties of a linear differential operator imply solvability of its transpose in the sense of Gevrey ultradistributions? This question is studied for a class of abstract operators that contains the usual differential operators with real‐analytic coefficients. We obtain a new proof of a global result on compact manifolds (global Gevrey hypoellipticity implying global solvability of the transpose), as well as some results in the non‐compact case by means of the so‐called property of non‐confinement of singularities. We provide applications to Hörmander operators, to operators of constant strength and to locally integrable systems of vector fields. We also analyze a conjecture stated in a recent paper of Malaspina and Nicola, which asserts that, in differential complexes naturally arising from locally integrable structures, local solvability in the sense of ultradistributions implies local solvability in the sense of distributions. We establish the validity of the conjecture when the cotangent structure bundle is spanned by the differential of a single first integral.     

The Radon‐Nikodym property,generalized bounded variation and the average range

A generalized bounded variation characterization of Banach spaces possessing the Radon‐Nikodym property is given in terms of the average range. We prove that a Banach space X has the Radon‐Nikodym property if and only if for each function of generalized bounded variation on [0, 1], the average range is a nonempty set at almost all .     

Applications of ‐invariant distributions

In this sequel to the article 17 , a criterion for the regularity of fundamental solutions of differential operators with positive symbol is proved in analogy to Hörmander's criteria, see 9 , 12 . It implies that the temperate fundamental solution of the operator is not regular. Furthermore, a formula for the convolution of two ‐invariant distributions is presented, and, finally, L. Schwartz' question on the surjectivity of linear partial differential operators with constant coefficients on the space is completely answered in the case of ‐invariant differential operators.     

The structure of spaces of quasianalytic functions of Roumieu type

It is shown that spaces of quasianalytic ultradifferentiable functions of Roumieu type ℰ_{w}(Ω), on an open convex set , satisfy some new (Ω) -type linear topological invariants. Some consequences for the splitting of short exact sequences of these spaces as well as for the structure of the spaces are derived. In particular, Fréchet quotients of ℰ_{w}(Ω) have property (), while dual Fréchet quotients have property () of Vogt. The work of P. Domański was supported by Committee of Scientific Research (KBN), Poland, grant P03A 022 25.     

Tensor Product Representations of the Lie Superalgebra 𝔭(n) and Their Centralizers

Abstract

We construct an associative algebra A _k and show that there is a representation of A _k on V ^?k , where V is the natural 2n-dimensional representation of the Lie superalgebra 𝔭(n). We prove that A _k is the full centralizer of 𝔭(n) on V ^?k , thereby obtaining a “Schur-Weyl duality” for the Lie superalgebra 𝔭(n). This result is used to understand the representation theory of the Lie superalgebra 𝔭(n). In particular, using A _k we decompose the tensor space V ^?k , for k = 2 or 3, and show that V ^?k is not completely reducible for any k ≥ 2.