Single exponential $H^1$-upper bounds for the primitive equations

Technische Samenvatting: Enkelvoudige Exponentiële H1-Bovengrenzen voor de Primitieve Vergelijkingen

Probleemstelling
Het artikel onderzoekt de driedimensionale primitieve vergelijkingen die de grootschalige geofysische stromingen (atmosfeer en oceaan) beheersen binnen een horizontaal periodieke doosvormige domein $\Omega = G \times (-h, 0)$. Het systeem bevat volledige viscositeit en is onderworpen aan ofwel homogene Neumann- of Dirichlet-randvoorwaarden op de boven- en ondergrenzen, met periodieke voorwaarden op de laterale grenzen. Het primaire doel is het vaststellen van a priori grenzen voor sterke oplossingen $v$ in de ruimte $L^\infty(0, \infty; H^1(\Omega)) \cap L^2(0, \infty; \dot{H}^2(\Omega))$.

Specifiek behandelt dit werk de groeisnelheid van deze grenzen met betrekking tot de initiële data $a$ en tijd $t$. Bestaande literatuur, met name de resultaten over globale welgebondenheid door Cao en Titi [3], biedt bovengrenzen die dubbel exponentieel groeien met betrekking tot de initiële data en tijd. Latere werken [9, 10, 7] verbeterden de tijdsafhankelijkheid of behandelden specifieke randvoorwaarden, maar behielden over het algemeen ten minste een dubbel exponentiële afhankelijkheid van de initiële data of tijd, vaak leunend op logaritmische Sobolev-ongelijkheden of specifieke kleinheidsveronderstellingen.

Methodologie
De auteur maakt gebruik van een reeks energie-schattingen en interpolatie-ongelijkheden om de grenzen af te leiden, waarbij de benadering wordt onderscheiden op basis van de randvoorwaarden:

1. Neumann Randvoorwaarden (Propositie 1):

   • Het bewijs maakt gebruik van $L^q$-schattingen voor de horizontale snelheid $v$ (specifiek $q=4, 8$) en $L^r$-schattingen voor de verticale afgeleide $v_z$ (specifiek $r=2, 4$).
   • De methode steunt op de annihilatie-eigenschappen van de convectieterm en de Calderón–Zygmund-ongelijkheid om de drukterm te behandelen.
   • Een cruciale moeilijkheid in deze setting is de afwezigheid van de Poincaré-ongelijkheid voor $v$ (aangezien het gemiddelde van $v$ niet noodzakelijkerwijs nul is). Bijgevolg levert de initiële afleiding een grens op die afhankelijk is van de tijd ($e^{C\sqrt{t}}$).

2. Dirichlet Randvoorwaarden (Stelling 1):

   • Om een tijdsonafhankelijke grens te bereiken, verschuift de auteur de schattingsstrategie naar $L^6$-schattingen voor $v$ en $L^3$-schattingen voor $v_z$.
   • Een kritische technische uitdaging in het Dirichlet-geval is de koppeling tussen de drukterm $\pi$ en de randwaarden. De drukgradiënt $\nabla_H \pi$ wordt ontleed in $\nabla_H \pi_1$ (afhankelijk van de bulk-nietlineariteit) en $\nabla_H \pi_2$ (afhankelijk van de randtrace van $v_z$).
   • Het bewijs lost de onderlinge afhankelijkheid tussen de $L^q$-schatting voor $v$ en de $L^r$-schatting voor $v_z$ op door zorgvuldig het paar $(q, r) = (6, 3)$ te kiezen. Dit maakt het mogelijk om de randtermen die in de ene schatting optreden te beheersen door de dissipatietermen in de andere.

3. Verfijning voor het Neumann-geval (Stelling 1):

   • Om de tijdsafhankelijkheid die in Propositie 1 werd gevonden te elimineren, introduceert de auteur de fluctuatievariabele $\tilde{v} = v - \bar{v}$ (waarbij $\bar{v}$ het verticale gemiddelde is).
   • Aangezien $\tilde{v}$ een Poincaré-type ongelijkheid vervult ($\|\tilde{v}\|_{L^q} \leq C \|v_z\|_{L^q}$), richt de analyse zich op $L^6$-schattingen voor $\tilde{v}$ en $L^3$-schattingen voor $v_z$.
   • Deze benadering behandelt effectief de "lagere orde termen" die eerder voor tijdsgroei zorgden, door gebruik te maken van het feit dat het gemiddelde van de verticale afgeleide nul is.

Belangrijkste Resultaten
Het artikel stelt de volgende hoofdstelling vast voor zowel Neumann- als Dirichlet-randvoorwaarden:

Voor initiële data $a \in H^1(\Omega)$ met $a_z \in L^3(\Omega)$ (en die voldoet aan compatibiliteitsvoorwaarden), voldoet de sterke oplossing $v$ aan:
$$\|v(t)\|_{H^1(\Omega)}^2 + \int_0^t \|\nabla^2 v(s)\|_{L^2(\Omega)}^2 \, ds \leq B(a) e^{C\|a\|_{L^2(\Omega)}^2}$$
voor alle $t \in [0, T]$, waarbij $B(a)$ een polynoomfunctie is van de normen van de initiële data, en $C$ een constante is die enkel afhankelijk is van het domein $\Omega$.

Cruciaal is dat de exponentiële factor alleen afhankelijk is van het kwadraat van de $L^2$-norm van de initiële data, $\|a\|_{L^2(\Omega)}^2$, en onafhankelijk is van de tijd $t$.

Betekenis en Claims
Het artikel claimt twee primaire bijdragen:

1. Reductie van Exponentiële Groei: De afgeleide bovengrens is enkelvoudig exponentieel met betrekking tot de initiële data ($e^{C\|a\|_{L^2}^2}$), wat scherp contrasteert met de dubbel exponentiële grenzen ($e^{e^{C\|a\|^2}}$) in de bestaande literatuur (bijv. [3, 9, 10, 7]). Dit vertegenwoordigt een significante verbetering in het kwantitatieve begrip van de stabiliteit van de primitieve vergelijkingen.
2. Uniform-in-Tijd Schattingen voor het Neumann-geval: Het artikel biedt wat het claimt te zijn de eerste uniform-in-tijd $H^1$ bovengrens voor de Neumann-randvoorwaarde. In deze setting is de standaard Poincaré-ongelijkheid niet beschikbaar voor het snelheidveld $v$, waardoor het afleiden van tijdsonafhankelijke grenzen niet-trivial is en voorheen niet bereikt is in de literatuur.

De auteur merkt op dat hoewel het Dirichlet-geval exponentiële verval toestaat als $t \to \infty$ wanneer de Poincaré-ongelijkheid wordt toegepast, dit specifieke vervalgedrag niet het primaire focuspunt van het huidige werk is. De resultaten worden gepresenteerd als a priori schattingen voor sterke oplossingen, uitgaande van hun bestaan, wat wordt ondersteund door eerdere lokale existentie-resultaten.