Decompositions of the Hardy space Hz^1（Ω）

We give a decomposition of the Hardy space Hz^1（Ω） into ＂div-curl＂ quantities for Lipschitz domains in R^n. We also prove a decomposition of Hz^1（Ω） into Jacobians det Du, u ∈ W0^1,2 （Ω,R^2） for Ω in R^2. This partially answers a well-known open problem.     

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     

Maximal function characterizations of Hardy spaces on RD-spaces and their applications

Let X be an RD-space, i.e., a space of homogeneous type in the sense of Coifman and Weiss, which has the reverse doubling property. Assume that X has a dimension n. For α∈ (0, ∞) denote by Hαp(X ), Hdp(X ), and H?,p(X ) the corresponding Hardy spaces on X defined by the nontangential maximal function, the dyadic maximal function and the grand maximal function, respectively. Using a new inhomogeneous Calder′on reproducing formula, it is shown that all these Hardy spaces coincide with Lp(X ) when p ∈ (1, ∞] a...     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

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

Domains with Hyperbolic Orbit Accumulation Boundary Points

Let Ω be a smoothly bounded pseudoconvex domain in ℂ ⁿ satisfying the condition R. Suppose that its Bergman kernel extends to [`(W)]×[`(W)]\overline{\Omega}\times\overline{\Omega} minus the boundary diagonal set as a locally bounded function. In this paper we show that for each hyperbolic orbit accumulation boundary point p, there exists a contraction f∈Aut(Ω) at p. As an application, we show that Ω admits a hyperbolic orbit accumulation boundary point if and only if it is biholomorphically equivalent to a domain defined by a weighted homogeneous polynomial and that Ω is of finite D’Angelo type.     

On a singular integral on product spaces

We show that if K(x,y)=Ω(x,y)/|x|ⁿ|y|^m is a Calder n-Zygmund kerned on Rⁿ×R^m, where Ω∈L²(Sⁿ⁻¹×S^m−1) and b(x,y) is any bounded function which is radial with x∈Rⁿ and y∈R^m respectively, then b(x,y)K(x,y) is the kernel of a convolution operator which is bounded on L^p(Rⁿ×R^m) for 1<p<∞ and n≧2, m≧2. Project supported by NSFC     

Strong approximation ofGSBV functions by piecewise smooth functions

Let Ω be an open and bounded subset ofR ⁿ with locally Lipschitz boundary. We prove that the functionsv∈SBV(Ω,R ^m ) whose jump setS _vis essentially closed and polyhedral and which are of classW ^{k, ∞} (S _v,R ^m) for every integerk are strongly dense inGSBV ^p(Ω,R ^m ), in the sense that every functionu inGSBV ^p(Ω,R ^m ) is approximated inL ^p(Ω,R ^m ) by a sequence of functions {v _k{_j∈N with the described regularity such that the approximate gradients ∇v _jconverge inL ^p(Ω,R ^nm ) to the approximate gradient ∇u and the (n−1)-dimensional measure of the jump setsS _{v j} converges to the (n−1)-dimensional measure ofS _u. The structure ofS _v can be further improved in casep≤2.

---

Sunto Sia Ω un aperto limitato diR ⁿ con frontiera localmente Lipschitziana. In questo lavoro si dimostra che le funzioniv∈SBV(Ω,R ^m ) con insieme di saltoS _v essenzialmente chiuso e poliedrale che sono di classeW ^{k, ∞} (S _v,R ^m ) per ogni interok sono fortemente dense inGSBV ^p(Ω,R ^m ), nel senso che ogni funzioneu∈GSBV ^p(Ω,R ^m ) è approssimata inL ^p(Ω,R ^m ) da una successione di funzioni {v _j}_j∈N con la regolaritá descritta tali che i gradienti approssimati ∇v _jconvergono inL ^p(Ω,R ^nm ) al gradiente approssimato ∇u e la misura (n−1)-dimensionale degli insiemi di saltoS _{v j}converge alla misura (n−1)-dimensionale diS _u. La struttura diS _vpuó essere migliorata nel caso in cuip≤2.

     

A Boundedness Criterion via Atoms for Linear Operators in Hardy Spaces

Let p∈(0,1] and s≥[n(1/p−1)], where [n(1/p−1)] denotes the maximal integer no more than n(1/p−1). In this paper, the authors prove that a linear operator T extends to a bounded linear operator from the Hardy space H ^p (ℝ ⁿ ) to some quasi-Banach space ℬ if and only if T maps all (p,2,s)-atoms into uniformly bounded elements of ℬ.      

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.     

Completeness of the system {z^λn} in L^2[B,α0]

Let B be an unbounded domain located outside an angle domain with vertex at the origin, A ={λn}（n = 1,2,...） be a sequence of complex numbers satisfying sup ｜ arg（λn）｜ 〈 α 〈 π/2 and denote by M（∧） = {z^λ, λ ∈ ∧} the corresponding system of functions z^λ（λ∈∧）. Let α0（z） be a weight function defined on B. We obtain a completeness theorem for the system M（∧） in the Hilbert space L^2 [B, α0].     

Harmonic maps from manifolds of <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript>-Riemannian metrics

For a bounded domain Ω ⊂ R ⁿ endowed with L ^∞-metric g, and a C ⁵-Riemannian manifold (N, h) ⊂ R ^k without boundary, let u ∈ W ^1,2(Ω, N) be a weakly harmonic map, we prove that (1) u ∈ C ^α (Ω, N) for n = 2, and (2) for n ≥ 3, if, in additions, g ∈ VMO(Ω) and u satisfies the quasi-monotonicity inequality (1.5), then there exists a closed set Σ ⊂ Ω, with H ^n-2(Σ) = 0, such that for some α ∈ (0, 1). C. Y. Wang Partially supported by NSF.     

N-widths of Ω r ′ in L p

Let Ω _ϕ ^r ={f:f ^(r-1) abs. cont. on [0,1], ‖q_r(D)f‖_p≤1, f^(2K+σ) (0)=f^(2K+σ)=0, (k)=0,...,l-1}. where , and I is an identical operator. Denote Kolmogorov, linear, Geelfand and Bernstein n-widths of Ω _ϕ ^r in L^p byd _n (Ω _ϕ ^r ;L ^p ),δ _n (Ω _ϕ ^r ;L ^p ),d ⁿ (Ω _p ^r ;L ^p ) andb _n (Ω _p ^r ;L ^p ), respectively. In this paper, we find a method to get an exact estimation of these n-widths. Related optimal subspaces and an optimal linear operator are given. For another subset , similar results are also derrived.     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

Boundedness of Multilinear Operators in Herz-type Hardy Space

Let κ∈ℕ. We prove that the multilinear operators of finite sums of products of singular integrals on ℝⁿ are bounded from HK ^α1,p1 _q1 (ℝⁿ) ×···×HK ^αk,pk _qk (ℝⁿ) into HK ^α,p _q (ℝⁿ) if they have vanishing moments up to a certain order dictated by the target spaces. These conditions on vanishing moments satisfied by the multilinear operators are also necessary when α_j≥ 0 and the singular integrals considered here include the Calderón-Zygmund singular integrals and the fractional integrals of any orders. Received September 6, 1999, Revised November 17, 1999, Accepted December 9, 1999     

On representation of the solution of the Neumann problem in a domain with peak by the harmonic simple layer potential

The problem of finding a solution of the Neumann problem for the Laplacian in the form of a simple layer potential Vρ with unknown density ρ is known to be reducible to a boundary integral equation of the second kind to be solved for density. The Neumann problem is examined in a bounded n-dimensional domain Ω⁺ (n > 2) with a cusp of an outward isolated peak either on its boundary or in its complement Ω⁻ = R ⁿ \Ω⁺. Let Γ be the common boundary of the domains Ω^±, Tr(Γ) be the space of traces on Γ of functions with finite Dirichlet integral over R ⁿ , and Tr(Γ)* be the dual space to Tr(Γ). We show that the solution of the Neumann problem for a domain Ω⁻ with a cusp of an inward peak may be represented as Vρ⁻, where ρ⁻ ∈ Tr(Γ)* is uniquely determined for all Ψ⁻ ∈ Tr(Γ)*. If Ω⁺ is a domain with an inward peak and if Ψ⁺ ∈ Tr(Γ)*, Ψ⁺ ⊥ 1, then the solution of the Neumann problem for Ω⁺ has the representation u ⁺ = Vρ⁺ for some ρ⁺ ∈ Tr(Γ)* which is unique up to an additive constant ρ₀, ρ₀ = V ⁻¹(1). These results do not hold for domains with outward peak.     

REGULARITY OF POISSON EQUATION IN SOME LOGARITHMIC SPACE

In this note, the regularity of Poisson equation -△u = f with f lying in logarithmic function space Lp(LogL)a(Ω)(1＜p ＜∞, a ∈ R) is studied. The result of the note generalizes the W2,p estimate of Poisson equation in Lp(Ω).     

An elementary approach to gap theorems

Using elementary comparison geometry, we prove: Let (M, g) be a simply-connected complete Riemannian manifold of dimension ≥ 3. Suppose that the sectional curvature K satisfies −1 − s(r) ≤ K ≤ −1, where r denotes distance to a fixed point in M. If lim _{r → ∞} e^2r s(r) = 0, then (M, g) has to be isometric to ℍ ⁿ . The same proof also yields that if K satisfies −s(r) ≤ K ≤ 0 where lim _{r → ∞} r ² s(r) = 0, then (M, g) is isometric to ℝ ⁿ , a result due to Greene and Wu. Our second result is a local one: Let (M, g) be any Riemannian manifold. For a ∈ ℝ, if K ≤ a on a geodesic ball B _p (R) in M and K = a on ∂B _p (R), then K = a on B _p (R).     

The Upper Bounds of Arbitrary Eigenvalues for Uniformly Elliptic Operators with Higher Orders

Let Ωbelong to R^m （m≥ 2） be a bounded domain with piecewise smooth and Lipschitz boundary δΩ Let t and r be two nonnegative integers with t ≥ r ＋ 1. In this paper, we consider the variable-coefficient eigenvalue problems with uniformly elliptic differential operators on the left-hand side and （-Δ）^T on the right-hand side. Some upper bounds of the arbitrary eigenvalue are obtained, and several known results are generalized.     

Some remarks on the identity between a variational integral and its relaxed functional

Summary Letf: (x, z)∈R ⁿ×Rⁿ→f(x, z)∈[0, +∞] be measurable inx and convex inz. It is proved, by an example, that even iff verifies a condition as|z| ^p≤f(x, z)≤Λ(a(x)+|z|^q) with 1<p<q,a∈L _loc ^s (R ⁿ),s>1, the functional that isL ¹(Ω)-lower semicontinuous onW ^1,1(Ω), does not agree onW ^1,1(Ω) with its relaxed functional in the topologyL ¹(Ω) given by inf

---

Riassunto Siaf: (x, z)∈R ⁿ×Rⁿ→f(x, z)∈[0, +∞] misurabile inx e convessa inz. Si mostra con un esempio che anche sef verifica una condizione del tipo|z| ^p≤f(x, z)≤Λ(a(x)+|z|^q) con 1<p<q,a∈L _loc ^s (R ⁿ),s>1, il funzionale , che èL ¹(Ω)-semicontinuo inferiormente suW ^1,1(Ω), non coincide suW ^1,1(Ω) con il suo funzionale rilassato nella topologiaL ¹(Ω) definito da inf