On the Fourier Series of Unbounded Harmonic Functions (Q4520396)

Let \(D_\rho= \{z\in\mathbb{C}:|z|<\rho\}\) and let \(\mu\) be a bounded positive Borel measure on \([0,\rho]\) with \(\mu(\{p\})= 0\). Then the following spaces are studied: \(b_{p,q}= \{f: D_\rho\to \mathbb{C}\) harmonic \(\mid\) \((\int^\rho_0 M^q_p(f, r) d\mu(r))^{1/q}< \infty\}\) and \(b_{p,0}= \{f: D_\rho\to \mathbb{C}\) harmonic \(\mid\) \(\lim_{r\to\rho}(M_p(f, r) \mu([r,\rho]))= 0\}\). Examples include the Bergman spaces on \(D_1\) and the Bargmann-Fock spaces on \(\mathbb{C}= D_\infty\). At first, the question is discussed whether the Fourier series of all \(f\in b_{p,q}\) converges to \(f\) in norm, i.e. whether \(\Omega:= \{r^{|k|}e^{i\varphi}\}_{k\in\mathbb{Z}}\) is a basis of \(b_{p,q}\). It is easily seen that \(\Omega\) is a basis of \(b_{p,q}\) if \(1< p< \infty\). On the other hand, if \(\rho<\infty\), then \(\Omega\) is never a basis of \(b_{1,q}\) and \(b_{\infty, q}\) for any choice of \(\mu\) on \([0,\rho]\). Furthermore, \(\Omega\) is not a basis of \(b_{1,1}\) and \(b_{\infty,0}\) if \(\mu\) is the measure of the Bargmann-Fock spaces over \(\mathbb{C}\). This answers a question of Garling and Wojtaszczyk. In contrast to the situation on bounded discs, there exists \(\mu\) on \([0,\infty]\) where the normalized elements in \(\Omega\) are equivalent to the unit vector basis of \(\ell_q\) (or \(c_0\) if \(q=0\)) for any \(b_{p,q}\) including the cases \(p=1\) and \(p=\infty\). In the final section of the paper a weight on \(D_1\) is constructed where \(b_{\infty,\infty}\) is not isomorphic to \(\ell_\infty\). This shows that there are weighted spaces whose Banach space classifications differ completely from those which have been characterized so far.