In this paper we give an asymptotic expansion of the Bergman kernel for certain weakly pseudoconvex tube domains of finite type in C^2. Our asymptotic formula asserts that the singularity of the Bergman kernel at weakly pseudoconvex points is essentially expressed by using two variables; moreover certain real blowing-up is necessary to understand its singularity. The form of the asymptotic expansion with respect to each variable is similar to that in the strictly pseudoconvex case due to C. Fefferman. We also give an analogous result in the case of the Szego kernel.
We shall give a variational formula of the full Bergman kernels associated to a family of smoothly bounded strongly pseudoconvex domains. An equivalent criterion for the triviality of holomorphic motions of planar domains in terms of the Bergman kernel is given as an application.
We give the parameter version of localization theorem for Bergman metric near the boundary points of strictly pseudoconvex domains. The approximation theorem for square integrable holomorphic functions on such domains in the spirit of Graham-Kerzman is proved in the hereby paper, as well.
We study the compactness of composition operators on the Bergman spaces of certain bounded pseudoconvex domains in $\mathbb{C}^n$ with non-trivial analytic disks contained in the boundary. As a consequence we characterize that compactness of the composition operator with a holomorphic, continuous symbol (up to the closure) on the Bergman space of the polydisk.
We give estimates of the $L^p$ norm of the Bergman projection on a strongly pseudoconvex domain in $\mathbb{C}^n$. We show that this norm is comparable to $\frac{p^2}{p - 1}$ for $1 <p< \infty$.
We present a method of obtaining a lower bound estimate of the curvatures of the Bergman metric without using the regularity of the kernel function on the boundary. As an application, we prove the existence of an uniform lower bound of the bisectional curvatures of the Bergman metric of a smooth bounded pseudoconvex domain near the boundary with constant Levi rank.
Consider the Bergman kernel $K^B(z)$ of the domain $\ellip = \{z \in \Comp^n ; \sum_{j=1}^n |z_j|^{2m_j}<1 \}$, where $m=(m_1,\ldots,m_n) \in \Natl^n$ and $m_n \neq 1$. Let $z^0 \in \partial \ellip$ be any weakly pseudoconvex point, $k \in \Natl$ the degenerate rank of the Levi form at $z^0$. An explicit formula for $K^B(z)$ modulo analytic functions is given in terms of the polar coordinates $(t_1, \ldots, t_k, r)$ around $z^0$. This formula provides detailed information about the singularities of $K^B(z)$, which improves the result of A. Bonami and N. Lohoué \cite{bol}. A similar result is e…
The Ricci curvature of the Bergman metric on a bounded domain $D\subset \mathbb{C}^n$ is strictly bounded above by $n+1$ and consequently $\log (K_D^{n+1}g_{B,D})$, where $K_D$ is the Bergman kernel for $D$ on the diagonal and $g_{B, D}$ is the Riemannian volume element of the Bergman metric on $D$, is the potential for a Kähler metric on $D$ known as the Kobayashi--Fuks metric. In this note we study the localization of this metric near holomorphic peak points and also show that this metric shares several properties with the Bergman metric on strongly pseudoconvex domains.
A sufficient condition for the infinite dimensionality of the Bergman space of a pseudoconvex domain is given. This condition holds on any pseudoconvex domain that has at least one smooth boundary point of finite type in the sense of D'Angelo.
We study the problem of the boundary behaviour of the Bergman kernel and the Bergman completeness in some classes of bounded pseudoconvex domains, which contain also non-hyperconvex domains. Among the classes for which we prove the Bergman completeness and the convergence of the Bergman kernel to infinity while tending to the boundary are all bounded pseudoconvex balanced domains, all bounded Hartogs domains with balanced fibers over regular domains and some bounded Laurent-Hartogs domains.
In this paper, we consider bounded strictly pseudoconvex domains $D\subset \mathbb C^2$ with smooth boundary $M=M^3:=\partial D$. If we consider the asymptotic expansion of the Bergman kernel on the diagonal $$ K_B\sim \frac{ϕ_B}{ρ^{n+1}}+ψ_B\logρ, $$ where $ρ>0$ is a Fefferman defining equation for $D$, then it is well known that the trace of the log term $bψ_B:=(ψ_B)|_M$ on $M$ does not determine the CR geometry of $M$ locally; e.g., the vanishing of $bψ_B$ on an open subset of $M$ does not imply that $M$ is locally spherical there. Nevertheless, the main result in this paper is that if $D\s…
Using the logarithmic capacity, we give quantitative estimates of the Green function, as well as lower bounds of the Bergman kernel for bounded pseudoconvex domains in $\mathbb C^n$ and the Bergman distance for bounded planar domains. In particular, it is shown that the Bergman kernel satisfies $K_Ω(z)\gtrsim δ_Ω(z)^{-2}$ for any bounded pseudoconvex domain with $C^0-$boundary. An application to holomorphic motions is given.
We obtain $L^p$ regularity for the Bergman projection on some Reinhardt domains. We start with a bounded initial domain $Ω$ with some symmetry properties and generate successor domains in higher {dimensions}. We prove: If the Bergman kernel on $Ω$ satisfies appropriate estimates, then the Bergman projection on the successor is $L^p$ bounded. For example, the Bergman projection on successors of strictly pseudoconvex initial domains is bounded on $L^p$ for $1<p<\infty$. The successor domains need not have smooth boundary nor be strictly pseudoconvex.
We prove that for certain classes of pseudoconvex domains of finite type, the Bergman-Toeplitz operator $T_ψ$ with symbol $ψ=K^{-α}$ maps from $L^{p}$ to $L^{q}$ continuously with $1< p\le q<\infty$ if and only if $α\ge\frac{1}{p}-\frac{1}{q}$, where $K$ is the Bergman kernel on diagonal. This work generalises the results on strongly pseudoconvex domains by Čučković and McNeal, and Abeta, Raissy and Saracco.
It is shown that even a weak multidimensional Suita conjecture fails for any bounded non-pseudoconvex domain with $\mathcal C^1$ boundary: the product of the Bergman kernel by the volume of the indicatrix of the Azukawa metric is not bounded below. This is obtained by finding a direction along which the Sibony metric tends to infinity as the base point tends to the boundary. The analogous statement fails for a Lipschitz boundary. For a general $\mathcal C^1$ boundary, we give estimates for the Sibony metric in terms of some directional distance functions. For bounded pseudoconvex domains, the …
We obtain local estimates, also called propagation of smallness or Remez-type inequalities, for analytic functions in several variables. Using Carleman estimates, we obtain a three sphere-type inequality, where the outer two spheres can be any sets satisfying a boundary separation property, and the inner sphere can be any set of positive Lebesgue measure. We apply this local result to characterize the dominating sets for Bergman spaces on strongly pseudoconvex domains in terms of a density condition or a testing condition on the reproducing kernels. Our methods also yield a sufficient conditio…
Let $0<p<\infty$, $β>-1$, and $Ω$ be a strongly pseudoconvex bounded domain with a smooth boundary in $\mathbb{C}^n$. We will study the interpolation problem for weighted Bergman spaces $A^p_β(Ω)$. In the case, $1\leq p<\infty$, and $β> \max \{n(2p-1)-1, n(2q-1)-1\}$, where $q$ is the conjugate exponent of $p$ (let $q=1$, for $p=1$), we show that a sequence in $\mathbb{B}_n$, the unit ball in $\mathbb{C}^n$, is interpolating for $A^p_β(\mathbb{B}_n)$ if and only if it is separated.
For a bounded domain $D \subset \mathbb{C}^n$, let $K_D = K_D(z) > 0$ denote the Bergman kernel on the diagonal and consider the reproducing kernel Hilbert space of holomorphic functions on $D$ that are square integrable with respect to the weight $K_D^{-d}$, where $d \geq 0$ is an integer. The corresponding weighted kernel $K_{D, d}$ transforms appropriately under biholomorphisms and hence produces an invariant Kähler metric on $D$. Thus, there is a hierarchy of such metrics starting with the classical Bergman metric that corresponds to the case $d=0$. This note is an attempt to study this cl…
We construct a pointwise Boutet de Monvel-Sjöstrand parametrix for the Szegő kernel of a weakly pseudoconvex three dimensional CR manifold of finite type assuming the range of its tangential CR operator to be closed; thereby extending the earlier analysis of Christ. This particularly extends Fefferman's boundary asymptotics of the Bergman kernel to weakly pseudoconvex domains in $\mathbb{C}^{2}$, in agreement with D'Angelo's example. Finally our results generalize a three dimensional CR embedding theorem of Lempert.
We use Stokes's theorem to establish an explicit and concrete connection between the Bergman and Szegő projections on the disc, the ball, and on strongly pseudoconvex domains.
In this paper we discuss some recent results concerning the regularity and irregularity of the Bergman and Szegő projections on some weakly pseudoconvex domains that have the common feature to possess a nontrivial Nebenhülle.
In this paper we study the Bergman-Toeplitz operator $T_ψ$ induced by $ψ(w) = K_Ω^{-α}(w,w)d_Ω^β(w)$ with $α, β\geq 0$ acting from a weighted $L^p$-space $L_a^p(Ω)$ to another one $L_a^q(Ω)$ on a large class of pseudoconvex domains of finite type. In the case $1 < p \leq q < \infty$, the following results are established: \\ - Necessary and sufficient conditions for boundedness, which generalize the recent results obtained by Khanh, Liu and Thuc.\\ - Upper and lower estimates for essential norm, in particular, a criterion for compactness.\\ - A characterization of Schatten class membership of …
We construct an unbounded strictly pseudoconvex Kobayashi hyperbolic and complete domain in $\mathbb{C}^2$, which also possesses complete Bergman metric, but has no nonconstant bounded holomorphic functions.
Let $D$ be a pseudoconvex domain in $\C^k_t\times\Cn_z$ and let $ϕ$ be a plurisubharmonic function in $D$. For each $t$ we consider the $n$-dimensional slice of $D$, $D_t=\{z; (t,z)\in D\}$, let $ϕ^t$ be the restriction of $ϕ$ to $D_t$ and denote by $K_t(z,ζ)$ the Bergman kernel of $D_t$ with the weight function $ϕ^t$. Generalizing a recent result of Maitani and Yamaguchi (corresponding to $n=1$ and $ϕ=0$) we prove that $\log K_t(z,z)$ is a plurisubharmonic function in $D$. We also generalize an earlier results of Yamaguchi concerning the Robin function and discuss similar results in the setti…
In this paper we study mapping properties of Toeplitz-like operators on weighted Bergman spaces of bounded strongly pseudconvex domains in $\mathbb{C}^n$. In particular we prove that a Toeplitz operator built using as kernel a weighted Bergman kernel of weight $β$ and integrating against a measure $μ$ maps continuously (when $β$ is large enough) a weighted Bergman space $A^{p_1}_{α_1}(D)$ into a weighted Bergman space $A^{p_2}_{α_2}(D)$ if and only if $μ$ is a $(λ,γ)$-skew Carleson measure, where $λ=1+\frac{1}{p_1}-\frac{1}{p_2}$ and $γ=\frac{1}λ\left(β+\frac{α_1}{p_1}-\frac{α_2}{p_2}\right)$.…
The Fock-Bargmann-Hartogs domain $D_{n, m}(μ)$ is defined by $$ D_{n, m}(μ):=\{(z, w)\in\mathbb{C}^{n}\times\mathbb{C}^m:\Vert w \Vert^2<e^{-μ\Vert z \Vert^2}\},$$ where $μ>0.$ The Fock-Bargmann-Hartogs domain $D_{n, m}(μ)$ is an unbounded strongly pseudoconvex domain with smooth real-analytic boundary. In this paper, we first compute the weighted Bergman kernel of $D_{n, m}(μ)$ with respect to the weight $(-ρ)^α$, where $ρ(z,w):=\|w\|^2-e^{-μ\|z\|^2}$ is a defining function for $D_{n, m}(μ)$ and $α>-1$. Then, for $p\in [1,\infty),$ we show that the corresponding weighted Bergman projection $P…
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.
We consider the Szegö kernel for non-pseudoconvex domains in C^2 given by Ω= {(z,w): Im w > b(Re z)} for b a non-convex even-degree polynomial with positive leading coefficient. This is an extension of results previously obtained by the authors for the case in which b has degree 4. We show that the Szegö kernel has singularities off the diagonal of the boundary of \barΩ \times \barΩ for all such domains, as well as points on the diagonal of the boundary at which it is finite.
It is shown that the Carathéodory distance and the Lempert function are almost the same on any strongly pseudoconvex domain in $\C^n;$ in addition, if the boundary is $C^{2+\eps}$-smooth, then $\sqrt{n+1}$ times one of them almost coincides with the Bergman distance.
Herein, the Laplace transform representations for functions of weighted holomorphic Bergman spaces on the tube domains are developed. Then a weighted version of the edge-of-the-wedge theorem is derived as a byproduct of the main results.
For a pseudoconvex tube domain, we prove estimates that relate the sublevel sets of its diagonal Bergman kernel to the floating bodies of its convex base. This allows us to associate a new affine invariant to any convex body.
An extension of the estimates for the squeezing function of strictly pseudoconvex domains obtained recently by J. E. Fornæss and E. Wold in \cite{FW1} is applied to derive a sharp boundary behaviour of invariant metrics and Bergman curvatures.
We show that if a bounded pseudoconvex domain satisfies the solvability of the bounded $\bar{\partial}$ problem, then the ideal of bounded holomorphic functions vanishing at a point in the domain is finitely generated. We also prove a smooth analog of the main result for bounded pseudoconvex domains with a sufficiently smooth boundary and also consider the Bergman space case.
Let $Ω\subset \mathbb{C}^n$ be a smooth bounded pseudoconvex domain and $A^2 (Ω)$ denote its Bergman space. Let $P:L^2(Ω)\longrightarrow A^2(Ω)$ be the Bergman projection. For a measurable $φ:Ω\longrightarrow Ω$, the projected composition operator is defined by $(K_φf)(z) = P(f \circ φ)(z), z \inΩ, f\in A^2 (Ω).$ In 1994, Rochberg studied boundedness of $K_φ$ on the Hardy space of the unit disk and obtained different necessary or sufficient conditions for boundedness of $K_φ$. In this paper we are interested in projected composition operators on Bergman spaces on pseudoconvex domains. We study…
In this note we show that the weighted $L^{2}$-Sobolev estimates obtained by P. Charpentier, Y. Dupain & M. Mounkaila for the weighted Bergman projection of the Hilbert space $L^{2}\left(Ω,dμ_{0}\right)$ where $Ω$ is a smoothly bounded pseudoconvex domain of finite type in $\mathbb{C}^{n}$ and $μ_{0}=\left(-ρ_{0}\right)^{r}dλ$, $λ$ being the Lebesgue measure, $r\in\mathbb{Q}_{+}$ and $ρ_{0}$ a special defining function of $Ω$, are still valid for the Bergman projection of $L^{2}\left(Ω,dμ\right)$ where $μ=\left(-ρ\right)^{r}dλ$, $ρ$ being any defining function of $Ω$. In fact a stronger direct…
Recently Herbig, McNeal, and Straube have showed that the Bergman projection of conjugate holomorphic functions is smooth up to the boundary on a class of pseudoconvex domains. We show that a further smoothing property holds on a family of Reinhardt domains; namely, the Bergman projection of conjugate holomorphic functions is holomorphic past the boundary.
