En ekvation för allt som flödar
Tänk på röken från ett ljus. Först stiger den rakt upp i en lugn pelare. Sedan börjar den slå knut på sig själv och löses upp i virvlar.
Den övergången beskrivs av Navier–Stokes-ekvationerna, som formulerades för ungefär tvåhundra år sedan. De är i grunden Newtons andra lag, kraft lika med massa gånger acceleration, tillämpad på något som flödar i stället för ett föremål som rullar.
De används överallt. När du bokar en flygbiljett har vingen på planet formats med hjälp av dem. Din väderprognos bygger på dem. Detsamma gäller beräkningar av blodflödet i dina ådror, havsströmmarnas rörelser och hur vatten fördelas i ett rörsystem.
Och ändå har en av de mest grundläggande frågorna om dem varit obesvarad i nittio år.
Frågan som var värd en miljon dollar
Frågan låter oskyldig. Om du startar med en vanlig, slät strömning, kommer lösningen då att förbli slät för all framtid? Eller kan den sluta fungera?
Med slät menas här att alla storheter håller sig ändliga och förändras mjukt. Alternativet kallas singularitet, och innebär att något blir oändligt på ändlig tid. Till exempel att hastigheten i en enda punkt växer bortom alla gränser efter en bestämd stund.
Problemet var så hårdnackat att Clay Mathematics Institute år 2000 satte upp det som ett av sju millennieproblem, vart och ett värt en miljon dollar. Matematikern Charles Fefferman skrev problembeskrivningen.
I september 2026 kom svaret. Ja, ekvationerna kan bryta samman. En lösning i tre dimensioner kan utveckla en singularitet på ändlig tid.
Varför just tre dimensioner
I två dimensioner har frågan varit avgjord länge. Där håller sig lösningarna släta.
Det är den tredje dimensionen som ställer till det, och skälet är en sak som heter virvelsträckning. I tre dimensioner kan en roterande virvel dras ut på längden, ungefär som när en konståkare drar in armarna och snurrar snabbare. Rotationen förstärks. Frågan är om den processen kan skena helt.
Mot detta står viskositeten, alltså vätskans inre friktion. Viskositet jämnar ut skillnader och fungerar som en broms. Det är också därför sirap beter sig lugnare än vatten.
Här finns skillnaden mellan två ekvationsfamiljer som förvirrar många just nu. Eulers ekvationer beskriver en tänkt vätska helt utan viskositet. Navier–Stokes lägger till viskositeten. Det gör Navier–Stokes både mer realistisk och betydligt svårare att bevisa något om, eftersom bromsen hela tiden motverkar sammanbrottet.
Vem som gjorde vad
Här behövs ytterligare en distinktion. En del av resultaten gäller ett forcerat fall, där en yttre kraft läggs till ekvationerna. Clays ursprungliga formulering ställer krav på att en sådan kraft ska vara slät.
Matematikerna Diego Córdoba och Luis Martínez-Zoroa startade det forskningsprogram som ledde fram till genombrottet. Tristan Buckmaster vid New York University och Levent Alpöge löste det forcerade Euler-fallet och fick det verifierat den 22 augusti 2026. Kort därefter presenterade OpenAI ett bevis för det fulla Navier–Stokes-fallet, framtaget av AI-agenter.
När Fefferman fick frågan om vem som förtjänar äran pekade han på Córdoba och Martínez-Zoroa. Hur beviset kom till, och varför det är svårläst, har vi skrivit om separat i Beviset som ingen människa har läst.
Varför din väderprognos fungerar ändå
Nu till det som är lätt att missförstå. Att ekvationerna kan bryta samman betyder inte att verkliga vätskor exploderar.
Ekvationerna är en modell. De behandlar vatten och luft som ett obrutet, kontinuerligt medium, trots att verkliga vätskor består av molekyler. På riktigt små skalor slutar den beskrivningen gälla oavsett vad matematiken säger. En singularitet är alltså ett påstående om modellen, inte en förutsägelse om ditt badkar.
Och väderprognoser missar av en helt annan anledning. De är känsliga för startvärdena. Små mätfel växer med tiden, vilket är själva kärnan i kaosteorin. Det problemet fanns redan innan någon visste om lösningarna förblir släta.
Vad som faktiskt förändrades
Det som förändrades i september var inte hur vatten beter sig. Det var vad vi vet om gränserna för vårt eget verktyg.
I nästan två sekel har vi använt ekvationer som vi inte kunde bevisa var välartade. Det fungerade utmärkt ändå, vilket säger något om förhållandet mellan matematik och verklighet. Vi kör på med modeller som duger, och först långt senare reder vi ut om de håller hela vägen ner.
Den frågan, om matematiken är något vi hittar i världen eller något vi bygger själva, har vi närmat oss från ett annat håll i Uppfann vi matematiken, eller hittade vi den?
Svaret på nittio års väntan blev att modellen går sönder. Röken från ljuset stiger precis som förut.
Källor
- Clay Mathematics Institute, problembeskrivningen för Navier–Stokes existence and smoothness - OpenAI, "On the Navier–Stokes Millennium Prize Problem" (8 september 2026) - Quanta Magazine, om lösningen och kritiken mot den (september 2026) - Nature, om anspråket på millennieproblemet (september 2026) - Science, om bakgrunden och forskarnas roller (september 2026)
Vad tyckte du om artikeln?
