Nontrivial absolutely continuous part of anomalous dissipation measures in time

Dit artikel beantwoordt positief vragen uit eerdere literatuur door nieuwe voorbeelden van oplossingen voor de 4-dimensionale Navier-Stokes-vergelijking te construeren die anormale dissipatie vertonen, waarbij wordt aangetoond dat het bijbehorende dissipatiemaat een niet-triviale absoluut continue component in de tijd heeft.

De kern

Stel je voor dat je een grote, onzichtbare oceaan van lucht of water hebt, zoals de wind die door een stad waait of water dat door een pijp stroomt. Wiskundigen en natuurkundigen proberen al eeuwenlang een simpele regel te vinden voor hoe deze vloeistoffen bewegen. Ze noemen dit de Navier-Stokes-vergelijkingen.

Het probleem is dat deze vloeistoffen vaak "turbulent" worden. Ze draaien, wervelen en gedragen zich chaotisch. Een van de grootste mysteries in de natuurkunde is wat er gebeurt met de energie in zo'n turbulente stroom als je de "wrijving" (viscositeit) van de vloeistof bijna volledig weghaalt.

In de echte wereld (en in computersimulaties) zie je dat energie altijd verdwijnt, zelfs als de vloeistof bijna geen wrijving heeft. Dit noemen ze anomalische dissipatie. Het is alsof je een schaatser op een ijsbaan hebt die stopt, maar niet omdat hij remt, maar omdat de lucht plotseling "zwaar" wordt en hem tegenhoudt, zelfs als er geen wind is.

De auteurs van dit paper, Carl Johan Peter Johansson en Massimo Sorella, hebben een nieuw, ingewikkeld experiment ontworpen om dit fenomeen te begrijpen. Hier is wat ze hebben gedaan, vertaald naar simpele taal:

1. Het Probleem: De "Gevangenis" van de Wiskunde

Vroeger dachten wetenschappers dat als je wrijving (viscositeit) naar nul liet gaan, de energie ook netjes naar nul zou gaan. Maar in de echte wereld is dat niet zo. De energie blijft "lekken".

Eerder onderzoek had al bewezen dat dit kan gebeuren, maar die voorbeelden waren een beetje "valsspelen". Ze lieten de energie alleen op één specifiek moment in de tijd verdwijnen (bijvoorbeeld precies op het einde van de rit). Het was alsof je een bakje water hebt dat de hele tijd vol blijft, en dan op het allerlaatste moment plotseling leegloopt. Dat is niet hoe echte turbulentie werkt; in de echte wereld is het lekken een doorlopend proces.

2. De Oplossing: Een 4D-Lab

De auteurs hebben een wiskundig "lab" gebouwd in 4 dimensies (in plaats van de normale 3 ruimtelijke dimensies).

• De Analogie: Stel je voor dat je een driedimensionale kamer hebt (lengte, breedte, hoogte). Nu voeg je een vierde dimensie toe: de tijd, maar dan als een fysieke ruimte waarin je kunt bewegen.
• In dit lab hebben ze een speciale "wind" (een snelheidsveld) gecreëerd die heel specifiek is ontworpen. Het is als een machine die de vloeistof in steeds kleinere en kleinere kringen draait, net als een mixer die steeds sneller draait.

3. Het Experiment: De "Onzichtbare Mixer"

Ze hebben een vloeistof (of een soort temperatuurverdeling) in dit lab gestopt.

• De Regels: Ze lieten de "wrijving" (viscositeit) steeds kleiner worden, bijna tot nul.
• Het Resultaat: Ze ontdekten dat de energie niet alleen verdween, maar dat het verdwijnen continu gebeurde. Het was niet meer een plotseling leeglopen op het einde, maar een constante stroom van energieverlies die over de hele tijd verspreid was.
• De Meting: Ze bewezen wiskundig dat dit energieverlies een "gladde" curve volgt. Het is alsof je een emmer water hebt met een heel klein gaatje erin: het water loopt niet in één keer weg, maar druppelt constant weg. Dit komt overeen met wat we zien in echte stormen en stromingen.

4. Waarom is dit belangrijk?

Dit paper beantwoordt twee grote vragen die eerder gesteld waren door andere wetenschappers:

1. Bestaat het echt? Ja, ze hebben een voorbeeld gemaakt waar de energie continu verdwijnt, zelfs zonder wrijving.
2. Is het een "val" van de wiskunde? Nee. Ze hebben bewezen dat dit gedrag echt is en niet alleen een artefact van hun berekeningen. Ze laten zien dat de wiskundige modellen die we gebruiken (Navier-Stokes) echt kunnen leiden tot dit soort "anomalische" gedrag, wat essentieel is om te begrijpen hoe weer, oceaanstromingen en zelfs de luchtstroom rond vliegtuigen werken.

De Grootte van de Prestatie

Het is alsof je een heel complexe machine hebt ontworpen die laat zien waarom een rijdende auto stopt, zelfs als je de remmen loslaat en de banden perfect glad zijn. Het toont aan dat er een fundamenteel mechanisme is in de natuur (turbulentie) dat energie "opslorpt".

Kort samengevat:
De auteurs hebben een nieuw wiskundig bewijs geleverd dat laat zien hoe turbulente stromingen (zoals wind of water) energie blijven verliezen, zelfs als ze bijna geen wrijving hebben. Ze hebben dit bewezen door een speciaal 4-dimensionaal model te bouwen waarin dit energieverlies niet op één moment gebeurt, maar continu en soepel verloopt, net zoals we in de echte wereld zien. Dit helpt ons de "zeroth law of turbulence" (een basisregel over hoe energie in de natuur verdwijnt) beter te begrijpen.

Technische samenvatting

1. Probleemstelling en Context

Het artikel richt zich op een fundamenteel open probleem in de wiskundige stromingsleer: het gedrag van de dissipatie in de Navier-Stokes-vergelijkingen bij het verdwijnen van de viscositeit ($\nu \to 0$). Dit staat in direct verband met de tweede wet van de thermodynamica en de nulde wet van turbulentie (Kolmogorov, 1941), die voorspellen dat er in het limietgeval van oneindig hoge Reynoldsgetallen een eindige energiedissipatie optreedt, zelfs als de viscositeit nul wordt.

De auteurs onderzoeken de anomalie dissipatie, gedefinieerd als:
$$\limsup_{\nu \downarrow 0} \nu \int_0^1 \int_{\mathbb{T}^d} |\nabla v_\nu|^2 \, dx \, dt > 0$$
waarbij $v_\nu$ de oplossing is van de Navier-Stokes-vergelijkingen.

Een specifiek en nog onopgelost probleem, geformuleerd in [BDL23], betreft de aard van de maat die ontstaat als de limiet van de dissipatieterm $\nu |\nabla v_\nu|^2$. Bestaande voorbeelden van oplossingen met anomalie dissipatie (vaak gebaseerd op convexe integratie) tonen aan dat de dissipatiemaat vaak singulier is in de tijd (geconcentreerd op een enkel tijdstip, bijvoorbeeld $t=1$). De auteurs willen bewijzen dat er oplossingen bestaan waarbij de dissipatiemaat een niet-triviale absoluut continue component heeft ten opzichte van de Lebesgue-maat in de tijd. Dit zou betekenen dat dissipatie gedurende een tijdsinterval plaatsvindt, wat beter overeenkomt met fysieke observaties van turbulente stromingen.

2. Methodologie

De auteurs gebruiken een constructieve aanpak in vier dimensies ($d=4$) om hun resultaten te bewijzen. De kern van hun methode bestaat uit de volgende stappen:

• Reductie tot een gekoppeld systeem: Ze reduceren het probleem van de 4D Navier-Stokes-vergelijkingen met een externe kracht tot een gekoppeld systeem van een 3D advection-diffusie vergelijking en een 3D advection-vergelijking. Het 4D-velociteitsveld $v_\nu$ wordt geconstrueerd als $(u_\nu, \theta_\nu)$, waarbij $u_\nu$ een divergentievrij snelheidsveld is en $\theta_\nu$ een scalair veld (temperatuur/advectie).
• Constructie van een autonoom snelheidsveld: Ze bouwen een specifiek, autonoom (tijdsonafhankelijk) divergentievrij snelheidsveld $u$ in 3D, gebaseerd op eerdere werken (zoals [CCS23]). Dit veld heeft een complexe structuur met schalen die afwisselend worden versterkt en verzwakt, wat zorgt voor "mixing" en snelle dissipatie.
• Gebruik van Advection-Diffusie: In plaats van direct de volledige niet-lineaire Navier-Stokes-vergelijkingen op te lossen, gebruiken ze de lineaire advection-diffusie vergelijking voor het scalair veld $\theta_\nu$:
  $$\partial_t \theta_\nu + u_\nu \cdot \nabla \theta_\nu = \nu \Delta \theta_\nu$$
  Ze tonen aan dat voor dit specifieke veld $u_\nu$ en een zorgvuldig gekozen beginwaarde $\theta_{in}$, de oplossing $\theta_\nu$ anomalie dissipatie vertoont.
• Partitie van de eenheid en tijdschalen: De bewijsvoering maakt gebruik van een fijne partitie van de eenheid in de ruimtelijke variabele $z$ en een corresponderende sequentie van tijdsintervallen. Hierdoor kunnen ze het dissipatieproces lokaal analyseren en aantonen dat de $L^2$-norm van de oplossing in specifieke tijdsintervallen snel afneemt (dissipatie), terwijl deze in andere intervallen stabiel blijft.
• Convergentie-analyse: Ze analyseren de zwak-* convergentie van de rij van oplossingen en de bijbehorende dissipatiemaat. Ze gebruiken schattingen in Sobolev-ruimtes en maattheorie om de relatie tussen de dissipatie van de Navier-Stokes-oplossing en de Duchon-Robert-verdeling van de Euler-oplossing te kwantificeren.

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert twee hoofdresultaten op, geformuleerd als Theorem A en Theorem B:

Theorema A (4D Navier-Stokes):

• Er bestaat een zwak fysieke oplossing $v_0$ voor de 4D Euler-vergelijkingen met een tijdsonafhankelijke kracht $F_0$.
• De bijbehorende rij van Navier-Stokes-oplossingen $v_\nu$ convergeert zwak-* naar $v_0$.
• De rij dissipatiemaat $\nu |\nabla v_\nu|^2$ convergeert zwak-* naar een maat $\mu$.
• Cruciaal resultaat: De projectie van deze maat op de tijdsas, $\mu_T = \pi_\# \mu$, heeft een niet-triviale absoluut continue component ten opzichte van de Lebesgue-maat. Dit betekent dat de anomalie dissipatie niet op één moment plaatsvindt, maar over een tijdsinterval.
• De kinetische energieprofiel $e(t)$ van de limietoplossing is glad in de tijd.
• De dissipatiemaat $\mu$ is dicht bij de Duchon-Robert-verdeling $D[v_0]$ in de $H^{-1}$-norm.

Theorema B (Advection-Diffusie):

• Dit is het technische kernresultaat dat Theorema A mogelijk maakt. Er wordt een autonoom snelheidsveld $u$ en een beginwaarde $\theta_{in}$ geconstrueerd zodat de oplossing van de advection-diffusie vergelijking anomalie dissipatie vertoont.
• De limietmaat van de dissipatie heeft een niet-triviale absoluut continue component in de tijd.
• De auteurs bewijzen dat de oplossing van de advection-diffusie vergelijking dicht bij de oplossing van de advection-vergelijking (zonder diffusie) blijft in de $L^\infty_t L^2_x$-norm, terwijl er toch significante dissipatie optreedt.

Verdere inzichten:

• De auteurs beantwoorden Vraag 2.2 en 2.3 uit [BDL23] positief voor dimensie 4.
• Ze tonen aan dat de Duchon-Robert-verdeling $D[v_0]$ en de anomalie dissipatiemaat $\mu$ niet altijd samenvallen. In een voorbeeld (Propositie 7.1) tonen ze aan dat het mogelijk is dat $\mu \equiv 0$ terwijl $D[v_0] \neq 0$, wat betekent dat de viscositeitslimiet niet altijd een goede $L^p$-benadering is van de Euler-oplossing.

4. Significantie en Impact

De resultaten van dit artikel zijn van groot belang voor de wiskundige stromingsleer:

1. Bevestiging van Fysische Realiteit: Het bewijst dat anomalie dissipatie niet beperkt hoeft te zijn tot singuliere gebeurtenissen op één tijdstip. Het bestaan van een absoluut continue component in de tijd ondersteunt het fysische beeld van turbulente stromingen waar dissipatie continu plaatsvindt.
2. Oplossing van Open Vragen: Het biedt een constructief antwoord op recente open vragen over de aard van de dissipatiemaat in het kader van de Onsager-vermoedens en de nulde wet van turbulentie.
3. Relatie tussen Maat en Distributie: Het artikel verduidelijkt het onderscheid tussen de Duchon-Robert-verdeling (die voortkomt uit de zwakke limiet van de vergelijkingen) en de feitelijke anomalie dissipatiemaat. Het toont aan dat deze twee concepten in sommige gevallen fundamenteel verschillend kunnen zijn, wat nieuwe perspectieven biedt op de convergentie van Navier-Stokes naar Euler.
4. Technische Innovatie: De methode, die gebruikmaakt van een gekoppeld systeem en specifieke constructies van snelheidsvelden met gecontroleerde schalen, biedt een nieuw gereedschapskist voor het construeren van tegenvoorbeelden en pathologische oplossingen in de theorie van partiële differentiaalvergelijkingen.

Samenvattend bewijzen Johansson en Sorella dat er oplossingen bestaan voor de 4D Navier-Stokes-vergelijkingen waarbij de energiedissipatie in de limiet van nul viscositeit een gladde, niet-singuliere component in de tijd heeft, wat een belangrijke stap is in het begrijpen van de wiskundige structuur van turbulentie.