Large-Data Global Regularity for Three-Dimensional Navier--Stokes I: A Direct First-Threshold Continuation Proof for the Axisymmetric Swirl Class

Technische Samenvatting: Globale Regulariteit voor Driedimensionale Navier-Stokes met Grote Data I

Probleemstelling
Het artikel behandelt het probleem van de globale regulariteit voor de driedimensionale incompressibele Navier-Stokes-vergelijkingen, specifiek binnen de klasse van asymmetrische oplossingen met draaiing. Hoewel globale regulariteit bekend is voor asysmmetrische stromingen zonder draaiing (waar de draaiingscomponent verdwijnt), introduceert de aanwezigheid van draaiing een afgeleide bronterm in de vergelijking voor de opgeheven wervelverhouding $G = \omega_\theta/r$. Deze bronterm, gegenereerd door de draaiing $\Gamma = r u_\theta$, maakt het probleem fundamenteel kritisch, omdat het de directe toepassing van klassieke maximumprincipes verhindert die gelden voor het geval zonder draaiing. Het artikel beoogt aan te tonen dat voor gladde, divergentievrije, asysmmetrische beginvoorwaarden met draaiing in $H^1(\mathbb{R}^3)$, de corresponderende gladde oplossing globaal in de tijd bestaat ($T_{\max} = \infty$).

Methodologie en Kader
Het bewijs maakt gebruik van een direct continuïteitsargument voor de eerste drempel, georganiseerd als het eerste deel van een tweedelige serie. De methodologie wijkt af van conditionele regulariteitscriteria door te proberen aan te tonen dat een "eerste drempel" van concentratie niet kan optreden.

1. Opgeheven Variabelen en Geometrie:
   De analyse wordt uitgevoerd in een vijfdimensionale opgeheven geometrie $(y, z) \in \mathbb{R}^4 \times \mathbb{R}$, waarbij $r = |y|$. De primaire variabelen zijn:

   • $\Gamma = r u_\theta$ (draaiing).
   • $G = \omega_\theta / r$ (opgeheven wervelverhouding).
     De natuurlijke maat is $d\mu_5 = r^3 dr dz$, en de Laplaciaan is $\Delta_5$. De vergelijking voor $G$ wordt behandeld als een transport-diffusievergelijking met een niet-lokale herwinnings-term en een afgeleide bron $-\partial_z(\Gamma_e^2)$.

2. Kernkwantiteiten:

   • As-score ($Q_\rho$): Een schaal-invariante maat voor de concentratie van $G$ op een specifiek centrum en schaal.
   • Volledige Dirichlet-zichtbaarheid ($V_\chi$): Een coercieve grootheid die de kern-Dirichlet-dissipatie en de massa zichtbaar in de overgangskraag van een gelokaliseerd pakket meet.
   • Fijn-drempelfout ($E_{fin}$): Een samengestelde foutterm bestaande uit lekkage (kraagmassa/energie), staart (exterieure dyadische schillen), laagfrequente residuen en bronconcentratie.

3. Het Mechanisme van de Eerste Drempel:
   Het argument gaat, voor het doel van een bewijs per ongerijmdheid, ervan uit dat de kritieke as-score-omhullende $Max(t)$ onbegrensd wordt. Het definieert een eerste-drempeltijd $t^*$ waarbij $Max(t)$ voor het eerst een grote waarde $M^*$ bereikt. Op dit tijdstip wordt een minimaal eerste-drempelpakket (een genormaliseerde achterwaartse ascilinder) geselecteerd op basis van een specifieke ordening (eerdere tijd, kleinere schaal, minder componenten, enzovoort).

Belangrijkste Bijdragen en Technische Resultaten

Het bewijs steunt op drie kwantitatieve ingrediënten om aan te tonen dat een minimaal eerste-drempelpakket niet kan bestaan:

1. Strict Volledige Dirichlet-brug:
   Het artikel stelt een strikte ongelijkheid vast die de niet-lokale overdrachtsterm $T_{G,\chi}[G]$ relateert aan de zichtbaarheid $V_\chi[G]$:
   $$|T_{G,\chi}[G]| \le \theta V_\chi[G] + C E_{dir}[G], \quad 0 < \theta < 1$$
   De coëfficiënt $\theta < 1$ wordt afgeleid via een geconstrueerd Ekeland–Pohozaev-argument op een "nul-fout" toelaatbare klasse. Door de homogeniteit van de overdrachtsterm (graad $3/2$) versus de zichtbaarheidsterm (graad $2$) onder dilatatie te analyseren, tonen de auteurs aan dat geen enkele rij de overdrachtsquotiënt op niveau 1 of hoger kan verzadigen zonder de variatiebeperkingen te schenden.

2. Extractie van Finit Overlappende Nakomelingen:
   Het artikel bewijst dat als een component van de fijn-drempelfout (lekkage, staart, bron, laagfrequentie of fragmentatie) groot is, dit noodzakelijkerwijs een nakomelingpakket produceert met een strikt kleinere selectie-ordening en een positieve gecorrigeerde score.

   • Lekkage/Staart/Laagfrequentie: Grote waarden in deze kanalen maken de extractie van een sub-pakket (hercenterd of verschoven) mogelijk dat een fractie van de score draagt.
   • Bron-naar-Score Conversie: Een kritiek lemma toont aan dat een grote afgeleide bron $-\partial_z(\Gamma_e^2)$ kan worden omgezet in een positief $G$-score nakomelingpakket met behulp van een teken-aangepast geconjugeerd warmtepakket. Deze stap isoleert de bijdrage van de draaiingskracht aan de wervelconcentratie.

3. Pakketcontractie en Dichotomie:
   Voor een minimaal eerste-drempelpakket (een pakket dat geen nakomelingen met vergelijkbare score heeft) impliceert de extractie met finit overlap dat alle fouttermen perturbatief (klein) moeten zijn. Bijgevolg contracteren de strikte brug en de lokale energiebalans de score van het pakket, wat leidt tot een contradictie: de score van het pakket kan niet groot genoeg zijn om een drempel te vormen als alle fouten klein zijn.

Hoofdresultaat
Stelling 2.1: Laat $u_0 \in H^1(\mathbb{R}^3)$ glad, divergentievrij en asysmmetrisch met draaiing zijn. De corresponderende gladde oplossing $u$ bestaat globaal ($T_{\max} = \infty$) en blijft voor alle tijd glad.

Het bewijs verloopt door aan te tonen dat als er een singulariteit zou ontstaan op een eindige tijd $T$, de kritieke omhullende $Max(t)$ noodzakelijkerwijs zou ontploffen. Het argument van de eerste drempel toont echter aan dat $Max(t)$ een eindige bovengrens niet kan overschrijden die wordt bepaald door de beginenergie, waardoor de vorming van een singulariteit wordt uitgesloten.

Betekenis en Claims
Het artikel claimt een direct bewijs te leveren van globale regulariteit voor deze klasse, waarbij de noodzaak van conditionele regulariteitscriteria die uitgaan van de begrensdheid van bepaalde normen wordt vermeden.

• Directheid: Het argument is georganiseerd rond het niet-bestaan van een "eerste drempel" in plaats van de propagatie van grenzen vanuit een bekende reguliere toestand.
• Isolatie van Mechanismen: Het artikel isoleert de specifieke lokale mechanismen die vereist zijn voor de asysmmetrische sluiting: de strikte brug (via Ekeland–Pohozaev), de bron-naar-score conversie en de extractie met finit overlap.
• Rol in de Serie: Dit artikel (Deel I) vestigt de sluitstelling voor de klasse van asysmmetrisch met draaiing. De auteurs stellen dat het begeleidende Deel II-artikel dit resultaat pas gebruikt nadat een driedimensionaal front-end-mechanisme een algemeen eerste-drempelpakket reduceert tot de compatibiliteitsklasse van asysmmetrisch met draaiing.

Het werk vertrouwt op standaard analytische input (Calderón–Zygmund-theorie, Hardy–Littlewood–Sobolev-schattingen, het variatieprincipe van Ekeland en De Giorgi–Moser-iteratie), maar synthetiseert deze in een nieuw "direct-drempel"kader dat is toegespitst op de opgeheven vijfdimensionale geometrie van het asysmmetrische draaiingsprobleem.