Captulo 1

Orgenes y mecanica ondulatoria

Siempre que me pidieron agua yo les conte la historia del rio.

Pueblo Amarillo, D. Giraudo

1.1. Fuentes de la Mecanica Cuantica

1900 Ley de radiacion de Planck.

1905 Einstein y la corpuscularidad de la luz.

1907 Einstein y el calor especfico de los solidos.

1913 Hipotesis de Bohr y su modelo atomico.

1915 Cuantizacion de la accion segun Sommerfeld.

1916 Corpuscularidad de la luz. Efecto fotoelectrico (Millikan)

1917 Emision y Absorcion segun Einstein.

1922 Corpuscularidad de la luz. Compton.

1923 La partcula como onda segun de Broglie

1925 La mecanica matricial de Heisenberg y Born-Jordan y la ecuacion de Schrodinger.

1.2. La ecuacion de Schrodinger y sus propiedades basicas

Considere una partcula libre por lo tanto, caracterizada solamente por su masa m. Y
supongase asociada a esta partcula un paquete de ondas, o sea una superposicion de ondas
planas,
Z
3/2
(1.1) (x, t) = (2) A(k) exp{i(k x (k)t)} d3 k

1
cuya relacion de dispersion esta dada por la funcion () que indica la frecuencia para cada
vector de onda k R3 . De (1.1) sabemos que la funcion k 7 A(k)ei(k)t es la transformada
de Fourier de ; la amplitud A del paquete se obtiene entonces como
Z
3/2
A(k) = (2) (x, t) exp{i(k x (k)t} d3 x ;

y la relacion de Parseval implica que

Z Z
|A(k)| d k = |(x, t)|2 d3 x
2 3

con lo cual, en particular, la normalizacion de la funcion de onda es independiente del

tiempo. Interpretando a |(x, t)|2 como densidad de probabilidad para la posicion de la
partcula al tiempo t, el valor esperado (o esperanza matematica) de la posicion es
Z
hxi(t) := x|(x, t)|2 d3 x .

Ahora, con (1.1) e integrando por partes

Z Z Z
3 3/2
hxj i(t) = xj (x, t)(x, t) d =(2) d x(x, t) d3 kA(k)xj exp{i(k x (k)t)}
3

Z Z
3/2 ikx
= i(2) d x(x, t) d3 kA(k)ei(k)t
3
e
kj
Z Z
3/2
= i(2) 3
d x(x, t) d3 keikx (A(k)ei(k)t )
kj
Z Z
3 i(k)t 3/2
=i d k (A(k)e ) (2) d3 x(x, t)eikx
kj
| {z }
=A(k)ei(k)t
Z

=i d3 k A(k)ei(k)t (A(k)ei(k)t ) ,
kj

donde, en = al integrar por partes hemos eliminado el termino de borde suponiendo que
|A(k)| 0 cuando |k| . Por lo tanto,
Z Z
hxi(t) = i A(k)(A)(k) d k + t |A(k)|2 ()(k) d3 k ,
3

que parece una ecuacion de movimiento libre Newtoniana con velocidad

Z
d
hxi = |A(k)|2 ()(k) d3 k .
dt
El miembro derecho es el valor esperado de la velocidad de grupo del paquete de ondas. Si
suponemos que esta velocidad es igual a la velocidad v de la partcula, y usamos la relacion
de de Broglie ~k = p (= mv) entonces obtenemos
~k2
= ~k/m & (k) = + const.
2m
2
y nada nos impide tomar esa constante de integracion igual a cero.
Inversamente, si la relacion de dispersion es
~k2
(k) =
2m
entonces la velocidad de grupo del paquete (1.1) coincide con la velocidad de la partcula. Con
esta relacion de dispersion es inmediato verificar que el paquete es solucion de la ecuacion
de Schrodinger
t ~2
i~ = t ,
t 2m
donde hemos escrito t para la funcion sobre R3 dada por x 7 (x, t).

1.3. Transformacion de Fourier La representacion del momento

Para funciones apropiadas f definidas en Rn , la transformada de Fourier fe esta definida
por
Z
(1.2) fe(k) = (2)n/2 eikr f (r)dn r .
Rn

Usamos tambien la notacion Ff fe. La formula de inversion es

Z
(1.3) f (r) = (2) n/2
eikr fb(k)dn k .1
Rn

Para que las formulas (1.2) y (1.3) tengan sentido, se necesitan obviamente ciertas condi-
ciones sobre las funciones a las cuales se quiere aplicar estas formulas. Es un hermoso resul-
tado del analisis clasico que empezando con (1.2) y (1.3) se puede extender la transformacion
de Fourier a un mapa lineal e isometrico, tambien denotado por F, del espacio de Hilbert
L2 (Rn ) en si mismo que preserva el producto escalar canonico dado por
Z
hf, gi := f (r)g(r) dn r .
Rn

Se tiene en efecto la igualdad de Plancherel

Z Z
|f (r)|2 dn r = |(Ff )(k)|2 dn k
Rn Rn
1 Notese que la formula para la anti-transformada involucra un cambio de signo en el exponente. Con el operador de paridad

dado por
(f )(r) = f (r) ,
y que satisface 2 = = I, se tiene formalmente, sin preocuparse por las condiciones sobre las funciones que permiten los
manipuleos necesarios las relaciones

2
F 1 = F = F , F = F 1 = F 1 , F 2 = F 1 = ;

y por ende F 4 = I.

3
o, mas generalmente,

(1.4) hf, gi = hFf, Fgi 2 .

Recordamos otra propiedad util de la transformacion de Fourier. La convolucion de dos

funciones f g esta definida por
Z
(f g)(r) = f (r x)g(x)dn x .
Rn

Observe que f g = g f . Se tiene

F(f g) = (2)n/2 ((Ff ) (Fg)) , F(f g) = (2)n/2 (Ff )(Fg) .

A una funcion de onda , funcion de coordenadas espaciales r y del tiempo, la transfor-

macion de Fourier con respecto a la variable espacial asocia (biunivocamente) una funcion
Z
e
(k, t) = (2) n/2
eikr (r, t)dn r
Rn

que satisface entonces la ecuacion de Schrodinger transformada

e  
F

i~ = i~ = F i~ = FH = FHF 1 F = FHF 1 e.
t t t
Por lo tanto,
e

i~ e , (k,
= FHF 1 e fo (k) .
to ) =
t
e t) lo
La correspondencia es tal que (, t) es de modulo cuadrado integrable si y solo si (,
es. Obtenemos asi otra representacion del estado del sistema en terminos de . e Cuales
son las caractersticas de esta representacion, llamada representacion del momento?
En el caso unidimensional n = 1, tenemos, denotando por la derivada,
Z Z
1/2 ikx 1/2
(F )(k) = (2) e (x)dx = (2) (ik)eikx (x)dx
R R
Z
= ik(2)1/2 eikx (x)dx
R

por la formula de integracion por partes y suponiendo que (x) 0 para |x| ; pero
entonces
(F )(k) = ikF .
El calculo es identico en cualquier dimension para cada una de las derivadas parciales, con
lo cual:
b , FF 1 = ik
F = ikF b,
2 En general, F f esta definida por el lmite en norma para R de la formula (1.3) aplicada a la funcion f que es igual
R
a f en la bola de radio R y cero fuera de ella.

4
donde kb es un vector cuyas n componentes kbj son los operadores de multiplicacion por kj ,
j = 1, 2, , n,
(kbj f )(k) = kj f (k) .
Esto se puede re-expresar como
(1.5) Fp b
b F 1 = ~k
si introducimos el operador
(1.6) b := i~ , (b
p pf )(r) := i~(f )(r) .
Analogamente,
Z Z
n/2 ikr n n/2
(F rbj f )(k) = (2) e (rbj f )(r)d r = (2) eikr rj f (r)dn r
Z Z  
n/2 ikr

n n/2 eikr
= (2) rj e f (r)d r = (2) f (r)dn r i
kj
 Z 
n/2 ikr n
=i (2) e f (r)d r = i (Ff )(k) ;
kj kj
o sea:

F , F rbj F 1 = i
F rbj = i .
kj kj
El calculo siendo identico para cualquier componente, obtenemos
(1.7) rF 1 = i .
Fb
Recordando que en la representacion de Schrodinger usual basada en , la posicion
esta representada por el operador posicion b
r y el momento por el operador momento pb =
i~, de tal manera que la esperanza matematica o valor esperado de cualquier funcion f
de la posicion viene dada por
Z
!
hf (r)i = f (r)|(r, t)|2 dn r = h, f (b
r)i ;

las formulas (1.5) y (1.7) indican que en la representacion obtenida por transformacion de
b
Fourier, la posicion esta representada por el operador i y el momento por el operador ~k.
Ademas,
Z
e
~kj |(k)| 2 n e kbj i
d k = ~h, e = ~hF, kbj Fi = ~hF, FF 1 kbj Fi
Rn

= ~h, F 1 kbj Fi = h, pbj i ,

e
con lo cual podemos interpretar consistentemente a |(k, t)|2 como densidad de probabilidad
para el momento dividido por ~, y tambien garantizar que los valores esperados de funciones
g del momento se obtienen directamente de la representacion por medio de la formula
Z
hg(~k)ie = e
g(~k)|(k)| 2 n
d k = h, g(b p)i .
Rn

5
1.4. Movimiento libre
Consideramos una partcula de masa m moviendose libremente, i.e., sin fuerzas que actuen
sobre ella, en n dimensiones. La funcion de Hamilton clasica es entonces p2 /(2m) y, de
acuerdo a la regla de cuantizacion,
p2 ~2
;
2m 2m
b = p
donde es el Laplaciano n-dimensional. El operador Hamiltoniano es H b 2 /(2m) =
2
(~ /2m). Ya que


   
b 2 F 1 = F p
Fp b F 1 F p
b F 1 = ~kb ~kb = ~2 k
b2 , FF 1 = kb2 ,

la ecuacion de Schrodinger para una partcula libre en la representacion del momento es

e
~2 b 2 e e
~2 2 e
i~ = k , i.e., i~ (k, t) = k (k, t) .
t 2m t 2m
Esta ecuacion diferencial parcial es separable y trivialmente soluble

e i~k2 t
ln((k, t)) + C(k) = ,
2m
o sea  
e i~k2 (t to ) e
(k, t) = exp (k, to ) ,
2m
donde hemos determinado la constante de integracion con la condicion inicial. Pasando a la
representacion del momento hemos eliminado las derivadas parciales espaciales lo que sim-
plifica enormemente la ecuacion de Schrodinger.

Aplicando la transformacion inversa,

Z
1 e n/2 e
(r, t) = (F )(r, t) = (2) eirk (k, t)dn k ,
Rn
o sea
Z
2 t/(2m)
(1.8) (r, t) = (2)n/2 eirki~k e
(k, 0)dn k .
Rn

Esta expresion puede usarse como punto de partida para obtener formulas aproximadas para
el desarrollo temporal a tiempos cortos. Por ejemplo la siguiente, que es la menos sofisticada:
suponiendo que la densidad de momento inicial es apreciablemente distinta de cero en una
bola de radio k alrededor de algun valor ko ,
e
(k) 0, para |k ko | k ,
y que
~t(k)2 /(2m) 1 ,

6
tendremos, con k2 = (k ko )2 + 2ko k k2o 2ko k k2o , que
Z  
i~tk2o /(2m) n/2 ik(r~tko /m) e n i~tk2o /(2m) ~ko t
(r, t) e (2) e (k, 0)d k = e r ,0 ;
Rn m
2
salvo el factor ei~tko /(2m) que desaparece al tomar el modulo cuadrado, la amplitud se des-
plaza sin deformacion alguna con velocidad vo = ~ko /m , o sea |(r, t)|2 |(r vo t)|2 .

Finalmente, obtenemos una expresion para la funcion de onda en terminos de la condicion

e
inicial. Notando que (k, e
t) es producto de dos funciones de k ya que (k, e
t) = g(k, t)(k, 0),
2
con g(k, t) = exp (i~k t/(2m)), obtenemos
     
(, t) = F 1 e e
g(, t)(, 0) = F g(, t)(, 0) = (2) n/2 e
(Fg(, t)) F (, 0)

= (2)n/2 (e
g (, t)) (F 2 (, 0)) = (2)n/2 (e
g (, t)) ((, 0) ;
i.e.,
Z
n/2 n/2
(r, t) = (2) (e
g (, t) ()(, 0))(r) = (2) ge(r x, t)()(x, 0)dn x
Rn
Z Z
n/2 n n/2
= (2) ge(r x, t)(x, 0)d x = (2) ge(x r, t)(x, 0)dn x
Rn Rn
Z
n/2
= (2) (F 1 g)(r x, t)(x, 0)dn x .
Rn
Esta formula presenta a en terminos de la convolucion de la anti-transformada de Fourier
de g con la condicion inicial. El calculo de ge no es complicado3 y se obtiene:
 n/2 Z  
im im|r x|2
(1.9) (r, t) = exp (x, 0) dn x .
ht Rn 2~t
De esta expresion exacta, se obtiene la siguiente expresion asintotica
 n/2  
|t| im imr2 e
(1.10) (r, t) exp (mr/~t, 0) ;
~t 2~t
e 0) es de modulo cuadrado integrable,
mas precisamente, si (, 0) o lo que es lo mismo (,
Z  2
 n/2 imr2 /(2~t) e  n
lm  (r, t) (im/(~t)) e (mr/~t, 0)  d r=0.
|t| Rn

Esta formula asintotica indica que para |t| grande la densidad de probabilidad para la posicion
r al tiempo t es aproximadamente
 m n
e
|(mr/~t, 0)|2 ;
~t
3 Calcule la transformada de Fourier de exp(( i)k2 ) y luego tome el lmite 0.

7
o sea, proporcional a la probabilidad de que el momento inicial sea mr/t y decayendo como
tn en cualquier punto. Observese que esta formula asintotica preserva la normalizacion:
Z Z Z
n e 2 n e 2 n
(m/~t) |(mr/~t, 0)| d r = |(y, 0)| d y = |(y, 0)|2 dn y .
Rn Rn Rn

 
e im n/2 im|r|2
Damos ahora la demostracion de (1.10). Sea (r, t) = exp (mr/~t). En-
~t 2~t
tonces, usando las definiciones y dejando t fijo,
Z
n/2 imr2 /(2~t) n/2 2
(r, t) (r, t) = (im/~t) e (2) eimrx/(~t) (eimx /(2~t) 1)(x)dn x
Rn
2 /(2~t)
= (im/~t)n/2 eimr e
G(mr/(~t)) ,
donde
2 /(2~t)
G(x) = (eimx 1)(x) .
Luego,
Z
e
k (, t) (, t) k2 = (m/(~t))n k G((m/(~t)) k2 = (m/(~t))n e
|G((m/(~t)r)| 2 n
d r
Rn
Z Z
= e
|G(r)| 2 n
d r= |G(x)|2 dn x =k G k2 .
Rn Rn

Por lo tanto, para ver que k (, t) (, t) k 0 para |t| basta verificar que k G k 0.
Ahora,
2
|G(x)|2 = |eimx /(2~t) 1|2 |(x)|2 ,
y
Z mx2 /(2~t) Z mx2 /(2~|t|)
imx2 /(2~t) iu
|e 1| = | e du| |eiu |du = mx2 /(2~|t|) .
0 0
Con lo cual Z Z
2 2 n 2
kGk = |G(x)| d x (m/(2~t)) |x2 (x)|2 dn x ,
Rn Rn
R
y, siempre y cuando Rn |x2 (x)|2 dn x =k x b2 k2 exista, obtenemos lo que queremos. Si
2
ahora, no es cierto que x b es de modulo cuadrado integrable, entonces procedemos por el
siguiente metodo (util y frecuente). Supongase que dado > 0 arbitrario, hay de modulo
cuadrado integrable tal que: 1) k k < ; 2) x 7 |x2 (x)|2 es integrable. Entonces con
2
H(x) = (eimx /(2~t) 1)(x) tenemos
2 /(2~t)
|G(x) H(x)| = |eimx 1||(x) (x)| 2|(x) (x)| ,

luego
k G H k 2 k k .
Como,
k G k=k G H + H kk G H k + k H k .

8
Dado > 0 podemos elegir tal que k k /4 y luego |t| lo suficientemente grande
para que k H k /2, con lo cual k G k , lo que demostrara la formula asintotica. Pero
la existencia de con las propiedades 1) & 2) esta garantizada ya que las funciones de
decaimiento rapido S(Rn ) son densas en L2 (Rn ) 4 .

Volviendo a (1.8), observese que las funciones

2 t/(2m)
k (r, t) = (2)n/2 ei~k eikr ,

o sea ondas planas de vector de onda k y frecuencia angular (k) = ~k2 /(2m), son soluciones
estacionarias de la ecuacion de Schrodinger en la representacion de posicion ya que
k ~2
i~ (r, t) = (~2 k2 /(2m))k (r, t) = (k )(r, t) .
t 2m
Observese que k no es de modulo cuadrado integrable por lo cual estas soluciones esta-
cionarias no permiten interpretacion como estados de partculas (masivas). (1.8) no es otra
cosa que una superposicion (continua) de estas soluciones estacionarias con peso . e Y esta
superposicion sera interpretable como densidad de probabilidad en posicion (i.e., de modulo
cuadrado integrable) si e lo es como densidad de probabilidad en momento.

4 Hay casos particulares mas simples. Si x 7 |x2 (x)|2 no es integrable en el infinito, podemos proceder directamente

introduciendo N (x) = (x) para x2 N 2 y cero sino. Tendremos que

N
k N k 0 .
b2 N si es de modulo cuadrado integrable.
Ademas, x
Si x 7 |x2 (x)|2 no es integrable en algun punto xo podemos tomar N (x) = (x) para x fuera de la bola de radio N
alrededor de xo y N 0 en esa bola. Etc., etc.. El argumento sigue como antes.