Abstract
Let ϕ be a real-valued plurisubharmonic function on \({\mathbb {C}}^{n}\) whose complex Hessian has uniformly comparable eigenvalues, and let \(\mathcal{F}^{p}(\phi)\) be the Fock space induced by ϕ. In this paper, we conclude that the Bergman projection is bounded from the pth Lebesgue space \(L^{p}(\phi )\) to \(\mathcal{F}^{p}(\phi)\) for \(1\leq p \leq\infty\). As a remark, we claim that Bergman projections are also well defined and bounded on Fock spaces \(\mathcal{F}^{p}(\phi)\) with \(0< p<1\). We also obtain the estimates for the distance induced by ϕ and the \(L^{p}(\phi)\)-norm of Bergman kernel for \(\mathcal{F}^{2}(\phi)\).
Similar content being viewed by others
1 Introduction
The symbol dv denotes the Lebesgue volume measure on \({\mathbb {C}}^{n}\), and
Suppose \(\phi: {\mathbb {C}}^{n}\rightarrow{\mathbb {R}}\) is a \(C^{2}\) plurisubharmonic function. We say that ϕ belongs to the weight class W if ϕ satisfies the following statements:
(I) There exists \(c> 0\) such that for \(z\in{\mathbb {C}}^{n}\)
(II) Δϕ satisfies the reverse-Hölder inequality
for some \(0< C < +\infty\);
(III) The eigenvalues of \(H_{\phi}\) are comparable, i.e., there exists \(\delta_{0} > 0\) such that
where
Suppose \(0< p<\infty\), \(\phi\in\mathbf{W}\). The space \(L^{p}(\phi)\) consists of all Lebesgue measurable functions f on \({\mathbb {C}}^{n}\) for which
\(L^{\infty}(\phi)\) is the set of all Lebesgue measurable functions f on \({\mathbb {C}}^{n}\) with
Let \(H({\mathbb {C}}^{n})\) be the family of all holomorphic functions on \({\mathbb {C}}^{n}\). The weighted Fock space is defined as
with the same norm \(\Vert \cdot \Vert _{p, \phi}\). It is easy to check that \(\mathcal{F}^{p}(\phi)\) is a Banach space under \(\Vert \cdot \Vert _{p, \phi}\) if \(1\leq p<\infty \), and \(\mathcal{F}^{p}(\phi)\) is a Fréchet space with the metric \(\varrho(f,g)= \Vert f-g \Vert _{p, \phi}^{p}\) whenever \(0< p<1\). Taking \(\phi(z)=\frac{1}{2} \vert z \vert ^{2}\), \(\mathcal {F}^{p}(\phi)\) is the classical Fock space which has been studied by many authors, see [1–3] and the references therein. Notice that the weight function φ on \({\mathbb {C}}^{n}\) with the restriction that \(d d^{c} \varphi\simeq d d^{c} \vert z \vert ^{2}\) in [4] and [5] belongs to W.
In the one-dimensional case, an important contribution to weighted Fock spaces was given by Christ [6] (but see also [7, 8]). They work under the assumption that ϕ is subharmonic and that \(\Delta\phi\, dA\) is a doubling measure, where dA is the area measure on \({\mathbb {C}}\). Notice that the hypotheses on \(\Delta\phi\, dA\) are a sort of finite-type assumption and are automatically verified when ϕ is a subharmonic non-harmonic polynomial.
The result of Christ was extended by Delin to several complex variables under the assumption of strict plurisubharmonicity of the weight in [9]. Dall’Ara [10] tried to extend Christ’s approach to \(n\geq2\). Given \(\phi\in\mathbf{W}\), let \(K(\cdot, \cdot)\) be the weighted Bergman kernel for \(\mathcal{F}^{2}(\phi)\). In particular, Theorem 20 of [10] proves that there is a constant \(C,\epsilon>0\) such that
for \(z,w\in{\mathbb {C}}^{n}\), where \(d(\cdot , \cdot)\), \(\rho_{\phi }(\cdot)\) described in Section 2.
In the setting of Bergman spaces, the Bergman projection is bounded on p-Bergman spaces for \(1< p<\infty\), it also maps \(L^{\infty}\) into Bloch spaces, see [11] for details. With the Bergman kernel \(K(\cdot, \cdot)\) for \(\mathcal{F}^{2}(\phi)\), the Bergman projection P can be represented as
It is well known that \(P(f)=f\) for \(f\in\mathcal{F}^{2}(\phi)\). The purpose of this work is to discuss the boundedness of Bergman projection acting on \(\mathcal{F}^{p}(\phi)\) for general p. Section 2 is devoted to some basic estimates, including the distance \(d(\cdot , \cdot)\) and the \(L^{p}(\phi)\)-norm of the Bergman kernel. In Section 3, we will discuss the boundedness of Bergman projections from \(L^{p}(\phi)\) to \(\mathcal{F}^{p}(\phi)\) with \(1 \leq p \leq\infty\). We also show that the Bergman projection is well defined and bounded on \(\mathcal{F}^{p}(\phi)\) for \(p<1\).
In what follows, we always suppose \(\phi\in\mathbf{W}\) and use C to denote positive constants whose values may change from line to line but do not depend on the functions being considered. Two quantities A and B are called equivalent, denoted by ‘\(A\simeq B\)’, if there exists some C such that \(C^{-1 }A\le B \le C A\).
2 Some basic estimates
In this section, we are going to give some estimates, which will be useful in the following section. At the beginning, we will give some notations.
For \(z\in{\mathbb {C}}^{n}\), set
By (1), there exist \(c, s > 0\) such that for \(z\in{\mathbb {C}}^{n}\)
We then have some \(M>0\) such that
Moreover, there are some positive constants C, \(M_{1}\) and \(M_{2}\) such that for all \(z,w\in{\mathbb {C}}^{n}\), we have
where \(\theta=\max (1,\frac{ \vert z-w \vert }{\rho _{\phi}(w)} )\). We can see this in Proposition 10 of [10].
Given \(r>0\), write
Then (5) implies that there is some C such that for \(z\in {\mathbb {C}}^{n}\)
By (6) and the triangle inequality, we have \(m_{1}, m_{2}>0\) such that
Given a sequence \(\{a_{k}\}_{k=1}^{\infty}\) in \({\mathbb {C}}^{n}\), we say that \(\{a_{k}\}_{k=1}^{\infty}\) is a lattice if \(\{B(a_{k}) \}_{k=1}^{\infty}\) covers \({{\mathbb {C}}^{n}}\) and the balls of \(\{B^{\frac{1}{5}}(a_{k}) \}_{k=1}^{\infty}\) are pairwise disjoint. This lattice exists by a standard covering lemma, see Theorem 2.1 in [12], or Proposition 7 in [10] as well. Moreover, for the lattice \(\{a_{k}\}_{k}\) and any \(m> 0 \), there exists some integer N such that each \(z\in{{\mathbb {C}}^{n}}\) can be in at most N balls of \(\{B^{m}(a_{k}) \}_{k}\). Equivalently,
To the radius function \(\rho_{\phi}\) defined as (4), we associate the Riemannian metric \(\rho_{\phi}(z)^{-2}\,dz\otimes d\overline{z}\). In fact, we are interested only in the associated Riemannian distance, which we describe explicitly. If \(\gamma: [0, 1]\rightarrow{\mathbb {C}}^{n}\) is piecewise \(C^{1}\) curves, we define
Given \(z, w \in{\mathbb {C}}^{n}\), we put
where the inf is taken as γ varies over the collection of curves with \(\gamma(0)=z\) and \(\gamma(1)=w\). We then have the estimate for this distance as follows.
Lemma 1
There exist \(\alpha,\beta, C>0\) such that for \(z,w\in{\mathbb {C}}^{n}\)
Proof
First, we claim that there is some \(C>0\) such that
In fact, set μ to be
By (2), it is easy to check that there is some \(M>2\) such that
Moreover,
because of (4). Given any \(r\leq R\), it is easy to check that
for \(z\in{\mathbb {C}}^{n}\) because of (10). Also, there is a positive integer m such that \(2^{m-1}r< R\leq2^{m}r\). Hence, (11) and (12) tell us
Since \(M^{m-1}=2^{(m-1)\log_{2}M}\leq (\frac{R}{r} )^{\log_{2}M}\), we get
For \(z,w\in{\mathbb {C}}^{n}\), notice that \(B(w, \vert w-z \vert )\subset B(z,2 \vert w-z \vert )\). If \(\vert w-z \vert < \rho_{\phi}(z)\), take any piecewise \(C^{1}\) curve \(\gamma:[0, 1]\rightarrow{\mathbb {C}}^{n}\) connecting z and w, and let \(T_{0}\) be the minimum time such that \(\vert z -\gamma(T_{0}) \vert =\rho_{\phi}(z)\). By (6), \(\rho_{\phi}(\gamma(t))\simeq\rho_{\phi}(z)\) for \(t\in[0,T_{0})\). This implies
If \(\vert z-w \vert \geq\rho_{\phi}(w)\), then (11), (10), (13) and (12) give
On the other hand, for \(\zeta\in\overline{B (z, \frac {1}{4} \vert z-w \vert )}\), there are
and
Combining the above with (11), we know
By the fact \(\log_{2}M>0\), (13), (14) and (12), there exists \(t>0\) such that
Hence, \((\frac{ \vert z-w \vert }{\rho_{\phi }(w)} )^{2}\leq C (\frac{ \vert z-w \vert }{\rho _{\phi}(\zeta)} )^{t}\). This implies
where \(\alpha=\frac{2}{t}>0\). For any piecewise \(C^{1}\) curves Γ, defined as \(\gamma: [0,1]\rightarrow{\mathbb {C}}^{n}\) with \(\gamma(0)=z\) and \(\gamma(1)=w\), we have
This yields (9) is true. Now, we are going to prove the other direction. For \(z, w\in{\mathbb {C}}^{n}\), take \(\gamma (t)=z+t(w-z)\) and \(\gamma(t_{0})\in\partial B(z)\) (set \(t_{0}=1\) if \(w\in B(z)\)). Then (5) gives
where \(\beta>0\). The proof is completed. □
Now, we can estimate the following integral.
Lemma 2
Given \(p>0\) and \(k\in\mathbb {R}\), we have
where \(C>0\) is a constant depending only on n, p and k.
Proof
By (6), it is easy to check that
Estimate (9) gives
By (5), the inequality above is no more than
Therefore,
The proof is completed. □
Next, we will give the \(L^{p}(\phi)\)-norm of the Bergman kernel \(K(\cdot , \cdot)\) for \(\mathcal{F}^{2}(\phi)\).
Proposition 3
For \(0< p<\infty\), we have
Proof
The proof is completed. □
Lemma 4
For \(0< p<\infty\), there is a constant \(C>0\) such that for all \(r\in (0,1]\), \(f\in H({\mathbb {C}}^{n})\) and \(z\in{\mathbb {C}}^{n}\), we have
Proof
If \(p=2\), (15) is just Lemma 13 in [10]. For \(p\neq2\), we borrow the idea in Lemma 19 of [7] and Lemma 13 in [10]. The details are omitted. □
3 Boundedness of Bergman projections
Recall that the Bergman projection P on \(L^{p}(\phi)\) is defined as
In this section, we focus on the boundedness of Bergman projections P from \(L^{p}(\phi)\) to \(\mathcal{F}^{p}(\phi)\) for \(1\leq p\leq \infty\).
Theorem 5
Let \(1\leq p\leq\infty\). Then the Bergman projection P is bounded as a map from \(L^{p}(\phi)\) to \(\mathcal{F}^{p}(\phi)\).
Proof
By the definition of P, we can conclude Pf is holomorphic on \({\mathbb {C}}^{n}\). Fubini’s theorem and Proposition 3 yield
for \(f\in L^{1}(\phi)\). Given \(f\in L^{\infty}(\phi)\), we obtain
If \(1< p<\infty\), Hölder’s inequality and Fubini’s theorem give
for \(f\in L^{p}(\phi)\). Thus, P is bounded from \(L^{p}(\phi)\) to \(\mathcal{F}^{p}(\phi)\) for \(1\leq p\leq\infty\). The proof is ended. □
In addition, we observe that the Bergman projection is also well defined and bounded on the weighted Fock space \(\mathcal{F}^{p}(\phi )\) with \(p<1\).
Remark 6
For \(p<1\), the Bergman projection P is bounded on \(\mathcal {F}^{p}(\phi)\).
Proof
First, we claim that P is well defined on \(\mathcal {F}^{p}(\phi)\). In fact, given any \(f\in\mathcal{F}^{p}(\phi)\), by (3), (15) and Lemma 2, we obtain
Now, we deal with the boundedness of P. In fact, let \(\{a_{k}\}_{k}\) be the lattice. For \(f\in\mathcal {F}^{p}(\phi)\), we get
Notice that the associated function \(\rho_{2\phi}=\frac{\sqrt {2}}{2}\rho_{\phi}\), which follows from (4). Applying Lemma 4 with weight 2ϕ instead of ϕ, there then is some constant \(C>0\) such that \(\vert P f(z) \vert ^{p}\) is no more than C times
Combining (7) with (8), we obtain
Therefore, applying Fubini’s theorem and Proposition 3, we get
This means that P is bounded on \(\mathcal{F}^{p}(\phi)\). The proof is ended. □
4 Conclusion
In this paper, we show the boundedness of Bergman projection from the pth Lebesgue space \(L^{p}(\phi)\) to the weighted Fock space \(\mathcal {F}^{p}(\phi)\) for \(1\leq p\leq\infty\). We also remak that the Bergman projection is bounded on \(\mathcal{F}^{p}(\phi)\) with \(p<1\). Meanwhile, we get the estimates for the distance induced by ϕ and the \(L^{p}(\phi)\)-norm of Bergman kernel for \(\mathcal{F}^{2}(\phi )\).
References
Hu, ZJ, Lv, XF: Toeplitz operators from one Fock space to another. Integral Equ. Oper. Theory 70, 541-559 (2011)
Isralowitz, J, Zhu, KH: Toeplitz operators on the Fock space. Integral Equ. Oper. Theory 66(4), 593-611 (2010)
Zhu, KH: Analysis on Fock Spaces. Springer, New York (2012)
Hu, ZJ, Lv, XF: Toeplitz operators on Fock spaces \(F^{p}(\varphi)\). Integral Equ. Oper. Theory 80(1), 33-59 (2014)
Schuster, AP, Varolin, D: Toeplitz operators and Carleson measures on generalized Bargmann-Fock spaces. Integral Equ. Oper. Theory 72, 363-392 (2012)
Christ, M: On the ∂̅ equation in weighted \(L^{2}\) norms in \(\mathbb {C}\). J. Geom. Anal. 1(3), 193-230 (1991)
Marco, N, Massanedv, X, Ortega-Cerdà, J: Interpolating and sampling sequences for entire functions. Geom. Funct. Anal. 13(4), 862-914 (2003)
Marzo, J, Ortega-Cerdà, J: Pointwise estimates for the Bergman kernel of the weighted Fock space. J. Geom. Anal. 19, 890-910 (2009)
Delin, H: Pointwise estimates for the weighted Bergman projection kernel in \({\mathbb {C}}^{n}\), using a weighted \(L^{2}\) estimate for the ∂̅ equation. Ann. Inst. Fourier (Grenoble) 48(4), 967-997 (1998)
Dall’Ara, GM: Pointwise estimates of weighted Bergman kernels in several complex variables. Adv. Math. 285, 1706-1740 (2015)
Hedenmalm, H, Korenblum, B, Zhu, KH: Theory of Bergman Spaces. GTM, vol. 199. Springer, New York (2000)
Mattila, P: Geometry of Sets and Measures in Euclidean Spaces, Fractals and Rectifiability. Cambridge Studies in Advanced Mathematics, vol. 44. Cambridge University Press, Cambridge (1995)
Acknowledgements
The author would like to thank the referees for their good suggestions. This work is funded by the National Natural Science Foundation of China (11601149, 11771139, 11571105) and the Natural Science Foundation of Zhejiang province (LY15A010014).
Author information
Authors and Affiliations
Contributions
The author wrote this paper by herself. She has read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that she has no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Lv, X. Bergman projections on weighted Fock spaces in several complex variables. J Inequal Appl 2017, 286 (2017). https://doi.org/10.1186/s13660-017-1560-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1560-3