1.

Los postulados de la mecnica cuntica

Aqu resumen de los postulados y (en lo posible) de su historia. Buscar estado del arte.

1.1. Primer postulado: Definicin de estado cuntico

Para un tiempo dado to , el estado de un sistema fsico queda definido especificando un ket de estado
| (to )i el cual pertenece a un espacio vectorial complejo denominado el espacio de estados .
El hecho fundamental y fsicamente necesario de que al espacio se le asigne un producto interior
lleva a la denominacin del Espacio de Hilbert. La existencia de un producto interior nos permite
definir la propiedad de ortogonalidad entre vectores.
Dado que es un espacio vectorial implica un principio de superposicin, luego:
| i = a | i + b | i
tambien es un estado. Este principio de superposicin tiene consecuencias fsicas importantes las
cuales veremos con ms detalle mas adelante.

Segundo postulado: Definicin de observables

Toda cantidad medible A es descrita por un operador A en elementos de , as- A es un observable.
Estados Vectores
Observables Operadores
1

Tercer postulado: Medicin de observables

Los nicos resultados posibles de la medida de una cantidad fsica A es uno de los valores propios

de su correspondiente observable A.
Por ejemplo:
Spn S

1 0
h
h

2
2
0 1

Los operadores deben cumplir las siguientes condiciones:

1. A debe ser Hermtico para que sus valores propios sean reales.
2. Si el espectro de A es discreto al medir A, se obtendr un conjunto discreto de resultados
diferentes, entonces se dice que A est cuantizado.
Es importante resaltar que este postulado nos da el espectro completo de valores que se obtienen
al hacer una medicin sobre un estado cuntico; no obstante no nos dice qu valor especfico se
obtendr cada vez que se realice la medicin.

Descomposicin espectral

De acuerdo con el anlisis vectorial, los estados propios de operadores (o conjuntos de operadores)
correspondientes a observables fsicos, conforman bases plausibles sobre las cuales podemos
expandir cualquier estado genrico de un sistema cuntico dado. El hecho de tener la libertad
de cambiar de base, o en breve, la libertad de representacin est relacionado con los diferentes
procesos de medicin que se pueden realizar sobre un mismo sistema. Dependiendo de la

cardinalidad del conjunto de valores propios tendremos representaciones discretas o continuas de

un mismo cuntico; como se presenta a continuacin.

Espectro discreto no degenerado

Supongamos que el espectro de valores propios de A es enteramente discreto y no degenerado
entonces para cada valor propio existe un nico vector propio | an i tal que:
A | an i = an | an i

(1)

dado que | an i .
El primer postulado nos dice que cualquier estado | i expandido por | an i tambien pertenece a :
| i = cn | an i

(2)

Es decir, un sistema fsico puede tambien encontrarse en un estado de superposicin.

Espectro continuo no-degenerado.

Para este caso tenemos una base continua de estados | a i donde I R tal que:
A | a i = a | a i
| i =

c( ) | a id

Cuarto postulado: Influencia de la medicin

klasefng
3

(3)
(4)

Sistemas con espectro discreto no-degenrado.

Si la medida de la cantidad fsica A sobre el sistema cuntico en el estado |i da como resultado

an el estado del sistema habr cambiado de manera inevitable del estado |i al estado |an i con su
respectivo valor propio. A este proceso se le llama reduccin de estado.
Toda medida sobre un sistema cuntico conlleva una perturbacin intrnseca que no puede ser
reducida y que est dirctamente relacionada con el caracter fundamental de los cuantos: Medir
A hace que el sistema salte de |i a alguno de los estados propios |an i de A. Nunca se sabr con
certeza a cual saltar pero si se puede calcular la probabilidad de salto de uno a otro.

Sistemas con espectro continuo no-degenerado.

Si
|i =

c( ) |a i d

(5)

donde

IR
con
A |a i = a |a i
Si como resultado de la medicin se obtiene que a o a a o+ entonces el sistema se encuentra
en la superposicin:

 Z
 f inal =

a o+

c( ) |a i d

(6)

1.2. Herramientas matemticas

kjnadfg

Espacio de los Bra o espacio dual.

Para todo espacio vectorial se puede construir una base dual siempre y cuando el espacio est
dotado de un producto interno. A este espacio se le conoce como espacio de Hilbert.
La notacin para los vectores en este espacio dual viene dada de la siguiente forma:

Bra h |
Ket | i
Por ejemplo:
| i = (i, 2i, 2 4i)

h | =

Propiedades de los vectores duales.

{asmlfgas

i
2i

2 + 4i

Producto interno.
Sean dos vectores | i y | i que pertenecen al espacio de Hilbert, por definicin:

h | i h | | i

(7)

h | i = h | i

(8)

h | i 0

(9)

h | i = h | i

(10)

h | i R

(11)

Dos vectores | i y | i del espacio dual son ortogonales si:

h | i = 0

(12)

Un ket normalizado es un vector para el cual:

1
| i
| i = p
h | i
donde

(13)

h | i es la norma de | i.

Todo producto interno define una norma, asi para un vector | i normalizado tenemos que:

h | i = 1
6

(14)

Multiplicacin de operadores.
Y y Z y dos vectores | i, | i del espacio dual se cumplirn las siguientes
Para tres operadores X,
propiedades:

X Y

6=

Y X

(15)

Y Z)

X(

(X Y )Z = X Y Z

(16)

Y | i)
X(

(X Y ) | i = X Y | i

(17)

Y
(h | X)

h | (X Y ) = h | X Y

(18)

X | i h | X

(X Y )

Y X

(19)

(20)

X Y | i h |Y X

(21)

A | i = (| i h |) | i h | i | i

(22)

h | A = h | (| i h |) h | i h |

(23)

Producto exterior
Sea A | i h | un operador tal que:

Al operador A | i h | se le denomina operador proyeccin en la base | i de tal forma que:

7

(| i h |) | i h | i | i

(24)

GRAFICO
PAG 16
TAREA:
Demuestre que si A | i h | A | i h |.

Axioma asociativo
Sea X un operador y | i, | i dos vectores de modo que:

i) h | X | i
(h |)(X | i) = (h | X)(|
h | (X | i) = (h | X ) | i = (h | X | i)

(25)
(26)

Teorema de ortogonalidad

En lo sucesivo utilizaremos el siguiente teorema que establece la ortogonalidad de los estados

propios de operadores hermticos (ver Sakurai pag 17 - 18).
Un operador hermtico definido por:
A = A

(27)

tiene valores propios reales, siendo los estados propios correspondientes a valores propios
diferentes ortogonales entre si, es decir:
A |ai = a |ai

ha| A = a ha| = a ha| = a ha|

1 i= j

hai | a j i = i j =

0 i 6= j

(28)

a = a
(29)

Todo operador hermtico puede representar un observable (una cantidad medible) ya que sus valores
n
o
propios son reales. En lo concerniente al operador A el conjunto |ai ii=1,..,n constituye una base
del espacio de estados para los cuales A es medido de tal manera que cualquier estado | i puede
ser escrito como:

|ai = ci |ai i
i

(30)

Donde ci son numeros complejos.

Por ejemplo:
| i = c+ |+ i + c | i
Determinemos ahora la forma como se definen los coeficientes ci , para ello multipliquemos por la


izquierda el bra j  al ket | i definido por (30):


h j | i = j  (ci |i i)
i



= j  (ci |i i)
i

= ci h j | i i
i

= ci i j
i

h j | i = c j

(31)

Asi podemos escribir:

| i = hi | i |i i

(32)

El clculo para el caso continuo de los coeficientes c( ) en la expansin (5) |i =

I c( ) |a i d

requiere el uso de deltas de Dirac y se deja como ejercicio. En tal caso tenemos:
c( ) = ha |i

(33)

por lo tanto podemos escribir:

|i =

1.2.1.

ha |i |a i d

(34)

Relacin de completez

Reescribamos la ecuacin (30) de la siguiente forma:

| i = |i i hi | i
i

= ( |i i hi |) | i
i

= | i
de lo anterior se deduce que
|i i hi | 1
i

10

(35)

Se dice que el conjunto de estados

|ai ii=1,..,n

es completo si cumple la ecuacin anterior, ya

que esto implica que todo estado | i del espacio de Hilbert del sistema es representable como
o
n
superposicin de los estados |ai ii=1,..,n . A su vez la ecuacin anterior es denominada la relacin
o
n
de completez para el conjunto |ai ii=1,..,n .
Para el caso continuo la relacin de completez asociadas al conjunto de estados |a i est dada por
|i =

|a i ha | d 1

(36)

1.3. Quinto postulado: Probabilidades

El quinto postulado establece la relacin entre el principio de superposicin y la medicin de
observables.

1.3.1.

Sistemas con espectro discreto no degenerado

Los coeficientes ci en la expansin |i = ci |ai i deben ser interpretados como amplitudes de

i

probabilidad de salto del estado |i a cada uno de los estados |ai i , como resultado del proceso de
previa la normalizacin de |i:
medir el observable A.
h |i = 1

(37)

as, la probabilidad P|i|ai i (ai ) de obtener el valor propio no degenerado ai del observable A est
dado por
P|i|ai i (ai ) = |ci |2 = |hai | i|2
donde |ai i es el vector propio normalizado de A con valor propio ai .
11

La condicin de normalizacin (37) establece que la suma total de las probabilidades debe ser igual
a la unidad. Sutituyendo la expansin |i = ci |ai i y su correspondiente dual h| = ci hai | en
i

(37) obtenemos


h |i = cj ci a j  ai i = 1
j,i


aplicando la ortogonalidad de los estados |ai i representada en la delta de Kronecker a j  ai i = i j
conduce a la expresin

cj c j = 1
j

(38)

la cual establece precisamente la normalizacin de la suma de probabilidades.

Es importante enfatizar que la normalizacin del estado |i conlleva la interpretacin probabilstica
de la mecnica cuntica; en ese sentido tanto |i como ei |i con un ngulo arbitrario
representan el mismo estado.

1.3.2.

Sistemas con espectro continuo no degenerado

Similarmente para el caso continuo las funciones c( ) = ha |i en la expansin (34) |i =

I c( ) |a i d

deben ser interpretadas como densidades de amplitud de probabilidad, de tal manera

que la probabilidad dP de obtener un resultado a con a < a < a +d est dada por
dP = |ha |i|2 d

(39)

donde |a i es el correspondiente vector propio de A con valor propio a .

Similarmente la condicin de normalizacin h |i = 1conduce, utilizando las deltas de Dirac al
siguiente resultado (tarea):
h |i =

|ha |i|2 d = 1
12

(40)

Tarea: complementar los postulados cuarto y quinto para el caso de espectros degenerados
(discretos y continuos). Ver Cohen-Tannoudji cap 3 214 - 221.

1.4. Sexto postulado: Evolucin temporal y la ecuacin de Schrdinger

La pregunta bsica que responde el sexto postulado de la mecnica cuntica es Como cambia un
ket de estado en el tiempo?
t0 t
| ,t0 i | ,ti
El tiempo es un parmetro continuo tanto en la teora cuntica de sistemas no relativistas como en
la relativista; por consiguiente existe una secuencia continua de estados desde el tiempo inicial t0
hasta el tiempo t, y podemos definir el lmite
lm | ,ti = | ,t0 i

tt0

. La pregunta por el estado del sistema en cada instante de tiempo est, por lo tanto,
conceptualmente fundamentada.

1.4.1.

Operador evolucin

En principio se puede construir un operador que haga evolucionar | ,t0 i en | ,ti para cada instante
de tiempo t. Llamaremos a este operador, el operador evolucin del sistema:
U (t,t0 ) | ,t0 i = | ,ti
13

(41)

En la definicin anterior U (t,t0 ) debe entenderse como el operador que evoluciona el estado del
sistema de t0 a t. El operador evolucin debe cumplir las siguientes propiedades:

1. Unitariedad: Debe preservar la suma unitaria de las probabilidades.

2. Composicin: La evolucin de estados entre dos tiempos dados se puede descomponer en
evoluciones sucesivas incluyendo tiempos intemedios.
3. El operador evolucin debe coincidir con el operador unidad en el lmite para t0 = t.
4. Finalmente, debe ser expandible en serie de Taylor y tener componentes diferentes de cero a
primer orden (Por qu?).

(42)

La propiedad 1. de unitariedad se expresa matemticamente estableciendo la igualdad a la unidad

de la norma al cuadrado del estado del sistema para todo tiempo t :
h ,t0 | ,t0 i = h ,t | ,ti = 1

(43)

El bra correspondiente a la definicin en (41) est dado por

h ,t0 | U (t,t0 ) = h ,t|
Al sustituir las definiciones (41) y (44) en el producto escalar (43) obtenemos
h ,t | ,ti = h ,t0 | U (t,t0 ) U (t,t0 ) | ,t0 i = 1 = h ,t0 | ,t0 i
14

(44)

lo cual nos conduce directamente a la condicin de unitariedad para el operador evolucin:

U (t,t0 ) U (t,t0 ) = 1

(45)

(y la condicin contraria?)Tal y como hemos obtenido la ecuacin anterior, vemos que esta es
condicin necesaria y suficiente para establecer la conservacin de la suma de probabilidades; y as
deber entenderse de aqu en adelante.
Si t1 es un punto intermedio entre t0 y t2 , es decir t0 t1 t2 entonces la propiedad 2. de
composicin implica que U (t2 ,t0 ) siempre puede ser representado como el producto sucesivo de
operadores
U (t2 ,t0 ) = U (t2 ,t1 ) U (t1 ,t0 )

(46)

lo cual es equivalente a decir que la evolucon del sistema de t0 a t2 se puede interpretar como la
evolucin de t0 a t1 seguida de la evolucin de t1 a t2 . Dado que el sentido de aplicacin de U a
los kets es hacia la derecha; el orden de accin de los operadores en el lado derecho de la ecuacin
(46) es el apropiado.
Dado que t es un parmetro continuo, y haciendo uso de la propiedad de composicin, podemos
establecer propiedades para las composiciones infinitesimales de U (t,t0 ) con el objeto de hallar una
ecuacin diferencial. Esta es la denominada ecuacin de Schrdinger para el operador evolucin,
la cual conduce a la correspondiente ecuacin de Schrdinger para las funciones de onda. Las dos
ltimas propiedades definidas para U (t,t0 ) en (42) apuntan hacia el objetivo mencionado.
La propiedad 3. se puede expresar por el lmite
lm U (t0 + t,t0 ) = 1

t0

15

(47)

adicionalmente la propiedad 4 nos dice que

U (t0 + t,t0 ) = 1 + Ft
con F =
6 0. En la siguiente seccin obtendremos la mencionada ecuacin de Schrdinger para el
operador evolucin U (t,t0 ), empleando sus cuatro propiedades bsicas. El paso hacia la ecuacin
de Schrdinger para los kets es, como lo veremos, inmediato.

1.4.2.

La Ecuacin de Schrdinger

Un ansatz apropiado para operador evolucin infinitesimal U (t0 + t,t0 ) que cumpla las
propiedades 1. a 4. descritas en la seccin anterior est dado por

U (t0 + t,t0 ) = 1 it

(48)

debe ser un operador hermtico, es decir

=
, con lo cual U = 1 + i
t = 1 + it

donde
y por lo tanto
U U =









t 1 it

+ O t 2
1 + i
= 1 + it

1
as escogido, por ser
es decir U definido en (48) es unitario a primer orden en t. El operador
hermtico, puede reresentar un observable fsico.
Tarea: verificar que tambien se cumple a primer orden la propiedad de composicin.
Es claro que el operador evolucin es adimensional; los estados mismos en el espacio de Hilbert
de un sistema cuntico tambien son adimensionales. En tal caso la definicin (48) nos indica que
16

 es un operador hermtico con dimensiones de frecuencia. Podemos llamar a ,

por lo tanto,

el operador frecuencia. Recurriendo (heursticamente) a la relacin de Planck para la energa de

tendr dimensiones de
los cuantos = h vemos que un observable H definido como H = h
energa. Este observable no puede ser otro que el Hamiltoniano. En tal sentido se puede decir, por
su relacin directa con el operador evolucin, que el Hamiltoniano es el observable que genera la
evolucin temporal infinitesimal del sistema cuntico. El razonamiento dimensional anterior, no es
ni mucho menos una demostracin rigurosa de este hecho (buscar Ref); no obstante lo daremos por
sentado. En tal caso podemos reescribir la ecuacin (48) como
 
H

U (t0 + t,t0 ) = 1 i
t
h

(49)

donde H es le operador hamiltoniano del sistema.

La ecuacin de Schrdinger para U (t,t0 ) se obtiene al sustituir (49) en la siguiente composicin de
operadores evolucin, donde hacemos avanzar al sistema en un elemento infinitesimal de tiempo
t:
U (t + t,t0 ) = U (t + t,t) U (t,t0 )

  
H
= 1 i
t U (t,t0 )
h
o equivalentemente


ih U (t + t,t0 ) U (t,t0 ) = H U (t,t0 ) t
Al hacer lmite cuando t tiende a cero en el lado izquerdo no tenemos otra cosa que la derivada
temporal de U :
ih lm

t0



U (t + t,t0 ) U (t,t0 )
t

17

= ih

U (t,t0 ) = H U (t,t0 )
t

(50)

donde hemos escrito una derivada parcial, dando la posibilidad para U de depender de otros
parmetros. Llegamos as a la ecuacin buscada. La correspondiente ecuacin de Schrdinger
para el estado | ,ti se obtiene aplicando el estado | ,t0 i a ambos lados de (50) y sabiendo que
U (t,t0 ) | ,t0 i = | ,ti :



U (t,t0 ) | ,t0 i = H U (t,t0 ) | ,t0 i
ih
t


dado que | ,t0 i no depende de t podemos igualmente escribir

ih





U (t,t0 ) | ,t0 i = H U (t,t0 ) | ,t0 i
t

lo cual es equivalente a
ih

| ,ti = H | ,ti
t

(51)

donde hemos llegado finalmente a la ecuacin de Schrdinger para el estado | ,ti.

2. Imagen de Schrdinger
Espectros continuos, posicin y momentum , funcin de onda, ecuacin de Schrodinder para
las funciones de onda (representacin en el espacio de las posiciones)
Funciones de onda en el espacio de momentum
Relaciones cannicas de conmutacin Ecuacin de Schrdinger para funciones de onda
Imagen de Schrdinger.

18

Espectros continuos
Observables como x o p tienen un espectro continuo, es decir:

x | x i = x | x i con x R

genericamente tenemos:

p | p i = p | p i con p R

(52)

| i = | i

(53)

la regla de ortogonalidad hai | a j i = i j para espectros discretos debe ser representada por:
h | i = ( )
donde es la funcin delta de Dirac definida como:

si x = x

(x x) =

0 si x 6= x
adems:

Rb
a

Rb
a

(x x )dx = 0 en otro caso

Rb

(x x ) f (x )dx = f (x ) si x (a, b)

dx

(x x ) f (x )dx = f (x)

Z b
d
a

(x x )dx = 1 si x (a, b)

Revisar Arfken para otras propiedades de la delta de Dirac.

19

(54)

Relacin de completez:

| aiihai |
i

d | ih |= 1

(55)

Representacin de un estado cualquiera:

1 | i =

d h | i | i

(56)

La suma total de las probabilidades es igual a 1:

h | 1 | i = 1
Z

d h | ih | i =


2
d h | i = 1

(57)

de tal manera que d |h | i|2 es la probabilidad de que al medir se obtenga un resultado 0

donde < 0 < + d .

Representacin de un producto escalar

h | i = h | 1 | i
= h | ( | ai ihai |) | i
i

= h | ai ihai | i
i

donde h | ai i y hai | i son nmeros complejos.

Similarmente:
h | i = h | 1 | i
Z

= h | (
20

d | ih |) | i

d h | ih | i

(58)

donde, al igual que en el caso anterior, h | i y h | i son nmeros complejos.

Representacin en componentes de un operador en sus estados propios

| a j i = a j i j
hai | A
similarmente:
h | | i = ( )

(59)

Operadores posicin y momentum, funciones de onda

Para el caso en que x tenemos en (53):
x | x i = x | x i
hx | x i = (x x )
y (56) toma la forma:
| i =

dx hx | i | x i

(60)

definimos hx | i como la funcin de onda (x ):

hx | i (x )
Podemos hablar del estado | i o de la funcin de onda (x ) que lo representa (mecnica
ondulatoria).
21

Originalmente, la ecuacin de Schrdinger fue propuesta para (x ), la cual es una funcin de

cuadrado integrable donde el producto escalar es igual a 1
h | i = 1
Z

h | (
Z

dx | x ihx |) | i = 1

ax (x ) (x ) = 1
Z


2
dx  (x ) = 1

(61)

Representacin del producto escalar:

h | i = h | 1 | i
h | i =

dx h | x ihx | i
dx (x ) (x )

(62)

Representacin de las componentes de un operador

h | B | i = h | 1 B 1 | i
h | B | i =

h | B | i =

dx h | x ihx | B | x ihx | i

dx

dx dx (x ) (x )hx | B | x i

22

(63)

si B = x2 , entonces:
h | x | i =
2

h | x | i =
2

dx dx (x ) (x )hx | x2 | x i
dx dx (x ) (x )x2 (x x )

h | x2 | i =

dx (x ) (x )x2

h | f (x)
| i =

dx (x ) (x ) f (x )

(64)

o en general:

Dado que x | x i = x | xi, se dice que la multiplicacin por x es la representacin de x en las

coordenadas x.

Relaciones de conmutacin para x,

p
B
como:
Definicin: Se define el conmutador cuntico entre dos operadores A,
B]
B B A

A
[A,
En 1925, Heinsenberg propuso las siguientes relaciones de conmutacin para los operadores xi y
pi :
[xi , x j ] = 0, [ pi , p j ] = 0, [xi , p j ] = ihi j

(65)

Con las relaciones anteriores Heisenberg fu capaz de deducir el Principio de Incertidumbre:

xp

h
2

adems logr (en conjunto con Born y Jordan) una formulacin independiente de la Mecnica
Cuntica.
23

Notemos la similitud entre (65) y las relaciones clasicas:

[xi , x j ] = 0, [ pi , p j ] = 0, [xi , p j ] = i j
con corchetes de Poisson.
Notese que + x como operador se comporta muysimilar a p:

[x,

] f (x) = (x x) f (x)
x
x x

= x

f
f (x) f (x) x
x
x

= f (x)
[

, x] f (x) = f (x)
x

de modo que:
[

, x] = 1
x

= ih[
[ih

, x j ] = ihi j
xi

, x j ] = ihi j
xi

[x j , ih

] = ihi j
xi

donde:
ih

= p
xi

(66)

Se dice que ih xi es la representacin de p en las coordenadas x.

En realidad p puede ser representado de muchas maneras, por ejemplo, la representacin de p en
las cooerdenadas de p es multiplicar por p.
24

De esta manera el operador Hamiltoniano para una partcula puede ser escrito en la representacin
de las x como:
p2
H =
+V (x)

2m
h 2 2
H =
+V (x)
2m x2

(67)

En tal caso la ecuacin de Schrdinger se puede escribir de la siguiente manera:

hx | ih

d
| ,ti = hx | H | ,ti
dt

Este paso se puede demostrar ms rigurosamente (Ver Sakurai .Operador traslacin pags 46-49 y
54).
ih

h 2 2

hx | ,ti = (
+V (x))hx | ,ti
t
2m x2

h 2 2

(x,t) +V (x) (x,t)

ih (x,t) =
t
2m x2
Esta es la ecuacin propuesta por Schrdinger.

Imagen de Schrdinger

Los kets de estado evolucionan en el tiempo.

El operador evolucin actua sobre los kets de estado.
Los operadores que representan observables no evolucionan en el tiempo.

25

(68)

3. Imagen de Heisenberg
Compatibilidad e incompatibilidad de observables, degeneracin, relaciones de incompatibilidad.
Imagen de Heisemberg.
Ecuacin de movimiento de Heisemberg.
Sexto postulado de la Mecnica Cuantica (Imagen de Heisenberg).
Tarea: Investigar sobre la Imagen de Dirac o Imagen de Interaccin.

y B se definen formalmente como compatibles si el conmutador entre los

Dos observables A
operadores se anula:
B]
B B
=0
A
A
[A,
B]
y B son incompatibles.
6= 0 se dice que A
Si [A,
Ejemplo:
[S 1 , S 2 ] = S 3
En general:
[S i , S j ] = ii jk S k
donde i jk es el simbolo de Levi-Civita el cual se define como:

+1 si (i, j, k) es una permutacin par de (1, 2, 3)

i jk =
1 si (i, j, k) es una permutacin impar de (1, 2, 3)

0
si dos ndices son iguales
26

(69)

Tarea:
Demostrar que:
[S i , S 2 ] = 0

i = x, y, z

Si existen dos o ms eigenkets (kets propios) que tienen el mismo valor propio a del observable
se dice que este valor propio es degenerado. En tal caso la notacin | ai para el ket de estado
A,
es incompatible, ya que esta representara infinitas probabilidades de superposicin de los estados
propios degenerados. Afortunadamente, en aplicaciones practicas de la Mecnica Cuntica si B es
sus valores propios sirven para etiquetar los estados propios
otro obsevable que conmuta con A,
degenerados.
Teorema II
y B conmutan y adems | i es estado propio de A,
entonces B | i es estado propio de B con
Si A
el mismo valor propio que el de | i.

Demostracin:

(Cohen-Tannoudji pag 138).

entonces:
Supongamos que | i es un vector propio de A,
| i = a | i
A
aplicando B a ambos lados tenemos:
| i = aB | i
B A
27

 =A
B es decr
pero, B A

B | i = aB | i
A
de modo que si definimos
| i = B | i
podemos escribr
| i = a | i
A
q.e.d.
Analisis:
Tenemos dos casos posibles:

i Si a es no degenerado quiere decir por definicin que no pueden existir dos estados distintos
| i representan el mismo estado o lo que
con el mismo valor propio a, es decir, B | i y A
es igual, solo los diferencia una fase:
| i = e i | i
B
ii Si a es degenerado B | i y | i pueden representar dos estados diferentes de tal manera
que estos pertenecen mas bien a un subespacio de llamado a donde los vectores tienen el
mismo valor propio:

Figura 1

28

En ambos casos la accin de B no cambia el valor propio de ningn estado en a . En este caso se

dice que a es globalmente invariante (o estable) bajo la accin de B.

Lo que hemos demostrado es lo siguiente:
y B conmutan, todo subespacio expandido por estados de A
es globalmente
Si dos operadores A
invariante bajo la accin de B y viceversa.
Teorema III
con distintos
y B conmutan y si | 1 i y | 2 i son dos vectores propios de A
Si dos observables A
valores propios, el elemento matricial h1 | B | 2 i es igual a cero.

Demostracin:
y B conmutan, tenemos:
Dado que A
B]
=0
[A,
B]
| 2 i = 0
h1 | [A,
B B A)
| 2 i = 0
h1 | (A
B
| 2 i = 0
| 2 i h1 | B A
h1 | A
es hermtico,por lo tanto.
Pero A
| 2 i h1 | B | 2 ia2 = 0
a1 h1 | B
(a1 a2 )h1 | B | 2 i = 0
Dado que a1 6= a2 por hiptesis, entonces:
h1 | B | 2 i = 0
29

Teorema IV (Importantsimo!)
y B conmutan, se puede construir una base ortonormal del espacio de estados
Si dos observables A
y B,
tanto si el espectro es degenerado como no-degenerado. En
con vectores propios comunes a A
y B son observables compatibles.
este sentido se dice que A

Demostremos que | ai i son estados propios de B:

es no-degenerado, podemos utilizar el teorema III para escribir:

Si el espacio de A
hai | B | a j i = i j hai | B | a j i
| ai i = ai | ai i y A
| a j i = a j | a j i donde ai 6= a j para i 6= j. En tal caso podemos representar
Con, A
B en los estados propios | ai i aplicando la relacin de completez

| aiihai |= 1
i

es decr
| a j iha j |)
1 B 1 = ( | ai ihai |)B(
j

| a j i | ai iha j |
B = hai | B
i, j

B = i jhai | B | a j i | ai iha j |
i, j

B = hai | B | ai i | ai ihai |
i

escrito en la anterior forma, sobre el vector | al i:

Ahora, hagamos actuar el operador B,
B | al i = hai | B | ai i | ai ihai | al i
i

30

(70)

B | al i = hai | B | ai i | ai iil
i

| al i = hal | B | al i | al i
B
En conclusin| al i es un estado propio de B con valor propio hal | B | al i. Asi vemos pues que | al i
como de B:

es vector propio simultaneamente tanto de A

| al i = al | al i,
A

B | al i = hal | B | al i | al i

yB
por:
Denotemos un ket propio sumultaneo de los operadores A
| al i | bl i | al , bl i
donde denota el producto tensorial, tal que:

| al , bl i = al | al , bl i

(71)

B | al , bl i = bl | al , bl i

Para el caso degenerado puede haber varios (incluso infinitos) bl con un mismo al :
| al , b1 i, | al , b2 i, | al , b3 i, . . . , | al , bm i con m representando la dimensin de la degeneracin.

Observables incompatibles
y B se denominan incompatibles si [A,
B]
6= 0 . Los observables incompatibles
Dos observables A
no tienen un conjunto de kets propios simultaneos, si as fuese entonces
B | al , bl i = al bl | al , bl i
A
| al , bl i = al bl | al , bl i
B A
31

 B | al , bl i = B A
| al , bl i
A

B B
| al , bl i = 0
A)
(A
B B A)
= 0 lo cual est en contradiccin con la hiptesis.
(A

3.1. Relaciones de incertidumbre

como:
Definimos el operador A
A
hAi
1
A

(72)

el valor esperado de A
para algun estado | i dado.
con hAi
2:
Se define la dispersin de la cantidad A como el valor esperado de (A)
2 i = h(A
hAi
1)(
A
hAi
1)i

h(A)
2 i = hA
2 2hAi
A
+ hAi
2 1i

h(A)
2 i = hA
2 i 2hAi
2 + hAi
2
h(A)
2 i = hA
2 i hAi
2
h(A)
tambin se habla de la varianza o de la desviacin media cuadrtica.
tenemos para hAi:

Si | i =| ai i es un estado propio en A,
| ai i = ai | ai i
A
= hai | A
| ai i
hAi
= ai hai | ai i
hAi
32

(73)

 = ai
hAi
2 i tenemos:
Similarmente para hA
2 i = hai | ai ia2i
hA
Por lo tanto en este caso la dispersin resulta ser idnticamente nula:
2 i = a2i a2i
h(A)
2i = 0
h(A)
Habra una incertidumbre
Precisamente la dispersin es 6= 0 si el estado no es estado propio de A.
si el sistema se encuentra en un estado no propio de este operador.
en el resultado de medir A
Definimos:
q
2i
A = h(A)

(74)

Por ejemplo:
h 2
h(Sx ) i|Sz +i =
4
q
h
Sx = h(Sx )2 i =
2
2

hSx i = 0

3.1.1.

Relacin general de incertidumbre

Para dos observables cualesquiera se puede desmostrar

B]i
2 ih(B)
|2
2 i 1 | h[A,
h(A)
4
q
q
2

B]i
2 i 1 | h[A,
|

h(A) i h(B)
2
33

(75)

Problema:
LLenar los pasos de la demostracin de la ec. (75), en Sakurai. Adems probar la relacin de
= S x , B = S y y | i =| sz +i
incertidumbre para: A
Interpretar fisicamente el resultado.

Imagen de Heisenberg
En la imagen de Heisenberg de la mecnica cuantica se cumplen las siguientes caractersticas:

Los operadores que representan observables evolucionan en el tiempo

Los kets de estado se mantienen fijos (no evolucionan en el tiempo)
El operador evoluci3 n acto a sobre los operadores de los observables

3.1.2.

Equivalencia entre la imagen de Schrdinger y de Heisenberg

Recordemos que el producto escalar h | i es invariante bajo transformaciones unitarias, en

especial bajo la transformacin de evolucin temporal. La evolucin temporal acta de igual
manera sobre todos los estados:
| i U | i
| i U | i
34

h | h | U +
h | i h | U +U | i = h | i
Sin embargo cuando hay observables de por medio, tenemos:
U | i)
h | X | it (h | U + )X(
aplicando la asociatividad, podemos escribir:
h | X | it = h | U + X U | i
entonces
Si mantenemos h | y | i intactos y en contraposicin cambiamos X por U + X U,
h | X | it es independiente de la imagen de evolucin, ya sea de Schrdinger o Heisenberg.
Para la imagen de Schrdinger:
| i U | i
| i U | i
X

f i jo

Para la imagen de Heisenberg:

X U + X U
| i, | i f i jos
La imagen de Heisenberg de la mecnica cuntica es ms cercana a la mecnica clasica ya que los
observables evolucionan en el tiempo.

35

3.2. Soluciones a la ecuacin de Schrdinger para el operador evolucin

Bajo ciertas condiciones U(t,t

0 ) puede representarse como:
iH

(tt0 )

U(t,t
0 ) = e h

(76)

Problema:

Explicar cuales son las condiciones para que el operador U(t,t

0 ) pueda representarse a traves de la
ec. (87) y para el caso de que no se cumplan.

Ecuacin de movimiento de Heisenberg

Observaciones:

La deduccin que haremos de la ecuacin de movimiento de Heisenberg es independiente de

la escogencia de la ec. (87).
Tomaremosmos t0 = 0.

(H) (t) de Heisenberg asociado al observable A como:

Definamos el operador A
(H) (t) U + A
(S)U
A
(S) el operador corrspondiente en la imagen de Schrdinger:
Con A
(S) = A
(H) (t = 0)
A

36

(77)

A su vez definimos el ket de estado de Heisenberg como:

| ,tiH | ,t0 iS

si t0 = 0

(78)

Es decir, el ket de estado no evoluciona.

es el mismo para los dos imagenes y para todo tiempo t:
El valor esperado hAi
=S h ,t | A
(S) | ,tiS
hAi
(S)U | ,tiS
=S h ,t | U + A
hAi
=S h ,t | A
(H) | ,tiS
hAi
(H) (t) derivamos la ec. (88) con respecto al tiempo:
Para hallar la ecuacin de movimiento de A
d (H)
d
(S)U(t)]

A (t) = [U + (t)A
dt
dt
d (H)
d
(S) [ d U(t)]
(S)U(t)
+ U + (t)A

A (t) = [ U + (t)]A
dt
dt
dt

Utilizando la ecuacin de Schrdinger (?) para el operador de evolucin U(t,t

0 = 0) obtenemos:
d (H)
(H) (t) 1 U + H
(S)U + U + A
(S) [( 1 )H
U U + A
U]

A (t) = A
dt
ih
ih
1 (H)
d (H)
(H) (t)]
(t), H
A (t) = [A
dt
ih

(79)

Esta es la ecuacin de movimiento de Heisemberg.

La formulacin de la mecnica Cuntica segun la imagen de Heisenberg es anloga a la formulacin
con corchetes de Poisson de la mecnica clsica.

37

4. EL Oscilador Armnico Cuntico

Operador Hamiltoniano, operadores de creacin y destruccin, operador nmero de
ocupacin.
Valores propios y estados propios del operador Hamiltoniano.
Evolucin temporal en la imagen de Heisenberg Mecnica Clsica.

p2 m 2 x2
H =
+
2m
2

(80)

Es conveniente por razones que veremos pronto, definir los siguientes operadores no-hermticos:
i p
m
(x +
)
2h
m
r
m
i p
)
(x
a+ =
2h
m
a =

(81)

(82)

conocidos como los operadores de aniquilacin y creacin respectivamente (despues veremos

porque).
Problema
Sabiendo que:
[x,
p]
= ih1
compobar que los operadores de aniquilacin y creacin cumplen la siguiente relacin de
conmutacin:
[a,
a+ ] = 1
38

(83)

Operador Nmero (de que?) de estados de ocupacin desde el estado base (n = 0) a los
excitados (n = 1, 2, 3, ...).
N = a+ a

(84)

Problema
Teniendo en cuenta que:
a+ a =

H
1
1
h 2

demostrar:
1
H = h (N + 1)
2

(85)

Como consecuencia todo estado propio de N es estado propio de H:

N | ni = n | ni
1
H | ni = h (n + ) | ni
2
1
En = h (n + )
2
donde n es un nmero natural.
Por qu creacin y aniquilacin?
Para ello primero veamos que:
a]
[N,
= [a+ a,
a]

a]
[N,
= a+ [a,
a]
[a+ , a]

utilizando la expresin (83) obtenemos:

a]
[N,
= a1
39

(86)

 a]
[N,
= a

(87)

similarmente:
a+ ] = a+
[N,

(88)

Problema
Demostrar la expresin (88).
De la ec. (87) se concluye:
N a aN = a
| ni = a | ni
(N a aN)
(N a an)
| ni = a | ni
resultando:
N a | ni = (n 1)a | ni

(89)

a | ni) = (n 1)a | ni, es decir, a | ni se comporta como | n 1i.

Si N | ni = n | ni entonces N(
Digamos entonces:
a | ni = C1 | n 1i
destruye un cuanto de energaa h
similarmente de la expresin (88) tenemos:
N a+ a+ N = a+
| ni = a+ | ni
(N a+ a+ N)
(N a+ a+ n) | ni = a+ | ni
40

(90)

 a+ | ni) = (n + 1)(a+ | ni)

N(

(91)

es decir, a+ | ni se comporta como | n + 1i:

a+ | ni = C2 | n + 1i

(92)

crea un cuanto de energa h

Hallemos las constantes C1 y C2 :
a | ni = C1 | n 1i
hn | a+ = hn 1 | C1

hn | a+ a | ni = hn 1 | n 1i | C1 |2
hn | H | ni = hn 1 | n 1i | C1 |2
nhn | ni =| C1 |2
n =| C1 |2
sin prdida de generalidad podemos escoger:
C1 =

(93)

ya que multiplicar al ket | n 1i por una fase global arbitraria no cambia en general el estado fsico
representado por ese ket.De esta manera podemos escribr
a | ni =

n | n 1i

Problema
41

(94)

Demostrar que podemos escoger

C2 =

n+1

(95)

obteniendo como resultado

a+ | ni =

n + 1 | n + 1i

(96)

utilizando para ello la identidad

[a,
a+ ] = 1
Problema
Demostrar que los n deben ser estrictamente enteros, de lo contrario se violan algn postulado ya
propuesto. Ver Sakurai pags 91 - 92.
Con a+ podemos construir a partir del estado base | 0i, todos los estados excitados:
| 1i = a+ | 0i
h1 | 1i = h0 | aa+ | 0i = h0 | N + 1 | 0i
h1 | 1i = 1

| i = a+ | 1i h |= h1 | a
h | i = h1 | aa+ | 1i = h1 | N + 1 | 1i
h | i = 2

| 2i =| i = p
42

| i
h | i

| 2i =

a+ | 1i (a+ )2 | 0i

=
2
2

Problema
Demostrar utilizando el mtodo de induccin matemtica que: | 3i =

(a+ )3
32

| 0i, . . . , | ni =

(
a+ )n
n!

| 0i

para todo n natural.

Conclusin: el problema de vetores propios y valores propios del hamiltoniano del oscilador
armnico se puede resolver de manera iterativa utilizando la base de estados propios del operador
nmero definido en (84), de tal manera que
H | ni = En | ni
con En = h (n + 12 ) y los estado | ni se pueden construr a partr del estado base | 0i :
(a+ )n
| ni = | 0i
n!
De esta manera hemos resuelto de forma iterativa y con la introducin de los operadores de creacin
y destruccin, la ecuacin de Schrdinger independiente del tiempo para el problema del oscilador
armnico cuntico unidimensional. El procedimento aqu utilizado es un ejemplo particular de
un mtodo ms general para resolver ecuaciones diferenciales lineales denominado mtodo de
factorizacin.

Ecuacin de Heisenberg para el Oscilador Armnico Unidimensional

Recordemos la ecuacin de Heisenberg para el observable A H obtenida en la seccin anterior:
d A H
i
= [H H (t), A H (t)]
h
dt
43

Para el caso del oscilador armnico unidimensional, el operador hamiltoniano en la representacin

de Heisenberg est dado por:
p2 (t) m 2
H H (t) =
+
x (t)
2m
2
Donde p(t)

y x(t)
son respectivamente los operadores momentum y posicin dependientes del
tiempo, tal y como se defineien en la imagen de Heisenberg1 .
Procedemos ahora a hallar la ecuacion de Heisenberg para estos operadores.
Problema:
Demostrar las sigueintes indentidades:


ih

x(t)

= p
[H(t),
p(t)]

= ihm 2 x , H(t),
(97)
m


B,
+ [A,
C]
B.
C = A[
C]
De esta manera la ecuacin de Heisenberg
sabiendo que [x,
p]
= ih1 y A B,
para cada operador toma la forma
d x
d p
p
= m 2 x ,
=
dt
dt
m

(98)

Las cuales coinciden, a traves de la identificacin de entre corchetes de Poisson y corchete

cuntico,con las ecuaciones de Hamilton para el problema del oscilador armnico clsico
unidimensional. Se puede observar que las ecuaciones (98) son ecuaciones diferenciales ordinarias
de primer orden acopladas en x y p.
Se puede muy facilmente demostrar que los operadores de
creacin y destruccin a+ y a desacoplan estas ecuaciones. Para el caso de a definido en (81)
tenemos
d a
=
dt
1A

m d x
i d p
( +
) = i
2h dt m dt

m
i p
)
(x +
2h
m

partr de ahora se sobreentiende que todos los operadores en esta seccin, estn representados en la imagen de

Heisenberg; por lo tanto omitiremos por simplicidad el superndice H que la denota.

44

Por lo tanto la ecuacin de Heisenberg resulta ser

d a
= i a
dt

(99)

Haciendo el transpuesto conjugado de (99) obtenemos inmediatamente la respectiva ecuacin de

Heisenberg para a+ :
d a+
= i a+
dt

(100)

i t
a = a(0)e

, a+ = a+ (0)ei t

(101)

La integracin de (99) y (100) es directa:

Problema:

A partir de la ec. (101) y las definiciones de los operadores de creacin y destruccin demostrar
que:

t + p(0)
x(t)
= x(0)cos

m sen t

p(t)
= m x(0)sen

t + p(0)cos

Es decir x y p oscilan tal cual como lo hacen las correspondientes variables clasicas x y p.

45

(102)