Documentation

LeanPool.NavierStokesAndEuler.NavierStokes.CorrectionStep

Exact field bookkeeping for one correction cycle #

The residuals in this file are the differentiated nonlinear fields in (32). In particular, changing the wave covariance and changing a mean velocity are not treated as independent black-box state transitions. Every old/new cross term is retained in the displayed residual differences.

The full differential residual, before angular averaging #

One physical field behind the chart family #

The predicate below is deliberately stronger than an indexed collection of unrelated chart solutions. Every chart is tied to the same physical fields by specified maps and the manuscript's velocity, pressure, and residual units. Operator naturality and the concrete chart maps are separate obligations.