Suppose $B$ is a ball in $\mathbb{R}^n$ and $n>1$. Is there a non-zero test function $\phi$ in $B$ ($C^\infty$-smooth function with compact support in $B$) that is subharmonic everywhere, i.e., the laplacian $\Delta\phi\geq0$ everywhere?

  • $\begingroup$ @Bernard: Thank you. $\endgroup$ – M. Rahmat Oct 1 '20 at 23:06

I don't believe so. Let $\phi$ be such a function, and let $K = \text{supp} \phi$ be the (compact, contained in $B$) support of $\phi$. Since $\phi$ is subharmonic, it obeys a maximum principle: $$ \max_{\bar{U}} \phi = \max_{\partial U}\phi. $$ Therefore, since $\phi = 0$ on $\partial B \subset K^c$, we have that $\phi \leq 0$ in all of $U$. But we also have a mean-value property for subharmonic functions: $$ \phi(x) \leq \frac{1}{| B(x, r)|}\int_{B(x, r)} \phi(y)\, dy $$ whenever $B(x, r) \subset B$. Letting $x \in K^c$ be closer to $K$ than to $\partial B$ and letting $r > 0$ such that $B(x, r) \subset B$ intersects a large enough region where $\phi \leq 0$ then yields a contradiction in the above formula.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.