It is well known that elliptic estimates fail for the $\bar\partial$-Neumann problem. Instead, the best that one can hope for is that derivatives in every direction but one can be estimated by the associated Dirichlet form, and when this happens, we say that the $\bar\partial$-Neumann problem satisfies maximal estimates. In the pseudoconvex case, a necessary and sufficient geometric condition for maximal estimates has been derived by Derridj (for $(0,1)$-forms) and Ben Moussa (for $(0,q)$-forms when $q\geq 1$). In this paper, we explore necessary conditions and sufficient conditions for maximal estimates in the non-pseudoconvex case. We also discuss when the necessary conditions and sufficient conditions agree and provide examples. Our results subsume the earlier known results from the pseudoconvex case.
For a domain $D$ of $\mathbb{C}^n$ which is weakly $q$-pseudoconvex or $q$-pseudoconcave we give a sufficient condition for subelliptic estimates for the $\bar{\partial}$-Neumann problem. The paper extends to domains which are not necessarily pseudoconvex, the results and the techniques of Catlin. MSC: 32D10, 32U05, 32V25
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 introduce a new integral representation formula in the d-bar Neumann Theory on weakly pseudoconvex domains which satisfies certain estimates analogous to the basic L^2 estimate. It is expected that more complete estimates can be obtained in case the boundary is of finite type.
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, …
Our main goal is to describe the integral kernel of the dbar-Neumann operator on certain non-smooth domains, the so-called Henkin-Leiterer domains. We do so by explicitly constructing an integral kernel which accounts for the main mapping properties of the operator. We use our calculations to derive $L^p$ estimates.
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…
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.
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.
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 …
In this note, we discuss the preservation of certain analytic properties of the $\overline{\partial}$-Neumann operator, Bergman projection and Hankel operators on the intersection of pseudoconvex domains.
This paper is concerned with proving superlogarithmic estimates for the operator $\Box_b$ on pseudoconvex CR manifolds and using them to establish hypoellipticity of $\Box_b$ and of the $\bar{\partial}$-Neumann problem. These estimates are established under the assumption that subellipticity degenerates in certain specified ways.
We study spectral stability of the $\bar\partial$-Neumann Laplacian on a bounded domain in $\mathbb{C}^n$ when the underlying domain is perturbed. In particular, we establish upper semi-continuity properties for the variational eigenvalues of the $\bar\partial$-Neumann Laplacian on bounded pseudoconvex domains in $\mathbb{C}^n$, lower semi-continuity properties on pseudoconvex domains that satisfy property ($P$), and quantitative estimates on smooth bounded pseudoconvex domains of finite D'Angelo type in $\mathbb{C}^n$.
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…
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 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 prove local hypoellipticity of the complex Laplacian $\Box$ and of the Kohn Laplacian $\Box_b$ in a pseudoconvex boundary when, for a system of cut-off $η$, the gradient $\partial_bη$ and the Levi form $\partial_b\bar\partial_bη^2$ are subelliptic multipliers in the sense of Kohn.
We give a sufficient condition for subelliptic estimates for the d-bar-Neumann operator on smoothly bounded, pseudoconvex domains in $\mathbb{C}^n$. This condition is a quantified version of McNeal's condition ($\tilde{P}$) for compactness of the d-bar-Neumann operator, and it extends Catlin's condition for subellipticity as it is less stringent.
We prove that on smooth bounded pseudoconvex Hartogs domains in $\mathbb{C}^2$ compactness of the $\bar{\partial}$-Neumann operator is equivalent to compactness of all Hankel operators with symbols smooth on the closure of the domain.
We show that Property $(P)$ of $\partialΩ$, compactness of the $\bar{\partial}$-Neumann operators $N_1$, and compactness of Hankel operator on a smooth bounded pseudoconvex Hartogs domain $Ω={\{(z, w_1, w_2,\dots, w_n) \in \mathbb{C}^{n+1} \mid\sum_{k=1}^{n} |w_k|^2 < e^{-2φ(z)}, z\in\mathit{D}\}}$ are equivalent, where $D$ is a smooth bounded connected open set in $\mathbb{C}$.
We show, under an assumption on the weakly pseudoconvex points, the trivial Diederich--Fornæss index directly implies the global regularities of the $\bar{\partial}$-Neumann operators.
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}$.
We show that if the closure of a smooth pseudoconvex domain admits a "sufficiently nice" Stein neighborhood basis, then the d-bar Neumann problem on the domain is globally regular.
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 study the $\bar\partial$-Neumann Laplacian from spectral theoretic perspectives. In particular, we show how pseudoconvexity of a bounded domain is characterized by positivity of the $\bar\partial$-Neumann Laplacian.
Boas and Straube proved a general sufficient condition for global regularity of the d-bar Neumann problem in terms of families of vector fields that commute approximately with d-bar. In this paper, we study the existence of these vector fields on a compact subset of the boundary whose interior is foliated by complex manifolds. This question turns out to be closely related to properties of interest from the point of view of foliation theory.
We show that a complex manifold M in the boundary of a smooth bounded pseudoconvex domain in C^n is an obstruction to compactness of the d-bar-Neumann operator on the domain, provided that at some point of M, the Levi form has the maximal possible rank n-1-dim(M) (i.e. the domain is strictly pseudoconvex in the directions transverse to M). In particular, an analytic disc is an obstruction, provided that at some point of the disc, the Levi form has only one zero eigenvalue. We also show that a boundary point where the Levi form has only one zero eigenvalue can be picked up by the plurisubharmon…
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 …
A smooth bounded pseudoconvex domain in two complex variables is of finite type if and only if the number of eigenvalues of the d-bar-Neumann Laplacian that are less than or equal to $λ$ has at most polynomial growth as $λ$ goes to infinity.
For smooth bounded pseudoconvex domains in $mathbb{C}^{2}$, we provide geometric conditions on (the points of infinite type in) the boundary which imply compactness of the $\bar{\partial}$-Neumann operator. It is noteworthy that the proof of compactness does \emph{not} proceed via verifying the known potential theoretic sufficient conditions.
Let $M$ be a strongly pseudoconvex complex $G$-manifold with compact quotient $M/G$. We provide a simple condition on forms $α$ sufficient for the regular solvability of the equation $\square u=α$ and other problems related to the $\bar\partial$-Neumann problem on $M$.
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.
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 $Ω$.
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 $Ω$.
We discuss compactness of the d-bar-Neumann operator in the setting of weighted L^2-spaces on C^n.$ For this purpose we use a description of relatively compact subsets of L^2- spaces. We also point out how to use this method to show that property (P) implies compactness for the d-bar-Neumann operator on a smoothly bounded pseudoconvex domain and mention an abstract functional analysis characterization of compactness of the d-bar-Neumann operator.
We prove non-subelliptic estimates for the tangential Cauchy-Riemann system over a weakly "$q$-pseudoconvex" higher codimensional submanifold $M$ of $\C^n$. Let us point out that our hypotheses do not suffice to guarantee subelliptic estimates, in general. Even more: hypoellipticity of the tangential C-R system is not in question (as shows the example by Kohn in case of a Levi-flat hypersurface). However our estimates suffice for existence of smooth solutions to the inhomogeneous C-R equations in certain degree. The main ingredients in our proofs are the weighted $L^2$ estimates by Hörmander a…
We prove heat kernel estimates for the $\bar\partial$-Neumann Laplacian acting in spaces of differential forms over noncompact, strongly pseudoconvex complex manifolds with a Lie group symmetry and compact quotient. We also relate our results to those for an associated Laplace-Beltrami operator on functions.
Let $Ω$ be an unbounded, pseudoconvex domain in $\Bbb C^n$ and let $φ$ be a $\mathcal C^2$-weight function plurisubharmonic on $Ω$. We show both necessary and sufficient conditions for existence and compactness of a weighted $\bar\partial$-Neumann operator $N_φ$ on the space $L^2_{(0,1)}(Ω,e^{-φ})$ in terms of the eigenvalues of the complex Hessian $(\partial ^2φ/\partial z_j\partial\bar z_k)_{j,k}$ of the weight. We also give some applications to the unweighted $\bar\partial$-Neumann problem on unbounded domains.
We provide geometric conditions on the set of boundary points of infinite type of a smooth bounded pseudoconvex domain in $\mathbb{C}^{n}$ which imply that the $\bar{\partial}$-Neumann operator is compact. These conditions are formulated in terms of certain short time flows in suitable complex tangential directions. It is noteworthy that compactness is \emph{not} established via the known potential theoretic sufficient conditions. Our results generalize to $\mathbb{C}^{n}$ the corresponding $\mathbb C^{2}$ results due to the second author.
Let A be a domain of the boundary of a strictly pseudoconvex domain Ωof C^n and M a smooth, closed, maximally complex submanifold of A. We find a subdomain \widetilde A of Ω, depending only on Ωand A, and a complex subvariety W of \widetilde A such that bW\cap A = M. Moreover, a generalization to analytic sets of depth at least 4 is given.
In this paper we introduce, via a Phragmen-Lindelöf type theorem, a maximal plurisubharmonic function in a strongly pseudoconvex domain. We call such a function the {\sl pluricomplex Poisson kernel} because it shares many properties with the classical Poisson kernel of the unit disc. In particular, we show that such a function is continuous, it is zero on the boundary except at one boundary point where it has a non-tangential simple pole, and reproduces pluriharmonic functions. We also use such a function to obtain a new "intrinsic" version of the classical Julia's Lemma and Julia-Wolff-Carath…
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.
We establish compactness estimates for $\bar{\partial}_{M}$ on a compact pseudoconvex CR-submanifold $M$ of $\mathbb{C}^{n}$ of hypersurface type that satisfies the (analogue of the) geometric sufficient conditions for compactness of the $\bar{\partial}$-Neumann operator given by the authors earlier. These conditions are formulated in terms of certain short time flows in complex tangential directions.
Let $\D=\D_1\setminus \Dc_2$, where $\D_1$ and $\D_2$ are two smooth bounded pseudoconvex domains in $\C^n, n\geq 3,$ such that $\Dc_2\subset \D_1.$ Assume that the $\dbar$-Neumann operator of $\D_1$ is compact and the interior of the Levi-flat points in the boundary of $\D_2$ is not empty (in the relative topology). Then we show that the Hankel operator on $\D$ with symbol $ϕ, H^{\D}_ϕ,$ is compact for every $ϕ\in C(\Dc)$ but the $\dbar$-Neumann operator on $\D$ is not compact.
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…
Given an unbounded strongly pseudoconvex domain D and a continuous real valued function h defined on bD, we study the existence of a (maximal) plurisubharmonic function u on D such that u=h on bD.
This thesis deals with Partial Differential Equations in Several Complex Variables and especially focuses on a general estimate for the $\bar\partial$-Neumann problem on a domain which is $q$-pseudoconvex or $q$-pseudoconcave at a boundary point $z_0$. Generalizing Property ($P$) by \cite{C84}, we define Property $(f\T-\M\T-P)^k$ at $z_0$. This property yields the estimate {(f\T-\M)^k} \qquad \no{f(Λ)\mathcal M u}^2\le c(\no{\bar\partial u}^2+\no{\bar\partial^*u}^2+\no{u}^2)+C_\M\no{u}^2_{-1} for any $u\in C^\infty_c(U\cap \barΩ)^k\cap \T{Dom}(\dib^*)$ where $U$ is a neighborhood of $z_0$. We …
Let $M$ be a strongly pseudoconvex complex manifold which is also the total space of a principal $G$-bundle with $G$ a Lie group and compact orbit space $\bar M/G$. Here we investigate the $\bar\partial$-Neumann Laplacian on $M$. We show that it is essentially self-adjoint on its restriction to compactly supported smooth forms. Moreover we relate its spectrum to the existence of generalized eigenforms: an energy belongs to $σ(\square)$ if there is a subexponentially bounded generalized eigenform for this energy. Vice versa, there is an expansion in terms of these well-behaved eigenforms so tha…
Let V be a bounded pseudoconvex Reinhardt domain in C^2 with many strictly pseudoconvex points and logarithmic image W. It was known that the maximal ideal in $H^{\infty}(V)$ consisting of all functions vanishing at (p,q) in V is generated by the coordinate functions z-p, w-q (meaning that one can solve the Gleason problem for $H^{\infty}(V)$) if W is bounded. We show that one can solve Gleason's problem for $H^{\infty}(V)$ as well if there are positive numbers $a$, $b$ and a positive rational number k/l such that V looks like {(z,w) in C^2 : a |w|^l <= |z|^k = b |w|^l} for small (z,w).
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)$-…
By considering intrinsic geometric conditions, we introduce a new class of domains in complex Euclidean space. This class is invariant under biholomorphism and includes strongly pseudoconvex domains, finite type domains in dimension two, convex domains, $\mathbb{C}$-convex domains, and homogeneous domains. For this class of domains, we show that compactness of the $\bar{\partial}$-Neumann operator on $(0,q)$-forms is equivalent to the boundary not containing any $q$-dimensional analytic varieties (assuming only that the boundary is a topological submanifold). We also prove, for this class of d…
