Lagrangien - Définition

Lagrangiens et densités de lagrangien dans la théorie des champs

Dans la théorie des champs, on distingue parfois le lagrangien L, dont l'intégrale sur le temps est l'action :

et la densité lagrangienne , qu'on intègre sur tout l'espace pour obtenir l'action :

Le lagrangien est ainsi l'intégrale spatiale de la densité lagrangienne. Cependant, on appelle souvent simplement le lagrangien, surtout dans l'usage moderne. C'est plus simple dans les théories relativistes où l'espace est défini localement. Ces deux types de lagrangiens peuvent être vus comme des cas particuliers d'une formule plus générale, selon qu'on introduit la variable spatiale dans les index i ou dans les paramètres s pour écrire . Les théories quantiques des champs en physique des particules, comme l'électrodynamique quantique, sont généralement écrites en termes de densités de lagrangiens , ces termes se transformant facilement pour donner les règles permettant d'évaluer les diagrammes de Feynman.

Formalisme mathématique

Soit M une variété de dimension n, et une variété de destination T. Soit l'espace de configuration de la fonction continue s de M dans T.

Avant tout donnons quelques exemples :

• En mécanique classique, dans le formalisme d'Hamilton, M est le variété de dimension 1 , qui représente le temps, et l'espace de destination est le fibré cotangent de l'espace des positions généralisées.
• Dans la théorie des champs, M est la variété espace-temps et l'espace de destination est l'ensemble des valeurs possibles des champs en chaque point. Si par exemple il y a m champs scalaires réels φ₁,...,φ_m, alors la variété de destination est . Si on a un champ de vecteurs réels, la variété de destination est isomorphe à . Il y a en fait une manière plus élégante d'utiliser le fibré tangent, mais on s'en tiendra à cette version.

Supposons maintenant qu'il existe une fonctionnelle , qu'on appelle l'action physique. C'est une application vers , et non vers , pour des raisons physiques.

Pour que l'action soit locale, nous avons besoin de restrictions supplémentaires sur l'action. Si , on impose que S[φ] soit l'intégrale sur M d'une fonction de φ, de ses dérivées et des positions qu'on appelle le lagrangien . En d'autres termes,

La plupart du temps, on impose que le lagrangien dépende uniquement de la valeur des champs, de leur dérivées premières, mais pas des dérivées d'ordre supérieur. C'est en fait seulement par commodité, et ce n'est pas vrai en général. Nous le supposons cependant dans le reste de cet article.

Fixons des conditions aux limites, essentiellement la donnée de φ aux frontières si M est compact, ou une limite pour φ quand x tend vers l'infini (ce qui est pratique lors d'intégrations par parties). Le sous-espace de des fonctions φ telles que toutes les dérivées fonctionnelles de l'action S en φ soient 0 et que φ satisfasse aux conditions aux limites, est l'espace des solutions physiques.

La solution est donnée par les équations d'Euler-Lagrange (en utilisant les conditions aux limites) :

On retrouve la dérivée fonctionnnelle par rapport à φ de l'action dans le membre de gauche.

Lagrangiens en théorie quantique des champs

Le lagrangien de Dirac

La densité lagrangienne pour un champ de Dirac est:

où ψ est un spineur, est son adjoint de Dirac, D est la dérivée covariante de jauge, et est la notation de Feynman pour γ^σD_σ.

Le lagrangien de l'électrodynamique quantique

La densité lagrangienne en QED est:

où F^μν est le tenseur électromagnétique.

Le lagrangien de la chromodynamique quantique

La densité lagrangienne en QCD est [1] [2] [3]

où D est la dérivée covariante de jauge en QCD, et G^α_μν est le tenseur de la force du champ du gluon.