Skip to main content
3 of 3
changed $Du$ into $\nabla u$ for notational consistency
leo monsaingeon
  • 5.4k
  • 2
  • 23
  • 45

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}|\nabla 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