Nonuniqueness of solutions to the Lagrangian mean curvature equation

In het uitgestrekte landschap van de wiskunde is er een tak gewijd aan het begrijpen van hoe vormen buigen en hoe oppervlakken hun meest efficiënte vorm vinden. Stel je een zeepfilm voor die over een draadframe is gespannen; deze zoekt van nature een vorm die het oppervlakteoppervlak minimaliseert, een staat van perfect evenwicht die een minimaal oppervlak wordt genoemd. Wiskundigen bestuderen al lang vergelijkingen die deze vormen beschrijven, vooral wanneer ze bestaan in hogere dimensies, ver voorbij de drie dimensies waarin wij dagelijks leven. Een dergelijke vergelijking, bekend als de Lagrangiaanse gemiddelde krommingvergelijking, fungeert als een regelboek voor hoe deze complexe, meerdimensionale oppervlakken zich zouden moeten gedragen. Decennialang was een centrale vraag in dit veld of dit regelboek slechts één specifieke vorm toestaat voor een gegeven set randvoorwaarden, of dat het wellicht vele verschillende vormen tegelijkertijd kan toestaan. Deze vraag naar uniciteit is essentieel, want als een enkele set instructies tot meerdere, even geldige uitkomsten kan leiden, wordt het wiskundige model onvoorspelbaar, vergelijkbaar met een weersvoorspelling die wel of niet juist kan zijn, afhankelijk van welk pad de lucht neemt.

Lange tijd geloofden wiskundigen dat als de instructies vloeiend en continu waren, de resulterende vorm uniek zou zijn. Dit geloof hield stand voor veel variaties van de vergelijking, vooral wanneer de "fase", een waarde die de hoek en oriëntatie van het oppervlak bepaalt, binnen bepaalde veilige grenzen bleef. Echter, een nieuwe studie door Arunima Bhattacharya en W. Jacob Ogden heeft deze verwachting voor een breed scala aan scenario's definitief ondersteboven gekeerd. Zij hebben bewezen dat het voor elke dimensie van de ruimte groter dan of gelijk aan twee mogelijk is om een specifieke set randvoorwaarden en een continue fasefunctie te construeren die een oneindig aantal verschillende, continue oplossingen voor dezelfde vergelijking toestaat. Met andere woorden, zij hebben aangetoond dat het wiskundige systeem in deze gevallen fundamenteel ambigu is, in staat om een continuüm van verschillende geldige vormen voort te brengen uit een enkele, onveranderlijke set regels.

De onderzoekers bereikten dit door een zeer specifieke, enigszins grillige oppervlakte te construeren die dient als een testomgeving. Ze begonnen met een basisvorm die scherpe, singuliere randen heeft waar het oppervlak oneindig in verschillende richtingen buigt, wat een soort geometisch skelet creëert. Op dit skelet voegden ze een familie van kleine, tentachtige bulten toe. Deze bulten zijn zo ontworpen dat ze de algehele kromming van het oppervlak weg van de scherpe randen niet veranderen, maar ze veranderen wel de hoogte van het oppervlak in het centrum. Cruciaal is dat ze bewezen dat elke een van deze variaties, van een platte tent tot een hoge, de vergelijking perfect voldoet. De sleutel tot hun succes was het aantonen dat de scherpe randen van de onderliggende vorm voorkomen dat een gebruikelijke gladde testfunctie onderscheid kan maken tussen deze verschillende oplossingen. In de taal van het vakgebied fungeren deze scherpe punten als barrières die de gebruikelijke methoden om te bewijzen dat slechts één oplossing mogelijk is, tegenhouden.

De studie behandelt specifiek een scenario waarin de fasewaarde, die de oriëntatie van het oppervlak stuurt, een kritieke drempel overschrijdt. In het verleden wisten wiskundigen dat als de fase strikt binnen een veilige zone bleef, de oplossingen uniek waren. Maar wanneer de fase een speciale waarde mag overschrijden, verandert het gedrag van de vergelijking drastisch. Bhattacharya en Ogden hebben aangetoond dat zodra deze drempel wordt overschreden, de vergelijking het vermogen verliest om een enkele uitkomst te selecteren. Ze construeerden voorbeelden waarbij de fasewaarde in het centrum van het domein exact op dit kritieke overgangspunt ligt, en de fasewaarden net links en rechts van het centrum aan weerszijden van de drempel liggen. In deze precieze configuratie toonden zij aan dat de vergelijking een continue familie van oplossingen toelaat, wat betekent dat men vloeiend van de ene oplossing naar de andere kan glijden zonder ooit de regels van de vergelijking te breken.

Dit onderzoek is significant omdat het een vraag oplost die al enige tijd openstond, specifiek gesteld door de vooraanstaande wiskundigen F. Reese Harvey en H. Blaine Lawson. Hun werk bevestigt dat de ambiguïteit niet slechts een theoretische mogelijkheid is, maar een concrete realiteit die met continue functies gebouwd kan worden. De onderzoekers vertrouwden niet op computersimulaties of benaderingen; zij leverden een rigoureus wiskundig bewijs dat deze oneindige oplossingen bestaan. Ze toonden aan dat men voor elke dimensie van de ruimte een rand en een fasefunctie kan definiëren zodanig dat het Dirichlet-probleem — de taak om een oppervlak te vinden dat aan een specifieke rand voldoet — geen enkel antwoord heeft. In plaats daarvan is het antwoord een heel spectrum aan mogelijkheden.

De constructie steunt op een slim gebruik van geometrie waarbij het oppervlak "cusps", of scherpe punten, mag hebben, in plaats van overal perfect glad te zijn. In de regio's weg van deze scherpe punten gedraagt het oppervlak zich als een standaard, gladde oplossing. Echter, bij de scherpe punten vallen de gebruikelijke regels voor het controleren van uniciteit uiteen. De onderzoekers toonden aan dat het oppervlak bij deze punten zo scherp gedefinieerd is dat geen enkele gladde test het verschil kan waarnemen tussen de verschillende oplossingen in hun familie. Het is alsof de scherpe randen van de vorm de verschillen tussen de oplossingen verbergen voor de wiskundige instrumenten die worden gebruikt om de oplossingen te vergelijken. Dit staat toe dat meerdere onderscheidende oppervlakken naast elkaar kunnen bestaan, die allemaal dezelfde vergelijking en dezelfde randvoorwaarden voldoen.

Het artikel onderzoekt ook hoe deze oplossingen zich gedragen nabij het centrum van het domein. Ze vonden dat de fasewaarde op een zeer specifieke manier verandert naarmate men zich langs verschillende assen van het centrum verwijdert. In sommige richtingen daalt de fasewaarde onder de kritieke drempel, terwijl deze in andere richtingen er juist boven stijgt. Deze overschrijding van de drempel is wat de niet-uniciteit triggert. De onderzoekers berekenden exact hoe de fase verandert, waarbij zij aantoonden dat het geen willekeurige fluctuatie is, maar een precieze, voorspelbare verschuiving die het bestaan van de oneindige familie van oplossingen mogelijk maakt. Dit niveau van detail bevestigt dat het fenomeen robuust is en geen artefact is van een slecht geconstrueerd voorbeeld.

Uiteindelijk verandert dit werk de manier waarop wiskundigen naar de stabiliteit van deze geometrische vergelijkingen kijken. Het laat zien dat de aanname van uniciteit, die een leidend principe vormt in veel gebieden van de analyse, niet zomaar als vanzelfsprekend kan worden beschouwd wanneer de fase van de vergelijking mag variëren en bepaalde kritieke waarden kan overschrijden. Het resultaat impliceert dat in deze specifieke hoogdimensionale instellingen het wiskundige model "ill-posed" is in de zin dat het geen enkele, stabiele uitkomst garandeert. Voor iedereen die de studie van complexe oppervlakken doet, betekent dit dat men voorbereid moet zijn op de mogelijkheid dat een enkele set instructies tot vele verschillende, even geldige realiteiten kan leiden. Het werk van Bhattacharya en Ogden vindt niet slechts een mazen in de wet; het onthult een fundamentele eigenschap van de vergelijking zelf, waarbij wordt getoond dat het universum van oplossingen veel rijker en complexer is dan voorheen werd aangenomen.