Harmonic Dirichlet functions and the components of harmonic boundaries of Riemann surfaces (Q2640729)

Let R be a hyperbolic Riemann surface. A bounded harmonic function u on R is called a generalized harmonic measure on R if the greatest harmonic minorant of u and 1-u is equal to 0. Let \(\Gamma\) be the Hilbert space of real differentials on R with finite Dirichlet norm, let \(\Gamma_{c0}\) and \(\Gamma_{hm}\) be the orthogonal complements of \(\Gamma^*_ e\) and \(\Gamma^*_{hse}\) in \(\Gamma\) and \(\Gamma_ n\) respectively, and let \(\Gamma_{h0}=\Gamma_{c0}\cap \Gamma_ h\) [for the notations, see \textit{L. Ahlfors} and \textit{L. Sario}, Riemann surfaces (1960; Zbl 0196.338)]. Let (HM)\(^\wedge\), HM and HO be the collections of bounded functions u such that u belong to the completion in \(\Gamma\) of the collection of differentials of generalized harmonic measures on R, \(du\in \Gamma_{hm}\) and \(du\in \Gamma_{h0}\) respectively. The main results in the present paper are as follows: \(HM \subsetneqq (HM)^\wedge \subset HO\), and an example of the strict inclusion is given.