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

Back to manuscript

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

Nearby in this section