Finite-Window Singularity Audits and Local-to-Clean Defect Transfer for Navier-Stokes

Technische Samenvatting: Eindige-Venster Singulariteitsaudits en Lokaal-naar-Schone Defectoverdracht voor Navier–Stokes

1. Probleemstelling
Het artikel behandelt het lokale regulariteitsprobleem voor de driedimensionale incompressibele Navier–Stokes-vergelijkingen. Specifiek onderzoekt het de structurele vereisten voor een "niet-CKN-tak"—een sequentie van schalen waarbij een geschikte zwakke oplossing er niet in slaagt om de Caffarelli–Kohn–Nirenberg (CKN) kleinheidsregime te betreden, wat anders lokale regulariteit zou garanderen. De centrale vraag is: als een singulariteit over schalen heen persisteert, wat zijn dan de precieze mechanismen die het mogelijk maken dat zij binnen eindige-vensterobservaties overleeft, zich verbergt voor standaard observeerbare grootheden, en zich van schaal naar schaal reproduceert terwijl zij nog steeds realiseerbaar blijft door de Navier–Stokes-vergelijking?

Het artikel beweert niet de regulariteit van Navier–Stokes-oplossingen te bewijzen noch een singuliere oplossing te construeren. In plaats daarvan beoogt het het probleem van potentiële singulariteiten te reduceren tot een specifieke, hooggestructureerde algebraïsche en analytische obstructie.

2. Methodologie
Het artikel hanteert een tweeledig kader: een Eindige-Venster Singulariteitsaudit en een Lokaal-naar-Schone Defectoverdracht.

• De Audit (Betaling en Verberging): De auteurs modelleren de persistentie van "slechtheid" (kritieke schalgrootheden) als een financiële grootboekadministratie. Ze demonstreren dat voor een niet-CKN-tak de persistentie ervan ofwel "onbelaste kritieke aanvoer" (energie of flux die niet gedissipeerd wordt) ofwel "geaccumuleerde lekkage" (verliezen door afkapfuncties en lokalisatie) moet genereren. Dit wordt geformaliseerd via een eindige-schaal kritieke grootboekongelijkheid, afgeleid van de lokale energie-ongelijkheid en standaard interpolatie-schattingen.
• De Transfer (Lokaal-naar-Schone): Het artikel construeert een mapping tussen "gelokaliseerde" defectpakketten (die artefacten bevatten zoals afkapfuncties, harmonische drukstaarten en afkapfouten inherent aan eindige-vensteranalyse) en "schone" defectpakketten (eindige-dimensionale modellen waarin deze artefacten zijn verwijderd of expliciet worden meegerekend). Het kerninstrument is een algebraïsche transferstelling die een "schone anti-fantoomkloof" (een coërcitieve schatting in het schone model) terug naar de gelokaliseerde setting tilt, mits specifieke structurele inputs aanwezig zijn.

3. Belangrijkste Bijdragen en Innovaties
Het artikel introduceert vier primaire innovaties:

1. Eindige-Schaal Betalingsgrootboek: Een kwantitatief alternatief dat aantoont dat persistente kritieke slechtheid dwingt tot cumulatieve onbelaste aanvoer of lekkage. Dit zet de kwalitatieve vraag "bestaat er een singulariteit?" om in een kwantitatieve boekhoudkundige kwestie.
2. NS-Realiseerbare Defectaudit: Een rigoureus filter dat "formele fantoom-vectoren" (algebraïsche kernvectoren van observatiemappen) onderscheidt van "NS-obstacties". Een gevaarlijke obstructie moet voldoen aan grove momentumvergelijkingen, drukcompatibiliteit, Reynolds-positiviteit en de energie-flux-identiteit die overgenomen is van geschikte zwakke oplossingen.
3. Lokaal-naar-Schone Transferstelling: Een algebraïsch resultaat dat stelt dat als een schoon model een quotient anti-fantoomkloof heeft, en indien quotient-lifting, componentgewijze detectievergelijking en residu-normalisatie standhouden, dan worden gelokaliseerde niet-gauge defecten kwantitatief gedetecteerd.
4. Residu-Budget Sluitingskaart: Een systematische decompositie van alle potentiële fouten die de transfer obstrueren (drukstaarten, afkaplekkage, afkapverlies, nietlineaire mismatch, reproductiedrift, gauge-mismatch en winstverschil) in expliciete eindige-venster grootboekposten.

4. Belangrijkste Resultaten

• Stelling 3.3 (Eindige-Schaal Overlevingsalternatief): Langs elke toegestane schaal-vensterketen geldt dat, indien de reservoir-slechtheid onder een grens blijft, de cumulatieve som van onbelaste aanvoer minus belastingen positief moet zijn, of dat de geaccumuleerde lekkage niet verwaarloosbaar moet zijn.
• Stelling 9.5 (Conditionele Singulariteits-Audit Alternatief): Onder aannames van dyadische defectextractie, observeerbare uitputting en bewegend-venster groei-controle, impliceert een persistente niet-CKN-tak een van vijf alternatieven:
  • (a) Niet-verwaarloosbare geaccumuleerde lekkage.
  • (b) Positieve gemiddelde onbelaste kritieke aanvoer.
  • (c) Ineffectieve bewegend-venster observeerbaarheid (constanten groeien te snel).
  • (d) Bestaan van een NS-realiseerbare, schone, schaal-kritieke, gecombineerd-onzichtbare, winstgevende en reproduceerbare defectcascade.
  • (e) Een falen van verticale dualiteit of anti-fantoom sluiting in één-component degeneratie-regimes.
• Stelling 17.4 (Algebraïsche Lokaal-naar-Schone Anti-Fantoom Transfer): Als de schone detectiemap voldoet aan een coërcitieve kloofvoorwaarde ($c_{cl}^\Lambda$), en het residubudget voldoet aan een genormaliseerde grens ($\eta_\Lambda < c_{cl}^\Lambda(1-\epsilon_G)$), dan voldoet de gelokaliseerde detectiemap aan een coërcitieve schatting met een positieve constante $c_{loc}^\Lambda$. Deze stelling is puur algebraïsch; de toepassing op Navier–Stokes hangt af van het verifiëren van de structurele inputs.
• Corolarium 18.1 (Verenigd Alternatief): Synthetiseert de audit- en transferresultaten. Het concludeert dat als lekkage verwaarloosbaar is, aanvoer belast/uitgeput is, constanten gecontroleerd zijn en NS-realiseerbare PRV (Winstgevende, Reproduceerbare, Geverifieerde) cascades uitgesloten zijn, de tak in een CKN-schaal moet treden, wat regulariteit impliceert.

5. Betekenis en Claims
Het artikel kadert zichzelf expliciet in als een conditionele reductie. De betekenis ligt in het isoleren van de exacte aard van de resterende obstructie voor de Navier–Stokes-regulariteit.

• Wat bewezen is: Het artikel bewijst de eindige-schaal grootboekschatting (een onvoorwaardelijke PDE-input) en de algebraïsche transferstelling (een structureel resultaat onder expliciete hypothesen). Het biedt ook een gedetailleerde boekhouding van alle residu-termen die gecontroleerd moeten worden.
• Wat open blijft: Het artikel identificeert de "echte resterende blokkade" als het genormaliseerde absorptieprobleem. Specifiek moet men component-compatibiliteitsschattingen bewijzen van de vorm:
  $$\text{Err}_\bullet(D) \leq \eta_\bullet \text{dist}_{loc}(D, \text{Im } G_{loc}^\Lambda) + \Delta_\bullet$$
  waarbij de som van de coëfficiënten $\eta_\bullet$ strikt kleiner is dan de schone kloofmarge.
• De Finale Obstructie: Als regulariteit niet bewezen kan worden, betoogt het artikel dat elk tegenvoorbeeld een hooggestructureerd object moet zijn: een NS-realiseerbare, schone, gecombineerd-onzichtbare, winstgevende en reproduceerbare defectcascade. Omgekeerd, als een dergelijke cascade geconstrueerd kan worden terwijl zij aan alle compatibiliteit, positiviteit en energiebeperkingen voldoet, zou dit een singulariteit constitueren.

Samenvattend transformeert het artikel de brede vraag naar de Navier–Stokes-regulariteit in een precieze structurele uitdaging: of bewijs dat de specifieke residubudgets geabsorbeerd kunnen worden in de gelokaliseerde quotientafstand met voldoende kleinheid, of construeer een specifiek type defectcascade dat alle eindige-venster observeerbaarheden en algebraïsche beperkingen ontwijkt. Het werk claimt niet de regulariteit van Navier–Stokes te hebben opgelost, maar biedt een rigoureus kader om exact te definiëren hoe een oplossing (of tegenvoorbeeld) eruit moet zien.