Square function characterization of Hardy-type spaces
The well-known characterization of Hardy spaces $\mathrm{H}_{p}(\mathbb D)$, $0<p<\infty$, in terms of the Littlewood-Paley g-function $$ S f (\zeta) = \left(\int_0^1 |f'(r \zeta)|^2 (1 - r) \mathrm dr\right)^{1/2} \in \mathrm{L}_{p} $$ is generalized to Hardy-type spaces $X_A$ corresponding to quasi-Banach lattices $X$ on the unit circle $\mathbb T$ under the assumption that the Hardy-Littlewood maximal operator $M$ is bounded in $(X^\delta)'$ with some $\delta>0$. As an application to composition operators $C_\varphi$, we derive an exact criterion for the boundedness and compactness of $C_\varphi : \mathcal{B}^\omega \to X_A$, where $\mathcal{B}^\omega = \{f \mid \sup |f'|/\omega<\infty\}$ is the weighted Bloch space with a log-convex radial weight $\omega$, generalizing recent results in the one-dimensional setting.