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.

     

Characterization off-vectors of families of convex sets inR d Part I: Necessity of Eckhoff’s conditions

LetK=K ₁,...,K_n be a family ofn convex sets inR ^d . For 0≦i<n denote byf _i the number of subfamilies ofK of sizei+1 with non-empty intersection. The vectorf(K) is called thef-vectors ofK. In 1973 Eckhoff proposed a characterization of the set off-vectors of finite families of convex sets inR ^d by a system of inequalities. Here we prove the necessity of Eckhoff's inequalities. The proof uses exterior algebra techniques. We introduce a notion of generalized homology groups for simplicial complexes. These groups play a crucial role in the proof, and may be of some independent interest.     

Approximation in weighted Hardy spaces

This paper is concerned with several approximation problems in the weighted Hardy spacesH ^p(Ω) of analytic functions in the open unit disc D of the complex plane ℂ. We prove that ifX is a relatively closed subset of D, the class of uniform limits onX of functions inH ^p(Ω) coincides, moduloH ^p(Ω), with the space of uniformly continuous functions on a certain hull ofX which are holomorphic on its interior. We also solve the simultaneous approximation problems of describing Farrell and Mergelyan sets forH ^p(Ω), giving geometric characterizations for them. By replacing approximating polynomials by polynomial multipliers of outer functions, our results lead to characterizations of the same sets with respect to cyclic vectors in the classical Hardy spacesH ^p(D), 1 ⪯p < ∞. Dedicated to Professor Nácere Hayek on the occasion of his 75th birthday.     

Potential space estimates in local Hardy spaces for Green potentials in convex domains

Let Ω be a bounded co.nvex domain in Rn(n≥3) and G(x,y) be the Green function of the Laplace operator -△ on Ω. Let hrp(Ω) = {f ∈ D'(Ω) :(E)F∈hp(Rn), s.t. F|Ω = f}, by the atom characterization of Local Hardy spaces in a bounded Lipschitz domain, the bound of f→(△)2(Gf) for every f ∈ hrp(Ω) is obtained, where n/(n 1)＜p≤1.     

Representation ofL p-norms and isometric embedding inL p-spaces

For fixed 1≦p<∞ theL _p-semi-norms onR ⁿ are identified with positive linear functionals on the closed linear subspace ofC(R ⁿ ) spanned by the functions |<ξ, ·>| ^p , ξ∈R ⁿ . For every positive linear functional σ, on that space, the function Φ_σ:R ⁿ →R given by Φ_σ is anL _p-semi-norm and the mapping σ→Φ_σ is 1-1 and onto. The closed linear span of |<ξ, ·>| ^p , ξ∈R ⁿ is the space of all even continuous functions that are homogeneous of degreep, ifp is not an even integer and is the space of all homogeneous polynomials of degreep whenp is an even integer. This representation is used to prove that there is no finite list of norm inequalities that characterizes linear isometric embeddability, in anyL _p unlessp=2. Supported by the National Science Foundation MCS-79-06634 at U.C. Berkeley.     

Convex surfaces which intersect each congruent copy of themselves in a connected set

LetK ⊂R ³ be a three-dimensional convex body such that, for every isometry ρ ofR ³, the boundaries ofK and ρK meet in a connected set. ThenK is a parallel set of some possibly degenerate linesegment.     

Solutions of elliptic equations involving critical Sobolev exponents with neumann boundary conditions

We consider the problem −Δu=|u| ^p−1u+λu in Ω with on δΩ, where Ω is a bounded domain inR ^N ,p=(N+2)/(N−2) is the critical Sobolev exponent,n the outward pointing normal and λ a constant. Our main result is that if Ω is a ball inR ^N , then for every λ∈R the problem admits infinitely many solutions. Next we prove that for every bounded domain Ω inR ³, symmetric with respect to a plane, there exists a constant μ>0 such that for every λ<μ this problem has at least one non-trivial solution. This work was supported by the Paris VI-Leiden exchange program Supported by the Netherlands organisation for scientific research NWO, under number 611-306-016.     

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.     

Existence of minimizers for a class of anisotropic free discontinuity problems

Summary We prove the existence of minimizing pairs (K, u), K compact set ofR ^N and u∈W^{1, p} (Ω/K), for the functional when the integrand f(x, z) is convex with respect to z, |z|^p≤f(x, z)≤L|z|^p, p>1, and satisfies suitable assumptions of uniform continuity in x with respect to z. Entrata in Redazione il 10 luglio 1998.     

On reduced convex bodies

A convex bodyK ⊂R ^d is called reduced if for each convex bodyK′ ⊂K,K′ ≠K, the width ofK′ is less than the width ofK. We prove that reduced bodyK is of constant width if (i) the bodyK has a supporting sphere almost everywhere in ∂K. (The radius of the sphere may vary with the point in ∂K; the condition (i) and strict convexity do not imply each other.) Supported by an N.S.E.R.C. Grant of Canada.     

Semisummands and semiideals in banach spaces

Let |·| be a fixed absolute norm onR ². We introduce semi-|·|-summands (resp. |·|-summands) as a natural extension of semi-L-summands (resp.L-summands). We prove that the following statements are equivalent. (i) Every semi-|·|-summand is a |·|-summand, (ii) (1, 0) is not a vertex of the closed unit ball ofR ² with the norm |·|. In particular semi-L ^p-summands areL ^p-summands whenever 1<p≦∞. The concept of semi-|·|-ideal (resp. |·|-ideal) is introduced in order to extend the one of semi-M-ideal (resp.M-ideal). The following statements are shown to be equivalent. (i) Every semi-|·|-ideal is a |·|-ideal, (ii) every |·|-ideal is a |·|-summand, (iii) (0, 1) is an extreme point of the closed unit ball ofR ² with the norm |·|. From semi-|·|-ideals we define semi-|·|-idealoids in the same way as semi-|·|-ideals arise from semi-|·|-summands. Proper semi-|·|-idealoids are those which are neither semi-|·|-summands nor semi-|·|-ideals. We prove that there is a proper semi-|·|-idealoid if and only if (1, 0) is a vertex and (0, 1) is not an extreme point of the closed unit ball ofR ² with the norm |·|. So there are no proper semi-L ^p-idealoids. The paper concludes by showing thatw*-closed semi-|·|-idealoids in a dual Banach space are semi-|·|-summands, so no new concept appears by predualization of semi-|·|-idealoids.     

Two cardinal versions of diamond

Roughly speaking, ◇_K,λ asserts the existence of a sequence of size <κ sets that captures every subset ofλ on a stationary set. The paper is devoted to the study of ◇_K,λ and related principles, which are for instance obtained by considering sequences of larger sets, or by requesting the simultaneous capture of many subsets ofλ. Our main result is that ◇_K,λ holds in caseλ>2^<K .     

Singular sets of convex bodies and surfaces with generalized curvatures

In this paper we consider generalized surfaces with curvature measures and we study the properties of those k-dimensional subsets Σ ^k of such surfaces where the curvatures have positive density with respect to k-dimensional Hausdorff measure. Special attention is given to boundaries of convex bodies inR ³. We introduce a class of convex sets whose curvatures live only on integer dimension sets. For such convex sets we consider integral functionals depending on the curvature and the area ofK and on the curvature andH ^k of Σ ^k .     

Non-overlapping control systems on Lie groups

LetG be a Lie group with Lie algebraL(G) and let Ω be a non-empty subset ofL(G). If Ω is interpreted as the set of controls, then the set of elements attainable from the identity for the system Ω is a subsemigroup ofG. A system Ω is called anon-overlapping control system if any element attainable for Ω is only attainable at one time. In this paper, we show that a compact convex generating nonoverlapping control systems on a connected Lie group must be contained inX+E for someX∈L(G)\E, where E is a subspace of codimension one containing the commutator, and the homomorphism from the attainable semigroup intoR ⁺ extends continuously to the whole group in the case of solvable Lie groups. This work is done under the support of TGRC-KOSEF.     

On minimizing partitions with infinitely many components

It is known [8] that, wheng ∈L ⁿ (Ω) (Ω open and bounded inR ⁿ , with ≪regular≫ boundary∂Ω), any minimizer (K, w) of the functional among relatively closed subsetsC ofΩ and piecewise-constant functionsu onΩ/C, gives rise to a finite decomposition ofΩ/K. Here we exhibit a piecewise-constant functiong on the unit diskD ofR ², with radial symmetry, such thatg ∈L ^q (D) for all 1 ⩽q < 2 and the unique minimizer of F has infinitely many components. We also fill a gap occurred in the proof of Proposition 5.2 of [8].

---

Sunto è noto [8] che quandog ∈L ⁿ (Ω (Ω aperto limitato diR ⁿ , con frontiera sufficientemente regolare) i minimi (K, w) del funzionale , doveC è relativamente chiuso in Ω eu è costante a tratti suΩ/C, danno luogo a decomposizioni finite diΩ/K. In questo lavoro mostriamo un controesempio relativo ad un datog ∈L ^q (D) per ogni 1 ⩽q < 2 (D è il disco unitario diR ²), a simmetria radiale e costante a tratti. Viene inoltre corretto un errore occorso nella dimostrazione della Prop. 5.2 di [8].

     

Quasiconformal Lipschitz maps, Sullivan's convex hull theorem and Brennan's conjecture

We show that proving the conjectured sharp constant in a theorem of Dennis Sullivan concerning convex sets in hyperbolic 3-space would imply the Brennan conjecture. We also prove that any conformal mapf:D→Ω can be factored as aK-quasiconformal self-map of the disk (withK independent of Ω) and a mapg:D→Ω with derivative bounded away from zero. In particular, there is always a Lipschitz homeomorphism from any simply connected Ω (with its internal path metric) to the unit disk. The author is partially supported by NSF Grant DMS 9800924.     

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.     

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     

Path-closed sets

Given a digraphG = (V, E), call a node setT ⊆V path-closed ifv, v′ εT andw εV is on a path fromv tov′ impliesw εT. IfG is the comparability graph of a posetP, the path-closed sets ofG are the convex sets ofP. We characterize the convex hull of (the incidence vectors of) all path-closed sets ofG and its antiblocking polyhedron inR ^v , using lattice polyhedra, and give a minmax theorem on partitioning a given subset ofV into path-closed sets. We then derive good algorithms for the linear programs associated to the convex hull, solving the problem of finding a path-closed set of maximum weight sum, and prove another min-max result closely resembling Dilworth’s theorem.     

General decomposition theorems form-convex sets in the plane

A setS inR ^dis said to bem-convex,m≧2, if and only if for everym distinct points inS, at least one of the line segments determined by these points lies inS. Clearly any union ofm?1 convex sets ism-convex, yet the converse is false and has inspired some interesting mathematical questions: Under what conditions will anm-convex set be decomposable intom?1 convex sets? And for everym≧2, does there exist aσ(m) such that everym-convex set is a union ofσ(m) convex sets? Pathological examples convince the reader to restrict his attention to closed sets of dimension≦3, and this paper provides answers to the questions above for closed subsets of the plane. IfS is a closedm-convex set in the plane,m ≧ 2, the first question may be answered in one way by the following result: If there is some lineH supportingS at a pointp in the kernel ofS, thenS is a union ofm ? 1 convex sets. Using this result, it is possible to prove several decomposition theorems forS under varying conditions. Finally, an answer to the second question is given: Ifm≧3, thenS is a union of (m?1)³2 ^m?3 or fewer convex sets.