Uniform large deviations and long-time dynamics for the 2D anisotropic Navier-Stokes equations on the torus

Technische Samenvatting: Uniforme Grote Afwijkingen en Lange-Termijn Dynamica voor de 2D Anisotrope Navier-Stokes Vergelijkingen op de Torus

Probleemstelling
Dit artikel onderzoekt de tweedimensionale stochastische incompressibele Navier-Stokes vergelijkingen op de torus $\mathbb{T}^2$ die onderhevig zijn aan enkel horizontale dissipatie en additieve ruis. Het systeem wordt gedefinieerd door:
$$du^\varepsilon + (u^\varepsilon \cdot \nabla)u^\varepsilon dt + \nabla p^\varepsilon dt - \partial_1^2 u^\varepsilon dt = \sqrt{\varepsilon} Q^{1/2} dW, \quad \nabla \cdot u^\varepsilon = 0,$$
waarbij de dissipatie-operator $A = -P\partial_1^2$ uitsluitend in de horizontale richting werkt. De afwezigheid van verticale dissipatie creëert een oneindig-dimensionale kern van stationaire toestanden (zuivere verticale afschuivingsmodi) die immuun zijn voor het dissipatieve mechanisme. De auteurs pakken drie primaire uitdagingen aan: het vaststellen van een uniforme Large Deviation Principle (LDP) voor oplossingspaden in de energie-ruimte zonder te vertrouwen op exponentiële compactheid; het analyseren van de lange-termijn mengeigenschappen; en het karakteriseren van de structuur van invariante maten in aanwezigheid van deze gedegenereerde dissipatie.

Methodologie
De analyse verloopt via drie onderscheidende methodologische pijlers:

1. Uniforme Large Deviation Principle (LDP):
   De auteurs maken gebruik van de zwakke convergentie-benadering gecombineerd met een uniforme contractie-principe.

   • Lineaire Analyse: Zij stellen eerst een LDP vast voor het lineaire Ornstein-Uhlenbeck proces $z^\varepsilon$ in de hulpruimte $G = C([0, T]; H) \cap L^2(0, T; \tilde{H}^{1,1})$. Dit berust op het bewijzen van a priori schattingen voor de skeletvergelijking en de compactheid van de oplossingskaart voor begrensde controles.
   • Niet-lineaire Mapping: Een cruciale stap is het construeren van een niet-lineaire kaart $F_x: G \to C([0, T]; H)$ die het lineaire traject naar de oplossing van de volledige stochastische vergelijking stuurt. De auteurs bewijzen een uniforme Lipschitz-schatting voor deze kaart op begrensde verzamelingen van initiële data. Deze schatting maakt gebruik van een nieuwe algebraïsche manipulatie van anisotrope Gagliardo-Nirenberg ongelijkheden en de divergentievrije conditie om de niet-lineaire term $(u \cdot \nabla)u$ te beheersen.
   • Contractie-principe: Door Wang's uniforme contractie-principe toe te passen, leiden zij de LDP af voor het niet-lineaire systeem. Deze benadering omzeilt de noodzaak van de exponentiële compactheidstoestandsconditie die gewoonlijk vereist is in klassieke LDP-bewijzen voor SPDE's, aangezien de Lipschitz-continuïteit is vastgesteld op de gehele hulpruimte $G$.

2. Lange-Termijn Dynamica (Exponentieel Mengen):
   De auteurs analyseren het falen van exponentieel mengen door een specifieke deterministische stationaire toestand $u_0 = (\sin x_2, 0)$ te identificeren die in de kern van de horizontale Stokes-operator ligt. Omdat deze modus een nul horizontale afgeleide heeft, verdwijnt de dissipatieterm, en verdwijnt de niet-lineaire term ook voor dit specifieke profiel. Bijgevolg blijft de $L^2$-norm van het verschil tussen deze stationaire toestand en de nul-oplossing constant in de deterministische limiet. De auteurs gebruiken een tegenstrijdigheidsargument om aan te tonen dat deze ongedempte modus voorkomt dat het stochastische systeem een uniforme exponentiële mengschatting voldoet, zelfs met kleine ruis.

3. Invariante Maten:
   Het artikel onderzoekt het bestaan en de structuur van invariante maten door het deterministische en stochastische geval te contrasteren:

   • Deterministisch Geval: De oneindig-dimensionale kern $N$ van de operator $A$ bestaat volledig uit stationaire toestanden. Zo is elke Dirac-maat $\delta_u$ voor $u \in N$ een invariante maat, wat resulteert in oneindig veel verschillende invariante maten.
   • Stochastisch Geval: De auteurs construeren een specifieke gedegenereerde ruis waarbij het bereik van de ruiscovariantie volledig binnen de kern $N$ ligt. Zij bewijzen dat elke invariante maat voor dit systeem orthogonaal moet zijn aan $N$ (dat wil zeggen $\mu(N) = 0$). Het bewijs toont aan dat als een invariante maat $N$ zou laden, de restrictie van de dynamica tot $N$ zich zou gedragen als een Gaussisch proces met een lineair groeiende variantie in een oneindig-dimensionale ruimte, wat geen invariante waarschijnlijkheidsmaat toelaat.

Kernresultaten

• Uniforme LDP: Het artikel bewijst een uniforme Freidlin-Wentzell LDP voor de oplossingspaden in de energie-ruimte $C([0, T]; H)$, uniform over begrensde verzamelingen van initiële data in $\tilde{H}^{0,1}$. Dit is het eerste dergelijk resultaat voor anisotrope Navier-Stokes vergelijkingen in de energie-ruimte, bereikt zonder de noodzaak van exponentiële compactheid of extra demping.
• Falen van Exponentieel Mengen: Er wordt rigoureus bewezen dat de anisotrope Navier-Stokes vergelijkingen op de torus geen exponentieel mengen vertonen. Het bestaan van de oneindig-dimensionale kern van verticale afschuivingsmodi, die behouden blijven door periodieke randvoorwaarden, voorkomt dat het systeem initiële condities exponentieel snel vergeet.
• Structuur van Invariante Maten:
  • In de deterministische limiet bezit het systeem oneindig veel Dirac invariante maten die overeenkomen met de kern van de horizontale Laplacian.
  • Onder dergelijke gedegenereerde additieve ruis die binnen de kern werkt, moet elke bestaande invariante maat orthogonaal zijn aan de kern. Het artikel toont verder aan dat onder dergelijke ruis de kern zelf geen invariante maat ondersteunt.

Betekenis en Claims
De auteurs positioneren dit werk als een scherp onderscheid tussen anisotrope vergelijkingen op de torus en zowel volledig gedissipeerde Navier-Stokes vergelijkingen als anisotrope vergelijkingen met no-slip (Dirichlet) randvoorwaarden.

• Contrast met Dirichlet Randvoorwaarden: Op begrensde domeinen met no-slip condities houdt de anisotrope Poincaré ongelijkheid stand, is de kern triviaal, en is unieke ergodiciteit (exponentieel mengen) vastgesteld (verwijzend naar Sun, Qiu, en Tang). Op de torus behouden de periodieke randvoorwaarden de oneindig-dimensionale kern, wat de lange-termijn dynamica fundamenteel verandert.
• Methodologische Vooruitgang: De afleiding van de uniforme LDP zonder exponentiële compactheid wordt benadrukt als een significante technische bijdrage, die steunt op de specifieke regulariteit van het lineaire proces in de hulpruimte $G$ en de uniforme Lipschitz-continuïteit van de niet-lineaire kaart.
• Conceptueel Kader: Het artikel biedt een kader voor het begrijpen van gedeeltelijk gedissipeerde systemen, waarbij de kern van de dissipatie-operator wordt geïdentificeerd als de primaire obstructie voor statistische stabiliteit. Het suggereert dat hoewel de ongedempte verticale modi exponentieel mengen voorkomen, de niet-lineaire term de enige potentiële mechanisme blijft voor energietransfer naar de gedissipeerde horizontale modi, hoewel het bestaan van een globale invariante maat voor het algemene stochastische geval een open vraag blijft die verbonden is aan de efficiëntie van deze energiecascade.

De auteurs concluderen dat hun resultaten de rol van randvoorwaarden bij het bepalen van de kwalitatieve lange-termijn dynamica van anisotrope fluïdemodellen verhelderen en een structureel perspectief bieden dat toepasbaar is op toekomstige studies van deels gedissipeerde systemen, zoals anisotrope MHD en primitieve vergelijkingen.