3.

Problemas de contorno para EDOs

Un problema de valores iniciales para una ecuacin ordinaria con coeficientes con-
tinuos tena solucin nica. En concreto, la solucin de una ecuacin lineal de se-
gundo orden queda determinada fijando el valor de la solucin y de su derivada en
un punto dado. Las cosas cambian si imponemos las condiciones en los dos extre-
mos de un intervalo [, b] . Estos problemas de contorno presentan propiedades
muy diferentes. Por ejemplo, un problema tan sencillo y regular como
y () + y() = 0
00
y(0) = 0, y() = 0
tiene infinitas soluciones: y = C sen , con C constante arbitraria.
Los problemas de contorno que nos aparecern al utilizar el mtodo de separacin
de variables del captulo 3 dependern de un parmetro . Para analizar sus
propiedades convendr escribir la ecuacin de la siguiente forma:
 (py 0 )0 qy + ry = 0
(P) y() 0 y 0 () = 0
y(b) + 0 y 0 (b) = 0
Ante un problema como (P) nuestro objetivo ser hallar los valores de para
los que hay soluciones no triviales (autovalores de (P)) y esas soluciones
no triviales correspondientes a cada (autofunciones de (P) asociadas a ).
Observemos que y = 0 es siempre solucin trivial de (P) y que, por ser lineales y
homogneas la ecuacin y las condiciones de contorno, si y() es solucin de (P)
tambin lo es Cy() para cualquier C .
Comenzaremos en 3.1 estudiando varios ejemplos para la ecuacin y 00 +y = 0 (la
ms sencilla y la que ms veces aparece separando variables). En ellos existir una
sucesin infinita de autovalores y las autofunciones asociadas a distintos sern
ortogonales entre s. Despus precisaremos para qu tipo de problemas de con-
torno (P) se mantienen esas propiedades. Sern los que se llaman problemas de
Sturm-Liouville separados. Hablaremos tambin brevemente de los problemas
peridicos y de los singulares.
En la seccin 3.2 veremos que cualquier funcin continua y derivable a trozos
se puede escribir como una serie de autofunciones de un problema de Sturm-
Liouville, lo que ser muy til en la resolucin de EDPs. Este resultado generaliza los
desarrollos de Fourier en series de senos y cosenos, cuyas propiedades bsicas
tambin veremos. Aunque la convergencia natural de estas series sea la llamada
convergencia en media, nosotros nos limitaremos a tratar la convergencia puntual
y uniforme.
Separando variables en la ecuacin de Laplace y similares aparecern, adems
de problemas de Sturm-Liouville homogneos, otros problemas de contorno con la
ecuacin o alguna condicin de contorno no homogneas. Por eso, estudiaremos
en 3.3 problemas de ese tipo. Para ellos, ni y = 0 es solucin, ni lo son los mltiplos
de una solucin dada. La existencia de soluciones depender de si existen o no
soluciones no triviales del homogneo. Tendrn solucin nica en el ltimo caso, e
infinitas o ninguno si el homogneo tiene infinitas.
La notacin en todo este captulo ser y() , pero en separacin de variables las
funciones de nuestros problemas de contorno sern X() , Y(y) , R(r) , () , . . .

37
3.1. Problemas de Sturm-Liouville homogneos
Antes de dar la teora general, hallemos los autovalores y autofunciones de dos
problemas de contorno homogneos para la sencilla EDO lineal y 00 + y = 0 .
p
Como su polinomio caracterstico es 2 + = 0 = , la solucin general
de la ecuacin ser diferente segn sea menor, igual mayor que 0 .

y 00 + y = 0

Ej 1. (P1 ) Imponemos las condiciones de contorno en cada caso:
y(0) = 0, y() = 0
p
Si < 0 la solucin general es y = c1 ep + c2 ep , con p = > 0 .
y(0) = c1 + c2 = 0 c2 = c1 &


y() = c1 ep + c2 ep = 0 c1 [ep ep ] = 0 e!p

Por tanto c1 = c2 = 0 (pues ep 6= ep si p > 0 ). e-!p

Ningn < 0 es autovalor. p

y(0) = c1 = 0

Si = 0 es y = c1 + c2 y 0 . = 0 tampoco es autovalor.
y() = c1 + c2 = 0

y(0) = c1 = 0
p

Y para > 0 es y = c1 cos + c2 sen , con = > 0
y() = c2 sen = 0
Para tener solucin no trivial debe ser c2 6= 0 . 1
p y
Para ello, = = n n = n2 , n = 1, 2, . . . 1

Para cada uno de estos n hay soluciones no triviales 0 !

y y2
3
yn = c2 sen n {sen n} .
R
Observemos que se cumple si m 6= n : 0 sen n sen m d = 0 ,
R  sen(nm) sen(n+m)

pues 21 0 cos(n m) cos(n+ m) d = 21 =0.

nm
n+m 0

Resumiendo: (P1 ) tiene una sucesin infinita de autovalores n = n2 , n = 1, 2, . . . .

Las autofunciones yn = {sen n} asociadas a cada n forman un espacio vec-
torial de dimensin 1 . La n-sima autofuncin posee n 1 ceros en (0, ) . Las
autofunciones
R distintas son ortogonales en [0, ] [respecto del producto escalar
, = 0 d ].

y 00 + y = 0

Ej 2. (P2 ) Imponemos estas nuevas condiciones:
y 0 (0) = 0, y 0 () = 0

y 0 (0) = p[c1 c2 ] = 0

<0 c2 = c1 c1 [ep ep ] = 0 y 0 .
y 0 () = p[c1 ep c2 ep ] = 0

y 0 (0) = c2 = 0

=0 = 0 autovalor con autofuncin y0 = c1 .
y 0 () = c2 = 0

y 0 (0) = c2 = 0

1
>0 n = n2 , yn = c1 cos n .
y 0 () = c1 sen = 0 cos x

Los n = n2 y las yn = {cos n} , n = 0, 1, 2, . . . 0 !

tienen las mismas propiedades resaltadas para el problema cos 2x
anterior. Por ejemplo, la autofuncin que ocupa el lugar n se
anula n 1 veces y sigue habiendo ortogonalidad:
R R sen(nm) sen(n+m)

0
cos n cos m d = 21 0 [cos(n m)+ cos(n+ m)] d = 21 nm
+ n+m =0 .
0

38
Pasemos a tratar ya el problema general. Sea la ecuacin lineal de segundo orden
dependiente de un parmetro real :
y 00 + ()y 0 + b()y + c()y = 0 , con , b, c C[, b] , c() > 0 en [, b] .
La reescribimos de otra forma,Rque se suele denominar autoadjunta o Sturm-
Liouville. Multiplicando por e se tiene
R 0 R R 0
e y 0 + b e y + c e y py 0 qy + ry = 0 , con p C1 , q, r C , p, r > 0 .


Las condiciones que ms nos van a interesar son las condiciones separadas (cada
una afecta a los valores de y o de y 0 slo en uno de los extremos del intervalo):

Se llama problema de Sturm-Liouville separado regular a uno del tipo:

0
[py 0 ] qy + ry = 0

(Ps )
y() 0 y 0 () = 0 , y(b)+ 0 y 0 (b) = 0 (condiciones separadas)
donde p C1 [, b] , q, r C[, b] , p, r > 0 en [, b] , ||+ | 0 | , ||+ |0 | 6= 0 .
[Las ltimas condiciones lo que dicen es que y | 0 | , || y |0 | no se anulan a la vez].

Los ejemplos 1 y 2 eran unos (Ps ). Este teorema generaliza sus propiedades:

Los autovalores de (Ps ) son una sucesin infinita 1 < 2 < < n <
que tiende a . Las autofunciones {yn } son un espacio vectorial de
dimensin 1 para cada n y cada yn posee exactamente n 1 ceros
en (, b) . Las autofunciones asociadas a autovalores diferentes son
Teor 1. ortogonales en [, b] respecto al peso r , es decir:
Rb
yn , ym r yn ym d = 0 , si yn , ym estn asociadas a n 6= m .
Si 0 0 , 0 0 y q() 0 en [, b] entonces todos los n 0 . En
particular, para y() = y(b) = 0 [o sea, si 0 = 0 = 0 ] todos los n > 0 .

No probamos la primera afirmacin y la de los ceros que son difciles. S el resto.

Si y cumple (Ps ): y 0 () = 0 y() , 0 6= 0 ; y 0 (b) = 0 y(b) , 0 6= 0
[y es y() = 0 , si 0 = 0 ; y(b) = 0 , si 0 = 0].
Si y , y estn asociadas al mismo , se deduce que dependen linealmente, pues
su wronskiano se anula en (o tambin en b ):
|W|(y, y )() = yy 0 y 0 y = = 0 , si 0 = 0 o si 0 6= 0 .


Sean ahora yn , ym asociadas, respectivamente, a n y m :

n ryn = [pyn0 ] 0 + qyn

Multiplicando por ym e yn ,
m rym = [pym 0 ] 0 + qy
m restando e integrando:
0 )0 y (py 0 )0 d partes
Rb Rb
[n m ] ryn ym d = yn (pym 0 y y0 ) b = 0
= p(yn ym
  
m n m n

pues |W|(yn , ym ) = 0 en y en b . Por tanto, si n 6= m se tiene que yn , ym = 0 .

Si y es la autofuncin asociada a y 0 0 , 0 0 , q 0 entonces

Rb Rb Rb b
ry 2 d = y(py 0 )0 + qy 2 d = p(y 0 )2 + qy 2 d pyy 0 0 0 ,
  

Rb Rb
pues ry 2 d > 0 ( r > 0 ) , p(y 0 )2 + qy 2 d 0 ( p > 0 , q 0 ) ,


p(b)[y(b)] 2 0 si 0 6= 0 p()[y()] 2 0 si 0 6= 0
[pyy 0 ](b) = 0 , [pyy 0 ]() = 0 .
0 si 0 = 0 0 si 0 = 0
Rb
Si y() = y(b) = 0 , y = {1} no es autofuncin y 0
6 0
p(y 0 )2 > 0 > 0 .

39
  00
y + y = 0  0
Ej 3. (P3 ) (casi en forma autoadjunta: y 0 + y = 0 ; es r 1 ).
y 0 (0) = y(1) = 0

Tendr las propiedades del teorema 1. Hallemos sus n . Como 0 = 0 = 0 , q 0 , nos

limitamos a los 0 . [Ahora sabemos que podamos haber hecho esto en el ejemplo 2,
y que en el 1 hubieran bastado los > 0 ; que conste que hay problemas con < 0 ].
y 0 (0) = c2 = 0

= 0 : y = c1 + c2 y 0 . = 0 no es autovalor.
y(1) = c1 + c2 = 0

> 0 : y = c1 cos + c2 sen . y 0 (0) = 0 c2 = 0 y(1) = c1 cos = 0

(2n1)2 2

n = 2n12
, n = 4
, y n = cos 2n1
2
, n = 1, 2, . . .
R1
El teorema asegura que las {yn } son ortogonales: 0 yn ym d = 0 ,
n 6= m (sera fcil comprobarlo), y que la autofuncin n-sima (como
le ocurre a las tres dibujadas) tiene n 1 ceros en (0, 1) .

Como 0 = 0 , 0 > 0 , q 0 ,
00
y + y = 0
Ej 4. (P4 )
y 0 (0) = y 0 (1)+ y(1) = 0 volvemos mirar slo los 0 .

y 0 (0) = c2 = 0

= 0 : y = c1 + c2 y 0 . = 0 no autovalor.
y 0 (1)+ y(1) = c1 + 2c2 = 0

> 0 : y = c1 cos +c2 sen . y 0 (0) = c2 = 0 y 0 (1)+y(1) = c1 [cos sen ] = 0 .

No podemos hallar exactamente los n , pero tn n = 1
n
lo cumplen infinitos n (anulan el corchete infinitos n ),
que slo se pueden hallar aproximadamente. La yn para ca- 1/w
da n = n2 es {cos n } . Estas yn sern ortogonales. !
0 w1 w2 w3 w
[La mayora de los problemas de S-L no son resolubles, pues
pocas lineales de segundo orden lo son elementalmente (las
de coeficientes constantes y pocas ms), y aunque lo sean tan w
puede ocurrir lo que en este ejemplo].
 00
y 2y 0 + y = 0 2 2+ = 0 , 0
e2 y 0 + e2 y = 0

Ej 5. (P5 ) p
y 0 (0) = y 0 (1) = 0 = 1 1 .
Sabemos que los 0 , pero esto no ahorra clculos, pues y hay que mirar <, =, > 1 :
p
< 1 : y = c1 e(1+p) + c2 e(1p) , y 0 = c1 (1+ p) e(1+p) + c2 (1 p) e(1p) , p = 1
c1 [1+ p] + c2 [1 p] = 0

c2 (1 p)e[ep ep ] = 0 p = 1 ( = 0 ), y0 = {1} .
c1 [1+ p]e1+p + c2 [1 p]e1p = 0
c +c = 0

= 1 : y = [c1+c2 ] e , y 0 = [c1+c2+c2 ] e 1 2 y 0 . = 1 no autovalor.
c1 + 2c2 = 0
p
y = [c1 cos + c2 sen ] e , = 1
>1 : 0  y 0 (0) = c1 + c2 = 0
y = (c1 + c2 ) cos + (c2 c1 ) sen e

y 0 (1) = c2 e(1+ 2 ) sen = 0
= n, n = 1, 2, . . . n = 1+n2 2 , yn = e [sen nn cos n] , n = 1, 2, . . .


Las autofunciones sern ortogonales respecto al peso r() = e2 :

R1
0
e [sen n n cos n] d = 0
R1
0
[sen n n cos n][sen m m cos m] d = 0 (m 6= n)


2 y 00 + y 0 + y = 0 R 0 R d
y
= y 0 + = 0 . Es r() = 1 .
p() = e
=e

Ej 6. (P6 )
y(1) = y(e) = 0
Es problema separado regular p, r > 0 en [1, e] .

p
Ecuacin de Euler: r(r 1)+ r + = 0 r = . Basta mirar los > 0 :
c =0

y = c1 cos( ln )+c2 sen( ln ) , c1 sen = 0 n = n2 2 , yn = sen(n ln ) , n = 1, 2, . . .

2
R e sen(n ln ) sen(m ln ) d
Como siempre, las autofunciones son ortogonales: 1
= 0 , m 6= n .

40
Separando variables nos aparecern tambin problemas de contorno como el si-
guiente, que no es separado, pues sus condiciones de contorno mezclan valores
en los dos extremos del intervalo. En concreto, este es un problema peridico:

00
y + y = 0 [Estas condiciones equivalen a
Ej 7. (P7 )
y() = y(), y 0 () = y 0 () pedir que y sea 2-peridica].

c1 [ep ep ] c2 [ep ep ] = 0

<0 Como el determinante de los coeficientes
c1 [ep ep ] + c2 [ep ep ] = 0
e ep ep ep 
 p 
p )2 6 = 0 si p > 0 ,
ep ep ep ep  = 2(e e
  p

el sistema slo tiene la solucin trivial c1 = c2 = 0 . No hay autovalores negativos.

c c = c1 + c2

= 0 c1 = c2 se satisface para c2 = 0 y cualquier c1 : y0 = c1 = {1} .
2 2

2c2 sen = 0

>0 sen = 0 n = n2 , n = 1, 2, . . .
2c1 sen = 0

Para esos n las condiciones de contorno se cumplen para todo c1 y todo c2 .

Las autofunciones son, pues: yn = c1 cos n + c2 sen n {cos n, sen n} .
[Es claro que exigir simplemente que y sea 2-peridica
lleva directamente a los mismos autovalores y autofunciones].

Las propiedades de (P7 ) son algo distintas de las los problemas separados: sigue ha-
biendo una sucesin infinita de autovalores n = n2 , n = 1, 2, . . . tendiendo a ,
pero las autofunciones y0 = {1} , yn = {cos n, sen n} forman, si n > 0 , un es-
pacio vectorial de dimensin 2. Utilizando sen cos b = 21 sen(+b)+ sen(b)
 

(y las relaciones ya vistas para sen sen b y cos cos b y las frmulas del ngulo
doble) se comprueba que sigue siendo cierto que autofunciones diferentes son
ortogonales entre s.

Los problemas de Sturm-Liouville pueden generalizarse. En la demostracin del teorema se

b
aprecia que lo esencial para la ortogonalidad es que p|W|(yn , ym ) = 0 ; esto sucede para


otros tipos de condiciones de contorno (y para otros muchos no) adems de las separadas.
Por ejemplo ocurre en los llamados problemas peridicos que generalizan el (P7 ):
[py 0 ] 0 qy + ry = 0 , con p() = p(b) , p C1 [, b] , q, r C[, b] , p, r > 0 en [, b]

(Pp )
y() = y(b), y 0 () = y 0 (b) (condiciones peridicas)

 en ni en b (y por
Para (Pp ) no se anula el wronskiano de dos soluciones ni  eso hay espacios
de autofunciones de dimensin 2), pero es claro que p|W|(yn , ym ) (b) = p|W|(yn , ym ) () .


b
Ms en general, se llaman problemas autoadjuntos aquellos tales que p|W|(, ) = 0


para todo par de funciones , que cumplan sus condiciones de contorno.

Las yn de problemas autoadjuntos (que en libros avanzados se ve que tienen propiedades
similares a las vistas) son, pues, ortogonales. Pero no nos ocupamos ms de ellos, pues los
problemas que nos aparecern en el captulo 4 sern todos separados (o el (P7 ) de arriba).
0
[El trmino autoadjunto se debe a que si llamamos L[y] = [py 0 ] + qy , con lo que la
Rb
ecuacin adopta el aspecto algebraico L[y] = ry , y denotamos (,) = d , se
tiene que L[], = , L[] para todo par de funciones , que cumplen los datos

de contorno: el operador L es autoadjunto en ese conjunto de funciones].

00
y + y = 0
Se tiene p|W|(, ) () = p|W|(, ) (0) .
   
Ej 8. (P8 )
y(0) = y(), y 0 (0) = y 0 ()

El problema, pues, no es autoadjunto. Operando como en el ejemplo 7 es fcil ver que

las cosas son muy diferentes: cualquier (menor, igual o mayor que 0 ) es autovalor
asociado, respectivamente, a ch p( 2 ) , {1} cos ( 2 )
     

y en general es falso que las autofunciones asociadas a distintos sean ortogonales.

41
Resolviendo algunas EDPs aparecern problemas singulares de Sturm-Liouville
que no renen todas las condiciones de los regulares: p r se anulan o no son
continuas en algn extremo del intervalo, el intervalo es infinito. . . Resolvamos tres
de ellos (el 9 surge, por ejemplo, tratando ondas o calor en el espacio, el 10 si esas
ecuaciones son en el plano y el 11 para Laplace en la esfera), en los que en uno
o ambos extremos es p = 0 . En esos extremos las condiciones de contorno de un
(Ps ) son demasiado fuertes para tener autovalores y autofunciones como en los re-
gulares y se sustituyen por acotacin, de forma que siga habiendo ortogonalidad,
es decir, segn vimos en la demostracin del teorema 1, que se cumpla:
0 y y 0 ) b = ( )y , y .
0 = p (yn ym
 
m n n m n m

R
y 00 + 2y 0 + y = 0

e = 2  0
Ej 9. (P9 ) y 00 + 2 y 0 + y = 0 2 y 0 + 2 y = 0 .
y acotada en = 0, y(1) = 0

Haciendo el cambio = y la ecuacin se convierte en la conocida 00 + = 0

la solucin general de la inicial para > 0 es y = c1 cos + c2 sen .
cos sen
y acotada en = 0 c1 = 0 pues



, mientras que
.
0+  sen n 0
y(1) =0 sen = 0 n = n2 2 , n = 1, 2, . . . , yn =
[que son ortogonales, como es fcil comprobar, respecto al peso r() = 2 ].
Es fcil ver directamente que no hay 0 , o podemos evitar las cuentas pues la prueba
de esa parte del teorema se puede adaptar a este problema singular, con lo que > 0 .
[Tambin se podra haber observado que las condiciones que quedan tras el cambio son
(0) = 0y(0) = 0 , (1) = 10 = 0 n = {sen n} , y haber deshecho el cambio].
[Si hubisemos impuesto y(0) = 0 , y(1) = 0 la nica solucin sera y 0 ;
las condiciones para este problema singular habran sido demasiado fuertes].

y 00 + y 0 + y = 0

0
y 0 + y = 0 .

Ej 10. (P10 )
y acotada en = 0, y(1) = 0
p
Se puede probar que > 0 . Haciendo el cambio de variable independiente s = =
dy d2 y 
y 0 = ds , y 00 = 2 ds2 , la ecuacin se convierte en la de Bessel de orden 0 :


d2 y dy
s ds2 + ds
+ sy = 0 y = c1 J0 (s) + c2 K0 (s) = c1 J0 () + c2 K0 () .

La primera condicin de contorno impone que c2 = 0 1

( K0 no est acotada en = 0 ). De la otra se deduce 0.8
que c1 J0 () = 0 . As pues, los autovalores son los
0.6
1 < 2 < cuyas races son los infinitos ceros de J0
0.4

1 2.40 , 2 5.52 , 3 8.65 , . . .

0.2 _
y si n grande es n = n n 14 .
p
!"
0
Para esos n = n2 las autofunciones asociadas son 4 8 12 16
-0.2
yn = J0 (n ) ,

-0.4
que son ortogonales respecto al peso r() = .

0
(1 2 )y 0 + y = 0

Ej 11. (P11 )
y acotada en = 1 La ecuacin es la de Legendre si = p(p+ 1) .

Sabemos que sus nicas soluciones acotadas a la vez en 1 y en 1 son los polinomios
de Legendre Pn () , que aparecen cuando p = n , n = 0, 1, 2, . . .
P0 = 1 , P1 = , P2 = 32 2 21 , P3 = 52 3 32 , . . .
Los autovalores son n = n(n+ 1) , n = 0, 1, 2, . . . y las autofunciones son los {Pn } , que
R1 R1 2
cumplen, como dijimos en 2.3: 1 Pn Pm d = 0 si m 6= n , 1 Pn2 d = 2n+1 r() = 1 .
 

42
3.2. Series de Fourier
Consideremos el problema de Sturm-Liouville separado regular:
0
[py 0 ] qy + ry = 0

(Ps )
y() 0 y 0 () = 0, y(b)+ 0 y 0 (b) = 0

y sean y1 , y2 , . . . , yn , . . . sus autofunciones asociadas a los 1 , 2 , . . . , n ,. . . .

La importante propiedad que veremos en esta seccin es que cualquier funcin
suficientemente regular en [, b] puede ser desarrollada en serie de
dichas autofunciones, es decir:

() = cn yn ()
X

n=1

Supongamos que este desarrollo es vlido y que la serie puede ser integrada tr-
mino a trmino. Entonces, por ser las yn ortogonales:
Rb Rb Rb
r ym d = cn r yn ym d = cm r ym ym d
X

n=1

As pues, representando como en 3.1 el producto escalar respecto al peso r() por:
Rb , yn
, =
r d debe ser cn = , n = 1, 2, . . .
yn , yn

[El r es el de la ecuacin en forma autoadjunta; en la mayora de los problemas que

aparecern separando variables en el captulo 4 dicho peso ser 1 , pero no siempre].

El problema (nada elemental) reside en precisar para qu funciones la serie con

esos coeficientes (serie de Fourier de ) converge realmente hacia en [, b] .
Aunque se le pueden exigir condiciones ms dbiles, nosotros pediremos a que
sea C1 a trozos, condicin que ser satisfecha por las funciones que aparecern
en problemas prcticos.
[Se dice que una es C1 a trozos en [, b] si podemos dividir el
intervalo en subintervalos [, b] = [, 1 ] [1 , 2 ] [n , b]
de modo que:
i. y 0 son continuas en cada (k , k+1 ) , a x1 xn b
ii. los lmites laterales de , 0 en cada k existen (son finitos)].

Si es C1 a trozos en [, b] entonces su serie de Fourier:

, yn
yn ()
X

Teor 1. n=1
yn , yn
converge hacia () en los (, b) en que es continua y
hacia 12 ( )+ (+ ) en los (, b) en que es discontinua.


El teorema no dice nada sobre la convergencia en los extremos y b .


La demostracin es difcil y la omitimos. En lenguaje de anlisis funcional, las {yn }
son una base de Fourier del espacio de funciones de dimensin infinita (similar a una
base ortonormal de uno de dimensin finita). La cuestin principal es ver que la base
es completa, es decir, que no hay otras funciones ortogonales a las {yn } . El espacio
natural para estudiar las series de Fourier es L2 (funciones de cuadrado integrable) y
la convergencia ms ligada a ellas es la convergencia en media cuadrtica:
R b  n 2
() ()
X 
c y  d 0 cuando n .


 k k
k=1

43
Caso particular de los desarrollos en serie de Fourier son los desarrollos en series
trigonomtricas, que, al ser los que ms utilizaremos, estudiamos con detalle.
Los autovalores y autofunciones de:

y + y = 0
00
2 2
son n = nL2 e yn = sen n , n = 1, 2, . . . .

(P1 )
y(0) = y(L) = 0 L

2
[Sale fcil directamente, o podemos hacer s =
L
y 00 + L 2 y = 0 , y(0) = y() = 0 en la
variable s , que es casi el ejemplo 1 de 3.1; tambin se trasladara haciendo s = un
problema en [, b] al (P1 ) (con L = b ), sin necesidad de estudiarlo desde el principio].
Llamaremos serie de Fourier en senos en [0, L] de al desarrollo en estas yn :
Z L
() = bn sen n , con bn = 2
() sen n d , n = 1, 2, ...
X
L L L
[s]
n=1 0

RL 2 1R L 
Pues el peso r() 1 y es yn , yn = sen n d = 1 cos 2n = L

0 L 2 0 L
d 2
.
[Hemos escrito impropiamente = ; la igualdad slo se da en los (0, L)
en que es continua; en 0 y L an no sabemos, pero pronto lo sabremos].

Se llamar serie de Fourier en cosenos en [0, L] de una dada al desarrollo en

las autofunciones de este segundo problema de contorno:

y + y = 0
00
2 2
son n = nL2 , yn = cos n , n = 0, 1, . . . y0 = {1}
  
(P2 )
y (0) = y (L) = 0
0 0 L

Z L

() = 2o + n cos n , con n = 2
() cos n d , n = 0, 1, 2, ...
X
L L L
[c]
n=1 0

RL RL 2
Pues y0 , y0 = 0
12 d = L e yn , yn = 0
cos n
L
d = L
2
, si n 1.
 o 
Ponemos 2
en la serie para que la frmula del n valga tambin para o .

Otras dos familias de autofunciones sencillas en las que vamos a desarrollar fun-
ciones muchas veces son las de estos problemas fciles de resolver:

y + y = 0
00
[2n1] 2 2 [2n1]

con n = 22 L2 , yn = sen , yn , yn = 2L , n = 1, 2, . . .
y(0) = y (L) = 0
0 2L

y + y = 0
00
[2n1] 2 2 [2n1]

con n = 22 L2 , yn = cos , yn , yn = 2L , n = 1, 2, . . .
y (0) = y(L) = 0
0 2L

A los desarrollos en estas autofunciones los llamaremos, respectivamente, series

en senos impares y en cosenos impares en [0, L].
RL
2
Observemos que en estos cuatro casos el coeficiente adopta la forma L 0
yn .

1
Ej 1. Desarrollemos () = , [0, 1] en senos, cosenos y cosenos impares:
x
(1)n+1 R1 0
() = 2 sen n , pues bn = 2 2
sen n d = n cos n , n = 1, 2, . . . 1
X
n 0
n=1

1 (1)n 1
() = + 22 cos n = 1 4 X 1
X
2 n2 2
2 (2m1)2
cos(2m 1) ,
n=1 m=1
R1 R1
ya que o = 2 0
d = 1 , n = 2 0
cos n dt = n22 2 [cos n 1] , n = 1, 2, . . .

4(1)n+1 (2n1) R1 (2n1)

8
() = , pues cn = 2 d = .
X
(2n1)
2 (2n1)2
cos 2 0
cos 2
n=1

Las tres series, segn el teorema 1, convergen hacia () para todo (0, 1) . Lo
mismo sucedera con el desarrollo en autofunciones de cualquier otro problema
de Sturm-Liouville que considersemos.

44
La teora de series de Fourier tambin incluye los problemas peridicos. Para:
2 2
y + y = 0
00
, n = nL2 , yo = {1} , yn = cos n , sen n

(Pp ) L L
y(L) = y(L), y 0 (L) = y 0 (L) n = 0, 1, . . .

se deduce la siguiente serie de Fourier en senos y cosenos en [L, L]:

() = 2o + n cos n + bn sen n
X  
[p] L L
, con coeficientes:
n=1

Z L Z L
[1] n = 1
L
() cos n
L
d y [2] bn = 1
L
() sen n
L
d , ,
L L

n = 0, 1, 2, ... n = 1, 2, ...
RL RL
pues: cos m
LL
sen n
L
d = 0 para todo m y n ; L 12 d = 2L ;
RL 0 m 6= n RL 0 m 6= n

m n m n
L
cos L
cos L
d = L m=n
; L
sen L
sen L
d = L m=n
.

Las frmulas [1]-[2] tambin valen para desarrollar una definida inicialmente
en cualquier otro intervalo [, + 2L] (cambiando los lmites a la integral) pues
R +2L R +2L
cos2 = sen2 = L .


Como en el teorema 1, la serie [p] converge hacia () en los en los que es con-
tinua. Pero adems se puede decir lo que pasa en los extremos L y L (pues [p]
define una funcin en todo R que es 2L-peridica). Podemos hablar tambin sobre
convergencia uniforme de [p] (sin demostrar nada, como en toda la seccin):

Suponemos que es C1 a trozos en [L, L] y extendemos fuera de

[L, L] de forma 2L-peridica. Entonces la serie [p] con n y bn dados
por [1] y [2] converge hacia () en todos los puntos en que su extensin
Teor 2. es continua (y hacia 2 ( )+ (+ ) en los puntos de discontinuidad).
1 

Adems [p] converge uniformemente en cualquier intervalo cerrado sin

discontinuidades de la extendida. Por tanto, si (L) = (L) y es
continua, [p] tiende uniformemente hacia en todo el intervalo [L, L] .

Las frmulas [s] y [c] de los coeficientes de las series en senos y en cosenos son
casos particulares de [1] y [2]: dada una definida en [0, L] se puede extender
de forma impar o par a [L, L]. En el primer caso es impar () cos n L
y par
n n n
() sen L . En el segundo, es par () cos L e impar () sen L . As, n = 0 y
[1] se convierte en [s] en el primero, y en el otro bn = 0 y [2] pasa a ser [c].
[Si definisemos la de cualquier otra forma en [L, 0), la serie en senos y cosenos
tambin convergera hacia () en los de (0, L) en que fuese continua].
Como consecuencia de lo anterior y del teorema 2 se tiene que:
La serie de cosenos de una continua en [0, L] , con 0 continua a
trozos, converge uniformemente hacia en todo el intervalo.
Si satisface adems que (0) = (L) = 0 la serie en senos de tambin
converge uniformemente hacia en todo [0, L] .
[Si no fuese (0) = 0 (L) = 0 la extendida primero de forma impar a [L, L]
y luego de forma 2L-peridica no sera continua en 0 o en L ; adems est claro
que todas las series en senos se anulan en 0 y L , pues lo hace cada sumando].

1 En particular, la serie en senos del Ej 1 no con-

par
verge hacia en todo [0, 1] (s lo hace unifor-
-3 -1 0 1 3 memente en todo intervalo [0, b] , b < 1 ). La de
cosenos converge uniformemente en [0, 1] .
impar 1
[Aunque las series en cosenos se comporten
mejor, resolviendo EDPs no podremos elegir el
-3 -1 0 1 3
tipo de series en que desarrollar las funciones:
-1
nos las impondr el problema].

45

0 , 1 0 1
Ej 2. Sea () = .
, 01
-1 0 1
Su serie en senos y cosenos est casi calculada:

1 (1)n 1 (1)n
+ 12 cos n 1
X X
4 n2 n
sen n .
n=1 n=1
-1 0 1
La suma de la serie es 0 en (1, 0] , en [0, 1)
y 1/ 2 en 1 y 1 . En todo cerrado que no con-
S2 Sngordo
tenga estos puntos la convergencia es uniforme.
Cerca de ellos la convergencia es mala y lenta.
[Se produce el fenmeno de Gibbs: aparecen S0
picos cerca de las discontinuidades]. S1

Calculemos desarrollos en autofunciones ms complicadas que las 4+1 citadas hasta ahora.

Ej 3. Desarrollemos () = , [0,1] en las autofunciones del ejemplo 4 de 3.1:

{cos n } con tn n = 1 r() = 1 .
 
n
R1 n2 +cos2 n 2+n2
cos n , cos n = 0
cos2 n d = 1
2
+ sen 2
n cos n
= 2n2
=
,
n 2 1+n2
R1 n 1
, cos n = 0
cos n d = sen n
n
+ cos 2 = 2 cos2 n 1
n n

2(2 cos n 1)
Por tanto: =
X
n2 +cos2 n
cos n .
n=1

[Vamos a usar el ordenador (en concreto el programa Maple)

para hallar varios coeficientes y dibujar algunas sumas parciales
de esta serie. Lo primero ser aproximar los n :
1 0.8603 , 2 3.4256 , 3 6.4373 , 4 9.5293 . . .
De ellos deducimos los cn :
c1 0.5223 , c2 0.4614 , c3 0.0460 , c4 0.0651 . . .
A la derecha estn dibujadas y la cuarta suma parcial. Parece
tambin converger en los extremos, cosa que no sabamos].

Ej 4. Otro desarrollo de () = , ahora en [1, e] , en las autofunciones del Ej 6 de 3.1.

R e sen2(n ln ) d R 1
Esta vez el peso no es 1 , sino r() = 1 . Como 1
= 0 sen2(ns) ds = 12 ,
 
Re R1 2n 1e(1)n
= cn sen(n ln ) , si cn = 2 1 sen(n ln ) d = 2 0 e sen(ns) ds =
s
X
1+n2 2
.
m=1

Observemos para acabar que tambin se pueden hacer desarrollos de Fourier en serie de
autofunciones de diversos problemas de Sturm-Liouville singulares, en particular en las de
los tres que vimos al final de la seccin anterior.

Ej 5. Desarrollemos una (C1 a trozos) en las autofunciones del (P10 ) de esa seccin:
y 00 + y 0 + y = 0

() = cn J0 n , peso r() = .
X

(P10 )
y acotada en = 0, y(1) = 0 m=1
R1
() J0 (n ) d 2 R1
cn = 0
R1 = () J0 (n ) d
J2 J2
1 (n )
0
0 0 (n ) d
R1 1 R n 1

n 1 2
pues 0
J20 (n ) d = n2 0
J20 () d = 2n2
2 J20 ()+ J21 () = J
2 1
n )
0
0 0
ya que las Jn satisfacen n Jn = n Jn1 J1 = J0 , J00 = J1
 

2 2 2
J20 d = 2 J20 + J0 J1 d = 2 J20 + 12 J1
R R 

46
3.3. Problemas no homogneos
00
y = d
Ej 1. Discutamos cuntas soluciones tiene , d , b constantes.
y(1) = y(2)+ by 0 (2) = 0
3 2 2
La solucin general es: y = c1 + c2 + d con y 0 = c2 + 2 d . Imponiendo datos:


6 2
1
d2 c1 + c2 = d2 16

y(1) = c1 + c2 + 6
=0
4 , es decir: .
y(2)+ by 0 (2) = c 1 + 2c2 + 3
2d+ bc2 + 2b 2bd = 0 c1 + (2+ b)c2 = 2bd+ 2d 2b 43

Este sistema lineal tiene solucin nica en c1 y c2 si el homogneo tiene slo la trivial
(si el determinante de los coeficientes es no nulo). Cuando el homogneo tenga infinitas
soluciones, el no homogneo tendr infinitas o ninguna. Por tanto, si b 6= 1 , podemos
despejar de forma nica c1 y c2 , y la solucin queda determinada d . Pero si b = 1 :
c1 + c2 = d2 16

d
2
, este sistema slo tiene solucin cuando 2
61 = 23 d = 53 ,
c1 + c2 = 3
y en ese caso una de las dos constantes queda libre. Si b = 1 , d 6= 53 , no hay solucin.

Demos un teorema que generalice el ejemplo anterior. Consideremos el problema

para la ecuacin no homognea con condiciones separadas homogneas:
0
p()y 0 + g()y = ()

(Pf ) , p C1 , g, C , p > 0 en [, b] .
y() 0 y 0 () = y(b)+ 0 y 0 (b) = 0
y llamemos (Ph ) al problema homogneo asociado ( 0 ). Entonces:

El problema (Pf ) tiene solucin nica si y slo si (Ph ) tiene slo la

solucin y 0 . Si (Ph ) tiene soluciones no triviales {yh } entonces 11
Teor 1.
Rb =0 infinitas soluciones
segn sea () yh () d , (Pf ) tiene . 0
6= 0 ninguna solucin

Gran parte del teorema sale de imponer las condiciones de contorno a la solucin general
de la ecuacin y = c1 y1 + c2 y2 + yp , usando las propiedades de los sistemas algebraicos.
Adems si hay soluciones y de (Pf ) debe ser (y esto se ve que tambin es suficiente):
Rb Rb 0 b R b  0
yh = [py 0 ] + gy yh = p(yh y 0 yyh0 ) + [pyh0 ] + gyh y = 0
  

Ej 1 . Para el Ej 1, (Ph ) tiene slo la solucin y 0 si b 6= 1 . Y si b = 1 es yh = {1 } .

0
El (Pf ) para [y 0 ] = d , tendr entonces solucin nica si b 6= 1 , e infinitas 0 ,
 
R2
para b = 1 , segn se anule o no la integral: 1 ( d)(1 ) d = d2 56 d = 53 .

Si en vez de la d dada tuvisemos una () general, el teorema dara rpidamente:

nica solucin si b 6= 1 , e ninguna , segn 1 ()(1 ) d 6=
infinitas R2 0
= 0 , para b = 1 .
 R R
Costara bastante ms decirlo a partir de la solucin: c1 + c2 + (s)ds s (s)ds .

1 1

Sea ahora el problema con condiciones de contorno no homogneas:

0
p()y 0 + g()y = ()

(PAB ) , p C1 , g, C, p > 0 en [, b] ,
y() 0 y 0 () = A, y(b)+ 0 y 0 (b) = B
y sea (Ph ) el homogneo con () 0 , A = B = 0 (el de antes). Hallando una funcin
que satisfaga sus condiciones de contorno y haciendo = y el (PAB ) se reduce
a otro del tipo (Pf ) ya discutido en el Teor1:
0 0
p()0 + g() = () p() 0 g()
 
(P )
() 0 0 () = 0 , (b)+ 0 0 (b) = 0

Teor 2. (PAB ) tiene solucin nica (Ph ) tiene slo la solucin y 0

[y si (Ph ) tiene infinitas soluciones, (PAB ) puede tener infinitas o ninguna].

47
La idea de hallar una que cumpla las condiciones de contorno para hacerlas homogneas
se utiliza a menudo en las EDPs. Para encontrar la normalmente se trabaja por tanteo. Si
no es una constante, se prueba una recta; si no vale, funciones ms complicadas... Aunque
en (PAB ) sea () 0 , si (al menos) una condicin de contorno es no homognea, las
propiedades son las tpicas de uno no homogneo. Como en el siguiente ejemplo.

y 00 y 0 = 0

Ej 2. Discutamos cuntas soluciones tiene: (P )
y 0 (1)+ y(1) = 0, y(2) = 1

Comenzamos analizando cuntas soluciones tiene el homogneo: y = c1 + c2 2

y 0 si 6= 32

y 0 (1)+ y(1) = 2c2 + c1 + c2 = 0 [2 3]c2 = 0


y(2) = c1 + 4c2 = 0 c1 = 4c2 % y = 2 4 si = 32

Si 6= 32 , (P ) tiene solucin nica. Para = 23 vemos lo que sucede directamente:

y 0 (1)+ 32 y(1) = 23 [c1 + 4c2 ] = 0

no existe solucin de (P2/ 3 ).
y(2) = c1 + 4c2 = 1

Aunque tambin podramos (ms largo) convertirlo en un (Pf ) y aplicar el teorema 1.

Para ello buscamos una de la forma = M+ N que satisfaga las condiciones:
0 (1)+ 23 (1) = 31 [5M+ 2N] = 0 00 0 = 2

= 5 2, = y (P )
(2) = 2M+ N = 1 0 (1)+ 23 (1) = (2) = 0

La del teorema 1 es, desde luego, la de la ecuacin escrita en forma autoadjunta,

 0 0
con lo que, para aplicarlo, tenemos que reescribir nuestra ecuacin: = 22 :
R2 2 
1
2 [2 4] dt = 2 6= 0 (P ) [y por tanto (P2/ 3 )] no tiene solucin.

Consideremos ahora una tercera situacin, el problema de S-L no homogneo:

 0 0
py qy + ry = ()
(P )
y() 0 y 0 () = y(b)+ 0 y 0 (b) = 0

Sea (Ps ) el problema separado de Sturm-Liouville homogneo (el de 0 ). Para

cada aparece un problema de los ya vistos (con g = q+ r ). Se tiene por tanto:

(P ) tiene solucin nica no es autovalor de (Ps ).

Teor 3.
Si n es autovalor con autofuncin {yn } ,
no tiene solucin Rb 6= 0
(Pn ) segn sea yn d = 0 .
tiene infinitas

 00
y + y = 1
Ej 3. (P3 ) Estudiemos, segn , cuntas soluciones tiene.
y 0 (0) = y 0 (1) 2y(1) = 0

Hallemos los n del homogneo. Como 0 < 0 pueden aparecer autovalores negativos.
c2 = c1 &

< 0 : y = c1 ep + c2 ep 2/p
c1 p[ep ep ] 2[ep + ep ] = 0


1
Hay autovalor 0 = p20 si th p0 = p2 , con y0 = ch (p0 ) thp

0

p

Utilizando el mtodo de Newton o uno similar: p0 2.07, 0 4.27 . o
c2 = 0
= 0 : y = c1 + c2 2c = 0 no es autovalor.
1 c2 = 0
c =0&

> 0 : y = c1 cos + c2 sen 2
c1 ( sen + 2cos ) = 0

Hay infinitos n = n2 si tn n = 2 , con yn = cos (n ) .


n

Por tanto (la ecuacin est ya en forma autoadjunta):

Si 6= n hay solucin nica de (P3 ).
R1
Si = 0 , como 0 ch (p0 ) d 6= 0 , (P3 ) no tiene solucin.
R1 n
Si = n , n = 1, 2, . . . , 0 cos (n ) d = sen

6= 0 , (P3 ) tampoco tiene solucin.
n

48