Hamilton--Jacobi theory for non-conservative field theories in the $k$-contact framework

Dit artikel vestigt een uitgebreide Hamilton-Jacobi-theorie voor niet-conservatieve klassieke veldtheorieën binnen het $k$-contactkader door evolutie $k$-contact $k$-vectorvelden in te voeren, zowel $z$-onafhankelijke als $z$-afhankelijke benaderingen te ontwikkelen en het formalisme te valideren via diverse toepassingen die variëren van dissipatieve golfvergelijkingen tot relativistische thermodynamica.

De kern

Stel je voor dat je probeert te voorspellen hoe een complex systeem in de loop van de tijd verandert. In de wereld van de natuurkunde zijn er twee hoofdtypen systemen: conservatieve systemen (zoals een perfecte slinger in een vacuüm die voor altijd blijft zwaaien) en niet-conservatieve systemen (zoals een slinger in de echte wereld die vertraagt door luchtweerstand en wrijving).

Dit artikel gaat over het bouwen van een nieuwe wiskundige "kaart" om het tweede type te begrijpen: systemen die energie verliezen, of dissipatieve systemen, maar dan op een veel grotere schaal dan alleen een enkele slinger. In plaats van naar één enkel moment in de tijd te kijken, kijken ze naar velden – dingen die overal in ruimte en tijd bestaan, zoals geluidsgolven, elektrische signalen of warmte die zich verspreidt door een metalen plaat.

Hier is een uiteenzetting van wat de auteurs hebben gedaan, met behulp van eenvoudige analogieën:

1. Het Probleem: De "Wrijving" van het Universum

De meeste klassieke natuurkundige wiskunde (Hamiltoniaanse mechanica) is gebouwd voor perfecte, wrijvingsloze werelden. Als je wrijving (dissipatie) toevoegt, breekt de oude wiskunde of wordt deze zeer rommelig.

• De Analogie: Stel je voor dat je probeert een stad te navigeren met een kaart die alleen straten toont, maar file en afsluitingen negeert. Je kunt wel op je bestemming komen, maar de route die je berekent, komt niet overeen met de werkelijkheid.
• Het Doel van het Artikel: De auteurs hebben een nieuwe "kaart" gemaakt (een wiskundig raamwerk genaamd k-contact meetkunde) die de "file" (dissipatie) op een natuurlijke manier bevat, zodat je niet-conservatieve velden nauwkeurig kunt navigeren.

2. Het Nieuwe Hulpmiddel: "k-Contact" Meetkunde

De auteurs gebruiken een raamwerk genaamd k-contact meetkunde.

• De Analogie: Denk aan een standaardkaart (symplectische meetkunde) als een plat stuk papier. Het werkt uitstekend voor eenvoudige dingen. Maar de echte wereld is 3D en complex.
• De "k"-Factor: De "k" in hun theorie vertegenwoordigt meerdere dimensies van tijd of ruimte die tegelijkertijd werken. In plaats van alleen te volgen hoe een systeem verandert van "nu" naar "volgende seconde", volgt deze theorie hoe het verandert over een heel rooster van ruimte en tijd tegelijkertijd.
• Het "Contact"-Deel: Ze hebben extra variabelen toegevoegd (genaamd dissipatieve variabelen, of $z$) aan de kaart. Denk hierbij aan "energiemeters" die aan elk punt in het systeem zijn bevestigd. Naarmate het systeem evolueert, tikken deze meters terug en registreren ze precies hoeveel energie er door wrijving of warmte verloren gaat.

3. Twee Manieren om de Kaart te Lezen

Het artikel ontwikkelt twee verschillende manieren om deze nieuwe kaart te gebruiken voor het oplossen van problemen, die zij Hamilton-Jacobi-theorieën noemen.

Benadering A: De "z-Onafhankelijke" Manier (Het Statische Blauwdruk)

• Hoe het werkt: Je kijkt naar de toestand van het systeem zonder je zorgen te maken over de specifieke "energiemeter"-aflezingen op elk enkel moment. Je behandelt energieverlies als een achtergrondregel.
• De Analogie: Stel je voor dat je een auto-motor ontwerpt. Je weet dat er brandstof verloren gaat als warmte, dus ontwerp je de motor op basis van die algemene regel, zonder de exacte temperatuur van elke bout in real-time te volgen.
• Het Resultaat: Dit geeft je een schone, vereenvoudigde vergelijking die je vertelt hoe de belangrijkste delen van het systeem (zoals de positie van een golf) bewegen, waarbij je de rommelige details van hoe de energie verloren gaat negeert, zolang het verlies maar een eenvoudige regel volgt.

Benadering B: De "z-Afhankelijke" Manier (Het Live Dashboard)

• Hoe het werkt: Je neemt de "energiemeter"-aflezingen ($z$) direct op in je kaart. Je volgt het systeem en zijn energieverlies gelijktijdig.
• De Analogie: Dit is als het rijden in de auto terwijl je naar het dashboard kijkt. Je ziet de snelheid, het brandstofniveau en de motortemperatuur allemaal samen veranderen. Je lost tegelijkertijd het pad en het energieverlies op.
• Het Resultaat: Dit is flexibeler. Het maakt complexe situaties mogelijk waarbij de wrijving verandert afhankelijk van hoe snel je gaat of hoe heet de motor wordt. Het is een "live" simulatie in plaats van een statisch blauwdruk.

4. Het "Gauge"-Mysterie

Een van de belangrijkste bevindingen van het artikel is dat voor deze complexe systemen er niet slechts één wiskundige beschrijving is voor één fysieke situatie.

• De Analogie: Stel je voor dat je een route van New York naar Boston beschrijft. Je kunt zeggen "Ga noordwaarts", of "Ga 50 mijl, draai dan oostwaarts". Beide brengen je daar, maar ze beschrijven het pad anders. In deze wiskunde zijn er veel verschillende "routes" (wiskundige velden) die exact dezelfde fysieke realiteit beschrijven.
• Het Inzicht van het Artikel: De auteurs hebben uitgevonden hoe ze met deze "keuze" om moeten gaan. Ze hebben aangetoond dat, hoewel de wiskunde deze flexibiliteit heeft (die zij gauge-vrijheid noemen), de uiteindelijke fysieke voorspelling (waar de golf eindigt) hetzelfde blijft.

5. Geteste Wereldse Voorbeelden

Om te bewijzen dat hun nieuwe kaart werkt, hebben ze deze toegepast op vier verschillende scenario's uit de echte wereld:

1. De Gedempte Telegrapher/Klein-Gordon Vergelijking: Het modelleren van hoe elektrische signalen vervagen terwijl ze door een draad reizen (zoals een ouderwetse telegraaflijn).
2. De Dissipatieve Hunter-Saxton Vergelijking: Het modelleren van golven in vloeibare kristallen (zoals het materiaal in je LCD-scherm) die energie verliezen.
3. Een Eenvoudig Dissipatief Veld: Een basis testgeval om te laten zien hoe de wiskunde systemen behandelt waarbij je de toekomstige toestand niet eenvoudig kunt voorspellen alleen op basis van de huidige toestand.
4. Relativistische Thermodynamica: Het modelleren van hoe warmte en entropie (wanorde) stromen in een systeem dat zich met hoge snelheid beweegt, waarbij warmtestroom wordt behandeld als een fysiek veld, net als elektriciteit.

Samenvatting

Kortom, dit artikel bouwt een nieuwe, robuuste wiskundige toolkit voor het begrijpen van natuurkunde uit de echte wereld waar energie verloren gaat.

• Het gaat verder dan "perfecte" natuurkunde om wrijving en warmte te behandelen.
• Het werkt voor velden (dingen die over de ruimte verspreid zijn), niet alleen voor enkele deeltjes.
• Het biedt twee manieren om problemen op te lossen: een vereenvoudigde "blauwdruk"-methode en een gedetailleerde "live dashboard"-methode.
• Het modelleert met succes complexe fenomenen zoals vervagende elektrische signalen en warmtestroom, en bewijst dat deze nieuwe "k-contact" meetkunde een krachtige manier is om de rommelige, energie-verliezende universum te beschrijven waarin we eigenlijk leven.

Technische samenvatting

1. Probleemstelling

Klassieke veldtheorieën worden traditioneel gemodelleerd met behulp van conservatieve kaders (bijvoorbeeld symplectische of multisymplectische meetkunde). Veel fysische systemen, met name die welke dissipatie (energieverlies) of niet-conservatieve krachten omvatten, vereisen echter een meetkundig kader dat deze effecten op een natuurlijke manier integreert.

• Het Gat: Hoewel contactmeetkunde ($k=1$) dissipatieve mechanische systemen succesvol beschrijft, is het uitbreiden hiervan naar veldtheorieën (systemen met meerdere onafhankelijke variabelen, $k > 1$) uitdagend gebleken. Bestaande formuleringen missen vaak een verenigde meetkundige structuur voor niet-conservatieve velden of falen in het adresseren van de specifieke vrijheidsgraden en integreerbaarheidsproblemen die inherent zijn aan hogere-dimensionale contactstructuren.
• Het Doel: Het ontwikkelen van een rigoureuze Hamilton–Jacobi (HJ)-theorie voor niet-conservatieve klassieke veldtheorieën binnen het kader van georiënteerde $k$-contactmeetkunde. Dit omvat het definiëren van passende dynamische vergelijkingen, het adresseren van de niet-uniekheid van Hamiltoniaanse vectorvelden in $k$-contactsettings, en het formuleren van HJ-vergelijkingen in zowel $z$-onafhankelijke als $z$-afhankelijke benaderingen.

2. Methodologie en Meetkundig Kader

De auteurs maken gebruik van $k$-contactmeetkunde, een generalisatie van contactmeetkunde waarbij de variëteit $M$ is uitgerust met een $\mathbb{R}^k$-waardige 1-vorm $\eta = \sum \eta_\alpha \otimes e_\alpha$ die voldoet aan specifieke niet-ontaardingsvoorwaarden ($\ker \eta \oplus \ker d\eta = TM$).

Belangrijkste Geïntroduceerde Meetkundige Hulpmiddelen:

• Evolutie $k$-Contact $k$-Vectorvelden: De auteurs breiden het concept van "evolutievectorvelden" uit contactmechanica naar veldtheorie. In tegenstelling tot standaard Hamiltoniaanse $k$-vectorvelden ($X_h$) die voldoen aan $\iota_{X_h}\eta = -h$, voldoen evolutievelden ($E_h$) aan $\iota_{E_h}\eta = 0$. Dit onderscheid maakt twee parallelle formuleringen van de dynamica mogelijk.
• Vrijheidsgraad ($\ker \chi$): Een cruciale bevinding is dat voor $k > 1$ de afbeelding $\chi: L^k TM \to T^*M \times \mathbb{R}$ (die vectorvelden relateert aan Hamiltoniaanse functies) een niet-triviale kern heeft. Bijgevolg bepaalt een enkele Hamiltoniaanse functie $h$ niet uniek een Hamiltoniaans $k$-vectorveld. De auteurs definiëren gauge $k$-vectorvelden als elementen van $\ker \chi$ en formuleren de theorie in termen van equivalentieklassen van vectorvelden modulo deze kern.
• Hamilton–De Donder–Weyl (HdDW)-vergelijkingen: Het artikel leidt zowel standaard- als evolutieversies van de HdDW-vergelijkingen af. Voor Hamiltonianen die affijn zijn in de dissipatieve variabelen ($z_\alpha$), bewijzen de auteurs dat de geprojecteerde dynamica op de configuratieruimte $Q$ identiek is voor zowel de standaard- als de evolutieformulering, ondanks het verschil in de vergelijkingen die de dissipatieve variabelen besturen.
• Integreerbaarheid en Co-isotropie: Het artikel onderscheidt tussen Legendriaanse deelvariëteiten (relevant voor $z$-onafhankelijke benaderingen) en maximaal co-isotrope deelvariëteiten (relevant voor $z$-afhankelijke benaderingen).

3. Belangrijkste Bijdragen

A. Twee Distincte Hamilton–Jacobi-Formuleringen

Het artikel ontwikkelt twee families van HJ-theorieën op basis van de keuze van de basisvariëteit voor de projectie:

1. $z$-Onafhankelijke Benadering (Actie-Onafhankelijk):

   • Basisvariëteit: Configuratieruimte $Q$.
   • Sectie: Holonomische secties $\gamma: Q \to J_{Q,k}$ (waarbij $J_{Q,k} = L^k T^*Q \times \mathbb{R}^k$).
   • Voorwaarde: Het beeld van $\gamma$ moet een Legendriaanse deelvariëteit zijn.
   • HJ-vergelijking:
     • Standaard: $h \circ \gamma = 0$.
     • Evolutie: $d(h \circ \gamma) = 0$.
   • Resultaat: Integrale secties van het geprojecteerde $k$-vectorveld liften naar oplossingen van de HdDW-vergelijkingen.

2. $z$-Afhankelijke Benadering (Actie-Afhankelijk):

   • Basisvariëteit: Uitgebreide ruimte $Q \times \mathbb{R}^k$.
   • Sectie: Secties $\gamma: Q \times \mathbb{R}^k \to J_{Q,k}$.
   • Voorwaarde: Het beeld van $\gamma$ moet een maximaal co-isotrope deelvariëteit zijn.
   • HJ-vergelijking: Geformuleerd als een voorwaarde op de geprojecteerde klasse van het $k$-vectorveld om rekening te houden met de vrijheidsgraad ($\ker \chi$). De vergelijking omvat een matrix van functies $C$ die voldoet aan een spoorconditie (gerelateerd aan $h \circ \gamma$ voor de standaardversie, en spoorloos voor de evolutieversie).
   • Betekenis: Deze benadering is flexibeler, waardoor secties mogelijk zijn die niet voldoen aan de strengere $z$-onafhankelijke voorwaarden, en is essentieel om de standaard contact-HJ-theorie te herstellen wanneer $k=1$ zonder restrictieve aannames.

B. Omgaan met Niet-Reguliere en Affijne Hamiltonianen

• De auteurs analyseren Hamiltonianen die affijn zijn in dissipatieve variabelen (veelvoorkomend in de fysica) en tonen aan hoe deze tweede-orde partiële differentiaalvergelijkingen opleveren die onafhankelijk zijn van de specifieke keuze van het gauge-vectorveld.
• Ze tonen ook aan dat kwadratische afhankelijkheid van dissipatieve variabelen structureel levensvatbaar is, waardoor het toepassingsgebied wordt verbreed tot buiten het affiene geval dat doorgaans in de literatuur wordt aangetroffen.
• De theorie biedt ruimte voor niet-reguliere Hamiltonianen (waarbij de Hessiaan singulier is), en toont aan hoe geprojecteerde dynamica toch kan worden gedefinieerd.

4. Resultaten en Toepassingen

Het theoretische kader wordt gevalideerd aan de hand van vier distincte fysische voorbeelden:

1. Gedempte Telegraphist/Klein–Gordon-vergelijking:

   • Modelleert gedempte golfvoortplanting (bijvoorbeeld transmissielijnen).
   • De auteurs leiden expliciete $z$-onafhankelijke en $z$-afhankelijke complete oplossingen af.
   • Ze tonen aan hoe een kwadratische afhankelijkheid van dissipatieve variabelen effectieve, toestandsafhankelijke dempingscoëfficiënten kan modelleren.

2. Dissipatieve Hunter–Saxton-vergelijking:

   • Een niet-lineaire golfvergelijking die voortkomt uit de dynamica van vloeibare kristallen.
   • De $z$-afhankelijke benadering levert niet-lineaire expliciete oplossingen op (bijvoorbeeld kwadratisch in de tijd) die moeilijk te verkrijgen zijn via de $z$-onafhankelijke methode.
   • Demonstreert de flexibiliteit van het $z$-afhankelijke formalisme bij het hanteren van niet-integreerbare geprojecteerde velden.

3. Eenvoudig Dissipatief Eerste-orde Veldmodel:

   • Een niet-regulier model dat illustreert dat verschillende meetkundige dissipatiemechanismen (Standaard versus Evolutie) dezelfde geprojecteerde dynamica op de configuratieruimte kunnen produceren, terwijl ze dissipatie verschillend coderen in de contactvariabelen.

4. Covariante EIT-type Thermodynamisch Model:

   • Past het kader toe op Uitgebreide Irreversibele Thermodynamica (EIT).
   • Modelleert entropieproductie en fluxen als onafhankelijke variabelen in een relativistische setting.
   • Toont aan dat het formalisme op een natuurlijke manier balanswetten en constitutieve relaties behandelt, en standaard thermodynamische vergelijkingen herstelt als een bijzonder geval.

5. Betekenis en Vooruitzichten

• Unificatie: Het artikel verenigt de behandeling van dissipatieve veldtheorieën onder één meetkundige paraplu, waarbij standaard contactmechanica ($k=1$) en $k$-symplectische conservatieve theorieën worden hersteld als limietgevallen.
• Oplossing van Niet-Uniekheid: Door expliciet in te gaan op de kern van de morfisme $\chi$, bieden de auteurs een rigoureuze manier om de niet-uniekheid van Hamiltoniaanse vectorvelden in $k$-contactsystemen te hanteren, wat een groot obstakel was in eerdere formuleringen.
• Nieuwe Integreerbaarheidsconcepten: De introductie van maximaal co-isotrope foliaties als het natuurlijke meetkundige object voor $z$-afhankelijke integreerbaarheid biedt een nieuw perspectief op volledige integreerbaarheid in veldtheorie.
• Toekomstige Richtingen: De auteurs suggereren het uitbreiden van de theorie tot singuliere/gebonden Hamiltonianen, hogere-orde veldtheorieën, en het verkennen van de relatie tussen $k$-contact, $k$-symplectische en multisymplectische formalismen in de context van dissipatieve vervormingen.

Kortom, dit werk vestigt een robuuste, meetkundig consistente Hamilton–Jacobi-theorie voor niet-conservatieve veldtheorieën, en biedt krachtige hulpmiddelen om dissipatieve systemen te analyseren, variërend van golfvergelijkingen tot relativistische thermodynamica.