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

Cet article établit une théorie de Hamilton–Jacobi complète pour les théories de champs classiques non conservatrices dans le cadre $k$-contact en introduisant des champs de $k$-vecteurs $k$-contact d'évolution, en développant à la fois des approches indépendantes et dépendantes de $z$, et en validant le formalisme par des applications diverses allant des équations d'ondes dissipatives à la thermodynamique relativiste.

L'essentiel

Imaginez que vous essayez de prédire comment un système complexe évolue au fil du temps. Dans le monde de la physique, il existe deux types principaux de systèmes : les systèmes conservatifs (comme un pendule parfait dans le vide qui oscille indéfiniment) et les systèmes non conservatifs (comme un pendule réel qui ralentit à cause de la résistance de l'air et des frottements).

Cet article traite de la construction d'une nouvelle « carte » mathématique pour comprendre le second type : les systèmes qui perdent de l'énergie, ou systèmes dissipatifs, mais à une échelle bien plus vaste que celle d'un simple pendule. Au lieu de se concentrer sur un instant précis, ils examinent des champs — des entités qui existent partout dans l'espace et le temps, comme les ondes sonores, les signaux électriques ou la chaleur se propageant à travers une plaque métallique.

Voici une décomposition de ce que les auteurs ont réalisé, en utilisant des analogies simples :

1. Le Problème : La « Friction » de l'Univers

La plupart des mathématiques classiques de la physique (la mécanique hamiltonienne) ont été conçues pour des mondes parfaits et sans frottement. Lorsqu'on ajoute de la friction (la dissipation), les anciennes mathématiques s'effondrent ou deviennent très désordonnées.

• L'Analogie : Imaginez essayer de vous déplacer dans une ville en utilisant une carte qui ne montre que les rues, mais ignore les embouteillages et les fermetures de routes. Vous pouvez atteindre votre destination, mais l'itinéraire que vous calculez ne correspondra pas à la réalité.
• L'Objectif de l'Article : Les auteurs ont créé une nouvelle « carte » (un cadre mathématique appelé géométrie k-contact) qui intègre naturellement les « embouteillages » (la dissipation) afin de pouvoir naviguer avec précision dans les champs non conservatifs.

2. Le Nouvel Outil : La Géométrie « k-Contact »

Les auteurs utilisent un cadre appelé géométrie k-contact.

• L'Analogie : Considérez une carte standard (géométrie symplectique) comme une feuille de papier plate. Elle fonctionne très bien pour des choses simples. Mais le monde réel est tridimensionnel et complexe.
• Le Facteur « k » : Le « k » dans leur théorie représente plusieurs dimensions de temps ou d'espace agissant simultanément. Au lieu de simplement suivre comment un système évolue de « maintenant » à « la seconde suivante », cette théorie suit comment il évolue à travers toute une grille d'espace et de temps simultanément.
• La Partie « Contact » : Ils ont ajouté des variables supplémentaires (appelées variables dissipatives, ou $z$) à la carte. Pensez-y comme des « compteurs d'énergie » attachés à chaque point du système. Au fur et à mesure que le système évolue, ces compteurs décomptent, enregistrant exactement combien d'énergie est perdue par friction ou chaleur.

3. Deux Façons de Lire la Carte

L'article développe deux méthodes différentes pour utiliser cette nouvelle carte afin de résoudre des problèmes, qu'ils appellent des théories de Hamilton-Jacobi.

Approche A : La Façon « Indépendante de z » (Le Plan Statique)

• Fonctionnement : Vous examinez l'état du système sans vous soucier des lectures spécifiques des « compteurs d'énergie » à chaque instant. Vous traitez la perte d'énergie comme une règle de fond.
• L'Analogie : Imaginez que vous concevez un moteur de voiture. Vous savez qu'il perdra une partie du carburant en chaleur, vous concevez donc le moteur sur la base de cette règle générale, sans suivre la température exacte de chaque boulon en temps réel.
• Le Résultat : Cela vous donne une équation propre et simplifiée qui indique comment les parties principales du système (comme la position d'une onde) se déplacent, en ignorant les détails désordonnés de comment l'énergie est perdue, tant que la perte suit une règle simple.

Approche B : La Façon « Dépendante de z » (Le Tableau de Bord en Direct)

• Fonctionnement : Vous incluez directement les lectures des « compteurs d'énergie » ($z$) dans votre carte. Vous suivez le système et sa perte d'énergie simultanément.
• L'Analogie : C'est comme conduire la voiture tout en regardant le tableau de bord. Vous voyez la vitesse, le niveau de carburant et la température du moteur changer tous ensemble. Vous résolvez le trajet et la perte d'énergie en même temps.
• Le Résultat : Cela est plus flexible. Cela permet des situations complexes où la friction change en fonction de votre vitesse ou de la température du moteur. C'est une simulation « en direct » plutôt qu'un plan statique.

4. Le Mystère du « Jauge »

L'une des découvertes clés de l'article est que pour ces systèmes complexes, il n'existe pas une seule description mathématique pour une situation physique donnée.

• L'Analogie : Imaginez que vous décrivez un itinéraire de New York à Boston. Vous pouvez dire « Allez vers le Nord », ou « Faites 50 miles, puis tournez à l'Est ». Les deux vous y mènent, mais ils décrivent le trajet différemment. Dans cette mathématique, il existe de nombreux « itinéraires » différents (champs mathématiques) qui décrivent exactement la même réalité physique.
• L'Insight de l'Article : Les auteurs ont compris comment gérer ce « choix ». Ils ont montré que même si les mathématiques possèdent cette flexibilité (qu'ils appellent liberté de jauge), la prédiction physique finale (où l'onde se termine) reste la même.

5. Exemples du Monde Réel Testés

Pour prouver que leur nouvelle carte fonctionne, ils l'ont appliquée à quatre scénarios réels différents :

1. L'Équation du Télégraphe/Klein-Gordon Amorti : Modéliser comment les signaux électriques s'estompent en se propageant le long d'un fil (comme une ancienne ligne télégraphique).
2. L'Équation Dissipative de Hunter-Saxton : Modéliser les ondes dans les cristaux liquides (comme ceux de votre écran LCD) qui perdent de l'énergie.
3. Un Champ Dissipatif Simple : Un cas de test de base pour montrer comment les mathématiques gèrent les systèmes où l'on ne peut pas facilement prédire l'état futur simplement à partir de l'état actuel.
4. Thermodynamique Relativiste : Modéliser comment la chaleur et l'entropie (le désordre) circulent dans un système se déplaçant à grande vitesse, traitant le flux de chaleur comme un champ physique tout comme l'électricité.

Résumé

En bref, cet article construit une nouvelle boîte à outils mathématique robuste pour comprendre la physique du monde réel où l'énergie est perdue.

• Il va au-delà de la physique « parfaite » pour gérer la friction et la chaleur.
• Il fonctionne pour les champs (des entités réparties dans l'espace), et non seulement pour des particules individuelles.
• Il offre deux façons de résoudre des problèmes : une méthode simplifiée de « plan » et une méthode détaillée de « tableau de bord en direct ».
• Il modélise avec succès des phénomènes complexes comme l'estompage des signaux électriques et le flux de chaleur, prouvant que cette nouvelle géométrie « k-contact » est un moyen puissant de décrire l'univers désordonné et perdant de l'énergie dans lequel nous vivons réellement.

Résumé technique

1. Énoncé du problème

Les théories de champ classiques sont traditionnellement modélisées à l'aide de cadres conservatifs (par exemple, la géométrie symplectique ou multisymplectique). Cependant, de nombreux systèmes physiques, en particulier ceux impliquant une dissipation (perte d'énergie) ou des forces non conservatrices, nécessitent un cadre géométrique qui intègre naturellement ces effets.

• Le vide : Bien que la géométrie de contact ($k=1$) décrive avec succès les systèmes mécaniques dissipatifs, l'extension de ceci aux théories de champ (systèmes à plusieurs variables indépendantes, $k > 1$) s'est révélée difficile. Les formulations existantes manquent souvent d'une structure géométrique unifiée pour les champs non conservateurs ou échouent à traiter les libertés de jauge spécifiques et les problèmes d'intégrabilité inhérents aux structures de contact de dimension supérieure.
• L'objectif : Développer une théorie de Hamilton–Jacobi (HJ) rigoureuse pour les théories de champ classiques non conservatrices dans le cadre de la géométrie k-contact co-orientée. Cela implique de définir des équations dynamiques appropriées, de traiter la non-unicité des champs vectoriels hamiltoniens dans les contextes k-contact, et de formuler les équations HJ selon des approches indépendantes et dépendantes de $z$.

2. Méthodologie et cadre géométrique

Les auteurs utilisent la géométrie k-contact, une généralisation de la géométrie de contact où la variété $M$ est équipée d'une 1-forme à valeurs dans $\mathbb{R}^k$, notée $\eta = \sum \eta_\alpha \otimes e_\alpha$, satisfaisant des conditions de non-dégénérescence spécifiques ($\ker \eta \oplus \ker d\eta = TM$).

Outils géométriques clés introduits :

• Champs k-vectoriels k-contact d'évolution : Les auteurs étendent le concept de « champs vectoriels d'évolution » de la mécanique de contact à la théorie de champ. Contrairement aux champs k-vectoriels hamiltoniens standards ($X_h$) qui satisfont $\iota_{X_h}\eta = -h$, les champs d'évolution ($E_h$) satisfont $\iota_{E_h}\eta = 0$. Cette distinction permet deux formulations parallèles de la dynamique.
• Liberté de jauge ($\ker \chi$) : Une découverte critique est que pour $k > 1$, l'application $\chi: L^k TM \to T^*M \times \mathbb{R}$ (reliant les champs vectoriels aux fonctions hamiltoniennes) possède un noyau non trivial. Par conséquent, une seule fonction hamiltonienne $h$ ne détermine pas de manière unique un champ k-vectoriel hamiltonien. Les auteurs définissent les champs k-vectoriels de jauge comme des éléments de $\ker \chi$ et formulent la théorie en termes de classes d'équivalence de champs vectoriels modulo ce noyau.
• Équations de Hamilton–De Donder–Weyl (HdDW) : L'article dérive les versions standard et d'évolution des équations HdDW. Pour les hamiltoniens affines par rapport aux variables dissipatives ($z_\alpha$), les auteurs prouvent que la dynamique projetée sur l'espace de configuration $Q$ est identique pour les deux formulations standard et d'évolution, malgré la différence dans les équations régissant les variables dissipatives.
• Intégrabilité et coisotropie : L'article distingue entre les sous-variétés Legendriennes (pertinentes pour les approches indépendantes de $z$) et les sous-variétés maximalement coisotropes (pertinentes pour les approches dépendantes de $z$).

3. Contributions clés

A. Deux formulations distinctes de Hamilton–Jacobi

L'article développe deux familles de théories HJ basées sur le choix de la variété de base pour la projection :

1. Approche indépendante de $z$ (indépendante de l'action) :

   • Variété de base : Espace de configuration $Q$.
   • Section : Sections holonomes $\gamma: Q \to J_{Q,k}$ (où $J_{Q,k} = L^k T^*Q \times \mathbb{R}^k$).
   • Condition : L'image de $\gamma$ doit être une sous-variété Legendrienne.
   • Équation HJ :
     • Standard : $h \circ \gamma = 0$.
     • Évolution : $d(h \circ \gamma) = 0$.
   • Résultat : Les sections intégrales du champ k-vectoriel projeté se relèvent en solutions des équations HdDW.

2. Approche dépendante de $z$ (dépendante de l'action) :

   • Variété de base : Espace étendu $Q \times \mathbb{R}^k$.
   • Section : Sections $\gamma: Q \times \mathbb{R}^k \to J_{Q,k}$.
   • Condition : L'image de $\gamma$ doit être une sous-variété maximalement coisotrope.
   • Équation HJ : Formulée comme une condition sur la classe projetée du champ k-vectoriel pour tenir compte de la liberté de jauge ($\ker \chi$). L'équation implique une matrice de fonctions $C$ satisfaisant une condition de trace (liée à $h \circ \gamma$ pour le standard, et de trace nulle pour l'évolution).
   • Signification : Cette approche est plus flexible, permettant des sections qui ne satisfont pas les conditions plus strictes indépendantes de $z$, et est essentielle pour retrouver la théorie HJ de contact standard lorsque $k=1$ sans hypothèses restrictives.

B. Traitement des hamiltoniens non réguliers et affines

• Les auteurs analysent les hamiltoniens qui sont affines par rapport aux variables dissipatives (courants en physique) et montrent comment ils conduisent à des EDP du second ordre indépendantes du choix spécifique du champ vectoriel de jauge.
• Ils démontrent également qu'une dépendance quadratique par rapport aux variables dissipatives est structurellement viable, élargissant la portée au-delà du cas affine généralement trouvé dans la littérature.
• La théorie accommodate les hamiltoniens non réguliers (où le Hessien est singulier), montrant comment la dynamique projetée peut toujours être définie.

4. Résultats et applications

Le cadre théorique est validé par quatre exemples physiques distincts :

1. Équation de télégraphe/Klein–Gordon amortie :

   • Modélise la propagation d'ondes amorties (par exemple, les lignes de transmission).
   • Les auteurs dérivent des solutions complètes explicites indépendantes de $z$ et dépendantes de $z$.
   • Ils montrent comment une dépendance quadratique par rapport aux variables dissipatives peut modéliser des coefficients d'amortissement effectifs dépendant de l'état.

2. Équation dissipative de Hunter–Saxton :

   • Une équation d'onde non linéaire apparaissant dans la dynamique des cristaux liquides.
   • L'approche dépendante de $z$ produit des solutions explicites non linéaires (par exemple, quadratiques en temps) difficiles à obtenir via la méthode indépendante de $z$.
   • Démontre la flexibilité du formalisme dépendant de $z$ pour traiter des champs projetés non intégrables.

3. Modèle de champ du premier ordre dissipatif simple :

   • Un modèle non régulier illustrant que différents mécanismes géométriques dissipatifs (Standard vs Évolution) peuvent produire la même dynamique projetée sur l'espace de configuration tout en codant la dissipation différemment dans les variables de contact.

4. Modèle thermodynamique de type EIT covariant :

   • Applique le cadre à la Thermodynamique Irréversible Étendue (EIT).
   • Modélise la production d'entropie et les flux comme des variables indépendantes dans un cadre relativiste.
   • Montre que le formalisme gère naturellement les lois de bilan et les relations constitutives, retrouvant les équations thermodynamiques standards comme cas particulier.

5. Signification et perspectives

• Unification : L'article unifie le traitement des théories de champ dissipatives sous une même bannière géométrique, retrouvant la mécanique de contact standard ($k=1$) et les théories conservatrices k-symplectiques comme cas limites.
• Résolution de la non-unicité : En traitant explicitement le noyau du morphisme $\chi$, les auteurs fournissent une manière rigoureuse de gérer la non-unicité des champs vectoriels hamiltoniens dans les systèmes k-contact, qui constituait un obstacle majeur dans les formulations précédentes.
• Nouveaux concepts d'intégrabilité : L'introduction des feuilletages maximalement coisotropes en tant qu'objet géométrique naturel pour l'intégrabilité dépendante de $z$ offre une nouvelle perspective sur l'intégrabilité complète en théorie de champ.
• Directions futures : Les auteurs suggèrent d'étendre la théorie aux hamiltoniens singuliers/contraints, aux théories de champ d'ordre supérieur, et d'explorer la relation entre les formalismes k-contact, k-symplectique et multisymplectique dans le contexte des déformations dissipatives.

En résumé, ce travail établit une théorie de Hamilton–Jacobi robuste et géométriquement cohérente pour les théories de champ non conservatrices, fournissant des outils puissants pour analyser les systèmes dissipatifs allant des équations d'ondes à la thermodynamique relativiste.