Anisotropic Inviscid Limit for the Navier-Stokes Equations with Transport Noise Between Two Plates

1. Probleemstelling en Context

Het artikel onderzoekt de anisotrope viscositeitslimiet (inviscid limit) van de 3D stochastische Navier-Stokes-vergelijkingen, gepositioneerd tussen twee horizontale platen (het domein $\mathcal{O} = \mathbb{T}^2 \times (0, 1)$).

• De Vergelijking: Het systeem bevat een stochastische term van het type "transport-stretching noise" (geïntroduceerd door Holm via Lie-transport), die de invloed van turbulente schommelingen op de vloeistofstroom modelleert.
• Anisotropie: Een cruciaal aspect is dat de turbulente viscositeit wordt opgesplitst in horizontale ($\nu_h$) en verticale ($\nu_z$) componenten. De limiet wordt genomen waarbij beide viscositeiten naar nul gaan, maar met een specifieke verhouding: $\nu_z / \nu_h \to 0$. Dit is relevant voor geofysische fluïdamechanica (bijv. oceanografie), waar de Corioliskracht horizontale diffusie versterkt, waardoor $\nu_z$ veel kleiner is dan $\nu_h$.
• Randvoorwaarde: Er wordt gebruikgemaakt van de no-slip randvoorwaarde ($u=0$ op de rand), wat bekend staat als een van de moeilijkste problemen in de wiskundige fluïdamechanica. De uitdaging ligt in het reconciliëren van de tangentiële nul-snelheid van de Navier-Stokes-oplossing met de vrije tangentiële snelheid van de Euler-oplossing (die geen viscositeit heeft).
• De Uitdaging van het Ruis: In tegenstelling tot eerdere werken, wordt de ruis hier niet als divergentievrij (divergence-free) aangenomen. De anisotrope schaling van de ruisfuncties vernietigt de divergentievrije eigenschap van de ruimtelijke correlatiefuncties, wat de standaard energie-estimaten in de analyse van transportruis ondermijnt.

2. Methodologie

De auteur hanteert een complexe analytische aanpak die voortbouwt op deterministische resultaten (Masmoudi [55]) maar deze aanpast voor stochastische en anisotrope contexten.

• Stochastische Formulering:
  • De vergelijking wordt geformuleerd met een Cylindrische Brownse Beweging ($W$).
  • De ruisoperator wordt opgesplitst in horizontale en verticale componenten, geschaald met respectievelijk $\nu_h^{1/2}$ en $\nu_z^{1/2}$.
  • De Stratonovich-integraal wordt omgezet naar een Itô-formulering. Dit introduceert een correctieterm (Itô-Stratonovich corrector) die kruistermen bevat tussen $\nu_h$ en $\nu_z$.
• Omgaan met de niet-divergentievrije ruis:
  • Normaal gesproken vereist transportruis dat de correlatiefuncties $\xi_i$ divergentievrij zijn om energie-estimaten te sluiten. Omdat de anisotrope schaling dit niet garandeert, gebruikt de auteur een verfijnde schatting.
  • Door de divergentie-term expliciet te houden en gebruik te maken van Young's ongelijkheid, wordt aangetoond dat de extra termen die ontstaan door de niet-divergentievrije aard van de ruis, kunnen worden "verborgen" in de viskeuze gladmakende termen ($\nu_h$ en $\nu_z$), mits de verhouding $\nu_z/\nu_h$ klein genoeg is.
• Randcorrector (Boundary Corrector):
  • Om het verschil tussen de Navier-Stokes-oplossing ($u$) en de Euler-oplossing ($w$) te analyseren, wordt een randcorrector $B$ geconstrueerd (gebaseerd op Masmoudi's werk). Deze corrector compenseert voor de randvoorwaarden zodat $w+B$ voldoet aan de no-slip voorwaarde.
  • De analyse richt zich op het verschil $v = u - w - B$.
• Constructie van de Ruimte:
  • Omdat zwakke oplossingen voor 3D Navier-Stokes niet uniek zijn, worden martingale zwakke oplossingen geconstrueerd.
  • Om de convergentie te bewijzen, wordt een enkele gefilterde kansruimte gedefinieerd als het oneindige product van de ruimten die de oplossingen voor elke rij van viscositeiten $(\nu_h^k, \nu_z^k)$ ondersteunen. Dit maakt het mogelijk om verwachtingen over de hele rij te nemen.
• Galerkin-benadering:
  • De bewijzen worden uitgevoerd op het niveau van Galerkin-benaderingen om de niet-lineariteit en de projectie-operatoren zorgvuldig te behandelen, voordat de limiet wordt genomen.

3. Belangrijkste Bijdragen

1. Eerste Stochastische Anisotrope Limiet: Dit is het eerste werk dat de anisotrope viscositeitslimiet behandelt voor Navier-Stokes-vergelijkingen met transport-stretching ruis.
2. Omgaan met Niet-Divergentievrije Ruis: Het artikel lost een fundamenteel technisch probleem op: hoe men energie-estimaten kan sluiten wanneer de effectieve ruimtelijke correlatiefuncties van de ruis (door de viskeuze schaling) niet divergentievrij zijn. De auteur toont aan dat de anisotrope schaling dit probleem oplosbaar maakt door de kruistermen te beheersen.
3. Convergentie naar Deterministische Euler: Het bewijst dat de rij van zwakke martingale-oplossingen convergeert naar de sterke oplossing van de deterministische Euler-vergelijking, zolang deze oplossing bestaat. Dit is opmerkelijk omdat de limietvergelijking deterministisch is, hoewel het uitgangspunt stochastisch was.
4. Verfijning van Kato's Criterium: Het werk past de criteria van Kato voor de inviscide limiet toe op een stochastisch, anisotroop systeem met transportruis, en toont aan dat de dissipatie van energie in de randlaag (boundary layer) voldoende is om convergentie te garanderen onder de gegeven schalingsvoorwaarden.

4. Resultaten

Het hoofdstelling (Theorem 3.2) stelt het volgende:

• Gegeven twee rijen van positieve constanten $(\nu_h^k)$ en $(\nu_z^k)$ zodanig dat $\nu_h^k \to 0$ en $\nu_z^k / \nu_h^k \to 0$.
• Dan bestaat er een gefilterde kansruimte en een rij van martingale zwakke oplossingen $(u^k, W^k)$ voor de stochastische Navier-Stokes-vergelijking.
• Deze rij convergeert in $L^2(\Omega; L^\infty([0,T]; L^2_\sigma))$ naar de sterke oplossing $w$ van de deterministische Euler-vergelijking.
• Bovendien gaan de termen die de viskeuze dissipatie vertegenwoordigen ($\nu_h^k \nabla_h u^k$ en $\nu_z^k \partial_z u^k$) naar nul in de $L^2$-norm.

De convergentie vindt plaats over de levensduur van de sterke Euler-oplossing.

5. Betekenis en Impact

• Geofysische Toepassingen: De resultaten zijn direct relevant voor het modelleren van grote schaal atmosferische en oceanische stromingen, waar anisotrope turbulentie en rotatie-effecten (Coriolis) dominant zijn. Het valideert het gebruik van anisotrope modellen in de limiet van lage viscositeit.
• Stochastische Fluïdamechanica: Het werk vult een belangrijke lacune in de theorie van stochastische Navier-Stokes-vergelijkingen. Het toont aan dat transportruis, zelfs zonder de gebruikelijke divergentievrije aanname, kan worden gecontroleerd in de context van de inviscide limiet.
• Wiskundige Strenheid: Het biedt een robuust raamwerk voor het analyseren van randvoorwaarden in stochastische systemen met complexe ruisstructuren, wat een uitdaging was voor eerdere methoden die afhankelijk waren van de divergentievrije eigenschap van de ruis.

Samenvattend levert dit artikel een rigoureuze wiskundige onderbouwing voor het gedrag van turbulente vloeistoffen met anisotrope ruis wanneer de viscositeit verdwijnt, en overbrugt het de kloof tussen deterministische geofysische modellen en stochastische turbulente theorie.