Ejercicio Optativo: Problema de Sturm-Liouville

1. (a) Un operador diferencial lineal de segundo orden se dice formalmente autoadjunto si es de la forma

Lu =
(pu

+ qu con p, q funciones reales de clase (

1
. Probar que para un tal operador vale

b
a
[(

Lu)(x)v(x) u(x)(

Lv)(x)]dx = p(u

v uv

)[
b
a
.
(b) Sean A, B, C funciones reales con derivadas continuas en un intervalo [a, b], A(x) ,= 0 en [a, b], L la transformacion
lineal que a cada funcion dos veces derivable en [a, b] asocia la funcion Lu = Au

+ Bu

+ Cu, y sea
(x) =
1
[A(x)[
exp

x
B/A

, p = A y q = C. ()
El smbolo

x
B/A signica alguna primitiva de la funcion B/A. Probar que Lu =
1

[(pu

+qu] =
1

Lu, y por lo
tanto

b
a
[(Lu)v u(Lv)]dx = p(u

v uv

)[
b
a
.
(c) Demostrar las siguientes armaciones. Si en el espacio vectorial 1 de las funciones de clase (
2
en el intervalo [a, b],
nulas en los extremos, se considera el producto escalar con peso , u, v

b
a
uv,
i. vale Lu, v

= u, Lv

u, v 1, y por lo tanto,
ii. si Lu = u, Lv = v, con ,= , se tiene que u, v

= 0.
Que pasa si consideramos las otras condiciones de borde dadas en clase?
(d) Vericar que (x) dado en (), para la ecuacion de Legendre
(1 x
2
) u

2 xu

+ ( + 1) u = 0
en el intervalo [1, 1] esta bien denido (a pesar de que esta ecuacion no esta en las condiciones de mas arriba,
pues A se anula en los extremos), y es identicamente igual a 1. Idem para la ecuacion de Hermite
u

2 xu

+ 2 mu = 0
en (, +); en este caso se hallara (x) = e
x
2
.
Nota. Puede verse que, bajo condiciones bastante generales sobre A, B y C, las soluciones no nulas u 1 de la ecuacion
Lu = u, forman un b.o.n. u
n

nN
en G[a, b], respecto del (pseudo)producto escalar ,

. En realidad, tales funciones

son una b.o.n. en un espacio mas grande.
Denamos /
2

[a, b] como el espacio de las funciones de cuadrado integrable (con peso ), i.e. las funciones f sobre [a, b]
tales que existe y es nita la integral
1

b
a
[f (x)[
2
(x) dx. Puede verse que en este espacio las integrales

b
a
f (x) g (x) (x) dx
existen y son nitas, por lo cual la formula
f, g

b
a
f (x) g (x) (x) dx
tambien dene aqu un pseudo-producto escalar. Identicando con cero a los vectores nulos, tenemos el espacio denotado
L
2

[a, b], en el cual ,

dene un producto escalar genuino. Lo interesante es que L

2

[a, b] es un espacio de Hilbert (las

suceciones son convergentes si y solo si son de Cauchy).
El operador diferencial lineal L dado en el ejercicio (el cual dene una transformacion lineal L : (
2
(
0
) se puede
extender a un operador lineal (propiamente dicho, en el sentido que dominio y co-dominio coinciden)
L : L
2

[a, b] L
2

[a, b] .
M as a un (analogamente a lo obtenido en el punto c.i.), se cumple para L que
Lf, g

= f, Lg

, f, g L
2

[a, b] .
A un operador que satisface esta propiedad se le llama autoadjunto o hermtico. En dimension nita vimos que tales
operadores tienen asociada una b.o.n. de autovectores. Lo mismo pasa en un espacio de Hilbert! Concretamente, puede
verse (en analoga a lo visto en el punto c.ii.) que si f y g cumplen Lf = f y Lg = g, con ,= , luego f, g

= 0, o sea:
autovectores correspondientes a autovalores distintos son ortogonales; y que tales autovectores forman una b.o.n.
En resumen, las soluciones de un problema de Sturm-Liouville pueden verse como los autovectores y autovalores de un
operador autoadjunto en un espacio de Hilbert, los cuales, en consecuencia, denen una b.o.n. del espacio en cuestion.
1
La integral aqu considerada no es la integral de Riemann, sino la de Lebesgue, la cual constituye una nocion mas general de integracion,
aplicable a funciones que no son necesariamente acotadas.