One-radius results for supermedian functions on R^d , d 2

From MaRDI portal
Publication:5962317



Abstract: A classical result states that every lower bounded superharmonic function on BbbR2 is constant. In this paper the following (stronger) one-circle version is proven. If fcolonBbbR2o(−infty,infty] is lower semicontinuous, liminf|x|oinftyf(x)/ln|x|ge0, and, for every xinBbbR2, 1/(2pi)int02pif(x+r(x)eit)dtlef(x), where rcolonBbbR2o(0,infty) is continuous, supxinBbbR2(r(x)−|x|)<infty, and infxinBbbR2(r(x)−|x|)=−infty, then f is constant. Moreover, it is shown that, with respect to the assumption rlec|cdot|+M on BbbRd, there is a striking difference between the restricted volume mean property for the cases d=1 and d=2.


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.











This page was built for publication: One-radius results for supermedian functions on \({\mathbb R^d} , d \leq \) 2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5962317)