théorie hamiltonienne des champs classiques

[at89merry]

Bonjour,

J'aimerais avoir des informations sur la théorie hamiltonienne des champs classiques. Je n'arrive pas à trouver autre chose, de plus précis et plus complet, que ce qu'on trouve sur wikipédia.

On peut trouver des ouvrages sur le formalisme hamiltonien des systèmes de masses ponctuelles, on peut trouver des documents sur la théorie quantique des champs,
mais curieusement, il n'y a pas grand chose sur l'extension de l'approche hamiltonienne en théorie des champs classiques.

Connaissez-vous des livres, articles sur la question, en français de préférence (mais si c'est en anglais ça va encore) ?

Merci pour votre aide

Armand
-----

[ordage]

Bonjour
Voir par exemple:
https://physique.ensta-paris.fr/PAT/...me_edition.pdf,
une partie du cours en traite.
niveau M2 je suppose..
Cordialement

[at89merry]

Merci ordage,

Effectivement j'ai vu ce document, mais il ne traite que de l'approche hamiltonienne pour les systèmes de particules ponctuelles. Pour les champs, en particulier le champ électromagnétique, il ne traite que de l'approche lagrangienne.

Mais moi, je voudrais un doc sur l'approche hamiltonienne pour les champs classiques...

[ThM55]

Bonjour. Le livre de référence "General Relativity" de Robert Wald traite de l'approche hamiltonienne dans son appendice E. Le but est évidemment de l'appliquer au cas de la gravitation mais il le fait aussi pour l'électromagnétisme à titre d'exemple plus simple. C'est assez succinct, contrairement à ce qu'on trouve dans le monumental "Gravitation" de Misner-Thorne-Wheeler.

On trouve parfois un traitement du sujet dans certains cours de théorie quantique des champs. Mais il faut bien chercher du fait que souvent ces textes veulent appliquer la théorie aux particules à haute énergie et donc étudient les champs relativistes. Or l'approche hamiltonienne n'est pas naturellement covariante sous Lorentz puisqu'elle privilégie le temps. C'est pourquoi ils préfèrent souvent l'approche lagrangienne (et l'intégrale fonctionnelle de Feynman pour la quantification). Le livre de Brian Hatfield consacre deux chapitres à la théorie quantique des champs en représentation de Schrödinger (avec l'ancienne théorie non covariante des perturbations), et cela suppose d'en connaître la théorie hamiltonienne. Mais il parle très peu des champs classiques, pas plus que la page Wikipedia, il passe presque immédiatement à la quantification (https://www.google.be/books/edition/...sec=frontcover).

[A voir en vidéo sur Futura]

[ThM55]

Pour compléter et nuancer ce que j'ai écrit, on peut mentionner le formalisme hamiltonien de De Donder-Weyl (créé par Théophile De Donder et Hermann Weyl). Il est explicitement covariant sous Lorentz en définissant un moment pour chaque coordonnée d'espace-temps et chaque composante de champ (définissant ce qu'on appelle parfois un polymoment). A ma connaissance toutefois, cela n'a donné lieu à rien de vraiment significatif en physique, du moins jusqu'à présent. Mais ce sujet m'a toujours intrigué et intéressé et j'ai l'impression que cela n'a pas encore été étudié en profondeur. Voici un article sur ce sujet: https://arxiv.org/abs/math-ph/0107019 .

[ordage]

Merci ordage,

Effectivement j'ai vu ce document, mais il ne traite que de l'approche hamiltonienne pour les systèmes de particules ponctuelles. Pour les champs, en particulier le champ électromagnétique, il ne traite que de l'approche lagrangienne.

Mais moi, je voudrais un doc sur l'approche hamiltonienne pour les champs classiques...

Bonjour
Dans Wiki
https://en.wikipedia.org/wiki/Hamiltonian_field_theory
on lit:
"The Hamiltonian for a system of discrete particles is a function of their generalized coordinates and conjugate momenta, and possibly, time. For continua and fields, Hamiltonian mechanics is unsuitable but can be extended by considering a large number of point masses, and taking the continuous limit, that is, infinitely many particles forming a continuum or field. Since each point mass has one or more degrees of freedom, the field formulation has infinitely many degrees of freedom."
C'est peut être pour cela que ce n'est pas très utilisé
Cordialement

[ThM55]

Je ne crois pas que ce soit la raison, car l'approche lagrangienne des champs est universellement utilisée mais elle utilise le même procédé. A mon avis c'est plutôt une question de covariance.

[at89merry]

Merci pour ces infos.

Je vais regarder l'article sur les équations de de donder-weyl. Mais bon, à première vue, ça a l'air un article très mathématique. J'aurais préféré un article de physicien qui synthétise avec les mains les mathématiques sous-jacentes.
Concernant l'inadéquation de l'approche hamiltonienne pour les champs, à mon avis ça vient du fait qu'on ne peut définir simplement un hamiltonien pour un champs que si le lagrangien est "régulier" (une histoire de matrice de dérivée seconde à déterminant non nul). Mais il semble que les lagrangiens de théories de jauge ne sont pas réguliers (vu dans une vidéo d'un polytechnicien sur le formalisme hamiltonien pour des systèmes de particules), et comme le modèle standard des champs quantiques repose sur des champs de jauges, les physiciens sont obligés d'utiliser une approche lagrangienne.
Maintenant, ce que je trouve bizarre, c'est que les théories de jauge conduisent à des masses de particules nulles. Ce qui signifie que les théories de jauge sont nécessairement des approximations. ils ont corrigé le tir avec le champ de Higgs. Donc je me dis que la théorie complète, incluant le modèle standard et le champ de Higgs doit avoir un lagrangien régulier, et que par conséquent il pourrait exister un hamiltonien associé...

[ThM55]

Il est exact que dans les théories de jauge, le lagrangien n'est pas régulier. Pourtant, la méthode la plus solide et la mieux établie dans ce cas est celle de Hamilton, mais ce n'est pas facile à expliquer!

Le problème c'est que l'invariance de jauge reflète un choix de variables dynamiques qui contient un arbitraire. Par exemple au potentiel vecteur de l'électromagnétisme, on peut ajouter un gradient sans rien changer à la physique. De même pour la gravitation en relativité générale, on peut changer le système de coordonnées (la carte dans la variété). Une conséquence est que si on donne les conditions initiales à un instant t donné (ou sur une hypersurface de genre espace), l'intégration des équations dans le futur n'est pas complètement déterminée, elle contient des fonctions arbitraires. Conséquence pour la quantification par l'intégrale fonctionnelle de Feynman: on a vite fait, si on procède "naïvement", d'intégrer sur un espace fonctionnel beaucoup trop grand et il faut trouver un moyen de le réduire. Comme votre question portait sur les champs classique, je ne vais pas entrer dans les détails mais cela implique des notions comme le déterminant de Fadeev-Popov, particules fantômes (des états virtuels qui n'obéissent pas à la bonne statistique fermion ou boson, mais qui n'apparaissent jamais dans les branches externes des diagrammes de Feynman) et opérateur BRST. Mais ces approches sont ad hoc et pour les comprendre le mieux est encore l'approche hamiltonienne.

C'est une erreur de croire qu'un système avec un lagrangien non régulier n'admet pas de hamiltonien. Dans le cas des particules ponctuelles (aisément généralisable au cas des champs), on a dans ce cas une matrice qui n'est pas inversible. mais cela n'empêche pas de définir les moments conjugués . Ce qui se passe alors est qu'on ne peut pas inverser la transformation et obtenir les vitesses généralisées à partir des moments. L'astuce est que les moments ainsi définis ne sont pas tous indépendants et doivent vérifier des relations qui les lient entre eux et avec les coordonnées, qu'on appelle des contraintes primaires. Donc ce qu'on a c'est un formalisme hamiltonien avec des contraintes.

Or, la théorie hamiltonienne avec contraintes a été d'abord étudiée par Dirac en mécanique quantique, elle est bien connue et bien développée. C'est en fait le cadre parfait pour quantifier les théories de jauge, contrairement à l'impression que donnent la plupart des cours de QFT (qui comme je l'ai dit essaient de maintenir la covariance relativiste à toutes les étapes). Le gros ouvrage de référence sur ce sujet est celui de Henneaux et Teitelboim, "Quantization of gauge systems". Je ne le recommande pas comme première lecture, c'est du niveau recherche avancée mais le premier chapitre est abordable et explique les idées fondamentales dans le cas des particules ponctuelles avec une foule d'exemples. HS: Marc Henneaux de l'université de Bruxelles est depuis 2020 professeur au Collège de France, il occupe la chaire Champs, Cordes et Gravité et ses cours en vidéo sont accessibles en ligne.

La masse nulle des bosons intermédiaires est une conséquence inévitable de l'invariance de jauge mais le mécanisme de Higgs (idée qui vient à l'origine de la physique de l'état solide et de la supraconductivité) n'est pas le seul mécanisme qui produit une portée limitée de ces interactions. Les gluons, bosons de jauge de la chromodynamique, gardent leur masse nulle mais ce sont des effets dynamiques tout à fait différents qui conduisent à la portée très petite de l'interaction forte. A savoir le confinement de la charge (appelée couleur) et le fait que les hadrons n'interagissent fortement que par une force résiduelle dont la portée est très faible.

[ThM55]

Il est facile de voir d'où viennent les contraintes primaires si on fait une analogie avec les systèmes linéaires en calcul matriciel. Si la matrice nxn est de déterminant nul, son rang est inférieur à n et son image est de dimension m < n. Tout vecteur de son image est donc contraint par n-m relations linéaires.

Le premier exemple de Henneaux-Teitelboim est celui d'un lagrangien . Il est trivialement non régulier. Les moments sont et . Ils ne sont pas indépendants et la contrainte est . Tout l'espace des q est appliqué sur la droite p1+p2=0 et tous les sur la droite sont appliqués sur . Exemple trivial mais il y en a beaucoup d'autres bien moins évidents dans le bouquin. Le problème est que les champs ne sont abordés qu'après 250 pages!

[Avatar10]

...

Une question juste pour voir si j'ai pas loupé un truc...comme étape clé pour aller du formalisme Lagrangien->Hamiltonien, les transformées de Legendre sont "nécessaires?

[at89merry]

merci pour ces explications. Cà répond déjà à certaines de mes interrogations.

En plus, je suis content que vous ayez fait cette digression sur le mécanisme de Higgs et la supraconductivité. J'ai passé un DEA de physique des solides quand j'étais jeune et j'ai donc étudié la supraconductivité. Je ne suis pas du tout spécialiste de la physique des particules, mais lorsque j'ai lu des articles sur le mécanisme de Higgs, j'ai vraiment eu le sentiment que ça ressemblait furieusement aux interactions phonon-phonon à basse température par l'intermédiaire de paires d'électrons qui finissaient par leur donner une masse, et ainsi faire apparaître la supraconductivité. J'ai vraiment eu le sentiment que Higgs et ses collaborateurs avaient fait un copié collé de la théorie de la supraconductivité. Surtout qu'il me semble de la théorie de la supraconductivité est sortie peu avant les travaux de Higgs.

Cà me fait vraiment plaisir que vous ayez confirmé ce point.

[ThM55]

C'est un peu plus qu'un copié-collé tout de même, mais l'idée de base est clairement inspirée de l'explication de l'effet Meissner dans le modèle de Ginzburg-Landau. Encore fallait-il voir pourquoi c'était pertinent pour la physique des particule. En réalité c'est une sorte de complexe d'idées entremêlées.

[ThM55]

Une question juste pour voir si j'ai pas loupé un truc...comme étape clé pour aller du formalisme Lagrangien->Hamiltonien, les transformées de Legendre sont "nécessaires?

Nécessaires? Je crois que c'est bien une transformation de Legendre qui est en jeu, oui. Mais je ne sais pas si le fait que la matrice des dérivées est singulière en change la nature et si on peut toujours appeler cela une transformation de Legendre.

[ThM55]

Le cours de Henneaux au Collège de France sur la structure asymptotique de l'espace-temps: https://www.college-de-france.fr/fr/...espace-temps-1

Il parle des subtilités du formalisme hamiltonien en cas d'invariance de jauge. Ce prof est vraiment une lumière je trouve.

[Avatar10]

Mais je ne sais pas si le fait que la matrice des dérivées est singulière en change la nature et si on peut toujours appeler cela une transformation de Legendre.

Après recherche il apparait qu'effectivement ça complique la situation, il faut passer par les systèmes de contrainte (comme la méthode Dirac par ex)donc la transformation de Legendre doit être adaptée aux contraintes du système et dans un cadre généralisé.
Merci pour la réponse.

PS: Je voulais vous demandez par MP, pour pas polluer, mais vous ne les accepter pas.