Weighted spaces of holomorphic \(2\pi\)-periodic functions on the upper halfplane (Q548502)

The framework of the paper is weighted spaces of analytic functions over an open set \(O\subset {\mathbb C}\): given a weight \(v:O\to{\mathbb R}^+\), the following norm is considered \[ \|f\|_v =\displaystyle\sup_{z\in O}|f(z)|v(z). \] The spaces \(Hv=\{f\in{\mathcal H}(O)|\;\|f\|_v<\infty \}\) and \(Hv_0=\{f\in Hv|\; |f(z)|v(z)\) vanishes at \(\infty \}\) are naturally associated (here vanishing at \(\infty\) has the obvious meaning). The authors concentrate their attention on the case \(O=G=\{\mathrm{Im}(z)>0\}\) and standard weights which essentially depend on \(\mathrm{Im}(z)\) and satisfy \(v(t)\rightarrow0\) when \(t\rightarrow0\). The condition \(Hv_0\not=\{0\}\) is known to be equivalent to the condition \(v(z)\leq\displaystyle a\text{e}^{b \mathrm {Im}(z)}\) (see [M. A. Stanev, ``Weighted Banach spaces of holomorphic functions in the upper half plane'', \url{arXiv:math/9911082}]). The authors are actually interested in the periodic framework \(Hv^{2\pi}=\{f\in Hv|\;\forall z\in G,\, f(z+2\pi)=f(z)\}\) and \(Hv_0^{2\pi}=Hv^{2\pi}\cap Hv_0\). The main classification result is Theorem 3.1: \(Hv^{2\pi}\) is either isomorphic to \(\ell^\infty\) and \(Hv_0^{2\pi}\) is isomorphic to \(c_0\); or \(Hv^{2\pi}\) is isomorphic to \(H^\infty\) and \(Hv_0^{2\pi}\) is isomorphic to \(\bigoplus_{c_0} H_n\), where \(H_n\) is the space of polynomials with degree less than \(n\). The proof crucially relies on a previous result of the second named author, see [``On the isomorphism classes of weighted spaces of harmonic and holomorphic functions'', Stud. Math. 175, No. 1, 19--45 (2006; Zbl 1114.46020)]. In particular \(Hv_0^{2\pi}\) has a Schauder basis! In the second part of the paper (Section 4), the authors investigate the differentiation and the composition operators \(C_\varphi\) associated to a \(2\pi\) periodic symbol. Theorem 4.1 and Theorem 4.2 provide a characterization of boundedness and compactness (which turns out to be equivalent to weak compactness for \(C_\varphi\)).