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 with sufficient decay at infinity, we can find with estimate Using and , we can integrate from spatial infinity to obtain the required gradient bound.
For a general without fast decay assumption, take a weakly convergent sequence of fast decaying functions bounded in , and find with gradient bounds. After adjusting by additive constants to make , we can extract the subsequential limit of , which solves with the gradient bound. ∎