On uniqueness of solutions to stochastic Navier--Stokes equations

Technische Samenvatting: Over de Uniciteit van Oplossingen voor Stochastische Navier-Stokes-vergelijkingen

Probleemstelling
Het artikel behandelt het probleem van uniciteit en continue afhankelijkheid van beginvoorwaarden voor oplossingen van de stochastische Navier-Stokes-vergelijkingen (SNSE). Terwijl klassieke resultaten door Leray en Hopf de existentie van zwakke oplossingen vaststellen voor de deterministische vergelijkingen, en uniciteit bekend is voor het tweedimensionale geval, blijft het driedimensionale deterministische probleem met betrekking tot de uniciteit van zwakke oplossingen openstaand. Recent werk heeft non-uniciteit aangetoond voor specifieke 3D deterministische gevallen, wat motiveert om te zoeken naar "conditionele uniciteit"-stellingen.

De auteurs breiden dit onderzoek uit naar de stochastische setting, waarbij specifiek wordt gekeken naar vergelijkingen die simultaan worden gedreven door multiplicatieve Wiener-processen en gecompenseerde Poisson-willekeurige maten (sprongruis). De studie richt zich op het vaststellen van uniciteit binnen een beperkte klasse van oplossingen (admissible oplossingen) op willekeurige Lipschitz-domeinen, waarmee zij verder gaan dan de gehele ruimte $\mathbb{R}^d$.

Methodologie
De auteurs hanteren een functioneel-analytische benadering die geworteld is in de theorie van stochastische evolutievergelijkingen in Gelfand-triples ($V \hookrightarrow H \hookrightarrow V^*$). De kernmethodologie omvat:

1. Herformulering van Ruis: De auteurs maken gebruik van een techniek (verwijzend naar [29]) om stochastische Itô-integralen met betrekking tot martingaalmaten (Poisson-ruis) te herschrijven als stochastische integralen met betrekking tot Hilbert-ruimte-georiënteerde martingalen. Hierdoor kan het systeem dat door zowel Wiener- als Poisson-ruis wordt gedreven, worden behandeld als een verenigd systeem dat wordt gedreven door een sequentie van martingalen.
2. Admissible Oplossingen en Morrey-ruimtes: Een nieuwe klasse van oplossingen, aangeduid als "admissible oplossingen", wordt geïntroduceerd. Deze oplossingen worden ontleed in een "Morrey-component" ($u_M$) en een "begrensde component" ($u_B$). De Morrey-component voldoet aan een specifieke lokale integreerbaarheidsvoorwaarde gerelateerd aan Morrey-ruimtes ($L^{r, \lambda}$), terwijl de begrensde component essentieel begrensd is. Deze decompositie maakt zwakkere aannames mogelijk dan de klassieke Ladyzhenskaya-Prodi-Serrin (LPS) voorwaarde.
3. Stochastische Energiegelijkheid: Een cruciaal technisch instrument is een gespecialiseerde versie van de Itô-formule voor Banach-ruimte-georiënteerde semimartingalen. Deze formule is aangepast om drift-componenten te verwerken die sommen zijn van $V^*$-georiënteerde en $H$-georiënteerde processen, waarbij het $H$-georiënteerde deel slechts lokaal integreerbaar is in de tijd. Dit is essentieel voor het afleiden van energie-inschattingen voor het verschil tussen twee oplossingen.
4. Energie-inschattingen en Gronwall's Lemma: Door de stochastische energiegelijkheid toe te passen op het verschil tussen twee admissible oplossingen ($w = u - v$), leiden de auteurs differentiële ongelijkheden af. Deze inschattingen rusten op de kleinheid van de Morrey-component van de oplossing en de coërciviteit van de diffusie-operator.

Belangrijkste Bijdragen en Resultaten

• Generalisatie van Ruismodellen: Het artikel breidt de resultaten voor conditionele uniciteit van SNSE die enkel door Wiener-processen worden gedreven (zoals in [32]) uit naar vergelijkingen die simultaan worden gedreven door Wiener-processen en gecompenseerde Poisson-martingaalmaten.
• Uitbreiding naar Lipschitz-domeinen: De resultaten worden vastgesteld voor willekeurige Lipschitz-domeinen, waarmee het eerdere werk dat vaak beperkt was tot de gehele ruimte $\mathbb{R}^d$, wordt gegeneraliseerd.
• Zwakkere Uniciteitsvoorwaarden: De auteurs introduceren een uniciteitscriterium gebaseerd op een "beperkte Hopf-Leray klasse" gedefinieerd door Morrey-type voorwaarden.
  • Theorem 2.2: Stelt vast dat indien een admissible oplossing $u$ voldoet aan een kleinheidsvoorwaarde op zijn Morrey-component ($\hat{u} < \delta/N$), de oplossing uniek is binnen de klasse van admissible oplossingen. Bovendien bewijst het continue afhankelijkheid van begingegevens, wat leidt tot exponentiële stabiliteit voor het deterministische geval (Theorem 2.3).
  • Corollary 2.4: Demonstreert dat de klassieke Ladyzhenskaya-Prodi-Serrin voorwaarde ($u \in L^q(0, T; L^p(\mathbb{R}^d))$ met $d/p + 2/q \leq 1$) de admissible voorwaarde impliceert die vereist is voor uniciteit. Hiermee generaliseren de nieuwe resultaten de klassieke LPS-uniciteitstheorema's naar de stochastische setting met sprongruis.
• Existentie van H-oplossingen: Theorem 2.1 bewijst dat elke admissible oplossing een modificatie bezit die een $H$-waardig càdlàg proces is (een "H-oplossing"), wat garandeert dat de oplossing de nodige regulariteit heeft om puntgewijs in de tijd gedefinieerd te zijn.

Betekenis en Claims
Het artikel claimt bij te dragen aan de richting van conditionele uniciteitsresultaten voor driedimensionale stochastische Navier-Stokes-vergelijkingen, een gebied waar aanzienlijk minder bekend is vergeleken met het tweedimensionale geval of de deterministische existentietheorie.

De auteurs stellen dat hun hoofdbetekenis (Theorem 2.2) conditionele uniciteit vaststelt voor vergelijkingen die door zowel Wiener- als Poisson-ruis worden gedreven op algemene Lipschitz-domeinen. Zij benadrukken dat hun Morrey-type voorwaarde strikt zwakker is dan de klassieke LPS-voorwaarde, waardoor de reikwijdte van begingegevens en krachtvelden wordt vergroot waarvoor uniciteit gegarandeerd kan worden. Het werk biedt ook een stabiliteitsresultaat (Theorem 2.3) voor het deterministische geval, waarbij exponentiële convergentie van oplossingen wordt getoond onder de afgeleide kleinheidsvoorwaarden.

Het artikel claimt niet het globale uniciteitsprobleem voor willekeurige zwakke oplossingen in 3D op te lossen, maar biedt eerder een rigoureus kader voor uniciteit onder specifieke, zij het zwakkere, structurele aannames over de regulariteit van de oplossing. De resultaten worden gepresenteerd als generalisaties van eerdere deterministische en stochastische bevindingen, specifiek de uitbreiding van het werk van [32] naar de inclusie van sprongruis en meer algemene domeinen.