Manuscript X-D-ST@1 · X-D-ST.tex · lemma · e0cf8fdb
Lemma: Rescaled layer and endpoint data
The shrinking layer: integrate the normal flux first › Exit data and the surviving quadratic velocity · lines 842–894 · proof included or linked
X-D-ST@1#lem:profile, X-D-ST@1#eq:rescaled, X-D-ST@1#eq:velocities
Uniformly for , in every local spatial smooth seminorm,
The limiting positive-order initial positions are zero, and the exit velocities converge to
These limiting data depend on the profile endpoints, not its interior moments.
Proof. The fixed smooth coefficient difference , and similarly for , is in every localized spatial norm. Use this in (eq:layer-bounds). The estimates in (eq:flux-bounds) also apply with the current in place of ; their remainders are . Integrating the velocities from zero therefore gives the position expansions with remainders.
At , . The profile moments are multiplied by in the positions, whereas the velocities approach (eq:velocities).
Displayed formulas in this passage
X-D-ST@1#eq:rescaled · line 846
X-D-ST@1#eq:velocities · line 868