Finite-Chain CKN-Bad Scale Counting for Navier-Stokes: Standard PDE Closure and Canonical Detector Realization

Technische Samenvatting: Finite-Chain CKN-Bad Scale Counting voor Navier–Stokes

Probleem en Motivatie
Dit artikel behandelt het "finite-chain" boekhoudprobleem binnen de partiële regulariteitstheorie van de driedimensionale onsamendrukbare Navier–Stokes-vergelijkingen. Specifiek onderzoekt het de omkeer van het Caffarelli–Kohn–Nirenberg (CKN) $\epsilon$-regulariteitscriterium: als een eindige keten van genormaliseerde schalen "CKN-bad" blijft (dat wil zeggen, de schaal-kritische snelheid-druk grootheid $\Phi$ overschrijdt een drempelwaarde $\varepsilon_{CKN}$), welke standaard PDE-kanalen moeten dan concentreren om deze "badness" in stand te houden?

De primaire motivatie is om "tautologie" te vermijden. Een teltheorema wordt als leeg beschouwd als de rechterkant ervan (de kosten) impliciet de volledige CKN-badness grootheid zelf bevat. Het artikel tracht de gewogen grootte van een verzameling slechte schalen te begrenzen met behulp van niet-negatieve "kanaalkosten" afgeleid van standaard PDE-grootheden—zoals verticale componentconcentratie, annulaire lekkage, drukstaarten en druk-flux-energie residuen—zonder de volledige CKN-norm aan de rechterkant te reconstrueren.

Methodologie en Raamwerk
De analyse vindt plaats binnen het raamwerk van geschikte zwakke oplossingen (suitable weak solutions), gebruikmakend van een eindige geometrische keten van schalen $r_k = \lambda^k r_0$. De methodologie is verdeeld in twee parallelle trajecten: een Standaard PDE-benadering en een Canonieke Detector-realisatie.

1. Standaard PDE-benadering:

   • Inputs: Het bewijs steunt op twee geïmporteerde klassieke inputs: (1) de compactheid van geschikte zwakke oplossingen onder een volledige lokale kritische grens $\Psi(1) \le M$ (inclusief drukdecompositie convergentie) en (2) de regulariteit van compactheidslimieten waarbij de verticale snelheidscomponent $v_3 = 0$.
   • Sluitingsmechanisme: Het artikel vestigt een "kwalitatieve één-component compactheid" stelling. Het toont aan dat als de verticale componentconcentratie ($\int |u_3|^3$) voldoende klein is, en de volledige kritische grens $\Psi(1)$ gecontroleerd is, de CKN-grootheid $\Phi$ klein wordt bij een specifieke straal $\rho_M$.
   • Kostendefinitie: De "standaard kost" $C_{std}$ wordt gedefinieerd als de som van niet-tautologische termen:
     • $C_{3,k}$: Verticale componentconcentratie ($\int |u_3|^3$).
     • $L_{ann, k}$: Annulaire lekkage (energie en dissipatie in de annulus).
     • $P_{tail, k}$: Drukstaartkosten (commutatorfouten, harmonische staarten en afkapfouten), waarbij de volledige gemiddelde drukoscillatie expliciet wordt uitgesloten.
     • $R_{PFE, k}$: Druk-Flux-Energie residuen (mismatches, defecten of detectorvergelijkingsresiduen), ook exclusief de kern CKN-normen.

2. Canonieke Detector Realisatie:

   • Het artikel definieert een nieuwe "geamendeerde canonieke detector" om de finite-window telfilosofie op een coördinaat-gebaseerde wijze te realiseren.
   • In tegen tegenstelling tot abstracte detectoren, construeert dit model expliciet coördinaten met behulp van standaard PDE-componenten: actieve druk, harmonische druk, flux, energie en einddimensionale residuen.
   • Cruciaal is dat de "ongeamendeerde" detector als onvoldoende wordt aangetoond om CKN-badness te extraheren, omdat deze een gebrek heeft aan controles op $L^\infty_t L^2_x$ snelheid en behouden lage drukmodi.
   • De geamendeerde detector voegt kernenergie ($A_{core}$), kerndissipatie ($E_{core}$) en behouden lage drukmodi ($P_{low}$) toe aan de kostenstructuur. Deze amendering maakt het mogelijk om CKN-kleinheid te extraheren via snelheid-interpolatie en drukdecompositie.

Belangrijkste Resultaten

1. Kwalitatieve Eén-Component Compactheid (Theorem 4.3):
   Onder de volledige kritische grens $\Psi(1) \le M$, als de verticale componentconcentratie $\int_{Q_1} |u_3|^3$ voldoende klein is, is de CKN-grootheid $\Phi(\rho_M)$ klein. Dit resultaat is voorwaardelijk op de klassieke compactheid en zero-component regulariteit inputs.

2. Niet-Tautologische Lokale Sluiting (Theorem 5.1):
   Als de totale standaard kost $C_{std}$ (gedomineerd door het verticale componentkanaal in het bewijs) klein is, dan is de oplossing CKN-klein bij straal $\rho_M$. Het contrapositieve stelt dat CKN-badness de concentratie van ten minste één standaard kanaal afdwingt.

3. Finite-Chain Teltheorema (Theorem 6.3):
   Voor een eindige keten van schalen $k=0, \dots, K$, wordt de gewogen som van slechte schalen begrensd door de gewogen som van standaard kanaalkosten:
   $$\sum_{k \in B} w_k \le \frac{1}{\varepsilon_{close}(M)} \sum_{k=0}^K w_k \left( C_{3,k} + L_{ann, k} + P_{tail, k} + R_{PFE, k} \right)$$
   waarbij $B$ de verzameling indices is waar $\Phi_k(\rho_M) \ge \varepsilon_{CKN}$.

4. Detector Teltheorema (Theorem 8.15):
   Een parallel teltheorema wordt bewezen voor de geamendeerde canonieke detector. Het stelt vast dat de gewogen som van slechte schalen begrensd wordt door de gewogen som van de afstand van de geamendeerde detector (involvende $L_{AEF}$, $P_{tail,+}$ en $R_{PFE,+}$). Dit theorem bewijst "upper realization" (detector begrensd door kosten), "lower audit" (kosten begrensd door detector), en "CKN extraction" (kleine detectorafstand impliceert CKN-kleinheid).

Claims en Betekenis
Het artikel positioneert zichzelf expliciet als een conservatieve, technische bijdrage in plaats van een doorbraak in globale regulariteit.

• Omvang: De resultaten zijn "finite-window" en "finite-chain". Het artikel claimt niet een schaal-uniforme regulariteitstelling of een bewijs voor de globale regulariteit van Navier–Stokes.
• Bescheidenheid over Mechanismen: Het primaire sluitingsmechanisme dat bewezen wordt, is het verticale component kanaal. Hoewel de grootboeklijst ook annulaire lekkage, drukstaarten en PFE-residuen bevat, geeft het artikel toe dat het niet heeft bewezen dat deze aanvullende kanalen onafhankelijk CKN-kleinheid afdwingen. Een sterker "druk-flux-energie sluitingslemma" blijft een open probleem.
• Detector Onderscheid: Het artikel verduidelijkt dat de geamendeerde canonieke detector een nieuw model is, en geen reconstructie van eerdere abstracte detectoren. Het bewijst dat dit specifieke geamendeerde detector succesvol de telfilosofie zonder tautologie realiseert.
• Betekenis: Het werk biedt een rigoureus "boekhoudraamwerk" dat de specifieke PDE-kanalen isoleert die verantwoordelijk zijn voor het in stand houden van singuliere gedragingen (CKN-badness) binnen een eindig schaalbereik, waardoor wordt gewaarborgd dat de tel-schattingen niet impliciet de regulariteit aannemen die ze juist beogen te testen. Het formaliseert de relatie tussen één-component compactheid en de distributie van slechte schalen.