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.
The existence of with presecribed second order derivatives is a consequence of integrability, notably Lemma 2.7 and its counterpart for . If we impose that and its first order derivatives vanish at the origin, then the estimates follow immediately from the Lemmas above and Proposition 3.23.
∎