We study the $\overline{\partial}$-Neumann problem using the Sobolev space inner product. We show that the problem can be solved on any smoothly bounded, pseudoconvex domain. We further formulate estimates and the basic results of a Sobolev Hodge theory.
We study the Dirichlet to Neumann operator of the $\overline{\partial}$-Neumann problem, and the relation between the $\overline{\partial}$-Neumann boundary conditions and the Dirichlet to Neumann operator.
Assume that $Ω_{1}$ and $Ω_{2}$ are two smooth bounded pseudoconvex domains in $\mathbb{C}^{2}$ that intersect (real) transversely, and that $Ω_{1} \cap Ω_{2}$ is a domain (i.e. is connected). If the $\overline{\partial}$-Neumann operators on $Ω_{1}$ and on $Ω_{2}$ are compact, then so is the $\overline{\partial}$-Neumann operator on $Ω_{1} \cap Ω_{2}$. The corresponding result holds for the $\overline{\partial}$-Neumann operators on $(0,n-1)$-forms on domains in $\mathbb{C}^{n}$.
Let $Ω$ be a $C^4$-smooth bounded pseudoconvex domain in $\mathbb{C}^2$. We show that if the $\overline{\partial}$-Neumann operator $N_1$ is compact on $L^2_{(0,1)}(Ω)$ then the embedding operator $\mathcal{J}:Dom(\overline{\partial})\cap Dom(\overline{\partial}^*) \to L^2_{(0,1)}(Ω)$ is $L^p$-regular for all $2\leq p<\infty$.
We show that compactness of the $\overline{\partial}$-Neumann operator is independent of the metric, and we give a new proof of this independence for subellipticity. We define an abstract obstruction to compactness, namely the common zero set of all the compactness multipliers, and we identify this subset of the boundary for convex domains in $\mathbb{C}^{n}$ and for complete Hartogs domains in $\mathbb{C}^{2}$.
By using a variant Property $(P_q)$ of Catlin, we discuss the relation of small set of weakly pseudoconvex points on the boundary of pseudoconvex domain and compactness of the $\overline{\partial}$-Neumann operator. In particular, we show that if the Hausdorff $(2n-2)$-dimensional measure of the weakly pseudoconvex points on the boundary of a smooth bounded pseudoconvex domain is zero, then the $\overline{\partial}$-Neumann operator $N_{n-1}$ is compact on $(0,n-1)$-level $L^2$-integrable forms.
We derive a necessary condition for compactness of the weighted $\overline\partial$-Neumann operator on the space $L^2(\mathbb C^n,e^{-φ})$, under the assumption that the corresponding weighted Bergman space of entire functions has infinite dimension. Moreover, we compute the essential spectrum of the complex Laplacian for decoupled weights, $φ(z) = φ_1(z_1) + \dotsb + φ_n(z_n)$, and investigate (non-) compactness of the $\overline\partial$-Neumann operator in this case. More can be said if every $Δφ_j$ defines a nontrivial doubling measure.
Sobolev regularity of the Bergman and Szegö projections in terms of $\overline{\partial}\oplus\overline{\partial}^{*}$ and $\overline{\partial}_{b}\oplus\overline{\partial}_{b}^{*}$
We discuss compactness of the d-bar-Neumann operator in the setting of weighted L^2-spaces on b C^n. In addition we describe an approach to obtain the compactness estimates for the d-bar-Neumann operator. For this purpose we have to define appropriate weighted Sobolev spaces and prove an appropriate Rellich - Kondrachov lemma.
We study a complex valued version of the Sobolev inequalities and its relationship to compactness of the d-bar-Neumann operator. For this purpose we use an abstract characterization of compactness derived from a general description of precompact subsets in L^2-spaces. Finally we remark that the d-bar-Neumann operator can be continuously extended provided a subelliptic estimate holds.
In this paper we deal with the following question: is it true that any bounded smooth pseudoconvex domain in $\mathbb{C}^n$ whose boundary contains a $q$-dimensional complex manifold $M$ necessarily has a noncompact $\overline\partial$-Neumann operator $N_q$ ($1\leq q\leq n-1$)? We prove that a smooth bounded pseudoconvex domain $Ω\subseteq\mathbb{C}^3$ with a one-dimensional complex manifold $M$ in its boundary has a noncompact Neumann operator on $(0,1)$-forms, under the additional assumption that $bΩ$ has finite regular D'Angelo $2$-type at a point of $M$, improving previous results of Fu, …
We study Sobolev estimates for solutions of the inhomogenous Cauchy-Riemann equations on annuli in $\cx^n$, by constructing exact sequences relating the Dolbeault cohomology of the annulus with respect to Sobolev spaces of forms with those of the envelope and the hole. We also obtain solutions with prescibed support and estimates in Sobolev spaces using our method.
For a Hermitian holomorphic vector bundle over a Hermitian manifold, we consider the Dolbeault Laplacian with $\overline\partial$-Neumann boundary conditions, which is a self-adjoint operator on the space of square-integrable differential forms with values in the given holomorphic bundle. We argue that some known results on the spectral properties of this operator on pseudoconvex domains in $\mathbb C^n$ continue to hold on Kähler manifolds satisfying certain bounded geometry assumptions. In particular, we will consider the Dolbeault complex for forms with values in a line bundle, where known …
This is a survey article written for the proceedings of the special year in several complex variables, 1995-1996, at the Mathematical Sciences Research Institute in Berkeley.
On a smooth, bounded pseudoconvex domain $Ω$ in $\mathbb{C}^n$, to verify that Catlin's Property ($P$) holds for $bΩ$, it suffices to check that it holds on the set of D'Angelo infinite type boundary points. In this note, we consider the support of the Levi core, $S_{\mathfrak{C}(\mathcal{N})}$, a subset of the infinite type points, and show that Property ($P$) holds for $bΩ$ if and only if it holds for $S_{\mathfrak{C}(\mathcal{N})}$. Consequently, if Property ($P$) holds on $S_{\mathfrak{C}(\mathcal{N})}$, then the $\overline{\partial}$-Neumann operator $N_1$ is compact on $Ω$.
This article chronicles a development that started around 1990 with \cite{BoasStraube91}, where the authors showed that if a smooth bounded pseudoconvex domain $Ω$ in $\mathbb{C}^{n}$ admits a defining function that is plurisubharmonic at points of the boundary, then the $\overline{\partial}$--Neumann operators on $Ω$ preserve the Sobolev spaces $W^{s}_{(0,q)}(Ω)$, $s\geq 0$. The same authors then proved a further regularity result and made explicit the role of D'Angelo forms for regularity (\cite{BoasStraube93}). A few years later, Kohn (\cite{Kohn99}) initiated a quantitative study of the re…
By establishing a unified estimate of the twisted Kohn-Morrey-Hörmander estimate and the $q$-pseudoconvex Ahn-Zampieri estimate, we discuss variants of Property $(P_q)$ of Catlin and Property $(\widetilde{P_q})$ of McNeal on the boundary of a smooth pseudoconvex domain in $\mathbb{C}^n$ for certain high level forms. These variant conditions on the one side, imply $L^2$-compactness of the $\overline{\partial}$-Neumann operator on the associated domain, on the other side, are different from the classical Property $(P_q)$ and Property $(\widetilde{P_q})$. As an application of our result, we show …
The aim of this paper is to establish some properties of solutions to the Dirichlet-Neumann problem: $(\partial_z\partial_{\overline{z}})^2 w=g$ in the unit disc $\ID$, $w=γ_0$ and $\partial_ν\partial_z\partial_{\overline{z}}w=γ$ on $\mathbb{T}$ (the unit circle), $\frac{1}{2πi}\int_{\mathbb{T}}w_{ζ\overlineζ}(ζ)\frac{dζ}ζ=c$, where $\partial_ν$ denotes differentiation in the outward normal direction. More precisely, we obtain Schwarz-Pick type inequalities and Landau type theorem for solutions to the Dirichlet-Neumann problem.
We construct a solution operator for $\overline{\partial}$ equation that gains $\frac{1}{2}$ derivative in the fractional Sobolev space $H^{s,p}$ on bounded strictly pseudoconvex domains in $\mathbb{C}^n$ with $C^2$ boundary, for all $1 < p < \infty$ and $ s > \frac{1}{p}$.
In this paper we discuss compactness estimates for the $\bar \partial $-Neumann problem in the setting of weighted $L^2$-spaces on $\mathbb{C}^n.$ For this purpose we use a version of the Rellich - Lemma for weighted Sobolev spaces.
Let $Ω$ be a $C^2$-smooth bounded pseudoconvex domain in $\mathbb{C}^n$ for $n\geq 2$ and let $φ$ be a holomorphic function on $Ω$ that is $C^2$-smooth on the closure of $Ω$. We prove that if $H_{\overlineφ}$ is in Schatten $p$-class for $p\leq 2n$ then $φ$ is a constant function. As a corollary, we show that the $\overline{\partial}$-Neumann operator on $Ω$ is not Hilbert-Schmidt.
In this paper it is shown that the Hartogs triangle $\mathbf T$ in $\mathbf C^2$ is a uniform domain. This implies that the Hartogs triangle is a Sobolev extension domain. Furthermore, the weak and strong maximal extensions of the Cauchy-Riemann operator agree on the Hartogs triangle. These results have numerous applications. Among other things, they are used to study the Dolbeault cohomology groups with Sobolev coefficients on the complement of $\mathbf T$.
The $\bar{\partial}$-Neumann problem is the fundamental boundary value problem in several complex variables. It features an elliptic operator coupled with non-coercive boundary conditions. The problem is globally regular on many, but not all, pseudoconvex domains. We discuss several recent developments in the $L^{2}$-Sobolev theory of the $\bar{\partial}$-Neumann problem that concern compactness and global regularity.
We investigate tensor products of Hilbert complexes, in particular the (essential) spectrum of their Laplacians. It is shown that the essential spectrum of the Laplacian associated to the tensor product complex is computable in terms of the spectra of the factors. Applications are given for the $\overline\partial$-Neumann problem on the product of two or more Hermitian manifolds, especially regarding (non-) compactness of the associated $\overline\partial$-Neumann operator.
Let $Ω\subset\mathbb{C}^m$ be a bounded pseudoconvex domain with smooth boundary. For each $k\in\mathbb{N}$, we give a sufficient condition to estimate the $\bar\partial$-Neumann operator in the Sobolev space $W^k(Ω)$. The key feature of our results is a precise formula for $k$ in terms of the geometry of the boundary of $Ω$.
Let $\mathbb X$ and $\mathbb Y$ be $\ell$-connected Jordan domains, $\ell \in \mathbb N$, with rectifiable boundaries in the complex plane. We prove that any boundary homeomorphism $φ\colon \partial \mathbb X \to \partial \mathbb Y$ admits a Sobolev homeomorphic extension $h \colon \overline{\mathbb X} \to \overline{\mathbb Y}$ in $W^{1,1} (\mathbb X, \mathbb C)$. If instead $\mathbb X$ has $s$-hyperbolic growth with $s>p-1$, we show the existence of such an extension lies in the Sobolev class $W^{1,p} (\mathbb X, \mathbb C)$ for $p\in (1,2)$. Our examples show that the assumptions of rectifia…
Let $Ω=\widetildeΩ\setminus \overline{D}$ where $\widetildeΩ$ is a bounded domain with connected complement in $\mathbb C^n$ (or more generally in a Stein manifold) and $D$ is relatively compact open subset of $\widetildeΩ$ with connected complement in $\widetildeΩ$. We obtain characterizations of pseudoconvexity of $\widetildeΩ$ and $D$ through the vanishing or Hausdorff property of the Dolbeault cohomology groups on various function spaces. In particular, we show that if the boundaries of $\widetildeΩ$ and $D$ are Lipschitz and $C^2$-smooth respectively, then both $\widetildeΩ$ and $D$ are p…
We obtain weighted estimates for the $\bar{\partial}$-Neumann operator on intersections of two smooth strictly pseudoconvex domains in $\mathbb{C}^2$. The regularity estimates are described with the use of Sobolev norms with weights which are powers of the defining functions of the two domains.
We show that on bounded Lipschitz pseudoconvex domains that admit good weight functions the $\overline{\partial}$-Neumann operators $N_q, \overline{\partial}^* N_{q}$, and $\overline{\partial} N_{q}$ are bounded on $L^p$ spaces for some values of $p$ greater than 2.
The $k$-Cauchy-Fueter operators and complexes are quaternionic counterparts of the Cauchy-Riemann operator and the Dolbeault complex in the theory of several complex variables. To develop the function theory of several quaternionic variables, we need to solve the non-homogeneous $k$-Cauchy-Fueter equation over a domain under the compatibility condition, which naturally leads to a Neumann problem. The method of solving the $\overline{\partial}$-Neumann problem in the theory of several complex variables is applied to this Neumann problem. We introduce notions of $k$-plurisubharmonic functions an…
It is an observation due to J.J. Kohn that for a smooth bounded pseudoconvex domain D in $C^n$ there exists s>0 such that the dbar-Neumann operator on D maps $W^s_{(0,1)}(D)$ (the space of $(0,1)$-forms with coefficient functions in $L^2$-Sobolev space of order s) into itself continuously. We show that this conclusion does not hold without the smoothness assumption by constructing a bounded pseudoconvex domain D in $C^2$, smooth except at one point, whose dbar-Neumann operator is not bounded on $W^s_{(0,1)}(D)$ for any s>0.
We study spectral behavior of the complex Laplacian on forms with values in the $k^{\text{th}}$ tensor power of a holomorphic line bundle over a smoothly bounded domain with degenerated boundary in a complex manifold. In particular, we prove that in the two dimensional case, a pseudoconvex domain is of finite type if and only if for any positive constant $C$, the number of eigenvalues of the $\overline\partial$-Neumann Laplacian less than or equal to $Ck$ grows polynomially as $k$ tends to infinity.
We characterize the Carleson measures for the Drury-Arveson Hardy space and other Hilbert spaces of analytic functions of several complex variables. This provides sharp estimates for Drury's generalization of Von Neumann's inequality. The characterization is in terms of a geometric condition, the "split tree condition", which reflects the nonisotropic geometry underlying the Drury-Arveson Hardy space.
In this paper, we look at quasiconformal solutions $ϕ:\mathbb{C}\to\mathbb{C}$ of Beltrami equations $$ \partial_{\overline{z}} ϕ(z)=μ(z)\,\partial_z ϕ(z). $$ where $μ\in L^\infty(\mathbb{C})$ is compactly supported on $\mathbb{D}$, $\|μ\|_\infty<1$ and belongs to the fractional Sobolev space $W^{α, \frac2α}(\mathbb{C})$. Our main result states that $$\log\partial_zϕ\in W^{α, \frac2α}(\mathbb{C})$$ whenever $α>\frac12$. Our method relies on an $n$-dimensional result, which asserts the compactness of the commutator $$[b,(-Δ)^\fracβ{2}]:L^\frac{np}{n-βp}(\mathbb{R}^n)\to L^p(\mathbb{R}^n)$$ betw…
The boundary double layer potential, or the Neumann-Poincare operator, is studied on the Sobolev space of order 1/2 along the boundary, coinciding with the space of charges giving rise to double layer potentials with finite energy in the whole space. Poincare's program of studying the spectrum of the boundary double layer potential is developed in complete generality, on closed Lipschitz hypersurfaces in Euclidean space. Furthermore, the Neumann-Poincare operator is realized as a singular integral transform bearing similarities to the Beurling-Ahlfors transform in 2D. As an application, bounds…
Let $Ω$ be a pseudoconvex domain with $C^2$-smooth boundary in $\mathbb CP^n$. We prove that the $\bar\partial-Neumann operator $N$ exists for $(p,q)$-forms on $Ω$. Furthermore, there exists a $t_0>0$ such that the operators $N$, $\bar\partial^*N$, $\bar\partial N$ and the Bergman projection are regular in the Sobolev space $W^t (\barΩ) $ for $t<t_0$. The boundary estimates above have applications in complex geometry. We use the estimates to prove the nonexistence of $C^{2, α}$ real Levi-flat hypersurfaces in $\mathbb CP^n$. We also show that there exist no non-zero $L^2$-holomorphic $(p, 0)$-…