On subharmonic functions dominated by certain functions (Q1084554)

Let \(U_ 1\) be an open set in \({\mathbb{R}}^ m\) (m\(\geq 1)\), suppose that f is nonnegative measurable in \({\mathbb{R}}^ m\) and consider the decreasing function F: (0,\(\infty)\to [0,\infty)\) defined by \(y=F(x)\), \(x=vol(\{X\in {\mathbb{R}}^ m:\) f(X)\(\geq y\})\), and satisfying the Domar condition \(\int^{1}_{0}x^{-(m-1)/m}\log^+(F(x))dx<\infty\). Let \(U_ 2\) be an open set in \({\mathbb{R}}^ n\) (n\(\geq 1)\), \(g: U_ 2\to {\mathbb{R}}\) and \(\mu\geq 1\) such that, for each \(Y_ 0\) in \(U_ 2\), \(g\leq \mu g(Y_ 0)\) in that part of the closed unit ball centred at \(Y_ 0\) contained in \(U_ 2\). In \(U_ 1\times U_ 2\) let u be subharmonic and such that u(X,Y)\(\leq f(X)g(Y)\) throughout. The author proves that given \(\epsilon >0\), there exists a constant K depending on f, \(\mu\) and \(\epsilon\) such that u(X,Y)\(\leq Kg(Y)\) for all (X,Y) at a distance from \({\mathbb{R}}^{m+n}\setminus \{U_ 1\times U_ 2\}\) larger than \(\epsilon\). Application: assume now that \(U_ 1\) is a bounded domain with sufficiently smooth boundary, \(\lambda\) is the first positive eigenvalue of the boundary value problem \(\Delta \phi +\lambda \phi =0\) in \(U_ 1\) with \(\phi =0\) on \(\partial U_ 1\) \((\Delta =Laplacian)\). If u is subharmonic in \(D=U_ 1\times {\mathbb{R}}^ n\) with lim sup \(u\leq 0\) on the finite boundary of D and \[ u(X,Y)\leq \psi (\| Y\|)f(X)\| Y\|^{(1-n)/2}\exp \{\lambda^{1/2}\| Y\| \} \] for all X in \(U_ 1\), all \(Y\neq 0\), where \(\psi\) : (0,\(+\infty)\to [0,+\infty)\) is a decreasing function with lim \(\psi\) \(=0\) at \(+\infty\). Then \(u\leq 0\) in D.