Faddeev-Jackiw Approach to Classical Constrained Systems

Résumé Technique : Approche de Faddeev-Jackiw pour les Systèmes Classiques à Contraintes

Énoncé du Problème
L'article traite de la quantification des systèmes de mécanique classique caractérisés par des lagrangiens singuliers, qui donnent lieu à des contraintes. Bien que la méthode de Dirac-Bergmann soit l'approche standard pour traiter de tels systèmes, les auteurs notent qu'elle implique des étapes logiques complexes et peut être fastidieuse, particulièrement pour les systèmes possédant de multiples contraintes. Le travail vise à appliquer le formalisme de Faddeev-Jackiw (FJ) — une alternative géométriquement motivée basée sur les structures symplectiques — pour analyser des systèmes classiques contraints spécifiques. L'objectif principal est de dériver les crochets fondamentaux de ces systèmes en utilisant la méthode FJ et de vérifier l'équivalence de ces résultats avec ceux obtenus via la méthode de Dirac, comme établi précédemment dans la littérature [16].

Méthodologie
Les auteurs emploient le formalisme de Faddeev-Jackiw modifié, qui utilise la structure symplectique de l'espace des phases pour rationaliser l'analyse des contraintes. La procédure comprend les étapes suivantes :

1. Formulation du Premier Ordre : Le lagrangien est réécrit sous forme du premier ordre, $L^{(0)} = a_i^{(0)}\dot{\zeta}_i^{(0)} - V^{(0)}(\zeta)$, où $\zeta$ représente les variables symplectiques.
2. Construction de la Matrice Symplectique : Une matrice de deux-formes symplectiques, $f_{ij}^{(0)}$, est construite à partir de la partie cinétique du lagrangien.
3. Identification des Contraintes : Si la matrice est singulière, ses modes nuls sont utilisés pour identifier les contraintes. Des conditions de cohérence sont appliquées de manière itérative pour déduire de nouvelles contraintes.
4. Modification Itérative : Les contraintes sont incorporées dans le lagrangien via des multiplicateurs de Lagrange, modifiant l'ensemble des variables symplectiques et la matrice symplectique. Cette itération se poursuit jusqu'à ce que la matrice devienne non singulière (inversible).
5. Quantification et Symétrie de Jauge :
   • Si la matrice devient non singulière, son inverse fournit les crochets fondamentaux de la théorie.
   • Si la matrice reste singulière après qu'aucune nouvelle contrainte n'a été générée, cela indique la présence d'une symétrie de jauge. Dans ce cas, une condition de fixation de jauge est introduite pour rendre la matrice inversible.
   • Les modes nuls de la matrice singulière au stade de la symétrie de jauge sont identifiés comme les générateurs des transformations de jauge.
6. Mise en Œuvre : Les auteurs décrivent également un algorithme MATLAB pour la formulation symplectique et fournissent une interprétation physique des multiplicateurs de Lagrange dans l'Appendice A.

Études de Cas et Résultats
Le formalisme est appliqué à trois systèmes de mécanique classique distincts :

1. Masses, Tiges et Ressorts :

   • Système : Quatre masses fixées aux points médians de tiges inextensibles et sans masse, connectées à un plafond par des ressorts.
   • Processus : Le système possède une contrainte unique ($\phi \equiv p_1 - p_2 + p_3 - p_4 = 0$). La matrice symplectique de la première itération est singulière, révélant une symétrie de jauge.
   • Résolution : Une condition de jauge ($y_2 - y_1 = 0$) est imposée. La matrice symplectique de la seconde itération résultante est non singulière.
   • Résultat : Les crochets fondamentaux sont dérivés de l'inverse de la seconde matrice itérée. Les transformations de jauge sont déduites des modes nuls de la première matrice itérée. Les résultats sont cohérents avec les crochets de Dirac.

2. Masses, Ressorts et un Anneau :

   • Système : Trois masses identiques glissant sans friction sur un anneau, connectées par des ressorts.
   • Processus : Des contraintes primaires découlent de l'annulation des moments des coordonnées généralisées $x$ et $y$. La méthode FJ modifiée est utilisée pour déduire les contraintes secondaires ($\tilde{\Omega}_1, \tilde{\Omega}_2$) via la contraction des modes nuls.
   • Résolution : Ces contraintes sont incorporées dans le lagrangien. La matrice symplectique de la première itération résultante est non singulière.
   • Résultat : Les crochets fondamentaux sont obtenus directement de l'inverse de la première matrice itérée. Les auteurs confirment que ceux-ci coïncident avec les crochets de Dirac trouvés dans [16].

3. Paire de Poulies :

   • Système : Trois paires de poulies sans masse avec une corde continue formant une boucle fermée.
   • Processus : Une contrainte unique ($\phi' \equiv p_1 + p_2 + p_3 = 0$) est identifiée. La première matrice symplectique itérée est singulière, indiquant une symétrie de jauge.
   • Résolution : Une condition de jauge ($\chi \equiv \alpha_1 + \alpha_2 + \alpha_3 = 0$) est introduite. La seconde matrice itérée devient non singulière.
   • Résultat : Les crochets fondamentaux et les transformations de jauge sont dérivés. Les résultats correspondent aux crochets de Dirac.

Contributions Clés et Signification

• Validation de l'Équivalence : L'article démontre que les crochets fondamentaux obtenus via le formalisme de Faddeev-Jackiw sont cohérents avec les crochets de Dirac pour les trois systèmes analysés.
• Gestion des Symétries de Jauge : Le travail détaille explicitement comment le formalisme FJ identifie les symétries de jauge à travers la persistance de la singularité de la matrice symplectique et comment la fixation de jauge conduit à la quantification du système.
• Interprétation des Multiplicateurs de Lagrange : Une contribution significative est la fourniture d'une interprétation « physique » pour les multiplicateurs de Lagrange. Contrairement à la méthode de Dirac, l'approche FJ produit des crochets additionnels impliquant ces multiplicateurs, permettant de les interpréter en termes des coordonnées physiques du système.
• Implémentation Algorithmique : L'article fournit un aperçu d'une implémentation MATLAB de la formulation symplectique, offrant un outil de calcul pour analyser de tels systèmes.

Conclusion
Les auteurs concluent que le formalisme de Faddeev-Jackiw sert d'alternative fiable et efficace à la méthode de Dirac pour la quantification des systèmes classiques contraints. En utilisant la structure symplectique, la méthode simplifie le traitement des contraintes et des symétries de jauge tout en produisant des résultats cohérents avec les méthodes établies. Ce travail renforce l'utilité des approches géométriques en mécanique classique et fournit un cadre clair pour étendre ces techniques à d'autres systèmes contraints.