ScalingStacks

Proof. [043S]

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 φ2\varphi_{2} with presecribed second order derivatives is a consequence of integrability, notably Lemma 2.7 and its counterpart for Mν+M^{+}_{\nu}. If we impose that φ\varphi and its first order derivatives vanish at the origin, then the estimates follow immediately from the Lemmas above and Proposition 3.23. ∎

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