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 show that on smooth complete Reinhardt domains, weighted Bergman projection operators corresponding to exponentially decaying weights are unbounded on $L^p$ spaces for all $p\not=2$. On the other hand, we also show that the exponentially weighted projection operators are bounded on Sobolev spaces on the unit ball.
We study the Bergman kernel of certain domains in $\mathbb{C}^n$, called elementary Reinhardt domains, generalizing the classical Hartogs triangle. For some elementary Reinhardt domains, we explicitly compute the kernel, which is a rational function of the coordinates. For some other such domains, we show that the kernel is not a rational function. For a general elementary Reinhardt domain, we obtain a representation of the kernel as an infinite series.
In this paper we obtain the closed forms of some hypergeometric functions. As an application, we obtain the explicit forms of the Bergman kernel functions for Reinhardt domains $\{|z_3|^λ < |z_1|^{2p} + |z_2|^2, \quad |z_1|^{2p} + |z_2|^2 < |z_1|^{p} \}$ and $\{|z_4|^λ < (|z_1|^2 + |z_2|^2)^{p} + |z_3|^2, \quad (|z_1|^2 + |z_2|^2)^{p} + |z_3|^2 < (|z_1|^2 + |z_2|^2 )^{p/2} \}$.
Let $Ω\subset \mathbb{C}^2$ be a bounded pseudoconvex complete Reinhardt domain with a smooth boundary. We study the behavior of analytic structure in the boundary of $Ω$ and obtain a compactness result for Hankel operators on the Bergman space of $Ω$.
We give a description of biholomorphisms of quasi-Reinhardt domains fixing the origin via Bergman representative coordinates, which are shown to be polynomial mappings with a degree bound given by the so-called "resonance order".
In this paper we characterize compact Hankel operators with conjugate holomorphic symbols on the Bergman space of bounded convex Reinhardt domains in $\mathbb{C}^2$. We also characterize compactness of Hankel operators with conjugate holomorphic symbols on smooth bounded pseudoconvex complete Reinhardt domains in $\mathbb{C}^2$.
Let $Ω$ be an arbitrary bounded semi-Reinhardt domain in $\mathbb{C}^{m+n}$. We show that for $m \geq 2$, if a Hankel operator with an anti-holomorphic symbol is Hilbert-Schmidt on the Bergman space $L_a^2(Ω)$, then it must equal zero. This fact has previously been proved for Reinhardt domains.
We obtain sharp ranges of $L^p$-boundedness for domains in a wide class of Reinhardt domains representable as sub-level sets of monomials, by expressing them as quotients of simpler domains. We prove a general transformation law relating $L^p$-boundedness on a domain and its quotient by a finite group. The range of $p$ for which the Bergman projection is $L^p$-bounded on our class of Reinhardt domains is found to shrink as the complexity of the domain increases.
We prove a general version of \cite[Theorem 4.1]{Boas84} to obtain Sobolev estimates for weighted Bergman projections on convex Reinhardt domains by using the Prékopa-Leindler inequality.
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.
Expected duality and approximation properties are shown to fail on Bergman spaces of domains in $\mathbb{C}^n$, via examples. When the domain admits an operator satisfying certain mapping properties, positive duality and approximation results are proved. Such operators are constructed on generalized Hartogs triangles. On a general bounded Reinhardt domain, norm convergence of Laurent series of Bergman functions is shown. This extends a classical result on Hardy spaces of the unit disc.
We compute the leading and sub-leading terms in the asymptotic expansion of the Szegö kernel on the diagonal of a class of pseudoconvex Reinhardt domains whose boundaries are endowed with a general class of smooth measures. We do so by relating it to a Bergman kernel over projective space.
Let D be a piecewise smooth bounded convex Reinhardt domain in C^2. Assume that the symbols f and g are continuous on the closure of D and harmonic on the disks in the boundary of D. We show that if the product of Hankel operators H^*_f H_g is compact on the Bergman space of D, then on any disk in the boundary of D, either f or g is holomorphic.
We investigate $L^p$ regularity of weighted Bergman projections on the unit disc and $L^p$ regularity of ordinary Bergman projections in higher dimensions.
We investigate Lp regularity of weighted Bergman projections and zeros of weighted Bergman kernels for the weights that are radially symmetric and comparable to 1 on the unit disc.
In this paper we discuss the explicit solution of certain extremal problems in Bergman spaces. In order to do this, we develop methods to calculate the Bergman projections of various functions. As a special case, we deal with canonical divisors for certain values of $p$.
We apply the Bekollé-Bonami estimate for the (positive) Bergman projection on the weighted $L^p$ spaces on the unit disk. As the consequences, we obtain the boundedness of the Bergman projection on the weighted Sobolev space on the symmetrized bidisk. We also improve the boundedness result of the Bergman projection on the unweighted $L^p$ space on the symmetrized bidisk in \cite{CKY}.
Although the Bergman projection operator $\mathbf{B}_Ω$ is defined on $L^2(Ω)$, its behavior on other $L^p(Ω)$ spaces for $p\not =2$ is an active research area. We survey some of the recent results on $L^p$ estimates on the Bergman projection.
We estimate the norm of the harmonic Bergman projection in the context of harmonic Besov spaces. We obtain the two-side norm estimates in general Lp-case.
We study weighted Bergman projections on the Hartogs triangle in $\mathbb{C}^2$. We show that projections corresponding to exponentially vanishing weights have degenerate $L^p$ mapping properties.
It is known that the Bergman projection operator maps the space of essentially bounded functions in the unit ball in the d-dimensional complex vector space onto the Bloch space of the unit ball. This paper deals with the various semi-norms of the Bergman projection. We improve some recent results.
We bound integral means of the Bergman projection of a function in terms of integral means of the original function. As an application of these results, we bound certain weighted Bergman space norms of derivatives of Bergman projections in terms of weighted $L^p$ norms of certain derivatives of the original function in the $θ$ direction. These results easily imply the well known result that the Bergman projection is bounded from the Sobolev space $W^{k,p}$ into itself for $1 < p < \infty$. We also apply our results to derive certain regularity results involving extremal problems in Bergman spa…
We study smoothing properties of the Bergman projection and also of weighted Bergman projections. In particular, we relate these properties to the hyperconvexity index of a pseudoconvex domain in $\mathbb{C}^{n}$. The notion of a hyperconvexity index was first introduced by B.Y. Chen, which provides a flexible criterion for studying geometric properties of hyperconvex domains. We also obtain a new estimate of weighted Bergman projections, which improves a well-known estimate of Berndtsson and Charpentier. We give several applications of this estimate, including the study of smoothing propertie…
In this paper we investigate a two classes of domains in $\mathbb{C}^n$ generalizing the Hartogs triangle. We prove optimal estimates for the mapping properties of the Bergman projection on these domains.
We reveal a complex analogue to a result about polynomial solutions to the Dirichlet Problem on ellipsoids in $\mathbb{R}^n$ by showing that the Bergman projection on any ellipsoid in $\mathbb{C}^n$ is such that the projection of any polynomial function of degree at most $N$ is a holomorphic polynomial function of degree at most $N$. The discussion is motivated by a connection between the Bergman projection and the Khavinson-Shapiro conjecture in $\mathbb{C}$. We also relate the Khavinson-Shapiro conjecture to polyharmonic Bergman projections in $\mathbb{R}^n$ by showing that these projections…
We show that weighted Bergman projections, corresponding to weights of the form $M(z)(1-|z|^2)^α$ where $α>-1$ and $M(z)$ is a radially symmetric, strictly positive and at least $C^2$ function on the unit disc, are $L^p$ regular.
The main result of this paper is related to finding two-sided bounds of norm for the adjoint operator $P^{\ast}$ of the Bergman projection $P,$ where $P$ denotes the Bergman projection wich maps $L^{1}(D,dλ(z))$ onto the Besov space $B_{1}.$ Here $dλ(z)$ is the Möbius invariant measure ${(1-|z|^2)^{-2}}{dA(z)}$. It is shown that $2\leq\| P^{\ast}\|\leq 4.$
We prove a weighted Sobolev estimate of the Bergman projection on the Hartogs triangle, where the weight is some power of the distance to the singularity at the boundary. This method also applies to the $n$-dimensional generalization of the Hartogs triangle.
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 give criteria for boundedness of the associated Bergman-type projections on Lp-spaces on Cn with respect to generalized Gaussian weights exp(-|z|^2m). Complete characterization is obtained for 0<m<=1 and 2n/(2n-1)<m<2; partial results are given for other values of m.
We construct higher-dimensional versions of the Diederich-Fornaess worm domains and show that the Bergman projection operators for these domains are not bounded on high-order $L^p$-Sobolev spaces for $1\leq p<\infty.$
We obtain new two-sided norm estimates for the family of Bergman-type projections arising from the standard weights $(1-|z|^2)^α$ where $α>-1$. As $α\to -1$, the lower bound is sharp in the sense that it asymptotically agrees with the norm of the Riesz projection. The upper bound is estimated in terms of the maximal Bergman projection, whose exact operator norm we calculate. The results provide evidence towards a conjecture that was posed very recently by the first author.
In this paper we attempt to develop a general $p-$Bergman theory on bounded domains in $\mathbb C^n$. To indicate the basic difference between $L^p$ and $L^2$ cases, we show that the $p-$Bergman kernel $K_p(z)$ is not real-analytic on some bounded complete Reinhardt domains when $p\ge 4$ is an even number. By the calculus of variations we get a fundamental reproducing formula. This together with certain techniques from nonlinear analysis of the $p-$Laplacian yield a number of results, e.g., the off-diagonal $p-$Bergman kernel $K_p(z,\cdot)$ is Hölder continuous of order $\frac12$ for $p>1$ and…
We obtain several estimates for the $L^p$ operator norms of the Bergman and Cauchy-Szegö projections over the the Siegel upper half-space. As a by-product, we also determine the precise value of the $L^p$ operator norm of a family of integral operators over the Siegel upper half-space.
It is proved that on any smoothly bounded domain $D$ in $\mathbb{R}^n$, $n>1$, the output of the harmonic Bergman projection belongs to the Sobolev space of order $k$ whenever all tangential derivatives of order up to k of the input function belong to $L^2(D)$.
A class of pseudoconvex domains in $\mathbb{C}^{n}$ generalizing the Hartogs triangle is considered. The $L^p$ boundedness of the Bergman projection associated to these domains is established, for a restricted range of $p$ depending on the "fatness" of domains. This range of $p$ is shown to be sharp.
If a bounded domain can be covered by the polydisk through a rational proper holomorphic map, then the Bergman projection is $L^p$-bounded for $p$ in a certain range depending on the ramified rational covering. This result can be applied to the symmetrized polydisk and to the Hartogs triangle with exponent $γ$.
For the Bergman projection operator $P$ we prove that $ \|P\|_{L^1(B,dλ)\rightarrow B_1}= \frac {(2n+1)!}{n!}.$ Here $λ$ stands for the invariant metric in the unit ball $B$ of $\mathbf{C}^n$, and $B_1$ denotes the Besov space with an adequate semi--norm. We also consider a generalization of this result. This generalizes some recent results due to Perälä.
We prove optimal estimates for the mapping properties of the Bergman projection on the Hartogs triangle in weighted $L^p$ spaces when $p>\frac{4}{3}$, where the weight is a power of the distance to the singular boundary point. For $1<p\leq\frac{4}{3}$ we show that no such weighted estimates are possible.
This paper deals with the the norm of the weighted Bergman projection operator $P_α:L^\infty\to \mathcal{B}$ where $α>-1$ and $\mathcal{B}$ is the Bloch space of the unit ball of the complex space $\mathbf{C}^n$. We consider two Bloch norms, the standard Bloch norm and invariant norm w.r.t. automorphisms of the unit ball. Our work contains as a special case the main result of the recent paper \cite{Perala}.
On a reasonable class of domains in $\CC^n$, we characterize those holomorphic functions which continue analytically past the boundary. Then we give some applications of this result to holomorphic mappings. In addition, some new results about the Lu Qi-Keng conjecture are treated.
Let D be a smoothly bounded domain in a complex vector space of dimension n. Suppose that D has a smooth defining function, such that the sum of any q eigenvalues of its complex Hessian are non-negative on the closure of D. We show that this implies global regularity of the Bergman projection on (0,j)-forms for j larger or equal to q-1.
In this paper we investigate a class of domains $Ω^{n+1}_k =\{(z,w)\in \mathbb{C}^n\times \mathbb{C}: |z|^k < |w| < 1\}$ for $k \in \mathbb{Z}^+$ which generalizes the Hartogs triangle. we first obtain the new explicit formulas for the Bergman kernel function on these domains and further give a range of $p$ values for which the $L^p$ boundedness of the Bergman projection holds. This range of $p$ is shown to be sharp.
Let B be the Bergman projection associated to a domain on which the dbar-Neumann operator is compact. We show that arbitrary L^2 derivatives of Bf are controlled by derivatives of f taken in a single, distinguished direction. As a consequence, functions that are not smooth up to the boundary but are mapped by B to functions which are smooth up to the boundary are explicitly described.
In this paper we study the Bergman kernel and projection on the unbounded worm domain $$ \mathcal{W}_\infty = \big\{(z_1,z_2)\in\mathbb{C}^2 : \big|z_1-e^{i\log|z_2|^2}\big|^2<1, z_2\neq0\big\}. $$ We first show that the Bergman space of $\mathcal{W}_\infty$ is infinite dimensional. Then we study Bergman kernel $K$ and Bergman projection $\mathcal{P}$ for $\mathcal{W}_\infty$. We prove that $K(z,w)$ extends holomorphically in $z$ (and antiholomorphically in $w$) near each point of the boundary except for a specific subset that we study in detail. By means of an appropriate asymptotic expansion…