Proof. [045L]
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.
(Sketch) The method is the same as in Proposition 4.16, so we only mention the key points. The long distance contribution to the integral has improved decay, so there is no need for the log factor. The short distance contribution appeals to Lemma 4.15. In the first derivative estimates, notice the mean curvature vector vanishes because an algebraic curve.
For second derivative estimates, notice for , the magnitudes of tensors are inhomogeneous:
These factors make the -magnitudes bounded even though the -magnitudes can be unbounded. Inside the tensor , the coeffient of and correspond to imposing , and the coeffient of correspond to imposing and . ∎