One-radius results for supermedian functions on \({\mathbb R^d} , d \leq \) 2 (Q5962317)

It is well known that every lower bounded superharmonic function on \(\mathbb{R}^{2}\) is constant. This paper shows that the same conclusion can be drawn under much weaker hypotheses. Let \(f:\mathbb{R}^{2}\rightarrow (-\infty,\infty ]\) be a lower semicontinuous function satisfying \(\liminf_{\left| x\right| \rightarrow \infty }f(x)/\log \left| x\right| \geq 0\). It is only required that there is a continuous function \(r(x)\) such that \((2\pi )^{-1}\int_{[0,2\pi ]}f(x+r(x)e^{it})dt\leq f(x)\) for each \(x\in \mathbb{R}^{2}\), where \(r-\left| \cdot \right| \) is bounded above and unbounded below. It is then established that \(f\) must be constant. An analogous result for means over discs (rather than circles), under the assumption that \(r\leq c\left| \cdot \right| +M\), is shown to hold if and only if \(c\leq 1\). A one-dimensional version of the latter result is also obtained; in this case a different bound on \(c\) applies.