On the behavior of non-negative finely superharmonic functions at the Martin boundary (Q805804)

Let u be a non-negative superharmonic function in a Green space R, and let \(u=p+f_ 1+f_ 2\) be its unique decomposition into a Green potential, a quasibounded harmonic function and a singular harmonic function. A classical theorem due to L. Naïm and J. L. Doob tells that u and \(f_ 1\) have a common fine limit at \(\omega_ z\)-almost every minimal Martin boundary point, \(\omega_ z\in R.\) The main result of the present article is to extend these results to the finely superharmonic case: Let U be finely open in R and u be non- negative finely superharmonic in U. Then u decomposes uniquely into \(u=p+f_ 1+f_ 2\), where p is a fine potential in U and \(f_ 1\), \(f_ 2\) are non-negative finely superharmonic in U such that \(f_ 1\) (resp. \(f_ 2)\) is quasibounded finely harmonic (resp. singular finely harmonic) in \(\{z\in U|\) \(u(z)<+\infty \}\). Moreover, u and \(f_ 1\) have a common fine limit at \(\omega_ z\)-almost every point of \(\Delta_ 1(U)\), \(z\in R\). Here \(\Delta_ 1(U)\) stands for those points \(\zeta \in \Delta_ 1\) such that \(U\cup \{\zeta \}\) is a fine neighborhood of \(\zeta\). The second result of this article is a Plessner type theorem for finely harmonic functions. In fact, let U be finely open in R, and h be finely harmonic in U. Then for almost every \(\zeta \in \Delta_ 1(U)\), the fine cluster set \(h^\wedge(\zeta)\) is either a single point or the whole extended real line.