Abstract:Let $\omega$ and $\nu$ be radial weights on the unit disc of the complex plane, and denote $\sigma=\omega^{p'}\nu^{-\frac{p'}p}$ and $\omega_x =\int_0^1 s^x \omega(s)\,ds$ for all $1\le x<\infty$. Consider the one-weight inequality
\begin{equation}\label{ab1}
\|P_\omega(f)\|_{L^p_\nu}\le C\|f\|_{L^p_\nu},\quad 1<p<\infty,\tag†
\end{equation} for the Bergman projection $P_\omega$ induced by $\omega$. It is shown that the moment condition
$$
D_p(\omega,\nu)=\sup_{n\in \mathbb{N}\cup\{0\}}\frac{\left(\nu_{np+1}\right)^\frac1p\left(\sigma_{np'+1}\right)^\frac1{p'}}{\omega_{2n+1}}<\infty
$$ is necessary for \eqref{ab1} to hold. Further, $D_p(\omega,\nu)<\infty$ is also sufficient for \eqref{ab1} if $\nu$ admits the doubling properties $\sup_{0\le r<1}\frac{\int_r^1 \omega(s)s\,ds}{\int_{\frac{1+r}{2}}^1 \omega(s)s\,ds}<\infty$ and $\sup_{0\le r<1}\frac{\int_r^1 \omega(s)s\,ds}{\int_r^{1-\frac{1-r}{K}} \omega(s)s\,ds}<\infty$ for some $K>1$. In addition, an analogous result for the one weight inequality $
\|P_\omega(f)\|_{D^p_{\nu,k}}\le C\|f\|_{L^p_\nu}, $
where
$$
\Vert f \Vert_{D^p_{\nu, k}}^p
=\sum\limits_{j=0}^{k-1}| f^{(j)}(0)|^p+
\int_{\mathbb{D}} \vert f^{(k)}(z)\vert^p (1-|z| )^{kp}\nu(z)\,dA(z)<\infty, \quad k\in \mathbb{N},
$$ is established. The inequality \eqref{ab1} is further studied by using the necessary condition $D_p(\omega,\nu)<\infty$ in the case of the exponential type weights $\nu(r)=\exp \left(-\frac{\alpha}{(1-r^l)^{\beta}} \right)$ and $\omega(r)= \exp \left(-\frac{\widetilde{\alpha}}{(1-r^{\widetilde{l}})^{\widetilde{\beta}}} \right)$, where $0<\alpha, \, \widetilde{\alpha}, \, l, \, \widetilde{l}<\infty$ and $0<\beta , \, \widetilde{\beta}\le 1$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the boundedness of the Bergman projection on the Lebesgue space induced by doubling weights. Specifically, when given two radial weight functions \(\omega\) and \(\nu\), the author studies the boundedness conditions of the Bergman projection \(P_\omega\) on the \(L^p_\nu\) space.
### Description of the Main Problem
1. **Boundedness Conditions**: The paper explores the boundedness conditions of the Bergman projection \(P_\omega: L^p_\nu \to L^p_\nu\). By introducing the moment condition \(D(p, \omega, \nu)\), the author proves that this condition is a necessary condition for \(P_\omega\) to be bounded on \(L^p_\nu\). Moreover, for weights \(\nu\) that satisfy certain doubling properties, \(D(p, \omega, \nu)<\infty\) is also a sufficient condition.
2. **Exponential - type Weights**: The paper also specifically studies the case when the weight functions are of exponential type, that is:
\[
\nu(r)=\exp\left(-\frac{\alpha}{(1 - rl)^\beta}\right),\quad \omega(r)=\exp\left(-\frac{r\alpha}{(1 - rrl)^{r\beta}}\right),
\]
where \(0 < \alpha, r\alpha, l, rl < \infty\) and \(0 < \beta, r\beta\leqslant1\). The author proves that in this case, the necessary and sufficient condition for \(P_\omega: L^p_\nu \to L^p_\nu\) to be bounded is \(\beta = r\beta\) and \(r\alpha=\frac{2\alpha}{p-\left(\frac{rl}{l}\right)^\beta}\).
### Summary of Mathematical Formulas
- **Moment Condition**:
\[
D(p, \omega, \nu)=\sup_{n\in\mathbb{N}\cup\{0\}}\left(\frac{(\nu(n + 1))^{\frac{1}{p}}}{(\sigma(n + 1))^{\frac{1}{p'}}\omega^{2n+1}}\right)
\]
where \(\sigma=\left(\frac{\omega}{\nu^{\frac{1}{p - 1}}}\right)^{\frac{p}{p - 1}}\).
- **Exponential - type Weight Conditions**:
\[
\beta = r\beta\quad\text{and}\quad r\alpha=\frac{2\alpha}{p-\left(\frac{rl}{l}\right)^\beta}
\]
### Conclusion
Through strict mathematical derivations and analyses, the paper obtains the necessary and sufficient conditions for the Bergman projection to be bounded on the Lebesgue space induced by doubling weights, and conducts a detailed study on a specific type of exponential - type weights. These results not only enrich the Bergman projection theory but also have important application values in fields such as operator theory.