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

Back to manuscript

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

Nearby in this section