Operatore di evoluzione temporale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 16:
e questo implica che
:(2)<math>U^{\dagger}(t,t_0) U(t,t_0) = \mathbf{1}</math>
cioè l'operatore di evoluzione temporale deve essere [[Operatore unitario|unitario]]. Inoltre per <math>t \to t_0</math> il nostro operatore deve eseguire una trasformazione identitaria, cioè deve ridursi all'operatore identità, cioè:
:<math>\lim_{t \to t_0} U(t, t_0) = \mathbf{1}</math>
Infine l'applicazione successiva dell'operatore due volte, cioè eseguire due evoluzioni
:<math>U(t_2, t_1) U(t_1, t_0) = U(t_2, t_0)</math>
Riga 28:
Queste proprietà portano alla definizione dell'operatore di evoluzione temporale infinitesimale:
:(3)<math>U(t_0 + dt, t_0) =
dove
:<math>U^{\dagger} U = \left(
ossia:
Riga 48:
:(4)<math>\Phi = \sum_i q_i \cdot P_i + H dt</math>
dove <math>\sum_i q_i \cdot P_i</math> genera una trasformazione identica. Dal confronto della (3) con la (4) possiamo supporre che <math>\Omega</math> coincida a meno di un fattore costante con l'hamiltoniana del sistema. Il fattore costante in questione è la [[costante di Planck]] razionalizzata poiché essa permette all'operatore temporale di essere adimensionale, quindi in definitiva la (3) dice che l'operatore di evoluzione temporale infinitesima è:
:(5)<math>U(t_0 + dt, t_0) =
Se ci si limita a considerare forze indipendenti dal tempo, l'operatore U dipende unicamente dall'intervallo <math>t-t_0</math> e non dall'istante iniziale <math>t_0</math>, che si può porre uguale a 0. In questo caso, vedremo che l'operatore di evoluzione temporale si può scrivere in forma compatta come
:(6)<math>U(t) \equiv U(t,0) = e^{-i H t / \hbar}.</math>
Questo risultato si può dimostrare rigorosamente in virtù del [[Teorema di Stone]].
== Equazione di Schrödinger ==
Line 56 ⟶ 62:
L'operatore di evoluzione temporale infinitesimo è alla base dell'equazione di Schrödinger dipendente dal tempo, infatti se:
:<math>U(t+dt, t_0) - U(t,t_0) = U(t+dt, t) U(t,t_0) - U(t,t_0) = \left(
dividendo per <math>dt</math> e nel limite <math>dt \to 0</math>:
Line 65 ⟶ 71:
:<math>i \hbar \left( \frac{\partial}{\partial t} U(t,t_0) \right) |\alpha, t_0 \rangle = H U(t,t_0) |\alpha, t_0 \rangle \, \, \rightarrow \, \, i \hbar \frac{\partial}{\partial t} |\alpha, t \rangle = H |\alpha ,t_0 \rangle</math>
dove H può dipendere esplicitamente dal tempo.
== Stati stazionari ==
L'hamiltoniano di un sistema isolato o di un sistema che si trova in un campo esterno uniforme non contiene esplicitamente il tempo.
:<math>U(t
e per i vettori di stato:
:<math>|\alpha, t \rangle = e^{- i H
Si definiscono '''stati stazionari''' quelli che non evolvono nel tempo, vale a dire <math>|\alpha, t \rangle</math> e <math>|\alpha, 0 \rangle </math> rappresentano lo stesso stato. Questo è vero se sono proporzionali, cioè
:<math>
Si dimostra che
''uno stato è stazionario se e solo se è autostato di H''.
Ad esempio, se <math>H |\alpha, 0 \rangle = E |\alpha, 0 \rangle</math> si ha che
:<math>U(t) |
Si vede così che la costante di proporzionalità c(t) è <math>e^{- i E t /\hbar}</math>.
Se lo stato di partenza non è un autostato di H, ma questa ha un insieme completo di autovettori <math>|n \rangle</math>, è possibile effettuare uno sviluppo in serie:
:<math>|n ,t \rangle = U(t,0) |n,0 \rangle = e^{-i H t /\hbar} |n, 0 \rangle = e^{-i E_n t / \hbar} |n, 0 \rangle</math>▼
:<math>|\alpha, 0 \rangle = \sum_n |n \rangle \langle n |\alpha, 0 \rangle = \sum_n c_n (0) |n \rangle</math>
al tempo <math>t</math> l'evoluzione del vettore di stato è:
:<math>|\alpha ,t \rangle = U(t,0) |\alpha ,0 \rangle = \sum_n c_n (0) e^{-i H t /\hbar} |n \rangle = \sum_n c_n (0) e^{-i E_n t / \hbar} |n \rangle</math>
Line 106 ⟶ 110:
:<math>c_n (0) \, \, \, \Rightarrow \, \, \, c_n (t) = e^{-i E_n t / \hbar} c_n (0)</math>
I moduli quadri <math>|c_n (t)|^2</math> dei coefficienti dello sviluppo del vettore di stato al tempo t, sono
Se H ha autovalori continui lo sviluppo in serie non è possibile e si avrà
▲:<math>|
Nel caso in cui H abbia solo autovalori continui (ad esempio nel caso di particella libera), non esistono autostati propri e quindi nemmeno stati stazionari.
==Osservabili e costanti del moto==
A partire dall'operatore U è possibile determinare come varia nel tempo il valor medio di qualunque [[osservabile]] A:
:<math>\langle A \rangle_t = \langle \alpha , t |A| \alpha , t \rangle</math>
ed è chiaro che il valor medio di A è costante nel tempo su ogni stato stazionario. In particolare, per la posizione <math>\langle x \rangle = cost.</math> e per l'impulso si ha
:<math> \langle p \rangle = m \frac{d}{dx} \langle x \rangle = 0</math>.
Possono esistere osservabili il cui valor medio si mantiene costante su qualsiasi stato: queste si dicono '''costanti del moto'''. Si dimostra che
''tutte e sole le costanti del moto sono le osservabili che commutano con H, ovvero [A,H]=0''.
Analogo risultato vale in meccanica classica: le costanti del moto sono le funzioni che annullano la parentesi di Poisson con H.
==Rappresentazione di Heisenberg==
Per determinare il valor medio di A abbiamo scritto <math>\langle A \rangle_t = \langle \alpha , t |A| \alpha , t \rangle</math> e introducendo l'operatore U si ha
:<math>\langle A \rangle_t = \langle \alpha , 0 |U(t)^{\dagger} A U(t)| \alpha , 0 \rangle</math>
e posto <math>A(t) \equiv U(t)^{\dagger} A U(t)</math>, si ha
:<math>\langle A \rangle_t = \langle \alpha , 0 |A(t)| \alpha , 0 \rangle</math>.
Questa scrittura significa che stiamo tenendo fissi i vettori che descrivono lo stato del sistema, mentre ''sono le osservabili a dipendere dal tempo''. Questo schema è formalmente identico alla meccanica classica: se <math>U(t) = e^{-i H t / \hbar}</math>, si trova l''''equazione di Heisenberg'''
:<math>\dot{A}(t) = \frac{i}{\hbar}[H, A(t)]</math>
che corrisponde alle equazioni del moto classiche in forma di [[parentesi di Poisson]].
Per una hamiltoniana nella forma <math>H = \frac{p^2}{2m} + V(q)</math> si trovano due equazioni per q e p formalmente uguali alle [[equazioni di Hamilton]]:
:<math>\dot{q}(t) = \frac{p(t)}{m}</math>
:<math>\dot{p}(t) = - \frac{\partial}{\partial q} V[q(t)]</math>
==Bibliografia==
Line 113 ⟶ 159:
*L.D. Landau, E.M. Lifŝits - Meccanica quantistica, teoria non relativistica
*L.E. Picasso, Lezioni di Meccanica quantistica
==Voci correlate==
|