Subharmonic functions: non-tangential and tangential boundary behavior (Q2707683)

Let \(u\) be a nonnegative subharmonic function, or more generally a nonnegative locally integrable function on a domain \(\Omega \subset \mathbb R ^n\), \(n\geq 2\), satisfying NEWLINE\[NEWLINE u(x) \leq \frac {C}{m(B(x,r))}\int u(y) dm(y). NEWLINE\]NEWLINE (This includes subsolutions of more general elliptic equations.) Consider functions \(\varphi \) and \(\psi :\mathbb R _+\to \mathbb R _+\) satisfying some technical hypotheses, positive power functions are included. Let \(\alpha >0\), \(\gamma \in \mathbb R \) and \(0\leq d\leq n\). A point \(\zeta \in \partial \Omega \) is called accessible, if NEWLINE\[NEWLINE \Gamma _{\varphi ,\rho }(\zeta ,\alpha) =\{x\in \Omega :\varphi (|x-\zeta |)<\alpha \delta (x),\;\delta (x)<\rho \} NEWLINE\]NEWLINE is nonempty for all \(\rho >0\); \(\delta (x)\) is the distance function from the boundary of \(\Omega \). Suppose that \(H^d(\partial \Omega)<\infty \) and NEWLINE\[NEWLINE \int _\Omega \delta (x)^\gamma \psi (u(x)) dm(x)<\infty . NEWLINE\]NEWLINE Then NEWLINE\[NEWLINE \lim _{\rho \to 0} \sup _{x\in \Gamma _{\varphi ,\rho }(\zeta ,\alpha)} \delta (x)^{n+\gamma }[\varphi ^{-1}(\delta (x))]^{-d}\psi (u(x))=0 NEWLINE\]NEWLINE for \(H^d\)-almost every accessible point \(\zeta \in \partial \Omega \).NEWLINENEWLINEFor the entire collection see [Zbl 0933.00035].