Capı́tulo IV: Problemas de Sturm-Liouville

Profesor: Raúl Fierro Pradenas.

1. Problemas de valor de frontera

Definición 1 Se dice que un operador diferencial L de segundo orden definido en C 2 [a, b] está en
forma autoadjunta, si y solo si,
L = D(p(x)D) + q(x)I, (1)

donde p ∈ C 1 [a, b] es tal que para todo x ∈ (a, b), p(x) ≠ 0, y q ∈ C[a, b].

Nota 2 En esta sección, consideraremos C[a, b] con el producto interno usual, a saber,
b
< f, g >= ∫ f (x)g(x) dx. (2)
a

Observación 3 Sea L un operador lineal sobre C[a, b] y supongamos que L es simétrico; es decir,
para todos x, y ∈ C[a, b], < x, Ly >=< Lx, y >.

En este caso se tiene

(3.1) los valores propios de L son reales, y

(3.2) los vectores propios de L correspondientes a distintos valores propios son ortogonales.

Teorema 4 Sean S ⊆ C 2 [a, b] y L = D(p(x)D) + q(x)I un operador definido sobre S en forma

autoadjunta. Entonces, las dos condiciones siguientes son equivalentes:

(4.1) L es simétrico sobre S.

b
(4.2) Para todos y1 , y2 ∈ S, p(x)[y1 (x)y2′ (x) − y1′ (x)y2 (x)]∣a = 0.

Observación 5 Sean S ⊆ C 2 [a, b] y L = D(p(x)D) + q(x)I un operador definido sobre S en forma

autoadjunta.

(5.1) Si S = C 2 [a, b] y p(a) = p(b) = 0, entonces L es simétrico sobre S.

(5.2) Supongamos que S es el conjunto de todas las funciones y ∈ C 2 [a, b] tales que

α1 y(a) + α2 y ′ (a) = 0
β1 y(b) + β2 y ′ (b) = 0,

donde ∣α1 ∣ + ∣α2 ∣ ≠ 0 y ∣β1 ∣ + ∣β2 ∣ ≠ 0.

Entonces, L es simétrico sobre S.

2 Fierro

(5.3) Supongamos ahora que p(a) = p(b) (no necesariamente iguales a 0) y que S es el
conjunto de todas las funciones y ∈ C 2 [a, b] tales que y(a) = y(b) e y ′ (a) = y ′ (b).

Entonces, L es simétrico sobre S.

Ejemplo 6 Analizar el problema de valor de frontera

y ′′ + λy = 0, y(0) = y(π) = 0.

Solución. Analizar el problema de valor de frontera consiste en determinar para qué valores de λ ∈ R
el problema tiene solución no trivial y cuáles son sus soluciones correspondientes (funciones propias).

Supongamos que λ < 0. Luego, λ = −µ2 para algún µ > 0. En este caso, la ecuación queda
y ′′ − µ2 y = 0 y su solución general es de la forma y(x) = c1 e−µx +c2 eµx . Las condiciones de frontera
determinan que las constantes c1 y c2 en R deben satisfacer el siguiente sistema lineal de ecuaciones:

c1 + c2 = 0
.
e−µπ c1 + eµπ c2 = 0

Pero el determinante de los coeficientes de este sistema es eµπ − e−µπ ≠ 0, pues µ ≠ 0. Por consiguiente,
el sistema tiene la única solución c1 = c2 = 0, lo cual implica y ≡ 0, solución que descartamos, pues
buscamos soluciones no triviales. En consecuencia, el PVF no tiene soluciones no triviales si λ < 0.

Supongamos ahora que λ = 0. En este caso, y(x) = c1 + c2 x y las condiciones de frontera implican
que
c1 = 0
.
c1 + πc2 = 0
La única solución de este sistema es c1 = c2 = 0, lo cual implica que el PVF solo posee la solución
trivial, la cual descartamos.

Si λ > 0 entonces existe µ > 0 tal que λ = µ2 y entonces, la solución general de la ecuación
y ′′ + µ2 y = 0 es en este caso, y(x) = c1 cos(µx) + c2 sen(µx). Por las condiciones de frontera, se tiene

c1 = 0
,
cos(µπ)c1 + sen(µπ)c2 = 0

lo cual se resume en sen(µπ)c2 = 0. Para que el PVF tenga solución no trivial, necesariamente
sen(µπ) = 0, vale decir µ = k con k ∈ N ∖ {0}. Por lo tanto, el PVF tiene solución no trivial, si y solo
si, λ = k 2 con k ∈ N ∖ {0}.

2. Desarrollos en serie

Definición 1 Sea L = D(p(x)D) + q(x)I un operador diferencial dado en forma autoadjunta. El

problema de encontrar las soluciones de Ly = λy, para distintos valores de λ ∈ R, se conoce como
Problemas de Sturm-Liouville 3

Problema de Sturm-Liouville. Las soluciones yλ correspondientes a los valores de λ ∈ R se conocen

como funciones propias.

Observación 2 Sea L ∶ S ⊆ C 2 [a, b] → C[a, b] un operador diferencial lineal de segundo orden y

simétrico sobre S. Se desea encontrar y ∈ S tal que

Ly = h. (3)

Supongamos además que existe una sucesión (ϕk ; k ∈ N) de funciones propias de L. Luego,
(ϕk ; k ∈ N) es una sucesión ortogonal y los correspondientes valores propios asociados a estas fun-
ciones propias son reales. La ortogonalidad está siendo considerada respecto del producto interno
sobre C[a, b] definido por
b
< f, g >= ∫ f (x)g(x) dx, f, g ∈ C[a, b]
a

Sea h ∈ C[a, b] tal que h = ∑∞

k=0 αk ϕk . Luego, los αk están unı́vocamente determinados y, por la
ortogonalidad, deben ser iguales a αk =< h, ϕk > /∥ϕ∥2 .

En consecuencia,
∞
< h, ϕk >
h= ∑ 2
ϕk . (4)
k=0 ∥ϕk ∥

Sea y(x) = ∑∞ k=0 βk ϕk (βk ∈ R), y supongamos que y es solución de la ecuación (3). Para cada
k ∈ N, sea λk el valor propio correspondiente a la función propia ϕk . Es decir, Lϕk = λk ϕk .

Procediendo formalmente se obtiene que si y satisface (3), entonces

∞ ∞
< h, ϕk >
∑ βk λk ϕk (x) = ∑ 2
ϕk .
k=0 k=0 ∥ϕk ∥

Por lo tanto, para todo k ∈ N, βk λk =< h, ϕk > /∥ϕk ∥2 , y en consecuencia, las afirmaciones
siguientes son válidas:

(2.1) Si para algún k ∈ N, λk = 0 y < h, ϕk >≠ 0, entonces y no es solución de (3).

(2.2) Si para algún k ∈ N, λk = 0 y < h, ϕk >= 0, entonces (3) tiene infinitas soluciones.

(2.3) Si para todo k ∈ N, λk ≠ 0, entonces (3) tiene solución única, a saber,

∞
< h, ϕk >
y(x) = ∑ ϕ .
2 k
(5)
k=0 λk ∥ϕk ∥

Ejemplo 3 Determine el desarrollo formal en serie de la solución del problema de valor de frontera

−y ′′ = x, y(0) = y(π) = 0,

en términos de las funciones propias del problema de Sturm-Liouville asociado.

4 Fierro

Solución. Suponemos que

∞
x = ∑ αk sen(kx) (6)
k=0

y que la solución de la ecuación tiene la forma y(x) = ∑∞

k=0 βk sen(kx). Formalmente se tiene que

∞ ∞
Ly = ∑ βk L sen(kx) = ∑ βk λk sen(kx)
k=0 k=0

De acuerdo con el Ejemplo 6 de la sección anterior, λk = k 2 y entonces

∞ ∞
Ly = ∑ βk k 2 sen(kx) = ∑ αk sen(kx),
k=0 k=0

de modo que βk = αk /k 2 .

Por la ortogonalidad, de (6) se obtiene que

π π
< x, sen(nx) >= αn < sen(nx), sen(nx) >= αn ∫ sen2 (nx) dx = αn
0 2
y entonces
2 2 π π
αn = < x, sen(nx) >= ∫ x sen(nx) dx = (−1)n .
π π 0 2
Por lo tanto, la solución de Ly(x) = x es
∞
π
y(x) = ∑ 2
(−1)k sen(kx).
k=1 2k

Ejercicios propuestos

1. Encuentre las soluciones de los siguientes problemas de valor de frontera:

(1.1) y ′′ + y = 0, y(0) = 1, y(π) = −1.

(1.2) y ′′ + y = 0, y(0) = 0, y ′ (π) = 0.

(1.3) y ′′ + 4y = sen(2x), y(0) = 0, y(π) = 0.

2. Encuentre los valores de λ y las correspondientes soluciones para los siguientes problemas de valor
de frontera:

(2.1) y ′′ + λy = 0, y(0) = y(2π), y ′ (0) = y ′ (2π).

(2.2) y ′′ + λy = 0, y(0) = y ′ (−π) = y ′ (π).

(2.3) y ′′ + λy = 0, y(0) = y ′ (π) = 0.

(2.4) y ′′ + 4y ′ + (4 + 9λ)y = 0, y(0) = y(a) = 0, (a > 0).

3. Determine el desarrollo formal en serie de la solución de los siguientes problemas de valor de

frontera, en términos de las funciones propias para el problema de Sturm-Liouville asociado.
Problemas de Sturm-Liouville 5

(3.1) y ′′ = x(x − 2π), y(0) = y ′ (π) = 0.

(3.2) y ′′ = x2 − π 2 , y ′ (0) = y(−π) = 0.

(3.3) y ′′ = sen(πx/a), y ′ (0) = y ′ (a) = 0, (a > 0).

(3.4) y ′′ = sen(πx/a), y(0) = y ′ (a) = 0, (a > 0).