Contractive Hardy--Littlewood inequalities in the Dirichlet range

Abstract

The class $A_α^p$ consists of those analytic functions $f$ in the unit disc such that \[\|f\|_{α,p}^p := |f(0)|^p+\int_0^1 \left(\frac{d}{dr} M_p^p(r,f)\right) (1-r^2)^{α-1} \,dr < \infty,\] where $M_p^p(r,f)$ is the radial integral mean of $|f|^p$ and $0<α, p <\infty$. For $α>1$, $A_α^p$ is the standard weighted Bergman space, and $A_1^p=H^p$. We consider $A_α^p$ for $0<α<1$ and show that (weighted) isometric conformal invariance extends to this range, and we also clarify the relation between $A_α^p$ and the classical Besov spaces. Our main result is the contractive inequality $\|f\|_{β,q} \leq \|f\|_{α,p}$, valid when $0<α<β<\infty$ and $α/p=β/q$. We also identify the functions for which equality is attained. We thus extend recent results of the second-named author ($1\leq α<β$) and Llinares ($β=1$ and $p=2$). The extension of results from the classical range $1\leq α< \infty$ to the Dirichlet range $0<α<1$ uses arguments relying on analytic continuation.