Hamilton-Jacobi as model reduction, extension to Newtonian particle mechanics, and a wave mechanical curiosity

Dit artikel presenteert de Hamilton-Jacobi-vergelijking als een modelreductie van conservatieve deeltjesmechanica, breidt dit concept uit naar niet-conservatieve systemen met dissipatieve krachten, en leidt hieruit via een geometrische optica-benadering een dissipatieve Schrödinger-vergelijking af.

De kern

De Kern: Het Verwijderen van de "Versnelling"

Stel je voor dat je een auto bestuurt. Normaal gesproken moet je twee dingen weten om de auto te besturen: waar hij is (de positie) en hoe snel hij gaat (de snelheid). In de klassieke natuurkunde (Newton) heb je beide nodig om te voorspellen waar de auto over een uur zal zijn.

Amit Acharya stelt in dit paper een slimme truc voor: wat als we de snelheid als een aparte variabele weggooien?

In plaats van te zeggen "De auto is hier en gaat 50 km/u", zegt hij: "De snelheid van de auto is altijd een vast patroon gebaseerd op waar hij zich bevindt."

• Analogie: Denk aan een glijbaan. Als je op een bepaald punt op de glijbaan staat, weet je precies hoe snel je gaat. Je hoeft niet apart te meten hoe snel je bent; je snelheid is "gevangen" (of geslaafd) door je positie op de glijbaan.

Dit noemt hij modelreductie. Het maakt het probleem kleiner en simpeler, omdat je alleen nog maar naar de positie hoeft te kijken.

Van "Behoud" naar "Verlies" (Dissipatie)

In de oude, klassieke natuurkunde werkt deze truc alleen als er geen wrijving is (geen energie verlies). Maar in het echte leven is er altijd wrijving, luchtweerstand of andere krachten die energie "opeten".

Acharya's grote doorbraak is dat hij deze truc ook toepast op systemen met wrijving.

• Analogie: Stel je een bal voor die rolt over een tapijt. Normaal gesproken stopt hij. Acharya's methode beschrijft hoe de snelheid van de bal op elk punt op het tapijt afhangt van de wrijving op dat specifieke punt. Hij maakt een nieuwe vergelijking (een soort "landkaart" van snelheden) die werkt, zelfs als de bal langzaam stopt.

Dit is belangrijk omdat de oude wiskundige regels (de Hamilton-Jacobi vergelijking) dat niet konden. Hij heeft ze dus "geüpgraded" voor de echte wereld.

De "Magische" Golf (De Quantum-Link)

Het meest fascinerende deel is wat er gebeurt als je deze nieuwe vergelijking een beetje "wazig" maakt, alsof je door een wazige bril kijkt.

In de natuurkunde bestaat er een beroemde link tussen de beweging van deeltjes (zoals een bal) en golven (zoals licht of quantum-deeltjes).

• Analogie: Stel je voor dat je een stenen muur hebt (de klassieke natuurkunde). Als je er heel hard tegenaan schreeuwt, hoor je alleen de echo. Maar als je de muur een beetje vervormt, begint hij te trillen als een snaar (een golf).

Acharya laat zien dat als je zijn nieuwe vergelijking voor systemen met wrijving gebruikt en je kijkt er met een "golf-bril" naar, je een nieuwe versie van de beroemde Schrödinger-vergelijking krijgt.

• Dit is de vergelijking die quantum-fysici gebruiken om atomen te beschrijven.
• Maar zijn versie bevat een extra term voor wrijving.

Dit is een "curious curiosity" (een interessante nieuwsgierigheid): hij heeft een manier gevonden om wrijving in de quantum-wereld te beschrijven via de klassieke wereld. Het is alsof hij een brug heeft gebouwd tussen een stoffige, wrijvingsvolle wereld en de mysterieuze quantum-wereld.

Waarom is dit belangrijk? (De "Meerdere Kaarten")

Een klein maar belangrijk detail in het paper is dit:
In de oude wereld kun je vaak met één kaart (één vergelijking) alle mogelijke routes beschrijven. In Acharya's nieuwe wereld, waar wrijving en complexe krachten zijn, werkt één kaart niet meer.

• Analogie: Stel je voor dat je een stad in wilt rijden. Als er geen verkeer is, is er één beste route. Maar als er files zijn, en je start op een ander tijdstip, is de beste route anders. Je hebt nu meerdere kaarten nodig, afhankelijk van waar je begint en hoe snel je wilt zijn.

Acharya zegt: "Om dit systeem volledig te begrijpen, moeten we niet één, maar veel van deze 'kaarten' (wiskundige oplossingen) tegelijk gebruiken." Dit klinkt ingewikkeld, maar het betekent dat we een veel rijkere manier hebben om complexe systemen (zoals weer, stromingen of zelfs quantum-deeltjes) te modelleren.

Samenvatting in één zin

Amit Acharya heeft een slimme wiskundige truc bedacht om de snelheid van objecten te "verbergen" en alleen naar hun positie te kijken; dit werkt zelfs bij wrijving, en als je dat resultaat op een bepaalde manier bekijkt, krijg je een nieuwe, verbeterde versie van de wetten die atomen en golven beschrijven.

Kortom: Hij heeft de oude regels van de natuurkunde herschreven zodat ze werken in een rommelige, wrijvingsvolle wereld, en daarbij een verrassende connectie gevonden met de mysterieuze wereld van quantum-golven.

Technische samenvatting

Probleemstelling

De klassieke Hamilton-Jacobi (H-J) vergelijking is een niet-lineaire partiële differentiaalvergelijking (PDE) die traditioneel wordt geassocieerd met conservatieve systemen, afgeleid via canonieke transformaties of het actieprincipe. Een beperking van de klassieke theorie is dat deze voornamelijk geldt voor systemen zonder dissipatie of niet-geconserveerde krachten.

Het centrale probleem dat in dit artikel wordt aangepakt, is het vinden van een methode om de Hamilton-Jacobi vergelijking af te leiden als een modelreductie van Newtoniaanse deeltjesmechanica waarbij de snelheidsvrijheidsgraden worden geëlimineerd. Het doel is om deze benadering uit te breiden naar algemene Newtoniaanse systemen die niet-geconserveerde krachten (zoals dissipatieve krachten) bevatten, en vervolgens een verbinding te leggen met golfmechanica (Schrödinger-vergelijking) in deze dissipatieve context.

Methodologie

De auteur hanteert een fundamenteel andere aanpak dan de traditionele variatierekening of canonieke transformaties:

1. Modelreductie via Invariante Manifolden:

   • Het Newtoniaanse systeem wordt beschouwd als een stelsel van ODE's voor positie ($x$) en snelheid ($v$).
   • Er wordt een ansatz (veronderstelling) gemaakt dat de snelheid een functie is van de positie en tijd: $v_i(t) = G_i(x(t), t)$. Dit wordt gezien als het zoeken naar een tijdsafhankelijke invariante manifold.
   • Door deze relatie in de Newtoniaanse bewegingsvergelijkingen te substitueren, wordt een PDE voor de functies $G_i$ afgeleid.

2. Gradient-Ansatz en Generalisatie:

   • Voor conservatieve systemen wordt aangenomen dat $G_i$ de gradiënt is van een scalair potentiaal $S$ (de actie): $G_i = \frac{1}{m} \frac{\partial S}{\partial x_i}$. Dit leidt tot de klassieke H-J vergelijking.
   • Voor niet-geconserveerde systemen (met krachten die niet als gradiënt van een potentiaal kunnen worden geschreven, inclusief dissipatie), wordt de krachtenfunctie ontbonden in een conservatief deel en een niet-geconserveerd deel ($D_i$).
   • De auteur toont aan dat voor algemene krachten de gradiënt-ansatz alleen werkt als het niet-geconserveerde deel ook als een gradiënt kan worden geschreven, wat leidt tot een dissipatieve H-J vergelijking.

3. Overgang naar Golfmechanica:

   • Er wordt een complexe golf functie $\Psi = A e^{iS/\hbar}$ geïntroduceerd.
   • Door een geometrische optica benadering (waarbij $\hbar$ klein is ten opzichte van de actie) toe te passen op de niet-lineaire vergelijking voor $\Psi$, wordt een lineaire Schrödinger-achtige vergelijking afgeleid die dissipatie bevat.

4. Herleiding van de Klassieke H-J:

   • In Sectie 3 wordt de klassieke H-J vergelijking opnieuw afgeleid vanuit een variatie van het actiefunctionaal, maar dan met een specifieke focus op extremale paden met vaste begin- en eindposities. Dit benadrukt de noodzaak van meerdere oplossingen ("sheets") om alle mogelijke begincondities (positie én snelheid) te dekken.

Belangrijkste Resultaten en Bijdragen

1. Afleiding van de H-J vergelijking zonder Variatierekening:
   De H-J vergelijking wordt afgeleid als een noodzakelijke voorwaarde voor de consistentie van een gereduceerd systeem (waar snelheid een functie is van positie) met de Newtoniaanse bewegingswetten. Dit is een elementaire afleiding die geen gebruik maakt van de calculus van variaties.

2. Generalisatie naar Dissipatieve Systemen:
   Voor systemen met lineaire demping ($D_i = -\nu v_i$) leidt de methode tot een gewijzigde H-J vergelijking:
   $$\frac{\partial S}{\partial t} + \frac{1}{2m}|\nabla S|^2 + V + \nu S = 0$$
   Dit biedt een fysisch rechtvaardiging voor viscositeitsregularisatie in de H-J vergelijking, wat relevant is voor het voorkomen van schokken in de oplossing.

3. Het "Hamilton-Jacobi-achtige" Systeem voor Algemene Krachten:
   Voor systemen waarbij de krachten niet als een gradiënt kunnen worden geschreven, wordt een gekoppeld stelsel van vergelijkingen voor een scalair veld $S$ en een divergentievrij vectorveld $R$ afgeleid (Vergelijking 19):
   $$\frac{1}{m}\partial_i \left( \frac{1}{2m}|\nabla S|^2 + \partial_t S + V + \nu S \right) + \text{termen met } R + \dots = 0$$
   $$\nabla \cdot R = 0$$
   Dit stelt een "H-J-achtig" systeem voor dat de volledige dynamica van niet-geconserveerde Newtoniaanse systemen beschrijft.

4. Dissipatieve Schrödinger-vergelijking:
   Door de geometrische optica benadering toe te passen op de dissipatieve H-J vergelijking, leidt de auteur een niet-lineaire Schrödinger-vergelijking af:
   $$i\hbar \frac{\partial \Psi}{\partial t} = -\frac{\hbar^2}{2m}\Delta \Psi + V \Psi + \nu h \arctan\left(\frac{\text{Im}(\Psi)}{\text{Re}(\Psi)}\right) \Psi$$
   Dit toont aan dat dissipatie in de klassieke mechanica leidt tot een niet-lineariteit in de bijbehorende golfvergelijking.

5. Interpretatie van Modelreductie:
   De reductie elimineert de snelheidsvrijheidsgraden. Dit betekent dat het gereduceerde systeem alleen willekeurige begincondities voor de positie $x(0)$ toestaat; de beginsnelheid is "geslaafd" (slaved) aan de positie via de oplossing van de H-J vergelijking. Om het volledige bereik van klassieke trajecten te dekken, is een verzameling van oplossingen (verschillende "sheets" $S^{(I)}$) nodig.

Significantie en Toekomstperspectief

• Nieuw Kader voor Dissipatie: Het artikel biedt een nieuwe, elementaire manier om dissipatie in de Hamiltoniaanse formalisme te integreren, wat traditioneel lastig is omdat dissipatie de symplectische structuur vernietigt.
• Brug tussen Klassiek en Kwantum: Het suggereert dat er een analogie bestaat tussen dissipatieve klassieke veldtheorieën en niet-lineaire Schrödinger-vergelijkingen, mogelijk via een "dualiteit" waarbij de dualiteit van het dissipatieve systeem een conservatief karakter krijgt.
• Toepassing in Continuümmechanica: De auteur speculeert dat deze aanpak kan worden gebruikt om een veel-deeltjes dynamisch formalisme te ontwikkelen voor dissipatieve continuümmechanica, wat een variatiestructuur zou kunnen bieden voor systemen die van nature dissipatief zijn.
• Numerieke Implicaties: Aangezien H-J vergelijkingen en de afgeleide systemen zware niet-lineaire PDE's zijn, wijst het artikel op de relevantie van recente ontwikkelingen in "relaxed" variatie-dual oplossingen en Mean Field Game theorie voor het oplossen van deze problemen.

Samenvattend transformeert dit werk de Hamilton-Jacobi theorie van een louter wiskundig hulpmiddel voor conservatieve systemen naar een robuust modelreductie-framework voor algemene Newtoniaanse dynamica, inclusief dissipatie, met verrassende implicaties voor de golfmechanica.