Vous êtes sur la page 1sur 15

U1: Funciones de Onda y Ecuacin de

Schroedinger (Versin 2007)


H. O. Di Rocco
Instituto de Fsica Arroyo Seco
August 14, 2007
Abstract
Asignacin de una onda al movimiento de una partcula en Mecnica
Clsica: ecuacin de Hamilton-Jacobi. Ondas de de Broglie. Postulacin
de las ecs. de Schroedinger independiente y dependiente del tiempo. Interpretacin estadstica de ; otras interpretaciones. Primeras nociones
sobre operadores y valores medios. Principio de superposicin. Desigualdades de Heisenberg.

Introduccin

Vamos a comenzar analizando diversas experiencias, algunas conceptuales, otras


llevadas a cabo realmente, que nos muestran cmo se comportan las partculas
elementales (a veces denotadas genricamente electrones) as como los cuantos de luz. Algunos experimentos conceptuales estn argumentados en el libro
de Feynmann y cols. [8]. Baste decir que, tirando uno por uno tanto los electrones como los fotones, stos pegan discretamente en la pantalla donde estn los
detectores. Cuando el nmero N ! 1; entonces aparecen las guras tipo interferencia (si hay dos rendijas!). Es dable hacer notar que entre los experimentos
realmente llevados a cabo estn los de Jonsson (1961) usando electrones y contemporneamente los de Faget (1961); Biberman (1949, con fotones), Janossy
(1958, con fotones), Peegor y Mandel (1967, con fotones), Merli y cols (1974,
con electrones). En el libro de Haken-Wolf se mencionan los experimentos de
Ramsauer (1921), Davisson y otro (1921), la difraccin de Fresnel (de electrones)
por un borde abrupto (Boersch, 1956), la difraccin de electrones por un doble
prisma de Fresnel (Mollenstedt, 1956) y los de Stern y cols. (1931: tomos como
ondas). La hiptesis de de Broglie data de 1923 y es posible que se haya basado
en los resultados experimentales de Davisson y de Ramsauer.
Es comn suponer, en este estadio, que conocemos algunos hechos fundantes
como los siguientes:
cuerpo negro,
efecto fotoelctrico,
1

efecto Compton,
experimento de Davisson-Germer,
la existencia fenomenolgica del spin,
el modelo de capas de los tomos, etc.;
o sea, el tipo de material que se encuentra en los libros denominados genricamente de Fsica Moderna.

Ondas de de Broglie

La hiptesis de de Broglie consisti en asignar propiedades ondulatorias a las


partculas. Mientras que stas tienen como atributos la energa E y momentum
p, las ondas tienen asignadas frecuencia y nmero de onda k; estas cantidades
pueden ser asociadas, no slo a los fotones sino a cualquier partcula. En el caso
de una partcula libre, asignamos la onda
(r; t) = Aei(k:r

!(k)t)

= Aei(p:r

Et)=~

(1)

la longitud de onda asignada a una partcula es = h=p (para todo tipo


de partcula) o = h=mv (para las que tienen masa en reposo m0 6= 0). La
combinacin k:r !t es la fase de la onda y la velocidad de fase se dene como
u = !=k: Qu velocidad debe asignarse a las partculas? Veamos si ser u:
~!
E
mc2
c2
!
=
=
=
= (> c!);
k
~k
p
mv
v
esto nos dice que u no representa la velocidad de la partcula. Veamos la
velocidad de grupo vg = dE=dp = d!=dk. Por el teorema del trabajo y energa,
podemos calcular dE como
dp
dE = F:ds =
:ds = dp:v = vdp
dt
por lo que
vdp
vg =
=v
dp
representa entonces la velocidad de la partcula.
u=

2.1

rdenes de magnitud

Partcula de polvo. Si el tamao tpico es r


10 6 mm; la masa es
15
10 kg; la velocidad es v~1mm=s; resulta entonces que ~6:6 10 6 A:
2. Neutrn trmico (a 300 o K). Ahora es mn ~1:67 10 27 kg;
p por lo
cual la energa cintica mn v 2 =2 = 3kT =2 = p2 =2mn y de aqu que p = 3kT mn
por lo que
h
' 1:4A:
(2)
= =p
p
3kT mn
3. Electrones. me ~0:9 10 30 kg; la energa cintica del electrn
acelp
erado en un potencial V es E = qV = p2 =2me ; por lo cual p = 2me qV y
p
entonces ~ 12:3= V A:
1.
m

Asignacin de una onda al movimiento de una


partcula en Mecnica Clsica; ecuacin de
Hamilton-Jacobi; Postulacin de las ecuaciones
de Schroedinger.

De Mecnica Clsica, sabemos que haciendo mnima la accin


Z t2
S=
L(q; q; t)dt

(3)

t1

se deducen las ecuaciones de Lagrange


@L
@q

d @L
= 0:
dt @ q

Entre las propiedades de S estn


@S
= pi ;
@qi

@S
=
@t

por lo que
@S
+ H = 0:
@t
@S
Como H = H(qi ; pi ; t) = H(qi ; @q
; t), entonces la ecuacin anterior nos
i
queda
@S
@S
H(qi ;
= 0;
(4)
; t) +
@qi
@t

que es la ecuacin de Hamilton-Jacobi dependiente del tiempo. Si


el hamiltoniano NO depende explcitamente del tiempo, entonces
@S
=
@t

por lo tanto

S = W (qi )

Et;

(Esta ecuacin dene W ). Derivando:


@S
@W
=
(= pi ; como vimos antes)
@qi
@qi
por lo que nos queda, de la ec. (4)
H(qi ;

@W
)=E
@qi

(5)

que es otra forma de la ecuacin de Hamilton-Jacobi, ahora independiente


del tiempo.

Consideremos el simple ejemplo para una partcula, donde


H=

p2
+ V (q);
2m

p=

@W
@q

por lo tanto
1
2m

"

@W
@x

@W
@y

@W
@z

(rW ) = 2m(E

+ V (q) = E

V)

que es Hamilton-Jacobi para una partcula.


Veamos la relacin de todo esto con la ptica Geomtrica. Para medios
inhomogneos de ndice de refraccin n vale la ecuacin de la eikonal [?]
r2 + n2 (r)k02 = 0;

(6)

escribimos
= A(k0 ; r)eik0 S(r)
ya que siempre puede escribirse una funcin compleja de esa manera, usando
los conceptos de amplitud y fase. Aunque aqu no interesan los detalles, tal
funcin S cumple
2
(rS) = n2
que es la ecuacin fundamental de la ptica Geomtrica. La idea de todo
2
2
esto es que si (rS) = n2 es una primera aproximacin a , entonces (rW ) =
2m(E V ) podr ser una primera aproximacin a la verdadera (o cuntica)
ecuacin de movimiento.
Una manera de derivar la ec. de Schroedinger es a partir de la ecuacin
general de las ondas
1 @ 2 (r; t)
=0
(7)
r2 (r; t)
v2
@t2
y suponer que vale la separacin
(r; t) = exp ( i!t) ' (r) ;
por lo cual, reemplazando arriba
r2 ' +

!2
' = 0:
v2

Ahora, en lugar de v, teniendo en cuenta que para las ondas v = !=2 =


y que por las relaciones de De Broglie, = h=p = 2 ~=p :
r2 ' +

p2
'=0
h2
4

y como, por n, p2 = 2m (E

V );

2m
(E V ) ' = 0:
~2
Cuando el problema es dependiente del tiempo, escribimos
r2 ' +

(8)

= eiS=~ ;
siendo S la accin. Derivando,
@
i
=
@t
~
y como @S=@t =

@S
@t

H; nos queda
i~

@
=H
@t

(9)

Pasar de las ecuaciones clsicas a las cunticas requiere reemplazar las ecuaciones entre funciones por ecuaciones entre operadores. No debemos perder de
vista que todo esto es heurstico; la misma introduccin por parte de Schroedinger
ha sido bsicamente de esta manera.

Lmite cuasi-clsico

Veamos que, efectivamente, cuando ~ ! 0; la ec. de S. se convierte en la de


H-J. Partiendo de 8, supongamos que la solucin pueda ponerse en la forma
= eiS=~ : Calculemos
r2

= r: (r ) = r:

i !
rS
~

que tiene la forma


!
! !
r: u V = u div V + V grad u:
Entonces
r:

!
rS

=
=

!
! !
r: rS + rS r
!
!
r: rS + rS

!
rS

por lo tanto, con estas correspondencias, nos queda


r2

i
r2 S
~

1
2
(rS)
~2

2m
(V
~2

E)

tal que, en la ec. de S.:


~2
2m

1
2
(rS)
~2

i
r2 S
~
5

+V

=E ;

En forma operacional, "simplicando"


2

(rS)
2m

i~ 2
r S+V =E
2m
2

y si se cumple que ~ r2 S << (rS) , entonces


2

(rS) = 2m(E

V)

(10)

que es la ecuacin de Hamilton-Jacobi. Esta es la base de las aproximaciones


cuasi-clsicas.

Interpretacin estadstica de

Qu signica esta funcin ? La intepretacin debida a Born al analizar experimentos de dispersin es que es una funcin de variable compleja tal que
2

j j =

de manera que la densidad de probabilidad dW (


partcula en un dado volumen dV viene dado por
w(x; y; z; t) =

dW
2
= j (x; y; z; t)j
dV

tal que

dP) de encontrar una


Z

dV = 1:

vlida para estados ligados; para stos, debe ser, entonces, de cuadrado
integrable.
La normalizacin para estados libres se ver con detalle ms adelante. Por
ahora veamos que cuando tenemos una onda plana
(r; t) = N ei(k:r

!t)

tomamos un cubo largo de lado L y denimos


=

N ei(k:r
0

!t)

para r dentro de V = L3
para r fuera de V = L3

con la propiedad (x; y; z) = (x + L; y; z) = (x; y + L; z) = (x; y; z + L).


Aplicando la condicin de normalizacin
Z 1
Z
1=
dV = N 2
dV = N 2 L3
V =L3

de donde

1
1
N=p =p :
V
L3
Denotando las funciones con un ndice k
k (r; t)

1
= p eik:r e
V

i!(k)t

k (r)e

i!(k)t

(11)

!
Debido a las condiciones de contorno, k y por lo tanto !
p y E(= p2 =2m)
toman los valores discretos
kx =

2
nx ; etc.;
L

px = ~kx , etc.

Cuando L ! 1, ( kx ; ky ; kz ; E) ! 0 y tenemos el movimiento en el


espacio libre (no cuantizado).
Diferentes formas de normalizar los estados libres pueden verse en captulo
sobre Colisiones, en el libro de Landau-Lifshitz.

Propiedad de ortonormalidad y Principio de


Superposicin

Sabemos del curso de Mtodos Matemticos de la Fsica que la ecuacin de


Schroedinger pertenece al tipo de Sturm-Liouville. Por lo tanto, las propiedades
de las autofunciones han sido estudiadas y no nos extenderemos ms en ellas
(Ver el libro de Butkov [3]). Las f k g forman un conjunto ortonormal completo
Z
k (r) k0 (r)dV = kk0
V

tal que una funcin

puede desarrollarse en la base f


X
=
ak k ;

kg

que vale para bases discretas.


Significado fsico. Si un sistema mecano-cuntico puede
estar en los
P
estados discretos n , entonces puede ocupar el estado = n an n ; esto se
debe a la linealidad de la ec. de Schroedinger. Otra manera de decir lo mismo
es que cada posible puede expandirse en trminos de un conjunto ortonormal
completo f n g.
El ejemplo del tratamiento de la molcula de N H3 como sistema con dos estados base, correspondientes a las posiciones del tomo N a derecha y a izquierda
del tringulo formado por los tres tomos H; puede verse en el libro de AlonsoFinn [1].
La generalizacin cuando el ndice es continuo, se ver en el prximo pargrafo.

Dos ejemplos sencillos

A n de ejemplicar el uso de ambos tipos de bases, discreta y continua, vamos


a considerar los siguientes dos casos:

7.0.1

La partcula libre

En una dimensin y en el caso estacionario, la ec. de S. se reduce a


d2 '
+
dx2

2mE
~2

' = 0;

(12)

es costumbre hacer el cambio


k2 =

2mE
~2

(13)

que es, precisamente, el cuadrado del nmero de onda. La solucin de la ec.


12 es
' = Aeikx + Be ikx
(14)
por lo cual, recordando la posibilidad de la separacin de variables
(x; t) = e

i!t

'(x)

hace que, en nuestro caso


(x; t) = Ae

i(!t kx)

+ Be

i(!t+kx)

(15)

con

~k 2
;
2m
si nos quedamos con las partculas que viajan hacia la derecha
! = E=~ =

(x; t) = Ae

i(!t kx)

(16)

(17)

que no es cuadrticamente integrable:


Z
Z
2
2
j j dx = jAj
dx = 1

Esta puede, al n, normalizarse de acuerdo a la normalizacin segn Dirac,


que es algo distinta a la vista en (11). Escribimos
'p (x) = Aeipx=~
y calculamos
Z 1

'p (x)'p0 (x)dx = jAj ~

eix(p

p0 )=~

d (x=~)

(19)

y, como sabemos de las representaciones de la


Z 1
1
(x x0 ) =
eik(x
2
1

(18)

Dirac; una de ellas es


x0 )

dk

con lo cual la ec. 19 queda


Z 1
2
'p (x)'p0 (x)dx = 2 jAj ~ (p

p0 ) = 1

de donde
A= p

1
2 ~

y
(x; t) = p

1
e
2 ~

i(Et px)=~

(20)

Una onda plana es una abstraccin matemtica, un paso intermedio para


realizar clculos; una descripcin ms realista es considerar un paquete de ondas,
cosa que haremos en una clase posterior.
7.0.2

Pozo innito de potencial

El segundo caso a considerar es el del pozo de potencial


V =

0;
V0 ;

x 2 (0; a)
x2
= (0; a):

Este problema ha sido estudiado, al menos cualitativamente, en el Curso


de Estructura de la Materia y ser discutido con todo detalle ms adelante y
tambin en la parte prctica. El caso ms simple es cuando V0 ! 1. Entonces
r
Z 1
2 2
2
n x
~ 2
2
n
;
'
=
sin
En =
;
tq
j'n j dx = 1:
n
2ma2
a
a
1

Valores de expectacin en Mecnica Cuntica

En Mecnica cuntica es necesario representar las variables dinmicas mediante


operadores
lineales. Si la densidad de probabilidad viene dada por w =
R1
con 1
dV = 1; entonces por las reglas de la teora de la probabilidad, los
valores medios se obtienen (por ejemplo) como
Z 1
Z 1
!
!
!
hri=
r
dV =
r dV ;
(21)
1

b vale
en general, para un operador A;
D E Z 1
b =
A

b dV:
A

(22)

Que otras combinaciones no tienen sentido, puede verse en De La Pea,


pginas 205-208.

Supongamos que =
en la ec. 22
Z
D E
b
A
=
dV
=

b n = An 'n (ec. de autovalores), entonces,


an 'n ; A'

an 'n

an am

n;m

b
A

X
m

b m dV =
'n A'

am 'm

an am

n;m

Z
D E X
b =
A
an am Am 'n 'm dV

'n Am 'm dV

n;m

R
y por la propiedad de ortonormalidad 'n 'm dV =
D E X
2
b =
A
jan j An :

nm

(23)

D E
b est dado por el promedio de los autoEsto signica([5] pg 209) que A
2

valores (An ) pesado por los jan j : Los jan j miden la probabilidad de que
en el estado 'n .

8.1

est

Valores medios para las variables dinmicas ms importantes

Partiendo de la ec. de S. en 1D
E

~2 2
r +V ;
2m

multiplicando a izquierda por


Z 1
Z
~2
E dx =
2m
1

e integrando
1

dx +

V dx;

el primer miembro es el valor medio hEi = E y el ltimo sumando del 2o


miembro es hV i ; o sea que podemos interpretar
Z 1
~2
r2 dx hT i ;
(24)
2m 1
el valor medio de la energa cintica. Comparando con la ec. 22, identicamos el operador energa cintica como

Luego podemos escribir

~2
- 2m
r2 =Tb:

b = Tb + Vb =
H

10

~2 2 b
r +V
2m

(25)

que generaliza la ec. de S. independiente del tiempo, mediante la ec. de


autovectores y autovalores:
b =E :
H

Generalizar signica que, en la ecuacin de arriba, H puede tomar cualquier


forma, con tal de ser independiente del tiempo, aunque en principio hayamos
b = Tb + Vb :
tomado H
Para la ec. de S. dependiente del tiempo
@
b ;
=H
@t
multiplicando e integrando como antes
Z
D E
@
b =E
dx = H
i~
@t
i~

por lo que idencamos

b = i~ @
E
@t

de manera que

(26)

b :
=H
D E
b = E es la energa total mientras
En esta ecuacin debe interpretarse que E
E
D E D
b = Tb + Vb :
que H
8.1.1

b
E

Operador pb

Vamos a denir un operador para !


p : Teniendo en cuenta que
pb2
~2 2
Tb =
=
r
2m
2m
y pensando p2 en la forma p2 = !
p :!
p ; ~2 r2 resulta que
pb =

i~r:

(27)

Para la eleccin del signo, consideremos una onda plana que represente un
ensamble de partculas de momento p:
'p = Aeipx=~ ;
requiriendo que se deba satisfacer la ecuacin de autovalores
pb'p = p'p :

Si suponemos que vale el signo " + ", tendramos


@'p
@
= i~A e px=i~ = p'p
@x
@x
lo cual contradice nuestro requerimiento pb'p = p'p : Eligiendo el signo "
en la ec. 27, tal requerimiento se satisface. Por lo tanto
pb'p = i~

pb =

i~r:

11

"

(28)

8.1.2

El operador momento angular


!
!
Clsicamente, L = !
r
p ; tal que Lx = ypz

cx =
tal que L

8.2

b = rb
L

@
i~ y @z

i~r =

i~b
r

(29)

@
z @y
; etc.

Operadores elementales en 1D

Posicin
Impulso
Energa
Energa potencial
Energa cintica
Hamiltoniano
Momento angular

pb = rb

zpy , etc. Cunticamente,

x
b
pb
b
E
b
V
Tb
b
H

x
@
i~ @x
;

p=

p2x =

i~r;
@
i~ @t
V (x)

(30)

~2 @ 2
2m @x2

d
Tb+V

cx
L

@
i~ y @z

@
~2 @x
2

@
z @y

Desigualdades de Heisenberg

Vamos a denir una medida para la incerteza, o sea, la desviacin respecto de


los valores medios. Tratando de no confundir la notacin para el valor medio p
con la del vector !
p ; sean los valores medios
Z
@
px hpx i =
i~
dx
(31)
@x
x

hxi =

mientras que

D
E D
2
2
( px ) = ( px ) = (px
2

( x) = x2

x dx

px )

(32)

= p2x

px 2

x2 :

Para simplicar, supongamos un sistema jo en x y que se mueva con l, por


2
2
lo tanto x = 0; px = 0; as que ( x) = x2 y ( px ) = p2x ; que deben calcularse
as:
Z
Z
@2
2
2
2
x =
x dx;
px =
~2 2
dx:
@x

12

Consideremos la siguiente integral dependiente del parmetro real


necesariamente positiva (I ( ) 0) :
Z 1
2
d (x)
x (x) +
dx;
I( ) 0:
I( ) =
dx
1

; I( );

(33)

Desarrollando 33 y recordando el carcter complejo de


Z
Z
Z
d
d
d d
2
I( ) = 2 x2 j j dx + a x
+
dx +
dx
dx
dx
dx dx
Llamemos
A=
B=

x2 j j dx = x2 = ( x) ;

d
dx

d
dx

d
(
dx

) dx

R
la que integrando por partes dado que la ltima integral es de la forma u dv
y teniendo en cuenta que las deben ser de cuadrado integrable y ortonormalizadas
Z
1
B= x
j 1+
dx = 0 + 1 = 1:
Por ltimo, sea

C=

d d
dx;
dx dx

la que integrando por partes


Z
Z
1
d2
1
d
dx
=
0
+
C=
dx 1
dx2
~2

~2

d2
dx2

y como esta ltima integral es ( px ) resulta


1
2
( px ) :
~2

C=
Al n de todo esto

I( ) = A
y puesto que
1;2

se debe cumplir, para que I( )


1

B +C

0:

B 2 4AC
2A
0; que B 2 4AC
B

4( x)

1
2
( px )
~2

o sea
2

( px ) ( x)

13

~2
:
4

0;

0: Entonces

dx

9.1

Signicado fsico

Aunque en ciertas interpretaciones se habla de que las relaciones de Heisenberg implican la imposibilidad de medir simultneamente (o no) las variables
conjugadas, en la interpretacin estadstica esto no es as, sino que signica una cierta dispersin estadstica de las medidas.

14

References
[1] Alonso y Finn: Fundamentos Cunticos y Estadsticos
[2] Borowitz, Fundamentals of Quantum Mechanics
[3] Butkov, Mathematical Physics
[4] Cohen-Tanoudji y otros, Mecanique Quantique
[5] de la Pea, Introduccin a la Mecnica Cuntica
[6] Demtroder, Laser Spectroscopy
[7] Dicke y Wittke, Introduction to Quantum Mechanics
[8] Feynman y otros, Fsica Vol III.
[9] Greiner, Quantum Mechanics, an introduction
[10] Landau y Lifshitz, Mecnica Cuntica no relativista
[11] McMurry, Quantum Mechanics
[12] Merzbacher, Quantum Mechanics
[13] Messiah, Mecnica Cuntica
[14] Sakurai, Modern Quantum Mechanics

15

Vous aimerez peut-être aussi