TEMA III: PROBLEMAS DE VALORES EN LA FRONTERA

1. Problemas de Sturm - Liouville

Consideremos un problema de contorno, que consiste en:

i) Una ecuaci
on diferencial homogenea de segundo orden del tipo

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

donde p, q y r son funciones reales tales que p tiene derivada continua, q y r son continuas y p(x) > 0,
r(x) > 0 para todo x del intervalo real a x b; es un par
ametro independiente de x e y.
ii) Dos condiciones suplementarias
(
A1 y(a) + A2 y0 (a) = 0
B1 y(b) + B2 y 0 (b) = 0

donde A1 ; A2 ; B1 ; B2 2 R tales que A1 y A2 no son ambos nulos ni B1 y B2 son ambos nulos.

Este tipo de problema de contorno se llama problema de Sturm-Liouville. Dos casos especiales
son aquellos en que las condiciones suplementarias son de la forma

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

o bien de la forma
y 0 (a) = 0 ; y 0 (b) = 0

Ejemplos: 8
8 > d dy
>
> d2 y >
>
> [x ] + [2x2 + x3 ]y = 0
< + y = 0 < dx dx
a) dx2 b)
>
> >
> 3y(1) + 4y 0 (1) = 0
: >
>
y(0) = 0; y() = 0 :
5y(2) 3y 0 (2) = 0
Veamos ahora que implica la resoluci
on de un problema de Sturm-Liouville. Es evidente que
la soluci
on trivial (x) = 0 verica cualquier problema de este tipo, lo cual no nos es u
til, por tanto
tratemos de encontrar soluciones no triviales.

1
 Tomemos el primero de los ejemplos anteriores
8
>
> d2 y
< + y = 0
dx2
>
>
:
y(0) = 0; y() = 0

y consideremos por separado los casos = 0, < 0 y > 0.

1. = 0.
d2 y
= 0 ) y = c1 + c2 x
dx2
y(0) = 0 ) c1 = 0
y() = 0 ) c2 = 0 ) c2 = 0
la u
nica soluci
on es la trivial.

2. < 0. y 00 + y = 0
p p
m2 + = 0 ) m2 = ) m = . Llamemos = . La soluci
on general de la
ecuacion diferencial viene dada por

y(x) = c1 ex + c2 ex

y(0) = 0 ) c1 + c2 = 0
y() = 0 ) c1 e + c2 e = 0
para obtener soluciones distintas de la trivial es necesario que el determinante de la matriz del
sistema sea cero, es decir
e = e ) = 0

pero como 6
= 0, no existen soluciones distintas de la trivial.

3. > 0. y 00 + y = 0
p p
m2 + = 0 ) m2 = ) m = = i. La soluci
on general de la ecuaci
on
diferencial viene dada por
p p
y(x) = c1 sen( x) + c2 cos( x)

y(0) = 0 ) c2 = 0
p
y() = 0 ) c1 sen( ) = 0
on distinta de la trivial debemos imponer que c1 6
para que exista soluci = 0, por lo que debe
p
ocurrir que = n, o lo que es lo mismo, = n2 (n 2 N).

2
 En resumen si 0 no existe soluci
on distinta de la trivial, y si > 0 existen soluciones no
triviales para los valores de
1; 4; 9; 16; 25; ::::::::

y las soluciones ser

an
y(x) = cn sen(nx) (n = 1; 2; 3; ::::)

siendo las cn constantes arbitrarias.

Valores caractersticos y funciones caractersticas

on: Los valores del par
Denici ametro para los que existen soluciones no triviales del problema de
Sturm-Liouville se denominan valores caractersticos o autovalores. Las correspondientes soluciones
no triviales se llaman funciones caractersticas o autofunciones.
En el primero de nuestros ejemplos los autovalores son = n2 (n = 1; 2; 3; ::::) y las autofun-
ciones y(x) = cn sen(nx) (n = 1; 2; 3; ::::).
Ejemplo: para ( 0) 8
>
>
d dy
< [x ] + y = 0
dx dx x
>
>
:
y0 (1) = 0; y0 (e2 ) = 0

Teorema: Consideremos el problema de Sturm-Liouville que consiste en:

1. La ecuaci
on diferencial
d dy
[p(x) ] + [q(x) + r(x)]y = 0
dx dx
p, q y r funciones reales tales que p0 (x); q(x); r(x) 2 C([a; b]), p(x) > 0 y r(x) > 0 para todo
x 2 [a; b] y un par
ametro independiente de x e y.

2. Las condiciones
A1 y(a) + A2 y 0 (a) = 0
B1 y(b) + B2 y0 (b) = 0
A1 ; A2 ; B1 ; B2 constantes reales tales que ni A1 y A2 ni B1 y B2 se anulan simult
aneamente.
Entonces:

umero innito de autovalores n que se pueden ordenar de forma creciente

(a) Hay un n
1 < 2 < 3 < ::::: y tales que lim n = +1
n!+1

3
 (b) A cada autovalor le corresponde una familia uniparametrica de autofunciones n denidas
para a x b, siendo las autofunciones, asociadas a un mismo autovalor, m
ultiplos
escalares entre si.

on caracterstica n correspondiente al autovalor n

(c) Cada funci (n = 1; 2; 3; :::::) tiene
exactamente n 1 ceros en el intervalo abierto (a; b).

Ejemplos:
8 8
>
> d2 y >
> d2 y
< + y = 0 < + y = 0
a) dx2 b) dx2
>
> >
>
: :
y(0) = 0; y 0 () =0 y0 (0) = 0; y 0 (L) = 0
8
>
>
d2 y 8
> + y = 0 > d 1 dy
>
< dx2 >
< [ ] + (3x2 + 1)y = 0
dx 3x2 + 1 dx
c) d)
>
> >
>
>
> y(0) y0 (0) = 0 :
: 0 y(0) = 0; y() = 0
y() y () = 0

2. Ortogonalidad de funciones caractersticas

on: Dos funciones f y g se dicen ortogonales con respecto a la funci

Denici on peso r en el intervalo
a x b si, y s
olo si,
Z b
f (x):g(x):r(x)dx = 0
a
Ejemplo: f (x) = sen x, g(x) = sen(2x), r(x) 1, [a; b] = [0; ]
on: Sea fn gn2N una colecci
Denici on innita de funciones denidas en el intervalo a x b. La
on fgn2N es ortogonal respecto de la funci
colecci on peso r en a x b, si
Z b
n (x)m (x)r(x)dx = 0 (m 6
= n)
a

Ejemplo:fsen(nx)gn=1;2;3;::: , 0 x , r(x) 1.
Teorema: Dado el problema de Sturm-Liouville
8
> d dy
>
> [p(x) ] + [q(x) + r(x)]y = 0
>
< dx dx
>
> A1 y(a) + A2 y0 (a) = 0
>
>
:
B1 y(b) + B2 y 0 (b) = 0
donde p0 (x); q(x) r(x) 2 C([a; b]) y p(x); r(x) positivas en [a; b].
Las autofunciones asociadas a autovalores diferentes son ortogonales respecto de la funci
on peso r(x)
en el intervalo [a; b].

4
 Por tanto si fn g representa la colecci
on innita de autovalores de un problema de
on monotona creciente 1 < 2 < 3 < ::::::. Para
Sturm-Liouville, ordenados formando una sucesi
cada n = 1; 2; 3; ::::: sea n (x) una de las autofunciones correspondientes al autovalor n . Entonces
on peso r(x) en a x b.
1 ; 2 ; 3 ; ::::: constituyen un sistema ortogonal respecto de la funci
Ejemplos: 8 8
>
> d2 y >
>
d dy
< + y = 0 < [x ] + y = 0
a) dx2 b) dx dx x
>
> >
>
: :
y(0) = 0; y() = 0 y0 (1) = 0; y0 (e2 ) = 0

3. El desarrollo de una funci

on en serie de funciones ortonormales

on: Una funci

Denici on f se dice normalizada respecto de la funci
on peso r(x) en el intervalo
a x b si, y s
olo si
Z b
[f (x)]2 r(x)dx = 1
a
r
2
Ejemplo: f (x) = sen x, r(x) 1, 0 x .

on: Sea fn gn2N un conjunto innito de funciones denidas en el intervalo a x b. El
Denici
conjunto fn g se llama sistema ortonormal respecto de la funci
on peso r(x) en a x b, si es un
sistema ortogonal y cada funci a normalizada respecto de r(x) en a x b, es decir,
on est
Z (
b 0 m6
=n
m (x)n (x)r(x)dx =
a 1 m=n
r
2
Ejemplo: fn (x)g = f sen(nx)g, (n = 1; 2; 3; ::::), 0 x , r(x) 1.

on innita fn g constituida por las autofunciones, de un problema de
Dado que la colecci
sturm -Liouville, asociadas a los autovalores 1 ; :::; n ; ::: respectivamente, forman un sistema ortogo-
nal; y como cn n es autofunci
on del problema siempre que n lo sea. Nos planteamos la busqueda de
un sistema ortonormal de autofunciones.
Recordemos que la funci
on r(x) del problema de Sturm-Liouville es siempre positiva, por lo que
Z b
[n (x)]2 r(x)dx = kn > 0 (n = 1; 2; 3; :::)
a

con lo que
Z b 1
[ p n (x)]2 r(x)dx = 1 (n = 1; 2; 3; ::::)
a kn
por lo tanto, el conjunto
1 1 1
p 1 ; p 2 ; p 3 ; ::::::
k1 k2 k3

5
es un sistema ortonormal respecto de r(x) en a x b.

1 1
p = qR (n = 1; 2; 3; :::::)
kn b 2
a [n (x)] r(x)dx

Ejemplo: 8
> d2 y
< dx2 + y = 0
>
:
y(0) = 0; y() = 0

El problema del desarrollo

Sea fn g un sistema ortonormal respecto a una funci
on peso r(x) en un intervalo a x b y
sea f (x) una funci
on arbitraria. Consideremos el problem de desarrollar f (x) en serie innita de las
funciones ortonormales 1 ; 2 ; 3 ; :::. Supongamos que tal desarrollo existe,
1
X
f (x) = cn n (x) (i)
n=1

para cada x del intervalo a x b. La cuesti

on es c
omo determinar los coecientes cn (n =
1; 2; 3; :::). Procedamos a nivel formal dejando de lado, por el momento, la custi
on de la convergencia.
Multipliquemos la igualdad (i) por k (x)r(x)
1
X
f (x)k (x)r(x) = cn n (x)k (x)r(x)
n=1

integremos entre a y b
Z b Z b 1
X 1 Z
X b
f (x)k (x)r(x)dx = [ cn n (x)k (x)r(x)]dx = [ cn n (x)k (x)r(x)dx]
a a n=1 n=1 a

Z b 1
X Z b
f (x)k (x)r(x)dx = cn n (x)k (x)r(x)dx
a n=1 a

y como (
Z b 0 n6
=k
n (x)k (x)r(x)dx =
a 1 n=k
se obtiene que
Z b
f (x)k (x)r(x)dx = ck
a
1
X
Luego si cn n (x) converge uniformemente a f (x) en a x b, podemos garantizar que los
n=1
coecientes del desarrollo vienen dados por
Z b
cn = f (x)n (x)r(x)dx (n = 1; 2; 3; :::)
a

6
 1
X
En general para que cn n (x) converja uniformemente a f (x) hay que imponer condiciones
n=1
restrictivas sobre f (x) y la familia de funciones fn (x)g. Nosotros s
olo nos platearemos el enunciar
el siguiente teorema acerca de la convergencia en el caso de que fn (x)g sea el sistema ortonormal de
funciones caractersticas de un problema de Sturm-Liouville.
Teorema: Consideremos el problema de Sturm-Liouville
8
> d dy
>
> [p(x) ] + [q(x) + r(x)]y = 0
>
< dx dx
>
> A1 y(a) + A2 y0 (a) = 0
>
>
:
B1 y(b) + B2 y 0 (b) = 0
Sean fn gn2N los innitos autovalores del problema ordenados en forma creciente. Sea fn (x)gn2N el
correspondiente conjunto de autofunciones ortonormales del problema dado. Sea, adem
as, f (x) una
on continua en el intervalo a x b, que tenga una derivada f 0 (x) continua a trozos en dicho
funci
intervalo y que adem
as f (a) = 0 si 1 (a) = 0 y f (b) = 0 si 1 (b) = 0. Entonces, la serie
1
X Z b
cn n (x); cn = f (x)n (x)r(x)dx (n = 1; 2; 3; :::)
n=1 a

converge uniformemente y absolutamente a f (x) en el intervalo a x b.

Ejemplo: f (x) = x x2 , 0 x
8
>
> d2 y
< + y = 0
dx2
>
>
:
y(0) = 0; y() = 0

4. Series trigonom
etricas de Fourier

on: Sea fn (x)gn2N un sistema ortonormal respecto de una funci

Denici on peso r(x) en a x b.
Sea f (x) una funci
on tal que para cada n = 1; 2; 3; ::: el producto f (x)n (x)r(x) sea integrable en
a x b. En estas condiciones la serie
1
X
cn n (x)
n=1
donde
Z b
cn = f (x)n (x)r(x)dx (n = 1; 2; 3; :::)
a
se llama serie de Fourier de f (x) respecto del sistema fn g; los coecientes cn se denominan coecientes
de Fourier de f (x) respecto de fn g. Escribiremos, entonces
1
X
f (x) cn n (x); axb
n=1

7
 Si consideramos el sistema de funciones fn g denido por

nx nx
1 (x) = 1; 2n (x) = cos( ); 2n+1 (x) = sen( ) (n = 1; 2; 3; :::)
L L

para todo x del intervalo L x L, (L > 0)

Z L mx nx
cos( )cos( )dx = 0 (m; n = 0; 1; 2; ::::; m 6
= n)
L L L
Z L mx nx
sen( )sen( )dx = 0 (m; n = 1; 2; ::::; m 6
= n)
L L L
Z L mx nx
cos( )sen( )dx = 0 (m = 0; 1; 2; ::::; n = 1; 2; 3::::)
L L L
on peso r(x) = 1 en L x L. Adem
luego, fn (x)g es un sistema ortogonal respecto de la funci as
Z L
(1)2 dx = 2L
L
Z L nx
cos2 ( )dx = L (n = 1; 2; 3; ::::)
L L
Z L nx
sen2 ( )dx = L (n = 1; 2; 3; ::::)
L L
por lo que podemos construir el sistema ortonormal fn (x)g en el intervalo L x L, dado por

1 1 nx 1 nx
1 (x) = p ; 2n (x) = p cos( ); 2n+1 (x) = p sen( ) (n = 1; 2; 3; :::)
2L L L L L

Si f (x) es una funci

on tal que el producto f (x)n (x) es integrable, para cada n (x), en el
1
X
intervalo L x L podemos escribir la serie de Fourier cn n (x), siendo
n=1
Z L Z L
1 1
c1 = p f (x)dx = p f (x)dx
L 2L 2L L
Z L Z L
1 nx 1 nx
c2n = f (x) p cos( )dx = p f (x)cos( )dx
L L L L L L
Z L Z L
1 nx 1 nx
c2n+1 = f (x) p sen( )dx = p f (x)sen( )dx
L L L L L L
con lo que la serie quedara
1
X 1
X Z L
1 1
cn n (x) = c1 1 (x) + [c2n 2n (x) + c2n+1 2n+1 (x)] = [ p f (x)dx][ p ]+
n=1 n=1 2L L 2L
1
X Z L Z L
1 nx 1 nx 1 nx 1 nx
+ f[ p f (x)cos( )dx][ p cos( )] + [ p f (x)sen( )dx][ p sen( )]g
n=1 L L L L L L L L L L

8
y agrupando convenientemente podemos enunciar
on denida en el intervalo L x L y tal que las integrales
on: Sea f (x) una funci
Denici
Z L Z L
nx nx
f (x)cos( )dx y f (x)sen( )dx
L L L L
existen para cada n = 0; 1; 2; 3; :::. Entonces la serie
X1
1 nx nx
a0 + [an cos( ) + bn sen( )]
2 n=1
L L

siendo
Z L
1 nx
an = f (x)cos( )dx (n = 0; 1; 2; 3; :::)
L L L
Z L
1 nx
bn = f (x)sen( )dx (n = 1; 2; 3; ::::)
L L L
se denomina serie trigonometrica de Fourier de f (x) en el intervalo L x L, escribiendose
X1
1 nx nx
f (x) a0 + [an cos( ) + bn sen( )]; L x L
2 n=1
L L

Los n
umeros an (n = 0; 1; 2; :::) y bn (n = 1; 2; 3; :::) se llaman coecientes de Fourier de f (x) en
el intervalo dado.
En el caso particular de que f (x) sea una funci
on par o impar, el calculo de los coecientes de
Fourier se simplica.
Si f (x) es par en L x L, entonces:
Z L
2 nx
an = f (x)cos( )dx (n = 0; 1; 2; 3; :::) y bn = 0 (n = 1; 2; 3; :::)
L 0 L

con lo que
X1
1 nx
f (x) a0 + an cos( ); L x L
2 n=1
L
En caso de ser f (x) impar, entonces:
Z L
2 nx
bn = f (x)sen( )dx (n = 1; 2; 3; ::::) y an = 0 (n = 0; 1; 2; 3; :::)
L 0 L

escribiendose
1
X nx
f (x) bn sen( ); L x L
n=1
L
Ejemplos:
(
; x < 0
a) f (x) = jxj; x b) f (x) = x; 4 x 4 c) f (x) =
x; 0 x

9
Nota: Si f (x) y g(x) son funciones denidas e integrables en a x b y tales que f (x) = g(x) salvo
umero nito de puntos del intervalo a x b, entonces
en un n
Z b Z b
f (x)dx = g(x)dx
a a

esta situaci
on es trasladable a los desarrollos de Fourier, por lo que si f (x) = g(x) salvo en un n
umero
nito de puntos de L x L, entonces f (x) y g(x) tendr
an el mismo desarrollo en serie de Fourier.
Ejemplo: 8
( > x < 0
; x < 0 < ;
f (x) = g(x) = =2 x = 0
x; 0 x >
: x; 0 < x

Series de Fourier de senos y series de Fourier de cosenos

Recordemos que el problema de Sturm-Liouville
8
>
> d2 y
< + y = 0
dx
>
>
:
y(0) = 0; y() = 0

tiene el conjunto ortonormal de autofunciones fn (x)g denidas por

r
2
n (x) = sen(nx); 0 x (n = 1; 2; 3; :::)

si sustituimos la condici
on y() = 0, por la condici
on m
as general y(L) = 0 (L > 0), obtenemos el
problema 8
>
> d2 y
< + y = 0
dx
>
>
:
y(0) = 0; y(L) = 0
el cual tiene el conjunto ortonormal de autofunciones fn (x)g denidas por
r
2 nx
n (x) = sen( ); 0 x L (n = 1; 2; 3; :::)
L L

on arbitraria f (x), denida en 0 x L, en

Consideremos el problema de desarrollar una funci
serie respecto de este sistema ortonormal de funciones
1
X
f (x) cn n (x)
n=1

Z r
L 2 nx
cn = f (x) sen( ) (n = 1; 2; 3; :::)
0 L L

10
y operando adecuadamente obtenemos
1
X nx
f (x) bn sen( )
n=1
L
donde
Z L
2 nx
bn = f (x)sen( )dx
L 0 L
recibiendo esta u
ltima serie, cuando exista, el nombre de serie de Fourier de senos de f (x) en el
intervalo 0 x L.
Nota: Si f (x) es impar, la serie trigonometrica de Fourier de f (x) en L x L coincide con la
serie de Fourier de senos de f (x) en 0 x L.
An
alogamente, si planteamos el problema
8
>
> d2 y
< + y = 0
dx
>
>
:
y 0 (0) = 0; y0 (L) = 0 (L > 0)
obtenemos el conjunto ortonormal de autofunciones fn g denido por
r
1 2 nx
1 (x) = p ; n (x) = cos( ); 0 x L (n = 1; 2; 3; :::)
L L L
y dada f (x) denida en 0 x L podemos desarrollarla respecto a este sistema de funciones,
obteniendose
X1
1 nx
f (x) a0 + an cos( )
2 n=1
L
donde
Z L
2 nx
an = f (x)cos( )dx (n = 0; 1; 2; :::)
L 0 L
serie que se denomina serie de Fourier de cosenos de f (x) en el intervalo 0 x L.
Nota: Si f (x) es par, la serie trigonometrica de Fourier de f (x) en L x L coincide con la serie
de Fourier de cosenos de f (x) en 0 x L.
Ejemplos:
a) f (x) = 1; 0 x b) f (x) = x; 0 x

Convergencia de las series de Fourier

Hemos expresado el desarrollo de una funci
on f (x) en serie trigonometrica de Fourier en un
intervalo L x L como
X1
1 nx nx
a0 + [an cos( ) + bn sen( )]
2 n=1
L L

11
donde los coecientes de Fourier de f (x) vienen dados por
Z L
1 nx
an = f (x)cos( )dx (n = 0; 1; 2; 3; :::)
L L L
Z L
1 nx
bn = f (x)sen( )dx (n = 1; 2; 3; ::::)
L L L
Este desarrollo es meramente formal y nos planteamos ahora cu ales deben ser las condiciones
nx nx 2L
para la convergencia de la serie. Las funciones sen( ) y cos( ) son peri
odicas de periodo ,
L L n
lo que nos lleva a que tambien son peri
odicas de periodo 2L, por tanto si la serie trigonometrica de
Fourier converge a una funci
on f (x), esta debe ser tambien periodica de periodo 2L. Luego, si la serie
converge para todo x del intervalo L x L lo har
a para todo x en 1 < x < 1 y la funci
on
suma ser
a peri
odica de periodo 2L.
Teorema: Sea f (x) una funci
on tal que

1. f (x) es peri
odica de periodo 2L.

2. f (x) es regular a trozos en el intervalo L x L.

Entonces, la serie trigonometrica

X1
1 nx nx
a0 + [an cos( ) + bn sen( )]
2 n=1
L L

donde
Z L
1 nx
an = f (x)cos( )dx (n = 0; 1; 2; 3; :::)
L L L
Z L
1 nx
bn = f (x)sen( )dx (n = 1; 2; 3; ::::)
L L L
converge en cada punto x al valor
f (x+ ) + f (x )
2
siendo f (x+ ) = lim f (x + h) y f (x ) = lim f (x h). En particular si f es continua en x, la
h!0; h>0 h!0; h>0
convergencia ser
a a f (x).
Ejemplo: (
; x 0
f (x) =
x; 0 x
on regular a trozos en el intervalo 0 x L. Entonces:
Teorema: Sea f (x) una funci

12
 f (x+ ) + f (x )
1. La serie de Fourier de senos de f (x) converge al valor para cada x tal que
2
0 < x < L. En particular si f es continua en 0 < x < L, converge a f (x). Adem as converge a
cero en x = 0 y x = L.
g(x+ ) + g(x )
La serie converge en cada punto x 2 (1; 1) a , siendo g la funci
on impar
2
peri
odica de periodo 2L que coincide con f en 0 < x < L y tal que g(0) = g(L) = 0.
f (x+ ) + f (x )
2. La serie de Fourier de cosenos de f (x) converge al valor para cada x tal que
2
0 < x < L. En particular si f es continua en 0 < x < L, converge a f (x). Adem as converge a
f (0+ ) en x = 0 y a f (L ) en x = L.
h(x+ ) + h(x )
La serie converge en cada punto x 2 (1; 1) a , siendo g la funci
on par peri
odica
2
de periodo 2L que coincide con f en 0 x L.

Ejemplo: f (x) = x; 0x

13