Lemma
Chain rule in implicit anisotropic coordinates
Explicit time and axial derivatives of a rescaled profile in an implicitly defined chart.
Statement
Use implicit anisotropic coordinates with parameter , and write . For a smooth and a fixed , derivatives at fixed physical spatial coordinates satisfy
Derivation
Implicit differentiation gives and . Consequently , , , and . Substitute these identities into the product and chain rules. The positive lower bound on prevents a denominator singularity away from .