Aproximaci on mediante teora de perturbaciones

no-degenerada del pozo de potencial con perturbaci on

sinusoidal.
Erick Rolando Martnez Lor an
El pozo cuadrado potencial fue modicado por la adicion de una contri-
bucion de sin(x/L). Encontrar la forma de correccion de segundo orden
a la energa del estado n = 1 usando la evaluacion numerica de la suma de
perturbacion. Vea la gura 1.
E
n
e
r
g

a

p
o
t
e
n
c
i
a
l
x

0 L
Figura 1: Pozo innito con perturbacion sinusoidal en el fondo
Inicialmente se resolvio la ecuacion de Schrodinger (independiente del
tiempo) para el pozo nito:
H
0

0
n
= E
0
n

0
n
(1)
obteniendo el conjunto (completo) de eigenfunciones ortonormales
0
n

n
=
_
2
L
sin
_
n
L
x
_
(2)
1
que cumplen

0
n
|
0
m
=
nm
(3)
y sus correspondientes eigenvalores E
0
n
.
E
n
=
n
2

2
2mL
2
(4)
Ahora perturbamos el potencial ligeramente, en el fondo del pozo, usando
sin(x/L) y el problema consiste en encontrar las nuevas eigenfunciones
y eigenvalores.
H
n
= E
n

n
(5)
Para ello usamos teora de perturbaciones para encontrar las soluciones
aproximadas del problema perturbado, a partir de las soluciones conocidas
del caso no-perturbado.
Comenzamos con el nuevo Hamiltoniano, el cual expresamos como la
suma de dos terminos
H = H
0
+ H

(6)
donde H

es la perturbacion (el superndice 0 identica a una cantidad per-

turbada). Por lo pronto consideramos que es un n umero peque no; poste-
riormente lo redondearemos a 1 y H es el Hamiltoniano real. Ahora escribi-
mos
n
y E
n
como serie de potencias en :

n
=
0
n
+
1
n
+
2

2
n
+ (7)
E
n
= E
0
n
+ E
1
n
+
2
E
2
n
+ (8)
En donde E
1
n
es la correccion a primer orden del n-esimo eigenvalor y

1
n
es la correccion a primer orden de la n-esima eigenfuncion; E
2
n
y
2
n
son
las correcciones a segundo orden y as sucesivamente.
Sustituyendo (7), (8) en 5, tenemos:
(H
0
+ H

)[
0
n
+
1
n
+
2

2
n
+ ]
= (E
0
n
+ E
1
n
+
2
E
2
n
+ )[E
0
n
+ E
1
n
+
2
E
2
n
+ ]
ordenando en potencias de
H
0

0
+ (H
0

1
n
+ H

0
n
) +
2
(H
0

2
n
+ H

1
n
) +
= E
0
n

0
n
+ (E
0
n

1
n
+ E
1
n

0
n
) +
2
(E
0
n

2
n
+ E
1
n

1
n
+ E
2
n

0
n
) + (9)
2
Para el menor orden (
0
), se tiene H
0

0
n
= E
0
n

0
n
, el resultado esperado.
A primer orden (
1
)
H
0

1
n
+ H

0
n
= E
0
n

1
n
+ E
1
n

0
n
(10)
a segundo orden
H
0

2
n
+ H

1
n
= E
0
n

2
n
+ E
1
n

1
n
+ E
2
n

0
n
(11)
y as sucesivamente.
1 Teora a primer orden
Haciendo el producto interior de (10) con
0
n
(multiplicando por (
0
n
)

e
integrando)

0
n
|H
0

1
n
+
0
n
|H

0
n
= E
0
n

0
n
|
1
n
+ E
1
n

0
n
|
0
n

pero como H
0
es hermitico (H
0
= (H
0
)

0
n
H
0
|
1
n
= H
0

0
n
|
1
n
= E
0
n

0
n
|
1
n
= E
0
n

0
n
|
1
n

de forma que se cancela con el primer termino del lado derecho. Ademas

0
n
|
0
n
= 1, por lo tanto
E
1
n
=
0
n
|H

|
0
n
(12)
Reescribiendo (10)
(H
0
E
0
n
)
1
n
= (H

E
1
n
)
0
n
(13)
El lado derecho es una funcion conocida, por lo que (13) es una ecuacion
diferencial no homogenea para
1
n
. Ahora bien, las funciones de onda no per-
turbadas constituyen un conjunto completo, por lo cual
1
n
(como cualquier
otra funcion) puede ser expresado como una combinacion lineal de ellas:

1
n
=

m=n
c
(n)
m

0
m
(14)
El termino m = n no aparece en la suma. Esto puede verse de la siguiente
forma

n
|
n
=

p,q

p
n
|
q
n

n
|
n
=
0
n
|
0
n
+ (
0
n
|
1
n
+
1
n
|
0
n
)
+
2
(
0
n
|
2
n
+
1
n
|
1
n
+
2
n
|
0
n
) +
Como
0
n
forma una base ortonormal,
0
n
|
0
n
= 1 y para que
n
sea un
conjunto ortonormal se requiere que
m
|
n
=
mn
. Entonces
i
n
|
j
n
= 0
para i, j = 0. Donde
i
n
es la correccion de orden i de la eigenfuncion.
Escribiendo la correccion de primer orden como combinacion lineal de
0
n
como en (14):

0
n
|
1
n
=

m
c
(n)
m

0
n
|
0
m

Este producto interior se anula unicamente cuando m = n.

Escribiendo (13) en terminos de (14)
(H
0
E
0
n
)

m=n
c
(n)
m

0
m
= (H

E
1
n
)
0
n
Haciendo el producto interno con
0
k
(k m entonces k = n)

m=n
c
(n)
m

0
k
|(H
0
E
0
n
)
0
m
=
0
k
|(H

E
1
n
)
0
n

desarrollando ambos lados

m=n
c
(n)
m
(
0
k
|H
0

0
m
E
0
n

0
k
|
0
m
) =
0
k
|H

0
n
E
1
n

0
k
|
0
n

como
0
k
son eigenfunciones de H
0
y H
0
es hermtico, entonces

0
k
|H
0

0
m
= H
0

0
k
|
0
m
= E
0
k

0
k
|
0
m

Notando ademas que

0
k
|
0
n
=
kn
, y que H

es hermtico:

m=n
c
(n)
m
(E
0
k
E
0
n
)
km
=
0
k
|H

|
0
n
E
1
n

kn
Exceptuando k = m, todos los miembros de la suma se anulan y como k = n,
el segundo termino del lado derecho tambien se anula.
c
(n)
m
(E
m
E
n
) =
0
m
|H

|
0
n

de donde
c
(n)
m
=

0
m
|H

|
0
n

E
n
E
m
(15)
4
As, la correcion a primer orden de la funcion de onda se escribe como

1
n
=

m=n

0
m
|H

|
0
n

E
n
E
m

0
m
(16)
2 Energas a segundo orden
Siguiendo el procedimiento anterior, tomamos el producto interior de la
ecuacion a segundo orden (11) con
0
n

0
n
|H
0

2
n
+
0
n
|H

1
n
= E
0
n

0
n
|
2
n
+ E
1
n

0
n
|
1
n
+ E
2
n

0
n
|
0
n

Usando nuevamente la hermiticidad de H

0
:

0
n
|H
0

2
n
= H
0

0
n
|
2
n
= E
0
n

0
n
|
2
n

de manera que el primer termino del lado izquierdo de la igualdad cancela

al primer termino del lado derecho. Ademas
0
n
|
0
n
= 1 y, como vimos
anteriormente,
0
n
|
1
n
= 0, entonces
E
2
n
=
0
n
|H

|
1
n
=

m=n
c
(n)
m

0
n
|H

|
0
m
=

m=n

0
m
|H

|
0
n

E
n
E
m

0
n
|H

|
0
m

considerando

0
m
|H

|
0
n

0
n
|H

|
0
m
=
0
m
|H

|
0
n
(
0
m
|H

|
0
n
)

= |
0
m
|H

|
0
n
|
2
E
2
n
=

m=n
|
0
m
|H

|
0
n
|
2
E
n
E
m
(17)
En nuestro caso, la perturbacion H

es
H

=
_
sin(
x
L
), dentro del pozo
0, fuera de el.
(18)
y (
0
)

n
=
0
n
de modo que la correccion a primer orden de la energa es
E
1
n
=
0
n
|H

|
0
n
=
_
L
0
_
_
2
L
sin
_
n
L
x
_
_
2
_
sin
_

L
x
__
dx
=
2
L
_
L
0
sin
2
_
n
L
x
_
sin
_

L
x
_
dx
5
Usando la identidad sin
2
(a) =
1
2
[1 cos(2a)]
E
1
n
=

L
_
L
0
_
1 cos
_
2n
L
x
__
sin
_

L
x
_
dx
=

L
_
L
0
sin
_

L
x
_
dx +

L
_
L
0
cos
_
2n
L
x
_
sin
_

L
x
_
dx
Usando la identidad sin(a) cos(b) =
1
2
[sin(a + b) + sin(a b)], el segundo
termino del lado derecho queda
_
L
0
cos
_
2n
L
x
_
sin
_

L
x
_
dx =
_
L
0
sin
_

L
x
_
cos
_
2n
L
x
_
dx
=
1
2
_
L
0
_
sin
_

L
(1 + 2n)x
_
+ sin
_

L
(1 2n)x
__
dx
=
L
2(1 + 2n)
cos
_

L
(1 + 2n)x
_

L
0

L
2(1 2n)
cos
_

L
(1 2n)x
_

L
0
Evaluando en x = L
cos
_

L
(1 + 2n)L
_
= cos((1 + 2n)) = 1
cos
_

L
(1 2n)L
_
= cos((1 2n)) = 1
Entonces
_
L
0
cos
_
2n
L
x
_
sin
_

L
x
_
dx =
L
2(1 + 2n)
(1 1)
L
2(1 2n)
(1 1)
=
L
(1 + 2n)
+
L
(1 2n)
=
L

_
1 2n + 1 + 2n
1 4n
2
_
=
2L

_
1
1 4n
2
_
Por otro lado
_
L
0
sin
_

L
x
_
dx =
L

cos
_

L
x
_

L
0
=
L

(1 1) =
2L

6
Entonces, la correccion de primer orden para la energa es:
E
1
n
=

L
_
2L

_
+

L
_
2L

_
1
1 4n
2
__
simplicando
E
1
n
=
2

__
1
1 4n
2
_
1
_
(19)
para el estado base E
1
0
= 0.
Para calcular la correccion a segundo orden empleamos (17). Por otro
lado,
E
n
E
m
=

2

2
2mL
2
(n
2
m
2
) (20)
Es necesario calcular el valor de

0
m
|H

|
0
n
=
_
L
0
_
_
2
L
sin
_
m
L
x
_
_
_
sin
_

L
x
__
_
_
2
L
sin
_
n
L
x
_
_
dx
=
2
L
_
L
0
sin
_
m
L
x
_
sin
_
n
L
x
_
sin
_

L
x
_
dx
que podemos integrar por partes
u = sin
_

L
x
_
,
dv = sin
_
m
L
x
_
sin
_
n
L
x
_
dx,
du =

L
cos
_

L
x
_
dx,
v =
_
sin
_
m
L
x
_
sin
_
n
L
x
_
dx
Recordemos que
2
L
_
L
0
sin
_
m
L
x
_
sin
_
n
L
x
_
dx =
0
m
|
0
n
=
mn
Usando la identidad sin(a) sin(b) =
1
2
[cos(a b) cos(a + b)]
v =
1
2
_
_
cos
_

L
(mn)x
_
cos
_

L
(m + n)x
__
dx
=
1
2
_
L
(mn)
sin
_

L
(mn)x
_

L
(m + n)
sin
_

L
(m + n)x
_
_
7
En general sin
_

L
(mn)x
_
se anula en los extremos x = 0, x = L, sin
embargo, cuando m n, es posible vericar, mediante una expansion en
serie de Taylor que
lm
mn
L
(mn)
sin
_

L
(mn)x
_
= x
por lo que al evaluar en los extremos, el unico valor que no se anula ocurre
cuando se cumple esta condicion.
Regresando a la integral:

0
m
|H

|
0
n
=
2
L
_
_

B
0
sin
_

L
x
_
1
2
_
L
(mn)
sin
_

L
(mn)x
_

L
(m + n)
sin
_

L
(m + n)x
_
_

L
0

_
L
0
1
2
_

L
&
(mn)
sin
_

L
(mn)x
_

L
&
(m + n)
sin
_

L
(m + n)x
_
_
&

L
cos
_

L
x
_
dx
_
reordenando

0
m
|H

|
0
n
=

L
_
L
0
_
1
(mn)
sin
_

L
(mn)x
_

1
(m + n)
sin
_

L
(m + n)x
_
_
cos
_

L
x
_
dx
desarrollando la suma

0
m
|H

|
0
n
=

L(mn)
_
L
0
sin
_

L
(mn)x
_
cos
_

L
x
_
dx

L(m + n)
_
L
0
sin
_

L
(m + n)x
_
cos
_

L
x
_
dx
8
Usando nuevamente la identidad sin(a) cos(b) =
1
2
[sin(a + b) + sin(a b)]
_
L
0
sin
_

L
(mn)x
_
cos
_

L
x
_
dx =
1
2
_
L
0
sin
_

L
(mn + 1)x
_
dx
+
1
2
_
L
0
sin
_

L
(mn 1)x
_
dx
=
1
2
_

L
(mn + 1)
cos
_

L
(mn + 1)x
_

L
(mn 1)
cos
_

L
(mn 1)x
_
_
L
0
Evaluando en x = L
cos
_

L
(mn + 1)L
_
= cos ((mn + 1)) = (1)
(mn+1)
cos
_

L
(mn 1)L
_
= cos ((mn 1)) = (1)
(mn1)
sustituyendo en la integral denida
_
L
0
sin
_

L
(mn)x
_
cos
_

L
x
_
dx =
L
2
_

(1)
(mn+1)
(mn + 1)

(1)
(mn1)
(mn 1)
+
1
(mn + 1)
+
1
(mn 1)
_
integrando los signos negativos en el exponente y agrupando
_
L
0
sin
_

L
(mn)x
_
cos
_

L
x
_
dx =
L
2
_
1
(mn + 1)
[1 + (1)
(mn+2)
]
+
1
(mn 1)
[1 + (1)
(mn)
]
_
por otro lado (1)
(mn+2)
= (1)
(mn)
, entonces
_
L
0
sin
_

L
(mn)x
_
cos
_

L
x
_
dx =
L
2
_
1
(mn + 1)
[1 + (1)
(mn)
]
+
1
(mn 1)
[1 + (1)
(mn)
]
_
reagrupando
_
L
0
sin
_

L
(mn)x
_
cos
_

L
x
_
dx =
L
2
_
1
(mn + 1)
+
1
(mn 1)
_
_
1 + (1)
(mn)
_
9
de donde es evidente que los terminos no-nulos cumplen que |m n| = 2k,
con k = 0, 1, 2, . . . De esta forma

0
m
|H

|
0
n
=

L(mn)
L
2
_
1
(mn + 1)
+
1
(mn 1)
_
_
1 + (1)
[mn]
_

L(m + n)
L
2
_
1
(m + n + 1)
+
1
(m + n 1)
_
_
1 + (1)
[m+n]
_
Cancelando y reordenando

0
m
|H

|
0
n
=

2(mn)
_
1
(mn + 1)
+
1
(mn 1)
_
_
1 + (1)
[mn]
_

2(m + n)
_
1
(m + n + 1)
+
1
(m + n 1)
_
_
1 + (1)
[m+n]
_
Para n = 1 se tiene entonces

0
m
|H

|
0
1
=

2(m1)
_
1
m
+
1
(m2)
_
_
1 + (1)
[m1]
_

2(m + 1)
_
1
(m + 2)
+
1
m
_
_
1 + (1)
[m+1]
_
reescribiendo y usando (1)
[m1]
= (1)
[m+1]
= (1)
m

0
m
|H

|
0
1
=
(1 + (1)
[m+1]
)
2(m
2
1)
_
(m + 1)
_
m2 + m
m(m2)
_
(m1)
_
m + 2 + m
m(m + 2)
__
=
(1 + (1)
[m+1]
)

2
$
$
$
$$
(m
2
1)
_
$
$
$
$
(m + 1)
_

2
$
$
$
$
(m1)
m(m2)
_

$
$
$
$
(m1)
_

2
$
$
$
$
(m + 1)
m(m + 2)
__
=

_
1
m(m2)

1
m(m + 2)
_
(1 (1)
m
)
Finalmente, usando m = k, para evitar confusion con la el smbolo de masa:

0
k
|H

|
0
1
=

_
4
k(k
2
4)
_
(1 (1)
k
) (21)
10
Por construccion k = 1. Ademas es evidente que k debe ser impar. Esto
deja k = 3, 5, 7, . . ..
E
2
1
=

k=1
_

_
2
_
_
4
k(k
2
4)
_
2
2mL
2

2
(1 k
2
)
_
(1 (1)
k
)
2
=
32mL
2

k=1
_
(1 (1)
k
)
2
k
2
(k
2
4)
2
(1 k
2
)
_
=
128mL
2

k=3,5,7,...
_
1
k
2
(k
2
4)
2
(1 k
2
)
_
Puede comprobarse que la serie es convergente y que
E
0
1
0.000559578
_
128mL
2

2
_
(22)
11