Newsgroup: it.scienza.fisica
Titolo: Teorema di Noether quantistico

Esiste una formulazione quantistica del teorema di Noether?
Se si come si può formulare? Dimostrazione?
Grazie in anticipo
--
Ciao Neo


Ciao, del teorema di Noether vero e proprio no, visto che è dato in
formulazione lagrangiana. Devi prima passare in quella hamiltoniana. A
quel punto puoi generalizzarlo. La forma più astratta potrebbe essere
questa a livello di Meccanica Quantistica elementare (passando alla
formulazione algebrica si può dire ancora di più)
"Sia S un sistema quantistico descritto sullo spazio di Hilbert K e
con operatore di Hamilton H
(indipendente dal tempo). Se G è un gruppo di Lie che ammette una
rappresentazione unitaria su K che sia anche fortemente continua e che
infine ammetta t -> exp{itH} (cioé l'evolutore temporale) come
sottogruppo ad un parametro, allora ad ogni elemento dell'algebra di
Lie di G corrisponde un'osservabile (operatore autoaggiunto su K) la
cui evoluzione nel senso di Heisenberg è costante. "
G  lo possiamo pensare come gruppo di simmetria del sistema
fisico...vedi altri commenti sotto.
La dim, si può tracciare (ometto dettagli tecnici) come segue.
Fissiamo una base nell'algebra di Lie A_1,...,A_n che possiamo pensare
come fatta da operatori autoaggiunti, cioé osservabili (ci sarebbe da
discutere sui domini comuni...).
Se il numero rerale a è piccolo a sufficienza, possiamo scrivere, per
opportuni coefficienti reali c_i(t) dipendenti dal tempo:
e^{-itH} e^{i aA_1}e^{itH} = e^{i a somma_k  c_k(t) A_k}  (1)
Quello che ho fatto è di avere riscritto il prodotto di tre
esponenziali dell'algebra di Lie (H è nell'algebra di Lie per
ipotesi), come un unico esponenziale di un elemento
{somma_k  c_k(t) A_k} dell'algebra di Lie.
Pertanto,  da (1)
exp{ia e^{-itH} A_1 e^{itH} } = exp{i a somma_k  c_k(t) A_k }
e quindi (qui ci sarebbe da discutere)
e^{-itH} A_1 e^{itH} = somma_k  c_k(t) A_k
In definitiva, se definisco
A_1(t) := somma_k  c_k(t) A_1
ho che l'evoluzione di Heisenberg di A_k(t) (che è un operatore che
"dipende esplicitamente dal tempo") è costante:
e^{itH} A_1(t)  e^{-itH} = A_1
Dato che A_1 era generico, questo vale per tutti gli elementi
dell'algebra di Lie.
Il caso più elementare possibile si ha quando
e^{-itH} e^{i aA_1}e^{itH} = e^{i a A_1}
che "volgarmente" si dice, che H commuta con A_1:
[H, A_1] = 0
(in effetti sotto certe ipotesi le due cose sono equivalenti)
In tal caso il teorema fornisce:
A_1(t) = A_1
e quindi A_1t) NON dipende esplicitamente dal tempo e si conserva.
Questo accade per esempio quando uno prende una particella in R^3 e
considera il gruppo di Lie delle rotazioni rappresentato unitariamente
nel solito modo.  Si passa quindi al gruppo prodotto diretto dato
dalle rotazioni e dall'evoluzione temporale (sono gruppi che commutano
per cui il prodotto diretto si costruisce). In questo gruppo grande
valgono le ipotesi di sopra e risulta che le tre componenti del
momento angolare si conservano...In questo caso usare l'enunciato di
sopra è come sparare con una pistola ad una mosca. Tuttavia ci sono
altri casi dove non se ne può fare a meno. Se consideri il gruppo di
Lorentz, le trasformazioni di Lorentz vere e proprie cioé i cosiddetti
boost necessitano della trattazione di sopra (accade anche per il
gruppo di Galileo, ma li ci sono altri problemi legati alla stessa
unitarietà della rappresentazione, che invece è proiettiva...) e la
grandezza conservata ha un significato indiretto che corrisponde al
"teorema del centro di massa" quantistico.
La formulazione che ho dato prescinde completamente dalla natura del
gruppo G di "simmetria" del sistema. Non è necessariamente un gruppo
di natura geometrica. Ci potrebbero essere gruppi di simmetria (nel
senso di spora) che non sono indotti dalla geometria del problema.
Personalmente, con un mio collaboratore ci siamo imbattuti in questo
caso diversi anni fa, scoprendo una simmetria conforme "hidden" per
teorie di campo libere sviluppate vicino ad orizzonti biforcati (tipo
buchi neri, ma anche spazio di Rindler)
V. Moretti and N. Pinamonti:  Aspects of Hidden and manifest SL(2,R)
symmetry in 2D near horizon  black hole background Nucl. Phys.B 647,
131 (2002).
Ciao, Valter

 quel punto puoi generalizzarlo.
Domanda forse banale: lagrangiana e hamiltoniana ammettono sempre le stesse
simmetrie?
--------------------------------
Inviato via 
http://arianna.libero.it/usenet/

 Inviato viahttp://
arianna.libero.it/usenet/

 Ciao, Valter
--
Ciao Neo

 Appena ho un po' di tempo lo cerco. Grazie della risposta
Lasica perdere, ti porterebbe fuori strada, se ho capito cosa ti
serve.
Ciao, Valter

 serve.
Ok. Comunque la mia domanda non era ne per lavoro ne per studio ma
solo pre curiosità per cui mi va bene anche un'idea intuitiva e magari
qualche referenza.
--
Ciao Neo

 trasf. di L. nella formulazione quantistica.
Strettamente parlando,  credo proprio che non esista (a livello di
MQ)... c'è solo la formulazione "hamiltoniana": le q punto come
velocità dq/dt non sono definibili, non esistendo la traiettoria della
particella, le cose definite sono le p e le q.
Ciao, Valter

 particella, le cose definite sono le p e le q.
Già... In effetti ho fatto un po' di casino... Grazie della pazienza
--
Ciao Neo


Infatti e' cosi', anche se non e' proprio Noether.
Dalla simmetria dell'azione (+ la simmetria della misura sui campi
nell'integrale funzionale)
ottieni una relazione semplice che coinvolge l'azione efficace,
cioe' la somma di tutti i diagrammi connessi 1PI.
Tale relazione va sotto il nome di identita' di Slavanov-Taylor ed
e' equivalente alle identita' di Ward sule funzioni di correlazione.
Esprime cioe' la proprieta' di simmetria sotto l'azione della
trasformazione continua.
Ciao

 Ciao
Non conoscevo Slavanov Taylor. Grazie per l'indicazione.
