ScalingStacks

Proof. [041K]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

Since gℂ3g_{\mathbb{C}^{3}} is a Ricci-flat metric, the Bochner formula implies

Δ(12|∇u|2)=|∇2u|2+⟨Δ∇u,∇u⟩=|∇2u|2+⟨∇Δu,∇u⟩=|∇2u|2,\Delta(\frac{1}{2}|\nabla u|^{2})=|\nabla^{2}u|^{2}+\langle\Delta\nabla u,\nabla u\rangle=|\nabla^{2}u|^{2}+\langle\nabla\Delta u,\nabla u\rangle=|\nabla^{2}u|^{2},

so |d​u|2|du|^{2} is a non-negative subharmonic function. The decay condition implies it converges to zero at infinity, so maximum principle gives d​u=0du=0. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.