Skip to main content
2 of 3
added 220 characters in body
Lao
  • 217
  • 1
  • 6

Prove Liouville theorem without using mean value property

How can I prove the following Liouville theorem without using the mean value property?

If $u$ is harmonic on $\mathbb{R}^n$ and $\int_{\mathbb{R}^n}|D u|^2 dx \leq C$ for some $C > 0$, then $u$ is constant.

The proof that I know indeed uses the mean value property for harmonic functions.


From the comments: is it rigorous to do it like this: $-\Delta u = 0 \implies \int_{\mathbb R^n} |\nabla u|^2 = 0$ (integrating by parts, hence $u$ is constant? It seems to easy, probably I'm missing something.

Lao
  • 217
  • 1
  • 6