Weak and strong averaging principle for 2D Boussinesq equations with non-Lipschitz Poisson jump noise

Technische Samenvatting: Zwakke en Sterke Mittelingsprincipes voor 2D Boussinesq-vergelijkingen met Niet-Lipschitziaanse Poisson-sprongruis

Probleemstelling
Dit artikel onderzoekt het mittelingsprincipe (averaging principle) voor twee-dimensionale (2D) Boussinesq-vergelijkingen gedefinieerd op een torus $T^2$, onderhevig aan niet-Lipschitziaanse Poisson-sprongruis. Het systeem modelleert de vloeistofstroom en warmteoverdracht waarbij het snelheidveld $u$ en het temperatuurveld $\theta$ met elkaar interageren. De studie richt zich op een stochastisch systeem met twee tijdsschalen waarbij de temperatuurvariabele zich op een snelle tijdschaal ontwikkelt ten opzichte van de vorticiteitsvariabele $j$ (gedefinieerd als de rotatie van de snelheid). De leidende vergelijkingen worden gedreven door gecompenseerde Poisson-random-metingen en de coëfficiënten voldoen aan niet-Lipschitziaanse condities, specifiek gekenmerkt door een concave, continue, niet-dalende functie $\kappa(\cdot)$, in plaats van standaard Lipschitz-bounds. Het primaire doel is om rigoureus te bewijzen dat naarmate de tijdschaalscheidingsparameter $\varepsilon \to 0$, de trage variabele (vorticiteit) convergeert naar de oplossing van een gemiddelde vergelijking.

Methodologie
De auteurs hanteren een meerstaps analytisch kader dat stochastische analyse, functionele analyse en ergodentheorie combineert:

1. Welgedetermineerdheid en Regulariteit: Het artikel stelt eerst de existentie en uniciteit van oplossingen vast voor het oorspronkelijke tweeschalige systeem onder niet-Lipschitziaanse condities. Gebruikmakend van de Itô-formule voor Lévy-ruis en de Burkholder-Davis-Gundy (B-D-G) ongelijkheid, leiden de auteurs uniforme regulariteitsmaten en compactheidseigenschappen (tightness) af voor de vorticiteitsvariabele $j^\varepsilon$.
2. Ergodiciteit van de Bevroren Vergelijking: Om de gemiddelde vergelijking te construeren, analyseren de auteurs de "bevroren" vergelijking voor de snelle temperatuurvariabele $\theta$, waarbij de trage variabele $j$ als een vaste parameter wordt beschouwd. Zij bewijzen het bestaan van een unieke ergodische invariante maat $\pi^u$ voor dit bevroren systeem en stellen exponentiële convergentie naar dit evenwicht vast.
3. Constructie van de Gemiddelde Vergelijking: De gemiddelde coëfficiënten ($\bar{f}, \bar{\sigma}_1, g$) worden gedefinieerd als integralen van de oorspronkelijke coëfficiënten met betrekking tot de invariante maat $\pi^u$. Het artikel demonstreert dat deze gemiddelde coëfficiënten de noodzakelijke niet-Lipschitziaanse continuiteitseigenschappen behouden om de welgedetermineerdheid van de limiterende gemiddelde vergelijking te waarborgen.
4. Convergentiebewijzen:
   • Zwakke Convergentie: Door gebruik te maken van de compactheid van de familie van distributies en het Skorohod-representatietheorema, bewijzen de auteurs dat de vorticiteitsvariabele in waarschijnlijkheid convergeert naar de oplossing van de gemiddelde vergelijking.
   • Sterke Convergentie: Onder de specifieke conditie dat de ruisterm in de trage vergelijking ($\sigma_1$) niet afhankelijk is van de snelle variabele $\theta$, maken de auteurs gebruik van Khasminski's tijd-discretisatiemethode. Zij construeren een hulp-proces en passen de Bihari-ongelijkheid toe om sterke convergentie in de $2p$-de gemiddelde macht te bewijzen.

Belangrijkste Bijdragen en Resultaten

• Extensie naar Niet-Lipschitziaanse Ruis: Het artikel generaliseert het middelingsprincipe naar stochastische Boussinesq-vergelijkingen gedreven door Poisson-sprongruis met niet-Lipschitziaanse coëfficiënten, een setting die aanzienlijke uitdagingen biedt vergeleken met standaard Lipschitz of Gaussische ruis-frameworks.
• Rigoureuze Convergentiestellingen:
  • Theorem 5.2 (Zwakke Convergentie): Er wordt bewezen dat voor elke $T > 0$ en $\eta > 0$, $\lim_{\varepsilon \to 0} P(\sup_{t \in [0,T]} |j^\varepsilon - \bar{j}|_H > \eta) = 0$.
  • Theorem 5.3 (Sterke Convergentie): Onder de aanname dat de trage ruis onafhankelijk is van de snelle variabele, wordt sterke convergentie vastgesteld: $\lim_{\varepsilon \to 0} E[\sup_{t \in [0,T]} |j^\varepsilon_t - \bar{j}_t|^{2p}_H] = 0$.
• Ergodische Analyse: De studie biedt gedetailleerde schattingen op de ergodiciteit van de bevroren temperatuurvergelijking, inclus�am de bounds op de invariante maat en convergentiesnelheden, die cruciaal zijn voor het definiëren van de gemiddelde drift- en diffusietermen.
• Numerieke Validatie: Een specifiek voorbeeld met niet-Lipschitziaanse machtswet-termen ($|j|^{2/3}$, $|\theta|^{1/3}$) wordt geconstrueerd. Numerieke simulaties met 100 monsters bevestigen de theoretische voorspellingen, waarbij wordt getoond dat de gemiddelde kwadratische fout afneemt naarmate $\varepsilon$ kleiner wordt, wat consistent is met de afgeleide convergentiesnelheden.

Betekenis
Het artikel adresseert een gat in de literatuur betreffende multi-schaal stochastische fluïdumdynamica, specifiek waar snelle variabelen voldoen aan reactie-diffusievergelijkingen met convectietermen en niet-Lipschitziaanse ruis. De auteurs merken op dat bestaande resultaten vaak abstracte reactie-diffusiestructuren vereisen die verschillen van het Boussinesq-model. Door zowel de convectietermen als de niet-Lipschitziaanse condities simultaan te behandelen, biedt dit werk een robuuste theoretische fundering voor het benaderen van complexe multi-schaal fluïdum-thermische systemen. De resultaten zijn significant voor het begrijpen van het statistische gedrag van dergelijke systemen over lange tijdschalen en voor het ontwikkelen van reduced-order modellen die de essentiële dynamica van de trage variabelen vastleggen terwijl de snelle fluctuaties worden gemiddeld. De numerieke voorbeelden onderbouwen de theoretische bevindingen en demonstreren de praktische toepasbaarheid van de afgeleide middelingsprincipes.