Square means versus Dirichlet integrals for harmonic functions on Riemann surfaces (Q447965)

Denote by \(H(R)\) the space of harmonic functions on a Riemann surface \(R\). A function \(u\in H(R)\) is said to be square mean bounded if \(u^2\) admits a harmonic majorant on \(R\). Denote by \(HM_2(R)\) the linear subspace of \(H(R)\) consisting of square mean bounded harmonic functions on \(R\). Also denote by \(HD(R)\) the linear subspace of \(H(R)\) consisting of the harmonic functions on \(R\) with finite Dirichlet integral. Then the Parreau inclusion relation \(HM_2(R)\supset HD(R)\) holds for any open Riemann surface \(R\).NEWLINENEWLINEIn the paper under review the authors show the existence of a hyperbolic Riemann surface \(W\) such that the converse of the Parreau inclusion relation holds, i.e. \(HM_2(W)=HD(W)\), and that the linear dimension of \(HM_2(W)\) (\(=HD(R)\)) is infinite. This is a remarkable result because it is known by the first named author that if the class \(HM_p(R)\) of \(p\) mean bounded harmonic functions on \(R\) (\(1<p\leqq +\infty\), \(p\neq 2\)) is equal to \(HD(R)\), then the linear dimension of \(HM_p(R)\) is finite. For the proof the authors discuss the Wiener compactification of a Riemann surface and properties of square mean bounded harmonic functions, and then construct an afforested surface \(W\) with the required properties.