🔢 mathematics

Nonuniqueness of Leray-Hopf solutions to the unforced incompressible 3D Navier-Stokes Equation

Dit artikel levert de eerste rigoureuze, door computers ondersteunde bewijsvoering voor de niet-uniekheid van Leray-Hopf-oplossingen aan de ongedwongen incompressibele 3D Navier-Stokes-vergelijkingen door de constructie van een zelfgelijkvormige oplossing en het aantonen van een instabiele perturbatie via een innovatief numeriek raamwerk.

Oorspronkelijke auteurs: Thomas Hou, Yixuan Wang, Changhe Yang

Gepubliceerd 2026-03-20

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Thomas Hou, Yixuan Wang, Changhe Yang

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een enorme, onzichtbare oceaan van water hebt die door de hele ruimte stroomt. De regels die bepalen hoe dit water beweegt, heten de Navier-Stokes-vergelijkingen. Dit zijn de wiskundige wetten voor vloeistoffen.

Sinds de jaren '30 wisten wiskundigen dat er oplossingen bestaan voor deze vergelijkingen (hoe het water beweegt), maar ze hadden een groot probleem: ze wisten niet of die oplossing uniek was.

Stel je voor dat je een bal in een kom rolt. Als je de bal precies op dezelfde manier en op dezelfde plek loslaat, zou je verwachten dat hij altijd op precies dezelfde manier in de kom rolt. De vraag was: Is het mogelijk dat je de bal op exact dezelfde manier loslaat, maar dat hij soms linksom rolt en soms rechtsom?

In de wiskundige wereld van vloeistoffen heet dit niet-uniekheid. Als dit waar is, betekent het dat de natuurwetten niet altijd voorspelbaar zijn, zelfs niet als je alle startcondities perfect kent.

Wat hebben deze onderzoekers gedaan?

Dit paper, geschreven door Thomas Hou, Yixuan Wang en Changhe Yang, is een doorbraak. Ze hebben voor het eerst bewezen dat er inderdaad meerdere mogelijke stromingen zijn voor exact dezelfde startsituatie.

Maar hoe hebben ze dit gedaan? Ze hebben geen nieuwe theorie bedacht, maar een computer-assisted bewijs gebruikt. Hier is hoe je dat kunt voorstellen:

1. De "Gok" met de Supercomputer

Stel je voor dat je een heel ingewikkeld puzzelstukje probeert te vinden in een donkere kamer. Je kunt niet zien waar het is, maar je hebt een superkrachtige zaklamp (de computer).
De onderzoekers hebben een computer gebruikt om een heel nauwkeurige "gok" te doen over hoe het water zou stromen. Ze hebben een speciaal patroon gevonden dat bijna perfect voldoet aan de regels, maar niet helemaal. Het is alsof ze een schets hebben getekend die 99,9999% klopt.

2. De "Trillende Veer" (Instabiliteit)

Nu komt het slimme deel. Ze keken naar wat er gebeurt als je die schets een heel klein beetje aanraakt.
Stel je een veer voor die in evenwicht is. Als je er een beetje aan trekt, veert hij terug. Maar stel je een veer voor die zo instabiel is dat een lichte aanraking ervoor zorgt dat hij uit elkaar spartelt in een nieuwe richting.
De onderzoekers vonden dat hun stromingspatroon zo'n instabiele veer was. Als je het patroon een klein beetje verstoort, kan het water twee verschillende paden kiezen.

3. De "Rekenmachine als Rechter"

Normaal gesproken zeggen wiskundigen: "Je kunt niet vertrouwen op een computer, want die maakt afrondingsfouten."
Maar deze onderzoekers hebben een nieuwe methode bedacht. Ze hebben de computer niet alleen gebruikt om te rekenen, maar ook om te bewijzen dat de fouten zo klein zijn dat ze er geen rekening mee hoeven te houden.
Ze hebben de vergelijking opgesplitst in twee delen:

Een deel dat ze met zekerheid kunnen berekenen (zoals een stevige fundering).
Een klein, lastig deel dat ze met een computer benaderen. Ze hebben bewezen dat dit kleine deel zo klein is dat het de uitkomst niet kan veranderen.

Het is alsof je een brug bouwt. Je weet zeker dat de pilaren (het grote deel) stevig staan. Voor het brugdek (het kleine deel) gebruik je een computer om te zeggen: "Dit stukje is zo licht dat het de brug niet laat instorten." En ze hebben dit wiskundig bewezen, niet alleen geschat.

Waarom is dit belangrijk?

Voor de meeste mensen in het dagelijks leven verandert dit niets. Je koffie blijft nog steeds in je mok zitten.

Maar voor de fundamentele wetenschap is dit een revolutie:

Het betekent dat de wiskunde achter vloeistoffen (zoals luchtstroming rond vliegtuigen of stroming in het hart) complexer is dan we dachten.
Het laat zien dat zelfs als we alles perfect meten, de toekomst van een vloeistof soms meerdere kanten op kan.
Het is een van de grootste open vragen in de wiskunde (een van de "Millennium Prize Problems") die nu een stap dichter bij een antwoord is gekomen.

Samenvattend in één zin:

De onderzoekers hebben met een superkrachtige computer en een slimme wiskundige truc bewezen dat water (en lucht) soms op twee verschillende manieren kan stromen, zelfs als je het precies op dezelfde manier start, en ze hebben dit zo nauwkeurig bewezen dat zelfs de strengste wiskundigen het moeten accepteren.

Het is alsof ze hebben bewezen dat er in het universum twee verschillende wegen zijn naar dezelfde bestemming, en dat de natuur soms zelf moet kiezen welke weg ze neemt.

1. Het Probleem

De onenigheid (non-uniqueness) van Leray-Hopf-oplossingen voor de ongedwongen, incompressibele 3D Navier-Stokes-vergelijking is een van de centrale open problemen in de wiskundige fluïdynamica. Hoewel Leray en Hopf bewezen hebben dat zwakke oplossingen bestaan die voldoen aan energie-ongelijkheden, is het niet bewezen of deze oplossingen uniek zijn voor een gegeven beginvoorwaarde.

De auteurs richten zich op het geval van zelfgelijkende (self-similar) oplossingen. Deze oplossingen hebben een initiële voorwaarde met een singulariteit van de orde $O(|x|^{-1})$ in de oorsprong. Hoewel dergelijke oplossingen niet direct in $L^2$ liggen (en dus geen standaard Leray-Hopf-oplossingen zijn), kunnen ze via localisatie worden omgezet in geldige Leray-Hopf-oplossingen met compacte ondersteuning. Het kernvraagstuk is of er een specifieke zelfgelijkende profiel bestaat waarbij de linearisatie van de vergelijking een instabiele eigenwaarde heeft. Als dit het geval is, impliceert dit de aanwezigheid van een instabiel manifold, wat leidt tot de constructie van oneindig veel verschillende oplossingen voor dezelfde beginvoorwaarde.

2. Methodologie

De paper introduceert een rigoureuze computer-gesteunde bewijsvoering (rigorous computer-assisted proof). De aanpak combineert hoogprecisie numerieke berekeningen met strikte analytische foutenanalyse. De methodologie bestaat uit drie hoofdstappen:

A. Constructie van een nauwkeurig benaderend profiel

De auteurs ontwikkelen een innovatieve numerieke strategie om een kandidaat-oplossing te vinden:

Gradient Descent: In plaats van een parameter te tunen om een eigenwaarde-overgang te vinden (zoals in eerdere werken), optimaliseren ze het vectorveld $U$ direct via geprojecteerde gradient descent om een profiel te vinden met een negatieve (instabiele) eigenwaarde.
Schaaltransformatie: Om het domein van een eindig bereik naar de hele ruimte te brengen, gebruiken ze de coördinatentransformatie $r = \tan(\beta)$ . Dit zorgt ervoor dat het domein wordt afgesneden op een eindig interval $[0, \pi/2]$ terwijl het gedrag op oneindig correct wordt weergegeven.
Divergentievrije Basis: Om de divergentievrije voorwaarde ( $\nabla \cdot u = 0$ ) exact te handhaven, construeren ze een spectrale basis gebaseerd op vector-sferische harmonischen en trigonometrische polynomen. De coëfficiënten worden zo gekozen dat de divergentie algebraïsch nul is.
Iteratieve verfijning: Na een initiële oplossing via de Finite Element Methode (FEM), wordt deze geïnterpoleerd op de spectrale basis en verder verfijnd via een residual-correction procedure (Newton-achtige methode) totdat de residuen extreem klein zijn.

B. Rigoureuze Existentiebewijzen (A posteriori analyse)

Om van een numerieke benadering naar een exact wiskundig bewijs te gaan, gebruiken ze een vastpuntargument (fixed-point argument) gebaseerd op het Schauder-vastpunttheorema:

Decompositie van de lineaire operator: De linearisatie $L$ rond het numerieke profiel wordt opgesplitst in een coercief deel $L_1$ en een compacte verstoring $L_2$ .
Finite-Rank Approximatie: Het compacte deel $L_2$ wordt benaderd door een eindig-rang operator $L_{ap}$ . De rest (residu) wordt klein genoeg gemaakt door een groot aantal modi (eigenfuncties) te gebruiken.
Inverteerbaarheid: De inverteerbaarheid van de lineaire operator wordt strikt geverifieerd door de invertibiliteit op het beeld van de eindig-rang benadering te controleren (via matrixberekeningen met intervalrekenen) en de coerciviteit van het resterende deel te garanderen.
Intervalrekenen: Alle numerieke integraties, kwadratuurfouten en afgeleiden worden berekend met intervalrekenen (interval arithmetic) om rondingsfouten en discretisatiefouten strikt te begrenzen.

C. Constructie van de Niet-Unieke Oplossingen

Zodra het bestaan van een profiel met een instabiele eigenwaarde is bewezen, gebruiken ze een Riesz-projectie om de dynamica te splitsen in een stabiel en een instabiel deel. Door de instabiele modi als vrije parameters te kiezen op een specifiek tijdstip, kunnen ze oneindig veel verschillende trajecten construeren die allemaal naar dezelfde beginvoorwaarde leiden.

3. Belangrijkste Resultaten

Stelling 1 (Niet-uniekheid): Er bestaan oneindig veel verschillende geschikte Leray-Hopf-oplossingen voor de 3D Navier-Stokes-vergelijking op $\mathbb{R}^3 \times [0, 1]$ met dezelfde divergentievrije beginvoorwaarde $u_{in}$ (met compacte ondersteuning). Deze oplossingen zijn glad voor $t > 0$ maar missen de Prodi-Serrin-voorwaarde die uniekheid garandeert.
Stelling 2 (Existentie van profiel en eigenpaar): Er bestaat een exacte zwakke oplossing $(\tilde{U}, \tilde{v}, \tilde{\lambda})$ voor het systeem van de zelfgelijkende vergelijking en de linearisatie, waarbij $\tilde{\lambda}$ een strikt negatieve eigenwaarde is (instabiliteit).
Numerieke Constanten: De auteurs leveren concrete, geverifieerde waarden voor de residuen en constanten die nodig zijn voor het bewijs:
- Residu voor het profiel: $\|E_U\|_{L^2} \leq 6.5 \times 10^{-7}$ .
- Residu voor de eigenfunctie: $\|E_v\|_{L^2} \leq 1.9 \times 10^{-5}$ .
- De eigenwaarde is $\lambda \approx -0.113$ , wat duidelijk negatief is.
- De coerciviteitsconstanten zijn positief en voldoende groot om de vaste-punt-argumenten te sluiten.

4. Kernbijdragen

Eerste rigoureuze computer-gesteunde bewijs: Dit is, voor zover bekend, het eerste strikte bewijs van niet-uniekheid voor de ongedwongen 3D Navier-Stokes-vergelijking. Eerdere werken (zoals Albritton-Brue-Colombo) vereisten een externe kracht (forcing) om de singulariteit te creëren; deze paper lost het probleem op zonder externe krachten.
Nieuwe numerieke framework: De ontwikkeling van een methode die gradient descent combineert met een exact divergentievrije spectrale basis en intervalrekenen, waardoor het mogelijk wordt om complexe instabiele profielen te vinden en te verifiëren.
Efficiëntie door viscositeit: In tegenstelling tot eerdere bewijzen voor de Euler-vergelijking (zonder viscositeit), maakt de aanwezigheid van viscositeit (die echte coerciviteit biedt) het bewijs aanzienlijk eenvoudiger en robuuster. De lineaire operatoren hebben grote coerciviteitscoëfficiënten, waardoor minder modi nodig zijn voor de finite-rank benadering.
Openbaarheid: De volledige code is openbaar beschikbaar gemaakt, wat reproducibiliteit en verdere validatie door de gemeenschap mogelijk maakt.

5. Betekenis en Impact

Deze paper is een mijlpaal in de wiskundige fluïdynamica. Het biedt een sterk bewijs dat de 3D Navier-Stokes-vergelijking, zelfs onder de meest gunstige omstandigheden (gladde beginvoorwaarden na $t=0$ , energie-inegaliteit), fundamenteel niet-uniek kan zijn. Dit ondermijnt de verwachting dat de vergelijking altijd een unieke fysieke oplossing oplevert voor een gegeven beginstaat.

De methode van "computer-assisted proofs" met strikte foutenanalyse wordt hiermee gevestigd als een krachtig instrument om open problemen in niet-lineaire partiële differentiaalvergelijkingen op te lossen die analytisch te complex zijn voor traditionele handmatige bewijzen. Het opent de deur voor toekomstig onderzoek naar singulariteiten en turbulentie in fluïda, en suggereert dat de "Prodi-Serrin"-voorwaarde essentieel is voor uniekheid, maar niet noodzakelijk voor het bestaan van oplossingen.