Resolucion de la ecuacion de Schrodinger monodimensional

I. FUNDAMENTO TE

ORICO
En Mec anica cu antica, el estado fsico de un sistema unidimensional de una partcula
viene descrito completamente por una funcion de onda compleja (x, t) que obedece la
denominada ecuaci on de Schr odinger
i h
(x, t)
t
=
_

h
2
2m

2
x
2
+ V (x)
_
(x, t) = H (1)
donde V (x) es el potencial al que esta sometida la partcula, que supondremos que tiene una
masa m independiente del tiempo, h es la constante de Planck reducida y H es el operador
Hamiltoniano, que es hermtico.
La densidad de probabilidad de encontrar a la partcula en un volumen dV alrededor del
punto x y en el instante t es
dP = |(x, t)|
2
dV. (2)
Para un sistema compuesto unicamente por una partcula, como es el nuestro, la probabilidad
total de encontrar la partcula en alg un punto del espacio, en cualquier instante t, es igual
la unidad,
_
V
|(x, t)|
2
dV = 1. (3)
N otese que la integral de probabilidad es constante durante la evolucion temporal, lo que
habr a que tenerse en cuenta al plantear la resolucion numerica del problema.
Podemos observar que la ecuacion de Schr odinger es lineal y que se trata de una ecuaci on
diferencial de primer orden en el tiempo. Para evitar el uso continuado de m y h, haremos
el cambio de variable t t h en el tiempo y x x h/

2m en el espacio, lo que conduce a

una ecuacion equivalente a (1) pero en la que h = 1 y m = 1/2:
H
_

2
x
2
V (x)
_
(x, t) = i

t
. (4)
Esta ecuaci on puede resolverse terminos de las autofunciones del hamiltoniano H, que,
recordemos, es independiente del tiempo. Llamando u
n
a los estados acotados y u
k
a los
estados del continuo, entonces la solucion dependiente del tiempo viene dada de forma
2
rigurosa por
(x, t) =

n
a
n
e
iE
n
t
u
n
(x) +
_
dka(k)e
iE(k)t
u
k
(x), (5)
con
a
n
= u
n
, (x, 0), a(k) = u
k
, (x, 0), (6)
donde (x, 0) es el estado inicial del sistema (y por lo tanto a
n
y a(k) son los coecientes
en las bases {u
n
} y {u
k
}, respectivamente).
De seguir este procedimiento, toparamos con los inconvenientes de que:
En la mayora de los casos, las autofunciones y los autovalores del hamiltoniano no se
pueden calcular analticamente y han de determinarse numericamente.
Por motivos numericos, el estado inicial debe restringirse necesariamente a una combi-
naci on lineal nita de autofunciones y, en cualquier caso, el n umero de estas debe ser
el menor posible para reducir el trabajo computacional. Truncar la base tiene como
inconveniente a nadido que la evolucion deja de ser unitaria.
Por todo ello, en lugar de seguir el procedimiento anterior integrararemos directamente la
ecuaci on (4). Pero hay que ser muy cuidadosos con el metodo numerico porque, en general,
la discretizaci on provoca que no se conserve la normalizaci on de la funci on de onda (ecuacion
3).
La solucion formal de la ecuaci on de Schroedinger es
(x, t) = e
i(tt
0
)H
(x, t
0
) (7)
donde el operador e
itH
es unitario (su inverso coindice con su adjunto) por ser H hermtico.
Esta ultima propiedad sera de utilidad a la hora de hallar la discretizacion m as adecuada
para resolver el problema numericamente como veremos a continuacion.
II. PROBLEMAS
Obligatorio: resolver la ecuaci on de Schroedinger unidimensional para un potencial
cuadrado.
Voluntario: estudiar el coeciente de transmisi on (la probabilidad de encontrar a la
partcula al otro lado del obstaculo para tiempos largos pero antes de que se reeje
3
en la pared derecha) en funci on del par ametro del potencial (vease mas adelante),
para valores positivos y negativos. Estudiar lo mismo para un potencial escalon y uno
triangular. Comparar con la teora.
III. M

ETODO NUM

ERICO
Discretizaremos el espacio y el tiempo tomando x
j
= jh y t
n
= ns, con j = 0, 1, ..., N
y n = 0, 1, 2, ...N, donde h es el espaciado en la discretizaci on espacial y s es el espaciado
temporal. La funcion de onda viene dada en cada punto del retculo espacio-temporal por:
(x
j
, t
n
) (jh, ns) =
j,n
con j = 0, 1, ..., N y n = 0, 1, 2, ..., N. (8)
Supondremos que las condiciones de contorno para la funci on de onda en j = 0 y j = N
son las correspondientes a la existencia de un potencial innito en esos puntos, esto es, la
densidad de probabilidad de encontrar la partcula en dichos puntos es cero. As,
0,n
=

N,n
= 0, en cualquier instante. Puede denirse de forma inmediata un primer algoritmo a
partir de la expresi on

j,n+1
= e
isH

j,n
. (9)
Si s es muy peque no, el operador de evolucion exp (isH) puede aproximarse por su desar-
rollo de Taylor a primer orden en t. Si adem as observamos que el operador Hamiltoniano
no es mas que la aplicaci on de una derivada segunda, su discretizaci on espacial es obvia y
en total obtenemos el siguiente algoritmo

j,n+1
=
_
1 isH
D
+ O(sH
D
)
2
_

j,n
, (10)
donde

j


2

x
2
=
1
h
2
(
j+1
2
j
+
j1
) + O(h
2
) (11)
y H
D
viene dado por
H
D
f
j
=
1
h
2
(f
j+1
2f
j
+ f
j1
) + V
j
f
j
(12)
y V
j
= V (jh). Este algoritmo tan simple y natural adolece de un grave problema: el operador
(1isH) no es unitario. Esto implica que durante la iteraci on del algoritmo para encontrar
la evoluci on de la funcion de onda, la normalizaci on,

j
h|
j,n
|
2
, ira variando con el tiempo,
lo que es incompatible con la restriccion de normalizaci on a la unidad expresada en (3) y
4
viola la interpretaci on de Born. As pues, el objetivo ser a encontrar un operador evoluci on
similar al anterior pero que sea unitario. Esto se consigue haciendo uso de la aproximacion
de Cayley para el operador evolucion temporal
e
isH

1 isH
D
/2
1 + isH
D
/2
, (13)
que conduce al algoritmo

j,n+1
=
1 isH
D
/2
1 + isH
D
/2

j,n
. (14)
N otese que ademas de ser unitario, este operador es exacto hasta orden (sH
D
)
2
. Para
completar el algoritmo, solo resta dise nar la estrategia para utilizar ecazmente el operador
1/(1 + isH
D
). Para ello reescribimos la anterior ecuaci on como

j,n+1
=
_
2
1 + isH
D
/2
1
_

j,n
=
j,n

j,n
, (15)
donde

j,n

2
1 + isH
D
/2

j,n
, (16)
o lo que es lo mismo, dada
j,n
, j = 0, .., N,
j,n
es la soluci on de la ecuaci on
[1 + isH
D
/2]
j,n
= 2
j,n
, (17)
que en forma explcita puede escribirse como

j+1,n
+
_
2 +
2i
s


V
j
_

j,n
+
j1,n
=
4i
s

j,n
(18)
donde s = s/h
2
y

V
j
= h
2
V
j
. De esta forma, el algoritmo de evoluci on es claro: dada una
funci on de onda en el instante n para toda posici on j se resuelve el conjunto de ecuaciones
(18) y se obtiene
j,n
(j = 0, .., N). Con esta solucion se recurre a la ecuaci on (15) para
obtener las nuevas
j,n+1
(j = 0, ..., N), iter andose el proceso. S olo falta por conocer como
resolver ecuaciones del tipo (18), es decir, c omo invertir matrices tridiagonales.
En este caso, hemos de resolver un conjunto de ecuaciones del tipo
A

j

j1,n
+ A
0
j

j,n
+ A
+
j

j+1,n
= b
j,n
j = 1, . . . , N 1 (19)
donde A

j
= 1, A
0
j
= 2 +2i/ s

V
j
, A
+
j
= 1 y b
j,n
= 4i
j,n
/ s. Las condiciones de contorno
son
0
=
N
= 0 (notemos que estas condiciones de contorno implican que en (15)
0
y
N
son nulas en cualquier instante).
5
Para resolver la recurrencia (19) suponemos que su soluci on es del tipo

j+1,n
=
j

j,n
+
j,n
j = 0, . . . , N 1 (20)
donde, para garantizar que se cumple
N,n
= 0, tomaremos
N1
=
N1,n
= 0. Susti-
tuyendo esta expresion en (19) obtenemos

j,n
=
A

j
A
0
j
+ A
+
j

j

j1
+
b
j,n
A
+
j

j,n
A
0
j
+ A
+
j

j
. (21)
Si identicamos las ecuaciones (20) y (21) podemos denir las recurrencias para los coe-
cientes y as

j1
= A

j

j
,
j1,n
=
j
_
b
j,n
A
+
j

j,n
_
. (22)
donde
1
j
= A
0
j
+ A
+
j

j
. Estas ecuaciones nos dan la forma de obtener todas las y
partiendo de j = N 1 y obteniendo en orden decreciente
j
y
j,n
con j = N 2, . . . , 1, 0.
Observese que no depende del tiempo y solo es necesario calcularlas una vez. Una vez
obtenidas las y , se usa la recurrencia (20) para hallar las
j
en orden de j crecientes.
Conocida
j,n
, y con ella
j,n+1
, queda discutir que funcion de onda inicial se usa y con
que potencial. La funcion de onda inicial que vamos a usar es una onda plana con una
amplitud gaussiana, esto es,
(x, 0) = e
ik
0
x
e
(xx
0
)
2
/2
2
. (23)
Notemos que con esta eleccion, la densidad de probabilidad de encontrar inicialmente la
partcula en un punto x es una gaussiana centrada en x
0
y de anchura . El n umero
de oscilaciones completas que la funci on de onda tiene sobre la red depende de k
0
, as
k
0
Nh = 2n
ciclos
. En lugar de dar como parametro inicial k
0
, daremos n
ciclos
. Obviamente
n
ciclos
= 0, 1, ...., N. Pero fsicamente no tendra mucho sentido que se produjese una os-
cilaci on completa de la funci on de onda entre dos puntos del retculo, pues querra decir que
la discretizaci on no es sucientemente na. As pues, restringiremos el par ametro n
ciclos
a
los valores 1, ..., N/4. De esta forma, un ciclo tendra 4 puntos como mnimo. La posici on
media inicial y la anchura de la gaussiana seran x
0
= Nh/4 y = Nh/16. Por utimo, el
potencial que usaremos tendra una anchura N/5, estar a entrado en N/2 y su altura sera
proporcional a la energa de la funcion de onda incidente: k
2
0
(puede usarse, por ejemplo,
= 0.3).
6
En resumen, utilizando las constantes reescaladas, la funcion de onda en el retculo se
tomar a

j,0
= e
i

k
0
j
e
2(4jN)
2
/N
2
, (24)
donde

k
0
= k
0
h = 2n
ciclos
/N donde n
ciclos
= 1, ..., N/4. El potencial es

V
j
= V
j
h
2
=
_
0 si j [2N/5, 3N/5],

k
2
0
si j [2N/5, 3N/5].
(25)
S olo queda por jar el parametro s = s/h
2
. Puesto que la energa es proporcional a
k
2
0
y el operador din amico discreto tiende a ser exacto en potencias de Hs, lo optimo es
elegir ||H||s < 1, esto es, k
2
0
s < 1. As deducimos que s < 1/

k
2
0
. En particular tomaremos
s = 1/4

k
2
0
. Resumiendo, los parametro que se han de jar inicialmente son N, n
ciclos
y ,
pues todos los demas se determinan a partir de ellos.
Por lo tanto, el algoritmo para resolver la ecuaci on de Schrodinger unidimensional puede
esquematizarse del siguiente modo:
1. Dar los par ametros iniciales: N, n
ciclos
y . Generar s,

k
0
,

V
j
,
j,0
(incluyendo las
condiciones de contorno
0,0
=
N,0
= 0) y .
2. Calcular utilizando la recurrencia (22).
3. Calcular a partir de (20).
4. Calcular
j,n+1
de (15).
5. n = n + 1, ir a al paso 2.
N umeros complejos en Fortran.
Declaracion: implicit double complex (h)
Asignacion de valores constantes: h = (1.0d + 0, 0.3d + 0) (=1+i0.3).
Asignacion de variables: h = complex(a, b) (=a+ib).
7
FIG. 1 Dispersion de un paquete gaussiano por un pozo cuadrado. La energa media es la mitad
de la profundidad del pozo. Los n umeros denotan el tiempo de cada conguracion en unidades
arbitrarias.
8
FIG. 2 Dispersion de un paquete gaussiano por un pozo cuadrado. La energa promedio es igual
a la profundidad del pozo. Los n umeros denotan el tiempo de cada conguracion en unidades
arbitrarias.
9
FIG. 3 Dispersion de un paquete gaussiano por una barrera cuadrada. La energa promedio es la
mitad de la altura de la barrera. Los n umeros denotan el tiempo de cada conguracion en unidades
arbitrarias.
10
FIG. 4 Dispersion de un paquete gaussiano por una barrera cuadrada. La energa promedio es
igual a la altura de la barrera. Los n umeros denotan el tiempo de cada conguracion en unidades
arbitrarias.
11
FIG. 5 Dispersion de un paquete gaussiano por un pozo cuadrado. La energa promedio es dos
veces la altura de la barrera. Los n umeros denotan el tiempo de cada conguracion en unidades
arbitrarias.