Constrained Symplectic and Contact Hamiltonian Systems: A Review

Cette revue expose les structures géométriques des variétés pré-symplectiques et pré-contacts et développe des algorithmes de contraintes correspondants pour garantir une dynamique hamiltonienne bien définie pour les systèmes singuliers conservatifs et dissipatifs, illustrés par des exemples spécifiques.

L'essentiel

Imaginez que vous essayez de conduire une voiture, mais que le volant est cassé, les freins sont collants et le moteur refuse parfois de démarrer. Dans le monde de la physique, ces systèmes « cassés » ou « collants » sont appelés des théories singulières. Elles décrivent tout, depuis le mouvement des planètes jusqu'au comportement des particules subatomiques, mais elles sont délicates car elles possèdent des règles cachées (contraintes) qui les empêchent de se comporter comme des machines normales et prévisibles.

Cet article de Callum Bell et David Sloan est un guide pour naviguer dans ces systèmes défectueux. Il propose deux cartes différentes : l'une pour les systèmes qui conservent l'énergie (comme un pendule sans frottement) et l'autre pour les systèmes qui perdent de l'énergie (comme un pendule oscillant qui ralentit à cause de la résistance de l'air).

Voici le détail de leur voyage, en utilisant des analogies simples.

1. Les deux types de cartes : La Piscine et l'Entonnoir

Les auteurs commencent par distinguer deux types de mondes physiques :

• Le Monde Symplectique (La Piscine Infinie) : C'est la carte standard pour les systèmes conservatifs. Imaginez une piscine infinie parfaitement lisse. Si vous y lancez une balle, elle glisse éternellement sans perdre de vitesse. La géométrie ici est « symplectique ». C'est comme une piste de danse où chaque mouvement a un partenaire parfait, et le « volume » total de la piste ne change jamais. C'est la façon classique dont les physiciens décrivent l'univers.
• Le Monde de Contact (L'Entonnoir Fuyant) : C'est pour les systèmes qui perdent de l'énergie, comme le frottement ou la chaleur. Imaginez un entonnoir où l'eau s'écoule vers le bas. L'eau est comprimée et concentrée en descendant ; le « volume » n'est pas préservé de la même manière. C'est une géométrie de « contact ». C'est l'outil approprié pour décrire les choses qui ralentissent, chauffent ou se dissipent.

2. Le Problème : Les « Zones Mortes »

Dans les deux mondes, les théories singulières possèdent des « zones mortes » ou des « dégénérescences ».

• L'Analogie : Imaginez que vous essayez de résoudre un puzzle, mais que certaines pièces manquent, ou que deux pièces sont collées ensemble. Vous ne pouvez pas déterminer exactement où va la pièce suivante car les instructions sont vagues.
• En Physique : Cela signifie que vous ne pouvez pas simplement calculer la position future d'une particule car les mathématiques s'effondrent. Il y a trop d'inconnues, ou les règles sont redondantes.

3. La Solution : L'Algorithme de Contrainte (Le Filtre)

Le cœur de l'article est une recette étape par étape (un algorithme) pour réparer ces systèmes défectueux. Pensez-y comme à un filtre de sécurité ou à un tamis.

• Étape 1 : La Vérification Primaire : Vous commencez dans une grande pièce (l'espace des phases) pleine d'états possibles. L'algorithme demande : « Les mathématiques fonctionnent-elles ici ? » Si la réponse est non, vous éliminez cette partie de la pièce.
• Étape 2 : La Vérification de Tangence : Maintenant, vous êtes dans une pièce plus petite. L'algorithme demande : « Si le système bouge, reste-t-il à l'intérieur de cette pièce ? » Si le système tente de sortir par la porte (évoluer hors de la surface de contrainte), vous devez encore rétrécir la pièce.
• Étape 3 : Répéter : Vous continuez à rétrécir la pièce jusqu'à trouver une petite zone sûre où le système peut bouger sans enfreindre les règles. C'est la Sous-variété de Contrainte Finale.

Les auteurs montrent que cette méthode géométrique (regarder les formes et les directions) est souvent plus claire et plus intuitive que l'ancienne méthode, lourde en algèbre (Dirac-Bergmann), utilisée par les physiciens pendant des décennies.

4. Trier les Règles : Contraintes de Première Classe vs Deuxième Classe

Une fois que vous avez trouvé votre zone sûre, vous avez une liste de règles (contraintes) que le système doit suivre. Les auteurs trient ces règles dans deux catégories :

• Contraintes de Deuxième Classe (Les Règles Rigides) : Ce sont comme des lois de circulation strictes. Si vous les enfreignez, vous avez un accident. Elles sont rigides. L'article explique comment utiliser un outil mathématique spécial appelé le Crochet de Dirac pour « verrouiller » ces règles en place afin que vous puissiez les ignorer et vous concentrer uniquement sur le mouvement qui compte.
• Contraintes de Première Classe (Les Illusions) : Ce sont comme des illusions d'optique ou des choix redondants. Imaginez une carte où « Nord » est étiqueté de trois manières différentes. Cela ne change pas où vous êtes ; cela change seulement la façon dont vous le décrivez. En physique, cela représente des symétries de jauge. Cela signifie que deux descriptions mathématiques différentes décrivent en fait exactement la même réalité physique. Le système peut se déplacer le long de ces « orbites de jauge » sans changer rien d'observable.

5. Les Exemples : Tester les Cartes

Pour prouver que leur méthode fonctionne, les auteurs passent en revue deux exemples spécifiques :

• Exemple 1 (Symplectique) : Ils prennent un système avec 4 parties en mouvement et montrent comment l'algorithme identifie rapidement quelles parties sont collées ensemble (contraintes) et lesquelles sont libres de bouger. Ils démontrent comment éliminer la confusion « de jauge » pour trouver le véritable mouvement physique.
• Exemple 2 (Contact) : Ils prennent un système qui perd de l'énergie (comme un oscillateur amorti) et appliquent la même logique. Ils montrent comment la géométrie « entonnoir » gère la perte d'énergie et comment l'algorithme de contrainte trouve le chemin valide que le système doit suivre.

6. La Grande Image

L'article conclut en nous rappelant que, bien que les mathématiques soient complexes, l'objectif est simple : Trouver le sous-ensemble de la réalité où les lois de la physique ont réellement du sens.

• Pour les systèmes conservatifs (sans frottement), ils utilisent la carte « Piscine » (Symplectique).
• Pour les systèmes dissipatifs (avec frottement), ils utilisent la carte « Entonnoir » (Contact).
• Dans les deux cas, ils utilisent un filtre géométrique pour éliminer les scénarios impossibles et un chapeau de tri pour distinguer les changements physiques réels des simples illusions mathématiques.

En bref : L'article propose une nouvelle façon, géométriquement élégante, de nettoyer les mathématiques désordonnées des systèmes physiques singuliers, garantissant que lorsque nous prédisons comment l'univers bouge, nous n'essayons pas de conduire une voiture sans roues. Nous trouvons la route où la voiture peut réellement rouler.

Résumé technique

1. Énoncé du problème

L'article aborde le défi mathématique consistant à décrire les théories singulières en physique — des systèmes où les descriptions lagrangiennes ou hamiltoniennes présentent des dégénérescences. Ces dégénérescences empêchent l'inversion standard des moments en vitesses, conduisant à des contraintes qui restreignent la dynamique du système à un sous-ensemble spécifique de l'espace des phases.

Les auteurs identifient deux classes distinctes de tels systèmes :

1. Systèmes conservatifs : Décrits par la géométrie symplectique (de dimension paire, préservant le volume).
2. Systèmes dissipatifs : Décrits par la géométrie de contact (de dimension impaire, ne préservant pas le volume, capables de modéliser le frottement et la perte d'énergie).

Bien que l'algorithme de Dirac-Bergmann soit la méthode algébrique standard pour traiter les contraintes dans les systèmes symplectiques, l'article plaide pour une approche géométrique plus intuitive et naturellement extensible à la géométrie de contact, laquelle est moins courante dans la littérature physique mais cruciale pour les phénomènes non conservatifs.

2. Méthodologie

Les auteurs emploient un cadre géométrique rigoureux pour dériver des algorithmes de contraintes pour les variétés symplectiques et de contact. La méthodologie procède en trois étapes principales :

A. Préliminaires géométriques

• Cas symplectique : Ils définissent le fibré tangent $TQ$ et l'application de Legendre $FL$. Pour les lagrangiens singuliers, $FL$ n'est pas un difféomorphisme, appliquant l'espace des configurations sur une sous-variété $M_0$ (surface de contrainte primaire) du fibré cotangent $T^*Q$. Le système est défini par un triplet $(M_0, \omega_0, H_0)$, où $\omega_0$ est une forme pré-symplectique (dégénérée).
• Cas de contact : Ils étendent cela à $TQ \times \mathbb{R}$, en introduisant une forme de contact $\eta_L$. Le système est défini par $(TQ \times \mathbb{R}, \eta_L, E_L)$. Pour les systèmes singuliers, cela induit une structure pré-contacte sur une sous-variété $P_0 \subset T^*Q \times \mathbb{R}$.

B. Les algorithmes de contraintes

Le cœur de l'article réside dans le développement d'algorithmes itératifs pour trouver la sous-variété de contrainte finale ($M_f$ ou $P_f$) où une évolution hamiltonienne cohérente existe.

• Algorithme pré-symplectique (Section III) :

  1. Existence : On cherche un champ de vecteurs $X_H$ tel que $\flat_0(X_H) = dH_0$. Puisque $\flat_0$ (l'application induite par la forme dégénérée) n'est pas un isomorphisme, les solutions n'existent que là où $dH_0$ appartient à l'image de $\flat_0$. Cela restreint l'espace des phases à $M_1$.
  2. Tangence : Le champ de vecteurs doit rester tangent à la surface de contrainte. Si $X_H$ n'est pas tangent à $M_1$, le système évolue hors de la surface. Cela impose de nouvelles contraintes, restreignant l'espace à $M_2$.
  3. Itération : Ce processus se répète ($M_k \to M_{k+1}$) jusqu'à ce que l'algorithme se stabilise ($M_{N+1} = M_N$). La variété finale $M_f$ supporte une dynamique bien définie.

• Algorithme pré-contact (Section VII) :

  1. L'approche reflète le cas symplectique mais utilise le champ de vecteurs de Reeb $R$ et le morphisme de fibré de contact $\bar{\flat}$.
  2. L'équation dynamique est $\bar{\flat}_0(X_H) = dH_0 - (R(H_0) + H_0)\eta_0$.
  3. L'orthogonalité est définie via le noyau à droite de $\bar{\flat}_0$. L'algorithme restreint itérativement l'espace $P_k$ à $P_{k+1}$ sur la base de la condition que la 1-forme dynamique $\alpha_0$ doit être dans l'image du morphisme et que la solution doit être tangente à la surface.

C. Classification et crochets

Une fois la variété de contrainte finale trouvée, les contraintes sont classées en :

• Première classe : Contraintes dont les crochets (Poisson ou Jacobi) avec toutes les autres contraintes s'annulent sur la surface de contrainte. Elles génèrent des symétries de jauge.
• Seconde classe : Contraintes qui ne commutent pas avec toutes les autres.
• Structures de crochets :
  • Pour les systèmes symplectiques, le crochet de Dirac est introduit pour traiter les contraintes de seconde classe, permettant de les traiter comme des égalités fortes.
  • Pour les systèmes de contact, le crochet de Jacobi est utilisé, qui est modifié en crochet de Dirac-Jacobi pour traiter les contraintes de seconde classe dans le cadre de dimension impaire.

3. Contributions clés

1. Cadre géométrique unifié : L'article fournit un traitement parallèle des systèmes contraints symplectiques et de contact, démontrant que les algorithmes de contraintes sont structurellement identiques malgré les différences de dimensionnalité et de lois de conservation.
2. Extension aux systèmes dissipatifs : Il formalise rigoureusement l'algorithme de contraintes pour les variétés pré-contacts, comblant une lacune dans la littérature concernant la manière de traiter les singularités dans les systèmes dissipatifs (non conservatifs).
3. Géométrique vs Algébrique : Les auteurs contrastent explicitement leur approche géométrique (utilisant l'orthogonalité et les espaces tangents) avec la méthode algébrique traditionnelle de Dirac-Bergmann (utilisant les crochets de Poisson et les multiplicateurs de Lagrange). Ils soutiennent que la vue géométrique offre une meilleure intuition quant à l'origine des contraintes (tangence du flot).
4. Formalisme local des crochets : L'article détaille la construction du crochet de Dirac-Jacobi et de la structure de Jacobi associée $(\Lambda, E)$ requise pour définir la dynamique sur l'espace des phases réduit des systèmes de contact.

4. Résultats

• Stabilité algorithmique : Les auteurs démontrent, à travers des exemples (Sections V et VIII), que les algorithmes de contraintes se stabilisent généralement après deux ou trois itérations.
• Exemple 1 (Symplectique) : Un système avec un espace des configurations $\mathbb{R}^4$ et un lagrangien singulier est analysé. L'algorithme identifie les contraintes primaires et secondaires, les classe, et dérive le crochet de Dirac et les équations du mouvement.
• Exemple 2 (Contact) : Un système dissipatif sur $\mathbb{R}^2 \times \mathbb{R}$ est analysé. L'algorithme identifie une structure pré-contacte, dérive la distribution caractéristique, et se stabilise sur une sous-variété où la dynamique est régie par le crochet de Dirac-Jacobi.
• Réduction de jauge : L'article clarifie que les contraintes de première classe correspondent aux orbites de jauge. Le quotient de la variété de contrainte par ces orbites produit un espace des phases physique doté d'une structure symplectique (pour la réduction de contact) ou symplectique.

5. Importance

• Clarté théorique : En unifiant le traitement des systèmes conservatifs et dissipatifs singuliers, l'article fournit une base mathématique robuste pour l'étude de modèles physiques complexes, y compris ceux impliquant du frottement ou une invariance d'échelle.
• Réduction de contact : Ce travail soutient l'étude de la réduction de contact, une technique de réduction de symétrie qui réduit la dimension de l'espace des phases d'une unité (contrairement à la réduction symplectique qui réduit de deux). Cela est vital pour comprendre les systèmes avec similarité dynamique et symétries d'échelle.
• Application pratique : La revue sert de guide complet pour les physiciens et mathématiciens travaillant sur les systèmes lagrangiens/hamiltoniens singuliers, offrant une alternative claire à la procédure algébrique de Dirac-Bergmann souvent opaque. Elle est particulièrement significative pour les applications modernes en thermodynamique, mécanique statistique hors équilibre et modèles cosmologiques impliquant une invariance d'échelle.

En résumé, Bell et Sloan fournissent une revue rigoureuse, géométriquement intuitive et mathématiquement complète de la manière de traiter les contraintes dans les systèmes mécaniques conservatifs et dissipatifs, comblant le fossé entre la géométrie symplectique et la géométrie de contact.