On "discrete" solutions of the Euler system of gas dynamics

Stel je voor dat je het weer probeert te voorspellen. Je hebt een enorme, onzichtbare vloeistof die de lucht vult—lucht—die beweegt, kolkt en tegen zichzelf aan botst. Wetenschappers hebben een set regels, de Euler-systemen genoemd, die beschrijven hoe deze vloeistof zich zou moeten gedragen. Denk aan deze regels als de ultieme instructiehandleiding voor een perfecte, wrijvingsloze dans. In deze dans heeft de lucht geen plakkerigheid (viscositeit) en geen warmteverlies; het is een pure, geïdealiseerde stroming. Lange tijd geloofden wiskundigen dat als je de beginpositie van elk luchtmolecuul kende, deze regels je precies zouden vertellen wat er daarna gebeurt, voor altijd. Het was alsof men geloofde dat als je een bal laat vallen, de natuurkunde garandeert dat hij op één specifieke, voorspelbare manier zal stuiteren.

Er is echter een addertje onder het gras. In de echte wereld kunnen vloeistoffen rommelig worden. Ze kunnen plotselinge, gewelddadige schokken vormen (zoals een knal door de geluidsbarrière) of veranderen in chaos. Wanneer dit wild wordt, breken de "perfecte" regels soms af, en wordt de wiskunde vaag. Hier komt het concept van "zwakke oplossingen" (weak solutions) om de hoek kijken. In plaats van te eisen dat elke molecuul een perfecte, vloeiende dans uitvoert, staan zwakke oplossingen een beetje ruwheid toe, zolang de totale energie en massa in balans blijven. Maar hier komt de wending: recente ontdekkingen hebben aangetoond dat voor sommige begincondities de wiskunde niet alleen vaag wordt, maar ook chaotisch op een zeer specifieke manier. Het blijkt dat voor een enorm aantal beginpunten de regels niet alleen één uitkomst toestaan—ze staan oneindig veel verschillende uitkomsten toe, die allemaal de wetten van de natuurkunde lijken te volgen. Het is alsof je die bal liet vallen, en de natuurwetten zeiden: "Hij kan naar links stuiteren, naar rechts, omhoog, omlaag, of in een vlinder veranderen, en al die opties zijn even geldig."

Dit artikel duikt diep in die chaotische speeltuin. De auteurs, Anna Abbatiello en Eduard Feireisl, onderzoeken een speciaal soort "wilde" oplossing van het Euler-systeem. Ze laten niet alleen zien dat er meerdere oplossingen bestaan; ze construeren een zeer specifieke, bijna als Lego-achtige oplossing die ze "discreet" noemen. Stel je een vloeistof voor die niet vloeiend stroomt als water in een rivier, maar in plaats daarvan springt tussen een eindig aantal afzonderlijke, bevroren toestanden, zoals een gepixeliseerd videogame-karakter dat tussen een paar vaste punten teleporteert. Het paper bewijst dat voor een dichte verzameling begincondities (wat betekent dat je deze condities bijna overal kunt vinden), je een oneindige familie van deze "discrete" oplossingen kunt creëren. Nog vreemder is dat deze oplossingen naar believen steeds meer entropie (wanorde) kunnen produceren, of ze kunnen worden gedwongen om na verloop van tijd in een specife, vooraf gekozen patroon van wanorde te vervallen. De auteurs tonen aan dat het Euler-systeem "ill-posed" (slecht gesteld) is, zelfs wanneer we proberen strikt te zijn over de natuurkunde; het staat deze bizarre, niet-unieke en hoogst controleerbare uitkomsten toe.

Het verhaal van de "gepixelde" vloeistof

Laten we afbreken wat de auteurs eigenlijk hebben gevonden. Ze werken met het Euler-systeem, wat het wiskundige model is voor een gas (zoals lucht) dat geen wrijving en geen warmteverlies heeft. Normaal gesproken verwachten we dat als we de dichtheid (hoe compact het gas is), de impuls (hoe snel en in welke richting het beweegt) en de entropie (een maat voor wanorde of warmte) aan het begin weten, de toekomst bepaald is. Maar de auteurs laten zien dat dit voor een enorme collectie beginpunten niet waar is.

Ze ontdekten een manier om oplossingen te bouwen die "discreet" zijn. In de echte wereld zijn vloeistoffen continu; ze veranderen vloeiend. Maar deze oplossingen zijn als een digitale afbeelding gemaakt van pixels. Het gas stroomt niet vloeiend; in plaats daarvan bestaat het uit een eindig aantal constante toestanden. Stel je een kamer vol gas voor. In een normaal scenario zou het gas zachtjes kunnen kolken. In deze "discrete" oplossingen is het gas in de ene hoek plotseling in Toestand A (een specifieke dichtheid en snelheid), en in de volgende hoek is het in Toestand B. Het mengt niet; het is gewoon het een of het ander. De auteurs hebben bewezen dat je voor een dichte verzameling begincondities een oneindige familie van deze gepixelde scenario's kunt creëren.

Hier komt het echt verbazingwekkende deel: deze oplossingen zijn niet zomaar willekeurig. De auteurs kunnen ze controleren. Ze lieten zien dat je een familie van deze oplossingen kunt creëren waarbij de hoeveelheid wanorde (entropie) blijft toenemen. Het is alsof je een machine hebt die oneindig veel verschillende versies van een film kan genereren, waarbij in de ene versie de personages iets rommeliger worden, in de volgende nog rommeliger, enzovoort, terwijl ze strikt de natuurwetten blijven volgen.

Bovendien lieten ze zien dat je deze oplossingen kunt dwingen om in een specifieke "terminale" toestand te eindigen. Stel je voor dat je wilt dat het gas tegen de tijd dat de klok een bepaalde tijd bereikt, in een heel specifiek patroon van wanorde terechtkomt. De auteurs bewezen dat je een oplossing kunt construeren die precies dat doet, ongeacht hoe complex het uiteindelijke patroon is (zolang het een "Riemann-integreerbare" functie is, wat een chique wiskundige manier is om te zeggen dat het een patroon is dat je kunt meten).

Waarom dit ertoe doet (en waarom het vreemd is)

De auteurs zeggen in feite dat het Euler-systeem "ill-posed" is. In de wiskunde betekent "well-posed" dat je een unieke oplossing hebt die netjes afhangt van de begingegevens. "Ill-posed" betekent dat de regels gebrekkig zijn. Het paper bewijst dat zelfs als je de regel toevoegt dat "entropie moet toenemen" (dat is de Tweede Wet van de Thermodynamica, de regel die zegt dat dingen rommeliger worden in de loop van de tijd), het systeem nog steeds oneindig veel verschillende toekomsten toestaat.

Dit is een grote zaak omdat het ons begrip van hoe vloeistoffen zich gedragen uitdaagt. Als de wiskunde oneindige mogelijkheden toestaat, hoe weten we dan welke de "echte" is? De auteurs wijzen erop dat deze "discrete" oplossingen waarschijnlijk niet zijn wat er in de echte wereld gebeurt. Ze zijn "pathologisch", wat betekent dat het wiskundige monsters zijn. Ze hebben vreemde eigenschappen, zoals het feit dat de gasdichtheid voor altijd exact hetzelfde blijft terwijl de snelheid rondspringt, of dat het gas plotseling stopt en start op een manier die onnatuurlijk aanvoelt.

Het paper raakt ook aan het idee van "admissibiliteit". Wetenschappers hebben geprobeerd regels te maken om de "echte" oplossing uit de oneindige neppe oplossingen te filteren. Bijvoorbeeld, DiPerna en Dafermos suggereerden dat de "echte" oplossing degene moet zijn die de meeste entropie zo snel mogelijk produceert. De auteurs laten zien dat hun "discrete" oplossingen deze test niet doorstaan. Je kunt altijd een andere oplossing vinden die nog meer entropie produceert. Dit suggereelt dat deze discrete oplossingen inderdaad onfysisch zijn, maar hun bestaan bewijst dat de huidige regels die we gebruiken om ze eruit te filteren, niet sterk genoeg zijn om een enkel, uniek antwoord te garanderen.

De kern van het verhaal

Dus, wat is de essentie? De auteurs hebben een wiskundige machine gebouwd die oneindige, gepixelde, niet-unieke oplossingen voor de gasstromingsvergelijkingen kan genereren. Deze oplossingen kunnen worden afgesteld om steeds meer wanorde te produceren of om in een specifiek eindpatroon te eindigen. Hoewel deze oplossingen waarschijnlijk niet zijn wat we in de natuur zien (ze zijn te rigide en vreemd), bewijst hun bestaan dat het Euler-systeem fundamenteel gebrekkig is in de zin dat het niet één uniek antwoord heeft, zelfs niet als we proberen heel strikt te zijn over de natuurwetten. Het is een herinnering dat in de wereld van de wiskunde de regels soms een universum aan mogelijkheden toestaan, en het vinden van de "echte" vereist meer dan alleen de basiswetten van beweging en energie. Het paper zegt niet dat we het weer niet kunnen voorspellen; het zegt dat als we ons alleen op de Euler-vergelijkingen baseren, de wiskunde zelf zegt: "Ik weet niet welke kant de wind zal waaien, want ik kan het op een miljoen verschillende manieren laten waaien, en ze zien er allemaal goed uit."