Manuscript XXII-E@1 · XXII-E.tex · proposition · 51c99d2f
Proposition: An invisible second-order curvature change
Error control, coverage, and derivative limits › First-order matching is not nonlinear dynamics · lines 1356–1392 · proof included or linked
XXII-E@1#prop:nonlinear, XXII-E@1#eq:second-order
Near the origin compare
Both have zero first metric variation at , the same pointwise cones, and the same first-order vacuum matching. Nevertheless,
whereas .
Proof. The first parameter derivative of both metrics at zero is zero. At the coordinate origin,
Thus the connection is zero there and the curvature contains no connection-product terms. Its dependence on the second metric derivatives at that point is exactly the flat first-variation expression. Those derivatives equal the second derivatives of . Equation (eq:conformal-einstein) gives (eq:second-order).
Displayed formulas in this passage
unlabeled · line 1359
XXII-E@1#eq:second-order · line 1367
unlabeled · line 1380