Audit of Navier-Stokes obstruction calculus shows existing decompositions locate CKN badness transport but lack coercive estimates, proving a resolution lemma and identifying the need for a filtered stretching-diffusion estimate with subgrid terms.
Finite-Window Recursive Audit Chains for Navier-Stokes Generated Packages
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We develop a finite-window recursive audit framework for Navier--Stokes-generated packages. On a fixed window, the underlying anti-phantom certificate asserts that a baseline-visible package is either detected locally or charged to an explicit residual ledger. The first component of the framework is a broad one-step admissibility criterion for pressure-admissible finite-energy Navier--Stokes-generated audit packages under an explicit ledger of synchronization, localization, projection, harmonic-tail, chart, clean-gap, gate/slack, and detector mismatches. The second component is a finite-chain propagation theorem: once one-step admissibility supplies a finite renormalized chain of packages and a static finite-window audit certificate is available at each scale, variable-coefficient error recursion and weighted summation yield a recursive finite-window anti-phantom lower bound. We also give compact/effective pressure projection criteria, reduced quotient chart visibility, clean detector gaps, a pressure--flux--energy matrix kernel condition, a smooth reduced NS-generated verification class, and a conditional Caffarelli--Kohn--Nirenberg compatible defect-extraction criterion.
fields
math.AP 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Structural Audit of Navier-Stokes Obstruction Calculus
Audit of Navier-Stokes obstruction calculus shows existing decompositions locate CKN badness transport but lack coercive estimates, proving a resolution lemma and identifying the need for a filtered stretching-diffusion estimate with subgrid terms.