Navier-Stokesvergelijkingen: de wiskunde achter elke stroming
Wanneer een vliegtuig door de lucht snijdt, wanneer bloed door je aderen stroomt of wanneer een weerballon met de wind meedrijft, gelden overal dezelfde wiskundige wetten. Die wetten heten de Navier-Stokesvergelijkingen, genoemd naar de Franse ingenieur Claude-Louis Navier en de Britse natuurkundige George Gabriel Stokes. Ze beschrijven hoe vloeistoffen en gassen — samen 'fluïda' genoemd — bewegen onder invloed van krachten zoals druk, wrijving en zwaartekracht.
Stel je een drukke snelweg voor, maar dan gevuld met watermoleculen in plaats van auto's. Elk deeltje duwt en trekt aan zijn buren, wordt afgeremd door interne wrijving (in de natuurkunde viscositeit genoemd) en versneld door drukverschillen. De Navier-Stokesvergelijkingen leggen die wisselwerking vast in een set formules. Ze zijn geen recente uitvinding — het fundament werd al in de negentiende eeuw gelegd — maar vormen nog altijd de basis van vrijwel elke moderne stromingsberekening, van weersvoorspellingen tot de vormgeving van een Formule 1-auto.
Wat is het precies?
De Navier-Stokesvergelijkingen zijn differentiaalvergelijkingen: wiskundige formules die niet één getal beschrijven, maar hoe een grootheid verandert in tijd en ruimte. In dit geval gaat het om de snelheid en druk van een fluïdum op elk punt in een stromingsveld, en hoe die veranderen van moment tot moment.
De kern van de vergelijkingen is simpelweg de wet van Newton — kracht is massa maal versnelling — maar dan toegepast op een continu medium in plaats van op losse voorwerpen. Ze houden rekening met drie hoofdkrachten: drukverschillen die een vloeistof voortduwen, viscositeit die beweging afremt door interne wrijving, en externe krachten zoals zwaartekracht. Daarnaast geldt het behoud van massa: er kan geen vloeistof zomaar verdwijnen of ontstaan binnen een gesloten systeem.
Het venijnige zit in de details: de vergelijkingen zijn niet-lineair, wat betekent dat kleine veranderingen in de begintoestand tot onevenredig grote effecten kunnen leiden. Dat is precies waarom stromingen soms chaotisch worden — het verschijnsel dat natuurkundigen turbulentie noemen, zoals de wervelingen achter een roeispaan of in rook die opstijgt. Voor eenvoudige, rustige (laminaire) stromingen zijn de vergelijkingen met de hand op te lossen. Zodra turbulentie optreedt, wat in de praktijk bijna altijd het geval is, is een exacte oplossing vrijwel nooit voorhanden.
Wat wil men ermee bereiken?
Het praktische doel is even simpel als breed: voorspellen en begrijpen hoe lucht, water en andere fluïda zich gedragen, zodat je daar iets nuttigs mee kunt doen. Een vliegtuigvleugel zo vormgeven dat hij minder luchtweerstand geeft, een dijk zo ontwerpen dat hij bestand is tegen stromend water, of een weersvoorspelling maken voor morgen — het draait allemaal om het oplossen, of in ieder geval benaderen, van deze vergelijkingen.
Daarnaast is er een puur wiskundig doel dat al meer dan een eeuw openstaat: bewijzen dat er voor de Navier-Stokesvergelijkingen in drie dimensies altijd een oplossing bestaat die 'glad' blijft, dus zonder dat snelheden plotseling oneindig groot worden. Dat klinkt abstract, maar het raakt de vraag of de wiskunde die we gebruiken om stromingen te beschrijven fundamenteel wel klopt in alle gevallen. Dit vraagstuk staat bekend als een van de zeven Millennium Prize Problems van het Clay Mathematics Institute, met een beloning van een miljoen dollar voor wie het oplost.
Voorbeelden uit de praktijk
De vergelijkingen worden zelden met de hand opgelost; in plaats daarvan gebruiken ingenieurs Computational Fluid Dynamics (CFD), waarbij een computer de stroming benadert door de ruimte op te delen in miljoenen kleine cellen. Enkele concrete toepassingen:
- Vliegtuigontwerp: Boeing gebruikte bij de ontwikkeling van de 787 Dreamliner (in dienst genomen in 2011) uitgebreid CFD-simulaties om de romp en vleugels aerodynamisch te optimaliseren en zo brandstof te besparen.
- Formule 1: sinds de FIA in 2009 strengere beperkingen invoerde op windtunneltijd, leunen teams als Mercedes en Red Bull Racing zwaar op CFD-berekeningen om de luchtstroming rond hun auto's te finetunen.
- Weersvoorspelling: het Europees Centrum voor Weersvoorspellingen op Middellange Termijn (ECMWF) in Reading gebruikt zijn IFS-model, gebaseerd op vloeistofdynamica, om dagelijks wereldwijde weersvoorspellingen te berekenen. Ook het Nederlandse KNMI maakt gebruik van dit soort modellen.
- Medische simulaties: onderzoekers, onder meer aan de TU Eindhoven, simuleren bloedstroming door aders en aneurysma's (verzwakte, uitgestulpte bloedvaten) om chirurgische ingrepen beter te kunnen plannen.
- Klimaatmodellen: de oceaan- en atmosfeermodellen die het IPCC gebruikt voor klimaatprojecties bouwen voort op dezelfde vloeistofdynamische principes, toegepast op planetaire schaal.
Hoe ver is de techniek?
Op het gebied van toepassingen staat de techniek al decennia stevig: CFD-software wordt dagelijks gebruikt in de lucht- en ruimtevaart, scheepsbouw, weerkunde en industrie. De rekenkracht van computers is de belangrijkste motor van vooruitgang geweest — wat in de jaren tachtig weken kostte, is nu in uren te berekenen, en met de komst van exascale-supercomputers (machines die meer dan een triljard berekeningen per seconde uitvoeren) worden steeds fijnmazigere simulaties mogelijk.
Het grote obstakel blijft turbulentie. Een volledige, foutloze simulatie van elke wervel rond bijvoorbeeld een compleet vliegtuig (Direct Numerical Simulation genoemd) vergt zoveel rekenkracht dat het voor de meeste praktijkgevallen nog altijd onhaalbaar is. Ingenieurs gebruiken daarom benaderingen en vereenvoudigde turbulentiemodellen, die nauwkeurig genoeg zijn voor ontwerpdoeleinden maar niet wiskundig exact. Recent onderzoek verkent of machine learning kan helpen om turbulentie sneller en preciezer te benaderen, maar dit is nog volop in ontwikkeling.
Op wiskundig vlak is er sinds de aankondiging van de Millennium Prize in 2000 geen doorbraak geweest: niemand heeft bewezen dat oplossingen in drie dimensies altijd glad blijven, en niemand heeft een tegenvoorbeeld gevonden. Het probleem staat na meer dan 25 jaar nog steeds open en geldt als een van de moeilijkste in de wiskunde.
Wie werken eraan?
Aan de toegepaste kant ontwikkelen bedrijven als Ansys, Siemens (met de software Simcenter STAR-CCM+) en Dassault Systèmes (SIMULIA) de CFD-software die door de industrie wordt gebruikt. Vliegtuigbouwers zoals Boeing en Airbus, en ruimtevaartorganisaties als NASA en ESA, zetten deze tools dagelijks in voor ontwerp en onderzoek.
Op onderzoeksgebied werken instituten als het Max Planck Institute for Dynamics and Self-Organization in Duitsland, en in Nederland de TU Delft en het Centrum Wiskunde & Informatica (CWI) in Amsterdam, aan zowel de wiskundige grondslagen als praktische stromingsvraagstukken. Weerinstanties zoals het KNMI, het ECMWF en het Amerikaanse NOAA passen de vergelijkingen dagelijks toe voor voorspellingen. Het onopgeloste wiskundige probleem trekt onderzoekers van universiteiten wereldwijd aan, aangemoedigd door de prijs van het Clay Mathematics Institute in de Verenigde Staten.