ScalingStacks

Proof. [0416]

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.

For ff with sufficient decay at infinity, we can find u=Pg(2)​fu=P_{g^{(2)}}f with estimate ‖∇2u‖Cδ,τk,α​(ℂ3, Sym2)≤C​‖f‖Cδ,τk,α​(ℂ3).\left\lVert\nabla^{2}u\right\rVert_{C^{k,\alpha}_{\delta,\tau}(\mathbb{C}^{3},\text{ Sym}^{2})}\leq C\left\lVert f\right\rVert_{C^{k,\alpha}_{\delta,\tau}(\mathbb{C}^{3})}. Using δ+τ<−1\delta+\tau<-1 and δ<−1\delta<-1, we can integrate from spatial infinity to obtain the required gradient bound.

For a general ff without fast decay assumption, take a weakly convergent sequence of fast decaying functions fk→ff_{k}\to f bounded in Cδ,τk,α​(ℂ3)C^{k,\alpha}_{\delta,\tau}(\mathbb{C}^{3}), and find uk=Pg(2)​fku_{k}=P_{g^{(2)}}f_{k} with gradient bounds. After adjusting uku_{k} by additive constants to make uk​(0)=0u_{k}(0)=0, we can extract the subsequential limit uu of uku_{k}, which solves Δg(2)​u=f\Delta_{g^{(2)}}u=f with the gradient bound. ∎

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