ScalingStacks

Proof. [03K4]

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.

In our context, it holds that

(9.133) ℱ⁡(0)=−𝔉0​(tf⁡(−Qβ)).\mathscr{F}(0)=-\mathfrak{F}_{0}\Big(\TF(-Q_{\beta})\Big).

Since 𝔉0:𝒮0​(ℝ3)→𝒮0​(ℝ3)\mathfrak{F}_{0}:\mathscr{S}_{0}(\mathbb{R}^{3})\to\mathscr{S}_{0}(\mathbb{R}^{3}) is a smooth map on the space of trace-free symmetric (3×3)(3\times 3)-matrices, and 𝔉0​(0)=0\mathfrak{F}_{0}(0)=0, so we have

(9.134) ‖ℱ⁡(0)‖𝔅≤C​‖tf⁡(Qβ)‖𝔅.\|\mathscr{F}(0)\|_{\mathfrak{B}}\leq C\|\TF(Q_{\beta})\|_{\mathfrak{B}}.

The proof immediately follows from the estimate in Corollary 6.5. ∎

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