On non-uniqueness of mild solutions and stationary singular solutions to the Navier-Stokes equations

Each language version is independently generated for its own context, not a direct translation.

Stel je voor dat je een enorme, onzichtbare oceaan van vloeistof hebt, zoals lucht of water. De Navier-Stokes-vergelijkingen zijn de wiskundige regels die beschrijven hoe deze vloeistof stroomt, draait en wervelt. Het is een van de belangrijkste problemen in de natuurkunde en wiskunde.

De grote vraag is altijd geweest: Als we precies weten hoe de vloeistof er nu uitziet, weten we dan ook precies hoe hij er in de toekomst uitziet? Ofwel: als je twee keer met exact dezelfde startcondities begint, krijg je dan exact hetzelfde resultaat?

In de wiskunde noemen we dit uniekheid. Als het antwoord "ja" is, is de wereld voorspelbaar. Als het antwoord "nee" is, betekent het dat de natuur op die schaal chaotisch en onvoorspelbaar is, zelfs als je alle details kent.

De auteurs van dit paper, Alexey Cheskidov en Hedong Hou, hebben een schokkend antwoord gevonden: Nee, het is niet altijd voorspelbaar. Ze hebben bewezen dat er situaties zijn waar je met exact dezelfde startcondities twee totaal verschillende stromingen kunt krijgen.

Hier is hoe ze dit hebben gedaan, vertaald in alledaagse taal:

1. Het probleem: De "Onzichtbare" Vloeistof

Stel je voor dat je een vloeistof hebt die zo onrustig is dat hij geen rustige vorm heeft. Hij is als een wolk van rook die zo dun is dat je hem nauwelijks kunt zien, maar die toch krachtig genoeg is om de regels van de stroming te breken.

In de wiskunde noemen we dit een "singulariteit". Het is een punt waar de wiskunde normaal gesproken "nee" zegt tegen een oplossing, omdat de getallen te groot of te chaotisch worden. De auteurs hebben echter laten zien dat je met deze "gebroken" of "singular" vloeistoffen toch kunt werken, mits je ze op een heel slimme manier definieert.

2. De Methode: De "Convex Integratie" (Het Legpuzzel-met-Loze-Ruimte)

Hoe bouw je zo'n onvoorspelbare stroming? Ze gebruiken een techniek die ze convex integratie noemen.

Stel je voor dat je een muur moet bouwen van bakstenen. Normaal gesproken leg je de stenen netjes op elkaar. Maar wat als je mag bouwen met een speciale techniek waarbij je stenen kunt toevoegen die eruitzien alsof ze er niet zijn, maar die toch de structuur veranderen?

De Analogie: Denk aan het maken van een geluid. Je hebt een basistoon (de rustige stroming). Nu voeg je heel snel trillende tonen toe (zoals een gitaarsnaren die heel snel trillen). Deze trillingen zijn zo snel en zo klein dat ze voor een gewone luisteraar (of een simpele wiskundige meting) onhoorbaar lijken.
De Truc: De auteurs voegen deze trillingen toe in een specifieke volgorde. Ze bouwen een "reus" (de stroming) die er rustig uitziet van veraf, maar die van dichtbij bestaat uit een chaos van microscopische trillingen.
Het Resultaat: Door deze trillingen slim te combineren, kunnen ze een situatie creëren waar de wiskundige regels (de vergelijkingen) nog steeds kloppen, maar waar de stroming plotseling een heel andere kant op slaat dan je verwachtte. Het is alsof je een auto hebt die perfect rijdt, maar die op een bepaald moment, zonder dat er iets aan de motor verandert, plotseling linksom of rechtsom kan slaan.

3. De "Stationaire" Oplossing: De Stilstaande Storm

Een van de belangrijkste vondsten in dit paper is het vinden van een stationaire singular oplossing.

Wat betekent dit? Stel je een storm voor die nooit ophoudt, maar die ook niet beweegt. Hij staat stil in de tijd, maar is intern een enorme chaos.
De Metafoor: Denk aan een tornado die in de lucht hangt, maar die niet verplaatst. Normaal gesproken zou zo'n thing niet kunnen bestaan zonder dat het energie verliest of instort. De auteurs hebben echter bewezen dat je een "tornado" kunt bouwen die wiskundig perfect in evenwicht is, maar die zo extreem chaotisch is dat hij niet als een normale vloeistof gedraagt.
Waarom is dit belangrijk? Omdat deze "stilstaande storm" bestaat, betekent het dat als je begint met de startcondities van deze storm, je twee dingen kunt doen:
1. Laat de storm gewoon stil staan (de ene oplossing).
2. Laat de storm evolueren naar een heel andere, willekeurige stroming (de tweede oplossing).
  Beide oplossingen zijn wiskundig correct, maar ze zijn totaal verschillend.

4. Wat betekent dit voor de wereld?

Dit paper zegt niet dat de weervoorspelling morgen fout is. Het zegt wel dat de fundamentele wiskundige regels die we gebruiken om vloeistoffen te beschrijven, niet uniek zijn in bepaalde extreme situaties.

Vroeger dachten we: "Als ik weet hoe de vloeistof er nu uitziet, weet ik precies hoe hij er morgen uitziet."
Nu weten we: "In bepaalde, zeer exotische en chaotische situaties (waar de vloeistof 'ruis' of 'singulariteiten' bevat), kan de natuur kiezen uit meerdere paden. De toekomst is niet uniek bepaald door het heden."

Samenvattend in één zin:

De auteurs hebben bewezen dat de wiskundige regels voor stromende vloeistoffen een "kloof" hebben: je kunt met exact dezelfde startpunten twee totaal verschillende toekomstige werelden bouwen, net zoals je met dezelfde Lego-blokken twee verschillende kastelen kunt bouwen als je mag spelen met onzichtbare, trillende blokken.

Dit is een doorbraak omdat het laat zien dat de wiskunde van de vloeistoffen (Navier-Stokes) veel complexer en minder voorspelbaar is dan we dachten, vooral in situaties waar de vloeistof extreem onrustig is.

Each language version is independently generated for its own context, not a direct translation.

Hier is een gedetailleerde technische samenvatting van het artikel "On Non-Uniqueness of Mild Solutions and Stationary Singular Solutions to the Navier-Stokes Equations" van Alexey Cheskidov en Hedong Hou, geschreven in het Nederlands.

Titel: Over de niet-uniekheid van milde oplossingen en stationaire singuliere oplossingen voor de Navier-Stokes-vergelijkingen

1. Het Probleem

Het artikel adresseert een fundamenteel open probleem in de wiskundige stromingsmechanica: de onvoorwaardelijke uniekheid (unconditional uniqueness) van milde oplossingen voor de Navier-Stokes-vergelijkingen (NSE) en de fractionele Navier-Stokes-vergelijkingen (NSE $\alpha$ ).

Context: Voor de NSE is bekend dat lokale welgesteldheid (well-posedness) geldt in zogenoemde "kritieke" ruimtes (zoals $L^d$ of $BMO^{-1}$ ), maar de uniekheid binnen bredere klassen van oplossingen is vaak onzeker.
De Lücke: Hoewel eerder werk (zoals van Buckmaster en Vicol) onvoorwaardelijke uniekheid heeft weerlegd in supercritische ruimtes (zoals $H^\beta$ ), bleef het onbekend of dit ook geldt voor subkritische ruimtes met een negatief regulariteitsindex, zoals de Besov-ruimtes $B^{-\theta}_{q,r}$ met $\theta > 0$ .
Doel: De auteurs bewijzen dat de onvoorwaardelijke uniekheid faalt in alle Besov-ruimtes met een negatief regulariteitsindex, inclusief die in het (sub-)kritische regime. Ze construeren hiervoor niet-triviale stationaire singuliere oplossingen.

2. Methodologie

De kern van de bewijstechniek is convex integratie (convex integration), een methode die oorspronkelijk is ontwikkeld voor de Euler-vergelijkingen en later is toegepast op Navier-Stokes.

Stationaire Singuliere Oplossingen: In plaats van direct naar tijdsafhankelijke oplossingen te zoeken, construeren de auteurs eerst stationaire singuliere oplossingen voor de vergelijking:
$\text{div}(u \otimes u) + (-\Delta)^\alpha u + \nabla p = 0$
Een "singuliere oplossing" wordt hier gedefinieerd als een verdeling $u$ die niet in $L^2$ ligt, waarbij het tensorproduct $u \otimes u$ niet in $L^1$ ligt, maar wel goed gedefinieerd is als een paraproduct in de ruimte van distributies modulo constanten ( $D'/C$ ).
Iteratief Schem: Ze gebruiken een iteratief proces om een reeks van gladde oplossingen $(u_n, R_n)$ $(u_{n}, R_{n})$ te construeren voor het Navier-Stokes-Reynolds-systeem, waarbij $R_n$ $R_{n}$ de Reynolds-spanning is.
- Mikado Flows: Als bouwstenen worden "Mikado-flows" gebruikt (geconcentreerde stromingen langs lijnen), geïntroduceerd door Daneri en Székelyhidi.
- Frequentie Lokalisatie: Een cruciaal aspect is het lokaliseren van de Fourier-steun van de perturbaties in specifieke schillen (dyadische shells) die ver verwijderd zijn van de frequenties van de vorige iteratie. Dit voorkomt interacties die de convergentie zouden verstoren.
- Correctoren: Er worden correctoren toegevoegd (lokalisatiecorrector, divergentievrije corrector) om de vergelijkingen exact te laten voldoen aan de divergentievrije voorwaarde en om de Reynolds-spanning te minimaliseren.
Overgang naar Tijdsafhankelijkheid: Via Propositie 1.4 wordt aangetoond dat elke stationaire singuliere oplossing $u$ direct leidt tot een milde oplossing $U(t) = u$ voor de tijdsafhankelijke vergelijking. Omdat er oneindig veel verschillende stationaire oplossingen kunnen worden geconstrueerd voor dezelfde beginwaarde (die willekeurig klein kan zijn), volgt hieruit de niet-uniekheid.

3. Belangrijkste Resultaten

A. Falen van Onvoorwaardelijke Uniekheid (Theorema 1.1 & 1.2)

De auteurs bewijzen dat voor elke dimensie $d \ge 2$ , elke regulariteit $\theta > 0$ en elke Besov-ruimte $B^{-\theta}_{q,r}$ , de onvoorwaardelijke uniekheid faalt.

Voor elke $\epsilon > 0$ bestaat er een beginwaarde $u_{in}$ met $\|u_{in}\| < \epsilon$ waarvoor er twee verschillende milde oplossingen bestaan.
Dit resultaat geldt ook voor de fractionele Navier-Stokes-vergelijkingen (NSE $\alpha$ ) met willekeurig grote macht $\alpha$ van de Laplaciaan, zolang $\alpha > 1/2$ .

B. Constructie van Stationaire Singuliere Oplossingen (Theorema 1.5)

Er bestaan oneindig veel niet-triviale stationaire singuliere oplossingen die behoren tot:
$\bigcap_{1 \le p < 2} L^p(\mathbb{T}^d) \cap \bigcap_{\theta > 0, q,r} B^{-\theta}_{q,r}(\mathbb{T}^d)$
Bovendien, als $0 < \alpha < (d+1)/4 $, bestaan er ook oplossingen in$ L^2(\mathbb{T}^d) $. Dit impliceert de niet-uniekheid van zwakke$ L^2$-oplossingen in dit regime.

C. Uniekheid in Kritieke Ruimtes (Theorema 1.7)

In tegenstelling tot de negatieve resultaten, bewijzen de auteurs uniekheid in een specifiek kritiek eindpunt:

Er bestaan geen niet-triviale stationaire oplossingen in ruimtes zoals $L^2 \cap B^{-1}_{\infty,1}$ (voor $\alpha=1$ ).
Dit verbetert eerdere resultaten en toont aan dat de niet-uniekheid specifiek optreedt in ruimtes met negatieve regulariteit, maar mogelijk niet in deze specifieke kritieke ruimte.

4. Significatie en Impact

Eerste Resultaat in Subkritische Ruimtes: Dit is het eerste bewijs dat onvoorwaardelijke uniekheid faalt in subkritische oplossingsklassen. Eerdere tegenvoorbeelden waren beperkt tot superkritische ruimtes (waar de dissipatie te zwak is). Dit toont aan dat de structuur van de vergelijking complexer is dan eerder gedacht, zelfs in ruimtes waar men normaal gesproken welgesteldheid zou verwachten.
Generalisatie van Fractionele Vergelijkingen: De resultaten gelden voor willekeurige $\alpha > 1/2$ , wat een brede klasse van vergelijkingen bestrijkt, inclusief de klassieke Navier-Stokes ( $\alpha=1$ ) en sterk gedissipeerde systemen.
Verband tussen Stationaire en Tijdsafhankelijke Oplossingen: Het artikel legt een sterk verband tussen de existentie van stationaire singuliere oplossingen en de niet-uniekheid van tijdsafhankelijke milde oplossingen. Het toont aan dat het vinden van een enkele stationaire "pathologische" oplossing voldoende is om de uniekheid van het dynamische probleem te doorbreken.
Technische Doorbraak: De toepassing van convex integratie op stationaire problemen met negatieve regulariteit en de zorgvuldige controle van de paraproduct-structuur van $u \otimes u$ in distributieruimtes vertegenwoordigt een aanzienlijke technische vooruitgang in de analyse van niet-lineaire partiële differentiaalvergelijkingen.

Conclusie:
Cheskidov en Hou demonstreren dat de Navier-Stokes-vergelijkingen (en hun fractionele varianten) fundamenteel onvoorspelbaar kunnen zijn in termen van uniekheid van milde oplossingen, zelfs wanneer de beginwaarde zeer klein is en in ruimtes ligt die dicht bij de fysiek relevante $L^2$ -ruimte liggen. Dit ondermijnt de hoop dat uniekheid gegarandeerd kan zijn in alle "redelijke" functionele ruimtes en benadrukt de noodzaak van strengere voorwaarden of een herdefinitie van wat een "oplossing" is in deze context.