In fisica matematica il teorema di Noether, detto anche teorema di simmetria, dovuto a Emmy Noether, mette in luce il legame tra simmetrie di un sistema fisico e quantità conservate.
Esempi importanti sono la quantità di moto se il sistema ha una simmetria per traslazioni spaziali, il momento angolare per sistemi invarianti per rotazioni e l'energia per le simmetrie temporali.
Più nello specifico, il teorema di Noether stabilisce che a ogni simmetria della Lagrangiana, ovvero a ogni trasformazione continua delle coordinate generalizzate
e
e, eventualmente, del tempo
, che lascia inalterata la Lagrangiana
, corrisponde una quantità conservata. Ad esempio, se in seguito alla trasformazione
, dove
è una quantità infinitesima, si ha che:
![{\displaystyle {\frac {\partial {\mathcal {L}}}{\partial \mathbf {q} }}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/a760a6fccd95d77388dfe5519145cd0f4158ba13)
ovvero
è una coordinata ciclica, vale a dire che la Lagrangiana non dipende esplicitamente da essa, allora
si conserva:
![{\displaystyle {\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}=\mathbf {p} ={\text{costante}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f2d739bab0532b88d045a134626f8740dd89b6d9)
dove
è il momento coniugato alla coordinata
.
Il teorema, che viene anche formulato per le simmetrie del funzionale azione, fu pubblicato da Emmy Noether nel 1918 nell'articolo "Invariante Variationsprobleme", apparso sul Gottinger Nachrichten.[1][2]
Nel caso più semplice si può considerare un punto materiale di massa
in una dimensione con posizione
e velocità
, descritto dalla lagrangiana
. La quantità di moto
del punto materiale e la forza
agente su di esso:
![{\displaystyle \mathbf {F} ={\frac {\partial {\mathcal {L}}}{\partial \mathbf {q} }}}](//wikimedia.org/api/rest_v1/media/math/render/svg/e22f1ce6555ca6e53659bf91a8defc9e3b4c31ac)
sono legate dall'equazione di Eulero-Lagrange:
![{\displaystyle {F}={\dot {p}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/4ffe1d506459e89c9b0f5ea5f53f5ac83558569b)
che costituisce l'equazione del moto del sistema. Si supponga di traslare la posizione del punto da
a
con una trasformazione spaziale parametrizzata dalla variabile
, ovvero
. Se la Lagrangiana rimane inalterata in seguito alla trasformazione allora la sua derivata rispetto a
è nulla:
![{\displaystyle {\frac {d}{ds}}{\mathcal {L}}({\dot {\mathbf {q} }}(s),\mathbf {q} (s))=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/944aa3577d21e4aaaa5ae72813d032f9f9bfa670)
Il teorema di Noether afferma che in tal caso la quantità
si conserva, cioè
. Si dice che
è una costante del moto.
In modo equivalente, se il punto materiale ha una posizione
e se la Lagrangiana non dipende da una qualche variabile
le equazioni di Eulero-Lagrange:
![{\displaystyle {\frac {d}{dt}}\left({\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}\right)-{\frac {\partial {\mathcal {L}}}{\partial q_{i}}}=0,\quad i=1,\dots ,n}](//wikimedia.org/api/rest_v1/media/math/render/svg/f265df59cd4d200751fc19c3385fc90442bc0797)
mostrano che se
allora la quantità
si conserva, avendo derivata temporale nulla.
Quando una funzione è invariante rispetto a una trasformazione continua che coinvolge una o più variabili si dice che la funzione possiede una o più simmetrie. Il teorema di Noether si può anche enunciare considerando, invece che direttamente la Lagrangiana, le simmetrie dell'azione associata al moto del sistema, ovvero l'integrale della Lagrangiana rispetto al tempo.[3]
Dato un sistema di coordinate generalizzate
a
gradi di libertà con velocità
e una funzione
, se in seguito alla trasformazione infinitesima:
![{\displaystyle t\to t,\quad q_{i}(t)\to q_{i}(t)+\varepsilon f_{i}(t),\quad {\dot {q}}_{i}(t)\to {\dot {q}}_{i}(t)+\varepsilon {\dot {f}}_{i}(t)}](//wikimedia.org/api/rest_v1/media/math/render/svg/9b4beb2a12a595bcadb96bca75a2e3e171f3c429)
la Lagrangiana
è invariante, allora la quantità:
![{\displaystyle \sum _{i=1}^{n}{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}f_{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/40005467b8efa4746cbea31c9386dc1ae0b8ab44)
è una costante del moto, ovvero si conserva.[4]
Nel caso di una trasformazione che coinvolge anche il tempo, ovvero
, si ha che:
![{\displaystyle {\frac {d{\mathcal {L}}}{dt}}={\frac {\partial {\mathcal {L}}}{\partial t}}+\sum _{i=1}^{n}\left[{\frac {\partial {\mathcal {L}}}{\partial q_{i}}}{\dot {q}}_{i}+{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}{\ddot {q}}_{i}\right]}](//wikimedia.org/api/rest_v1/media/math/render/svg/4aecca1899cf726bd9e9cff0bd5284a679077eac)
e dal momento che l'equazione del moto ha la forma (equazione di Eulero-Lagrange):
![{\displaystyle {\frac {d}{dt}}{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}-{\frac {\partial {\mathcal {L}}}{\partial q_{i}}}=0,\quad \forall i}](//wikimedia.org/api/rest_v1/media/math/render/svg/ecb5b2e886363e31c5d0275485c531c08dc7173e)
il primo termine tra parentesi può essere riscritto in modo da avere:
![{\displaystyle {\frac {d{\mathcal {L}}}{dt}}={\frac {\partial {\mathcal {L}}}{\partial t}}+\sum _{i=1}^{n}\left[\left({\frac {d}{dt}}{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}\right){\dot {q}}_{i}+{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}{\ddot {q}}_{i}\right]}](//wikimedia.org/api/rest_v1/media/math/render/svg/5edc97663961f0b00a7a457d88a33e66c7b8efea)
ovvero:
![{\displaystyle {\frac {d{\mathcal {H}}}{dt}}=-{\frac {\partial {\mathcal {L}}}{\partial t}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/c7debb76ed6d283f10553a82d7c45068e7209d48)
dove
è l'Hamiltoniana, la trasformata di Legendre della Lagrangiana:
![{\displaystyle {\mathcal {H}}=\sum _{i=1}^{n}{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}{\dot {q}}_{i}-{\mathcal {L}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/78016443ca49eb0680689e1424982191ea426921)
Se dunque
non dipende esplicitamente dal tempo (
) allora
si conserva (
, ovvero
).
Il teorema di Noether può essere enunciato considerando, in luogo della lagrangiana, il funzionale integrale azione
:
![{\displaystyle {\mathcal {S}}=\int {\mathcal {L}}({\dot {\mathbf {q} }},\mathbf {q} ,t)\,\mathrm {d} t}](//wikimedia.org/api/rest_v1/media/math/render/svg/79d64a19fb7783dc52d6b7274dbbb2c4597cf68b)
Si supponga che
è invariante rispetto alla trasformazione:
![{\displaystyle t\to {\bar {t}}(\mathbf {q} ,t,\lambda )}](//wikimedia.org/api/rest_v1/media/math/render/svg/b96e868837ff6ab4a105a0e7e534493527282e5b)
![{\displaystyle q_{i}\to {\bar {q}}_{i}(\mathbf {q} ,t,\lambda )\qquad \mathbf {q} \to \mathbf {\bar {q}} (\mathbf {q} ,t,\lambda )}](//wikimedia.org/api/rest_v1/media/math/render/svg/eff972b80fce0c45b1d0b79b62d792879e01e19e)
dove
è un parametro continuo, ovvero si verifica:
![{\displaystyle \int _{t_{1}}^{t_{2}}{\mathcal {L}}({\dot {\mathbf {q} }},\mathbf {q} ,\tau )\,\mathrm {d} \tau =\int _{t_{1}'}^{t_{2}'}{\mathcal {L}}({\dot {\mathbf {\bar {q}} }},\mathbf {\bar {q}} ,\tau )\,\mathrm {d} \tau }](//wikimedia.org/api/rest_v1/media/math/render/svg/4ad8f56664bffd86f6d92ee0a16e7d72eefe6272)
dove gli estremi di integrazione variano durante la trasformazione. Considerando una variazione
infinitesima:
![{\displaystyle \qquad \delta t={\bar {t}}-t=A(\mathbf {q} ,t)\delta \lambda \qquad \delta \mathbf {q} =\mathbf {\bar {q}} ({\bar {t}})-\mathbf {q} (t)=B(\mathbf {q} ,t)\delta \lambda }](//wikimedia.org/api/rest_v1/media/math/render/svg/a500cdd9bfccc90ebb3f2dd626b4d1e8c651aa61)
la quantità conservata è:
![{\displaystyle \left({\mathcal {L}}-{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}{\dot {q}}_{i}\right)A(\mathbf {q} ,t)+{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}B(\mathbf {q} ,t)=-{\mathcal {H}}A(\mathbf {q} ,t)+p_{i}B(\mathbf {q} ,t)}](//wikimedia.org/api/rest_v1/media/math/render/svg/b83b47c795c105e6c39aad30dab542e0563be794)
dove
è detta hamiltoniana e
è il momento lineare coniugato alla coordinata
.[5]
Dimostrazione 2
Si supponga che le variabili dipendenti
siano tali che l'azione, data dall'integrale della Lagrangiana:
![{\displaystyle {\mathcal {S}}=\int {\mathcal {L}}({\dot {\mathbf {q} }},\mathbf {q} ,t)\,\mathrm {d} t}](//wikimedia.org/api/rest_v1/media/math/render/svg/79d64a19fb7783dc52d6b7274dbbb2c4597cf68b)
sia invariante rispetto a variazioni infinitesime di esse. In altre parole, deve essere soddisfatta l'equazione di Eulero-Lagrange:
![{\displaystyle {\frac {d}{dt}}{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}-{\frac {\partial {\mathcal {L}}}{\partial \mathbf {q} }}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/bc640b7e9f0fb01ed8762c400557a66c5131d67f)
Si supponga che l'integrale azione sia invariante rispetto a una simmetria continua. Una tale simmetria è rappresentata da un flusso
che agisce sulle variabili nel seguente modo:
![{\displaystyle t\rightarrow t'=t+\varepsilon \tau }](//wikimedia.org/api/rest_v1/media/math/render/svg/5ad6fa6f1cd6a9a8335fc5723e73d5363450dfbd)
![{\displaystyle \mathbf {q} (t)\rightarrow \mathbf {q} '(t')=\phi (\mathbf {q} (t),\varepsilon )=\phi (\mathbf {q} (t'-\varepsilon \tau ),\varepsilon )}](//wikimedia.org/api/rest_v1/media/math/render/svg/e0392e0ec860bf725202c0c5c5df8d4c5d16f87d)
dove
è una variabile reale che quantifica l'incremento del flusso, mentre
è una costante reale relativa alla traslazione del flusso nel tempo (può essere nulla). Si ha:
![{\displaystyle {\dot {\mathbf {q} }}(t)\rightarrow {\dot {\mathbf {q} }}'(t')={\frac {d}{dt}}\phi (\mathbf {q} (t),\varepsilon )={\frac {\partial \phi }{\partial \mathbf {q} }}(\mathbf {q} (t'-\varepsilon \tau ),\varepsilon )\cdot {\dot {\mathbf {q} }}(t'-\varepsilon \tau )}](//wikimedia.org/api/rest_v1/media/math/render/svg/17a759df5acfb409d8922847f6aff8562d3fcd93)
e l'integrale azione diventa:
![{\displaystyle {\begin{aligned}{\mathcal {S}}'(\varepsilon )=\int _{t_{1}+\varepsilon \tau }^{t_{2}+\varepsilon \tau }{\mathcal {L}}[{\dot {\mathbf {q} }}'(t'),\mathbf {q} '(t'),t']\,\mathrm {d} t'=\int _{t_{1}+\varepsilon \tau }^{t_{2}+\varepsilon \tau }{\mathcal {L}}\left[{\frac {\partial \phi }{\partial \mathbf {q} }}(\mathbf {q} (t'-\varepsilon \tau ),\varepsilon )\cdot {\dot {\mathbf {q} }}(t'-\varepsilon \tau ),\ \phi (\mathbf {q} (t'-\varepsilon \tau ),\varepsilon ),\ t'\right]\,\mathrm {d} t'\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/60c5e76efa6c5792c66868eb54d4053598228b80)
L'azione può essere considerata in funzione soltanto di
. Calcolandone la derivata in
e sfruttando la simmetria si ottiene:
![{\displaystyle {\begin{aligned}0&={\frac {d{\mathcal {S}}'}{d\varepsilon }}(0)={\mathcal {L}}[{\dot {\mathbf {q} }}(t_{2}),\mathbf {q} (t_{2}),t_{2}]\tau -{\mathcal {L}}[{\dot {\mathbf {q} }}(t_{1}),\mathbf {q} (t_{1}),t_{1}]\tau \\[6pt]&{}+\int _{t_{1}}^{t_{2}}{\frac {\partial {\mathcal {L}}}{\partial \mathbf {q} }}\left(-{\frac {\partial \phi }{\partial \mathbf {q} }}{\dot {\mathbf {q} }}\tau +{\frac {\partial \phi }{\partial \varepsilon }}\right)+{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}\left(-{\frac {\partial ^{2}\phi }{\partial \mathbf {q} ^{2}}}{\dot {\mathbf {q} }}^{2}\tau +{\frac {\partial ^{2}\phi }{\partial \varepsilon \partial \mathbf {q} }}{\dot {\mathbf {q} }}-{\frac {\partial \phi }{\partial \mathbf {q} }}{\ddot {\mathbf {q} }}\tau \right)\,\mathrm {d} t\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/c37b6dbfeee9bdffa96f5fde132eec3c40388ad3)
L'equazione di Eulero–Lagrange implica che:
![{\displaystyle {\frac {d}{dt}}\left({\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \mathbf {q} }}{\dot {\mathbf {q} }}\tau \right)=\left({\frac {d}{dt}}{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}\right){\frac {\partial \phi }{\partial \mathbf {q} }}{\dot {\mathbf {q} }}\tau +{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}\left({\frac {d}{dt}}{\frac {\partial \phi }{\partial \mathbf {q} }}\right){\dot {\mathbf {q} }}\tau +{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \mathbf {q} }}{\ddot {\mathbf {q} }}\tau ={\frac {\partial {\mathcal {L}}}{\partial \mathbf {q} }}{\frac {\partial \phi }{\partial \mathbf {q} }}{\dot {\mathbf {q} }}\tau +{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}\left({\frac {\partial ^{2}\phi }{\partial \mathbf {q} ^{2}}}{\dot {\mathbf {q} }}\right){\dot {\mathbf {q} }}\tau +{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \mathbf {q} }}{\ddot {\mathbf {q} }}\tau }](//wikimedia.org/api/rest_v1/media/math/render/svg/1e01eed9afc0f82dd168dd432008b3e5a12bafbc)
e sostituendo nella precedente equazione si giunge a:
![{\displaystyle {\begin{aligned}0&={\frac {d{\mathcal {S}}'}{d\varepsilon }}(0)={\mathcal {L}}[\mathbf {q} (t_{2}),{\dot {\mathbf {q} }}(t_{2}),t_{2}]\tau -{\mathcal {L}}[\mathbf {q} (t_{1}),{\dot {\mathbf {q} }}(t_{1}),t_{1}]\tau -{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \mathbf {q} }}{\dot {\mathbf {q} }}(t_{2})\tau +{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \mathbf {q} }}{\dot {\mathbf {q} }}(t_{1})\tau \\[6pt]&+\int _{t_{1}}^{t_{2}}{\frac {\partial {\mathcal {L}}}{\partial \mathbf {q} }}{\frac {\partial \phi }{\partial \varepsilon }}+{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial ^{2}\phi }{\partial \varepsilon \partial \mathbf {q} }}{\dot {\mathbf {q} }}\,\mathrm {d} t\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/c730d1694793688754276c0dd2cfd245a5c8e5f1)
Utilizzando quindi nuovamente l'equazione di Eulero–Lagrange:
![{\displaystyle {\frac {d}{dt}}\left({\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \varepsilon }}\right)=\left({\frac {d}{dt}}{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}\right){\frac {\partial \phi }{\partial \varepsilon }}+{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial ^{2}\phi }{\partial \varepsilon \partial \mathbf {q} }}{\dot {\mathbf {q} }}={\frac {\partial {\mathcal {L}}}{\partial \mathbf {q} }}{\frac {\partial \phi }{\partial \varepsilon }}+{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial ^{2}\phi }{\partial \varepsilon \partial \mathbf {q} }}{\dot {\mathbf {q} }}}](//wikimedia.org/api/rest_v1/media/math/render/svg/6063bdbf1ad08e1bd5b2b641f8dae91d7f81a3f2)
e inserendo nella precedente relazione si può scrivere:
![{\displaystyle 0={\mathcal {L}}[\mathbf {q} (t_{2}),{\dot {\mathbf {q} }}(t_{2}),t_{2}]\tau -{\mathcal {L}}[\mathbf {q} (t_{1}),{\dot {\mathbf {q} }}(t_{1}),t_{1}]\tau -{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \mathbf {q} }}{\dot {\mathbf {q} }}(t_{2})\tau +{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \mathbf {q} }}{\dot {\mathbf {q} }}(t_{1})\tau +{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \varepsilon }}(t_{2})-{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \varepsilon }}(t_{1})}](//wikimedia.org/api/rest_v1/media/math/render/svg/7683a5b8a4984f091b99575eae994ef7294afdc5)
da cui si evince che la quantità:
![{\displaystyle \left({\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \mathbf {q} }}{\dot {\mathbf {q} }}-{\mathcal {L}}\right)\tau -{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \varepsilon }}}](//wikimedia.org/api/rest_v1/media/math/render/svg/3ced69bbda4e0774533998b54af8bd205474b5f5)
è una costante del moto, ovvero è una quantità conservata.
Dato che
si ha:
![{\displaystyle {\frac {\partial \phi }{\partial \mathbf {q} }}=1}](//wikimedia.org/api/rest_v1/media/math/render/svg/1ba72eee48cb95491c5f50072aa1ea21051b953d)
e la quantità conservata si semplifica assumendo la forma:
![{\displaystyle \left({\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\dot {\mathbf {q} }}-{\mathcal {L}}\right)\tau -{\frac {\partial {\mathcal {L}}}{\partial {\dot {\mathbf {q} }}}}{\frac {\partial \phi }{\partial \varepsilon }}}](//wikimedia.org/api/rest_v1/media/math/render/svg/7f72b9eb1aab6505ee32633932766ef823eab575)
Nella derivazione si è assunto che il flusso non varia nel tempo, e un risultato più generale si ottiene in un modo equivalente.
Dimostrazione 3
Si consideri una varietà liscia
e una varietà bersaglio
. Sia
lo spazio delle configurazioni delle funzioni lisce da
a
. In modo più generale si possono considerare sezioni del fibrato lungo
. In meccanica classica, ad esempio,
è la varietà monodimensionale
che rappresenta il tempo, e lo spazio bersaglio è lo spazio delle fasi, il fibrato cotangente dello spazio delle posizioni generalizzate.
L'azione è un funzionale del tipo:
![{\displaystyle {\mathcal {S}}:{\mathcal {C}}\rightarrow \mathbb {R} }](//wikimedia.org/api/rest_v1/media/math/render/svg/b3ae160715709bab3833fa8527a2ecc1669697a1)
che mappa su
(e non su
per ragioni fisiche). Affinché l'azione sia locale è necessario imporre ulteriori restrizioni sul funzionale: se
si assume che
sia l'integrale su
della lagrangiana
, che è funzione di
, delle sue derivate e della posizione. Esplicitamente, l'azione è definita nel seguente modo:
![{\displaystyle {\mathcal {S}}[\phi ]\equiv \int _{M}{\mathcal {\mathcal {L}}}(\phi (x),\partial \phi (x),\partial \partial \phi (x),...,x)d^{n}x\qquad \forall \phi \in {\mathcal {C}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/26612f4f8333ac3997b9d541b525360d2b96c94c)
La maggior parte delle volte si assume che la lagrangiana dipenda soltanto dal valore del campo e dalla sua derivata prima, sebbene questo non sia vero in generale.
Se
è compatto, le condizioni al contorno si ottengono specificando i valori di
sulla frontiera. In caso contrario si possono fornire opportuni limiti per
quando
tende all'infinito. Questo rende possibile ottenere l'insieme delle funzioni
tali che tutte le derivate funzionali di
su
sono nulle e
soddisfa le condizioni al contorno date. Tale insieme è determinato, considerando le condizioni al contorno, dalle soluzioni on shell delle equazioni di Eulero-Lagrange:
![{\displaystyle {\frac {\delta {\mathcal {S}}}{\delta \varphi }}=-\partial _{\mu }\left({\frac {\partial {\mathcal {\mathcal {L}}}}{\partial (\partial _{\mu }\phi )}}\right)+{\frac {\partial {\mathcal {\mathcal {L}}}}{\partial \phi }}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/51cc74b3b4bc3788e2ed02d3d79151dc9c89b1b2)
Il membro sinistro è la derivata funzionale dell'azione rispetto a
. In meccanica classica la lagrangiana è data dalla differenza tra l'energia cinetica
e l'energia potenziale
.
Si consideri una trasformazione infinitesima su
generata da un funzionale
tale che:
![{\displaystyle Q\left[\int _{N}{\mathcal {\mathcal {L}}}\,\mathrm {d} ^{n}x\right]\approx \int _{\partial N}f^{\mu }[\phi (x),\partial \phi ,\partial \partial \phi ,\ldots ]\mathrm {d} s_{\mu }}](//wikimedia.org/api/rest_v1/media/math/render/svg/1cdde4c713c49f4534176b3d024ff7f5b98245a5)
per ogni sottovarietà
. In modo equivalente:
![{\displaystyle Q[{\mathcal {\mathcal {L}}}(x)]\approx \partial _{\mu }f^{\mu }(x)\quad \forall x}](//wikimedia.org/api/rest_v1/media/math/render/svg/188a3495b74ed7ffa20a07399bda8991b42dfccc)
dove:
![{\displaystyle {\mathcal {\mathcal {L}}}(x)={\mathcal {\mathcal {L}}}[\phi (x),\partial _{\mu }\phi (x),x]}](//wikimedia.org/api/rest_v1/media/math/render/svg/de7f75d1cc840097c63b8ce9717b9b14368bc673)
Se questo vale on shell e off shell allora
genera una simmetria off shell. Se invece vale solo on shell, allora
genera una simmetria on shell. Il funzionale
è un generatore un gruppo di simmetria di Lie a un parametro.
Per il teorema di Eulero–Lagrange per ogni
si ha, on shell:
![{\displaystyle Q\left[\int _{N}{\mathcal {\mathcal {L}}}\,\mathrm {d} ^{n}x\right]=\int _{N}\left[{\frac {\partial {\mathcal {\mathcal {L}}}}{\partial \phi }}-\partial _{\mu }{\frac {\partial {\mathcal {\mathcal {L}}}}{\partial (\partial _{\mu }\phi )}}\right]Q[\phi ]\,\mathrm {d} ^{n}x+\int _{\partial N}{\frac {\partial {\mathcal {\mathcal {L}}}}{\partial (\partial _{\mu }\phi )}}Q[\phi ]\,\mathrm {d} s_{\mu }\approx \int _{\partial N}f^{\mu }\,\mathrm {d} s_{\mu }}](//wikimedia.org/api/rest_v1/media/math/render/svg/871a9d45971c98ec8ebd889a4b32ce826f3d7cc2)
Dato che questo vale per ogni
vale la relazione:
![{\displaystyle \partial _{\mu }\left[{\frac {\partial {\mathcal {\mathcal {L}}}}{\partial (\partial _{\mu }\phi )}}Q[\phi ]-f^{\mu }\right]\approx 0}](//wikimedia.org/api/rest_v1/media/math/render/svg/500e786fb785096a8098061ce0dd09a7e415c902)
che è l'equazione di continuità per la corrente di Noether
associata alla simmetria, definita da:[6]
![{\displaystyle J^{\mu }\,=\,{\frac {\partial {\mathcal {\mathcal {L}}}}{\partial (\partial _{\mu }\phi )}}Q[\phi ]-f^{\mu }}](//wikimedia.org/api/rest_v1/media/math/render/svg/f20bb15f649a433cd20528bcc100cf68fa4b2f8f)
Se si integra la corrente di Noether su una sezione di tipo tempo si ottiene una quantità conservata detta carica di Noether.
Nel formalismo della seconda quantizzazione è possibile scrivere il teorema di Noether come relazione tra funzioni di correlazione. Siano
n operatori generici. La funzione di correlazione è per definizione:
![{\displaystyle <O_{1}...O_{n}>={\frac {1}{\mathcal {Z}}}\int D\phi e^{-{\mathcal {S}}}O_{1}...O_{n}}](//wikimedia.org/api/rest_v1/media/math/render/svg/095a0715cd64c89274a68ff11de86a394a529a6e)
con
azione,
funzione di partizione e
la misura su tutti i campi fondamentali presenti nell'azione. Considero una generica trasformazione nei campi fondamentali
tale che
![{\displaystyle {\mathcal {S}}(\phi )={\mathcal {S}}'(\phi ')+\delta {\mathcal {S}}(\phi ')}](//wikimedia.org/api/rest_v1/media/math/render/svg/2e2f4b2fcb74e60c3c96f7115a755a19cf286c76)
![{\displaystyle O_{i}(\phi )=O'_{i}(\phi ')+\delta O_{i}(\phi ')}](//wikimedia.org/api/rest_v1/media/math/render/svg/cd856dbaff9dc5bd597319d91f755ef5b46d7805)
Sarà quindi valida la seguente relazione:
![{\displaystyle \int D\phi e^{-{\mathcal {S}}(\phi )}O_{1}...O_{n}=\int D\phi 'e^{-{\mathcal {S}}'(\phi ')-\delta {\mathcal {S}}(\phi ')}(O_{1}+\delta O_{1})...(O_{n}+\delta O_{n})}](//wikimedia.org/api/rest_v1/media/math/render/svg/86fe5e82a7a76930066b5f5644c78cc051346769)
Espandendo al primo ordine
. Nella relazione precedente i termini di ordine 0 si elidono, al primo ordine è quindi verificata la seguente relazione:
![{\displaystyle \int D\phi e^{-{\mathcal {S}}(\phi )}\delta {\mathcal {S}}(\phi )O_{1}...O_{n}=\int D\phi e^{-{\mathcal {S}}(\phi )}\sum _{i=1}^{n}O_{1}...\delta O_{i}...O_{n}}](//wikimedia.org/api/rest_v1/media/math/render/svg/6b1c12b0c7d7b51458dbd3b8694aff9042c80548)
in cui la sommatoria nel termine di destra indica la somma su tutti i possibili prodotti degli operatori in cui compare una volta sola un
. Nel caso di un solo operatore si ha:
![{\displaystyle <\delta {\mathcal {S}}\ O>=<\delta O>\qquad \qquad \qquad \qquad \qquad (1)}](//wikimedia.org/api/rest_v1/media/math/render/svg/5e5ba6ab61a3b51cfefc9f02fe9a2bcf48f9ada5)
Considero ora una trasformazione che soddisfi le ipotesi del teorema di Noether (simmetria continua dell'azione) che posso quindi scrivere come:
![{\displaystyle \phi '=\phi +i\epsilon \chi }](//wikimedia.org/api/rest_v1/media/math/render/svg/c8c52a68c4d41376fef355b520891f51107d7851)
con
parametro globale piccolo e
generica funzione dei campi fondamentali e delle
. Localizzo
, rompendo la simmetria dell'azione altrimenti valida, ed espando in serie al primo ordine. La differenza nell'azione è quindi scrivibile come la somma di due termini, uno proporzionale a
che sarà nullo poiché l'azione è invariante per la trasformazione globale ed uno proporzionale a
che scrivo come:
![{\displaystyle \delta {\mathcal {S}}=\int d^{4}x{\frac {\partial {\mathcal {L}}}{\partial \phi }}\delta \phi =i\int {\mathcal {d}}^{4}xJ_{\mu }(x)\partial _{\mu }\epsilon (x)=-i\int d^{4}x\epsilon (x)\partial _{\mu }J_{\mu }(x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/7198679d9ffe257378ef1e178cafe7ec0a374ed6)
per l'ultimo passaggio si è integrato per parti. Analogamente si vede che
![{\displaystyle \delta O=i\int d^{4}x\epsilon (x){\frac {\delta O}{\delta \phi (x)}}\chi (x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/df04cdd3d7e6721f8eba369e42a679fed34f53d4)
Da
segue che:
![{\displaystyle \int d^{4}z\epsilon (z)<\partial _{\mu }J_{\mu }(z)O(y)>=\int d^{4}z\epsilon (z)<{\frac {\delta O(y)}{\delta \phi (z)}}\chi (z)>}](//wikimedia.org/api/rest_v1/media/math/render/svg/d06c676b584d696f892620892b0788e7b38bcb13)
Localizzo
imponendo la condizione
. Dalla definizione della delta di Dirac:
![{\displaystyle <\partial _{\mu }J_{\mu }(x)O(y)>=<{\frac {\delta O(y)}{\delta \phi (x)}}\chi (x)>}](//wikimedia.org/api/rest_v1/media/math/render/svg/7919f347a3c94b02298e44e8ffc942a1f5230155)
Questa condizione estende il risultato del teorema di Noether rendendolo valido anche a livello quantistico. Nel caso
si una stringa di operatori locali definiti lontani da x si ottiene
![{\displaystyle <\partial _{\mu }J_{\mu }(x)O(y)>=0\qquad x\neq y}](//wikimedia.org/api/rest_v1/media/math/render/svg/124bffb7c7508439964534714af2b3cf8673e1a0)
che rappresenta l'analogo della conservazione della corrente in teoria dei campi classica.
Integrando sul volume
![{\displaystyle \int d^{3}x<\partial _{\mu }J_{\mu }(x)O(y)>=\int d^{3}x<\partial _{0}J_{0}(x)O(y)>+\int d^{3}x<\nabla \cdot {\mathbf {J}}(x)O(y)>=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/f1c3f62676d9113e08544d8089f77df44f8922e1)
Per il teorema della divergenza in una teoria di campo a volume infinito il secondo termine è nullo. Sia
![{\displaystyle {\bar {J_{0}}}(x_{0})\equiv \int d^{3}xJ_{0}(x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/044b623b7b394e806c94a4c06c3ecd9be43690a3)
Si è quindi dimostrato che
![{\displaystyle <\partial _{0}{\bar {J}}_{0}(x_{0})O(y)>=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/42f29d69840d40021080045c94a1f6c28c980be4)
è quindi una carica conservata.
Supponiamo di trattare un sistema bidimensionale, e di considerare una trasformazione di coordinate
così definita:
![{\displaystyle f_{1}=x+s\qquad f_{2}=y}](//wikimedia.org/api/rest_v1/media/math/render/svg/ce864f73d5222fc3a0499945419b0716ef721fd2)
Secondo il teorema, si ha che:
![{\displaystyle {\frac {\partial f_{1}}{\partial s}}=1\qquad {\frac {\partial f_{2}}{\partial s}}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/7802cdf3b276c4c19631b5dc0ab04490a148a15e)
Quindi, automaticamente si conserverà la quantità:
![{\displaystyle p_{1}=\sum _{i=1}^{n}{\frac {\partial f_{i}}{\partial s}}(t,0)\,p_{i}=\mathrm {costante} }](//wikimedia.org/api/rest_v1/media/math/render/svg/545dbd4c2983ff3d49bed1ae04a62d1afcf41798)
Questo significa che per un sistema che ha un'invarianza per traslazioni nella direzione
, si conserverà il momento lineare (quantità di moto) in quella direzione.
E. Noether, Invariante Variationsprobleme. Göttingen 1918, pp. 235-257. Traduzione di M.A. Tavel in Transport Theory and Statistical Mechanics (1971), pp. 183-207 Weinberg, S. (1995). The Quantum Theory of Fields. Cambridge: Cambridge University Press. doi:10.1017/CBO9781139644167.
- (EN) The heritage of Emmy Noether in algebra, geometry and physics. Bar Ilan University, Tel Aviv (Israel), 2-3 dicembre 1996
- (EN) Herbert Goldstein, Classical Mechanics, 2nd, Reading MA, Addison-Wesley, 1980, pp. 588–596, ISBN 0-201-02918-9.
- (EN) Yvette Kosmann-Schwarzbach, The Noether theorems: Invariance and conservation laws in the twentieth century, Sources and Studies in the History of Mathematics and Physical Sciences, Springer-Verlag, 2011, ISBN 978-0-387-87868-3.
- (EN) Cornelius Lanczos, The Variational Principles of Mechanics, 4th, New York, Dover Publications, 1970, pp. 401–5, ISBN 0-486-65067-7.
- (EN) Dwight E. Neuenschwander, Emmy Noether's Wonderful Theorem, Johns Hopkins University Press, 2010, ISBN 978-0-8018-9694-1.
- (EN) Hanca, J.; Tulejab, S.; Hancova, M., Symmetries and conservation laws: Consequences of Noether's theorem, in American Journal of Physics, vol. 72, n. 4, 2004, pp. 428–35, Bibcode:2004AmJPh..72..428H, DOI:10.1119/1.1591764.
- (EN) Merced Montesinos e Ernesto Flores, Symmetric energy-momentum tensor in Maxwell, Yang-Mills, and Proca theories obtained using only Noether's theorem, in Revista Mexicana de Física, vol. 52, 2006, p. 29, Bibcode:2006RMxF...52...29M, arXiv:hep-th/0602190.
- (EN) Sardanashvily, G., Gauge conservation laws in a general setting. Superpotential, in International Journal of Geometric Methods in Modern Physics, vol. 6, n. 06, 2009, p. 1047, Bibcode:2009arXiv0906.1732S, DOI:10.1142/S0219887809003862, arXiv:0906.1732.