Lacunary series and sharp estimates in weighted spaces of holomorphic functions (Q944109)

Let \(\alpha>0\), \(0<p\leq +\infty\). Denote by \(H(p,\alpha)\) the space of all holomorphic in the unit disc \(D\) functions \(f\) with \(\| f\| _{p,\alpha}:=\sup_{0<r<1}(1-r)^\alpha M_p(f;r)<+\infty\). Here \(M_p(f;r)=\| f(r\cdot)\| _{L^p(T;dm)}\), \(T\) is the unit circle with normalized Lebesgue measure \(dm\). The class \(H(p,\log(\alpha))\) consists of all holomorphic in the unit disc \(D\) functions \(f\) with \(\| f\| _{p,\log(\alpha)}:=\sup_{0<r<1}\left(\log{e\over 1-r}\right)^{-\alpha} M_p(f;r)<+\infty\). Two theorems are proved. The first one generalizes a well-known Paley theorem on \(H^p\)-spaces for the weighed case. Theorem 2. Let \(\alpha>0\), let \(\{n_k\}\) be a lacunary (by Hadamard) sequence and analytic function \(f(z)=\sum_{k=1}^\infty a_kn_k^\alpha z^{n_k}\), \(z\in D\). The following conditions are equivalent: (i)~\(f(z)\in H(\infty,\alpha)\); (ii)~\(f(z)\in H(p,\alpha)\) for some \(0<p<\infty\); (iii)~\(f(z)\in H(p,\alpha)\) for all \(0<p<\infty\); (iv) \(\{a_k\}_{k=1}^\infty\in l^\infty\), and the corresponding norms are equivalent. The second theorem deals with the Hadamard fractional operator \(F^\alpha: \sum_{n=0}^\infty a_nz^n\mapsto \sum_{n=0}^\infty (1+n)^\alpha a_nz^n\). Theorem 3. If \(u\) is a holomorphic function in \(D\), then for \(\alpha>0\) we have \(\| F^{-\alpha}u\| _{p,\log (1/p)}\leq C \| u\| _{p,\alpha}\), \(0<p\leq 2\); \(\| F^{-\alpha}u\| _{p,\log (1/2)}\leq C \| u\| _{p,\alpha}\), \(2\leq p<\infty\); \(\| F^{-\alpha}u\| _{\infty,1/p}\leq C \| u\| _{p,\alpha}\), \(0<p<\infty\); \(\| F^{-\alpha}u\| _{\infty,\log (1)}\leq C \| u\| _{\infty,\alpha}\); \(\| F^{-\alpha}u\| _{p,\log (1/2)}\leq C \| u\| _{\infty,\alpha}\), \(0<p<\infty\).