The representations of two types of functionals on L∞(Ω, ?) and L∞(Ω, ?, ?)

This article gives the representations of two types of real functionals on L ^∞(Ω, Ƒ) or L ^∞(Ω, Ƒ, ℙ) in terms of Choquet integrals. These functionals are comonotonically subadditive and comonotonically convex, respectively.     

Quasiconformal and harmonic mappings between Jordan domains

Let Ω and Ω₁ be Jordan domains, let μ ∈ (0, 1], and let be a harmonic homeomorphism. The object of the paper is to prove the following results: (a) If f is q.c. and ∂Ω, ∂Ω₁ ∈ C ^1,μ , then f is Lipschitz; (b) if f is q.c., ∂Ω, ∂Ω₁ ∈ C ^1,μ and Ω₁ is convex, then f is bi-Lipschitz; and (c) if Ω is the unit disk, Ω₁ is convex, and ∂Ω₁ ∈ C ^1,μ , then f is quasiconformal if and only if its boundary function is bi-Lipschitz and the Hilbert transform of its derivative is in L ^∞. These extend the results of Pavlović (Ann. Acad. Sci. Fenn. 27:365–372, 2002).      

The Gleason’s problem for some polyharmonic and hyperbolic harmonic function spaces

Let Ω ⊆ ℝⁿ be a bounded convex domain with C ² boundary. For 0 < p, q ⩽ ∞ and a normal weight φ, the mixed norm space H _k ^p,q,φ (Ω) consists of all polyharmonic functions f of order k for which the mixed norm ∥ · ∥_p,q,φ < ∞. In this paper, we prove that the Gleason’s problem (Ω, a, H _k ^p,q,φ ) is always solvable for any reference point a ∈ Ω. Also, the Gleason’s problem for the polyharmonic φ-Bloch (little φ-Bloch) space is solvable. The parallel results for the hyperbolic harmonic mixed norm space are obtained.     

Central extensions of current groups

 In this paper we study central extensions of the identity component G of the Lie group C ^∞ (M,K) of smooth maps from a compact manifold M into a Lie group K which might be infinite-dimensional. We restrict our attention to Lie algebra cocycles of the form ω(ξ,η)=[κ(ξ,dη)], where κ:𝔨×𝔨→Y is a symmetric invariant bilinear map on the Lie algebra 𝔨 of K and the values of ω lie in Ω¹(M,Y)/dC ^∞ (M,Y). For such cocycles we show that a corresponding central Lie group extension exists if and only if this is the case for M=𝕊¹. If K is finite-dimensional semisimple, this implies the existence of a universal central Lie group extension of G. The groups Diff(M) and C ^∞ (M,K) act naturally on G by automorphisms. We also show that these smooth actions can be lifted to smooth actions on the central extension if it also is a central extension of the universal covering group G˜ of G. Received: 11 April 2002 / Revised version: 28 August 2002 / Published online: 28 March 2003     

Convexes divisibles IV : Structure du bord en dimension 3

Divisible convex sets IV: Boundary structure in dimension 3 Let Ω be an indecomposable properly convex open subset of the real projective 3-space which is divisible i.e. for which there exists a torsion free discrete group Γ of projective transformations preserving Ω such that the quotient M := Γ\Ω is compact. We study the structure of M and of ∂Ω, when Ω is not strictly convex: The union of the properly embedded triangles in Ω projects in M onto an union of finitely many disjoint tori and Klein bottles which induces an atoroidal decomposition of M. Every non extremal point of ∂Ω is on an edge of a unique properly embedded triangle in Ω and the set of vertices of these triangles is dense in the boundary of Ω (see Figs. 1 to 4). Moreover, we construct examples of such divisible convex open sets Ω.      

A characterization ofC 1-convex sets in Sobolev spaces

In this paper we prove that, ifK is a closed subset ofW ₀ ^1,p (Ω,R ^m ) with 1<p<+∞ andm≥1, thenK is stable under convex combinations withC ¹ coefficients if and only if there exists a closed and convex valued multifunction from Ω toR ^m such that The casem=1 has already been studied by using truncation arguments which rely on the order structure ofR (see [2]). In the casem>1 a different approach is needed, and new techniques involving suitable Lipschitz projections onto convex sets are developed. Our results are used to prove the stability, with respect to the convergence in the sense of Mosco, of the class of convex sets of the form (*); this property may be useful in the study of the limit behaviour of a sequence of variational problems of obstacle type. This article was processed by the author using the Springer-Verlag TEX mamath macro package 1990     

Positive linear extension operators for spaces of affine functions

The following result is proved: letE be anF-space (that is, the space of all continuous affine functions defined on a compact universal cap van shing at zero) and letMχE be anM-ideal. Then, ifE/M is a π₁ with positive defining projections, then there is a positive linear operator ϱ:E/M→E of norm one such that ϱ lifts the canonical mapE→E/M. In the proof, which heavily depends on work of Ando, we study ensor products of certain convex cones with compact bases, and we calculate the norm of a positive linear operator defined on a finite dimensional space with range in aF-space. Various corollaries are deduced for split faces of compact convex sets and for morphisms ofC ^*-algebras.     

Space of <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-smooth skew products of maps of an interval

Using the notions of an Ω-function and of functions suitable for an Ω-function, we show that the space of C ¹ -smooth skew products of maps of an interval such that the quotient map of each is Ω-stable in the space of C ¹ -smooth maps of a closed interval into itself and has a type ≻ 2 ^∞ (i.e., contains a periodic orbit with the period not equal to a power of 2) can be represented as a union of four nonempty pairwise nonintersecting subspaces. We give examples of maps belonging to each of the identified subspaces.     

Maximality of analytic operator algebras

LetM be a σ-finite von Neumann algebra andα be an action ofR onM. LetH ^∞(α) be the associated analytic subalgebra; i.e.H ^∞(α)={X ∈M: sp_∞(X) [0, ∞]}. We prove that every σ-weakly closed subalgebra ofM that containsH ^∞(α) isH ^∞(γ) for some actionγ ofR onM. Also we show that (assumingZ(M)∩M ^α = Ci)H ^∞(α) is a maximal σ-weakly closed subalgebra ofM if and only if eitherH ^∞(α)={A ∈M: (I−F)xF=0} for some projectionF ∈M, or sp(α)=Γ(α).     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.     

On the singularities of solutions of partial differential equations with constant coefficients

LetP be a differential operator with constant coefficients in ℝ ⁿ . Ifu is a distribution, the singular support ofu is the complement of the largest set whereu ∈C ^∞. Necessary and sufficient conditinos are obtained for a closed convex set Γ to be equal to the singular support ofu for someu withPu ∈C ^∞ or, equivalently, for Γ to contain the singular support ofu for someu withPu ∈C ^∞ butu ∉C ^∞. Related local uniqueness theorems analogous to the Holmgren theorem with supports replaced by singular supports are also given, as well as applications concerningP-convexity with respect to singular supports.     

A stability estimate for an elliptic problem

We investigate the Caucy problem for linear elliptic operators withC ^∞-coefficients at a regular domain ℝ ⊂ ℝ, which is a classical example of an ill-posed problem. The Cauchy data are given at the manifold Γ⊂∂Ω and our goal is to obtain a stability estimate inH ₄(Ω).     

Universal PI-algebras and algebras of generic matrices

Let Ω[ξ] denote the polynomial algebra (with 1) in commutative indeterminates {ie65-1}, 1 ≦i, j ≦n, 1 ≦k < ∞, over a commutative ring Ω. Thealgebra of generic matrices Ω [Y] is defined to be the Ω-subalgebra ofM _n (Ω[ξ]) generated by the matricesY _k=({ie65-2}), 1 ≦i, j ≦n, 1 ≦k < ∞. This algebra has been studied extensively by Amitsur and by Procesi in particular Amitsur has used it to construct a finite dimensional, central division algebra Ω (Y) which is not a crossed product. In this paper we shall prove, for Ω a domain, that Ω(Y) has exponentn in the Brauer group (Amitsur may already know this fact); consequently, for Ω an infinite field andn a multiple of 4, iff(X ₁, …,X _m) is a polynomial linear in all theX _i but one (similar to Formanek’s central polynomials for matrix rings) andf ² is central forM _n (Ω), thenf is central forM _n (Ω). (The existence of a polynomial not central forM _n (Ω), but whose square is central forM _n(Ω) is equivalent to every central division algebra of degreen containing a quadratic extension of its center; well-known theory immediately shows this is the case of 4‖n and 8χn.) Also, information is obtained about Ω(Y) for arbitary Ω, most notably that the Jacobson radical is the set of nilpotent elements. Partial support for this work was provided by National Science Foundation grant NSF-GP 33591.     

Expectation of random polytopes

A random polytopeP _n in a convex bodyC is the convex hull ofn identically and independently distributed points inC. Its expectation is a convex body in the interior ofC. We study the deviation of the expectation ofP _n fromC asn→∞: while forC of classC ^k+1,k≥1, precise asymptotic expansions for the deviation exist, the behaviour of the deviation is extremely irregular for most convex bodiesC of classC ¹. Dedicated to my teacher and friend Professor Edmund Hlawka on the occasion of his 80^th birthday     

Limit algebras of differential forms in non-commutative geometry

Given a C*-normed algebra A which is either a Banach *-algebra or a Frechet *-algebra, we study the algebras Ω_∞ A and Ω_ε A obtained by taking respectively the projective limit and the inductive limit of Banach *-algebras obtained by completing the universal graded differential algebra Ω*A of abstract non-commutative differential forms over A. Various quantized integrals on Ω_∞ A induced by a K-cycle on A are considered. The GNS-representation of Ω_∞ A defined by a d-dimensional non-commutative volume integral on a d ⁺-summable K-cycle on A is realized as the representation induced by the left action of A on Ω*A. This supplements the representation A on the space of forms discussed by Connes (Ch. VI.1, Prop. 5, p. 550 of [C]).     

The Bieberbach-Rademacher problem for the Monge-Ampère operator

Assume that Ω is a bounded, strictly convex, smooth domain in ℝ^N withN≥2. We consider the problem det ((∂ _iju(x)))=f(x,u(x)),u(x)→∞ asx→∂Ω, where (∂ _iju(x)) denotes the Hessian ofu(x) andf meets some natural regularity and growth conditions. We prove that there exists a unique smooth, strictly convex solution of this problem. The boundary-blow-up rate ofu(x) is characterized in terms of the distance ofx from ∂Ω. Partially supported by the Royal Swedish Academy of Sciences, Gustaf Sigurd Magnuson's fund.     

The cauchy problem at simply characteristic points andP-convexity

Summary Let Ω cR ⁿ be an open set and let P be a linear partial differential operator with constant coefficients inR ⁿ. Then Ω is said to be P-convex if for each f ε C^∞(Ω) there is a u ε D′(Ω) such that P(D)u=f. A complete geometric characterization of P-convex sets inR ³ is given when P is of principal type and when Ω has C²-boundary. As a step in the proof one also obtains necessary and sufficient conditions for uniqueness in the local Cauchy problem at simply characteristic points inR ³. The tools are a sophisticated use of the author's uniqueness cones on one hand and his semi-global nullsolutions on the other hand. Hints are given on the difficulties that may be encountered inR ⁿ for the same problem. Entrata in Redazione il 7 giugno 1978.     

Differentiable and analytic families of continuous martingales in manifolds with connection

Summary.  We prove that the derivative of a differentiable family X _t (a) of continuous martingales in a manifold M is a martingale in the tangent space for the complete lift of the connection in M, provided that the derivative is bicontinuous in t and a. We consider a filtered probability space (Ω,(ℱ _t )_{0≤ t ≤1}, ℙ) such that all the real martingales have a continuous version, and a manifold M endowed with an analytic connection and such that the complexification of M has strong convex geometry. We prove that, given an analytic family a↦L(a) of random variable with values in M and such that L(0)≡x ₀∈M, there exists an analytic family a↦X(a) of continuous martingales such that X ₁(a)=L(a). For this, we investigate the convexity of the tangent spaces T ^{( n )} M, and we prove that any continuous martingale in any manifold can be uniformly approximated by a discrete martingale up to a stopping time T such that ℙ(T<1) is arbitrarily small. We use this construction of families of martingales in complex analytic manifolds to prove that every ℱ₁-measurable random variable with values in a compact convex set V with convex geometry in a manifold with a C ¹ connection is reachable by a V-valued martingale. Received: 14 March 1996/In revised form: 12 November 1996     

Aubin’s Lemma for the Yamabe constants of infinite coverings and a positive mass theorem

Aubin’s Lemma says that, if the Yamabe constant of a closed conformal manifold (M, C) is positive, then it is strictly less than the Yamabe constant of any of its non-trivial finite conformal coverings. We generalize this lemma to the one for the Yamabe constant of any (M _∞, C _∞) of its infinite conformal coverings, provided that π ₁(M) has a descending chain of finite index subgroups tending to π ₁(M _∞). Moreover, if the covering M _∞ is normal, the limit of the Yamabe constants of the finite conformal coverings (associated to the descending chain) is equal to that of (M _∞, C _∞). For the proof of this, we also establish a version of positive mass theorem for a specific class of asymptotically flat manifolds with singularities.     

A capacitary method for the asymptotic analysis of dirichlet problems for monotone operators

Given a non-linear elliptic equation of monotone type in a bounded open set Ω ⊂ Rⁿ, we prove that the asymptotic behaviour, asj → ∞, of the solutions of the Dirichlet problems corresponding to a sequence (Ω_j) of open sets contained in Ω is uniquely determined by the asymptotic behaviour, asj → ∞, of suitable non-linear capacities of the setsKΩ _j, whereK runs in the family of all compact subsets of Ω.