Dissipative solutions to randomly forced 3D Euler equations

Dit artikel presenteert de constructie van probabilistisch sterke, willekeurig gedissipatieve oplossingen voor de driedimensionale Euler-vergelijkingen met additief ruis en bewijst vervolgens diverse resultaten over niet-uniciteit en ergoditeit voor deze systemen.

De kern

De Dans van het Chaos: Een Simpele Uitleg van de 3D Euler-vergelijkingen

Stel je voor dat je naar een enorme, onzichtbare dansvloer kijkt. Op deze vloer dansen miljarden kleine deeltjes (zoals moleculen in lucht of water). De regels van deze dans worden beschreven door de Euler-vergelijkingen. Dit zijn wiskundige formules die zeggen hoe een ideaal vloeistof (zoals water zonder wrijving) zich gedraagt.

In de echte wereld is er echter nooit alleen maar een perfecte dans. Er is altijd wat ruis: de wind die door een raam waait, trillingen van de grond, of microscopische warmtebewegingen. In dit artikel kijken de auteurs naar wat er gebeurt als je die willekeurige ruis (noem het "toeval") toevoegt aan de dans.

Hier is wat ze hebben ontdekt, vertaald in alledaags taal:

1. Het Probleem: De Dans is niet Uniek

Stel je voor dat je twee dansers hebt die precies dezelfde muziek horen en op hetzelfde moment beginnen. In een perfecte, voorspelbare wereld zouden ze exact dezelfde bewegingen maken.

Maar in de wiskundige wereld van deze vloeistoffen bleek dat dit niet zo is. Zelfs als je begint met exact dezelfde situatie, kunnen er twee totaal verschillende dansen ontstaan die allebei de regels volgen. Dit heet "niet-uniekheid". Het is alsof je twee dobbelstenen gooit die precies hetzelfde vallen, maar dan toch twee verschillende uitkomsten geven.

De auteurs van dit artikel hebben bewezen dat dit ook gebeurt als je willekeurige krachten (zoals een stootje van een willekeurige windvlaag) toevoegt aan het systeem. Ze hebben zelfs bewezen dat je niet één, maar twee verschillende "statistische dansers" kunt maken die allebei geldig zijn.

2. De Oplossing: Convex Integratie (De "Lego-methode")

Hoe hebben ze dit bewezen? Ze gebruiken een techniek die ze convex integratie noemen.

• De Analogie: Stel je voor dat je een heel gladde, perfecte muur wilt bouwen (de oplossing). Maar je wilt dat de muur eruitziet alsof hij vol zit met kleine, onzichtbare gaten en oneffenheden die de energie verbruiken.
• De Methode: Ze beginnen met een ruwe schets. Dan voegen ze heel veel kleine, snelle trillingen toe (zoals kleine Lego-blokjes die je in en uit de muur duwt). Ze doen dit stap voor stap. Bij elke stap maken ze de trillingen sneller en kleiner, maar ze blijven de "gaten" in de energie opvullen.
• Het Resultaat: Uiteindelijk hebben ze een muur die er glad uitziet voor het blote oog, maar die in feite vol zit met chaos. Deze chaos zorgt ervoor dat energie verdwijnt (dissipatie), precies zoals in de echte natuur, maar dan zonder dat er wrijving is.

3. De "Lokale Energie-ongelijkheid" (De Rekenfout die niet mag)

In de natuur geldt een simpele regel: energie kan niet zomaar uit het niets ontstaan. Als je een danser ziet die plotseling sneller draait zonder dat er iemand duwt, is er iets mis.

De auteurs hebben bewezen dat hun oplossingen een lokale energie-regel respecteren.

• Simpele uitleg: Als je op één klein plekje in de dansvloer kijkt, kan de energie daar nooit toenemen door de chaos van de dans zelf. Het kan alleen maar afnemen of gelijk blijven.
• Waarom is dit belangrijk? Veel eerdere wiskundige oplossingen voor deze vergelijkingen waren "raar": ze lieten energie uit het niets ontstaan op bepaalde plekken. Deze nieuwe oplossingen zijn "echter": ze gedragen zich zoals een echte vloeistof zou moeten doen, zelfs als ze wiskundig heel complex zijn.

4. De "Ergodische" Verrassing: Twee Werelden, Eén Regels

Het tweede grote deel van het artikel gaat over ergodische metingen.

• De Analogie: Stel je voor dat je een statistieken verzamelt over een dansvloer over een heel lange tijd. Meestal denk je dat er één "gemiddelde dans" is waar alles naartoe neigt.
• De Verrassing: De auteurs tonen aan dat er twee verschillende "gemiddelden" kunnen bestaan die allebei stabiel zijn.
  • In de ene wereld dansen de deeltjes heel energiek en snel.
  • In de andere wereld dansen ze iets rustiger.
  • Beide werelden worden aangedreven door exact dezelfde willekeurige krachten (dezelfde wind, dezelfde stoten).
• De Conclusie: Je kunt niet voorspellen welke "wereld" je krijgt door alleen naar de krachten te kijken. Het systeem heeft een soort geheugen of keuzevrijheid. Dit is een enorme doorbraak, omdat het betekent dat wiskundige modellen van turbulentie (zoals in het weer of stroming) veel complexer zijn dan we dachten.

Samenvatting in één zin

De auteurs hebben bewezen dat als je willekeurige krachten toevoegt aan de beweging van een vloeistof, er niet één, maar meerdere mogelijke toekomstige paden bestaan die allemaal de natuurwetten volgen, en dat deze paden energie op een realistische manier verliezen, net als in de echte wereld.

Het is alsof ze hebben bewezen dat als je twee dobbelstenen gooit, je niet alleen kunt zeggen "het is een 6", maar dat er twee verschillende soorten "6" zijn die allebei geldig zijn, en dat je niet kunt weten welke je krijgt voordat je begint.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Dissipative Solutions to Randomly Forced 3D Euler Equations" van Umberto Pappalettera en Francesco Triggiano, in het Nederlands.

Titel: Dissipatieve oplossingen voor willekeurig geforceerde 3D Euler-vergelijkingen

1. Het Probleem

Het artikel richt zich op de stochastische 3D Euler-vergelijkingen, die de evolutie van een ideaal vloeistof beschrijven onder invloed van additief ruis (willekeurige externe krachten). De vergelijkingen worden gegeven door:
$$du + \text{div}(u \otimes u) dt + \nabla p dt = Q^{1/2} dW, \quad \text{div}(u) = 0$$
waarbij $W$ een Wiener-proces is en $Q$ de covariantie-operator van de ruis.

De auteurs willen twee fundamentele problemen oplossen:

1. Bestaan en Uniekheid: Het construeren van probabilistisch sterke oplossingen die continu zijn in de tijd en Hölder-continu in de ruimte, en die voldoen aan een lokale energie-ongelijkheid (Local Energy Inequality - LEI). In deterministische settings is bekend dat dergelijke oplossingen niet uniek zijn; in de stochastische setting was dit tot nu toe minder goed onderzocht, hoewel recente werken (zoals [HZZ22]) al onbepaaldheid in wet (non-uniqueness in law) hebben aangetoond.
2. Ergoditeit: Het onderzoeken van de ergodische eigenschappen van deze systemen. De ergodische hypothese stelt dat er een evenwichtsmaat bestaat waarover tijdgemiddelden convergeren naar ruimtelijke gemiddelden. Echter, voor geforceerde systemen is het een open vraag of er unieke stationaire oplossingen bestaan die strikt dissipatief zijn (d.w.z. energie verliezen door turbulentie en niet statisch zijn).

2. Methodologie: Convex Integratie

De kern van de bewijstechniek is de toepassing van het convex integratie-schema (geïntroduceerd door De Lellis en Székelyhidi Jr.), aangepast aan de stochastische context.

• Iteratief Schema: De auteurs construeren een rij van benaderende oplossingen $(v_q, p_q, R_q, \phi_q)$ die de Euler-vergelijkingen oplossen tot op een foutterm (Reynolds-spanning $R_q$ en energiestroom $\phi_q$). In de limiet ($q \to \infty$) verdwijnen deze fouttermen.
• Da Prato-Debussche Truc: Voor het stochastische geval (Theorema 1.1) wordt de oplossing ontbonden als $u = v + z$, waarbij $z$ de lineaire stochastische component is ($z = Q^{1/2}W$) en $v$ een deterministische component is die een willekeurige PDE oplost. Dit maakt het mogelijk om de ruis te "absorberen" en het convex integratie-schema toe te passen op het deterministische deel $v$.
• Mikado-stromen: De perturbaties (correcties) in elke iteratiestap worden opgebouwd uit hoog-frequentie trillende vectorvelden (Mikado-flows) die moduleren door scalaire amplitude-functies. Deze worden zorgvuldig gekozen om de Reynolds-spanning en de energiestroom te compenseren.
• Lokale Energie-ongelijkheid: Een cruciaal aspect is het handhaven van de lokale energie-ongelijkheid tijdens het iteratieproces. De auteurs bouwen een extra term in de constructie in die zorgt voor een strikte dissipatie (energieverlies) in plaats van een gelijkheid, wat essentieel is voor de fysieke relevantie van de oplossingen.
• Ergodische Maatconstructie: Voor de ergodische resultaten (Theorema 1.2 en 1.4) gebruiken ze de Krylov-Bogoliubov-methode. Ze construeren een rij van tijds-gemiddelde maten over de padruimte en tonen aan dat deze een convergente deelrij hebben die convergeert naar een ergodische maat. Ze tonen aan dat er meerdere verschillende ergodische maten bestaan die voldoen aan dezelfde externe krachtenwet.

3. Belangrijkste Bijdragen en Resultaten

Theorema 1.1: Bestaan van Dissipatieve Oplossingen

De auteurs bewijzen het bestaan van probabilistisch sterke oplossingen $(u, p)$ voor de stochastische Euler-vergelijkingen met de volgende eigenschappen:

• Regelmatigheid: De oplossing is $P$-bijna zeker continu in de tijd en Hölder-continu in de ruimte ($C^\alpha$ met $\alpha < 1/7$).
• Lokale Energie-ongelijkheid: De oplossing voldoet aan de lokale energie-ongelijkheid (LEI) tot aan een willekeurig grote stop-tijd. Dit betekent dat er lokaal energie kan worden gedissipeerd door singulariteiten in de oplossing, wat overeenkomt met het fysieke concept van turbulentie.
• Niet-uniekheid in wet: Binnen deze klasse van oplossingen is de wet (probability law) van de oplossing niet uniek. Er bestaan meerdere oplossingen die voldoen aan dezelfde initiële conditie en ruis.

Theorema 1.2 en 1.4: Niet-Unieke Ergoditeit

De auteurs tonen aan dat er twee verschillende ergodische maten ($\mu_1, \mu_2$) bestaan op de padruimte van de oplossingen van de geforceerde Euler-vergelijkingen, zodanig dat:

• Genuïne Willekeur: De oplossingen onder deze maten zijn niet statisch (steady states); ze fluctueren continu in de tijd.
• Strikte Dissipatie: De oplossingen dissiperen energie (ze zijn niet conservatief).
• Identieke Krachten, Verschillende Oplossingen: Het is mogelijk om twee ergodische maten te construeren waarbij de wet van de externe kracht $g$ identiek is, maar de wet van de snelheid $u$ verschilt. Dit betekent dat er geen unieke afbeelding bestaat van de externe kracht naar de stationaire toestand van het systeem.
• Controle op Dissipatie: Ze kunnen de hoeveelheid dissipatie en de statistische eigenschappen van de oplossing bijna willekeurig voorschrijven (binnen bepaalde grenzen), wat aantoont dat het systeem extreem gevoelig is voor de keuze van de ergodische maat.

4. Technische Significatie

• Uitbreiding naar Stochastische Context: Dit werk is een belangrijke stap in het uitbreiden van de theorie van "Onsager's conjecture" en convex integratie naar stochastische partiële differentiaalvergelijkingen (SPDE's). Het toont aan dat de mechanismen die leiden tot niet-uniekheid in deterministische systemen ook gelden in de aanwezigheid van ruis.
• Fysieke Relevantie: Door oplossingen te construeren die voldoen aan de lokale energie-ongelijkheid, benadert het werk de fysieke realiteit van turbulente stromingen beter dan eerdere wiskundige constructies die alleen globale energie-ongelijkigheden garandeerden.
• Implicaties voor Turbulentie: De resultaten ondermijnen de uniciteit van statistisch stationaire toestanden in turbulente systemen. Het suggereert dat het vinden van een unieke "evenwichtsstaat" voor turbulente vloeistoffen, zelfs met vaste externe krachten, mogelijk onmogelijk is zonder extra selectiecriteria (zoals viscositeit in de limiet).
• Technische Innovatie: De paper introduceert geavanceerde technieken om de interactie tussen de stochastische ruis en de niet-lineaire convectie-termen te beheersen binnen het convex integratie-schema, specifiek door het gebruik van asymmetrische gladmakingsoperatoren (mollifiers) om aanpassing aan de filtratie (adaptedness) te garanderen.

Conclusie

Pappalettera en Triggiano leveren een grondig bewijs dat de 3D Euler-vergelijkingen, zelfs wanneer ze willekeurig geforceerd worden, toelaten tot een rijke structuur van niet-unieke, dissipatieve oplossingen. Ze tonen aan dat er meerdere ergodische toestanden kunnen bestaan voor dezelfde fysieke forcing, wat een diepgaande implicatie heeft voor het begrip van turbulentie en statistische hydrodynamica. Het werk bevestigt dat de "pathologische" eigenschappen van de Euler-vergelijkingen (niet-uniekheid, dissipatie zonder viscositeit) robust zijn ten opzichte van stochastische perturbaties.