Non-unique singular solutions for KP and modified KP equations on $\mathbb T^2$ and $\mathbb R^2$

In het uitgestrekte landschap van de mathematische fysica dienen bepaalde vergelijkingen als de fundamentele blauwdrukken voor het begrijpen van hoe golven bewegen en interageren in vloeistoffen, plasma's en andere continue media. Onder deze vergelijkingen behoren de Kadomtsev-Petviashvili-vergelijkingen, vaak afgekort tot KP-vergelijkingen, tot de categorieën die worden gevierd omdat ze beschrijven hoe rimpelingen op een oppervlak zich gedragen wanneer ze in twee richtingen tegelijk reizen. Decennialang hebben wiskundigen deze vergelijkingen bestudeerd om de regels van stabiliteit te begrijpen: als je begint met een perfect kalm, vlak oppervlak, blijft het dan zo, of groeien kleine, onzichtbare verstoringen uit tot iets groters? De heersende hoop in dit vakgebied is geweest dat het antwoord meestal "zo blijft" is, wat betekent dat als je met niets begint, je ook met niets eindigt. Deze verwachting van uniciteit is een hoeksteen van voorspelbaarheid in de wetenschap; het suggereert dat de toekomst uitsluitend wordt bepaald door de huidige staat.

Echter, het gedrag van deze golven wordt veel complexer wanneer de vergelijkingen nietlineaire termen bevatten, waarbij de hoogte van de golf zijn eigen snelheid en vorm beïnvloedt. In dergelijke scenario's kan de wiskunde bijzonder delicaat worden. Lange tijd werd aangenomen dat zelfs in deze complexe, nietlineaire omgevingen, het starten met een vlak oppervlak er altijd toe zou leiden dat een vlak oppervlak vlak blijft. Maar deze aanname steunde op het feit dat de oplossingen "glad" waren, wat betekent dat ze geen plotselinge sprongen of oneindige pieken hadden. De vraag bleef: wat gebeurt er als we toestaan dat oplossingen ruwer zijn, of "singulier", waarbij de wiskundige beschrijving op specifieke manieren instort? Als we de vereiste van perfecte gladheid versoepelen, houdt de regel van uniciteit dan nog stand, of staat het systeem toe dat meerdere verschillende toekomsten voortkomen uit exact dezelfde kalme begintoestand?

Een nieuwe studie door Alexandru F. Radu heeft deze vraag nu beantwoord met een definitief en verrassend resultaat. De onderzoeker heeft een oneindig aantal verschillende, zwakke oplossingen voor deze golfvergelijkingen geconstrueerd die allemaal beginnen vanuit een staat van absolute nul. Stel je een vijver voor die aan het begin van een experiment volkomen stil is. Volgens de standaardregels van de fysica zou deze stil moeten blijven. Radu's werk demonstreert dat, onder specifieke wiskundige omstandigheden met betrekking tot ruwe, singuliere golven, de vijver plotseling een complex, bewegend patroon van rimpelingen kan ontwikkelen, ook al begon hij zonder enige beweging. Dit is geen simulatie of een gok; het is een rigoureus wiskundig bewijs dat deze vergelijkingen niet één unieke uitkomst hebben wanneer de oplossingen toegelaten worden om singulier te zijn.

Het artikel richt zich op twee hoofdtypen van deze golfvergelijkingen: de standaard kwadratische versies en de gemodificeerde kubische versies, die verschillende soorten golfinteracties beschrijven. Deze vergelijkingen werden bestudeerd op twee verschillende soorten ruimtes: een vlak, oneindig vlak en een torus, een vorm die lijkt op een donut waarbij de randen naar elkaar toe buigen om zichzelf te ontmoeten. In beide settings heeft de onderzoeker deze vreemde oplossingen geconstrueerd met behulp van een techniek die het stapelen van vele kleine, hoogfrequente oscillaties omvat. Deze oscillaties zijn zorgvuldig ontworpen om elkaar in de begintoestand uit te doven, maar om op een manier te interageren die een nieuw, niet-nul golfpatroon genereert naarmate de tijd vordert. De geconstrueerde oplossingen zijn "zwak" in de zin dat ze niet perfect glad zijn; ze bezitten singulariteiten, of punten waar de wiskundige beschrijving ruw wordt, maar ze zijn nog steeds geldige oplossingen binnen het bredere kader van de vergelijkingen.

Een van de meest opvallende bevindingen is de enorme variëteit van deze oplossingen. De studie bewijst dat voor elk gegeven tijdsinterval er oneindig veel verschillende manieren zijn waarop het water vanuit stilstand in beweging zou kunnen komen. Deze oplossingen zijn niet slechts theoretische curiositeiten; ze zijn geconstrueerd om extreem klein te zijn, wat betekent dat ze een minimale hoeveelheid energie of hoogte kunnen hebben, en toch de regel van uniciteit breken. De onderzoeker heeft aangetoond dat deze oplossingen behoren tot specifieke categorieën van wiskundige gladheid, gedefinieerd door hoe hun energie verdeeld is over verschillende frequenties. Voor de kwadratische vergelijkingen zijn de oplossingen ruwer, terwijl voor de kubische, gemodificeerde vergelijkingen de oplossingen iets gladder kunnen zijn, maar nog steeds de eigenschap van niet-uniciteit behouden. De studie heeft ook precieze drempels geïdentificeerd voor hoe ruw deze oplossingen kunnen zijn voordat ze weer glad en uniek worden, waardoor de grens tussen orde en chaos in deze systemen effectief in kaart wordt gebracht.

De research pakte ook de kwestie van stationaire oplossingen aan, dat zijn golfpatronen die niet veranderen in de loop van de tijd. Het artikel bewijst dat er voor de KP-I vergelijking, die een specifiek type golfgedrag beschrijft, oneindig veel stationaire oplossingen zijn die singulier en ruw zijn. Echter, de studie stelt ook een scherpe limiet vast: als een stationaire oplossing glad genoeg is om een eindige hoeveelheid energie te hebben (specifiek, als deze tot de L2-klasse behoort), dan moet deze perfect glad en uniek zijn. Deze bevinding is cruciaal omdat het precies aanwijst waar de breuk in uniciteit optreedt. Het suggereert dat het "wilde" gedrag van deze vergelijkingen beperkt is tot de ruwere, meer singuliere sfeer, terwijl de gladdere, meer fysieke oplossingen voorspelbaar en uniek blijven.

In de context van het hele oneindige vlak heeft de onderzoeker ook een technische beperking met betrekking tot de frequenties van de golven behandeld. De geconstrueerde oplossingen hebben een "kloof" in hun frequenties, wat betekent dat ze bepaalde zeer laagfrequente componenten niet bevatten. Deze kloof is noodzakelijk om de wiskundige definities correct te laten werken voor deze ruwe oplossingen. Ondanks deze beperking blijven de resultaten overeind: zelfs met deze kloof staan de vergelijkingen oneindig veel verschillende toekomsten toe die vanuit nul beginnen. De studie heeft verder aangetoond dat deze oplossingen geschaald en in de tijd verschoven kunnen worden, waardoor een enorme familie van niet-unieke gedragingen ontstaat die willekeurig klein gemaakt kunnen worden.

Dit werk verandert fundamenteel ons begrip van de KP-vergelijkingen. Het suggereert niet dat de fysieke wereld onvoorspelbaar is in een chaotische, willekeurige zin, maar eerder dat de wiskundige modellen die we gebruiken om het te beschrijven een verborgen laag van complexiteit bezitten. Wanneer we toestaan dat oplossingen niet perfect glad zijn, verliezen de vergelijkingen hun vermogen om een enkele toekomst uit een enkele het verleden te voorspellen. Het artikel biedt een concrete, wiskundige demonstratie dat het universum van oplossingen voor deze golfvergelijkingen veel rijker en diverser is dan voorheen gedacht, en een oneindig aantal paden bevat die allemaal beginnen bij hetzelfde punt van stilstand. Door te bewijzen dat deze singuliere oplossingen bestaan en niet-uniek zijn, sluit de studie een langlopend gat in de theorie van dispersieve golven, waarbij wordt aangetoond dat de aanname van uniciteit geen universele wet is, maar een eigenschap die afhangt van de gladheid van de oplossing.