UTN Facultad Regional Mendoza

Ctedra Anlisis de Seales y Sistemas

El Problema de Sturm Liouville
El problema de Sturm-Liouville establece un entorno de trabajo alrededor de
una ecuacin diferencial lineal de segundo orden con valores en la frontera, de
la cual deriva una variedad de ecuaciones diferenciales muy atractivas como
modelos matemticos de interesantes problemas fsicos y matemticos, cuyas
soluciones poseen propiedades de gran aplicacin. Tal es el caso de las series
de Fourier cuya importancia es capital dentro de las matemticas y el anlisis
de seales, entre otras aplicaciones.
Una forma general de la ecuacin diferencial homognea de segundo orden es:

a(x) y + b(x) y + [c(x) + d(x)] y = 0

Los coeficientes de esta ecuacin son continuos en un cierto intervalo (a,b) y
suponemos adems que a(x) es 0 en dicho intervalo.
Entonces podemos dividir por a(x) para re-escribir la ecuacin diferencial como:

(1)

y + R(x) y + [Q(x) + P(x)] y =0

Si ahora tomamos r(x) = e

R(x) dx

y multiplicamos por r(x) a la (1), se obtiene

fcilmente:

(2)

(r(x) y ) + [q(x) + p(x)] y = 0

(donde q = Q r y p = P r)

La (2) es la ecuacin diferencial de Sturm Liouville.

Supondremos que p(x), q(x), r(x) y r(x) son continuas al menos en (a,b) y que
p(x) y q(x) son positivas en dicho intervalo.
Como qued dicho, varias ecuaciones diferenciales de indudable importancia
encajan en la forma general (2). Tales son las ecuaciones diferenciales de
Bessel, Hermite, Laguerre, Legndre, Jacobi y la del oscilador armnico entre
otras.

Veremos tres alternativas:

a)El Problema de Sturm Liouville Regular

(r(x) y ) + [q(x) + p(x)] y = 0 con condiciones regulares en la frontera:

A1 y(a) + A2 y(a) = 0;
B1 y(b) + B2 y (b)= 0;

A1 y A2 no ambas nulas
B1 y B2 no ambas nulas.

b)El problema peridico de Sturm Liouville.

r(a) = r(b);

y(a) = y(b) ; y(a) = y(b)

c)El Problema singular de Sturm Liouville

Clase 1: r(a) = 0 y no hay condiciones para y(a) mientras que en b:
B1 y(b) + B2 y (b)= 0; B1 y B2 no ambas nulas.
Clase 2 : r(b) =0 y no hay condiciones para y(b), mientras que en a:
A1 y(a) + A2 y(a) = 0; A1 y A2 no ambas nulas.
Clase 3: r(a) = r(b) = 0 y no hay condiciones y(a) ni y(b). Deseamos soluciones
acotadas en [a,b].
Cada uno de estos problemas es un problema con valor en la frontera en el que
se especifican ciertas condiciones en los extremos de un intervalo, en contraste
con los problemas con valor inicial donde se establecen valores de y, de y,
etc., en un punto.
El nmero que se busca es el que arroja soluciones no triviales. Cada funcin
solucin asociada con cada (valor propio o autovalor) es una funcin propia
o autofuncin.
Los problemas con valores en la frontera usualmente no tienen soluciones
nicas. Esto puede extrapolarse para resolver muchos problemas importantes,
como veremos.

En general, los valores propios tienen significado fsico: por ejemplo, en la

ecuacin de onda son las frecuencias naturales de resonancia o modos
fundamentales de vibracin del sistema.
Veamos por ejemplo un problema peridico de Sturm Liouville.

y + y =0

y(L) = y(-L);

y(L) = y(-L).

El intervalo en cuestin aqu es (-L, L).

Comparando esto con la (2) vemos que:
r(x) = 1 pues R(x) = 0; as r(x) = e

R(x) dx

= 1.

De modo que r(-L) = r(L).

a)Considere = 0. y =0 y = C x + d
y(-L) = y(L)= -CL + d = CL +d 2 CL =0 C=0
y = d constante. Luego, = 0 es un valor propio para una solucin y=ctte 0
La solucin no es trivial, pero es cuasi trivial pues un fenmeno constante es
peridico, aunque el perodo est indefinido (puede ser cualquiera).
b) Sea ahora = -k2 ( negativo).
y - k2 y =0

= k y = C1 e

kx

+ C2 e

kx

Aplicando las condiciones de frontera,

(3)

y(L) = C1 e

kL

+ C2 e

kL

= y(-L) = C1 ekL + C2 e kL C1 = C2

Aplicando la segunda condicin de borde:

y(L) = k C1 e
C1 (e

kL

kL

-e

-k C2 e

kL

kL

= y(-L) = kC1 e kL -kC2 e kL

) = C1 (e kL - e kL) C1 = - C1 = 0 y C2 = 0

Luego, < 0 implica una solucin trivial.

c) Sea ahora > 0; = k2

y + k2 y = 0. La solucin de sta es: y(x) = C1 cos kx + C2 sen kx

Aplicando ahora la condicin y(L) = y(-L),
y(L) = C1 cos kL + C2 sen kL = C1 cos kL - C2 sen kL
Esto implica que :
C2 sen kL = 0
Vamos a suponer que

sen kL 0. Esto conducir a una solucin trivial. En

efecto:
Si sen kL 0 entonces C2 = 0
Al imponer la segunda condicin de borde (siempre con sen kL 0) se ve que
y(L) = y(-L) = -k C1 sen kL + kC2 cos kL = kC1 sen kL + kC2 cos kL

Entonces kC1 sen kL = 0. Es decir que C1 = 0

Por lo tanto sen kL debe ser = 0.
kL = n

O sea, k = n /L, vale decir : = (n /L)

As entonces:
yn(x) = C1 cos (n x / L) + C2 sen (n x / L)
Con C1 y C2 no ambas nulas.
Observe que con n=0 nos da el caso a): y0(x) = C1
2

Con n= 0, 1, 2, 3, ... obtenemos las funciones propias para = (n /L)

El Teorema de Sturm Liouville

1- Cada problema regular y cada problema peridico de Sturm Liouville tiene
un nmero infinito real de valores propios distintos.
Si ordenamos de menor a mayor los valores propios se tiene:

n < n+1; es decir

lm n =
n

2- Si n y m son valores propios distintos en cualquiera de los tres problemas

de Sturm Liouville definidos en (a,b) y n(x) y m(x) son las funciones propias
correspondientes, entonces:
b

p(x) n(x) m(x) dx = 0 si m n

[Esto es n(x) y m(x) son ortogonales en (a,b) respecto de la funcin de peso

p(x), cosa que veremos luego con mayor detalle.]
3- Todos los valores propios son nmeros reales.
4- Para un problema regular de Sturm Liouville, dos funciones propias de un
mismo valor propio son linealmente dependientes: una es mltiplo constante de
la otra.
Definicin: Sea p(x) continua en [a,b] y p(x) >0 en (a,b).
1.Sean f(x) y g(x) integrables en [a,b], definimos el producto interno o producto
punto respecto de p(x) como:
b

.g=

p(x) f(x) g(x) dx .

2.Si f y g son ortogonales en [a,b] respecto de p(x) entonces

b

.g=

p(x) f(x) g(x) dx =0

a

Ortogonalidad, (prueba de 2).

Sea

(r(x) n ) + [q(x) + n p(x)] n = 0

(r(x) m ) + [q(x) + m p(x)] m = 0

Multipliquemos la primera por m(x) y la segunda por n(x) y restemos.

(4)

(r(x) n) m - (r(x) m) n = (
m - n) p(x) nm

m n
b

[(r(x) n) m - (r(x) m) n ] dx = (m - n) p(x) nm dx

(5)
a

Si probamos que el primer miembro de (5) es cero, se habr demostrado la

ortogonalidad.
Integrando por partes el primer miembro nos da:
b

r(x) n m a

r(x) n m dx - r(x) m n
a

+ r(x) n m dx =
a

= r(b)n(b)m(b) - r(a) n(a)m(a) - r(b) m(b)n(b) + r(a)m(a) n(a)

Agrupando,

(6)

= r(b)[n(b)m(b) - m(b)n(b)] - r(a) [n(a)m(a) - m(a) n(a)].

Aplicando las condiciones de frontera en a:

A1 n(a) + A2 n(a) =0
A1 m(a) + A2 m(a) =0
Las constantes A1 y A2 son determinables si el determinante principal del
sistema homogneo es nulo.

n(a)

n (a)

m(a)

m (a)

= 0 n(a) m (a) - m(a) n (a) = 0

As, el segundo corchete de (6) es nulo. Del mismo modo se comprueba que el
primer corchete es nulo, aplicando las condiciones de frontera en b.

Como el primer miembro de (5) es nulo y m - n 0 se llega a:

b

p(x) n(x) m(x) dx = 0 si m n

a

Si m = n,
b
2

p(x) n (x) dx 0 a menos que n = 0 (trivial).

a

sta es la norma cuadrado de n respecto de p(x).

*
Los n son reales.
Supongamos que n = + i y

n (x) = u(x) + i v(x)

n* (x) = u(x) iv(x)

n (x) = u(x) + i v(x)
n* (x) = u(x) iv(x)
Anlogamente para *n

n* pues p(x), q(x) y r(x) son reales.

(r(x) *n ) + [q(x) + *n p(x)] *n = 0

Esta surge de conjugar la E D de Sturm Liouville: significa que *n es valor
propio asociado con la funcin propia *n.
Entonces n y *n pueden concebirse como dos funciones propias de valores
propios distintos. Por lo tanto debern ser ortogonales.
b

n n* p(x) dx = 0. Esto significa que

a

n
a

p(x) dx = 0

Como p(x) > 0

Es decir que necesariamente debe cumplirse u2(x) + v2(x) = 0 u(x) = v(x) = 0
Esto implica que n(x) =0.
Vale decir: la suposicin de que el valor propio es complejo nos conduce a una
situacin trivial. En consecuencia, las soluciones con funciones propias no
triviales corresponden a valores propios reales.

n = real.
*
Dos funciones propias con el mismo son linealmente dependientes
Si observamos la (4) con n = m su segundo miembro es nulo.
As obtenemos:

(r(x) n) m - (r(x) m) n =0.

Si integramos por partes entre a y x / x (a,b)
x

(r(t) n) m dt - (r(t) m) n dt =0
a

a
x

r(t) n m

r(t) n m dt [r(t) mn +
a

r(t) n m dt = 0
a

r(x) n(x) m(x) - r(a) n(a) m(a) - r(x) m(x) n(x) + r(a) n(a) m(a) = 0
Agrupando,
r(x) [n(x) m(x) - m(x) n(x)] r(a) [n(a) m(a) - n(a) m(a)] = 0
Pero el corchete evaluado en a es nulo como ya hemos visto. Adems r(x) >0,
Entonces

n(x) m(x) - m(x) n(x) = 0

m(x)
O bien

n(x)

W(x) =

= 0 m(x) y n(x) son linealmente

m(x)

n(x)

dependientes.

La Serie de Fourier como Problema Peridico de Sturm Liouville

Sea
Con

y + y =0
y(-L) = y(L) = 0;

y(-L) = y(L) = 0

En este caso vimos que:

n = (n / L)2 y ahora los extremos a = -L; b = L

yn(x) = An cos (n x/ L) + Bn sen (n x/ L). Por linealidad escribimos:

y(x) =

An cos (n x/ L) + Bn sen (n x/ L) =
n=0

Siendo 1, cos ( x/ L), sen ( x / L), cos (2 x/ L), sen (2 x / L), ... las
aotofunciones.
Aqu p(x) = 1.
Entonces, multiplicando por cos (n x/ L) o por sen (n x/ L) e integrando
entre
L y L se obtienen respectivamente:
L

Ao = 1/2L y(x) dx

para n=0;

-L
L

An = 1/L y(x) cos (n x/ L) dx

-L

Bn = 1/L y(x) sen (n x / L) dx, para n 1

-L

Polinomios Ortogonales
Una vez definido el producto interno entre dos funciones < f , g >, respecto a
una funcin de peso como:
a

(7) < f , g > =

f *(x) g(x) p(x) dx

b

sea ahora un conjunto de polinomios ortogonales {Pn (x)} n=0,

donde Pn (x) es un polinomio de grado n.
Dicho conjunto forma un sistema ortogonal de polinomios con la funcin de
peso p(x) si:
b

Pn(x) Pm(x) p(x) dx = mn Am

a

Donde

mn se la conoce como delta de Krnecker y vale

1 si m=n

y 0 si m n,

y Am = norma del polinomio Pm(x); (A m> 0).

Teorema: sea el conjunto de polinomios ortogonales {Pn (x)}

respecto de p(x). Sea Qk(x) un polinomio cualquiera
entonces P n (x) es ortogonal a Qk(x).
Demostracin:
k

Qk(x) =

av xv;

v
v

tomemos x = bu Pu(x),

v =0

u=0

con bu proporcionales a < x , Pu(x) >.

n=0

en [a,b]

con tal que k < n,

Luego,
k

Qk(x) = av

bu Pu(x),

v =0

u=0
k

< Pn , Qk > =

av bu < Pn, Pu>

v =0

=0

si n > k

u=0

Teorema: Los ceros de los polinomios ortogonales son reales y simples.

Sabemos que:
b

< Qk, Pn+1 > = Q*k Pn+1 p(x) dx =0 k<n

a

Supongamos ahora que Pn+1(x) no tiene races reales (no cruza el eje x).
b

Por lo tanto, si Qk (x) =1;

1 Pn+1 p(x) dx 0
a

pero debe dar cero, en consecuencia tiene al menos una raz real. Sea esa
raz. Tomemos Qk (x) = (x - ); Pn+1(x) = (x - ) Sn(x).
Luego, < Pn+1(x), (x - ) > = 0
b
2

Pero < Pn+1(x), (x - ) > =

(x - ) Sn(x) p(x) dx ser distinto de cero si Sn(x)

a

no tiene raz real. As, como la integral debe dar cero, entonces se deduce que
Sn(x) tiene al menos una raz real. Y as sucesivamente.
En definitiva Pn+1(x) tiene n+1 races reales.
Todas estas races reales son, adems, simples porque, del razonamiento
anterior, se tiene que:
Si m 2:

(x - ) Sn+1-m(x) = Pn+1(x).

Sea Qk(x) = (x - ) Sn+1-m(x). (Analizamos el caso m = impar, dejando por

analoga el caso de m = par). m 3.

Note que: k = n+1 m + 1 = n+1 (m-1) < n+1

b

Qk(x) Pn+1 p(x) dx = 0

a
b
m

(x - ) Sn+1-m(x) (x - ) Sn+1-m(x) p(x) dx

a
b
m+1

(x - )

[Sn+1-m(x)] p(x) dx

es distinto de cero pues m+1 es par y

a
2

el [corchete] y p(x) son positivos. Pero debe dar cero!! porque k < m+1.

< Pn+1(x), Qk(x) > = 0

Esta contradiccin a su vez implica que m no puede ser 2. Entonces las
races son simples.
Propiedades Fundamentales de los Polinomios Ortogonales

Unicidad
Dados el intervalo [a, b] y p(x) > 0, el conjunto de polinomios ortogonales
{Pn(x)}; n = 0, 1, 2,... es nico.
b

Es decir:

Pn(x) Pm(x) p(x) dx

a

Qn(x) Qm(x) p(x) dx

Pn(x) = Qn(x).

n No
(Se trata de un problema de Sturm Liouville: dada una misma p(x) debe haber
una misma solucin).

Recurrencia
Los polinomios ortogonales estn relacionados de tal modo que para tres n
consecutivos Pk-1(x), Pk(x), Pk+1(x) tienen una vinculacin algebraica sencilla.
Probaremos que Pn+1(x) = (an x + bn) Pn(x) cn Pn-1(x).

Fijemos n y dejemos sin subndices a an, bn y cn por sencillez. Entonces

demostraremos que:
Pn+1(x) = (ax+b) Pn(x) c Pn-1(x).
Si ajustamos a para que se cancelen los trminos de grado n+1
a x Pn(x) - Pn+1(x) = Qn(x), polinomio de grado n.
Si ajustamos ahora b para que se cancelen los trminos resultantes de grado
n, quedar un polinomio de grado n-1.
En consecuencia:
n-1

(8) (ax+b) Pn(x) - Pn+1(x) = Rn-1(x) = i Pi(x).

i =0

(Pues todo polinomio Rn-1(x) puede expresarse como combinacin lineal de los
Pi(x) para i = 0, 1, 2,..., n-1).
Elijamos j n-2 para hacer productos internos con Pj(x).
n-1

< (ax+b) Pn(x), Pj(x) > - < Pn+1(x), Pj(x) > = i <Pi(x), Pj(x)> =
i =0

= j < Pj(x), Pj(x) > =j

Pj(x)

=0

Porque

< Pn+1(x), Pj(x) > =0

< ax Pn(x), Pj(x) > = < a Pn(x), xPj(x) > = 0 porque j+1 < n
< b Pn(x), Pj(x) > = 0
Entonces j

Pj(x)

= 0 implica que los j deben ser nulos para todos los

j n-2. As, de la (8), j = 0 para j = 0, 1, ..., n-2

En consecuencia,

(ax+b) Pn(x) - Pn+1(x) = n-1 Pn-1(x). Ahora hagamos c=

n-1

y nos queda

demostrada la relacin de recurrencia.

(9)Pn+1(x) = (ax+b) Pn(x) - c Pn-1(x)

Forma General de la Ecuacin Diferencial Lineal Homognea de

Segundo Orden
Veremos que la expresin general de esta ecuacin puede concebirse con la
forma de Sturm Liouville
(10)P(x) y + Q(x) y + R(x) y = 0
Suponiendo que P(x) no se anula en (a, b), dividimos la (10) y nos queda:
(11) y + Q/P y + R/P y = 0.
Hagamos r(x) = e

Q/P dx

r(x) = Q/P e

Q/P dx

Multiplicando la (11) por r(x) obtenemos:

y r + Q/P. r y + R/P . r y = 0

y r + r y + R/P . r y = 0

Que puede escribirse como (y r ) + R/P . r y = 0 que es la forma de Sturm

Liouville.
Si hacemos finalmente R/P .r = (x) q(x) ;
(12)

(y r) + (
(x) q(x)) y = 0

Por ejemplo, la ecuacin diferencial de Bessel es:

2

x y + x y + ( x - ) y = 0

(x y) + ( x - / x) y = 0 .

Ecuaciones Diferenciales que conducen a Polinomios Ortogonales

Sea Q(x) un polinomio de grado 2 en x.
Sea L(x) un polinomio lineal en x.

La ecuacin diferencial
(13)

Q(x) y + L(x) y + y = 0

Si r(x) = e

L/Q dx

y W(x) = r / Q, las soluciones de la ecuacin diferencial (13)

son polinomios ortogonales. Dependiendo de la forma y grados de L(x) y Q(x)

se obtienen las ecuaciones diferenciales de Legndre, Hermite, Laguerre,
Jacobi, etc. y los polinomios solucin son los polinomios homnimos.
La funcin W(x) es la funcin de peso para ortogonalidad en cada caso.

Frmula de Rodrigues
Una famosa frmula, cuya deduccin es un tanto delicada para colocarla aqu,
es la Frmula de Rodrigues, la cual permite obtener en cada caso los
polinomios antedichos.
sta es:
(14)

Pn (x) = 1 / [en W(x)] { d n / dx n (W(x) [Q(x)]n) } .

El coeficiente en depende de cada caso y figura en las tablas correspondientes

(ver pginas siguientes).

Prepar: Ing. Eduardo S. Serdoch

Mendoza, Julio de 2006

Bibliografa
Matemticas Avanzadas para Ingeniera Quinta Edicin Peter V. ONeil Ed.
Thomson.
Matemticas Avanzadas para Ingeniera Quinta Edicin Vol I Erwin Kreyszig
Ed. Limusa.
Sitio Web Wikipedia: Orthogonal Polynomials; Sturm Liouville Theory, etc.