The Thurston Metric on Hyperbolic Domains and Boundaries of Convex Hulls

We show that the nearest point retraction is a uniform quasi-isometry from the Thurston metric on a hyperbolic domain W ì [^(\mathbb C)]{\Omega \subset{\hat{\mathbb C}}} to the boundary Dome(Ω) of the convex hull of its complement. As a corollary, one obtains explicit bounds on the quasi-isometry constant of the nearest point retraction with respect to the Poincaré metric when Ω is uniformly perfect. We also establish Marden and Markovic’s conjecture that Ω is uniformly perfect if and only if the nearest point retraction is Lipschitz with respect to the Poincaré metric on Ω.     

The Helmholtz decomposition of weightedLq-spaces for Muckenhoupt weights

We consider weights of Muckenhoupt classA _q, 1<q<∞. For a bounded Lipschitz domain Ω⊂ℝⁿ we prove a compact embedding and a Poincaré inequality in weighted Sobolev spaces. These technical tools allow us to solve the weak Neumann problem for the Laplace equation in weighted spaces on ℝⁿ, ℝⁿ ₊, on bounded and on exterior domains Ω with boundary of classC ¹, which will yield the Helmholtz decomposition ofL _ω ^q(Ω)ⁿ for general ω∈A _q. This is done by transferring the method of Simader and Sohr [4] to the weighted case. Our result generalizes a result of Farwig and Sohr [2] where the Helmholtz decomposition ofL _ω ^p(Ω)ⁿ is proved for an exterior domain and weights of Muckenhoupt class without singularities or degeneracies in a neighbourhood of ϖΩ.

---

Sunto In questo lavoro consideriamo dei pesi della classe di MuckenhouptA _q, 1<q<∞. Per un dominio limitato lipschitziano Ω⊂ℝⁿ, dimostriamo una immersione compatta ed una disuguaglianza di Poincaré in spazi di Sobolev con peso. Questa tecnica ci consente di risolvere il problema debole di Neumann per l’equazione di Laplace in spazi pesati in ℝⁿ, ℝⁿ ₊ in domini limitati ed in domini esterni con frontiera di classeC ¹, che conduce alla decomposizione di Helmholtz diL _ω ^q(Ω)ⁿ per un qualsiasi ω∈A _q. Il risultato è ottenuto trasferendo il metodo di Simader e Sohr [4] al caso pesato. Quello qui presente estende un risultato di Farwig e Sohr [2] dove la decomposizione di Helmholtz diL _ω ^q(Ω)ⁿ è dimostrata per domini esterni e pesi della classe di Muckenhoupt privi di singolarità in un intorno di ϖΩ.

     

D p spaces on bounded symmetric domains ofC n

In this paper, the spaceD ^p(Ω) of functions holomorphic on bounded symmetric domain ofC ⁿ is defined. We prove thatH ^p(Ω)⊂D ^p(Ω) if 0<p≤2, andD ^p(Ω)⊂H ^p(Ω) ifp≥2, and both the inclusions are proper. Further, we find that some theorems onH ^p(Ω) can be extended to a wider classD ^p(Ω) for 0<p≤2.     

A sufficient condition of type (Ω) for tame splitting of short exact sequences of Fréchet spaces

In a previous paper, the quotient spaces of (s) in the tame category of nuclear Fréchet spaces have been characterized by property (ΩDZ) corresponding to the topological condition (Ω) of D. Vogt and M. J. Wagner. In addition, a splitting theorem has been proved which provides the existence of a tame linear right inverse of a tame linear map on the assumption that the kernel of the given map has property (ΩDZ) and that certain tameness conditions hold. In this paper it is proved that property (Ω) in standard form (i.e., the dual norms ‖ ‖ _n ^* are logarithmically convex) implies the tame splitting condition (ΩDZ) for any tamely nuclear Fréchet space equipped with a grading defined by sermiscalar products. As an application, property (ΩDZ) is verified for the kernels of any hypoelliptic system of linear partial differential operators with constant coefficients on ℝ^N or on a bounded convex region in ℝ^N.     

Sobolev functions whose inner trace at the boundary is zero

Let Ω⊂R ⁿ be an arbitrary open set. In this paper it is shown that if a Sobolev functionf∈W ^1,p (Ω) possesses a zero trace (in the sense of Lebesgue points) on ϖΩ, thenf is weakly zero on ϖΩ in the sense thatf∈W ₀ ^1,p (Ω).     

Some Poincaré-type inequalities for functions of bounded deformation involving the deviatoric part of the symmetric gradient

It is proved that if Ω ⊂ Rⁿ {R^n}  is a bounded Lipschitz domain, then the inequality || u ||₁ \leqslant c(n)\textdiam( W)ò_W | e^D(u) | {\left\| u \right\|_1} \leqslant c(n){\text{diam}}\left( \Omega \right)\int\limits_\Omega {\left| {{\varepsilon^D}(u)} \right|} is valid for functions of bounded deformation vanishing on ∂Ω. Here e^D(u) {\varepsilon^D}(u) denotes the deviatoric part of the symmetric gradient and ò_W | e^D(u) | \int\limits_\Omega {\left| {{\varepsilon^D}(u)} \right|} stands for the total variation of the tensor-valued measure e^D(u) {\varepsilon^D}(u) . Further results concern possible extensions of this Poincaré-type inequality. Bibliography: 27 titles.     

Maximal solutions of semilinear elliptic equations with locally integrable forcing term

We study the existence of a maximal solution of −Δu+g(u)=f(x) in a domain Ω ∈ ℝ ^N with compact boundary, assuming thatf ∈ (L _loc ¹ (Ω))₊ and thatg is nondecreasing,g(0)≥0 andg satisfies the Keller-Osserman condition. We show that if the boundary satisfies the classicalC _1,2 Wiener criterion, then the maximal solution is a large solution, i.e., it blows up everywhere on the boundary. In addition, we discuss the question of uniqueness of large solutions. This research was partially supported by an EC Grant through the RTN Program “Front-Singularities”, HPRN-CT-2002-00274.     

Equivalences between bloch type spaces and BOM spaces on the hyperbolic domains inC

For an analytic function f on the hyperbolic domain Ω inC, the following conclusions are obtained: (i) f∈B(Ω)=BMO A(Ω,m) if and only ifRef∈B_h(Ω)=BMOH(Ω,m). (ii) QB_h(Ω)=B_h(Ω)(BMOH _n(Ω,m)=BMOH(Ω,m)) if and only ifC(Ω)=inf{λ_Ω(z)·δ_Ω(z):z∈Ω}>0. Also, some applications to automorphic functions are considered. This research was supported by the Doctoral Program Foundation of Institute of Higher Education.     

Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane \Bbb C{\Bbb C} and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities C_n(W,P) := sup_{f ? A(W,P)}sup_{z ? W}\frac|f⁽ⁿ⁾(z)| R(f(z),P)n! (R(z,W))ⁿC_n(\Omega,\Pi)\,:=\,\sup_{f\in A(\Omega,\Pi)}\sup_{z\in \Omega}\frac{\vert f^{(n)}(z)\vert\,R(f(z),\Pi)}{n!\,(R(z,\Omega))^n} are finite for all n ? \Bbb N{n \in {\Bbb N}} if and only if ∂Ω and ∂Π do not contain isolated points.     

Hartogs-Bochner type theorem in projective space

We prove the following Hartogs-Bochner type theorem: Let M be a connected C² hypersurface of P_n(C) (n≥2) which divides P_n(C) in two connected open sets Ω₁ and Ω₂. Suppose that M has at most one open CR orbit. Then there exists i∈{1,2} such that C¹ CR functions defined on M extends holomorphically to Ω _i . Supported by the TMR network.     

Quotients of the unit ball of ℂn for a free action of ℤ

LetB _n be the unit ball of ℂⁿ and ℤ ≅ Γ ⊂ AutB _n be generated by a parabolic element of AutB _n. We show that the quotientB _n/Γ is biholomorphic to a holomorphically convex domain of ℂⁿ, whose automorphism group is explicity described. It follows thatB _n/ℤ is Stein for any free action of ℤ. Investigation partially supported by University of Bologna. Funds for selected research topics. The second author was supported by an Instituto Nazionale di Alta Matematica grant.     

Interpolation by holomorphic automorphisms and embeddings in Cn

Let n > 1 and let C ⁿ denote the complex n-dimensional Euclidean space. We prove several jet-interpolation results for nowhere degenerate entire mappings F:C ⁿ →C ⁿ and for holomorphic automorphisms of C ⁿ on discrete subsets of C ⁿ.We also prove an interpolation theorem for proper holomorphic embeddings of Stein manifolds into C ⁿ.For each closed complex submanifold (or subvariety) M ⊂ C ⁿ of complex dimension m < n we construct a domain Ω ⊂C ⁿ containing M and a biholomorphic map F: Ω → C ⁿ onto C ⁿ with J F ≡ 1such that F(M) intersects the image of any nondegenerate entire map G:C ^n−m →C ⁿ at infinitely many points. If m = n − 1, we construct F as above such that C ⁿ ∖F(M) is hyperbolic. In particular, for each m ≥ 1we construct proper holomorphic embeddings F:C ^m →C ^m−1 such that the complement C ^m+1 ∖F(C ^m )is hyperbolic.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Operator algebras and a theorem of Dieudonne

LetA be aC*-algebra with second dualA″. Let (φ _n)(n=1,...) be a sequence in the dual ofA such that limφ _n(a) exists for eacha εA. In general, this does not imply that limφ _n(x) exists for eachx εA″. But if limφ _n(p) exists whenever p is the range projection of a positive self-adjoint element of the unit ball ofA, then it is shown that limφ _n(x) does exist for eachx inA″. This is a non-commutative generalisation of a celebrated theorem of Dieudonné. A new proof of Dieudonné’s theorem, for positive measures, is given here. The proof of the main result makes use of Dieudonné’s original theorem.     

The Besov Space B^{{0,1}}_{1} on Domains

Let Ω be a bounded Lipschitz domain. Define B ^0,1 _{1, r} (Ω) = {f∈L ¹ (Ω): there is an F∈B ^0,1 ₁ (ℝ ⁿ ) such that F|_Ω = f} and B ^0,1 _{1 z} (Ω) = {f∈B ^0,1 ₁ (ℝ ⁿ ) : f = 0 on ℝ ⁿ \}. In this paper, the authors establish the atomic decompositions of these spaces. As by-products, the authors obtained the regularity on these spaces of the solutions to the Dirichlet problem and the Neumann problem of the Laplace equation of ℝ ⁿ ₊. Received June 8, 2000, Accepted October 24, 2000     

Bounds and monotonicity for the generalized Robin problem

We consider the principal eigenvalue λ ₁^Ω(α) corresponding to Δu = λ (α) u in W, \frac?u?v = au \Omega, \frac{\partial u}{\partial v} = \alpha u on ∂Ω, with α a fixed real, and W ì Rⁿ\Omega \subset {\mathcal{R}}^n a C ^0,1 bounded domain. If α > 0 and small, we derive bounds for λ ₁^Ω(α) in terms of a Stekloff-type eigenvalue; while for α > 0 large we study the behavior of its growth in terms of maximum curvature. We analyze how domain monotonicity of the principal eigenvalue depends on the geometry of the domain, and prove that domains which exhibit domain monotonicity for every α are calibrable. We conjecture that a domain has the domain monotonicity property for some α if and only if it is calibrable.     

Higher order Poincaré inequalities associated with linear operators on stratified groups and applications

 This paper considers the dual of anisotropic Sobolev spaces on any stratified groups 𝔾. For 0≤k<m and every linear bounded functional T on anisotropic Sobolev space W ^m−k,p (Ω) on Ω⊂𝔾, we derive a projection operator L from W ^m,p (Ω) to the collection 𝒫 _k+1 of polynomials of degree less than k+1 such that T(X ^I (Lu))=T(X ^I u) for all uW ^m,p (Ω) and multi-index I with d(I)≤k. We then prove a general Poincaré inequality involving this operator L and the linear functional T. As applications, we often choose a linear functional T such that the associated L is zero and consequently we can prove Poincaré inequalities of special interests. In particular, we obtain Poincaré inequalities for functions vanishing on tiny sets of positive Bessel capacity on stratified groups. Finally, we derive a Hedberg-Wolff type characterization of measures belonging to the dual of the fractional anisotropic Sobolev spaces W ^α,p 𝔾. Received: 25 March 2002; in final form: 10 September 2002 / Published online: 1 April 2003 Mathematics Subject Classification (1991): 46E35, 41A10, 22E25 The second author was supported partly by U.S NSF grant DMS99-70352 and the third author was supported partly by NNSF grant of China.     

Analysis on discrete cocompact subgroups of the generic filiform Lie groups

Summary Let F_n, n≧ 1, denote the sequence of generic filiform (connected, simply connected) Lie groups. Here we study, for each F_n, the infinite dimensional simple quotients of the group C*-algebra of (the most obvious) one of its discrete cocompact subgroups D_n. For D_n, the most attractive concrete faithful representations are given in terms of Anzai flows, in analogy with the representations of the discrete Heisenberg group H₃ ⊆G₃ on L²(T) that result from the irrational rotation flows on T; the representations of D_n generate infinite-dimensional simple quotients A_n,θ of the group C*-algebra C*(D_n). For n>1, there are other infinite-dimensional simple quotients of C*(D_n) arising from non-faithful representations of D_n. Flows for these are determined, and they are also characterized and represented as matrix algebras over simple affine Furstenberg transformation group C*-algebras of the lower dimensional tori.     

On aschbacher’s localC(G; T) theorem

Aschbacher’s localC(G; T) theorem asserts that ifG is a finite group withF*(G)=O ₂(G), andTεSyl₂(G), thenG=C(G; T)K(G), whereC(G; T)=〈N _G (T ₀)|1≠T ₀ charT〉 andK(G) is the product of all near components ofG of typeL ₂(2 ⁿ ) orA ₂ ⁿ ₊₁. Near components are also known asχ-blocks or Aschbacher blocks. In this paper we give a proof of Aschbacher’s theorem in the case thatG is aK-group, i.e., in the case that every simple section ofG is isomorphic to one of the known simple groups. Our proof relies on a result of Meierfrankenfeld and Stroth [MS] on quadratic four-groups and on the Baumann-Glauberman-Niles theorem, for which Stellmacher [St2] has given an amalgam-theoretic proof. Apart from those results, our proof is essentially self-contained. For John Thompson Supported in part by NSF grant #DMS 89-03124, by DIMACS, an NSF Science and Technology Center, funded under contract STC-88-09648, and by NSA grant #MDA-904-91-H-0043. Prof. Gorenstein died on August 26, 1992.     

Density of algebras generated by Toeplitz operators on Bergman spaces

In this paper it is shown that Toeplitz operators on Bergman space form a dense subset of the space of all bounded linear operators, in the strong operator topology, and that their norm closure contains all compact operators. Further, theC ^*-algebra generated by them does not contain all bounded operators, since all Toeplitz operators belong to the essential commutant of certain shift. The result holds in Bergman spacesA ²(Ω) for a wide class of plane domains Ω⊂C, and in Fock spacesA ²(C ^N),N≧1.