Manuscript XIX-B@1 · XIX-B.tex · lemma · b5670709
Lemma: Lemma A: equation identity on a matched jet
Lemma A: the density identity and the XIX-A comparison · lines 308–378 · proof included or linked
XIX-B@1#lem:A, XIX-B@1#eq:a1, XIX-B@1#eq:a2, XIX-B@1#eq:density-first, XIX-B@1#eq:density-second
On , use the same metric jet, the same initial surface, and the same ordinary coordinate-time data.
Then the density-coordinate equation of XIX-A and the scalar-wave coordinate equation of VI are equivalent coefficientwise through order two. For the conventions used in XIX-A,
The equivalence applies on the shared domain, including XIX-A's spatially compact metric subclass. It does not identify the complete scalar observables, enlarge XIX-A's original domain, or turn its label into an authentication of every VI construction.
Proof. The zeroth coefficient of is , so has an invertible formal power series modulo . Multiplication by it preserves vanishing modulo . Equation (eq:density-identity) therefore proves equivalence of the two coordinate equations.
For completeness, in the convention , put
Matrix inversion and determinant expansion give
All mixed indices in (eq:a2) use . The density equation for has coefficients
The initial coefficient data are unchanged.
XIX-A wrote the second metric and coordinate coefficients with a factor . Substitution of and therefore yields the displayed conversion. The argument uses equations and data only; it does not compare scalar dynamics or observable domains.
Displayed formulas in this passage
XIX-B@1#eq:a1 · line 341
XIX-B@1#eq:a2 · line 341
XIX-B@1#eq:density-first · line 361
XIX-B@1#eq:density-second · line 361
unlabeled · line 317
unlabeled · line 337