Searcharxiv⌕ Search

arXiv subjects

Giuseppe Zampieri

Publications and source records attributed to Giuseppe Zampieri.

At least 19 recordsLinked to original sources
arXiv2017

Hölder regularity of the solution to the complex Monge-Ampère equation with $L^p$ density

On a smooth domain $Ω\subset\subset\mathbb C^n$, we consider the Dirichlet problem for the complex Monge-Ampère equation $((dd^cu)^n=fdV,\,u|_{bΩ}\equivϕ)$. We state the Hölder regularity of the solution $u$ when the boundary value $ϕ$ is Hölder continuous and the density $f$ is only $L^p$, $p>1$. Note that in former literature (Guedj-Kolodziej-Zeriahi) the weakness of the assumption $f\in L^p$ was balanced by taking $ϕ\in C^{1,1}$ (in addition to assuming $Ω$ strongly pseudoconvex).

math.CV↗
arXiv2015

Extension of L^2, di-bar-closed, forms

We prove extension of a di-bar-closed, smooth, form from the intersection of a pseudoconvex domain with a complex hyperplane to the whole domain. The extension form is di-bar-closed, has harmonic coefficients and its L^2-norm is estimated by the L^2-norm of the trace. For holomorphic functions this is proved by Ohsawa-Takegoshi [12]. For forms of higher degree, this is stated by Manivel [9]. It seems, however, that the proof contains a gap because of the use of a a singular weight and the failure of regularity for the solution of the related di-bar-equation. There is a rich literature on the subject (cf. among otheres [7], [14]) but it does not seem to contain complete answer to the question. Also, the problem of extending cohomology classes of di-bar of higher degree in a compact Kahler space is addressed in [8] and [3]. Apart from the formal analogy, this has little in common with our problem in which these classes are 0. We also believe, comparing to the preceding literature, that our approach is original and, somewhat, simpler.

math.CV↗
arXiv2014

Gain/Loss of derivatives for complex vector fields

In $\C_z\times\R_t$ we consider the function $g=g(z)$, set $g_1=\di_z g$, $g_{1\bar 1}=\di_z\dib_zg$ and define the operator $L_g=\di_z+ig_1\di_t$. We discuss estimates with loss of derivatives, in the sense of Kohn, for the system $(\bar L_g,f^kL_g)$ where $(\bar L_g,L_g)$ is $\frac1{2m} $ subelliptic at 0 and $f(0)=0,\,\,df(0)\neq0$. We prove estimates with a loss $l=\frac{k-1}{2m} $ if the "multiplier" condition $|f|\simgeq |g_{1\bar 1}|^{\frac1{2(m-1)}}$ is fulfilled. (For estimates without cut-off, subellipticity can be weakened to compactness and this results in a loss of $l=\frac [{2(m-1)}$.) For the choice $(g,f^k)=(|z|^{2m},\bar z^k)$ this result was obtained by Kohn and Bove-Derridj-Kohn-Tartakoff for $m=1$ and $m\geq1$ respectively. Also, the loss $l=\frac{k-1}{2m}$ was proven to be optimal. We show that it remains optimal for the model $(g,f^k)=(x^{2m},x^k)$. Instead, for the model $(g,f^k)=(|z|^{2m},x^k)$, in which the multiplier condition is violated, the loss is not lowered by the type and must be $\geq \frac{k-1}2$.

math.CV↗
arXiv2014

Local regularity of the Green operator in a CR manifold of general "type"

It is here proved that if a pseudoconvex CR manifold $M$ of hypersurface type has a certain "type", that we quantify by a vanishing rate $F$ at a submanifold of CR dimension $0$, then $\Box_b$ "gains $f^2$ derivatives" where $f$ is defined by inversion of $F$. Indeed the estimate is more accurate and it involves the Levi form of $M$ and of additional weights, instead of $\Box_b$. Next a general tangential estimate, "twisted" by a pseudodifferential operator $Ψ$ is established. The combination of the two yields a general "$f$-estimate" twisted by $Ψ$. We apply the twisted estimate for $Ψ$ which is the composition of a cut-off $η$ with a differentiation of order $s$ such as $R^s$ of Section 4. Under the assumption that $[\partial_b,η]$ and $[\partial_b,[\bar\partial_b,η]]$ are superlogarithmic multipliers in a sense inspired to Kohn, we get the local regularity of the Green operator $G=\Box_b^{-1}$. In particular, if $M$ has "infraexponential type" along $S\setminusΓ$ where $S$ is a manifold of CR dimension $0$ and $Γ$ a curve transversal to $T^{\mathbb C} M$, then we have local regularity of $G$. This gives an immediate proof of former work by Baracco, Khanh, Zampieri and by Kohn. The conclusion extends to "block decomposed" domains for whose blocks the above hypotheses hold separately. In the application of Section 4, $Ψ$ is composed by a cut off $η$ and a differentiation of order $s$ such as $Λ^s$ or $R^s$ and $M$ is a decoupled hypersurface which has infraexponential type along the coordinate lines $\mathbb R_{x_j}\setminus\{0\}$ and whose equations have differentials which are superlogarithmic multipliers in the sense of Kohn. In this situation, $\Box_b$ is locally hypoelliptic.

math.CV↗
arXiv2012

Complex Manifolds In $Q$-Convex Boundaries

We consider a smooth boundary bΩwhich is q-convex in the sense that its Levi-form has positive trace on every complex q-plane. We prove that bΩis tangent of infinite order to the complexification of each of its submanifolds which is complex tangential and of finite bracket type. This generalizes Diederich-Fornaess [Annals 1978] from pseudoconvex to q-convex domains. We also readily prove that the rows of the Levi-form are (1/2)-subelliptic multipliers for the di-bar-Neumann problem on q-forms (cf. Ho [Math. Ann. 1991]). This allows to run the Kohn algorithm of [Acta Math. 1979] in the chain of ideals of subelliptic multipliers for q-forms. If bΩis real analytic and the algorithm stucks on q-forms, then it produces a variety of holomorphic dimension q, and in fact, by our result above, a complex q-manifold which is not only tangent but indeed contained in bΩ. Altogether, the absence of complex q-manifolds in bΩproduces a subelliptic estimate on q-forms.

math.CV↗
arXiv2011

The Diederich-Fornaess index and the global regularity of the di-bar-Neumann problem

We describe along the guidelines of Kohn "Quantitative estimates..." (1999), the constant E_s which is needed to control the commutator of a totally real vector field T with di-bar* in order to have Sobolev s-regularity of the Bergman projection in any degree of forms, on a smooth pseudoconvex domain D of the complex space. This statement, not explicit in Kohn's paper, yields Straube's Theorem in "A sufficient condition..." (2008). Next, we refine the pseudodifferential calculus at the boundary in order to relate, for a defining function r of D, the operators (T^+)^{-delta/2} and (-r)^{delta/2}. We are thus able to extend to general degree of forms the conclusion of Kohn which only holds for functions: if for the Diederich-Fornaess index delta of D, we have that (1-δ)^{1/2} < E_s, then the Bergman projection is s-regular.

math.CV↗
arXiv2011

On extending $L^{2}$ holomorphic functions from complex hyperplanes

The key to the proof of the Ohsawa-Takegoshi Extension Theorem is a certain $\bar{\partial}$-estimate. The purpose of this note is to show that the 'curvature term' that arises in the Kohn-Morrey-Hörmander inequality (or the Bochner-Kodaira technique) is sufficient to produce such an estimate. We exploit self boundedness of the gradients of the weight functions to change the weight with respect to which the adjoint is taken. The weights, on the other hand, are the usual ones used in this context.

math.CV↗
arXiv2011

Regularity at the Boundary and Tangential Regularity

For a pseudoconvex domain in complex space, we prove the equivalence of the local hypoellipticity of the system (di-bar, di-bar*) with the system (di-bar_b,di-bar*_b) induced in the boundary. This develops a result of ours which used the theory of the "harmonic" extension by Kohn. This technique is inadequate for the purpose of the present paper and must be replaced by the "holomorphic" extension introduced by the authors in former work.

math.CV↗
arXiv2010

Compactness of $\Box_b$ in a CR manifold

This note is aimed at simplifying current literature about compactness estimates for the Kohn-Laplacian on CR manifolds. The approach consists in a tangential basic estimate in the formulation given by the first author in \cite{Kh10} which refines former work by Nicoara \cite{N06}. It has been proved by Raich \cite{R10} that on a CR manifold of dimension $2n-1$ which is compact pseudoconvex of hypersurface type embedded in $\C^n$ and orientable, the property named "$(CR-P_q)$" for $1\leq q\leq \frac{n-1}2$, a generalization of the one introduced by Catlin in \cite{C84}, implies compactness estimates for the Kohn-Laplacian $\Box_b$ in degree $k$ for any $k$ satisfying $q\leq k\leq n-1-q$. The same result is stated by Straube in \cite{S10} without the assumption of orientability. We regain these results by a simplified method and extend the conclusions in two directions. First, the CR manifold is no longer required to be embedded. Second, when $(CR-P_q)$ holds for $q=1$ (and, in case $n=1$, under the additional hypothesis that $\dib_b$ has closed range on functions) we prove compactness also in the critical degrees $k=0$ and $k=n-1$.

math.CV↗
arXiv2009

Precise subelliptic estimates for a class of special domains

For the $\bar\partial$-Neumann problem on a regular coordinate domain $Ω\subset \C^{n+1}$, we prove $ε$-subelliptic estimates for an index $ε$ which is in some cases better than $ε=\frac1{2m}$ ($m$ being the {\it multiplicity}) as it was previously proved by Catlin and Cho in \cite{CC08}. This also supplies a much simplified proof of the existing literature. Our approach is founded on the method by Catlin in \cite{C87} which consists in constructing a family of weights $\{ϕ^δ\}$ whose Levi form is bigger than $δ^{-2ε}$ on the $δ$-strip around $\partialΩ$.

math.CV↗
arXiv2005

$CR$ Extension from manifolds of higher type

In this paper, a generalization of the "sector property" theorem first pioneered by Baouendi, Rothschild and Treves is given. The main contribution consists in showing that if a submanifold of $\C^n$ with higher codimension is locally presented in a weighted normal form, similar to that described by Bloom and Graham, then a characterization is given as to when a vector in the tangent space belongs to the analytic wave front set for the set of locally defined CR functions on the submanifold. This characterization is described in terms of the sign of the inner product of this vector with the local graphing functions for the submanifold on sectors of suitable size along complex lines in its tangent space. Examples are given to show that under certain circumstances, the results are sharp. Previous results by Baouendi et. al. contained a semi-rigidity assumption which is not assumed in the present paper. The hypoanalytic wave front set determines the cone of directions in which CR functions extend analytically to the ambient space and thus provides an explicit description of the local hull of holomorphy of a submanifold of $\C^n$.

math.CV↗