Voir la source de Théorème de Noether (physique)

{{Voir homonymes|Théorème de Noether}}
[[File:Noether.jpg|vignette|[[Emmy Noether]] est une [[mathématicienne]] allemande connue pour ses contributions majeures en [[algèbre abstraite]] et en [[physique théorique]].]]

Le '''théorème de Noether''' exprime l'équivalence qui existe entre les [[Loi de conservation|lois de conservation]] et l'invariance du [[lagrangien]] d'un [[Système physique|système]] par certaines transformations (appelées [[Symétrie (physique)|symétries]]) des [[Coordonnées généralisées|coordonnées]].

Démontré en 1915 et publié en 1918 par la [[mathématicien]]ne [[Emmy Noether]] à [[Göttingen]], ce [[théorème]] fut qualifié par [[Albert Einstein]] de « monument de la pensée [[mathématiques|mathématique]] » dans une lettre envoyée à [[David Hilbert]] en vue de soutenir la carrière de la mathématicienne<ref>{{Ouvrage |langue=en |auteur1=[[Leon Lederman|Leon M. Lederman]] |auteur2=[[Christopher T. Hill]] |titre=Symmetry and the Beautiful Universe |éditeur=Prometheus Book |année=2008 |pages totales=363 |passage=73 |isbn=978-1-59102-575-7 |lire en ligne={{Google Livres|e9AQ5zH13qQC|page=73}}}}.</ref>.

Il est abondamment utilisé aujourd'hui par la [[physique théorique]], où tout phénomène est abordé, chaque fois que possible, en matière de [[symétrie]] d'[[Espace (notion)|espace]], de [[Charge électrique|charges électriques]], et même de [[temps]].

== Énoncés ==
{{théorème|Théorème de Noether|À toute transformation infinitésimale qui laisse invariante l'intégrale d'[[Action (physique)|action]] correspond une grandeur qui se conserve.}}

Un autre énoncé équivalent est :
{{théorème|Théorème de Noether||énoncé=À toute transformation infinitésimale qui laisse le lagrangien d'un système invariant à
une dérivée temporelle totale près correspond une grandeur physique conservée.}}

Chaque « invariance » traduit le fait que les lois de la physique ne changent pas lorsqu'une expérience subit la transformation correspondante, et donc, qu'il n'y a pas de référence absolue pour mener une telle expérience<ref>{{Lien web|url=http://www-cosmosaf.iap.fr/Noether_et_le_Lagrangien.htm |titre=Aperçu sur la relation entre le Théorème de Noether et le Lagrangien |site=www-cosmosaf.iap.fr}} (traduction libre par J. Fric de ''{{Lang|en|Noether's Theorem in a Nutshell}}'' de [[John Baez|J. Baez]]).</ref>.

== Démonstrations ==
{{Démonstration/début}}

Soit <math>q_i(s)</math>, un jeu de [[coordonnées généralisées]] qui dépendent continûment d'un paramètre <math>s</math>. Si le [[lagrangien]] <math>L</math> est indépendant de <math>s</math>, c'est-à-dire <math>L(q_i(s),\dot q_i(s),t)=L(q_i,\dot q_i,t)</math> avec <math>q_i=q_i(0)</math>, alors :

:<math> I(q_i,\dot q_i)=\left.\frac{\partial L}{\partial\dot q_i}\frac{\mathrm dq_i(s)}{\mathrm ds}\right|_{s=0} </math>

est une [[intégrale première]], c'est-à-dire que <math>I</math> est invariant dans le temps : <math>\frac{\mathrm dI}{\mathrm dt} =0</math>.

En effet :

:<math> \frac{\mathrm dL}{\mathrm ds}=\frac{\partial L}{\partial q_i(s)}\frac{\mathrm dq_i(s)}{\mathrm ds}+\frac{\partial L}{\partial\dot q_i(s)}\frac{\mathrm d \dot q_i(s)}{\mathrm ds}=0</math>

:<math>\frac{\mathrm dL}{\mathrm ds}=\frac{\mathrm d}{\mathrm dt}\frac{\partial L}{\partial \dot q_i(s)}\frac{\mathrm dq_i(s)}{\mathrm ds}+\frac{\partial L}{\partial\dot q_i(s)}\frac{\mathrm d}{\mathrm dt} \frac{\mathrm dq_i(s)}{\mathrm ds}</math>

(en utilisant les [[Équation d'Euler-Lagrange|équations d'Euler-Lagrange]] <math>\frac{\mathrm d}{\mathrm dt}\frac{\partial L}{\partial \dot q_i(s)}=\frac{\partial L}{\partial q_i(s)}</math>, et <math>\frac{\mathrm d \dot q_i(s)}{\mathrm ds} = \frac{\mathrm d}{\mathrm dt}\frac{\mathrm dq_i(s)}{\mathrm ds}</math>)

:<math>\frac{\mathrm dL}{\mathrm ds}=\frac{\mathrm d}{\mathrm dt}\left(\left.\frac{\partial L}{\partial\dot q_i(s)}\frac{\mathrm d q_i(s)}{\mathrm ds}\right|_{\forall\,s}\right)=0</math>

:<math>\frac{\mathrm dL}{\mathrm ds}=\frac{\mathrm d}{\mathrm dt}\left(\left.\frac{\partial L}{\partial\dot q_i}\frac{\mathrm dq_i(s)}{\mathrm ds}\right|_{s=0}\right)=0 </math>.

{{Démonstration/fin}}

'''Remarque :''' Dans le cas général, on n'a pas nécessairement un unique paramètre <math>s</math> mais plutôt un jeu de paramètres <math>s_j</math> auxquels vont correspondre les invariants 

<math display="block"> I_j = \frac{\partial L}{\partial \dot{q}_i} \frac{\partial q_i(\vec{s}) }{\partial s_j}.</math>

{{Démonstration/début}}

Soit un [[Lagrangien]] <math>L=L(q_i, \dot q_i, t)</math> qui dépend de <math>N</math> [[coordonnées généralisées]] <math>q_i=q_i(t)</math>, avec <math>i=1, \cdots, N</math>. Selon le [[principe de moindre action]], l'action <math>S=\int Ldt</math> est stationnaire sur une trajectoire physique. Ceci mène directement aux [[équations d'Euler-Lagrange]] :

<math display=block>\forall i\quad\frac{\mathrm d}{\mathrm dt}\left(\frac{\partial L}{\partial\dot{q}_i}\right) - \frac{\partial L}{\partial q_i} = 0.</math>

Aussi, sous une transformation infinitésimale des coordonnées <math>q_i\rightarrow q_i'=q_i+\alpha.\delta q_i</math>, si le [[Lagrangien]] est invariant à une dérivée temporelle totale près ({{c.-à-d.}} : <math>L\rightarrow L'=L+\alpha.\delta L=L+\alpha \frac{\mathrm d}{\mathrm dt}F(q_i,t)</math>, pour une fonction quelconque <math>F(q_i, t)</math> qui ne dépend que des coordonnées généralisées et du temps), alors les équations du mouvement sont [[Lagrangien#Non-unicité du lagrangien|inchangées]]. Sous cette hypothèse, en calculant le Lagrangien au premier ordre du développement de Taylor, on obtient :

<math display=block>\begin{align}
\alpha.\delta L &= \frac{\partial L}{\partial q_i}\alpha.\delta q_i + \frac{\partial L}{\partial\dot{q}_i}\alpha.\delta \dot{q}_i\\
&= \frac{\partial L}{\partial q_i}\alpha.\delta q_i + \frac{\partial L}{\partial\dot q_i} \frac{\mathrm d}{\mathrm dt}\alpha.\delta q_i\\
&=\frac{\mathrm d}{\mathrm dt}\left(\frac{\partial L}{\partial\dot q_i}\alpha.\delta q_i\right) + \left[\frac{\partial L}{\partial q_i} -\frac{\mathrm d}{\mathrm dt}\left(\frac{\partial L}{\partial\dot q_i}\right)\right]\alpha.\delta q_i.
\end{align}
</math>

Notons que le deuxième terme de la seconde ligne n'est autre que l'un des termes obtensible via la règle de Leibniz : 

<math display=block>\begin{align}
\frac{\mathrm d}{\mathrm dt}\left(\frac{\partial L}{\partial \dot q_i}\delta q_i\right) =  \frac{\mathrm d}{\mathrm dt}\left(\frac{\partial L}{\partial\dot q_i}\right)\cdot \delta q_i + \frac{\partial L}{\partial\dot q_i} \cdot \frac{\mathrm d}{\mathrm dt}\left(\delta q_i\right)
\end{align}
</math> 

Nous avons donc simplement remplacé <math>\frac{\partial L}{\partial\dot q_i} \frac{\mathrm d}{\mathrm dt}\cdot\delta q_i </math> par les autres termes de la règle en tenant compte du facteur <math>\alpha</math>.

Enfin, dans notre dernière ligne, le deuxième terme est nul car il s'agit de l'équation d'Euler-Lagrange pour <math>q_i</math>. Ainsi, par comparaison avec l'hypothèse de départ, on a :

<math display=block>F(q_i, t) = \frac{\partial L}{\partial\dot{q}_i}.\delta q_i.</math>

On définit la quantité conservée du système :

<math display=block>C(q_i, t) = F(q_i, t) - \frac{\partial L}{\partial\dot{q}_i}.\delta q_i </math>

car

<math display=block>\frac{\mathrm d}{\mathrm dt}C(q_i, t) = 0.</math>

Dans le cas où la transformation laisse le lagrangien invariant, on a alors <math>F(q_i,t) =0</math> et on retrouve alors le résultat de la démonstration précédente, qui est moins générale mais plus explicite.
{{Démonstration/fin}}

=== Exemples ===
{| class="wikitable"
! Propriété du [[système physique]] !! Symétrie !! Invariant 
|-
|| Espace homogène || Invariance par [[translation]] dans l'espace || Conservation de l'[[Moment linéaire|impulsion]]
|-
|| Espace [[isotrope]] || Invariance par rotation dans l'espace|| Conservation du [[moment cinétique]]
|-
|| Système indépendant du temps || Invariance par translation dans le temps (les lois sont les mêmes tout le temps) || Conservation de l'[[énergie]]
|-
|| Pas d'identité propre des particules || Permutation de particules identiques || [[Statistique de Fermi-Dirac]], [[Statistique de Bose-Einstein]]
|-
|| Pas de référence absolue pour la phase des particules chargées || Invariance par changement de phase || Conservation de la [[charge électrique]] 
|}
Détaillons quelques-uns de ces exemples.

==== Quantité de mouvement ====
Prenons tout d'abord le cas d'une particule libre, on a donc le lagrangien 

<math display="block">L = \frac{1}{2}m\dot{\vec{q}}^2</math>

invariant par translation. On voit bien ici que si on change l'origine des coordonnées, cela ne va pas modifier la physique de notre particule libre. Le lagrangien est donc invariant par la transformation de translation<math display="block">q_i \rightarrow \tilde{q}_i = q_i + \alpha_i</math>

avec les <math>\alpha_i</math> les composantes du vecteur décrivant la translation. On voit ici que l'on a, pour une translation infinitésimale d'un vecteur <math>\vec{\delta \alpha} = \delta \alpha_i \vec{e}_i</math> , une variation de nos coordonnées généralisées qui vaut <math>\delta q_i = \tilde{q}_i - q_i = \delta\alpha_i</math> . Les quantités conservées associées à cette transformation sont donc 

<math display="block">I_i = \sum_j \frac{\partial L}{\partial \dot{q}_j}\frac{\partial q_j}{\partial \alpha_i}
= \sum_j \frac{\partial L}{\partial \dot{q}_j}\delta_{ij}
= m \dot{q}_i = p_i</math>avec <math>\delta_{ij}</math> le [[Symbole de Kronecker|delta de Kronecker]], on retrouve bien les composantes du vecteur quantité de mouvement.

==== Moment cinétique ====
Considérons maintenant le cas d'un [[système invariant]] par rotation, prenons par exemple une particule placée dans un potentiel central <math>\Phi(r)</math>, on a alors  <math>L = \frac{1}{2}m \dot{\vec{q}}^2 - \Phi(r) </math>. Le système étant invariant par rotation (la norme de la vitesse est invariante par rotation), il semble pertinent de se placer en [[coordonnées sphériques]], pour lesquelles <math>q=r\vec{e}_r</math> et <math>\dot{\vec{q}}=\dot{r}\vec{e}_r+r\dot{\theta}\vec{e}_{\theta}+r\sin(\theta)\dot{\phi}\vec{e}_{\phi}</math>. On a alors 

<math display="block">L = \frac{m}{2} \left(\dot{r}^2 + r^2\dot{\theta}^2 + r^2 \sin^2(\theta) \dot{\phi}^2 \right) - \Phi(r). </math>

La transformation associée à la rotation en coordonnées sphériques peut s'écrire comme  <math>(r,\theta, \phi) \rightarrow (r, \tilde{\theta}=\theta +\chi ,\tilde{\phi} = \phi+\psi) </math>, avec <math>\chi </math> et <math>\psi </math> les deux angles caractérisant la transformation. Pour une [[transformation infinitésimale]] on a donc <math>\delta q= r\vec{e}_{\theta}\delta \chi + r\vec{e}_{\phi} \delta \psi </math>. On voit donc ici que les deux quantités conservées vont être 

<math display="block">I_\theta = \frac{\partial L}{\partial (r\dot{\theta})}\frac{\partial q}{\partial \chi} \cdot \vec{e}_{\theta}
= mr^2\dot{\theta}
\qquad \mathrm{et} \qquad I_\phi = \frac{\partial L}{\partial (r\sin(\theta)\dot{\phi})}\frac{\partial q}{\partial \psi}\cdot \vec{e}_{\phi} 
= m r^2 \sin(\theta)\dot{\phi} </math>c'est-à-dire les deux composantes angulaires du [[moment cinétique]] <math>\vec{L} = \vec{r}\times \vec{p} </math>, à un signe près  pour <math>L_\theta</math>. Attention cependant aux indices, on a <math>I_\theta = L_\phi </math> et <math>I_\phi = -L_\theta </math>, et on a bien sûr <math>L_r =0 </math> par définition du [[produit vectoriel]].

==== Énergie ====
Si on a cette fois un système qui est invariant dans le temps, on a alors un lagrangien qui est indépendant du temps <math>L(t+\delta t) = L(t) </math>, <math>\partial_t L =0 </math>. La transformation est ici une translation dans le temps, et se traduit pour les coordonnées temporelles par <math display="block">q_i(t) \rightarrow \tilde{q}_i(t) = q_i(t+\delta t) = q_i(t) + \delta t \dot{q}_i </math>

ce qui conduit à la quantité conservée 

<math display="block">I = \sum_i \frac{\partial L}{\partial \dot{q_i}}\frac{\partial q_i}{\partial t}.  </math>Le lagrangien étant conservé aussi, on a la quantité totale 

<math display="block">H = \sum_i \frac{\partial L}{\partial \dot{q}_i}\dot{q}_i - L  </math>

qui est conservée, or ce n'est rien d'autre que le hamiltonien du système. Le hamiltonien (l'énergie) est donc conservé pour les systèmes indépendants (explicitement) du temps.

== Théorie des champs classique ==
Le théorème de Noether est aussi valide en théorie des champs classique où le [[lagrangien]] est remplacé par une [[Lagrangien#Lagrangien dans la théorie des champs|densité lagrangienne]] qui dépend de champs plutôt que de variables dynamiques. La formulation du théorème reste sensiblement la même<ref>{{Ouvrage|langue=en |auteur1=[[Herbert Goldstein]] |titre=Classical Mechanics |éditeur= |année= |passage=589 |isbn=}}.</ref> :

{{théorème|Théorème de Noether|À toute transformation infinitésimale qui laisse la densité lagrangienne d'un système invariante à
une quadridivergence près correspond une quantité conservée.}}

{{Démonstration|titre=Démonstration|déroulante=oui|contenu=Soit une densité lagrangienne <math>\mathcal{L}=\mathcal{L}[\varphi_i(x), \partial_\mu\varphi_i(x), x]</math> où <math>[\varphi_i(x), \partial_\mu\varphi_i(x), x]</math> dénote une dépendance de la densité lagrangienne sur <math>N</math> champs scalaires (la preuve peut se généraliser à des champs vectoriels ou tensoriels) <math>\varphi_i(x)</math> (<math>i=1,...,N</math>) et de leur différentes dérivées partielles en espace et en temps (<math>\partial_\mu</math> est l'opérateur de dérivation par rapport à l'indice <math>\mu\in\{0, ..., 3\}</math> i.e.: <math>\partial_\mu\equiv\frac{\partial}{\partial x^\mu}</math>). Chaque champ dépend d'une unique variable d'espace-temps <math>x\equiv(x^0, ..., x^3)</math> où <math>x^0</math> représente le temps et <math>x^j</math> représente une des trois variables d'espace avec <math>j=1,...,3</math>. Selon le [[principe de moindre action]], l'intégrale d'action <math>S[\varphi_i(x)]</math> doit être stationnaire :

<math display=block>S\equiv\int\mathcal{L}[\varphi_i(x), \partial_\mu\varphi_i(x), x]d^4x</math>

<math display=block>\delta S=0.</math>

Ce principe d'action stationnaire mène directement aux [[Lagrangien#Non-unicité de la densité lagrangienne en théorie des champs classique|équations d'Euler-Lagrange]] en théorie des champs :

<math display=block>\partial_\mu\left(\frac{\partial\mathcal{L}}{\partial(\partial_\mu\varphi_i)}\right) - \frac{\partial\mathcal{L}}{\partial\varphi_i}=0</math>

où la [[Convention de sommation d'Einstein|convention d'Einstein]] sur les indices répétés est utilisée ici.
Soit une transformation infinitésimale d'un des champs <math>\varphi_i(x)\rightarrow\varphi_i'(x)=\varphi_i(x)+\alpha\Delta\varphi_i(x)</math>
où <math>\Delta\varphi_i(x)</math> représente la déformation du champ et <math>\alpha</math> est un paramètre infinitésimal (la preuve peut facilement être généralisée avec une déformation de plusieurs champs en même temps).
Si la densité lagrangienne est invariante à une quadri-divergence près sous cette transformation infinitésimale, c'est-à-dire que :

<math display=block>\mathcal{L}\rightarrow\mathcal{L}+\alpha\Delta\mathcal{L} = \mathcal{L}+\alpha\partial_\mu J^\mu(x)</math>

pour une certaine fonction <math>J^\mu</math>. Alors, en comparant les termes au 1er ordre du développement de Taylor de la densité lagrangienne :

<math display=block>\begin{align}\alpha\Delta\mathcal{L}&=\frac{\partial\mathcal{L}}{\partial\varphi_i}(\alpha\Delta\varphi_i) + \left(\frac{\partial\mathcal{L}}{\partial(\partial_\mu\varphi_i)}\right)\partial_\mu(\alpha\Delta\varphi_i)\\
&=\alpha\partial_\mu\left(\frac{\partial\mathcal{L}}{\partial(\partial_\mu\varphi_i)}\Delta\varphi_i\right) + \alpha\left[\frac{\partial\mathcal{L}}{\partial\varphi_i}-\partial_\mu\left(\frac{\partial\mathcal{L}}{\partial(\partial_\mu\varphi_i)}\right)\right]\Delta\varphi_i.\end{align}</math>

Le deuxième terme est nul car il s'agit de l'équation d'Euler-Lagrange pour le champ <math>\varphi_i</math>. On a donc finalement, par comparaison directe :

<math display=block>\partial_\mu J^\mu(x) = \partial_\mu \left( \frac{\partial\mathcal{L}}{\partial(\partial_\mu\varphi_i)}\Delta\varphi_i \right)</math>

Ainsi, la quantité conservée du système est la suivante :

<math display=block>
j^\mu\equiv J^\mu(x) - \frac{\partial\mathcal{L}}{\partial(\partial_\mu\varphi_i)}\Delta\varphi_i</math>

car

<math display=block>\partial_\mu j^\mu = 0.</math>}}

== Invariance de jauge et second théorème de Noether ==
On considère de manière générale pour une densité de lagrangien quelconque <math display="block">\mathcal{L}[\psi_i, \partial_\mu\psi_i, x^\mu]</math>

dont l'action associée doit être stationnaire pour toute transformation infinitésimale des champs selon le [[Principe variationnel|Principe de Hamilton]]. On a donc

<math display="block">\delta S = \int \textrm{d}^4x \; \left[\frac{\partial \mathcal{L}}{\partial \psi_i}\delta \psi_i + 
\frac{\partial \mathcal{L}}{\partial (\partial_\mu\psi_i)}\delta \partial_\mu \psi_i \right] 
= \int \textrm{d}^4x \; \left[\left(\frac{\partial \mathcal{L}}{\partial \psi_i}-\partial_\mu \frac{\partial \mathcal{L}}{\partial (\partial_\mu\psi_i)}\right)
\delta \psi_i + 
\partial_\mu\left(\frac{\partial \mathcal{L}}{\partial (\partial_\mu\psi_i)}\delta  \psi_i \right)\right] 
=0</math>

où on a utilisé la [[Convention de sommation d'Einstein|convention d'Einstein]] pour la sommation sur les indices répétés, et où on a mis de côté les possibles transformations de l'espace-temps (on a pris <math>\delta x^\mu = 0 
</math> ). On voit donc que l'on peut reformuler ce résultat de manière générale comme 

<math display="block">[\psi ]_i \delta\psi_i = -\partial_\mu 
\left(\frac{\partial \mathcal{L}}{\partial (\partial_\mu\psi_i)}\delta  \psi_i \right), 
\qquad [\psi]_i = \frac{\partial \mathcal{L}}{\partial \psi_i}
-\partial_\mu \frac{\partial \mathcal{L}}{\partial (\partial_\mu\psi_i)} 
</math>

avec <math>[\psi]_i 
</math> représentant donc les [[équations du mouvement]] pour le champ <math>\psi_i 
</math>.

On s'intéresse maintenant à une densité de lagrangien invariante sous une transformation de jauge, c'est-à-dire une transformation locale des champs. Dans ce cas on va voir que l'on applique cette fois le second théorème de Noether.

Plus précisément on considère ici une densité de lagrangien invariante sous un groupe de transformation de dimension infinie et dépendant continûment de <math>\rho </math> fonctions  <math>p_{\alpha} (x^{\mu}) , \;\; \alpha = 1,\; ... ,\; \rho </math> , groupe que l'on notera <math>G_{\infty \rho}
   
</math>. On voit que dans le cas d'une telle transformation la variation infinitésimale des champs <math>\delta\psi_i 
</math> dans l'équation ci-dessus se décompose comme 

<math display="block">\delta \psi_i = \sum_\alpha \left[a_{\alpha i}(\psi_i, \partial_\mu \psi_i, x^\mu)\Delta p_\alpha(x^\mu) 
+ b_{\alpha i}^\nu (\psi_i, \partial_\mu \psi_i, x^\mu) \partial_\nu \Delta p_\alpha (x^{\mu}) \right] 
</math>

où la notation <math>\Delta p_\alpha 
</math> dénote le fait que l'on considère un <math>p_\alpha 
</math> infinitésimal. On voit donc que l'on peut reprendre l'équation précédente sous forme intégrale pour obtenir 

<math display="block">\int d^4x \, [\psi]_i \left(a_{\alpha i} \Delta p_\alpha 
+ b_{\alpha i}^\nu \partial_\nu \Delta p_{\alpha} \right) 
= \int d^4x \, \left(a_{\alpha i}[\psi]_i - \partial_\nu\left(b_{\alpha i}^\nu[\psi]_i\right)\right)\Delta p_\alpha
+ \int d^4x \, \partial_\nu \left(b_{\alpha i}^\nu [\psi]_i \partial_\nu \Delta p_{\alpha} \right) 
</math><math display="block">\Longrightarrow \qquad \int d^4x \left(a_{\alpha i}[\psi]_i 
- \partial_\nu \left(b_{\alpha i}^\nu[\psi]_i\right)\right)\Delta p_\alpha 
=  - \int d^4x\,\partial_\mu 
\left(\frac{\partial \mathcal{L}}{\partial (\partial_\mu\psi_i)}\delta  \psi_i 
+ b_{\alpha i}^\mu [\psi]_i\Delta p_{\alpha}\right)
   
</math>or on voit ici que le second terme de la seconde équation est un terme de bord, et les fonctions <math>p_\alpha
   
</math> étant arbitraires on peut toujours les choisir de sorte que ce terme s'annule. On obtient alors le second théorème de Noether<ref>{{Article |langue=Anglais |auteur1=Katherine Brading |auteur2=Harvey R. Brown<!-- s’il s’agit bien de la même personne, utiliser le lien interwiki : {{lien|lang=en|trad=Harvey Brown (philosopher)}} --> |titre=Noether’s Theorems and Gauge Symmetries |périodique=arXiv |année=2000 |lire en ligne=https://arxiv.org/pdf/hep-th/0009058.pdf |pages= }}.</ref>
{{Théorème|énoncé=Si l'action S est invariante sous un groupe de transformation <math> G_{\infty \rho} </math> alors il existe <math> \rho </math> relations   <math> a_{\alpha i}[\psi]_i 
- \partial_\nu \left(b_{\alpha i}^\nu[\psi]_i\right) =0 </math>.}}

=== Exemple ===
Considérons par exemple la densité de Lagrangien 

<math display="block">\mathcal{L} = (\partial_\mu + iqA_\mu)\psi (\partial^\mu + iq A^\mu)\psi^* - m^2 \psi\psi^* 
- \frac{1}{4}F^{\mu \nu} F_{\mu \nu}
   
</math>où <math>F_{\mu \nu} 
   
</math>ne dépend que des dérivées première de <math>A_\mu 
   
</math> (dans le cas abélien du moins). Elle est invariante sous la transformation de jauge locale 

<math display="block">\psi \rightarrow \tilde{\psi} = e^{iq\theta(x)}\psi, 
\qquad \psi^* \rightarrow \tilde{\psi} ^* = e^{-iq\theta(x)}\psi^*,
\qquad A_\mu \rightarrow \tilde{A}_\mu = A_\mu + \partial_\mu\theta(x)
   
</math>

où voit qu'ici on a une seule fonction continue <math>p_\alpha
   
</math> dans notre groupe de transformation, que l'on a noté <math>\theta(x)
   
</math>. Cette transformation correspond sous forme infinitésimale à  

<math display="block">\delta \psi = iq\delta \theta \psi, \qquad \delta \psi^* = -iq\delta\theta\psi^*, \qquad \delta A_\mu = \partial_\mu \theta
   
</math>on a alors <math display="block">a_\psi = iq\psi, \qquad a_{\psi^*} = -iq\psi, \qquad b_\psi=b_{\psi^*}  a_{A_\mu} = 0, 
\qquad b_{A_\mu}^\nu = \delta_\mu^\nu .
   
</math>

On en déduit que dans le cas de cette densité de Lagrangien on a la relation 

<math display="block">[\psi]iq\psi + [\psi^*](-iq\psi^*) = \partial_\mu \left([A_\nu]\delta_\nu^\mu\right) = \partial_\mu[A_\mu].
   
</math>

On voit alors ici que si les équations du mouvement sont satisfaites pour les deux champs de masse <math>\psi 
   
</math> et <math>\psi^* 
   
</math> on a alors 

<math display="block">\partial_\mu \left(\frac{\partial\mathcal{L}}{\partial A_\mu}- 
\partial_\nu \frac{\partial\mathcal{L}}{\partial(\partial_\nu A_\mu)}\right) = 0 
   
</math>

or sachant que l'on a <math>\frac{\partial \mathcal{L}}{\partial A_\mu}=0 
   
</math>  et <math>\frac{\partial\mathcal{L}}{\partial(\partial_\nu A_\mu)} = F^{\mu \nu} 
   
</math>  on en déduit qu'ici le courant <math>J^\mu = \partial_\nu F^{\mu \nu} 
   
</math> est conservé. Cela implique notamment que <math>F^{\mu \nu} 
   
</math> soit complètement antisymétrique, et donc construit à partir de <math>\partial_\mu A_\nu - \partial_\nu A_\mu 
   
</math>.

De même si à l'inverse on impose que les équations de l'électromagnétisme soient satisfaites c'est-à-dire <math>[A_\mu] = 0
   
</math> on obtient l'équation de conservation du quadri [[courant électrique]] usuel 

<math display="block">\partial_\mu j^\mu = 0, \qquad j^\mu = iq\left(\psi^* (\partial^\mu + iqA^\mu) \psi 
- \psi (\partial^\mu + iqA^\mu)\psi^* \right).
   
</math>

== Symétries internes ==
''{{...}}''

== Dans la culture ==
Dans ''Le Pyrophore'', le narrateur ambitionne de découvrir de « quelles symétries naissent les invariants par le Noether des mers »<ref>Simon Giz, ''Le pyrophore'', dans ''[https://917.be Le journal d'un pyrophore]''</ref>.

== Notes et références ==
{{Références}}

== Voir aussi ==
=== Bibliographie ===
* Amaury Mouchet, ''L'Élégante Efficacité des symétries'', {{chap.|10}}, [[Éditions Dunod|Dunod]], 2013 {{ISBN|978-2-1005-8937-1}} {{nombre|240|pages}}.
* {{article|lang=en |prénom=Nina |nom=Byers |lien auteur=Nina Byers <!--|année=1998--> |titre=E. Noether's Discovery of the Deep Connection Between Symmetries and Conservation Laws |revue=Proceedings of a Symposium on the Heritage of Emmy Noether |jour=2-4 |mois=Décembre |année=1996 |lieu=[[Université Bar-Ilan]], Israël}}, {{arxiv|physics/9807044}}
* {{en}} {{Lien|Gennadi Sardanashvily|texte=G. Sardanashvily}}, ''{{lang|en|Noether conservation laws in classical mechanics}}'', 2003. {{Arxiv|math-ph/0302027}}
* {{en}} G. Sardanashvily, ''{{Langue|en|Noether conservation laws in quantum mechanics}}'', 2003. {{Arxiv|quant-ph/0302123}}
* {{Ouvrage | langue=fr | prénom=Yvette | nom=Kosmann-Schwarzbach | lien auteur=Yvette Kosmann-Schwarzbach | champ libre=avec la {{abréviation discrète|collab.|collaboration}} de Laurent Meersseman | titre=Les théorèmes de Noether | sous-titre=invariance et lois de conservation au {{s-|XX}} : avec une traduction de l'article original, « {{langue|de|texte=Invariante Variationsprobleme}} » | lieu=Palaiseau | éditeur=[[École polytechnique (France)|École polytechnique]] | collection=Histoire des mathématiques | mois={{date-|juillet|compact=oui}} | année=2006 | réimpression={{date-|décembre 2010|compact=oui}} | numéro d'édition=2 | année première édition={{date-|septembre 2004|compact=oui}} | pages totales={{unité|1|{{abréviation discrète|vol.|volume(s)}}}}, 201 | format={{abréviation discrète|portr.|portrait(s)}} et {{abréviation discrète|fac-sim.|fac-similé(s)}}, {{dunité|17|24|cm}} | isbn1=2-7302-1138-1 | isbn2=978-2-7302-1138-3 | ean=9782730211383 | oclc=793156865 | bnf=392895694 | sudoc=15030952X | présentation en ligne=https://www.editions.polytechnique.fr/?afficherfiche=76 | lire en ligne={{Google Livres|id=eCA7vwJNcWUC}} | consulté le=6 septembre 2020 | libellé=Kosmann-Schwarzbach 2006}}.
* {{Article | langue=fr | prénom1=Gérard | nom1=Serra | prénom2=Marc | nom2=Ménétrier | titre=Les théorèmes de Noether | périodique=[[Bulletin de l'union des physiciens|Bulletin de l'Union des professeurs de physique et de chimie]] | volume=103 | numéro=914 | date=05/2009 | pages=549-561 | résumé=http://bupdoc.udppc.asso.fr/consultation/une_fiche_simple.php?ID_fiche=20415 | lire en ligne=https://marchettibenjamin.files.wordpress.com/2019/05/article-bup_20415.pdf | format=pdf | libellé=Serra et Ménétrier 2009}}.
* {{en}} Dwight E. Neuenschwander, ''Emmy Noether's Wonderful Theorem'', The Johns Hopkins University Press, Baltimore, 2011 {{ISBN|978-0-8018-9694-1}} 243 pages.

==== Article original ====
* {{Article | langue=de | prénom=Emmy | nom=Noether | lien auteur=Emmy Noether | titre=Invariante Variationsprobleme | traduction titre=Problèmes variationnels invariants | périodique={{lang|de|Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse}}<!-- Wikidata : Q69600226 --> | volume={{date-|1918}} | numéro=2 | année=1918 | pages=235-257 | wikisource=Invariante Variationsprobleme | lire en ligne=https://gdz.sub.uni-goettingen.de/id/PPN252457811_1918?tify={%22pages%22:[241]} | libellé=Noether 1918}}.

==== Dictionnaires et encyclopédies ====
* {{Chapitre | langue=en | prénom=D. V. | nom=Alekseevskii | titre=Noether theorem : 1) ''Noether's first theorem'' | auteur ouvrage=[[Michiel Hazewinkel]] ({{abréviation discrète|éd.|éditeur(s) et/ou éditrice(s) scientifique(s)}}) | titre ouvrage=[[Encyclopædia of Mathematics|{{lang|en|Encyclopaedia of mathematics}}]] | sous-titre ouvrage=an updated and annotated translation of the Soviet ''Mathematical encyclopaedia'' | traduction titre=Encyclopédie de mathématiques : traduction, mise à jour et annotée, de l’''Encyclopédie de mathématiques'' soviétique | tome={{IV}} | titre tome=Monge-Ampère equation – Rings and algebras ''[« Équation de Monge-Ampère – Anneaux et algèbres »]'' | lieu=Dordrecht et Boston | éditeur=[[Springer Science+Business Media|{{lang|en|Kluwer Academic}}]] | année=1995 | réimpression=en {{unité|6|{{abréviation discrète|vol.|volume(s)}}}} | numéro d'édition=1 | pages totales={{unité|1|{{abréviation discrète|vol.|volume(s)}}}}, 929 | format={{abréviation discrète|fig.|figure(s)}}, {{dunité|21|29,7|cm}} | isbn1=1-556-08010-7 | isbn2=978-0-7923-2975-6 | ean=9781556080104 | oclc=36917086 | doi=10.1007/978-1-4899-3791-9 | sudoc=030253195 | lire en ligne={{Google Livres|id=AGcFCAAAQBAJ}} | consulté le=6 septembre 2020 | partie={{s.v.}} Noether theorem : 1) ''{{lang|en|Noether's first theorem}}'' [« Théorème de Noether : 1) ''Premier théorème de Noether'' »] | passage=113-114 | libellé=Alekseevskii 1995}}.

=== Articles connexes ===
* [[Calcul des variations]]
* {{Lien|lang=en|trad=Noether's second theorem|fr=Second théorème de Noether}}
* [[Mécanique lagrangienne]]
* [[Mécanique hamiltonienne]]
* [[Action (physique)]]
* [[Principe de moindre action]]
* [[Électromagnétisme]]
* [[Mécanique quantique]]
* [[Théorie quantique des champs]]
* [[Théorème de Noether (mathématiques)]]

=== Liens externes ===
* {{Autorité}}
* {{Dictionnaires}}

{{Portail|physique|Histoire des sciences}}

[[Catégorie:Géométrie symplectique]]
[[Catégorie:Physique théorique]]
[[Catégorie:Théorème de physique|Noether]]
[[Catégorie:Emmy Noether]]