Growth properties of superharmonic functions along rays (Q4955786)

The purpose of the paper under review is to show that a result of \textit{D. H. Armitage} [Colloq. Math. 67, 245-252 (1994; Zbl 0827.31001)], about the growth along rays of superharmonic functions on \(\mathbb{R}^2\), does have a natural (but non-obvious) generalization to higher dimensions. The author defines a fine topology, and a notion of polarity, on the unit sphere \(S\) in \(\mathbb{R}^n\) using a stereographic projection from \(\mathbb{R}^{n-1}\cup \{\infty\}\). He then proves Theorem 1: Let \(E\subseteq S\) and \(n\geq 2\). The following are equivalent. (a) There is a superharmonic function \(u\) on \(\mathbb{R}^n\) such that \(\liminf_{r\to\infty} u(ry)>- \infty\) for all \(y\in E\), and such that, for each positive number \(\mu\) and finely open subset \(U\) of \(S\) for which \(U\cap E\) is non-polar in \(S\), the set of \(y\in U\) such that \(r^{-\mu} u(ry)\to \infty\) as \(r\to \infty\) is non-polar in \(S\). (b) There is a superharmonic function \(u\) on \(\mathbb{R}^n\) such that, for each positive number \(\mu\), \(r^{-\mu} u(ry)\to \infty\) as \(r\to \infty\) for all \(y\in E\). (c) For each positive increasing function \(M\) on \([0,\infty[\), there is a superharmonic function \(u\) on \(\mathbb{R}^n\) such that \(u(ry)/ M(r)\to \infty\) as \(r\to \infty\) for all \(y\in E\). (d) \(E\) is of first category with respect to the fine topology on \(S\).