Résultat formel qui associe, à chaque symétrie continue et différentiable d'un fonctionnel d'action dans un système physique variationnel, une quantité conservée correspondante.

Principe

Si l'action est invariante sous une famille continue et différentiable de transformations, il existe un courant ou une charge conservée engendrée par cette symétrie.

Démonstration

Dans un système lagrangien dont le Lagrangien ne dépend pas explicitement du temps, l'invariance par translations temporelles produit une quantité conservée identifiée comme l'énergie du système.

Mauvaise application

Appliquer le théorème à des systèmes sans action variationnelle, aux symétries discrètes sans adaptation, ou négliger les conditions aux limites requises conduit à des affirmations de conservation erronées.

Conséquence

Une application correcte fournit des quantités conservées explicites qui réduisent les degrés de liberté effectifs et contraignent la dynamique à long terme.

Inversion

La rupture d'une symétrie continue (par exemple en rendant le Lagrangien dépendant du temps) supprime la loi de conservation associée, de sorte que la charge précédemment conservée peut ne plus l'être.

Limite

S'applique aux systèmes disposant d'un fonctionnel d'action différentiable et de conditions aux limites appropriées; exclut les dynamiques non variationnelles, les symétries purement discrètes sauf analogues discrets, et les configurations singulières violant la différentiabilité.

Tension sémantique

Diffère de l'affirmation informelle « la symétrie implique l'invariance des équations » : le théorème lie la symétrie de l'action (et non seulement des équations du mouvement) à une quantité conservée, relation plus forte et plus structurale.

Synthèse

Le théorème de Noether transforme précisément les symétries variationnelles continues en courants conservés, fournissant un procédé systématique pour extraire des invariants qui simplifient et contraignent la dynamique physique.