pith. sign in

arxiv: 2606.25322 · v1 · pith:ULTXV7OEnew · submitted 2026-06-24 · 🧮 math.AP

Coarse-Grained Resolution and Pressure-Flux Work Depletion for Navier-Stokes CKN Badness

Runlong Yu This is my paper

Pith reviewed 2026-06-25 21:24 UTC · model grok-4.3

classification 🧮 math.AP MSC 35Q30
keywords Navier-Stokes equationsCKN regularitycoarse-grainingpressure-flux worklocal energy balancework depletionactive test families
0
0 comments X

The pith

Navier-Stokes solutions admit a scale-by-scale resolution inequality that isolates CKN-bad behavior to either coarse-grained fields or subfilter residuals, plus a telescoping depletion bound on pressure-flux work.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that for every spatial filter length ell greater than zero the scale-critical quantity Psi satisfies Psi(r) less than or equal to four times the filtered Psi^ell plus four times the explicit residual Omega^ell. This decomposition shows that any potential irregularity at scale r must appear either in the resolved velocity-pressure quantities or in the unresolved oscillation carried by the residual. For finite-dimensional active test families that share common endpoint traces the combined work G^ell obeys a weighted telescoping inequality in which positive forward work and resolved dissipation are exactly paid by initial localized kinetic energy, explicit localization leakage, and negative combined work.

Core claim

The central claim is a finite-scale coarse-grained decomposition near the CKN local regularity framework: the local resolution lemma bounds the full Psi by resolved and residual parts at any ell, while the depletion theorem supplies a constructive active-work extraction and weighted telescoping inequality for the signed work density G^ell equals Pi^ell plus div(P^ell U^ell) that accounts for all forward combined work and resolved dissipation using only initial energy, leakage, and backscatter.

What carries the argument

spatial filters of length ell together with finite-dimensional active test families that share common endpoint traces, which produce the resolution inequality and enable the exact telescoping extraction of combined pressure-flux work.

Load-bearing premise

The depletion theorem requires the existence of finite-dimensional active test families with common endpoint traces.

What would settle it

A concrete Navier-Stokes flow in which Psi(r) exceeds four times Psi^ell(r) plus four times Omega^ell(r) for some ell and r, or a configuration of test functions where the weighted telescoping inequality for G^ell fails to hold.

read the original abstract

We prove a finite-scale coarse-grained decomposition for the three-dimensional incompressible Navier-Stokes equations near the Caffarelli-Kohn-Nirenberg local regularity framework. The first part is a local resolution lemma for the scale-critical quantity: for every spatial filter length ell > 0, Psi(r) <= 4 Psi^ell(r) + 4 Omega^ell(r), where Psi^ell(r) is the corresponding coarse-grained velocity-pressure quantity and Omega^ell(r) is the explicitly defined subfilter residual. Thus a CKN-bad scale is either visible at the resolved level or is carried by unresolved velocity-pressure oscillation. The second part is an exact fixed-chain depletion theorem for the combined pressure-flux work distribution G^ell = Pi^ell + div(P^ell U^ell), Pi^ell = -R^ell : grad U^ell, which is the signed work density appearing in the localized resolved-energy balance. For finite-dimensional active test families with common endpoint traces, we obtain a constructive active-work extraction and a weighted telescoping inequality: forward combined work and resolved dissipation are paid by the initial localized kinetic energy, explicit localization leakage, and negative combined work/backscatter.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript proves a local resolution lemma for the scale-critical quantity Psi(r) in the 3D incompressible Navier-Stokes equations within the CKN framework: for every spatial filter length ell > 0, Psi(r) <= 4 Psi^ell(r) + 4 Omega^ell(r), separating resolved and subfilter contributions. It further establishes an exact fixed-chain depletion theorem for the combined pressure-flux work G^ell = Pi^ell + div(P^ell U^ell), yielding a weighted telescoping inequality for finite-dimensional active test families with common endpoint traces, in which forward combined work and resolved dissipation are accounted for by initial localized kinetic energy, explicit localization leakage, and negative combined work.

Significance. If the results hold and the test-family hypothesis can be satisfied at CKN scales, the work supplies an unconditional scale-separation identity together with a constructive energy-balance identity that isolates the role of pressure-flux work; the explicit, parameter-free character of the resolution lemma and the telescoping structure are strengths that could inform both analytical regularity studies and coarse-grained numerical schemes.

major comments (2)
  1. [Abstract] Abstract and depletion theorem statement: the central telescoping inequality is proved only under the hypothesis of finite-dimensional active test families with common endpoint traces, yet no existence proof, explicit construction, or verification that such families can be chosen compatibly with the localized test functions required near CKN-bad scales is supplied. This hypothesis is load-bearing for the work-depletion claim.
  2. [Depletion theorem] Depletion theorem (the weighted telescoping inequality): because the common-trace condition is required for the constructive active-work extraction, the claimed payment of forward work plus resolved dissipation by initial energy, leakage, and negative work remains conditional; if the condition cannot be met for the relevant localized families, the inequality does not apply to the CKN setting.
minor comments (1)
  1. [Abstract] The symbols Psi^ell(r), Omega^ell(r), Pi^ell, and G^ell are introduced in the abstract without preceding definitions or references to their precise locations in the text.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for the careful reading and the identification of the conditional character of the depletion theorem. The manuscript derives an unconditional local resolution lemma for the scale-critical quantity Psi(r) and presents the weighted telescoping inequality for combined pressure-flux work only under the stated hypothesis on finite-dimensional active test families. We respond to each major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract and depletion theorem statement: the central telescoping inequality is proved only under the hypothesis of finite-dimensional active test families with common endpoint traces, yet no existence proof, explicit construction, or verification that such families can be chosen compatibly with the localized test functions required near CKN-bad scales is supplied. This hypothesis is load-bearing for the work-depletion claim.

    Authors: The manuscript states the depletion theorem explicitly under the hypothesis of finite-dimensional active test families with common endpoint traces and makes no claim to an existence proof or construction. The primary contribution is the derivation of the telescoping inequality assuming the hypothesis holds. The resolution lemma itself is unconditional. We will revise the abstract and the statement of the depletion theorem to underscore the conditional nature more explicitly. revision: partial

  2. Referee: [Depletion theorem] Depletion theorem (the weighted telescoping inequality): because the common-trace condition is required for the constructive active-work extraction, the claimed payment of forward work plus resolved dissipation by initial energy, leakage, and negative work remains conditional; if the condition cannot be met for the relevant localized families, the inequality does not apply to the CKN setting.

    Authors: We agree that the weighted telescoping inequality is conditional on the common-trace condition being satisfiable for the relevant localized families. The manuscript presents the result precisely under this hypothesis and does not assert that the condition holds automatically at CKN scales. If the condition cannot be met, the depletion inequality does not apply, as already indicated by the statement of the theorem. revision: no

standing simulated objections not resolved
  • Existence proof, explicit construction, or verification that finite-dimensional active test families with common endpoint traces can be chosen compatibly with localized test functions near CKN-bad scales.

Circularity Check

0 steps flagged

No circularity; derivations are self-contained mathematical proofs from NS equations

full rationale

The paper states a resolution lemma and depletion theorem as direct consequences of the incompressible Navier-Stokes equations within the CKN framework. No quantity is defined in terms of itself, no fitted parameter is relabeled as a prediction, and no load-bearing step reduces to a self-citation or ansatz smuggled via prior work by the same author. The explicit hypothesis on finite-dimensional active test families with common endpoint traces is stated as a precondition rather than concealed; the claimed inequalities follow from that hypothesis by construction of the telescoping argument, which is the standard structure of a conditional theorem and does not constitute circularity. The derivation chain therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the paper introduces no new free parameters or invented entities; it works inside the standard incompressible Navier-Stokes setting and the existing CKN local-regularity framework.

axioms (1)
  • domain assumption The three-dimensional incompressible Navier-Stokes equations hold.
    The entire development is stated for solutions of the NSE.

pith-pipeline@v0.9.1-grok · 5735 in / 1311 out tokens · 26295 ms · 2026-06-25T21:24:03.444462+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

20 extracted references · 18 canonical work pages · 3 internal anchors

  1. [1]

    Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace,Acta Mathematica63(1934), 193–248

    J. Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace,Acta Mathematica63 (1934), 193–248. DOI:https://doi.org/10.1007/BF02547354

    work page doi:10.1007/bf02547354 1934

  2. [2]

    Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen,Math- ematische Nachrichten4(1951), no

    E. Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen,Mathe- matische Nachrichten4(1950/51), no. 1–6, 213–231. DOI:https://doi.org/10.1002/mana. 3210040121

    work page doi:10.1002/mana 1950

  3. [3]

    Scheffer, Partial regularity of solutions to the Navier–Stokes equations,Pacific Journal of Mathematics66(1976), no

    V. Scheffer, Partial regularity of solutions to the Navier–Stokes equations,Pacific Journal of Mathematics66(1976), no. 2, 535–552. DOI:https://doi.org/10.2140/pjm.1976.66.535

    work page doi:10.2140/pjm.1976.66.535 1976

  4. [4]

    Caffarelli, R

    L. Caffarelli, R. Kohn, and L. Nirenberg, Partial regularity of suitable weak solutions of the Navier–Stokes equations,Communications on Pure and Applied Mathematics35(1982), no. 6, 771–831. DOI:https://doi.org/10.1002/cpa.3160350604

    work page doi:10.1002/cpa.3160350604 1982

  5. [5]

    Lin, A new proof of the Caffarelli–Kohn–Nirenberg theorem,Communications on Pure and Applied Mathematics51(1998), no

    F.-H. Lin, A new proof of the Caffarelli–Kohn–Nirenberg theorem,Communications on Pure and Applied Mathematics51(1998), no. 3, 241–257. DOI:https://doi.org/10.1002/(SICI) 1097-0312(199803)51:3<241::AID-CPA2>3.0.CO;2-A. 23

    work page doi:10.1002/(sici 1998

  6. [6]

    A. F. Vasseur, A new proof of partial regularity of solutions to Navier–Stokes equations, Nonlinear Differential Equations and Applications NoDEA14(2007), no. 5–6, 753–785. DOI: https://doi.org/10.1007/s00030-007-6001-4

    work page doi:10.1007/s00030-007-6001-4 2007

  7. [7]

    Lemarié-Rieusset,Recent Developments in the Navier–Stokes Problem, Research Notes in Mathematics, Chapman & Hall/CRC, Boca Raton, 2002

    P.-G. Lemarié-Rieusset,Recent Developments in the Navier–Stokes Problem, Research Notes in Mathematics, Chapman & Hall/CRC, Boca Raton, 2002. DOI:https://doi.org/10.1201/ 9780367801656

    2002

  8. [8]

    DOI:https://doi.org/10.1201/9781315373393

    P.-G.Lemarié-Rieusset,The Navier–Stokes Problem in the 21st Century, Chapman&Hall/CRC, Boca Raton, 2016. DOI:https://doi.org/10.1201/9781315373393

    work page doi:10.1201/9781315373393 2016

  9. [9]

    G. A. Seregin,Lecture Notes on Regularity Theory for the Navier–Stokes Equations, World Scientific, Singapore, 2015. DOI:https://doi.org/10.1142/9314

    work page doi:10.1142/9314 2015

  10. [10]

    Constantin, W

    P. Constantin, W. E, and E. S. Titi, Onsager’s conjecture on the energy conservation for solutions of Euler’s equation,Communications in Mathematical Physics165(1994), no. 1, 207–209. DOI:https://doi.org/10.1007/BF02099744

    work page doi:10.1007/bf02099744 1994

  11. [11]

    Duchon and R

    J. Duchon and R. Robert, Inertial energy dissipation for weak solutions of incompressible Euler and Navier–Stokes equations,Nonlinearity13(2000), no. 1, 249–255. DOI: https: //doi.org/10.1088/0951-7715/13/1/312

    work page doi:10.1088/0951-7715/13/1/312 2000

  12. [12]

    G. L. Eyink, Locality of turbulent cascades,Physica D: Nonlinear Phenomena207(2005), no. 1–2, 91–116. DOI:https://doi.org/10.1016/j.physd.2005.05.018

    work page doi:10.1016/j.physd.2005.05.018 2005

  13. [13]

    G. L. Eyink and H. Aluie, Localness of energy cascade in hydrodynamic turbulence. I. Smooth coarse graining,Physics of Fluids21(2009), 115107. DOI: https://doi.org/10.1063/1. 3266883

    work page doi:10.1063/1 2009

  14. [14]

    T. D. Drivas and H. Q. Nguyen, Onsager’s conjecture and anomalous dissipation on domains with boundary,SIAM Journal on Mathematical Analysis50(2018), no. 5, 4785–4811. DOI: https://doi.org/10.1137/18M1178864

    work page doi:10.1137/18m1178864 2018

  15. [15]

    E. M. Stein,Singular Integrals and Differentiability Properties of Functions, Princeton Mathematical Series, vol. 30, Princeton University Press, Princeton, 1970. DOI for electronic edition:https://doi.org/10.1515/9781400883882

    work page doi:10.1515/9781400883882 1970

  16. [16]

    Invisible Defect Cascades for Navier-Stokes Regularity

    R. Yu, Invisible defect cascades for Navier–Stokes regularity, arXiv preprint arXiv:2606.12756 [math.AP], 2026. DOI:https://doi.org/10.48550/arXiv.2606.12756

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2606.12756 2026

  17. [17]

    Yu, Critical Ledgers and Scale-Defect Cascades for Navier–Stokes, arXiv:2606.13887 [math.AP], 2026

    R. Yu, Critical ledgers and scale-defect cascades for Navier–Stokes, arXiv preprint arXiv:2606.13887 [math.AP], 2026. DOI:https://doi.org/10.48550/arXiv.2606.13887

    work page doi:10.48550/arxiv.2606.13887 2026

  18. [18]

    Hierarchical causality in financial economics

    R. Yu, Finite-window singularity audits and local-to-clean defect transfer for Navier–Stokes, arXiv preprint arXiv:2606.15086 [math.AP], 2026. DOI:https://doi.org/10.48550/arXiv. 2606.15086

    work page internal anchor Pith review doi:10.48550/arxiv 2026

  19. [19]

    Yu, Finite-window computational anti-phantom theorems for scale-critical Navier–Stokes defects, arXiv preprint arXiv:2606.15456 [math.AP], 2026

    R. Yu, Finite-window computational anti-phantom theorems for scale-critical Navier–Stokes defects, arXiv preprint arXiv:2606.15456 [math.AP], 2026. DOI:https://doi.org/10.48550/ arXiv.2606.15456

    arXiv 2026

  20. [20]

    Finite-Window Local-to-Clean Transfer and Anti-Phantom Detection for Sharp Navier-Stokes Packages

    R. Yu, Finite-window local-to-clean transfer and anti-phantom detection for sharp Navier– Stokes packages, arXiv preprint arXiv:2606.18476 [math.AP], 2026. DOI:https://doi.org/ 10.48550/arXiv.2606.18476. 24

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2606.18476 2026