Revista Mexicana de Fsica

Sociedad Mexicana de Fsica

rmf@smf2.fciencias.unam.mx
ISSN (Versin impresa): 0035-001X
MXICO




2005
G. S. Pogosyan / L. E. Vicent / K. B. Wolf
EL LMITE DEL OSCILADOR CUNTICO A LA PARTCULA LIBRE
Revista Mexicana de Fsica, junio, ao/vol. 51, nmero enseanza 1
Sociedad Mexicana de Fsica
Distrito Federal, Mxico
pp. 18-22




Red de Revistas Cientficas de Amrica Latina y el Caribe, Espaa y Portugal
Universidad Autnoma del Estado de Mxico

ENSE

NANZA REVISTA MEXICANA DE F

ISICA E 51 (1) 1822 JUNIO 2005

El lmite del oscilador cu antico a la partcula libre
G.S. Pogosyan, L.E. Vicent y K.B. Wolf
Centro de Ciencias Fsicas, Universidad Nacional Aut onoma de M exico,
Apartado Postal 48-3, 62251 Cuernavaca, Morelos
Recibido el 15 de octubre de 2004; aceptado el 26 de enero de 2005
Cuando permitimos que la constante de Hooke de un oscilador arm onico tienda a cero, el sistema se vuelve libre. Examinamos este lmite
en el contexto de la mec anica cu antica, donde los valores cuantizados de la energa se acumulan en un continuo y donde las funciones de
Hermite se vuelven ondas planas.
Descriptores: Oscilador arm onico; lmites regulaes; ondas planas.
When we let the Hooke constant of a harmonic oscillator tend to zero, the system becomes free. We examine this limit in the context of
quantum mechanics, where the quantized energy values accumulate to a continuum, and where the Hermite functions become plane waves.
Keywords: Harmonic oscillator; regular limits; plane waves.
PACS: 02.30.Mv; 03.65.Db
1. Introducci on: los sistemas cl asicos
El oscilador arm onico cl asico es un sistema mec anico cuya
fuerza de restituci on q es proporcional, por la constante
de Hooke , a la separaci on q entre el punto masa y el cen-
tro del oscilador. Su energa es
E
clasica
=
1
2
p
2
+

2
q
2
0, (1)
y su valor oscila en el tiempo entre el sumando cin etico
(proporcional a p
2
) y el sumando potencial (proporcional
a q
2
); pero su suma, la energa total (1), es constante. El
movimiento de su posici on q(t) (as como su momento
p(t)=dq(t)/dt) es arm onico, es decir, su trayectoria es una
sinusoide:
q(t) = q
max
sen(t +),
q
max
(E, ) : =
_
2E

,
: =
_

, (2)
donde el punto de retorno q
max
y la fase est an determinadas
por las condiciones iniciales.
Cuando la fuerza de restituci on de un oscilador se debili-
ta hasta desaparecer (es decir, su constante de Hooke tiende
a cero, 0), el sistema se convierte en una partcula libre,
cuya energa es toda cin etica,
F
clasica
=
1
2
p
2
0. (3)
En este artculo consideraremos el lmite de una suce-
si on de osciladores, etiquetados por j {1, 2, . . .}, cu-
yos par ametros de Hooke son
j
=
1
/j, de modo que
lm
j

j
= 0. Las trayectorias q
(j)
(t) formar an una suce-
si on correspondiente de sinusoides cuyas amplitudes q
(j)
max
y
perodos (
(j)
)
1
en (2) crecen proporcionales a j
1/2
.
El lmite de estas trayectorias en mec anica cl asica son
lneas rectas.
En mec anica cu antica unidimensional, un potencial no-
singular cuya contraparte cl asica mantenga a las partculas
en un intervalo nito (compacto), gozar a de un espectro dis-
creto y no-degenerado y el del oscilador arm onico adem as
es igualmente espaciado. Entretanto, la partcula cu antica li-
bre despliega un continuo de energas (cero y positivas); para
cada valor (excepto cero), las funciones seno y coseno son
las dos soluciones degeneradas en energa y distinguidas por
su paridad [1]. Para examinar el proceso de lmite de una su-
cesi on de osciladores cu anticos al sistema libre debemos re-
emplazar el argumento somero del caso cl asico anterior, por
una observaci on m as cuidadosa de c omo las energas discre-
tas de los osciladores tienden a un continuo, y de c omo las
funciones de onda de Hermite limitan a las funciones trigo-
nom etricas.
El lmite libre del oscilador arm onico y otros lmites si-
milares, aunque aparecen como f ormulas entre funciones es-
peciales en tablas [2], no hemos encontrado menci on de es-
te caso concreto en los textos de mec anica cu antica. Aqu,
nuestro prop osito es analizar la contracci on que sufren siste-
mas cu anticos que denominaremos discretos o compactos
a lmites continuos o no-compactos mediante este ejemplo
distinguido. En la Sec. 2 recordaremos los sistemas cu anticos
correspondientes; las t acticas para probar el lmite ser an ex-
puestas en la Sec. 3 y aplicadas en la Sec. 4. Comentaremos el
contexto de esta en otras contracciones an alogas en la Sec. 5.
2. Ecuaciones, energas y funciones de onda
La ecuaci on de Schr odinger del oscilador arm onico
cu antico, sus soluciones
n
(q, ) de cuadrado integrable y
valores propios de la energa, son bien conocidos [1]:
_

2
2
d
2
dq
2
+

2
2
q
2
_

n
(q, ) = E
n
()
n
(q, ), (4)
EL L

IMITE DEL OSCILADOR CU

ANTICO A LA PART

ICULA LIBRE 19
:=
_
/, E
n
() = (n +
1
2
),
n {0, 1, 2, . . .}. (5)
La posici on q tiene unidades de distancia y las funciones de
onda normalizadas [v ease abajo (8)] tienen unidades de raz
de distancia inversa. Denimos la variable y funciones de on-
da sin dimensiones
x := q
_

,
n
(x) :=
_

_
1/4

n
(q, ), (6)
que resuelven la Ec. (4) en t erminos de una funci on gaussiana
decreciente y polinomios de Hermite H
n
(x). Ellas son

n
(x) =
1
_
n! 2
n

e
x
2
/2
H
n
(x), (7)
y la normalizaci on (sin unidades) es tal que

dx(
n
(x))

n
(x) =
n,n

dq (
n
(q, ))

n
(q, ). (8)
En el lmite, cuando la constante de Hooke se ha hecho
cero, el sistema es libre, y las funciones de onda del sistema
obedecen la ecuaci on de Schr odinger de ese sistema,

2
2
d
2
dq
2

(q) = F

(q), F

= ,
q
2

2
0. (9)
Las soluciones de paridad denida por {+, } son las
funciones seno y coseno, cuya normalizaci on se hace de ma-
nera que su integral sobre q no tenga unidades como en (6)
y (8). Esto se logra redeniendo

p
(q) : =
_

1
4

(q), p : =+
_
2, =
p
2
2
, (10)
donde es conveniente usar el par ametro p de momento, y las
funciones trigonom etricas

+
p
(q) =
1

cos
pq

p
(q) =
1

sen
pq

. (11)
La normalizaci on de estas funciones es en el sentido de Dirac,

dq (

p
(q) )

p
(q) =
,
(p p

)
=

dq (

(q))

(q), (12)
y tiene unidades de distancia, la cual se puede comparar
con (8). (Las normalizaciones de Dirac deben probarse con
cuidado, integrando ambos miembros de la ecuaci on anterior
en compa na con funciones suaves de decrecimiento r apido,
con un intercambio cuidadoso de integrales [3]).
3. Expresiones apropiadas para el lmite
Analizaremos primero las energas de una secuencia de osci-
ladores cuyas constantes de Hooke {
j
}

j=1
tienden a cero.
Ser a m as conveniente usar las frecuencias
{}

j=1
,
j
:=
_

j
/,
en t erminos de las cuales los niveles de energa E
n
(
j
) es-
tar an dados por (5); estos son igualmente espaciados, con
una separaci on constante
j
, decreciente con j, y un ni-
vel base (1/2)
j
0 al cual colapsar an todos los esta-
dos con n nita. Cuando escogemos y jamos una energa
nita positiva para la partcula libre, F

= en (9), una se-

cuencia de osciladores
n
en niveles n crecientes que tienden
asint oticamente a esa energa es
E
n
(
n
)
n
n F

.
Por ello, la secuencia que escogemos consistir a de nive-
les n cada vez m as altos, en osciladores cada vez m as an-
chos:
n
/n. En consecuencia, adoptaremos la secuen-
cia
n
= /n (n 1), porque es la m as sencilla de tratar
analticamente.
Escogimos la base de funciones seno y coseno
en (11) porque tienen paridad denida,

p
(q)=

p
(q),
as como la tienen las funciones de Hermite en (7),

n
(x) = (1)
n

n
(x), en cada oscilador en la secuencia.
Sera err oneo escoger, por ejemplo, las ondas viajeras

p
(q) =
+
p
(q) i

p
(q) exp(ipq/),
pues la secuencia no convergera a ellas. Similarmente, cier-
tas formas funcionales son m as apropiadas que otras para evi-
denciar el lmite que nos ocupa. En la funci on de onda (7),
el factor gaussiano e
x
2
/2
= exp(
n
q
2
/2) tiene clara-
mente el lmite 1 cuando n , pero el lmite n
de los polinomios de Hermite H
n
(x) no aparece bien de-
nido. El m etodo de an alisis que ofrecemos en este artculo
consiste en reescribir los polinomios de Hermite como se-
ries hipergeom etricas conuentes, o funciones de Kummer
1
F
1
(a; b; z) = M(a, b, z) [4], cuyas propiedades asint oticas
se prestan optimamente para este prop osito. Sus expresiones
son [4]:
H
n
(x) =
_

_
(1)
1
2
n
n!
(
1
2
n)!
1
F
1
(
1
2
n;
1
2
; x
2
), n par,
(1)
1
2
(n1)
n!
(
1
2
(n 1))!
2x
1
F
1
(
1
2
(n 1);
3
2
; x
2
), n impar,
(13)
Rev. Mex. Fs. E 51 (1) (2005) 1822
20 G.S. POGOSYAN, L.E. VICENT Y K.B. WOLF
donde para toda N 0 entera (nivel n par o impar),
1
F
1
(N; b; x
2
) :=
N

k=0
k factores
..
(N)(1 N)(2 N) (k N 1)
b(b + 1)(b + 2) (b +k 1)
. .
k factores
x
2k
k!
, (14)
la serie se corta y la funci on es un polinomio de grado N.
Los denominadores en (13)(14) ser an, para b = 1/2
y 3/2, son
para b = 1/2 :
1
2

3
2

1
2
(2k1) 12 k = (2k)!/2
2k
, (15)
para b = 3/2 :
3
2

5
2

1
2
(2k+1) 12 k = (2k+1)!/2
2k
. (16)
En cuanto a los numeradores, cuando N crece y al mismo
tiempo hacemos decrecer la escala del argumento deniendo
x =: y/2

N, los sumandos en (14) con (15) y (16) ser an

asint oticamente (1)
k
y
2k
/(2k)! y (1)
k
y
2k+1
/(2k + 1)!,
habiendo desaparecido todos los factores de N. As vemos
que los lmites de las secuencias hipergeom etricas son clara-
mente
lm
N
1
F
1
_
N;
1
2
; y
2
/4N
_
= cos y, (17)
lm
N
1
F
1
_
N;
3
2
; y
2
/4N
_
= sen y
_
y, (18)
y convergen en todo el plano complejo |y| < .
Como
1
F
1
(a; b; 0) = 1, podemos vericar que H
n
(0)
(comparando con la Ref. 4), est a dado correctamente por
los prefactores en (13). En particular, notamos que las fa-
ses (1)
n/2
y (1)
(n1)/2
solamente reejan la denici on
hist orica de los polinomios de Hermite, cuyos signos en el
origen alternan, mientras que las funciones trigonom etricas
son cos 0 = 1 = lm
y0
siny/y. El factor de normalizaci on
y los resultados de (15)(16) requieren la f ormula asint otica
de Stirling [4] en su forma (2N)!/(N!)
2

N 2
2N+1
/

N;
con ella probamos
n = 2m par:
_
(2m)!
m! 2
m

1
4

m
1

1
4
, (19)
n = 2m+1 impar:
_
(2m+ 1)!
m! 2
m+
1
2

1
4

m
1

m
+
1
4
. (20)
Recordamos que para n impar, en (13) a un es necesario mul-
tiplicar la serie hipergeom etrica por 2x = y/

n, por lo que
las constantes frente a las funciones trigonom etricas (20) ten-
dr an el mismo comportamiento asint otico n
1/4
/

, tan-
to en el caso de n par como en el impar.
4. Comportamiento del lmite
Los desarrollos de la secci on anterior implican, para la fun-
ci on de onda (7) cuyo argumento es x = y/2

n, que
lm
m
m
1/4
(1)
m

2m
_
y
2

2m
_
=
1

cos y,
n = 2m, (21)
lm
m
m
1/4
(1)
m

2m+1
_
y
2

2m+1
_
=
1

seny,
n = 2m+1, (22)
donde las frecuencias y los argumentos son

n
=

n
, x =
y
2

n
= q
_

n
= q
p
2

n
, y =
pq

.
(23)
En consecuencia, hemos probado la contracci on deseada para
las funciones de onda fsicas
n
(q;
n
), en la forma
lm
n
(
1
2
n)
1/4
(1)
n/2

n
(q;
n
) =
+

(q),
n par, (24)
lm
n
(
1
2
[n1])
1/4
(1)
(n1)/2

n1
(q;
n1
) =

(q),
n impar, (25)
con
n
= /n. La norma de las funciones en la secuencia es
n , de modo que la integral (8) converge a (12) en el
sentido esperado.
En la Fig. 1 mostramos el lmite que nos ocupa para
estados pares (izquierda) e impares (derecha) del oscilador
arm onico. Sus funciones sin unidades
n
(x) est an gracadas
con una escala horizontal determinada por las cotas del mo-
vimiento cl asico, q
max
=
_
2E/ x
(n)
max
=

2n + 1, y
una escala vertical com un. En cada gr aca a partir de n = 4
indicamos un rect angulo cuyo ancho es 4n
1/2
y cuyo al-
to es 2n
1/4
. El contenido de este rect angulo converge a las
funciones trigonom etricas en el intervalo 4 y 4.
5. Contexto y conclusiones
Hemos probado analticamente que las funciones de onda del
oscilador arm onico cu antico, {
n
(q,
n
)}

n=0
en (6)(7), las
cuales forman una base numerable y ortonormal en sentido de
Kronecker bajo la integral (8), cuando n se contraen a
Rev. Mex. Fs. E 51 (1) (2005) 1822
EL L

IMITE DEL OSCILADOR CU

ANTICO A LA PART

ICULA LIBRE 21
FIGURA 1. Funciones de onda del oscilador arm onico cu antico,
n
(x) para n par (izquierda) y para n impar (derecha), representando los
lmites de las secuencias (21) y (22), respectivamente. La escala horizontal en x es tal que lneas verticales son las cotas del movimiento
cl asico, x
(n)
max
=

2n + 1. En cada gr aca (a partir de n = 4) hay un rect angulo de ancho 4n

1/2
y alto 2n
1/4
, cuyo contenido converge,
conforme n , a la funci on coseno y seno respectivamente, en su intervalo 4 y 4.
las funciones de onda de la partcula libre, {

p
(q)}
{+,}
p
+
en (10)(11), las cuales forman una base ortonormal en sen-
tido de Dirac (12), en la forma descrita por (21) y (22). El
lmite fue probado representando los polinomios de Hermite
como funciones hipergeom etricas conuentes.
Existe una gran variedad de contracciones de sistemas
ligados a sistemas libres que tambi en se pueden tratar con
m etodos como el detallado aqu. Tales son los osciladores
arm onicos unidimensionales con barrera centrfuga, cuyos
potenciales son 1/2(x
2
+ /x
2
), x > 0.

Estos se con-
traer an a partculas libres con potenciales centrfugos so-
los, 1/2/x
2
. Estas contracciones establecer an que secuen-
cias de funciones de Laguerre tienen por lmite las funciones
de Bessel de ordenes relacionados con , para > 1/4.
Las funciones de Whittaker estar an en el lmite cuando
1/4 < < 3/4 (intervalo excepcional, espectro acotado
Rev. Mex. Fs. E 51 (1) (2005) 1822
22 G.S. POGOSYAN, L.E. VICENT Y K.B. WOLF
por debajo) y 1/4 (caso centrpeto fuerte, espectro no
acotado por debajo). All los espectros no son unicos, pues
hay una familia uniparam etrica de extensiones autoadjuntas
para el operador hamiltoniano de Schr odinger, cuyos espec-
tros no son igualmente espaciados.
Asimismo podemos inquirir sobre otros sistemas, como
los osciladores repulsivos, cuyo potencial invierte el signo del
arm onico, x
2
, cuyo espectro es un doble contnuo clasi-
cado por energa E y paridad {+, }, y cuyas fun-
ciones de onda son de cilindro parab olico [3]. Cuando 0,
la barrera que representa el potencial para las ondas viajeras
de energa negativa se vuelve cada vez m as ancha; como all
las funciones de onda decaen exponencialmente, en el lmite
todas se volver an cero. Solamente las soluciones de energa
positiva tendr an lmite a funciones trigonom etricas. El lmite
a la funci on de Airy ocurre cerca del punto de retorno cl asico
y tambi en es de inter es [5]. Estas contracciones pueden pre-
sentar otras dicultades t acticas que mereceran un estudio
monogr aco.
En realidad, todas las contracciones mencionadas arriba
(y algunas m as) son casos particulares contenidos en el grupo
de transformaciones relativistas en 2+1 dimensiones, cuando
dejamos que la velocidad de la luz aumente al innito, co-
mo lo hicieron

In on u y Wigner en 1953, en el artculo On
the contraction of groups and their representations [6]. Un
grupo homomorfo a ese es el de matrices reales de 2 2,
que describe los sistemas mec anicos cl asicos y cu anticos
(y opticos geom etricos, ondulatorios y cu anticos!) llamados
cuadr aticos; estos incluyen a los osciladores arm onico y re-
pulsivo (v ease por ejemplo [7]: The unitary irreducible re-
presentations of SL(2,) in all subgroup reductions). Todas
las funciones propias de estos sistemas involucran funciones
hipergeom etricas gaussianas y conuentes. Dentro de este es-
quema podemos estar seguros que los lmites existir an, y para
determinarlos analticamente hemos propuesto aqu el uso de
una serie apropiada para este objetivo particular.
Agradecimientos
Es un gusto agradecer comentarios de Natig M. Atakishiyev
(Instituto de Matem aticas, UNAM/Cuernavaca) y de Jamil Da-
boul (Departamento de Fsica, Universidad Ben Gurion, Beer
Sheva), dando fe del apoyo de la DGAPAUNAM al proyec-
to PAPIIT 102603

Optica Matem atica, as como la beca de
posgrado de L.E.V. contenida en el proyecto SEPCONACYT
44845 del mismo nombre.
1. S. Fl ugge, Problems in Quantum Mechanics (Springer-Verlag,
Heidelberg, 1971).
2. I.S. Gradshteyn y I.N. Ryzhik, Tables of Integrals, Series and
Products (Academic Press, San Diego CA, 6
a
edici on: 2000).
3. K.B. Wolf, Integral Transforms in Science and Engineering
(Plenum Publ. Corp., Nueva York, 1979).
4. M. Abramowitz y I.A. Stegun Handbook of Mathematical
Functions (Natl. Bureau of Standards, 1964).
5. J. Daboul, G.S. Pogosyan y K.B. Wolf (trabajo sometido a pu-
blicaci on).
6. E. In on u y E.P. Wigner, Proc. Natl. Acad. Sci. U.S. 39 (1953)
510.
7. D. Basu y K.B. Wolf, J. Math. Phys. 23 (1982) 189.
Rev. Mex. Fs. E 51 (1) (2005) 1822