Captulo 10.

Problemas singulares de Sturm-Liouville

1

Introduccin

En este captulo consideremos una clase de problemas singulares de Sturm-Liouville

1
(x)

d
d
p (x)
+ q (x) u = u
dx
dx

con

b.

(1.1)

Estos problemas se caracterizan por pertenecer a alguno de los casos siguientes: (i) a o b pueden ser 1 o
+1, respectivamente, (ii) la funcin p (x) se anula en a o b, q (x) es singular en algn punto del intervalo
[a; b]. En cualquier caso tenemos
p (x) ;

(x) > 0

para

x 2 (a; b) .

Los ejemplos siguientes aparecen al resolver algunas ecuaciones diferenciales parciales.

1. La ecuacin

n2
x2

1 1 d
x
+ 1
x dx dx

u= u

con

r0 < 1 .

con = p = x, q = 1 n2 =x2 , aparece al resolver la ecuacin de Laplace en coordenadas polares, cilindricas

p
x se obtiene la ecuacion de Bessel de orden n.
o esfricas Con la nueva variable independiente y =
2. La ecuacin de Legendre
d
1
dx

x2

d
u= u
dx

con

1.

con = 1, p = 1 x2 , q = 0, aparece al resolver el problema de eigenvalores del Laplaciano sobre la esfera

unitaria. p se anula en los extremos del intervalo [ 1; 1].
3. La ecuacin de las funciones adjuntas de Legendre
d
1
dx
con

= 1, p = 1

d
m2
+
u= u
dx 1 x2

x2

x2 , q = m2 = 1

para

1,

x2 .

4. En la ecuacin de Hermite
1
e
tenemos q = 0, y

=p=e

d
e
dx

x2
x2

x2

d
u= u
dx

con

que se anulan en los extremos del eje real.

5. En la ecuacin de Laguerre
1

Au
tenemos q = 0,

=e

y p = xe

e
x

d
xe
dx

d
u= u
dx

con

que anulan en x = 0 y x = 0; 1, respectivamente.

En los ejemplos anteriores el coeciente p (x) se anula en uno o dos de los extremos del intervalo (a; b).
Esto tiene implicaciones que analizaremos por separado. La primera es que las condiciones de frontera con
las cuales el operador diferecial
1
d
d
L=
p (x)
+ q (x)
(1.2)
(x)
dx
dx
1

es simtrico en el espacio L2 (a; b; ), se relajan. La segunda implicacin est en el comportamiento de las

soluciones de la ecuacin de eigenvalores
Lu = u .
(1.3)
Como veremos, si p (x) se anula en un extremo del intervalo (a; b) y una solucin u1 (x) es acotada en dicho
extremo, entonces cualquier otra solucin linealmente independiente u2 (x) diverge en dicho extremo.

Condiciones de simetra en L2 (a; b; )

Las propiedades del operador diferencial L (1.2) pueden estudiarse en el espacio L2 (a; b; ) constituido por
las funciones cuadrado integrables con el producto interior euclideano
Z

hf j gi

f (x) g (x)

(x) dx .

(2.1)

El punto de partida son las identidades de Green. Para cualquier par de funciones f , g, con segundas
derivadas continuas en el intervalo (a; b), se cumplen las relaciones siguientes
D
E
hf j Lgi =
[p f g]
_ ba + f_ j pg_ + hf j qgi (primera identidad de Green)
(2.2a)
h
ib
hf j Lgi
hf j Lgi = p f g_ f_ g
(segunda identidad de Green) . (2.2b)
a

En la relacin (2.2a) aparece el producto interior (2.1) con = 1. La demostracin de este resultado se
obtiene integrando por partes y se deja como ejercicio. De acuerdo (2.2b), el operador L (1.2) es simtrico
con el producto interior h j i si la funcin
h (x)

h
p (x) f (x) g_ (x)

i
f_ (x) g (x)

es cero en ambos extremos. Si p (x) se anula en uno de los extremos del intervalo (a; b) la condicin de
frontera que f y g deben satisfacer en tal extremo, se relaja. Por ejemplo, si tenemos
lim p (x) = 0

x !a

p (b) 6= 0

basta con imponer la condicin de frontera Dirichlet o Neumann en x = b

f (b) = 0 f_ (b) = 0 ,
para obtener h (a) = h (b) = 0, y la consecuente simetra de L
hf j Lgi = hf j Lgi .
Las condiciones de frontera tambin juegan un papel adicional en el control del trmino q (x) cuando ste se
anula en uno de los extremos x = a, b.
Ejercicios. Dar condiciones de frontera con las cuales el operador L asociado a las ecuaciones de Legendre,
Hermite y Laguerre, es simtrico.

Comportamiento de soluciones cerca de un punto singular

Consideremos el problema de eigenvalores (1.3) en la forma

L u=0

(3.1)

con el operador
d d
p
+
q .
dx dx
La ecuacin homognea (3.1) tiene dos soluciones linealmente independientes u1 y u2 ,
L

L u1 = 0 , L u2 = 0 .

(3.2)

(3.3)

Para analizar el comportamiento de tales soluciones en los extremos donde p (x) se anula, supongamos que
p (x) satisface
p (x) > 0

para

p (x) = (x

x 2 (a; b)

(3.3a)

a) ' (x)

(3.3b)

donde ' (x) es contnua y ' (a) 6= 0, es decir, p (x) tiene en x = a un cero de primer orden. Si la funcin u1
es acotada en x = a,
lim ju1 (x) j < 1 ,
(3.4)
x !a

entonces u2 diverge en dicho punto,

lim ju2 (x) j = 1 .

(3.5)

x !a

Para probar este resultado obtengamos una expresin de u2 en trminos de u1 . Multiplicando las ecuaciones
(3.3) por u2 y u1 ,
u2 L u1

u2 [D p Du1 + (

q) u1 ] = 0 ,

u1 L u2

u1 [D p Du2 + (

q) u2 ] = 0 ,

restando miembro a miembro u2 D [pDu1 ]

D=

d
,
dx

u1 D [pDu2 ] = 0 y simplicando, se obtiene

D [p (u2 u_ 1

u1 u_ 2 )] = 0 :

Integrando se obtiene la ecuacin diferencial de primer orden para u2

p (u2 u_ 1
donde aparece el Wronskiano W = u2 u_ 1

u1 u_ 2 ) = c0

(3.6)

u1 u_ 2 . La independencia lineal de u1 , u2 , implica

c0
6= 0
p (x)

W (x) =
de donde se obtiene c0 6= 0. Dividiendo (3.6) entre u21 ,
d u2
=
dx u1

c0
,
p u21

e integrando entre x0 y x se obtiene

u2 (x) = u1 (x)

x0

c0
ds + c1
p (s) u21 (s)
3

para

x0

donde c1 es una constante de integracin que depende de la eleccin de x0 . Supogamos que u1 es nita en
x = a (3.4) y tiene la forma
u1 (x) = (x a)n v (x)
con
n 0
donde v1 (x) es continua y v (a) 6= 0. Escogemos x0 de manera que u1 (x) 6= 0 para a
con la sustitucin de la descomposicin de p (3.3b) nos da
Z x
c0
n
u2 (x) = (x a) v (x) c1
ds .
2n+1
a)
' (s) v 2 (s)
x0 (s

x0 . Esto junto

El teorema del valor medio para integrales establece que existe x entre x y x0 , que
Z x0
Z x0
c0 ds
ds
c0
c2 =
.
In =
= c2
2n+1
2n+1 con
2
' (x) v12 (x)
(s a)
' (s) v (s)
(s a)
x
x
Esto da las expresiones siguientes de las cuales se obtiene (3.5),
(
)
c2 ln xx0 aa
para n = 0
In =
,
y
2n
2n
para n > 0 .
c2 (x0 a) 2n (x a)

lim jIn j = 1 para n

x !a

0,

Veamos la implicacin del comportamiento singular de u2 en un extremo del intervalo (a; b) en la solucin
del problema de eigenvalores (1.3). Consideremos condiciones de frontera que garantizan la simetra del
operador L (1.2) en L2 (a; b; ),
hf jLgi = hLf jgi
para f , g, en un conjunto apropiado D (L). El problema de eigenvalores consiste en hallar los valores de
con los cuales la ecuacin
Lu = u
tiene una solucin no trivial u que satisfaga las condiciones de frontera del conjunto D (L). Por ejemplo, si
tenemos
p (a) = 0
el conjunto D (L) est dado por D (L) =

f 2 L2 (a; b; ) : f (b) = 0 , y el problema de valores propios es

Lu = u

con

u (b) = 0 .

La condicin de frontera sobre u en x = a se reduce a pedir que u sea nita en x = a,

ju (a) j < 1 .
Si

(3.7)

es un eigenvalor la ecuacin homognea

(L

)' = 0

tiene dos soluciones linealmente independientes ' , '

~ , que dan la solucin general
u (x) = c1 ' (x) + c2 '
~ (x) .
Si ' es acotada en x = a, entonces '
~ diverge en x = a por lo que u satisface la condicin de acotacin
(3.7) slo con c2 = 0, esto da
u (x) = ' (x) .
4

Los eigenvalores

se determinan imponiendo la condicin de frontera en x = b.

' (b) = 0 .

Es claro que cada eigenvalor es simple (o no degenerado) ya una eigenfuncin u2 linealmente independiente
de u1 depende de '
~ , la cual diverge en x = a, y por consiguiente u2 no satisface la condicin de acotacin
(3.7). En las secciones siguientes veremos ejemplos donde el problema de eigenvalores
Lun =

n un

con un 2 D (L)

tiene un conjunto de eigenvalores simples

<

<

con
lim

n !1

= +1

y cuyas eigenfunciones un forman una base ortogonal de L2 (a; b; ). Usando la completez del conjunto un
es fcil mostrar que la solucin de la ecuacin
(L

)u = f

con

tiene la forma
u (x) =

u 2 D (L)

6=

G (x; s) f (s) ds

donde
G (x; s) =

1
X
un (s) un (x)

(s) .

n=0

Ejercicio. Demostrar la solucin del problema (L

) u = f con u 2 D (L),

6=

n,

tiene la forma

u (x) = hG (x; s) jf (s)i .

Ecuacin diferencial de Hermite

La ecuacin de Schrdinger para el oscilador armnico conduce a la ecuacin diferencial de Hermite

u00

2xu0 + u = 0

con

1<x<1.

(4.1)

Esta ecuacin tiene la forma autoadjunta

Au

d d
p
u= u
dx dx

con

1 < x < 1, p =

=e

x2

(4.2)

El espacio adecuado para estudiar el operador A es L2 ( 1; 1; ) con cualquiero de los productos interiores
siguientes
Z 1
Z 1
2
2
hf jgi =
f (x) g (x) e x dx o
f (x) g (x) e x dx .
(4.3)
x2

Dado que p = e
se anula en los extremos x = 1 basta con pedir que e
integrables para que el operador A sea simtrico L2 ( 1; 1; ),
hf jAgi = hAf jgi .
5

x2 =2 f ,

x2 =2 g,

sean cuadrado

(4.4a)

La primera identidad de Green (2.2a) toma la forma

D
E
hf jAgi = f_ j g_ .
En el caso de una eigenfuncin u con eigenvalor
no son negativos

obtenemos

(4.4b)
= kuk
_ 2 = kuk2 , por lo que eigenvalores de A

0.

(4.4c)

En el captulo 9 vimos que los poliomios de Hermite

2

Hn (x) = ( 1)n ex
son eigenfunciones del problema (4.2), AHn =
n

n Hn ,

= 2n

dn x
e
dxn

(4.5)

con los eigenvalores

con n = 0; 1; 2; : : : ,

lo que es congruente con (4.4c). Cada eigenvalor n es simple ya que de las dos soluciones linealmente
independientes del problema (4.2), slo los polinomios de Hermite satisfacen la condicin de acotacin
lim

x ! 1

x2

je

Hn (x) j = 0 .

La simetra de A implica la ortogonalidad de los polinomios de Hermite en L2 ( 1; 1; ),

Z 1
2
Hm (x) Hn (x) e x dx = kHn k2 mn ,
hHm jHn i =
1

resultado obtenido en el captulo 9 con las frmulas de Rodrigues y integrando por partes hHm jHn i.
Las funciones
n (x)

=e

x2 =2

Hn (x)

(4.6)

forman una base ortogonal del espacio L2 ( 1; 1) con el producto interior

Z 1
hf jgi =
f (x) g (x) dx .

(4.7)

Sustituyendo Hn = ex

2 =2

en la ecuacin de Hermite (4.2) vemos que

n + x2

con

es solucin del problema

= 2n + 1

(4.8)

el cual aparece al modelar un oscilador armnico por medio de la mecnica cuntica, como veremos enseguida.

Ejercicio. Demostrar que

(4.6) satisface (4.8).

Aplicacin. Oscilador armnico clsico y cuntico

La ecuacin de movimiento de un oscilador clsico con masa m y sujeto a un resorte con constante de fuerza
k es
m
x = kx .
(5.1a)

Reescribiendo obtenemos la ecuacin homognea

2

Lx

x
+! x=0

con

!=

k
,
m

(5.1b)

cuya solucin sujeta a las condiciones iniciales x (0) = x0 , x_ (0) = v0 , es

x (t) = A cos (!t + )
La energa mecnica
1
k
E (t) = mv 2 + x2
2
2
es una constante de movimiento determinada por las condiciones iniciales (x0 ; v0 ),

(5.2)

1
k
E = mv 2 (t) + x2 (t) = E0 .
2
2
Reescribiendo

v 2 (t)
x2 (t)
+
=1
2E0 =m 2E0 =k

(5.3)

se concluye que la trayectoria de la partcula en el espacio fase (con ejes cartesianos x y v) es una elipse.
Dado que x0 y v0 pueden tomar valores arbitrarios, la energa E0 toma valores en el continuo [0; 1).
Ahora consideremos el caso cuntico. La ecuacin de Schdinger asociado al oscilador clsico es
i~

@
=H
@t

1<x<1

(5.4a)

donde j (x; t) j2 es proporcional a la probabilidad de encontrar a la partcula en un punto x en el instante

t. El operador de Schdinger H tiene la forma de la energa clsica
H=T +V ,

T =

p2
2m

(5.4b)

pero ahora el momentum p se reemplaza por el operador diferencial

p=

~ d
.
i dx

(5.4c)

Esto da el operador de Schdinger

~2 d 2
k
+ x2 .
2
2m dx
2
Dado que la probabilidad de hallar a la partcula en cualquier punto del espacio es 1,
Z 1
j (x; t) j2 dx = 1
para todo
t 0.
H=

(5.5)
debe satisfacer
(5.6)

lo que equivale a pedir que

sea cuadrado integrable sobre todo el eje real y por consiguiente el espacio
natural al que debe pertenecer es L2 ( 1; 1) con el producto interior hermitiano
Z 1
hf jgi =
f (x) g (x) dx ,
(5.7)
1

ya que la ecuacin de Schdinger tiene un coeciente complejos,

puede tomar valores complejos.

Para resolver la ecuacin de Schdinger (5.4) resolvemos primero el problema de eigenvalores

H

~2 d 2
k
+ x2
2
2m dx
2

con
7

1<x<1 .

(5.8)

con eigenfunciones en el espacio L2 ( 1; 1). Se deja como ejercicio demostrar que el operador de energa
cintica
~2 d 2
T =
(5.9a)
2m dx2
es simtrico y positivo,
hf jT gi = hT f jgi
~2 _
hf jT f i =
f
2m

(5.9b)
2

0 .

(5.9c)

El operador de multiplicacin V = kx2 =2 es obviamente simtrico

hf jV gi = hV f jgi ,

hf jV f i =

k
kxf k2 > 0
2

para

f 6= 0 .

(5.9d)

Por lo tanto, el operador H = T + V es simtrico y positivo en L2 ( 1; 1),

hf jHgi = hHf jgi ,

hf jHf i > 0 para f 6= 0 .

(5.10)

Estas propiedades implican que los eigenvalores H son nmeros reales positivos estrictamente positivos

> 0.

Para resolver (5.8) introducimos una nueva variable independiente y

x = by

(5.11a)

donde b es una constante por determinar. Si denimos ~ (y)

forma de (4.8),
d2 ~
+ y2 ~ = ~ ~ ;
dy 2

(x) =

(by) la ecuacin (5.8) toma la

(5.11b)

si escogemos
b=

~2
km

1=4

(5.11c)

De acuerdo con la solucin de (4.8),

~ n = 2n + 1 ,

~ (y) = e
n

y 2 =2

Hn (y) , n = 0; 1; 2; : : : ,

los eigenvalores y eigenfunciones del problema (5.8) estan dados por

~2 ~
~2
=
(2n + 1) ,
n = 0; 1; 2; : : : ,
2mb2
2mb2
y 2 =2
Hn (y)
con y = x=b :
n (x) = e
=

(5.12)

En trminos de la frecuencia ! del oscilador clsico (5.1b) podemos escribir

~!
~2
=
2
2mb
2
y los eigenvalores toman la forma usual reportada en la literatura de fsica
n

= ~! n +

1
2

para

n = 0; 1; 2;

(5.13)

La ecuacin de Schdinger (5.4a) es una ecuacin diferencial de primer orden en t cuya solucin est
determinada por la condicin inicial
(x; 0) = 0 (x) .
(5.14)
La completez de la base formada por las eigenfunciones
y 0 tienen los desarrollos
=

1
X

cn (t)

del operador H en L2 ( 1; 1), implica que

n (x) ,

n=0

1
X

c0n

n (x) ,

(5.15a)

n=0

que convergen en la norma k k de L2 ( 1; 1). Sustituyendo estas series en (5.4a), (5.14), obtenemos
cn (t) = c0n e

n t=~

con

c0n =

nj

0i
2

nk

(5.15b)

0 (s)i

(5.16a)

La forma integral de la solucin es

(x; t) =

G (x; s; t)

0 (s) ds

donde
G (x; s; t) =

1
X

n t=~

= hG (x; s; t) j

^ (x) ^ (s)
n
n

(5.16b)

n=0

siendo

^ (x) =
n

(5.17)

nk

las eigenfuncones normalizadas de H. La ecuacin (5.16a) tiene la forma

(x; t) = U (t; t0 )

0 (x)

La energa de la partcula est dada por el valor esperado del operador H:

E = hHi = h

jH

i=

1
X

n=0

2
n jcn j

Ejercicios.
1. Demostrar que el operador p (5.4c) es simtrico en L2 ( 1; 1).
2. Deducir (5.11c) .
3. Demostrar (5.15b).
4. Demostrar (5.16a) y (5.16b).
5. Demostrar (5.18).

(5.18)

Ecuacin de Legendre

La ecuacin diferencial de Legendre es el problema de eigenvalores

1

x2 u

2xu_ + u = 0

con

1<x<1.

(6.1)

La forma autoadjunta es
Au

d
1
dx

x2

d
u= u
dx

1 < x < 1 , con

p=1

x2 ,

=1.

(6.2a)

Dado que p se anula en los extremos del intervalo ( 1; 1), las condiciones de frontera se reducen a pedir que
u sea acotada en x = 1,
ju ( 1)j < 1 .
(6.2b)
De acuerdo con la segunda identidad de Green (2.2b) el operador
d
1
dx

A=

x2

d
dx

(6.3)

es simtrico en L2 ( 1; 1) con el producto interior

Z 1
hf jgi =
f (x) g (x) dx ;

(6.4)

ya que satisface
hf jAgi = hAf jgi

para cualquier par f , g, en L2 ( 1; 1) .

(6.5a)

La primera identidad de Green (2.2a) da las relaciones siguientes de las cuales se concluye que los eigenvalores
de A no son negativos
D
E
1=2 _ 2
hf jAgi = f_jpg_
, hf jAf i = 1 x2
f
0 .
(6.5b)
En el captulo 9 vimos que los polinomios de Legendre denidos por las frmulas de Rodrigues
( 1)n
Pn (x) =
n!2n

d
dx

x2

n = 0; 1; 2; : : : ,

(6.6)

satisfacen la ecuacin (6.2),

d
1
dx

x2

d
Pn = n (n + 1) Pn
dx

(6.7)

donde identicamos a los eigenvalores

n

= n (n + 1)

(6.8)

los cuales son reales y no negativos, como era de esperarse. Para cada eigenvalor n la ecuacin (6.7)
tiene dos soluciones linealmente independientes de las cuales slo el polinomio Pn satisface la condicin de
acotacin (6.2b), la otra solucin diverge en x = 1 y, en consecuencia, cada eigenvalor n es simple. La
simetra de A implica que el conjunto Pn es ortogonal en L2 ( 1; 1),
Z 1
hPm jPn i =
Pm (x) Pn (x) dx = mn kPn k2 .
(6.9)
1

Este resultado se obtuvo en el captulo 9 con las frmulas de Rodriges (6.6). Usando (6.6) o relaciones de
recurrencia entre los polinomios Pn se obtiene la norma
kPn k2 =

2
.
2n + 1

10

(6.10)

Ejercicios.
1. Usar la simetra de A para demostar (6.9).
2. Demostrar (6.9), (6.10), por integracin directa de las frmulas de Rodrigues.
3. Demostrar que cualquier solucin u2 de (6.7) linealmente independiente de Pn , diverge en x =

1.

Funciones adjuntas de Legendre

El problema de valores propios

Am u

d
1
dx

x2

d
m2
u= u
+
dx 1 x2

con

1 < x < 1 , m = 0, 1, 2, . . . ,

(7.1)

aparece al calcular los eigenvalores y eigenfunciones del operador de Laplace sobre la esfera unitaria. Este
es un problema singular de Sturm-Liouville por que p = 1 x2 se anula en x = 1 y la funcin
q=
es singular en x =

m2
1 x2

(7.2)

1. El primer trmino en (7.1) es el operador de la ecuacin de Legendre (6.2a),

d
1
dx

A=

x2

d
,
dx

el cual es simtrico en L2 ( 1; 1) con el producto interior (6.4) [ec. (6.5a)]. El trmino con q impone
restricciones a las funciones sobre las cuales puede actuar cada operador Am . Para que el producto q (x) f (x)
sea cuadrado integrable la funcin f debe ser de la forma
f = w(x) v (x)
donde v (x) es continua y w(x) tiende a 0 ms rpido que 1
lim

x! 1

(7.3a)
x2 cuando x tiende a

1,

w(x)
<1.
1 x2

(7.3b)

Con esta restriccin cada operador Am satisface

h f j Am g i = h Am f j g i
D
E
hf jAm gi =
f_jpg_ + hf jqgi

(7.4a)
(7.4b)

para f , g, con la forma (7.3). La relacin (7.4b) implica que los eigenvalores de cada operador Am no son
negativos.
Consideremos la solucin del problema de eigenvalores (7.1) para cada operador Am . De acuerdo (7.3),
las eigenfunciones u se buscan en la forma
u= 1

x2

m=2

v (x)

con

v ( 1) 6= 0:

(7.5a)

Sustituyendo en (7.1) se obtiene

1

x2

D2 v

2 (m + 1) x Dv + [

m (m + 1)] v = 0 ,

D=

d
.
dx

(7.5b)

Esta es la ecuacin que se obtiene al derivar m veces la ecuacin de Legendre (6.1). En efecto, escribamos
(6.7) en la forma
1 x2 D2 Pn 2xDPn + n Pn = 0
con
1<x<1.
11

y apliquemos el operador Dm ,
Dm

x2

2Dm [xDPn ] +

D 2 Pn

nD

Pn = 0

con

1<x<1.

(7.6)

Usando la regla de Leibnitz

m
X
m
D [f g ]=
k

h
Dk 1

k=0

Dk f

Dm

Dm

obtenemos
D

2
X
m
=
k

D Pn

k=0

x2

D 2 Pn

, usando Dm

D2 = D2 Dm

D2 [Dm Pn ] + m [ 2x] D [Dm Pn ] + m (m 1) [ 2] [Dm Pn ] ,

1
i
X
m h k i h m k
Dm [xDPn ] =
D x
D
DPn = x D [Dm Pn ] + m [1] [Dm Pn ] .
k
=

x2

(7.7a)
(7.7b)

k=0

Sustituyendo en (7.6) se obtiene

1

x2

D2 [Dm Pn ]

2 (m + 1) x D [Dm Pn ] + [

m (m + 1)] Dm Pn = 0 .

(7.7c)

que la ecuacin (7.5a), por lo tanto = n (n + 1), v = Dm Pn . En esta forma, conclumos que las as
llamadas funciones adjuntas de Legendre
Pn(m)

x2

m=2

D m Pn

con

n = m, m + 1, m + 2, . . .

(7.8)

son las eigenfunciones del operador Am (7.1),

Am Pn(m) =

Pn(m)

con

= n (n + 1) , n = m, m + 1, m + 2; : : : .

(7.9)

(m)

De las dos soluciones linealmente independientes de la ecuacin (7.9), slo Pn es acotada en x = 1, la

otra solucin diverge en x = 1, por lo que cada eigenvalor n es simple. La simetra de Am implica la
ortogonalidad de funciones adjuntas con el mismo valor de m y diferente n
D
E Z 1
2
(m)
(m)
Pn(m) jPn0
=
Pn(m) Pn0 dx = nn0 Pn(m)
.
(7.10)
1

o
n
(m) 1
El conjunto Pn

n=m

es una base ortogonal completa de L2 ( 1; 1), por que el conjunto fDm Pn g1

n=m
1

m=2

es una combinacin de la base cannica xk k=0 y la funcin 1 x2

es un operador acotado. Debe
(m)
notarse que slo para valores pares de m las funciones adjuntas Pn son polinomios.
Usando las frmulas de Rodrigues para Pn podemos escribir
Pn(m) = ( 1)n

1
1
n!2n

x2

m=2

Dm+n 1
(m)

x2

(7.11)

Lo que constituye en s misma una frmula de Rodrigues para Pn . A partir de (7.11) se obtiene, integrando
por partes, la norma
2
2 (n + m)!
Pn(m) =
(n m) .
(7.12)
2n + 1 (n m)!
Ejercicios.
1. Usar (7.4b) para demostrar que los eigenvalores de Am no so negativos.
2. Vericar detalladamente las ecuaciones (7.5b) a (7.7c).
3. Usar la frmula de Rodrigues (7.11) para obtener (7.12)
12

Ecuacin de Laguerre

La solucin de la ecuacin de Schdinger independiente del tiempo para el tomo de Hidrgeno conduce al
problema de eigenvalores llamado ecuacin de Laguerre
x
u + (1

x) u_ + u = 0

con

0<x<1.

(8.1)

La forma adjunta de la ecuacin es

Au

1
e

d
xe
dx

d
u= u
dx

con

p = xe

=e

, q=0.

El espacio de Hilbert en el cual A es un operador simtrico es L2 (0; 1; ) con el producto interior

Z 1
f (x) g (x) e x dx .
hf jgi =

(8.2)

(8.3)

Dado que p se anula en los extremos del intervalo [0; 1), operador A debe actuar sobre funciones f (x) que
tienen un valor nito en x = 0 ,
j f (0) j < 1 ,
(8.4a)
y satisfacen
jf (x)j2 e

lim

x !1

=0.

(8.4b)

Esto incluye a cualquier funcin polinomial. Sobre este conjunto de funciones el operador A satisface las
relaciones
hf jAgi = hAf jgi ,
hf jAf i 0 ,
(8.5)
de donde se concluye que los eigenvalores

de A son nmeros reales no negativos (

0).

Las eigenfunciones de A son los polinomios de Laguerre dados por las frmulas de Rodrigues
Ln =

1 x
e
n!

d
dx

xn e

con

n = 0; 1; 2; : : : .

(8.6)

En efecto, en la seccin 7 del captulo 9 mostramos que Ln satisface

ALn =

Ln

con

=n.

(8.7)

Cada eigenvalor n es simple, ya que de las dos soluciones linealmente independientes de (8.7), slo Ln
satisface la condicin de acotacin (8.4a). La simetra de A implica que el conjunto fLn g1
n=0 es ortogonal
x
en L2 (0; 1; e ),
hLm jLn i = kLm k2 mn .
(8.8)
Este resultado se obtiene con las frmulas de Rodrigues e integrando por partes. El mismo procedimiento
permite obtener
kLn k2 = 1 .
(8.9)
Ejercicios.
1. Usar la simetra de A para demostrar (8.8).
2. Demostrar (8.8), (8.9), por integracin directa de las frmulas de Rodrigues.
3. Demostrar que cualquier solucin u2 de (8.7) linealmente independiente de Ln , diverge en x = 0.

13

Ecuacin asociada de Laguerre

La ecuacin asociada de Laguerre es

x
u + (s + 1

s+1
2

x) u_ +

u=0

con 0

1.

(9.1)

La forma autoadjunta de la ecuacin es

Au

1
xs e x

d s+1
x e
dx

d
s+1
u= u
+
dx
2

donde tenemos
p = xs+1 e
con s >

= xs e

, q=

s+1
2

1. El operador A es simtrico en L2 (0; 1; ) con el producto interior

Z 1
f (x) g (x) xs e x dx .
hf jgi =

(9.2)

(9.3)

(9.4)

Dado que p se anula en los extremos del intervalo [0; 1), el dominio D (A) del operador admite funciones
acotadas en x = 0
jf (0) j < 1
y que satisfagan
lim xs e

x !1

f (x) = 0

lo que incluye a cualquier polinomio en x.

Los polinomios generalizados de Laguerre
Lsn (x)

1 s x
x e
n!

son eigenfunciones del opeador A (9.2) con eigenvalor

A Lsn =

d
dx

s
sn Ln

xn+s e

sn

(9.5a)

= n,

con

sn

=n .

(9.5b)

Para demostrar esta armacin introduciremos la funcin

g = xn+s e

(9.6a)

Derivndola n + 2 veces y usando la regla de Leibnitz se encuentra que la funcin

v = Dn g ,

D=

d
,
dx

(9.6b)

satisface la ecuacin
xv 00 + (x + 1

s) v 0 + (n + 1) v = 0 .

(9.6c)

Calculando las derivadas de

1 s x
x e v
n!
y tomando en cuenta la ecuacin (9.6c) que satisface v, se concluye que Lsn satisface (9.5b) en la forma
Lsn =

x (Lsn )00 + (s + 1

x) (Lsn )0 + nLsn = 0 .
14

(9.7)

2
La simetra del operador A implica que el conjunto fLsn g1
n=0 es ortogonal en L (0; 1; ) ,
Z 1
s
s
Lsm Lsn xs e x dx = kLsm k2 nm .
hLm jLn i =

(9.8)

Otro camino para demostrar (9.8) es usar las frmulas de Rodrigues (9.5a), camino que nos da
kLsm k2 =

(n + s + 1)
.
n!

(9.9)

La relacin de ortogonalidad (9.8) implica que las funciones

s
n

= xs=2 e

x=2 s
n (x)

s
n (x)

con

Lsn
kLsn k

son ortogonales en el espacio L2 (0; 1) con el producto interior

Z 1
hf jgi =
f (x) g (x) dx .

(9.10)

(9.11)

Sustituyendo
Lsn (x) = x
en (9.7) se concluye que las funciones

s=2 x=2

kLsn k

s
n (x)

son soluciones del problema de valores propios

x
s2
d d
x
+ +
dx dx 4 4x

s
n

s
n

s
n

(9.12)

con valores propios

s
n

=n+

s+1
2

para n = 0; 1; 2; : : : .

(9.13)

Ejercicios.
1. Vericar los pasos (9.6a), (9.6b), (9.6c), para llegar a (9.7). Usar la simetra de A para demostrar (9.8).
2. Demostrar que cualquier solucin u2 de (9.7) linealmente independiente de Lsn , diverge en x = 0.
3. Vericar que sn (9.10) satisface (9.12).

15

10

Solucin de ecuaciones por series, ecuaciones de Euler y Bessel

En esta parte daremos los resultados principales sobre soluciones de una ecuacin diferencial lineal de segundo
orden por series de potencias. Consideremos la ecuacin
Lu = p0 (x) u00 + p1 (x) u0 + p2 (x) u = 0 .
En secciones anteriores hemos visto que el problema fundamental para resolver problemas de valores iniciales
o de frontera de la forma Lu = f , es hallar un par de soluciones linealmente independientes u1 , u2 , de la
ecuacin homognea
Lu = 0 :
El primer resultado que tenemos para calcular u1 ; u2 es el siguiente.
Teorema 1. Si los coecientes p0 (x) ; p1 (x) ; p2 (x) y p0 (x) 6= 0 son funciones analticas alrededor del punto
x0 entonces existe una solucin por series
u (x) =

1
X

x0 )k :

ak (x

k=0

Si imponemos las condiciones iniciales

0

u1 (x0 ) = 1

u1 (x0 ) = 0

u2 (x0 ) = 0

u2 (x0 ) = 1

obtenemos dos soluciones linealmente independientes de la forma

u1 (x) = a0 = 1 +
u2 (x) =

ak (x

xk )k

k=0

ak (x

xk )k :

k=1

Un punto x0 se llama punto ordinario si satisface

p0 (x0 ) 6= 0
y los coecientes p0 (x) ; p1 (x) ; p2 (x) son analticos alrededor de x0 . Supongamos que tenemos
p (x0 ) = 0
pero las relaciones
p1 (x)
p0 (x)
p
2 (x)
xk )2
p0 (x)

lim (x

xk )

x !x0

lim (x

x !x0

= nito
= nito ;

entonces el punto x0 se llama regular singular. La ecuacin de Euler

00

x2 u + bxu + bu = 0
donde a; b; c son constantes, es el tipo ms sencillo de ecuacin con x = 0 como punto regular singular.
16

La ecuacin de Euler es importante ya que el comportamiento de sus dos soluciones linealmente independientes u1 (x) y u2 (x) alrededor del punto singular regular x = 0, es similar al comportamiento que
presentan las soluciones del caso general con coecientes variables.
Consideremos que a; b son nmeros reales. La solucin de la ecuacin de Euler tiene la forma
u = xk :
Sustituyendo en la ecuacin se obtiene una ecuacin cuadrtica para el exponente r
r (r

1) + ar + b = 0

r2 + r (a
cuya solucin es
r=
Denamos
1. Si (a

(a
1)2

1)2

(a

1)

1) + b = 0
q

1)2

(a

4b :

4b. Tenemos los casos siguientes

4b > 0, entonces hay dos races reales distintas

p

r1 =

(a

1)

r2 =

(a

1) +

y el conjunto de soluciones
u1 = xr1

u2 = xr2

forma una base del ker (L).

2. Si

= 0, tenemos una raz r1 mltiple que nos da una solucin

u1 (x) = xr1 :

Una solucin u2 (x) linealmente independiente de u1 (x) tiene la forma

u2 (x) = v (x) u1 (x)
y est dada por
u2 (x) = xr1 ln x :
El par de soluciones u1 ; u2 nos permite ilustrar el Lema 1 de la seccin anterior. Si r1 > 0, entonces
ju1 (x = 0) j = 0 ;
mientras que
lim u2 (x) =

x !0

17

1:

3. Para

< 0, las races r1 ; r2 son complejas. En este caso

u1 = xr

u2 = xr2

son linealmente independientes. Una forma real de tales soluciones se obtiene con la identidad
xr1 = er1 ln x

con r1 =

+i

lo cual nos da
xr1

= e(

+i ) ln x

= eln x ei

ln x

= x [cos ( ln x) + isin ( ln x)] ;

de donde obtenemos el par de soluciones linealmente independientes
u1 (x) = x cos ( Ln x)
u2 (x) = x sen ( Ln x) :
Ahora consideremos el caso general de una ecuacin con un punto sigular regular x0 .
Teorema 1. Si x = 0 es un punto regular singular de la ecuacin
00

p0 (x) u + p1 (x) u0 + p2 (x) = 0 ;

entonces existe una solucin en series con la forma siguiente
r

u1 (x) = x

1
X

ak (r) xk

k=0

donde r y ak son constantes.

De acuerdo con el teorema anterior, el problema se reduce a encontrar otra solucin u2 (x) linealmente
independiente a u1 (x). La sustitucin de la serie anterior en la ecuacin da una ecuacin cuadrtica (llamada
ecuacin indicial o ndice)
r2 + ar + b = 0 ;
una de cuyas races r1 da la serie correspondiente a u1 (x). Supongamos que r2 es la otra raz y satisface
r2 r1 . Entonces tenemos los casos siguientes
1. Si r1

r2 no es un entero entonces
u2 (x) = xr2

1
X

ak (r2 ) xk

k=0

2. Si r1 = r2 entonces
u2 (x) = u1 (x) ln x + xr1

1
X

bn (r1 ) xk

k=0

Nuevamente este resultado ilustra el teorema 1. Si tenemos ju1 (0) j < 1 entonces
lim ju2 (x) j = 1

x !0

18

3. Si

= N es un entero positivo entonces

r2
1 u1 (x) ln x + x

u2 (x) = d

1
X

dk (r2 )xk :

k=0

Nos concentraremos en ilustrar los casos anteriores con la ecuacin de Bessel. La ecuacin de Bessel
de orden p (que es un nmero real no negativo) es
00

x2 u + xu + x2

p2 u = 0 :

Dado que x = 0 es un punto regular singular, existe una solucin de la forma

X
u (x) = xr
akxk =Pk=0 ak xr+k
k=0

sustituyendo las expresiones

u

ak (r + k) xr+k

k=0

00

1) xr+k

ak (r + k) (r + k

k=0

en la ecuacin, se obtiene
a0 r2

i
Xn h
ak (r + k)2
p2 xr+1 +

h
p2 xr + a2 (r + 1)2

k=2

i
p2 + ak

=0

lo que da el sistema de ecuaciones para los coecientes

a0 r2

p2

= 0

a1 (r + 1)2 p2 = 0
i
h
ak (r + k)2 p2 + ak 2 = 0 :

Si a0 6= 0, obtenemos la ecuacin indicial

r2

p2 = 0

r=

p:

1
y es inmediato que a0 genera al conjunto fa2k g1
k=0 y a1 genera al conjunto fa2k+1 gk=0 .

Consideremos r = p; (> 0); entonces la primera solucin u1 (x) es

X
u1 (x) =
a2k xp+k ,
k=0

donde
a2k =

1
a2k
22 k (k + p)

= ( 1)k

22k k! (p

(k = 1; 2; 3;

1
+ 1)

(p + k)

Para reescribir lo anterior con la funcin gama

(s) =

xs+1 e

19

dx

a0 :

la cual tiene la propiedad

(s + 1) = s (s)

para

s 6=

(p + 1) (p + 2)

(p + k) =

1; 2;

As tenemos

Deniendo
a0 =

a2k = ( 1)k

1
(p + 1)

2p

obtenemos

(p + k + 1) :

1
;
(p + 1) (p + k + 1)

k!22k+p

y la llamada funcin de Bessel de primera clase de orden p

Jp (x)

1
X

( 1)k

k=0

x
k! (p + 1) (p + k + 1) 2
1

2k+p

La otra raz de la ecuacin indicial es

r=

p:

Si p no es nmero entero, entonces la serie

J

p (x)

1
X
k=0

( 1)k
x
(k + 1) (k p + 1) 2

2k p

es la segunda solucin linealmente independiente de Jp (x). As, la solucin general de la ecuacin de Bessel
es
u (x) = c1 J p (x) + c2 Jp (x) :
Es claro que Jp (x) es acotada en x = 0,
Jp (0) = 0 ,
mientras que J

p (x)

diverge en dicho punto

lim jJ

x !0

p (x) j

= 1;

como era de esperarse.

La derivacin directa de la serie de Jp (x) de las relaciones de recurrencia
d Jp
dx xp
d p
[x Jp ]
dx
pJp
0
Jp
x
pJp
0
+ Jp
x

Jp+1
;
xp

= xp Jp

1;

= Jp+1
= Jp+1 ;

sumando y restando las dos ltimas relaciones tenemos

Jp+1 + Jp

Jp+1

Jp

20

2p
Jp
x
2Jp0 :

El clculo de las eigenfunciones del operador laplaciano dentro o fuera de un cilindro conduce al problema
1 d du n2
r
+ 2u=
r dr dr
r
donde n = 0; 1; 2; 3;

con

r0 o r0

. El problema est planteado en su forma autoadjunta con

p (r) = (r) = r

q (r) =

n2
.
r

Consideremos primero el problema en el intervalo f inito

0

r0

con condicin de frontera Dirichlet en r = r0

u (r0 ) = 0 .
La condicin en r = 0 puede reducirse a la acotacin en el origen
ju (0) j < 1

lim jru (0) j < 0 :

r !0

Con estas condiciones de frontera el operador

Au

1 d d
n2
r + 2 u
r dr dr
r

es simtrico en L2 (0; r; r) con el producto interior euclidiano

Z r0
hf jgi =
f (r) g (r) rdr :
0

Se deja como ejercicio que A es positivo,

hf jAf i
Por lo que los eigenvalores

para

f (r0 ) = 0 ;

de A son no negativos. Es decir, si

Au =

con

es un nmero (real) con el cual la ecuacin

ju (0) j < 1

tiene una solucin no trivial u 6= 0, entonces

u (r0 ) = 0

0:

Para resolver el problema de valores propios para A, reescribimos la ecuacin en la forma

n2
r2

1 d du
r
+
r dr dr
Introduciendo la nueva variable independiente
p
x=

u = 0:

x
r=p

y la nueva funcin
J (x)

u (r) = u
21

x
p

la ecuacin toma la forma

p
x
en la cual

p d
dx

x
p

p d
dx

J+

n2

n2
x2

J =0

x2

J = 0;

se cancela, para dar

1 d dJ
x
+ 1
x dx dx

que es la ecuacin de Bessel de orden n,

00

x2 Jn + xJn + x2

n2 Jn = 0

cuya solucin son las funciones Bessel Jn de orden n. De las dos soluciones linealmente independientes slo
la funcin
1
X
( 1)k
x 2k+n
Jn (x) =
(k + 1) (k + n + 1) 2
k=0

es acotada en x = 0, a saber,

Jn=0 (0) = 1
y
Jn>0 (0) = 0 :

22