Words of analytic paraproducts on Bergman spaces

Abstract: For a fixed analytic function g on the unit disc, we consider the analytic paraproducts induced by g, which are formally defined by $T_gf(z)=\int_0^zf(\zeta)g'(\zeta)d\zeta$, $S_gf(z)=\int_0^zf'(\zeta)g(\zeta)d\zeta$, and $M_gf(z)=g(z)f(z)$. An $N$-letter $g$-word is an operator of the form $L=L_1\cdots L_N$, where each $L_j$ is either $M_g$, $S_g$ or $T_g$. It has been recently proved, in a paper by A. Aleman and the authors of this paper, that understanding the boundedness of a $g$-word on classical Hardy and Bergman spaces is a challenging problem due to the potential cancellations involved. Our main result provides a complete quantitative characterization of the boundedness of an arbitrary $g$-word on a weighted Bergman space $A^p_{\omega^{p/2}}$, where $\omega=e^{-2\varphi}$ is a smooth rapidly decreasing weight. In particular, it states that any $N$-letter $g$-word such that $#{j:L_j=T_g}=n\ge 1$ is bounded on $A^p_{\omega^{p/2}}$ if and only if $g$ satisfies the "fractional" Bloch-type condition [ |g|{\mathcal{B}^s\varphi}^s= \sup_{z\in\mathbb{D}}\frac{s|g(z)|^{s-1}|g'(z)|}{1+\varphi'(|z|)} <\infty, ] where $s=\frac{N}{n}$, and $|L|{A^p{\omega^{p/2}}}\simeq |g|{\mathcal{B}^s\varphi}^N$. The class of smooth rapidly decreasing weights contains the radial weights \begin{equation*} \omega_n(z)=e^{-2\exp_{n}(g_{\alpha,c}(|z|))}, \quad\mbox{where}\quad g_{\alpha,c}(r)=\tfrac{c}{(1-r^2)^{\alpha}}, \quad\mbox{for $c,\alpha>0$,} \end{equation*} $\exp_0(x)=x$ and $\exp_n(x)=e^{\exp_{n-1}(x)}$, for $n\in\mathbb{N}$. Therefore it contains weights which decrease arbitrarily rapidly to zero as $|z|\to 1^-$.