Centro de Investigacin y Estudios Avanzados

Departamento de Fsica

PROBLEMA DE STURM-LIOUVILLE
Equipo #7
Ubaldo Cavazos Olivas
Saulo Hernndez Lpez
Jonathan Rincn Sucedo
Jonathan Hernndez
Miguel Angel Sandoval Puentes
 Teora creada en una serie de artculos entre 1829 y 1840 por J.C.F.
Sturm y J. Liouville.
Bsicamente consiste de una ecuacin de SL en el intervalo:

d dy
p( x) [w( x) q( x)]y 0
dx dx
junto con las condiciones en la frontera.
 Las funciones p ,p, q y w son continuas, w>0 y p>0 en
el intervalo abierto a<x<b
La ecuacin anterior se llama ecuacin diferencial de
SL.
Esencialmente posee la forma del problema de
eigenvalor debido a que y y deben determinarse.
En que consiste el PSL
Dada la forma de la ecuacin diferencial en el PSL:

El problema central se basa en encontrar los valores de

, tambin llamados valores propios tales que sean
soluciones de la ecuacin, siendo las soluciones
para un valor determinado de las llamadas
funciones propias en un intervalo (a,b).
 Los valores de deben cumplir ciertas condiciones
de contorno las cuales indicaran sus posibles valores.
Dichas condiciones son:

Condiciones de frontera de Neumann

Condiciones de frontera de Dirichlet
Condiciones de frontera de Cauchy
Condiciones de frontera de Dirichlet
En este tipo de condiciones se da el valor de la funcin en los lmites
del intervalo.
Por ejemplo:
Condiciones de frontera de Neumann

En el segundo caso se da el valor de las derivadas normales en los

limites del intervalo.
Condiciones de frontera de Cauchy
Se especifica la funcin y sus derivadas normales en
los lmites del intervalo.
 En nuestro caso teniendo la ecuacin diferencial en la
forma de SL

Tenemos las siguientes condiciones de frontera

siendo las condiciones de Neumann y Dirichlet o de
Cauchy.
Eigenfunciones y Eigenvalores
Los valores de para los cuales el PSL tiene una
solucin no trivial son llamados Eigenvalores, y sus
correspondientes soluciones son llamadas
eigenfunciones.
 Operador Diferencial Adjunto
La ecuacin diferencial lineal de segundo orden,
(1)
Es exacta si puede escribirse como,
(2)
La condicin para que la ecuacin (1) sea exacta es,
(3)

En caso de que la ecuacin (1) no sea exacta se multiplica por una

funcin (x) tal que,
(4)
Se define el operador adjunto

(5)

Si la funcin 2 = 1 (), se dice que L es un operador autodajunto,

esto es, = .

Las identidades de Lagrange son,

(6)

(7)
Teorema: El operador asociado a una ecuacin diferencial lineal de
segundo orden (ec. 1) es autoadjunto si y slo si 2 = 1 (), en tal
caso la ecuacin diferencial toma la forma,

(8)

Si no es autoadjunto puede convertirse en uno, multiplicando por una

funcin,
(9)

La ecuacin diferencial lineal de segundo orden puede escribirse como,

(10)
Propiedades del PSL
1. Los eigenvalores del PSL son reales
2. El espectro de eigenvalores del PSL tiene cota inferior
3. Los eigenvalores del PSL son no-degenerados (a cada eigenvalor le
correspone una eigenfuncin, nica hasta una constante)
4. Entre dos ceros de una eigenfuncin, hay al menos un cero de una
eigenfuncin con eigenvalor mayor
5. Las eigenfunciones del PSL son ortogonales con funcin de peso (x)

Demostraciones
 PSL
1. Eigenvalores reales
Como el operador L es autoadjunto:
 OPERADOR PSL

2. Espectro acotado
 OPERADOR PSL

2. Espectro acotado

Dadas las condiciones en la frontera del PSL para la eigenfuncin o su derivada:

Adems:
 3. No degeneracin
Sean Y y Z dos eigenfunciones del PSL, suponemos que tienen el mismo eigenvalor.
Definimos el siguiente operador:

Las funciones son linealmente dependientes si el Wronskiano es 0 para todos los puntos

Que puede escribirse como:

Si W(x) es 0 en algn punto,
entonces W(x) = 0 para todo
Wronskiano punto.
3. No degeneracin
Como Y y Z tienen las mismas condiciones en la frontera, pues son
solucin del mismo PSL:

Eigenfunciones con
eigenvalores iguales difieren
slo por una constante.
 4. Ceros
Si , entonces entre dos ceros consecutivos de la eigenfuncin existe
al menos un cero de . Sean y ceros consecutivos de :
 4. Ceros
En el intervalo entre dos ceros de , la funcin no cambia de signo. Consideremos el caso en que es positiva en
ese intervalo. Adems w(x) y p(x) son definidas positivas.
Si no tiene ceros en el intervalo, no cambia de signo. Asumamos que es positiva y recordemos que > :

La inconsistencia slo tiene un cero entre los

desaparece si cambia de dos ceros de
signo en el intervalo.
5. Ortogonalidad de las eigenfunciones
Sean y eigenfunciones del PSL con eigenvalores distintos.
Explotemos la hermiticidad de L:
Ejemplo: Ec. Paramtrica de Bessel
2 + + (2 2 2 ) = 0 con soluciones: = 1 + 2

1 ()/ 1 2
= [] + 2 y=0
x

Identificamos: 2
=x = w =x 2

Como sabemos la condicin de ortogonalidad nos dice:

= 0 El intervalo en este caso es 0, ( ) ( ) = 0

como no es acotada en 0

x=0
Ejemplo: Ec. de Legendre
1 2 2 + + 1 = 0 con solucin: :

En el intervalo: [-1,1]

Forma autoadjunta:
1 2 + + 1 = 0

= 1 x2 =0 w =1 ( + 1)

Por lo tanto:
1
() () = 0
1
Una funcin puede representarse
por una serie infinita de =
eigenfunciones:

Si multiplicamos ambos lados por: e integramos de a hasta b

Por ortogonalidad:

() () = [ ()]2 ()

() ()
=
[ ()] 2 ()