Existence of a weak solution to the Navier-Stokes equations enjoying the energy equality

Vloeistoffen zijn overal, van de lucht die we inademen tot het bloed dat door onze aderen stroomt. Wanneer wetenschappers proberen te voorspellen hoe deze vloeistoffen bewegen, vertrouwen ze op een reeks regels die bekend staan als de Navier-Stokes-vergelijkingen. Deze vergelijkingen beschrijven hoe de snelheid en de druk van een vloeistof veranderen in de tijd en de ruimte. Decennialang hebben wiskundigen kunnen bewijzen dat oplossingen voor deze vergelijkingen bestaan, wat betekent dat er een wiskundige beschrijving van de stroming gevonden kan worden. Toch is er een hardnekkige kloof gebleven in ons begrip. Hoewel we weten dat deze oplossingen over het algemeen een regel over energiebehoud naleven — waarbij de totale energie van de vloeistof constant moet blijven of licht moet afnemen door wrijving — konden eerdere wiskundige bewijzen alleen garanderen dat de energie niet zou toenemen. Ze konden niet bewijzen dat de energie perfect in evenwicht bleef, zoals de natuurkunde suggereert dat het zou moeten zijn. Deze onzekerheid laat de mogelijkheid open dat, onder bepaalde omstandigheden, de wiskundige modellen zouden toestaan dat energie op mysterieuze wijze verdwijnt, een scenario dat zou impliceren dat ons begrip van hoe vloeistoffen zich gedragen, tekortschiet.

Een recente studie door Paolo Maremonti en Alfonsina Tartaglione pakt deze langdurige kloof aan. De onderzoekers hebben succesvol een specifiek type oplossing voor de Navier-Stokes-vergelijkingen geconstrueerd dat de wet van energiebehoud strikt naleeft. In hun werk laten zij zien dat het mogelijk is om een beschrijving van een vloeistofstroom te vinden waarbij de totale energie op bijna elk moment, plus de energie die door wrijving in de loop van de tijd verloren gaat, exact gelijk is aan de energie die de vloeistof aanvankelijk had. Dit resultaat is significant omdat het bewijst dat het "probleem van de ontbrekende energie" geen onvermijdelijk kenmerk van de vergelijkingen zelf is, maar eerder een beperking van de methoden die voorheen werden gebruikt om oplossingen te vinden. De auteurs bereikten dit door een klassieke techniek te verfijnen die de ruwe randen van de vergelijkingen gladstrijkt om ze wiskundig eenvoudiger te maken, en vervolgens zorgvuldig aan te tonen dat deze gladgestreken versies naarmate ze nauwkeuriger worden, convergeren naar een oplossing die energie perfect behoudt.

Het team heeft niet beweerd het volledige mysterie van de vloeistofdynamica te hebben opgelost, noch hebben zij bewezen dat elke mogelijke manier om een vloeistofstroom te beschrijven, energie moet behouden. In plaats daarvan hebben zij aangetoond dat er tenminste één geldige oplossing bestaat die dat wel doet. Dit is een cruciaal onderscheid, omdat de vergelijkingen bekend staan als complex, en het nog niet bekend is of er slechts één unieke oplossing is voor een gegeven beginconditie. Als er meerdere oplossingen zijn, zouden sommige energie kunnen verliezen, maar het bestaan van deze nieuwe, energiebesparende oplossing bewijst dat de vergelijkingen in staat zijn om een fysiek perfecte stroom te beschrijven. De onderzoekers hebben ook een specifiek tijdsvenster geïdentificeerd waarin dit perfecte gedrag gegarandeerd standhoudt, afhankelijk van hoeveel energie de vloeistof bij aanvang heeft. Voor vloeistoffen die met een kleine hoeveelheid energie beginnen, is dit venster vrij groot, terwijl het voor zeer energetische vloeistoffen kleiner is, maar het bestaat nog steeds.

Om tot deze conclusie te komen, gebruikten de auteurs een methode die inhoudt dat er een reeks vereenvoudigde, benaderde versies van het vloeistofprobleem worden gecreëerd. Stel je voor dat je probeert de vorm van een grillige rots te begrijpen door eerst naar een reeks gladdere, rondere stenen te kijken die geleidelijk meer op de oorspronkelijke steen gaan lijken. De onderzoekers gebruikten een vergelijkbare aanpak, waarbij ze begonnen met gladgestreken versies van de vloeistofvergelijkingen die wiskundig gemakkelijker te hanteren zijn. Ze bewezen dat deze benaderingen goed presteren en dat de oplossingen, wanneer de afvlakking wordt verwijderd, neerkomen op een uiteindelijke, stabiele vorm. Door nauwgezet bij te houden hoe de energie zich in deze overgang gedraagt, waren zij in staat aan te tonen dat de uiteindelijke oplossing geen energie verliest aan wiskundige artefacten. Dit proces vereiste een nieuw, gespecialiseerd instrument om de getallen betrokken te beheren, waardoor ze de delen van de berekening die een energieverlies zouden kunnen suggereren konden wegfilteren en zich konden concentreren op de delen die het behoud ervan waarborgen.

De implicaties van dit werk reiken verder dan alleen het afvinken van een vakje in een wiskundig bewijs. In de echte wereld is het idee dat energie uit een vloeistof kan verdwijnen zonder een fysieke oorzaak, verontrustend. Als dit waar zou zijn, zou het suggereren dat turbulentie — de chaotische, kolkende beweging die te zien is in stormen of snelstromend water — zou kunnen fungeren als een verborgen put voor energie. Het nieuwe resultaat suggereert dat hoewel turbulentie complex is, het niet noodzakelijkerwijs een schending van het energiebehoud vereist om te bestaan. De auteurs merken op dat hun bevindingen stroken met het idee dat elk ogenschijnlijk energieverlies in eerdere modellen waarschijnlijk het gevolg was van de gebruikte wiskundige instrumenten, en niet van een fundamentele eigenschap van de vloeistof zelf. Dit biedt een steviger fundament voor het begrijpen van hoe vloeistoffen bewegen, en zorgt ervoor dat onze wiskundige modellen in ieder geval in bepaalde gevallen de fysieke realiteit van energiebehoud zonder compromissen kunnen weerspiegelen.

Hoewel de studie zich richt op de wiskundige existentie van deze oplossingen, raakt het ook aan de aard van de "zwakke" oplossingen die wiskundigen gebruiken om complexe stromingen te beschrijven. Dit zijn oplossingen die misschien niet op elk enkel punt perfect glad zijn, maar nog steeds aan de algemene regels van het systeem voldoen. De onderzoekers hebben aangetoond dat het zelfs binnen deze bredere, minder restrictieve categorie van oplossingen mogelijk is om er een te vinden die de strikte wetten van energie respecteert. Deze bevinding sluit niet uit dat andere, meer chaotische oplossingen anders kunnen reageren, maar het vestigt dat de vergelijkingen robuust genoeg zijn om een fysiek consistente beschrijving van vloeistofbeweging te ondersteunen. Het werk dient als een herinnering dat zelfs in de moeilijkste problemen van de wiskunde vaak een pad naar helderheid te vinden is, mits men het probleem vanuit de juiste hoek bekijkt en de juiste instrumenten gebruikt om de kloof tussen benadering en waarheid te overbruggen.