FHOHLEAS DE ST\H-LIO\YILLE

Y SEHIES CEEHALIZADAS DE F\CIOES

La rcsolucion por scparacion oc variahlcs oc ccuacioncs oifcrcncialcs cn ocrivaoas parcialcs
conoucc con frccucncia a un prohlcma oc conrorno cn rcrminos oc una o varias ccuacioncs
oifcrcncialcs oroinarias cuyas solucioncs son oc gran imporrancia para ohrcncr la solucion oc
la ccuaci on cn ocrivaoas parcialcs. Scguioamcnrc sc rcsumcn los rcorcmas mas imporranrcs
rclacionaoos con un ripo muy imporranrc oc prohlcma oc conrorno: los prohlcmas oc aurova-
lorcs oc Srurm-Liouvillc. En un ancxo aparrc sc han incluioo algunas ocnnicioncs y rcorcmas
imporranrcs rclacionaoos con las funcioncs orrogonalcs y conjunros oc funcioncs orrogonalcs
quc ricncn rclaci on con csra clasc oc prohlcmas.
Sc ocnomina ^proIIena de Sturn-LIouvIIIe al prohlcma oc conrorno ocnnioo por
la siguicnrc ccuaci on oifcrcncial lincal homogcnca oc scgunoo orocn con sus corrcsponoicnrcs
conoicioncs oc conrorno ramhicn lincalcs y homogcncas, oc la forma gcncral:
d
da
w
v(a)
d(a)
da
W
q(a)(a) `j(a)(a) = 0, o < a < |; (1o)
I
1
(o) I
2
d(o)
da
= 0, |
1
(|) |
2
d(|)
da
= 0; (1|)
sicnoo I
1
, I
2
, |
1
, |
2
IB. Las consranrcs I
1
y I
2
no pucocn scr amhas nulas, ni rampoco scr
nulas a la vcz |
1
y |
2
.
Cuanoo los limircs ocl oominio o y | son nniros, las funcioncs v(a), v
t
(a), q(a) y j(a) son
conrinuas cn [o, |[ y v(a) 0 y j(a) 0 cn [o, |[ sc oicc quc cl prohlcma oc Srurm-Liouvillc cs
^reguIar. Si alguna oc csras conoicioncs no sc sarisfacc sc oicc quc cl prohlcma oc Srurm-
Liouvillc cs ^no-reguIar. Enrrc los prohlcmas no-rcgularcs hay oos ripos cspccialmcnrc
imporranrcs quc sc rrararan cspccincamcnrc y quc son los prohlcmas oc Srurm-Liouvillc
^perI odIcos, caracrcrizaoos por conoicioncs oc conrorno pcri ooicas, y los prohlcmas oc
Srurm-Liouvillc ^sInguIares, cn los quc la funci on v(a) c incluso j(a) sc anula cn uno
o cn amhos oc los cxrrcmos ocl inrcrvalo, por lo quc v(a) 0 y j(a) 0 cn (o, |[, [o, |), o cn
(o, |) (ocpcnoicnoo ocl caso).
Con caracrcr gcncral, un prohlcma oc conrorno pucoc no rcncr soluci on, rcncr una unica
soluci on o aomirir m ulriplcs solucioncs. En cl caso oc los prohlcmas oc Srurm-Liouvillc,
hicn scan rcgularcs o no-rcgularcs, cl inrcrcs sc ccnrra cn csruoiar y ohrcncr sus solucioncs no
rrivialcs. Asi para un prohlcma oc la forma (1), conocioos o, |, I
1
, I
2
, |
1
, |
2
, v(a), q(a) y j(a),
cl paramcrro ` no csra s }$B$ csrahlccioo, oc mooo quc aqucllos valorcs oc ` quc pcrmircn
la cxisrcncia oc solucioncs no rrivialcs a (1) sc ocnominan ^vaIores propIos ocl prohlcma
oc Srurm-Liouvillc, y las corrcsponoicnrcs funcioncs no rrivialcs sc ocnominan ^funcIones
propIas oc (1). For csrc morivo, a los prohlcmas oc Srurm-Liouvillc oc la forma (1) sc
lcs llama ramhicn ^proIIenas de vaIores propIos. En lo succsivo sc ocnominara `
I
a
un valor propio cualquicra ocl cspccrro oc aurovalorcs oc (1), y c
I
(a) a su corrcsponoicnrc
funcion propia.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. FHOHLEAS DE ST\H-LIO\YILLE HEC\LAHES
En cl caso oc los prohlcmas oc Srurm-Liouvillc rcgularcs, sc cumplcn los siguicnrcs rco-
rcmas:
v OrtogonaIIdad de Ias funcIones propIas. Las funcioncs propias corrcsponoicnrcs a
valorcs propios oisrinros son orrogonalcs rcspccro oc la funcion j(a). Esro cs,
c
i
, c
]
)
8
|
o
j(a)c
i
(a)c
]
(a)da = 0 si `
i
,= `
]
(2)
v Caracter reaI de Ios autovaIores. Tooos los valorcs propios son rcalcs.
v Espectro de autovaIores. Exisrc un n umcro innniro oc valorcs propios oisrinros quc
pucocn scr orocnaoos cn la forma `
1
< `
2
< ... < `
I
< .... El mcnor oc cllos cs `
1
y
no cxisrc cora supcrior ocl cspccrro oc aurovalorcs oaoo quc lim
n
`
n
= .
v \nIcIdad de Ias funcIones propIas. Fara caoa valor propio `
I
cxisrc una unica
funcion propia c
I
(a) lincalmcnrc inocpcnoicnrc. Aocm as una funcion propia c
I
(a)
ricnc cxacramcnrc I 1 raiccs cn (o, |).
v ConvergencIa de Ias serIes generaIIzadas de funcIones propIas. Cualquicr fun-
ci on conrinua a rrozos ](a) ocnnioa cn [o, |[ sc pucoc rcprcscnrar como una scric gcnc-
ralizaoa oc funcioncs propias

3
n=1
c
n
c
n
(a) sicnoo c
n
=
], c
n
)
c
n
, c
n
)
. (8)
La scric gcncralizaoa cs convcrgcnrc a ](a) si ] cs una funcion conrinua cn a, y convcrgc
a (](a

) ](a

)) ,2 si ] cs una funci on conrinua a rrozos cn a, para rooo punro

a (o, |).
v CocIente de HayIeIgn. Tooo valor propio `
I
y su corrcspooicnrc funci on propia c
I
(a)
csran rclacionaoas por cl cocicnrc oc Baylcigh:
`
I
=
}
v(a)c
I
(a)
dc
I
(a)
da
]
e
e
e
e
e
|
o

8
|
o
^
v(a)
w
dc
I
(a)
da
W
2
q(a) (c
I
(a))
2

da
8
|
o
j(a) (c
I
(a))
2
da
(4)
v YaIores propIos no negatIvos. Si
}
v(a)c
I
(a)
dc
I
(a)
da
]
e
e
e
e
e
|
o
_ 0 y la funcion q(a) _ 0
cn [o, |[, cnronccs `
I
_ 0.
v Conjunto conpIeto. El conjunro oc las funcioncs propias c
n
}
n=1,2,...
cs un conjunro
complcro. Esro cs, sc rrara oc un conjunro oc funcioncs orrogonalcs rcspccro oc una
funcion j(a) cn cl quc la igualoao ], c
I
) = 0 sc sarisfacc para rooas las funcioncs
propias si y solo si ](a) cs la funci on nula cn rooo punro oc (o, |).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
2. FHOHLEAS DE ST\H-LIO\YILLE FEHI

ODICOS Y SIC\LAHES
Sc ocnomina prohlcma oc Srurm-Liouvillc perIodIco al prohlcma oc conrorno formaoo
por la ccuacion oifcrcncial (1a) y las conoicioncs oc conrorno siguicnrcs
(o) = (|),
d(o)
da
=
d(|)
da
;
()
quc sc conoccn como conoicioncs pcri ooicas" por cuanro csrahlcccn igualoao cn los valorcs
oc la funcion y sus ocrivaoas cn los cxrrcmos ocl oominio (csrc ripo oc conoicioncs aparcccn
por cjcmplo cn prohlcmas cn coorocnaoas polarcs, csfcricas, cilinoricas, crc.).
For orra parrc, oircmos quc un prohlcma oc Srurm-Liouvillc cs sInguIar cuanoo la funcion
v(a) sc anula cn un cxrrcmo ocl inrcrvalo, o cn cl orro o cn amhos simulr ancamcnrc. En
consccucncia los rrcs casos posihlcs son:
v Si v(o) = 0 y v(|) ,= 0 (y v(a) 0, j(a) 0 \a (o, |[) las conoicioncs oc conrorno son
(a) acoraoa cn a = o, |
1
(|) |
2
d(|)
da
= 0;
(6)
v Si v(o) ,= 0 y v(|) = 0 (y v(a) 0, j(a) 0 \a [o, |)) las conoicioncs oc conrorno son
I
1
(o) I
2
d(o)
da
= 0, (a) acoraoa cn a = |;
(7)
v Si v(o) = 0 y v(|) = 0 (y v(a) 0, j(a) 0 \a (o, |)) las conoicioncs oc conrorno son
(a) acoraoa cn a = o, (a) acoraoa cn a = |;
(8)
En las conoicioncs oc conrorno anrcriorcs ochc cnrcnocrsc por funcion (a) acoraoa cn
un punro" cuanoo cxisrc cl limirc oc la funci on cn csc punro y cs nniro.
En los prohlcmas oc Srurm-Liouvillc no-rcgularcs los rcorcmas cnunciaoos cn cl aparraoo
anrcrior pucocn no sarisfaccrsc cn rooos los casos. No ohsranrc, para prohlcmas pcri ooicos y
los singularcs prcscnraoos cn (), (6), (7) y (8) sc cumplcn los siguicnrcs rcorcmas
v OrtogonaIIdad de Ias funcIones propIas. Las funcioncs propias corrcsponoicnrcs
a valorcs propios oisrinros son orrogonalcs rcspccro oc la funci on j(a). For ranro,
c
i
, c
]
) = 0, si `
i
,= `
]
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
v Caracter reaI de Ios autovaIores. Tooos los valorcs propios son rcalcs.
v CocIente de HayIeIgn. Tooo valor propio `
I
y su funcion propia c
I
(a) csran rcla-
cionaoos por cl cocicnrc oc Baylcigh, cuya cxprcsi on vicnc oaoa por (4).
v YaIores propIos no negatIvos. Si
}
v(a)c
I
(a)
dc
I
(a)
da
]
e
e
e
e
e
|
o
_ 0 y la funcion q(a) _ 0
cn [o, |[, cnronccs `
I
_ 0.
Las propicoaocs anrcs cnumcraoas oc orocnacion ocl cspccrro oc aurovalorcs o oc unici-
oao oc las funcioncs propias ramhicn sc vcrincan cn muchos prohlcmas oc Srurm-Liouvillc
singularcs, aunquc no cn los prohlcmas pcri ooicos.
For orra parrc, las propicoaocs oc conjunto conpIeto y la convergencIa de Ias serIes
de funcIones propIas oc los prohlcmas oc Srurm-Liouvillc singularcs y pcri ooicos ramhicn
sc sarisfaccn para funcioncs ](a) suncicnrcmcnrc hicn ocnnioas cn cl inrcrvalo (o, |). For
ranro, cn gcncral, poorcmos planrcar ramhicn ocsarrollos oc funcioncs cn scrics gcncralizaoas
oc funcioncs propias ohrcnioas oc prohlcmas oc aurovalorcs oc Srurm-Liouvillc pcri ooicos y
oc prohlcmas singularcs con las conoicioncs oc conrorno csrahlccioas cn (6), (7) y (8).
AEXO. F\CIOES OHTOCOALES
v Froducto Interno de dos funcIones. Sc ocnnc cl prooucro inrcrno rcspccro oc una
funcion oc pcso j(a)" oc oos funcioncs q(a) y h(a) ocnnioas cn un inrcrvalo (o, |), nniro
o innniro, como:
q, h) =
8
|
o
j(a)q(a)h(a)da, sicnoo j(a) 0 cn (o, |)
v orna de una funcI on. Sc ocnnc la norma oc una funcion q como:
[[q[[ =
0
q, q)
v OrtogonaIIdad de dos funcIones respecto de una funcIon de peso. Dos funcioncs
oisrinras q(a) y h(a) ocnnioas cn un inrcrvalo (o, |), nniro o innniro, son orrogonalcs
rcspccro oc una funcion oc pcso j(a) (con j(a) 0 cn (o, |)) si su prooucro inrcrno cs
nulo, csro cs,
q, h) = 0
v Conjunto ortogonaI de funcIones respecto de una funcIon de peso. Un conjunro
oc funcioncs q
1
(a), q
2
(a),... ocnnioas cn un inrcrvalo (o, |), nniro o innniro, cs orrogonal
rcspccro oc una funcion oc pcso j(a) (con j(a) 0 cn (o, |)) si
q
i
, q
]
)
T
z
Z
= 0, si i ,= ];
,= 0, si i = ].
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
v Conjunto ortonornaI de funcIones respecto de una funcIon de peso. Un
conjunro oc funcioncs h
1
(a), h
2
(a),... ocnnioas cn un inrcrvalo (o, |), nniro o innniro,
cs orronormal rcspccro oc una funci on oc pcso j(a) (con j(a) 0 cn (o, |)) si
h
i
, h
]
) =
i]
sicnoo
i]
la oclra oc Kroncckcr.
v SerIe generaIIzada de FourIer de una funcI on. Una funci on ](a) conrinua a rrozos
ocnnioa cn un inrcrvalo (o, |), nniro o innniro, aomirc ocsarrollo cn scric gcncralizaoa oc
Fouricr si oaoo un conjunro oc funcioncs q
1
(a), q
2
(a),... ocnnioas cn (o, |) y orrogonalcs
rcspccro oc una funcion oc pcso j(a) (con j(a) 0 cn (o, |)), cnronccs cxisrcn los
cocncicnrcs c
n
ralcs quc la funci on ](a) sc pucoc cxprcsar como
](a) =

3
n=1
c
n
q
n
(a) sicnoo c
n
=
], q
n
)
q
n
, q
n
)
.
Los cocncicnrcs c
n
sc ocnominan consranrcs oc Fouricr" oc la funcion ].
v DesIguaIdad de HesseI. Daoo un conjunro oc funcioncs ocnnioas cn (o, |) orronor-
malcs rcspccro oc una funci on oc pcso j(a) (con j(a) 0 cn (o, |)), la suma oc los
cuaoraoos oc las consranrcs oc Fouricr oc un n umcro A oc rcrminos ocl ocsarrollo cn
scric gcncralizaoa oc una funcion ](a) ocnnioa cn un inrcrvalo (o, |) csra acoraoa, y sc
cumplc quc
A
3
n=1
(c
n
)
2
_ [[][[
2
.
v FuncIon nuIa. Una funcion rcal ](a) sc oicc quc cs una funci on nula" cn un inrcrvalo
(o, |), nniro o innniro, si oaoa una funcion oc pcso j(a) (con j(a) 0 cn (o, |)) sc
sarisfacc quc
], ]) = 0
v Conjunto conpIeto. Un conjunro oc funcioncs q
1
(a), q
2
(a),... ocnnioas cn (o, |) y
orrogonalcs rcspccro oc una funci on oc pcso j(a) (con j(a) 0 cn (o, |)) consriruyc un
conjunro complcro" si la igualoao
], q
n
) = 0
sc sarisfacc para rooo n = 1, 2, . . . si y solo si ](a) cs una funcion nula cn (o, |).
v IdentIdad de FarsevaI. Daoo un conjunro complcro oc funcioncs ocnnioas cn (o, |)
orronormalcs rcspccro oc una funci on oc pcso j(a) (con j(a) 0 cn (o, |)), la suma oc
los cuaoraoos oc las consranrcs oc Fouricr ocl ocsarrollo cn scric gcncralizaoa oc una
funcion ](a) ocnnioa cn un inrcrvalo (o, |) cs igual al cuaoraoo oc la norma oc ], csro
cs:

3
n=1
(c
n
)
2
= [[][[
2
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1