Manuscript XII-E@1 · XII-E.tex · section · 9471ea56

Conclusion

E6: boundaries, decision, and successor package › Conclusion · lines 1370–1392

Φ^{(2)}_{D} = A_{2}^{sc} (γ, r_{D} [γ]; ϕ) = A_{2}^{sc} (γ, 0; ϕ) - C_{3, D}, r_{D} = - u_{D} = P E_{0}^{R} J_{D}, Δ_{ξ} Φ^{(2)}_{D} = - A_{1} (K ρ_{ξ}; ϕ) + \int (L_{ξ} β_{f, g} [ϕ]) \cdot A γ = C_{sol} - A_{1} (K ρ_{ξ}; ϕ) - 2 \int (D L_{ξ} β_{f, g} [ϕ]) \cdot b, (CP) & A γ ∣_{U} = 0 ⟹ Δ_{ξ} Φ^{(2)}_{D} = 0; Δ_{ξ} Φ^{(2)}_{+} = - 2 A_{1} (s_{ξ}; ϕ) + \dots \neq = 0; WF (t^{sc}_{f, g}) \subset Z_{3}, Q_{H} Φ^{(2)}_{D} \in E_{H} .

A reader can see one named second-order coefficient, can see that $C_{3, D}$ entered it once and with which sign, and can see that the plateau identity holds only under the hypotheses XII-D already stated.

Displayed formulas in this passage

unlabeled · line 1372
$Φ^{(2)}_{D} = A_{2}^{sc} (γ, r_{D} [γ]; ϕ) = A_{2}^{sc} (γ, 0; ϕ) - C_{3, D}, r_{D} = - u_{D} = P E_{0}^{R} J_{D}, Δ_{ξ} Φ^{(2)}_{D} = - A_{1} (K ρ_{ξ}; ϕ) + \int (L_{ξ} β_{f, g} [ϕ]) \cdot A γ = C_{sol} - A_{1} (K ρ_{ξ}; ϕ) - 2 \int (D L_{ξ} β_{f, g} [ϕ]) \cdot b, (CP) & A γ ∣_{U} = 0 ⟹ Δ_{ξ} Φ^{(2)}_{D} = 0; Δ_{ξ} Φ^{(2)}_{+} = - 2 A_{1} (s_{ξ}; ϕ) + \dots \neq = 0; WF (t^{sc}_{f, g}) \subset Z_{3}, Q_{H} Φ^{(2)}_{D} \in E_{H} .$