Ver el código de «Mecánica cuántica/Matriz densidad y evolución temporal»



=Ecuación de Schrödinger: evolución temporal=
¿Cuál es la dinámica? ¿Cómo cambia mi sistema con el tiempo?

'''Postulado 5:''' La evolución temporal del vector <math>|\alpha(t)\rangle </math> viene dada por la '''ecuación de Schrödinger'''

{{Caja|<math>i \hbar \frac{d}{dt} |\alpha(t)\rangle  = H |\alpha(t)\rangle</math>}}

donde <math>H</math> es el '''operador Hamiltoniano''' asociado a la energía del sistema (es hermítico, <math>H=H^\dagger</math>).

*La ecuación de Schrödinger es determinista. Si se conoce el estado en un instante <math>|\alpha(t_0)\rangle </math>, el estado queda completamente determinado en cualquier instante posterior <math>|\alpha(t)\rangle </math> (la indeterminación cuántica aparece al medir, no en la dinámica).  
*La ecuación de Schrödinger para los ''bras'' es

<math>-i \hbar \frac{d}{dt} \langle \alpha(t)| = \langle \alpha(t)|H,</math>

por lo que, considerando que el operador A puede depender del tiempo,

<math>\frac{\partial }{\partial t}A\ne 0,</math>

obtendremos una bellísima ecuación

<math>\begin{matrix}
i \hbar \frac{d}{dt} \langle A\rangle_\alpha
  &=& i \hbar \frac{d}{dt} \left[\langle \alpha|A|\alpha\rangle\right] \\
  &=& i \hbar \frac{d}{dt}\left[\langle \alpha|\right] A |\alpha\rangle  + i \hbar \langle \alpha|A \frac{d}{dt}\left[|\alpha\rangle\right]  + i \hbar \langle \alpha| \frac{d}{dl t}\left[A\right] |\alpha\rangle\\
  &=& i\hbar\left[\frac{-1}{i\hbar}\langle \alpha |H\right]A|\alpha\rangle + i\hbar\langle \alpha | A \left[\frac{1}{i\hbar}H | \alpha\rangle\right] + i \hbar \left\langle \frac{dA}{dt}\right\rangle _\alpha\\
  &=& -\langle \alpha |H A|\alpha\rangle + \langle \alpha | A H | \alpha\rangle + i \hbar \left\langle \frac{dA}{dt}\right\rangle _\alpha\\
  &=& \langle \alpha|\underbrace{(A\,H-H\,A)}_{[A,H]}|\alpha\rangle  + i \hbar \left\langle \frac{dA}{dt}\right\rangle _\alpha.
\end{matrix}</math>

En el último paso solo hemos usado la definición de suma (o resta) de operadores. Tenemos por tanto que

{{Caja|<math>\frac{d}{dt} \langle A\rangle _\alpha = \frac{1}{i\hbar} \langle [A,H]\rangle _\alpha+\left\langle \frac{\partial A}{\partial t}\right\rangle _\alpha</math>}}

Si el operador A no depende explícitamente del tiempo <math>A\ne A(t)</math>,

<math>\frac{d}{dt} \langle A\rangle _\alpha = \frac{1}{i\hbar} \langle [A,H]\rangle _\alpha.</math>

Es decir, la derivada temporal del valor esperado del operador ''A'' será, salvo constante, el conmutador <math>[A,H]</math>. Si A conmuta con H, <math>[A,H]=0</math>, entonces, necesariamente

<math>\langle A\rangle _\alpha = \text{cte} </math>.

Esto es formalmente idéntico a lo que ocurre en Mecánica Clásica, donde la derivada temporal de cualquier función dinámica ''A'' (los observables en dicha formulación, donde no hay valores esperados ya que su valor está siempre deterministamente concretado) viene dada por los corchetes de Poisson de ''A'' con la ''función Hamiltoniana''

<center><math>\dot A = \frac{d}{dt} A=\{A, H\}+\frac{\partial A}{\partial t}\quad \text{(en Mecánica Clásica)}.</math></center>


*<math>i \hbar \frac{d \rho}{dt} = [H,\rho(t)]</math>  
*<math>\langle H\rangle _\alpha = \text{cte}\Rightarrow \left(\frac{\partial H}{\partial t} = 0\Leftrightarrow \text{Sistema conservativo}\right)</math>.

=El operador evolución temporal=

¿Cómo evolucionan los estados propios de <math>H</math>?

<math>H|E\rangle  = E |E\rangle </math>

¿Cómo es la ecuación de Schödinger para un estado propio?

<math>i \hbar \frac{d}{dt}|E\rangle = H |E\rangle  =E|E\rangle </math>

<math>\Rightarrow |E(t)\rangle  = |E(0)\rangle  \underbrace{exp \left(-\frac{i}{\hbar} E (t-t_0) \right)}_{fase\,temporal}</math>

*La energía se repite.  
*La ecuación de Schrödinguer es lineal: sus soluciones pueden componerse linealmente (si <math>|\alpha_1\rangle </math> y <math>|\alpha_2\rangle </math> son soluciones <math>\Rightarrow</math> <math>a_1|\alpha_1\rangle  +a_2|\alpha_2\rangle </math> también es solución)  
*La evolución entre un sistema inicial y uno final <math>t</math> se puede describir mediante un operador lineal, el '''operador de evolución temporal''' <math>U(t,t_0)</math> tal que

<math>|\alpha(t)\rangle  = U(t,t_0) |\alpha(t_0)\rangle </math>

<math>U(t,t_0)</math> tiene las siguientes propiedades:
  
*<math>U(t_0,t_0)= \mathcal I\quad \text{(operador identidad)}</math>

Podemos obtener la forma explícita del operador sustituyendo <math>|\alpha(t)\rangle  = U(t,t_0) |\alpha(t_0)\rangle </math> en la ecuación de Schrödinguer 

<math>i \hbar \frac{d}{dt} {U(t,t_0)} |\alpha(t_0) = H U(t,t_0) |\alpha(t_0)\rangle </math> 

de donde obtenemos la igualdad de operadores

<math>\frac{d}{dt} U(t,t_0) = \frac{1}{i\hbar}H U(t,t_0)=-\frac{i}{\hbar}H U(t,t_0).</math>
 
Si <math>H</math> no depende de <math>t</math> (sistema conservativo), al igual que con las ecuaciones diferenciales de funciones, se tiene que

*<math>U(t,t_0) = e^{-\frac{i}{\hbar} H (t-t_0)}</math>

En general, el desarrollo en serie de Taylor de <math>e^A</math> es <math>e^A = \mathcal I + A + \frac{1}{2!} A^2 + \cdots</math> pero, en la base en la que la representación matricial del operador <math>A</math> es diagonal

<math>A=\begin{pmatrix}a_{11}&0\\0&a_{22}\end{pmatrix},\quad A^n\equiv A A \cdots A=\begin{pmatrix}a^n_{11}&0\\0&a^n_{22}\end{pmatrix}</math>

se tiene que

<math>e^A = \begin{pmatrix}1&0\\0&1\end{pmatrix}+\begin{pmatrix}a_{11}&0\\0&a_{22}\end{pmatrix}+\begin{pmatrix}\frac{a_{11}}{2!}&0\\0&\frac{a_{11}}{2!}\end{pmatrix} + \cdots= \begin{pmatrix}e^{a_{11}}&0\\0&e^{a_{22}}\end{pmatrix}.</math>

De manera más más compacta

<math>\left(e^A\right)_{ij} = e^{A_{ij}} =\begin{pmatrix}e^{a_{11}}&0\\0&e^{a_{22}}\end{pmatrix}.</math>
  
*<math>U^{-1}(t,t') = U(t',t)</math> ya que

<math>U(t,t') U(t',t) |\alpha(t)\rangle  = |\alpha(t)\rangle </math>  

Ahora, veremos como a primer orden de su desarrollo de Taylor, el operador evolución temporal es unitario (<math>U=U^{-1}</math>)

<math>U(t,t_0) = e^{-\frac{i}{\hbar} H (t-t_0)} \Rightarrow U(t+dt, t) \approx \mathcal I -\frac{i}{\hbar}  H dt</math>

<math>U^{-1}(t,t_0)=e^{\frac{i}{\hbar} H (t-t_0)} \Rightarrow U^{-1}(t+dt, t) \approx \mathcal I + \frac{i}{\hbar} H dt = \mathcal I + \frac{i}{\hbar} H^\dagger dt</math>

<math>U U^{-1} = \mathcal I + \mathcal O \left(dt^2\right).</math>

Seguimos tras esta última nota

<math>U(t+dt,t) = \mathcal I^\dagger + \frac{i}{\hbar} H^{-1} dt = \mathcal I + \frac{i}{\hbar} H dt</math>

<math>U(t+dt,t) = U^{-1}(t+dt,t)</math>

<math>\Rightarrow U^\dagger =U^{-1}\; (es\, unitario).</math>

*Cualquier tranformación de simetría viene descrita por un operador unitario   
<math>U|\alpha\rangle  \rightarrow \langle \alpha|\underbrace{U\, U^\dagger}_{\mathcal I}|\alpha\rangle.</math>

=Estados estacionarios y constantes del movimiento=
Un '''estado conservativo''' es aquel que no depende del tiempo
<math>H\neq H(t).</math>
En un estado conservativo los ''estados propios'' de <math>H</math> se denominan '''estados estacionarios'''.

<math> H |\alpha(t_0)\rangle  = E |\alpha(t_0)\rangle</math>

<math> |\alpha(t)\rangle  = e^{-\frac{i}{\hbar} E (t-t_0)} |\alpha(t_0)\rangle </math>

<math> H |\alpha(t)\rangle  = E |\alpha(t)\rangle. </math>

Si un observable <math>A</math> conmuta con <math>H</math> (se sobreentiende que nos referimos al operador hermítico asociado al observable <math>A</math>) y como habitualmente el observable no depende explícitamente del tiempo,

<math>\frac{d}{dt} \langle A\rangle _\alpha = 0 \Rightarrow \langle A\rangle _\alpha = \text{cte}.</math>

<math>A</math> se denomina entonces una '''constante del movimiento'''.

==Ejemplo==

Supongamos que nuestro sistema en un tiempo ''t=0'' se encuentra en el estado

<math>\mathbb H \ni |\alpha\rangle  = \frac{1}{\sqrt{2}} \left(|+\rangle  + i|-\rangle \right)</math>

y que el operador Hamiltoniano se encuentra definido por la siguiente combinación lineal de operadores proyección

<math>H = \hbar \omega \left(|+\rangle \langle +| - |-\rangle \langle +|\right).</math>

¿Cuál es <math>|\alpha(t)\rangle </math>?

Usando la base <math>\{|+\rangle, |-\rangle\}</math>, estos dos vectores son obviamente,

<math>|+\rangle=\begin{pmatrix}1\\0\end{pmatrix}</math>

<math>|-\rangle=\begin{pmatrix}0\\1\end{pmatrix}</math>

Expresado en dicha base, el Hamiltoniano toma la forma matricial

<math>\begin{align}
H &\doteq \hbar \omega \left[\begin{pmatrix}1\\0\end{pmatrix}\begin{pmatrix} 1&0 \end{pmatrix}- \begin{pmatrix} 0\\1 \end{pmatrix}\begin{pmatrix} 0&1\end{pmatrix}\right]\\
  &= \hbar \omega \left[\begin{pmatrix} 1 & 0\\ 0 & 0\end{pmatrix}-\begin{pmatrix} 0 & 0\\ 0 & 1\end{pmatrix}\right]\\
   &= \hbar \omega \begin{pmatrix} 1 & 0\\ 0 & -1\end{pmatrix}
\end{align}</math>

que es diagonal. Como vimos anteriormente, ya que <math>H\ne H(t)</math>

<math>U(t,0) = e^{-\frac{i}{\hbar} H t}</math>

y como demostramos, al ser la matriz que representa <math>H</math> diagonal en dicha base, la exponencial de <math>H</math> también es diagonal y tiene la forma

<math>U(t,0) = e^{-\frac{i}{\hbar} H t} \doteq \begin{pmatrix}e^{-i \omega t} & 0\\ 0  & e^{+i \omega t }\end{pmatrix}</math>

<math>\begin{align}
|\alpha(t)\rangle &= U(t,0)|\alpha(t_0)\rangle\\
     &\doteq \begin{pmatrix} e^{-i \omega t} &  0\\0 & e^{+i \omega t}\end{pmatrix}
              \frac{1}{\sqrt 2}\left(\begin{pmatrix} 1\\ 0\end{pmatrix}+i\begin{pmatrix} 0\\ 1\end{pmatrix}\right)\\
     &= \frac{1}{\sqrt 2} \begin{pmatrix} e^{-i \omega t} &  0\\0 & e^{+i \omega t}\end{pmatrix}
         \begin{pmatrix} 1\\ i\end{pmatrix}\\
     &= \frac{1}{\sqrt 2}\begin{pmatrix} e^{-i \omega t} \\ ie^{+i \omega t} \end{pmatrix}.
\end{align}</math>

=Reglas de cuantización=
¿Cómo construir los operadores que representan a los observables físicos?

El sistema físico más simple es una partícula escalar sometida a un potencial central.

Los observable físicos más evidentes son la posición <math>\vec r = (x,y,z)</math> y su momento <math>\vec p = (p_x, p_y, p_z)</math>.

'''Postulado 4:''' Si en un sistema físico las coordenadas son <math>x_1, \ldots, x_n</math> y sus momentos conjugados son <math>p_1, \ldots p_n</math>, entonces los operadores <math>X_i</math> y <math>P_i</math> que representan a dichos observables deben satisfacer las reglas de conmutación

<math>[X_i, X_j] =0;\qquad [P_i, P_j] =0;\qquad [X_i, P_j] =i\hbar \delta_{ij}\mathcal I</math>

¿Qué forma tiene un operador arbitrario?

Si el sistema tiene un observable cuya expresión clásica es <math>A(x_i,p_i,t)</math> entonces el operador correspondiente se obtiene sustituyendo de manera ''adecuada'' las variables <math>x_i</math> y <math>p_i</math> por los operadores <math>X_i</math> y <math>P_i</math> asociados.

=El operador Hamiltoniano=

¿Qué es el (operador) Hamiltoniano clásico? Realmente una función, la función Hamiltoniana.

==Formulación Lagrangiana==

Para cualquier sistema físico se puede definir una función que depende de las posiciones y de las velocidades tal que toda la física del sistema dependa de dicha función. Dicha función es la llamada función Lagrangiana y se define como <math>L= T-V</math>.

En cada estado la lagrangiana toma un valor.

Se define la '''acción''' como la siguiente integral de línea entre <math>x_1</math> y <math>x_2</math>

<math>S=\int_{x_1}^{x_2} dt L(x_i,\dot{x}_i).</math>

La naturaleza elige el camino con acción más pequeña ('''principio de mínima acción''').

<math>\Rightarrow</math> Ecuaciones de Euler-Lagrange

<math>\frac{d}{dt} \left(\frac{\partial L}{\partial \dot{x}_i}\right) - \frac{\partial L}{\partial x_i}=0</math>

Es equivalente a la formulación Newtoniana y no menos extraña.

Se define el momento conjugado a la variable <math>x_i</math> como

<math>p_i \equiv \frac{\partial L}{\partial \dot{x}_j}</math>

==Formulación de Hamilton==

<math>H=H(x_i,p_i,t) = \dot{x}_i p_i -L(x_i,\dot{x}_i, t)</math>

Principio de mínima acción <math>\Rightarrow</math>

<math>\dot{x}_i= \frac{\partial H}{\partial p_i}</math>

<math>\dot{p}_i= - \frac{\partial H}{\partial x_i}</math>

Normalmente se cumple que
<math>H=E_T=T+V = \frac{p^2}{2 m} + V(\vec{r})</math>

==Cuánticamente==

<math>H=\frac{P^2}{2m}+ V(X_i)</math>
donde <math>P=(P_1,P_2,P_3)</math> es un operador vectorial (3 operadores).

Se tiene que

<math>P^2= \sum_i P^2_i.</math>

Los '''paréntesis de Poisson''' se definen como

<math>\left\{A(x_i,p_j),B(x_i,p_j)\right\} \overset{\underset{\mathrm{def}}{}}{=} \sum \left[\frac{\partial A}{\partial x_i} \frac{\partial B}{\partial p_i} - \frac{\partial A}{\partial p_i} \frac{\partial B}{\partial x_i}\right]</math>

<math>\{x,p_x\}=1</math>

<math>[X,P]= i \hbar\mathcal I</math>

A los franceses les gusta mucho la asociación

<math> \{ , \} \rightarrow \frac{[\;,\;]}{i \hbar}.</math>

=Reglas de superselección=

Supongamos que existe un observable <math>Q</math> que ''conmuta'' con ''todos'' los observables <math>A_i</math>

<math>[Q,A_i]=0</math>

<math>\Rightarrow</math> Si simultáneamente tengo un estado propio de <math>Q</math> tras cualquier medida de otro observable, el estado continuará siendo propio de <math>Q</math> con el mismo valor propio.

'''Demostración''' (suponiendo que no son degenerados)

<math>|\alpha\rangle\text{ propio de Q}</math>

<math>Q|\alpha\rangle  = q |\alpha\rangle </math>

se mide <math>A</math>,

<math>|\alpha\rangle  \stackrel{a}{\rightarrow} |a\rangle </math>

con probabilidad <math>|\alpha_a|^2</math>

<math>Q|a\rangle  = Q \frac{P_a |\alpha\rangle }{\left|P_a |\alpha\rangle \right|}</math>

en la base de autoestados de <math>A</math>, <math>Q</math> es diagonal y <math>P_a</math> también

<math>\frac{P_a}{|P_a|} = Q|\alpha\rangle  = q|a\rangle \; (?)\;\bullet</math>

Se dice que <math>Q</math> es un '''operador de super-selección''', y los estados "físicos" tendrán siempre un valor de <math>Q</math> bien definido.

Es algo que no me permite mezcla cuántica, combinación lineal, con vectores con distintos valores de q. (Viven en espacios de Hilbert distintos (?)).

=Imagen de Heisenberg=
Lo que hemos visto hasta ahora se llama ''imagen de Schrödinger''.

<math>\langle A\rangle _\alpha = \langle \alpha|A|\alpha\rangle  = \langle \alpha_0|U^\dagger A|\alpha_0\rangle </math>

(Uno construye una metodología distinta pero de forma que los autovalores evolucionen de la misma forma (?)).