Teora de Sturm-Liouville

En matemticas, una ecuacin de Sturm-Liouville, que toma su nombre de Jacques Charles

Franois Sturm (1803-1855) y Joseph Liouville (1809-1882), es una ecuacin diferencial lineal
de segundo orden de la forma
(1)
donde las funciones y son positivas y q(x) es real. En el caso ms simple, estas funciones
son continuas en un intervalo finito cerrado , en el que, por lo general, se definen
unas condiciones de contorno o frontera, es decir, se concretan unos valores especficos que
adoptan las funciones y en los extremos de dicho intervalo. La funcin es llamada funcin de
densidad o funcin peso.
El valor de no se especifica en la ecuacin. De hecho, el encontrar los valores para los que
exista una solucin no trivial de la ecuacin que satisfaga las condiciones de frontera se
denomina el problema de Sturm-Liouville (S-L).
Tales valores de son llamados valores propios o eigenvalores del problema de S-L que
plantea (1) conjuntamente con las condiciones de frontera. Las soluciones correspondientes
son las funciones propias o las eigenfunciones o los eigenvectores del problema. Bajo
suposiciones normales en los coeficientes de las funciones , estas
inducen operadores diferenciales hermticos en algunas funciones definidas por las
condiciones de frontera. La teora resultante de la existencia y el comportamiento asinttico de
los valores propios, la teora cualitativa correspondiente de las funciones propias y sus
funciones adecuadas completas se conoce como teora de Sturm-Liouville. Esta teora es
importante en matemtica aplicada, donde los problemas S-L ocurren muy comnmente,
particularmente al resolver ecuaciones diferenciales parciales con separacin de variables.
ndice
[ocultar]

1Teora de Sturm-Liouville

2Forma de Sturm-Liouville
o

2.1Ejemplos

3Operadores diferenciales Sturm-Liouville

4Ejemplo

5Aplicacin a los modos de vibracin normales

6Operadores de Sturm-Liouville como operadores Hermticos

7Representacin de Soluciones y Clculo Numrico

o

7.1Construccin de una solucin que no se anula

8Vase tambin

9Referencias
o

9.1Bibliografa

Teora de Sturm-Liouville[editar]
Cuando las condiciones de frontera son regulares de la forma
(2)
(3)
donde es diferenciable, las funciones son continuas y las funciones son positivas sobre el
intervalo , y los valores estn en el intervalo la teora nos indica que

Los valores propios del problema de S-L, son valores reales

y bien ordenados en el sentido de que .

A cada valor propio le corresponde una nica funcin

propia que tiene exactamente ceros en la frontera .

Las funciones propias son mutuamente ortogonales y

satisfacen la relacin de ortogonalidad

(4)
donde es la funcin de peso.

Un conjunto ortonormal puede ser formado si el conjunto de

funciones propias satisface la relacin de ortonormalidad:

(5)
donde es la delta de Kronecker.

Los valores propios del problema de S-L pueden ser

caracterizados por el cociente de Rayleigh

Forma de Sturm-Liouville[editar]
La ecuacin diferencial
se dice que es de la forma de S-L o de la forma autoadjunta. Toda ecuacin diferencial
ordinaria lineal de segundo orden puede ser llevada a esta forma al multiplicarle un factor
integrante apropiado.

Ejemplos[editar]

La ecuacin de Bessel:
puede ser escrita en la forma de S-L as:

La ecuacin de Legendre:

puede ser transformada fcilmente en una forma de

Sturm-Lioville, ya que ; as la ecuacin de Legendre
equivalente es:

Otro ejemplo simple es una ecuacin diferencial de la

forma:
Si dividimos por tenemos:
Multiplicando por un factor integrante:
nos da
que puede ponerse fcilmente en la forma de S-L as:

En general, dada una ecuacin

diferencial
dividida para , multiplicada por un factor integrante
tenemos la forma de S-L:

Operadores
diferenciales SturmLiouville[editar]
El operador lineal:
(6)
puede ser visto como la
transformacin de una funcin en
otra funcin . Se puede estudiar este
operador lineal en el contexto
del anlisis funcional. Si
ponemos en la ecuacin (1),
podemos escribirla:
(7)
Este es precisamente un problema
de valores propios; donde se trata de
hallar valores propios y vectores
propios del operador . Sin embargo,
tambin se debe incluir las
condiciones de frontera. Como
ejemplo se dir que vamos a evaluar
el problema en el intervalo y se
pondr las condiciones de frontera .
La importancia de problemas de
valores propios esta en el hecho que
nos ayuda a resolver problemas
asociados inhomogneos:
en el intervalo
en 0 y 1.

Aqu es la funcin en el espacio . Si

una solucin existe y es nica, se la
puede escribir de la forma:
porque la transformacin de a debe
ser lineal. Ahora se observa que el
hallar los vectores propios y los
valores propios de es esencialmente
lo mismo que hallar los vectores y
valores propios de . Efectivamente,
si es un vector propio de con
valores propios debe existir un que
tambin es vector propio de con
valores propios .

Ejemplo[editar]
Se busca una funcin u(x) que
resuelva el siguiente problema S-L:
(8)
en donde las incgnitas son y u(x).
Tomemos por ejemplo las
condiciones de frontera
y observemos que si k es
cualquier entero, entonces la
funcin
es una solucin con
eigenvalor = k2. Sabemos
que las soluciones de un
problema S-L forman una
base ortogonal, y de la teora
de las series de Fourier
sabemos que este conjunto
de funciones sinusoidales es
una base ortogonal. Dado
que las bases ortogonales
por definicin son mximas,
concluimos que este
problema S-L no tiene ms
eigenvectores.
Con base en esto
resolvamos el problema
inhomogneo
con y con las mismas
condiciones de frontera.
En este caso debemos
poner f(x) = x en formas
de serie de Fourier. El
lector puede verificar,
sea integrando
exp(ikx)x dx o

consultando una tabla de

transformadas de
Fourier, que
Esta serie de
Fourier es
problemtica por sus
malas propiedades
de convergencia: no
est claro a priori si
converge
puntualmente. Por el
hecho (de la teora
de anlisis de
Fourier) que los
coefientes
soncuadradosumables, la serie
converge en L2, lo
cual basta para la
presente discusin.
Mencionamos para
el lector interesado
que podemos aplicar
un resultado que
dice que la serie de
Fourier converge en
cada punto de
diferenciabilidad, y
en los puntos de
salto (por ejemplo (la
funcin x,
considerada como
funcin peridica,
tiene un salto en n)
converge al
promedio de los
lmites izquierdo y
derecho.
Por lo tanto, por la
frmula (8)
obtenemos que la
solucin es
Podramos
haber
encontrado la
solucin con
antidiferenciaci
n. Esta tcnica
da u=(x3-2x)/6,
cuya serie de
Fourier
concuerda con

la solucin que
encontramos. La
tcnica de
antidiferencin
generalmente no
es til para las
ecuaciones
diferenciales de
varias variables.

Aplicacin
a los
modos de
vibracin
normales[e
ditar]
Ciertas ecuacion
es en derivadas
parciales puede
n resolverse con
la ayuda de la
teora de S-L.
Supongamos
que nos
interesan los
modos de
vibracin de una
membrana
delgada,
sostenida en un
marco
rectangular,
0xL1, 0yL2.
El
desplazamiento
vertical W(x, y, t)
de la membrana
es gobernada
por la ecuacin
de onda:
El mtodo
de separaci
n de
variables su
giere buscar
primero
soluciones
de la forma
sencilla W =
X(x) Y(y)

 T(t). Para
una tal
funcin W la
ecuacin en
derivadas
parciales
puede
escribirse
como X"/X +
Y"/Y =
(1/c2)T"/T.
Dado que
los tres
trminos de
esta
ecuacin
son
funciones
de x,y,t por
separado,
deben ser
constantes.
Por ejemplo,
el primer
trmino
da X"=
X donde es
constante.
Las
condiciones
de frontera
("sostenida
en un marco
rectangular")
son W=0
cuando x=0,
L1 y =
0, L2 lo cual
define los
problemas
de S-L lo
ms
sencillos
posibles
como en el
ejemplo y
dan las
"soluciones
de modos
normales"
para W con
dependencia

armnica del
tiempo,
donde
m,n son
enteros
no
nulos, A
mn son
constant
es
arbitrari
as y
Las
func
ione
sW
mn fo
rma
n
una
bas
e
del
esp
acio
de
Hilb
ert d
e
solu
cion
es
(gen
erali
zad
as)
de
la
ecu
aci
n de
ond
a;
eso
es,
una
solu
cin
arbit
raria
Wp
ued

e
des
com
pon
erse
com
o
sum
a de
esto
s
mod
os,
que
vibr
an a
frec
uen
cias
indiv
idua
les .
Esta
repr
ese
ntac
in
pue
de
requ
erir
una
sum
a
infini
ta c
onv
erge
nte.

Op
er
ad
or
es
de
St
ur
m-

Li
ou
vill
e
co
m
o
op
er
ad
or
es
He
rm
ti
co
s[e
dita
r]
Muc
has
de
las
prop
ieda
des
de
los
oper
ador
es
de
S-L
vien
en
del
hec
ho
que
esto
s
son
oper
ador

es
her
mti
cos
con
resp
ecto
al
prod
ucto
inter
no:
Y
as
los
valo
res
prop
ios
de
los
oper
ador
es
de
S-L
son
real
es y
que
las
func
ione
s
prop
ias
corr
esp
ond
en a
difer
ente
s
valo
res
prop
ios
son
orto
gon
ales
.

Re
pr
es
en
tac
i
n
de
So
luc
io
ne
sy
C
lcu
lo
Nu
m
ric
o[e
dita
r]
La
ecu
aci
n de
S-L
(1)
con
con
dicio
nes
de
front
era
pue
de
reso
lver
se
en
la

prc
tica
por
una
vari
eda
d de
mt
odo
s
num
ric
os.
En
cas
os
difci
les
pue
de
ser
nec
esar
io
lleva
ra
cab
o
los
clc
ulos
inter
med
ios
con
vari
os
cien
tos
de
dgit
os
deci
mal
es
para
logr
ar
los
eige
nval
ores
corr

ecta
men
te a
una
s
cua
ntas
cifra
s.
1.
Mt
odo
s de
disp
aro.1
2
Est
os
mt
odo
s
func
iona
n
adivi
nan
do
un
valo
r
de
,
reso
lvien
do
un
prob
lem
a en
valo
res
inici
ales
defi
nido
por
las
con
dicio
nes
de
front
era
en

un
extr
emo
,
diga
mos
a,
del
inter
valo
[a,b]
,
com
para
ndo
el
valo
r
que
esta
solu
cin
tom
a en
el
otro
extr
emo
b co
n la
otra
con
dici
n de
front
era
des
ead
ay
final
men
te
aum
enta
ndo
o
redu
cien
do
seg
n
sea
nec

esar
io
para
corr
egir
el
valo
r
origi
nal.
Esta
estr
ateg
ia
no
es
aplic
able
para
enc
ontr
ar
eige
nval
ores
com
plej
os.
2. M
tod
o de
Dife
renc
ias
Finit
as.
3. El
mt
odo
de
Seri
es
de
Pote
ncia
s
del
Par
me
tro
Esp
ectr

al3 (
SPP
S
por
sus
sigla
s en
ingl
s)
aplic
a
una
gen
erali
zaci
n
del
sigui
ente
hec
ho
sobr
e
las
ecu
acio
nes
en
deri
vad
as
ordi
nari
as
de
seg
und
o
orde
n:
si y
es
una
solu
cin
que
no
se
anul
a en
ning
n
punt

o de
[a,b]
,
ento
nce
s la
func
in
e
s
u
n
a
s
o
l
u
c
i

n
d
e
l
a
m
i
s
m
a
e
c
u
a
c
i

n
y
e
s
l
i

n
e
a
l
m
e
n
t
e
i
n
d
e
p
e
n
d
i
e
n
t
e
d
e
y
.
A
d
e
m

s
,
t
o
d
a
s
l
a
s
s
o
l
u
c

i
o
n
e
s
s
o
n
c
o
m
b
i
n
a
c
i
o
n
e
s
l
i
n
e
a
l
e
s
d
e
e
s
t
a
s
d
o
s
s
o
l
u
c
i
o

n
e
s
.
E
n
e
l
a
l
g
o
r
i
t
m
o
S
P
P
S
,
u
n
o
d
e
b
e
c
o
m
e
n
z
a
r
c
o
n
u
n
v
a

l
o
r
a
r
b
i
t
r
a
r
i
o

0
*

(
a
m
e
n
u
d
o

0
*

=
0
;
n
o
t
i
e
n
e
q
u
e
s
e
r
u

n
e
i
g
e
n
v
a
l
o
r
)
y
c
o
n
c
u
a
l
q
u
i
e
r
s
o
l
u
c
i

n
y
0

d
e
(
1
)
c
o
n

0
*

l
a
c
u
a
l
n
o
s
e
a
n
u
l
e
e
n
[
a
,
b
]
.
(
D
i
s
c
u
s
i

n
a
b
a
j
o
s
o

b
r
e
m
a
n
e
r
a
s
d
e
e
n
c
o
n
t
r
a
r
y
0

0
*

a
p
r
o
p
i
a
d
o
s
.
)
D
o
s
s
u
c

e
s
i
o
n
e
s
d
e
f
u
n
c
i
o
n
e
s
X
(
n
)

(
t
)
,
X
~
(
n
)

(
t
)
e
n
[
a
,
b
]
,
q
u
e

s
e
l
l
a
m
a
r

n
i
n
t
e
g
r
a
l
e
s
i
t
e
r
a
d
a
s
,
s
e
d
e
f
i
n
e
n
d
e
m
a
n
e
r
a

r
e
c
u
r
s
i
v
a
c
o
m
o
s
i
g
u
e
.
P
r
i
m
e
r
o
,
c
u
a
n
d
o
n
=
0
,
s
e
t
o
m
a
n

i
g
u
a
l
e
s
a
1
i
d

n
t
i
c
a
m
e
n
t
e
e
n
[
a
,
b
]
.
P
a
r
a
o
b
t
e
n
e
r
l
a
s

s
i
g
u
i
e
n
t
e
s
f
u
n
c
i
o
n
e
s
s
e
m
u
l
t
i
p
l
i
c
a
n
a
l
t
e
r
n
a
t
i
v
a
m
e
n
t
e

p
o
r
1
/
(
p
'
y
0
2

)
y
w
'
y
0
2

y
l
u
e
g
o
s
e
i
n
t
e
g
r
a
n
,
e
s
p
e
c

f
i
c
a

m
e
n
t
e
(9
)
para
n im
par,
para
n pa
r,
(10
)
para
n im
par,
para
n pa
r,
c
u
a
n
d
o
n
>
0
.
L
a
s
i
n
t
e
g
r
a
l
e
s

i
t
e
r
a
d
a
s
a
s

o
b
t
e
n
i
d
a
s
s
e
a
p
l
i
c
a
n
a
h
o
r
a
c
o
m
o
c
o
e
f
i
c
i
e

n
t
e
s
e
n
l
a
s
d
o
s
s
i
g
u
i
e
n
t
e
s
s
e
r
i
e
s
d
e
p
o
t
e
n
c
i
a
s
e
n

y .
Ent
onc
es
par
a
cua
lqui
er
(rea
lo
co
mpl
ejo)
, u0
y u1
son
sol
uci
one
s
line
alm
ent
e
dep
end
ient
es
de
la
ecu
aci
n
(1)
corr
esp
ond
ient
e.
(La
s
fun
cio
nes
p(x)
y q(
x)
part
icip
an
en
est

a
con
stru
cci
n
de
for
ma
imp
lcit
a
por
su
infl
uen
cia
en
la
ele
cci
n
de
y0.)
Aho
ra
se
esc
oge
n
coe
ficie
nte
s c0
, c1
de
ma
ner
a
que
la
co
mbi
nac
in
y=c
0u0
+ c1
u1 s
atis
fag
a la
pri
mer

a
con
dici
n
de
fron
tera
(2).
Est
o
es
fcil
de
hac
er
por
que
X(n)
(a)
=0
yX
~(n)

(a)
=0,
par
an
>0.
Los
val
ore
s
de
X(n)
(b)
yX
~(n)

(b)
dan
los
val
ore
s
de
u0(
b)
y u1
(b)
y
de
las
deri
vad
as

u0'(
b)
y u1
'(b),
ent
onc
es
la
seg
und
a
con
dici
n
de
fron
tera
(3)
se
con
vier
te
en
una
seri
e
de
pot
enc
ias
en
.
Par
a el
trab
ajo
nu
mr
ico
uno
pue
de
trun
car
est
a
seri
ea
un
n
mer
o
finit

o
de
tr
min
os
y
obt
ene
r un
poli
no
mio
en
c
alc
ula
ble,
cuy
as
rac
es
son
apr
oxi
ma
cio
nes
de
los
eig
env
alor
es
que
se
bus
can
.
Cu
and
o
= 0
,
est
o
se
red
uce
a la
con
stru
cci
n

orig
inal
des
crit
a
arri
ba
par
a
una
sol
uci
n
line
alm
ent
e
ind
epe
ndi
ent
ea
una
dad
a.
Las
repr
ese
nta
cio
nes
(9),
(10)
tam
bi
n
tien
en
apli
caci
one
s
ter
icas
en
la
teor
a
de
SL.3

Co
nst
ru
cci
n
de
un
a
sol
uci
n
qu
e
no
se
an
ula
[ed
itar
]
El
mis
mo
mt
odo
SP
PS
pue
de
usa
rse
par
ae
nco
ntr
ar
una
sol
uci
n
inic
ial
y0.
Co
nsi
dr
ese
la
ecu

aci
n
q,
w,
y
se
ree
mpl
aza
n
en
(1)
con
0,
-q y
re
spe
ctiv
am
ent
e.
Ent
onc
es
la
fun
ci
n
con
sta
nte
1
es
una
sol
uci
n
que
no
se
anu
la,
con
res
pec
to
al
eig
env
alor
0=
0.
Mie

ntra
s
no
hay
gra
nta
que
u0
u1 n
o
se
anu
le,
la
fun
ci
n
co
mpl
eja
y0=
u0+i
u1 n
unc
a
se
anu
lar
por
que
dos
sol
uci
one
s
line
alm
ent
es
de
una
ecu
aci
n
S-L
reg
ular
no
pue
den
anu
lars
e

sim
ult
nea
me
nte
(co
mo
con
sec
uen
cia
de
la
uni
cid
ad
de
sol
uci
one
s
par
a
pro
ble
ma
s
de
val
ore
s
inici
ale
s).
Est
e
truc
o
da
una
sol
uci
n
y0 d
e
(1)
par
a el
val
or
0=0.
En
la

pr
ctic
a,
si
(1)
tien
e
coe
ficie
nte
s
real
es,
las
sol
uci
one
s
bas
ada
s
en
y0 t
end
rn
part
es
ima
gin
aria
s
mu
y
peq
ue
as
que
se
ten
dr
n
que
des
cart
ar.

V
as
e
ta
m

bi
n
[ed
itar
]

E
c
u
a
c
i

n
d
i
f
e
r
e
n
c
i
a
l
o
r
d
i
n
a
r
i
a

M
o
d
o
n
o
r
m
a
l

O
p

e
r
a
d
o
r
(
m
a
t
e
m

t
i
c
a
s
)

O
p
e
r
a
d
o
r
h
e
r
m

t
i
c
o

R
ef
er
en
ci
as[
edi
tar]

1.

Volv
er
arrib
a J.
D.
Pryc
e, N
ume
rical
Solu
tion
of
Stur
mLiou
ville
Prob
lems
,
Clar
endo
n
Pres
s,
Oxfo
rd,
1993
.

2.

Volv
er
arrib
a V.
Ledo
ux,
M.
Van
Dael
e, G.
Van
den
Berg
he,
"Effi
cient
com
putat
ion
of
high
inde
x
Stur
mLiou
ville
eige
nval
ues

for
probl
ems
in
phys
ics,"
Com
put.
Phy
s.
Com
m. 1
80,
2009
,
532
554.
3.

Sal
tar
a:a b
V. V.
Krav
chen
ko,
R.
M.
Port
er,
"Spe
ctral
para
mete
r
pow
er
serie
s for
Stur
mLiou
ville
probl
ems,
" Ma
the
mati
cal
Met
hod
s in
the
Appl
ied
Scie
nces
(MM
AS)
33,

2010
,
459468

Bi
bli
og
raf
a[
edi
tar]

P.
Hart
man
, Or
dina
ry
Diff
eren
tial
Equ
atio
ns,
SIA
M,
Phil
adel
phia
,
200
2
(2nd
editi
on).
ISB
N
9780898
715101

A.
D.
Poly
anin
and
V. F.
Zait
sev,
Han
dbo
ok

of
Exa
ct
Solu
tion
s for
Ordi
nary
Diff
eren
tial
Equ
atio
ns,
Cha
pma
n&
Hall/
CR
C
Pres
s,
Boc
a
Rat
n,
200
3
(2nd
editi
on).
ISB
N 1584
882972

G.
Tesc
hl,
Ordi
nary
Diff
eren
tial
Equ
atio
ns
and
Dyn
ami
cal
Syst
ems
, htt
p://
ww

w.m
at.u
nivie
.ac.
at/~
gera
ld/ft
p/bo
okode/
(Ch
apte
r 5)

G.
Tesc
hl,
Mat
hem
atic
al
Met
hod
s in
Qua
ntu
m
Mec
hani
cs
and
Appl
icati
ons
to
Sch
rdi
nger
Ope
rato
rs, h
ttp://
ww
w.m
at.u
nivie
.ac.
at/~
gera
ld/ft
p/bo
okschr
oe/ (
see
Cha
pter
9 for

sing
ular
S-L
oper
ator
s
and
con
nect
ions
with
qua
ntu
m
mec
hani
cs)

Cat
ego
ra:
E
c
u
a
c
i
o
n

A.
Zettl
, St
urm

Liou
ville
The
ory,
Ame
rica
n
Mat
hem
atic
al
Soci
ety,
200
5. IS
BN
0821
8390
5-5.

e
s
d
i
f
e
r
e
n
c
i
a
l
e
s

Men de
navegacin

No has iniciado sesin

Discusin

Contribuciones

Crear una cuenta

Acceder

r
t

c
u
l
o
D
i
s
c
u
s
i

Leer

Editar
Ver historial

Buscar
Ir

Portada
Portal de la comunidad
Actualidad
Cambios recientes
Pginas nuevas
Pgina aleatoria
Ayuda
Donaciones
Notificar un error
Imprimir/exportar

Crear un libro

Descargar como PDF

Versin para imprimir

Herramientas

Lo que enlaza aqu

Cambios en enlazadas

Subir archivo

Pginas especiales

Enlace permanente

Informacin de la
pgina

Elemento de Wikidata

Citar esta pgina

En otros idiomas

Deutsch

English

Franais

Portugus

7 ms
Editar enlaces

E
s
t
a

g
i
n
a

f
u
e

m
o
d
i
f
i
c
a
d
a

p
o
r

l
t
i
m
a

v
e
z

e
l

3
1

m
a
y

2
0
1
6

l
a
s

1
4
:
5
1
.

E
l

t
e
x
t
o

e
s
t

d
i
s
p
o
n
i
b
l
e

b
a
j
o

l
a

L
i
c
e
n
c
i
a

C
r
e
a
t
i
v
e

o
m
m
o
n
s

A
t
r
i
b
u
c
i

C
o
m
p
a
r
t
i
r

I
g
u
a
l

3
.
0
;

p
o
d
r

a
n

s
e
r

a
p
l
i
c
a
b
l
e
s

c
l

u
s
u
l
a
s

a
d
i
c

i
o
n
a
l
e
s
.

A
l

u
s
a
r

e
s
t
e

s
i
t
i
o
,

u
s
t
e
d

a
c
e

p
t
a

n
u
e
s
t
r
o
s

r
m
i
n
o
s

d
e

u
s
o

n
u
e
s
t
r
a

p
o
l

t
i
c
a

d
e

p
r
i
v
a
c
i
d
a
d
.

W
i
k
i
p
e
d
i
a

u
n
a

m
a
r
c
a

r
e
g
i
s
t
r
a
d
a

d
e

l
a

F
u
n
d
a
c
i

W
i
k
i
m
e
d
i
a
,

I
n
c
.
,

u
n
a

o
r
g
a
n
i
z
a
c
i

s
i
n


n
i
m
o

d
e

l
u
c
r
o
.

C
o
n
t
a
c
t
o