Integration and differentiation in Hardy growth spaces (Q2313059)

For \(0 < p < \infty\), \({\mathcal{D}} = \mathbb{D}\) or \({\mathcal{D}} = \mathbb{C}\), and given a weight \(w:[0,R({\mathcal{D}})) \rightarrow (0,\infty)\) (i.e, increasing and unbounded, \(R(\mathbb{D})=1\) and \(R(\mathbb{C}) = \infty\)), the Hardy growth space \(H_w^p({\mathcal{D}})\) is defined as \[ H_w^p({\mathcal{D}})= \left\{ f \in \mathrm{Hol}({\mathcal{D}}) : \|f\|_{H_w^p({\mathcal{D}})} := \sup_{0 < r < R({\mathcal{D}})}\frac{M_p(f,r)}{M_{\infty}(f,r)} < \infty\right \}, \] where \(M_p(f,r)= \frac{1}{2\pi}\int_0^{2\pi}|f(re^{i\theta})|^p d\theta\), \( 0 < p < \infty\) and \(M_{\infty}(f,r)= \max_{0 \le \theta< 2\pi}|f(re^{i\theta})|\). The integration operator \({\mathcal{J}} : \mathrm{Hol}({\mathcal{D}}) \rightarrow \mathrm{Hol}({\mathcal{D}})\) is given by \({\mathcal{J}}f(z) = \int_0^zf(w)dw\), \( z \in {\mathcal{D}}\). In [\textit{A. Abanin} and \textit{P. T. Tien}, Math. Nachr. 290, No. 8--9, 1144--1162 (2017; Zbl 1420.47010)], the boundedness and compactness of the integration operator \({\mathcal{J}} : H_w^{\infty}(\mathbb{C}) \rightarrow H_u^{\infty}(\mathbb{C})\) were characterized under specific restrictions on \(w\) or for \(w=u\). The paper under review investigates the case in which the weight \(w\) is assumed to be equivalent to a power series with positive coefficients. As a main technical tool for the investigation, the associated weight \(\tilde{w}\) of a given weight \(w\) is introduced as \(\tilde{w} = \sup\{M_{\infty}(f,r) : M_{\infty}(f,r) \le w(r) , \text{ for all } 0 \le r < R({\mathcal{D}}) \}\). The author uses [\textit{E. Abakumov} and the author, Constr. Approx. 47, No. 2, 321--338 (2018; Zbl 1402.30026)] to deduce that \(\tilde{w}\) is equivalent to a power series with positive coefficients. The author subsequently applies this fact to give characterizations of the boundedness and the compactness of \({\mathcal{J}} : H_w^{\infty}(\mathbb{C}) \rightarrow H_u^{\infty}(\mathbb{C})\) in terms of an integrability condition on \(\tilde{w}\) which states that \({\mathcal{J}} : H_w^{\infty}(\mathbb{C}) \rightarrow H_u^{\infty}(\mathbb{C})\) is i) bounded if and only if \(\int_0^r\tilde{w}(t)dt \le Cu(r)\), and ii) compact if and only if \(\sup_{r \rightarrow \infty}\frac{1}{u(r)}\int_0^r\tilde{w}(t)dt = 0\). \par For \(0 < p < \infty\), and a weight \(w:[0,R({\mathcal{D}})) \rightarrow (0,\infty)\), the \(p\)-associated weight \(\tilde{w}_p\) is given by \(\tilde{w}_p = \sup\{M_p(f,r) : M_p(f,r) \le w(r) , \text{ for all } 0 \le r < R({\mathcal{D}}) \}\). A function \(u : [0,R({\mathcal{D}})) \rightarrow (0,\infty)\) is called log-convex if \(\log u(r)\) is a convex function of \(r\), \( 0 < r < R({\mathcal{D}})\). For \(0 <p< \infty\), the classical Hardy convexity theorem ensures that the associated weight \(\tilde{w}_p\) is a log-convex weight and its right derivative \(\tilde{w}_p'(t)\) exists for all \(0 <t <R({\mathcal{D}})\). A function \( w : [0,1) \rightarrow (0,\infty)\) is doubling if there exist a constant \(d > 0\) (called doubling constant) such that \(\sup\limits_{n \in \mathbb{Z}_+} \frac{w(1-2^{-n-1})}{w(1-2^{-n})} \le d < \infty\). For \( 0 \le p <\infty\), \({\mathcal{D}} = \mathbb{D}\) or \({\mathcal{D}} = \mathbb{C}\), the author gives a necessary condition for the boundedeness of the derivative operator \(D : H_w^{\infty}({\mathcal{D}}) \rightarrow H_u^{\infty}({\mathcal{D}})\) and a sufficient condition for the case \(0 < p < \infty\) and \({\mathcal{D}} = \mathbb{D}\). For specific target spaces, where \(u(r)= \frac{w(r)}{(1-r)}\), \(w\) is assumed to be log-convex, \(0 \le p < \infty\), it is shown that \(D : H_w^{\infty}(\mathbb{D}) \rightarrow H_u^{\infty}(\mathbb{D})\) is bounded if and only if \(w\) is doubling. For the case \({\mathcal{D}} = \mathbb{C}\), the author gives a necessary and sufficient condition for the boundedeness of \(D : H_w^{\infty}(\mathbb{C}) \rightarrow H_u^{\infty}(\mathbb{C})\) provided \(w\) is a log-convex weight. Furthermore, a characterization of the boundedness of \(D : H_w^{\infty}(\mathbb{C}) \rightarrow H_u^{\infty}(\mathbb{C})\) is established for arbitrary weights \(w\) and \(u\) in terms of a boundedness condition on its associated weight \(\tilde{w}_p\) and its derivative \(\tilde{w}'_p\).