Improvement of a Hardy-Littlewood inequality and applications to the boundedness of analytic paraproducts on mixed norm spaces

Abstract

Let $\mathcal{H}(\mathbb{D})$ denote the space of analytic functions in the unit disc $\mathbb{D}=\{z\in \mathbb{C}:|z|<1\}$. For $0<p<\infty$ and $f\in \mathcal{H}(\mathbb{D})$, let $M_p^p(r,f)={\int }_0^{2\pi }|f(r{e}^{i\theta }){|}^p\frac{d\theta }{2\pi }$ and $M_{\infty }(r,f)={\sup }_{|z|=r}|f(z)|$. For $0<p<q\le \infty$, Hardy and Littlewood proved the prevalent inequality $$M_q(r,f)\le C(p,q)\frac{M_p(\rho ,f)}{(\rho -r{)}^{\frac{1}{p}-\frac{1}{q}}}$$ for $0\le r<\rho \le 1$ and $f\in \mathcal{H}(\mathbb{D})$. In this paper, we obtain an improvement of this well-known inequality which is employed to characterize the symbols $g\in \mathcal{H}(\mathbb{D})$ such that the analytic paraproducts $T_{g}f(z)={\int }_0^{z}f(\zeta )g^{\prime }(\zeta )d\zeta$, $S_{g}f(z)={\int }_0^z{f}^{\prime }(\zeta )g(\zeta )d\zeta$ and $M_{g}f(z)=f(z)g(z)$, are bounded between two different mixed-norm spaces $A_{\omega }^{p,q}=\{g\in \mathcal{H}(\mathbb{D}):{\int }_0^1{M}_p^q(r,g)\omega (r)dr<\infty \}$ induced by a radial doubling weight $\omega$. En route to the proof of these characterizations, we consider an open Carleson measure problem posed by Luecking and we solve it in a meaningful particular case.