Note About Relational Mechanics of General Forms of Particle Actions

Cette note démontre que l'action de n'importe quel système de $N$ particules en interaction peut être rendue invariante sous des transformations de Galilée jaugeées, conduisant à un hamiltonien simple muni de contraintes de première classe générant ces transformations de jauge, malgré la complexité du lagrangien résultant.

L'essentiel

🌌 La Mécanique Relationnelle : Quand l'Univers perd ses "Repères"

Imaginez que vous jouez à un jeu vidéo dans un espace vide. Habituellement, vous avez un sol, un ciel, des étoiles fixes pour vous dire où vous êtes. En physique classique (celle de Newton), nous avons ces "repères" invisibles : un temps absolu qui coule partout pareil, et un espace fixe où tout se déroule.

Mais Ernst Mach, un philosophe et physicien du 19ème siècle, a eu une idée folle : "Et si ces repères n'existaient pas ?"
Selon lui, la physique ne devrait décrire que les relations entre les objets. Si vous êtes seul dans l'univers, vous ne pouvez pas dire si vous bougez ou non. Vous ne bougez que par rapport à quelque chose d'autre. C'est ce qu'on appelle la mécanique relationnelle.

L'article de J. Klusoň se pose une question difficile : Comment écrire les lois du mouvement pour N particules (des étoiles, des atomes, ou des boules de billard) sans jamais utiliser de repères fixes, même si les particules bougent de manière compliquée ?

Voici comment l'auteur résout ce casse-tête, étape par étape.

---

1. Le Problème : Le "Tapis Glissant" de l'Univers

En physique normale, si vous faites glisser tout votre système de particules d'un coup (comme si vous décaliez le décor du jeu vidéo), les lois restent les mêmes. C'est ce qu'on appelle l'invariance de Galilée.

Le problème survient quand on veut rendre cette symétrie "locale". Imaginez que chaque particule puisse décider de bouger le décor à sa guise, à chaque instant, indépendamment des autres.

• Le défi : Si vous essayez d'écrire une équation pour une particule qui a une énergie bizarre (comme une particule relativiste ou une "corde" en physique théorique), l'équation devient un monstre mathématique impossible à gérer quand on essaie de la rendre invariante sous ces mouvements locaux. C'est comme essayer de garder l'équilibre sur un tapis roulant qui change de vitesse et de direction chaque seconde.

2. La Solution Magique : Les "Jokers" (Variables Auxiliaires)

L'auteur propose une astuce de génie, un peu comme un magicien qui sort un objet de sa manche pour simplifier un tour.

Au lieu de traiter l'équation compliquée directement, il introduit de nouvelles variables fictives qu'il appelle des "modes auxiliaires" (notés $\mu_i$ ou $e_i$ dans le texte).

• L'analogie : Imaginez que vous voulez mesurer la distance entre deux personnes qui courent sur un tapis roulant qui accélère. C'est dur. Mais si vous donnez à chaque personne un petit compteur personnel (une variable auxiliaire) qui s'ajuste automatiquement à la vitesse du tapis, vous pouvez maintenant écrire une équation simple.
• En physique, cela permet de transformer une équation compliquée (avec des racines carrées, par exemple) en une équation simple et quadratique (comme un carré parfait), beaucoup plus facile à manipuler.

3. La Construction du "Système Relationnel"

Une fois ces "jokers" introduits, l'auteur construit un nouveau Lagrangien (l'équation maîtresse qui décrit l'énergie du système).

• Le résultat : Il obtient une équation qui ne dépend que des distances relatives entre les particules et de leurs vitesses relatives.
• L'image : C'est comme si vous regardiez un groupe d'amis danser dans une pièce sombre. Vous ne voyez pas les murs, ni le sol. Vous ne voyez que les distances entre les amis. Si l'un s'éloigne de l'autre, vous le savez. Mais si tout le groupe tourne ou se déplace ensemble, vous ne le remarquez pas. Le système est "aveugle" au mouvement global.

Cependant, cette nouvelle équation est très complexe à écrire. Elle ressemble à une recette de cuisine avec des centaines d'ingrédients mélangés.

4. Le Secret : Le Passage à l'Hamiltonien (La Vue depuis le Ciel)

C'est ici que l'article devient vraiment brillant. L'auteur dit : "Ne vous inquiétez pas de la complexité de l'équation de départ (le Lagrangien). Regardez plutôt le système sous un autre angle : celui de l'Hamiltonien (l'énergie totale)."

• L'analogie : Imaginez que vous essayez de comprendre un labyrinthe en marchant dedans (c'est le Lagrangien, c'est compliqué et vous vous perdez). L'auteur vous dit : "Montez sur un hélicoptère !". Du haut (l'Hamiltonien), le labyrinthe devient simple.
• Le résultat surprenant : Une fois dans cette "vue depuis le ciel", l'équation d'énergie redevient très simple. Elle ressemble à l'énergie habituelle d'un système de particules, mais avec une petite différence cruciale : elle est accompagnée de 6 contraintes.

5. Les 6 Gardiens (Les Contraintes)

Ces 6 contraintes sont comme des gardiens de la réalité qui veillent à ce que le système reste purement relationnel.

1. 3 contraintes de translation : Elles disent : "Le centre de masse du système ne peut pas bouger tout seul." (Le système ne peut pas se déplacer dans l'espace absolu).
2. 3 contraintes de rotation : Elles disent : "Le système ne peut pas tourner tout seul." (Il n'y a pas d'axe de rotation absolu).

En physique, on appelle cela des contraintes de première classe. Elles sont les générateurs de la symétrie de Galilée "gauge" (locale).

En Résumé : Ce que l'article nous apprend

1. Tout est possible : Peu importe la forme bizarre de l'énergie d'une particule (qu'elle soit simple, relativiste, ou exotique comme une "D0-brane" en théorie des cordes), on peut toujours la rendre compatible avec une physique purement relationnelle.
2. La méthode : On utilise des variables "auxiliaires" (des jokers mathématiques) pour simplifier l'écriture, puis on passe à la formulation Hamiltonienne pour révéler la simplicité cachée.
3. Le résultat final : Le système est régi par une énergie simple, mais il est "verrouillé" par 6 règles strictes qui interdisent tout mouvement absolu. Le système ne vit que par ses relations internes.

La morale de l'histoire :
Même si l'univers semble compliqué et chaotique à la surface (comme un Lagrangien rempli de racines carrées et de termes croisés), il existe une structure profonde et élégante (l'Hamiltonien avec ses contraintes) qui dit que, fondamentalement, tout n'est qu'une question de relations entre les objets, sans besoin de repères extérieurs.

C'est une victoire pour l'idée de Mach : l'univers n'a pas besoin d'un décor fixe pour exister ; il se définit lui-même par la danse de ses particules.

Résumé technique

1. Problématique et Contexte

La mécanique relationnelle, fondée sur l'idée de Mach, postule que la dynamique d'un système de $N$ particules ne doit dépendre que des relations entre les grandeurs physiques (positions relatives, distances), sans référence à des entités extérieures non matérielles (comme un espace absolu ou un temps absolu).

Le défi central réside dans la concrétisation mathématique de cette idée. Une approche consiste à exiger l'invariance de la Lagrangienne sous le groupe de Galilée jauge (c'est-à-dire avec des paramètres dépendant du temps), ce qui élimine les référentiels inertiels privilégiés.

• Des travaux antérieurs ([1], [4]) ont montré comment rendre invariantes des Lagrangiennes quadratiques en vitesses.
• Cependant, de nombreuses actions physiques importantes, comme l'action de Born-Infeld pour une D0-brane ou des actions relativistes générales, possèdent des termes cinétiques non linéaires (par exemple, une structure racine carrée $\sqrt{1-\dot{x}^2}$).
• Le problème : Il n'est pas évident comment généraliser la procédure de jauge de Galilée à des actions non linéaires en vitesses ou à des formes cinétiques arbitraires, car la procédure standard de compensation des termes de variation échoue directement.

2. Méthodologie

L'auteur propose une méthode systématique pour rendre n'importe quelle action de $N$ particules invariante sous les transformations de Galilée dépendantes du temps, en passant par le formalisme hamiltonien. La démarche se décompose en trois étapes clés :

A. Introduction de modes auxiliaires

Pour contourner la non-linéarité des termes cinétiques (ex: structure racine carrée), l'auteur introduit des champs auxiliaires (notés $e_i$ ou $\mu_i$).

• Pour une action de type racine carrée $L = -\sum m_i \sqrt{1-\dot{x}_i^2}$, il remplace le terme cinétique par une forme quadratique équivalente via l'équation du mouvement du champ auxiliaire :
  $$\frac{m_i}{2} \left( \frac{1}{e_i}(1-\dot{x}_i^2) + e_i \right)$$
• Pour un cas général $L = \sum f_i(\dot{x}_i^2)$, il introduit des paires de champs auxiliaires $(a_i, b_i)$ pour linéariser la dépendance en vitesse, transformant le Lagrangien en une forme quadratique en $\dot{x}_i$.

B. Construction de l'extension jauge-invariante (Lagrangienne)

Une fois le Lagrangien mis sous une forme quadratique en vitesses (via les modes auxiliaires), l'auteur applique la procédure de compensation décrite dans la référence [4] :

1. Invariance de translation : Ajout d'un terme de contre-terme (counterterm) quadratique en la vitesse du centre de masse pondéré par les masses effectives $\mu_i$. Cela annule la variation sous les translations dépendantes du temps.
2. Invariance de rotation : Ajout d'un terme supplémentaire quadratique en le moment angulaire $J$, couplé à un tenseur d'inertie $I$. Ce terme compense la variation sous les rotations dépendantes du temps.
   Le résultat est un Lagrangien manifestement relationnel, mais extrêmement complexe à exprimer directement en termes de coordonnées et de vitesses, car il dépend implicitement des champs auxiliaires.

C. Passage au Formalisme Hamiltonien

C'est ici que réside la force de la méthode. L'auteur effectue une transformation de Legendre pour passer au formalisme hamiltonien.

• Il identifie les moments conjugués $p_k$.
• Il découvre que le système est soumis à des contraintes primaires :
  • $P \equiv \sum p_k = 0$ (Conservation de l'impulsion totale nulle).
  • $\vec{J} \equiv \sum \vec{x}_k \times \vec{p}_k = 0$ (Conservation du moment angulaire total nul).
• Il démontre que ces contraintes sont de première classe et génèrent les transformations de jauge de Galilée.
• En résolvant les équations du mouvement pour les champs auxiliaires (ou en utilisant les contraintes secondaires dans le cas général), il obtient une forme hamiltonienne finale très simple.

3. Résultats Clés

1. Généralisation universelle : L'article démontre que n'importe quelle action pour $N$ particules interagissantes, où le potentiel dépend uniquement des distances relatives, peut être rendue invariante sous le groupe de Galilée jauge. Cela inclut les actions non linéaires (racine carrée) et les formes cinétiques arbitraires $f(\dot{x}^2)$.
2. Simplicité du Hamiltonien vs Complexité du Lagrangien :
   • Le Lagrangien résultant est très complexe et non-local, impliquant l'inversion de tenseurs dépendant des champs auxiliaires.
   • Le Hamiltonien résultant, en revanche, prend une forme élégante et simple :
     $$H = \sum_k \sqrt{m_k^2 + p_k^2} + V(x_{ij}) + \vec{\lambda}_P \cdot \vec{P} + \vec{\lambda}_J \cdot \vec{J}$$
     (Pour le cas de la racine carrée, avec des termes similaires pour le cas général).
   • La seule différence avec la théorie non jauge est la présence de six contraintes de première classe ($P=0$ et $\vec{J}=0$) qui imposent l'absence de référentiel absolu.
3. Structure des contraintes : Pour le cas général avec des fonctions $f_i$, l'analyse révèle des contraintes secondaires de deuxième classe qui permettent d'éliminer les variables auxiliaires, conduisant à un Hamiltonien final qui est une somme de termes cinétiques individuels (fonctions des moments) plus le potentiel, plus les multiplicateurs de Lagrange associés aux contraintes de jauge.

4. Signification et Impact

• Unification conceptuelle : Ce travail établit un pont solide entre la mécanique relationnelle (théorie de Mach) et les théories de champs modernes (comme la théorie des cordes/D-branes via l'action de Born-Infeld). Il montre que la structure relationnelle n'est pas limitée aux théories quadratiques simples.
• Avantage du formalisme Hamiltonien : L'article illustre puissamment que le formalisme hamiltonien est souvent plus adapté pour traiter les théories de jauge complexes que le formalisme lagrangien. Là où le Lagrangien devient ingérable, le Hamiltonien conserve une structure physique claire (énergie cinétique + potentiel + contraintes).
• Implications pour la gravité et la cosmologie : En éliminant les référentiels inertiels privilégiés et en imposant la conservation nulle de l'impulsion et du moment angulaire totaux, cette approche fournit un cadre rigoureux pour étudier la dynamique de l'univers dans son ensemble (cosmologie relationnelle) ou des systèmes isolés sans arrière-plan fixe.

En résumé, J. Klusoň réussit à démontrer que la complexité apparente de la jauge de Galilée pour des actions non linéaires est une illusion du formalisme lagrangien ; le formalisme hamiltonien révèle une structure simple et universelle gouvernée par des contraintes de première classe générant les symétries relationnelles.