2.

Problemas de contorno para EDOs

Un problema de valores iniciales para una ecuacin ordinaria con coecientes
continuos tena solucin nica. En concreto, la solucin de una ecuacin lineal de
segundo orden queda determinada jando el valor de la solucin y de su deri-
vada en un punto dado. Las cosas cambian si imponemos las condiciones en los
dos extremos de un intervalo [, b] . Estos problemas de contorno presentan
propiedades muy diferentes. Por ejemplo, un problema tan sencillo y regular como
_
y

() +y() = 0
y(0) =0, y() =0
tiene innitas soluciones: y = Csen, con C constante arbitraria.
Los problemas de contorno que nos aparecern al utilizar el mtodo de separa-
cin de variables del captulo 3 dependern de un parmetro . Para analizar
sus propiedades convendr escribir la ecuacin de la siguiente forma:
(P)
_
(py

qy +ry = 0
y()

() = 0
y(b) +

(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 2.1 estudiando varios ejemplos para la ecuacin y

+y = 0
(la ms sencilla y la que ms veces aparece separando variables). En ellos existir
una sucesin innita de autovalores y las autofunciones asociadas a distintos
sern ortogonales entre s. Despus precisaremos para qu tipo de problemas de
contorno (P) se mantienen esas propiedades. Sern los que se llaman problemas
de Sturm-Liouville separados. Hablaremos tambin brevemente de los proble-
mas peridicos y de los singulares.
En la seccin 2.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.
Por ltimo, en 2.3, estudiaremos problemas en que la ecuacin (o alguna condi-
cin de contorno) sea no homognea. Para ellos, ni y=0 es solucin, ni lo son los
mltiplos de una solucin dada. La existencia de soluciones depender de si exis-
ten o no soluciones no triviales del homogneo. Tendrn solucin nica en el ltimo
caso, e innitas o ninguno si el homogneo tiene innitas. Cuando haya solucin
nica daremos una frmula para las soluciones del no homogneo en trminos de
la llamada funcin de Green.
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) , () , . . .
15
2.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

+y=0.
Como su polinomio caracterstico es
2
+ = 0 =

, la solucin general
de la ecuacin ser diferente segn sea menor, igual mayor que 0.
Ej 1. (P
1
)
_
y

+y = 0
y(0) =0, y() =0
Imponemos las condiciones de contorno en cada caso:
Si <0 la solucin general es y = c
1
e
p
+c
2
e
p
, con p=

> 0.
p
e
- p
p
e
!
!
y(0) = c
1
+c
2
= 0
y() = c
1
e
p
+c
2
e
p
=0
_
c
2
=c
1
c
1
[e
p
e
p
] = 0
Por tanto c
1
=c
2
=0 (pues e
p
=e
p
si p>0).
Ningn <0 es autovalor.
Si =0 es y = c
1
+c
2

y(0) = c
1
= 0
y() = c
1
+c
2
= 0
_
y0 . =0 tampoco es autovalor.
Y para >0 es y=c
1
cos +c
2
sen, con =

> 0
y(0) =c
1
=0

y() =c
2
sen=0
_
!
1
y
1
y
3
y
2
0
Para tener solucin no trivial debe ser c
2
= 0.
Para ello, =

=n
n
=n
2
, n=1, 2, . . .
Para cada uno de estos
n
hay soluciones no triviales
y
n
= c
2
senn {senn} .
Observemos que se cumple si m=n:
_

0
senn senm d = 0 ,
pues
1
2
_

0
_
cos(nm)cos(n+m)
_
d =
1
2
_
sen(nm)
nm

sen(n+m)
n+m
_

0
= 0 .
Resumiendo: (P
1
) tiene una sucesin innita de autovalores
n
=n
2
, n=1, 2, . . . .
Las autofunciones y
n
={senn} asociadas a cada
n
forman un espacio vec-
torial de dimensin 1. La n-sima autofuncin posee n1 ceros en (0, ) . Las
autofunciones distintas son ortogonales en [0, ] [respecto del producto escalar
(, ) =
_

0
d ].
Ej 2. (P
2
)
_
y

+y = 0
y

(0) =0, y

() =0
Imponemos estas nuevas condiciones:
<0
y

(0) = p[c
1
c
2
] = 0
y

() = p[c
1
e
p
c
2
e
p
] = 0
_
c
2
=c
1
c
1
[e
p
e
p
] = 0 y 0.
=0
y

(0) =c
2
=0
y

() =c
2
=0
_
=0 autovalor con autofuncin y
0
= c
1
.
1
0
cos x
cos 2x
!
>0
y

(0) =c
2
=0

y

() =c
1
sen=0
_

n
=n
2
, y
n
=c
1
cos n.
Los
n
=n
2
y las y
n
={cos n}, n=0, 1, 2, . . .
tienen las mismas propiedades resaltadas para el problema
anterior. Por ejemplo, la autofuncin que ocupa el lugar n se
anula n1 veces y sigue habiendo ortogonalidad:
_

0
cos n cos md =
1
2
_

0
[cos(nm)+cos(n+m)] d =
1
2
_
sen(nm)
nm
+
sen(n+m)
n+m
_

0
=0.
16
Pasemos a tratar ya el problema general. Sea la ecuacin lineal de segundo orden
dependiente de un parmetro real :
y

+()y

+b()y +c()y = 0 , con , b, cC[, b] , c() >0 en [, b] .

La reescribimos de otra forma, que se suele denominar autoadjunta o Sturm-
Liouville. Multiplicando por e
_

se tiene
_
e
_

+be
_

y +c e
_

y
_
py

qy +ry = 0, con pC
1
, 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

slo en uno de los extremos del intervalo):

Se llama problema de Sturm-Liouville separado regular a uno del tipo:
(P
s
)
_
[py

qy +ry = 0
y()

() =0, y(b)+

(b) =0 (condiciones separadas)

donde pC
1
[, b] , q, r C[, b] , p, r >0 en [, b] , ||+|

| , ||+|

| = 0.
[Las ltimas condiciones lo que dicen es que y |

| , || y |

| no se anulan a la vez].
Los ejemplos 1 y 2 eran unos (P
s
). Este teorema generaliza sus propiedades:
Teor 1.
Los autovalores de (P
s
) son una sucesin innita
1
<
2
< <
n
<
que tiende a . Las autofunciones {y
n
} forman un espacio vectorial
de dimensin 1 y cada y
n
posee exactamente n1 ceros en (, b) .
Las autofunciones asociadas a autovalores distintos son ortogonales
en [, b] respecto al peso r , es decir:
y
n
, y
m

_
b

r y
n
y
m
d = 0 , si y
n
, y
m
estn asociadas a
n
=
m
.
Si

0 ,

0 y q() 0 en [, b] entonces todos los

n
0. En
particular, para y() =y(b) =0 [o sea, si

=0] todos los

n
>0.
No probamos la primera armacin y la de los ceros que son difciles. S el resto.
Si y cumple (P
s
): y

() =

y() ,

=0 ; y

(b) =

y(b) ,

=0
[y es y() =0, si

=0; y(b) =0, si

=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, si

=0 o si

=0.
Sean ahora y
n
, y
m
asociadas, respectivamente, a
n
y
m
:

n
ry
n
= [py

n
]

+qy
n

m
ry
m
= [py

m
]

+qy
m
_
Multiplicando por y
m
e y
n
,
restando e integrando:
[
n

m
]
_
b

ry
n
y
m
d =
_
b

_
y
n
(py

m
)

y
m
(py

n
)

_
d
partes
=
_
p(y
n
y

m
y
m
y

n
)
_
b

= 0
pues |W|(y
n
, y
m
) =0 en y en b. Por tanto, si
n
=
m
se tiene que y
n
, y
m
=0.
Si y es la autofuncin asociada a y

0 ,

0 , q0 entonces

_
b

ry
2
d =
_
b

_
y(py

+qy
2
_
d =
_
b

_
p(y

)
2
+qy
2
_
d
_
pyy

_
b

0 0 ,
pues
_
b

ry
2
d>0 ( r >0) ,
_
b

_
p(y

)
2
+qy
2
_
d 0 ( p>0, q0) ,
[pyy

](b) =
_

p(b)[y(b)]
2
0 si

=0
0 si

=0
, [pyy

]() =
_

p()[y()]
2
0 si

=0
0 si

=0
.
Si y() =y(b) =0, y={1} no es autofuncin y

0
_
b

p(y

)
2
>0 >0 .
17
Ej 3. (P
3
)
_
y

+y = 0
y

(0) =y(1) =0
(casi en forma autoadjunta:
_
y

+y = 0 ; es r 1).
Tendr las propiedades del teorema 1. Busquemos sus
n
. Como

=0, q0, nos

limitamos a los 0. [Ahora ya 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].
=0 : y = c
1
+c
2

y

(0) = c
2
= 0
y(1) =c
1
+c
2
= 0
_
y 0 . =0 no es autovalor.
>0: y=c
1
cos +c
2
sen. y

(0) =0 c
2
=0 y(1) =c
1
cos =0

n
=
2n1
2
,
n
=
(2n1)
2

2
4
, y
n
=
_
cos
2n1
2

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

+y = 0
y

(0) =y

(1)+y(1) =0
Como

=0,

>0, q0,
volvemos mirar slo los 0.
=0 : y = c
1
+c
2

y

(0) = c
2
= 0
y

(1)+y(1) =c
1
+2c
2
= 0
_
y 0 . =0 no autovalor.
>0: y=c
1
cos +c
2
sen. y

(0) =c
2
=0 y

(1)+y(1) =c
1
[cos sen]=0.
w
tan w
0
!
w
1
w
2
w
3
1/w
No podemos hallar exactamente los
n
, pero tn
n
=
1

n
lo cumplen innitos
n
(anulan el corchete innitos
n
),
que slo se pueden hallar aproximadamente. La y
n
para cada

n
=
2
n
es {cos
n
}. Estas y
n
sern ortogonales.
[La mayora de los problemas de S-L no son resolubles, pues
pocas lineales de segundo orden lo son elementalmente (las
de coecientes constantes y pocas ms), y aunque lo sean
puede ocurrir lo que en este ejemplo].
Ej 5. (P
5
)
_
y

2y

+y = 0
y

(0) =y

(1) =0


2
2+=0,
=1

1 .
_
e
2
y

+e
2
y = 0
Sabemos que los 0, pero esto no ahorra clculos, pues y hay que mirar <, =, >1:
<1 : y = c
1
e
(1+p)
+c
2
e
(1p)
, y

= c
1
(1+p) e
(1+p)
+c
2
(1p) e
(1p)
, p=

1
c
1
[1+p] +c
2
[1p] = 0
c
1
[1+p]e
1+p
+c
2
[1p]e
1p
=0
_
c
2
(1p)e[e
p
e
p
] = 0 p=1 ( =0), y
0
={1}.
=1 : y=[c
1
+c
2
] e

, y

=[c
1
+c
2
+c
2
] e

c
1
+c
2
= 0
c
1
+2c
2
= 0
_
y0 . =1 no autovalor.
>1:
y=[c
1
cos +c
2
sen] e

, =

1
y

=
_
(c
1
+c
2
) cos +(c
2
c
1
) sen
_
e

(0) =c
1
+c
2
=0
y

(1) =c
2
e(1+
2
) sen=0
=n, n=1, 2, . . .
n
=1+n
2

2
, y
n
=
_
e

[sennn cos n]
_
, n=1, 2, . . .
Las autofunciones sern ortogonales respecto al peso r() = e
2
:
_
1
0
e

[sennn cos n] d = 0
_
1
0
[sennn cos n][senmm cos m] d = 0 (m=n)
Ej 6. (P
6
)
_

2
y

+y

+y = 0
y(1) =y(e) =0
p() = e
_

= e
_
d

=
_
y

+
y

=0 . Es r() =
1

.
Es problema separado regular
_
p, r >0 en [1, e]
_
.
Ecuacin de Euler: r(r 1)+r +=0 r =

. Basta mirar los >0 :

y=c
1
cos(ln)+c
2
sen(ln) ,
c
1
=0
c
2
sen=0
_

n
=n
2

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

= 0 , m=n.
18
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:
Ej 7. (P
7
)
_
y

+y = 0
y() =y(), y

() =y

()
[Estas condiciones equivalen a
pedir que y sea 2-peridica].
<0
c
1
[e
p
e
p
]c
2
[e
p
e
p
] = 0
c
1
[e
p
e
p
]+c
2
[e
p
e
p
] = 0
_
Como el determinante de los coecientes
_
_
_
_
e
p
e
p
e
p
e
p
e
p
e
p
e
p
e
p
_
_
_
_
= 2(e
p
e
p
)
2
= 0 si p>0,
el sistema slo tiene la solucin trivial c
1
=c
2
=0. No hay autovalores negativos.
=0
c
1
c
2
= c
1
+c
2

c
2
= c
2
_
se satisface para c
2
=0 y cualquier c
1
: y
0
=c
1
={1}.
>0
2c
2
sen = 0
2c
1
sen = 0
_
sen = 0
n
=n
2
, n=1, 2, . . .
Para esos
n
las condiciones de contorno se cumplen para todo c
1
y todo c
2
.
Las autofunciones son, pues: y
n
= c
1
cos n +c
2
senn {cos n, senn} .
[Es claro que exigir simplemente que y sea 2-peridica
lleva directamente a los mismos autovalores y autofunciones].
Las propiedades de (P
7
) son algo distintas de las los problemas separados: sigue ha-
biendo una sucesin innita de autovalores
n
=n
2
, n=1, 2, . . . tendiendo a ,
pero las autofunciones y
0
={1}, y
n
={cos n, senn} forman, si n>0, un es-
pacio vectorial de dimensin 2. Utilizando sencos b =
1
2
_
sen(+b)+sen(b)
_
(y las relaciones ya vistas para sensenb 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
aprecia que lo esencial para la ortogonalidad es que
_
p|W|(y
n
, y
m
)
_
b

=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 (P
7
):
(P
p
)
_
[py

qy +ry = 0, con p() =p(b) , pC

1
[, b] , q, r C[, b] , p, r >0 en [, b]
y() =y(b), y

() =y

(b) (condiciones peridicas)

Para (P
p
) no se anula el wronskiano de dos soluciones ni en ni en b (y por eso hay espacios
de autofunciones de dimensin 2), pero es claro que
_
p|W|(y
n
, y
m
)
_
(b) =
_
p|W|(y
n
, y
m
)
_
() .
Ms en general, se llaman problemas autoadjuntos aquellos tales que
_
p|W|(, )
_
b

=0
para todo par de funciones , que cumplan sus condiciones de contorno.
Las autofunciones de estos problemas ms generales (que en libros avanzados de ecuacio-
nes se ve que tienen propiedades similares a las de los separados) son, pues, ortogonales.
Pero no nos ocupamos ms de ellos, pues los problemas que nos aparecern en el captulo
siguiente sern todos separados (o el (P
7
) de arriba).
[El trmino autoadjunto se debe a que llamando L[y]=[py

+qy y (,) =
_
b

d,
se tiene que
_
L[],
_
=
_
, L[]
_
para todo par de funciones , que cumplen las
condiciones de contorno: el operador L es autoadjunto en ese conjunto de funciones].
Ej 8. (P
8
)
_
y

+y = 0
y(0) =y(), y

(0) =y

()
Se tiene
_
p|W|(, )
_
() =
_
p|W|(, )
_
(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.
19
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 innito. . . 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
(P
s
) 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 =
_
p(y
n
y

m
y
m
y

n
)
_
b

= (
n

m
)y
n
, y
m
.
Ej 9. (P
9
)
_
y

+2y

+y = 0
y acotada en =0, y(1) =0
y

+
2

+y=0
e
_

=
2

2
y

+
2
y=0 .
Haciendo el cambio = y la ecuacin se convierte en

+ = 0
la solucin general de la inicial para >0 es y = c
1
cos

+c
2
sen

.
y acotada c
1
=0 ; y(1) =0 sen=0
n
=n
2

2
, n=1, 2, . . . , y
n
=
_
senn

_
[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
={senn}, y haber deshecho el cambio].
[Si hubisemos impuesto y(0) =0, y(1) =0 la nica solucin sera y0 ;
las condiciones para este problema singular habran sido demasiado fuertes].
Ej 10. (P
10
)
_
y

+y

+y = 0
y acotada en =0, y(1) =0

_
y

+y = 0 .
Se puede probar que >0. Haciendo el cambio de variable independiente s=

la ecuacin se convierte en la de Bessel de orden 0:

s
d
2
y
ds
2
+
dy
ds
+sy = 0 y = c
1
J
0
(s) +c
2
K
0
(s) = c
1
J
0
(

) +c
2
K
0
(

)
!"
_
4 8 12
16
1
0.8
0.6
0.4
0.2
0
-0.2
-0.4
La primera condicin de contorno impone que
c
2
= 0 ( K
0
no est acotada en = 0). De la
otra se deduce que c
1
J
0
(

) =0. As pues, los

autovalores son los
1
<
2
< cuyas races
son los innitos ceros de J
0
_
estn tabulados
y si n grande es
_

n

_
n
1
4
_

_
.
Para esos
n
las autofunciones asociadas son
y
n
=
_
J
0
_
_

_
_
,
que son ortogonales respecto al peso r() =.
Ej 11. (P
11
)
_
_
(1
2
)y

+y = 0
y acotada en =1
La ecuacin es la de Legendre si =p(p+1) .
Se sabe que sus nicas soluciones acotadas en 1 y 1 son los polinomios de Legendre
P
n
() , que aparecen cuando p=n, n=0, 1, 2, . . .
Los autovalores son
n
=n(n+1) , n=0, 1, 2, . . . y las autofunciones son los P
n
, que
cumplen, como se ve en los cursos de EDOs:
_
1
1
P
n
P
m
d = 0 si m=n
_
r() =1
_
.
20
2.2. Series de Fourier
Consideremos el problema de Sturm-Liouville separado regular:
(P
s
)
_
[py

qy +ry = 0
y()

() =0, y(b)+

(b) =0
y sean y
1
, y
2
, . . . , y
n
, . . . sus autofunciones asociadas a los
1
,
2
, . . . ,
n
,. . . .
La importante propiedad que veremos en esta seccin es que cualquier funcin
sucientemente regular en [, b] puede ser desarrollada en serie de
dichas autofunciones, es decir:
() =

n=1
c
n
y
n
()
Supongamos que este desarrollo es vlido y que la serie puede ser integrada tr-
mino a trmino. Entonces, por ser las y
n
ortogonales:
_
b

r y
m
d =

n=1
c
n
_
b

r y
n
y
m
d = c
m
_
b

r y
m
y
m
d
Por tanto, si representamos el producto escalar respecto al peso r() :
, =
_
b

r d debe ser c
n
=
, y
n

y
n
, y
n

, n=1, 2, . . .
[El r es el de la ecuacin en forma autoadjunta; en la mayora de los problemas que
aparecern separando variables en el captulo 3 dicho peso ser 1, pero no siempre].
El problema (nada elemental) reside en precisar para qu funciones la serie con
esos coecientes (serie de Fourier de ) converge realmente hacia en [, b] .
Aunque se le pueden exigir condiciones ms dbiles, nosotros pediremos a que
sea C
1
a trozos, condicin que ser satisfecha por las funciones que nos aparecern
en problemas prcticos.
b
a x x
1
n
[Recordamos que es C
1
a trozos en [, b] si podemos dividir el
intervalo en subintervalos [, b] = [,
1
] [
1
,
2
] [
n
, b]
de modo que:
i. y

son continuas en cada (

k
,
k+1
) ,
ii. los lmites laterales de ,

en cada
k
existen y son nitos].
Teor 1.
Si es C
1
a trozos en [, b] entonces su serie de Fourier:

n=1
, y
n

y
n
, y
n

y
n
()
converge hacia () en los (, b) en que es continua y
hacia
1
2
_
(

)+ (
+
)
_
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 {y
n
}
son una base de Fourier del espacio de funciones de dimensin innita (similar a una
base ortonormal de uno de dimensin nita). La cuestin principal es ver que la base
es completa, es decir, que no hay otras funciones ortogonales a las {y
n
}. El espacio
natural para estudiar las series de Fourier es L
2
(funciones de cuadrado integrable) y
la convergencia ms ligada a ellas es la convergencia en media cuadrtica:
_
b

_
_
_ ()
n

k=1
c
k
y
k
()
_
_
_
2
d 0 cuando n
_
.
21
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:
(P
1
)
_
y

+y = 0
y(0) =y(L) =0
son
n
=
n
2

2
L
2
e y
n
=
_
sen
n
L
_
, n = 1, 2, . . . .
[Es fcil verlo directamente, o tambin podemos hacer s=/ L
y

+
L
2

2
y=0 , y(0) =y() =0 en la variable s , que es casi el ejemplo 1 de 2.1;
tambin se trasladara haciendo s= un problema en [, b] al (P
1
) (con L=b),
sin necesidad de estudiarlo desde el principio].
Llamaremos serie de Fourier en senos de en [0, L] al desarrollo en estas
autofunciones:
() =

n=1
b
n
sen
n
L
, con b
n
=
2
L
_
L
0
() sen
n
L
d , n=1, 2, ... [s]
Ya que el peso es r() 1 y se tiene que y
n
, y
n
=
_
L
0
_
sen
n
L
_
2
dt =
L
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].
Para este segundo problema de contorno:
(P
2
)
_
y

+y = 0
y

(0) =y

(L) =0
son
n
=
n
2

2
L
2
, y
n
=
_
cos
n
L
_
, n=0, 1, . . .
_
y
o
={1}
_
Y se llamar serie de Fourier en cosenos de una dada en [0, L] a:
() =

o
2
+

n=1

n
cos
n
L
, con
n
=
2
L
_
L
0
() cos
n
L
d , n=0, 1, 2, ... [c]
Pues y
o
, y
o
=
_
L
0
1
2
d = L e y
n
, y
n
=
_
L
0
_
cos
n
L
_
2
d =
L
2
, si n1.
[Ponemos

o
2
en la serie para que la frmula del
n
valga tambin para
o
].
0 1
1
x
Ej 1. Sea () = , [0, 1] . Desarrollmosla en senos y en cosenos:
() =
2

n=1
(1)
n+1
n
senn, pues b
n
=2
_
1
0
sennd=
2
n
cos n , n=1, 2, . . .
() =
1
2
+
2

n=1
(1)
n
1
n
2
cos n =
1
2

4

m=1
1
(2m1)
2
cos(2m1) ,
ya que
o
=2
_
1
0
d=1 ,
n
=2
_
1
0
cos ndt =
2
n
2

2
[cos n1] , n=1, 2, . . .
Ambas series, segn el teorema 1, convergen hacia () para todo (0, 1) .
Lo mismo sucedera con el desarrollo en autofunciones de cualquier otro pro-
blema de Sturm-Liouville que considersemos. Cuando nos encontremos estas
series resolviendo EDPs no tendremos la libertad de elegir en qu autofunciones
desarrollar: nos las impondr el problema.
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
y(0) =y

(L) =0
con
n
=
[2n1]
2

2
2
2
L
2
, y
n
=
_
sen
[2n1]
2L
_
, y
n
, y
n
=
L
2
, n=1, 2, . . .
_
y

+y = 0
y

(0) =y(L) =0
con
n
=
[2n1]
2

2
2
2
L
2
, y
n
=
_
cos
[2n1]
2L
_
, y
n
, y
n
=
L
2
, n=1, 2, . . .
A los desarrollos en estas autofunciones los llamaremos, respectivamente, series
en senos impares y en cosenos impares en [0, L].
22
La teora de series de Fourier puede ser extendida para incluir autofunciones de
problemas con condiciones peridicas. As para:
(P
3
)
_
y

+y = 0
y(L) =y(L)
y

(L) =y

(L)
,
n
=
n
2

2
L
2
, n=0, 1, . . . , y
o
={1}, y
n
=
_
cos
n
L
, sen
n
L
_
se deduce la siguiente serie de Fourier en senos y cosenos en [L, L]:
[p] () =

o
2
+

n=1
_

n
cos
n
L
+b
n
sen
n
L
_
, con coecientes:
[1]
n
=
1
L
_
L
L
() cos
n
L
d, n=0, 1, 2, ... , y
[2] b
n
=
1
L
_
L
L
() sen
n
L
d , n=1, 2, ... , ya que se cumple:
_
L
L
cos
m
L
sen
n
L
dt = 0 para todo m y n;
_
L
L
1
2
d = 2L ;
_
L
L
cos
m
L
cos
n
L
d =
_
0 m=n
L m = n
;
_
L
L
sen
m
L
sen
n
L
d =
_
0 m=n
L m = n
.
_
Las frmulas [1]-[2] tambin valen para desarrollar una denida inicialmente
en cualquier otro intervalo [, +2L] (cambiando los lmites a la integral) pues
_
+2L

cos
2
=
_
+2L

sen
2
=L
_
.
Como en el teorema 1, la serie [p] converge hacia () en los en los que
es continua. Pero adems se puede decir lo que sucede en los extremos L y L
(observando que [p] dene de hecho una funcin en todo R que es 2L-peridica).
Podemos hablar tambin sobre la convergencia uniforme de [p] (sin demostrar
nada, como en toda la seccin):
Teor 2.
Suponemos que es C
1
a trozos en [L, L] y extendemos fuera de
[L, L] de forma 2L-peridica. Entonces la serie [p] con
n
y b
n
dados
por [1] y [2] converge hacia () en todos los puntos en que su extensin
es continua (y hacia
1
2
_
(

)+ (
+
)
_
en los puntos de discontinuidad).
Adems [p] converge uniformemente en todo intervalo cerrado que no
contenga discontinuidades de la extendida. Por tanto, si es continua
y (L) = (L) entonces [p] converge uniformemente hacia en todo el
intervalo [L, L] .
Las frmulas [s] y [c] para los coecientes de las series en senos y de las series en
cosenos se pueden ver como casos particulares de [1] y [2]:
Dada una inicialmente denida en [0, L] podemos extenderla de forma impar o
de forma par a [L, L]. En el primer caso es impar () cos
n
L
y par () sen
n
L
.
En el segundo () cos
n
L
es par y () sen
n
L
es impar. Por tanto,
n
=0 y [1]
se convierte en [s] en el primero, y en el segundo b
n
=0 y [2] pasa a ser [c].
[Si denisemos 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

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].
23
0 -1 1 3 -3
-1
1
impar
0 -1 1 3 -3
1
par
En particular, la serie en senos del Ej 1
no converge uniformemente hacia en
[0, 1] (s lo hace en cualquier intervalo de
la forma [0, b] , b<1). La serie en cose-
nos s converge uniformemente en [0, 1] .
[Aunque las series en cosenos se compor-
ten mejor, resolviendo EDPs no podremos
elegir, como ya hemos dicho, el tipo de
series en que desarrollar las funciones].
0 1
1
-1
0 1 -1
S
S
S
0
1
2
S
n
gordo
Ej 2. Sea () =
_
0, 10
, 01
.
Su serie en senos y cosenos est casi calculada:
1
4
+
1

n=1
(1)
n
1
n
2
cos n
1

n=1
(1)
n
n
senn.
La suma de esta serie es 0 en (1, 0] , en
[0, 1) y 1/ 2 en 1 y 1 . En todo cerrado que no
contenga estos puntos la convergencia es uni-
forme. Cerca de ellos la convergencia es mala y
lenta. [Se produce el fenmeno de Gibbs: apa-
recen picos cerca de las discontinuidades].
Ej 3. Hallemos otro par de desarrollos de () =, [0,1] , en las autofunciones de los
ejemplos 3 y 4 de 2.1:
_
cos
(2n1)
2
_
y {cos
n
} con tn
n
=
1

n
.
_
r() =1
_
.
c
n
= 2
_
1
0
cos
(2n1)
2
d =

n=1
_
4(1)
n+1
(2n1)

8

2
(2n1)
2
_
cos
(2n1)
2
.
cos
n
, cos
n
=
_
1
0
cos
2

n
d =
1
2
+
sen
n
cos
n
2
n
=

2
n
+cos
2

n
2
2
n
=
2+
2
n
2
_
1+
2
n
_ ,
, cos
n
=
_
1
0
cos
n
d =
sen
n

n
+
cos
n
1

2
n
=
2cos
n
1

2
n

n=1
2(2cos
n
1)

2
n
+cos
2

n
cos
n
[usando el ordenador: c
1
0.52 , c
2
0.46 . . . ].
Ej 4. Nuevo desarrollo de () = , ahora en [1, e] , en las autofunciones del Ej 6 de 2.1.
Esta vez el peso no es 1, sino r() =
1

. Como
_
e
1
sen
2
(n ln) d

=
_
1
0
sen
2
(ns) ds=
1
2
,
=

m=1
c
n
sen(n ln) , si c
n
=2
_
e
1
sen(n ln) d=2
_
1
0
e
s
sen(ns) ds =
2n
_
1e(1)
n
_
1+n
2

2
.
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 en la seccin anterior.
Ej 5. Desarrollemos una (C
1
a trozos) en las autofunciones del (P
10
) de esa seccin:
(P
10
)
_
y

+y

+y = 0
y acotada en =0, y(1) =0
() =

m=1
c
n
J
0
_
_

_
, peso r() = .
c
n
=
_
1
0
() J
0
_

_
d
_
1
0
J
2
0
_

_
d
=
2
J
2
1
_

n
_
_
1
0
() J
0
_
_

_
d
pues
_
1
0
J
2
0
_
_

_
d =
1

n
_

n
0
J
2
0
() d =
1
2
n
_

2
_
J
2
0
()+J
2
1
()
_
_

n
0
=
1
2
J
2
1
_
_

n
_
ya que las J
n
satisfacen
_

n
J
n
_

=
n
J
n1

_
J
1
_

= J
0
, J

0
=J
1

_
J
2
0
d =

2
2
J
2
0
+
_
J
0
J
1
d =

2
2
J
2
0
+
1
2
_
J
1
_
2
24
2.3. Problemas no homogneos; funcin de Green
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 las condiciones no homogneas (para calor y ondas sern de valores
iniciales). Antes de dar su teora general, veamos un ejemplo.
Ej 1. Discutamos cuntas soluciones tiene
_
y

= d
y(1) =y(2)+by

(2) =0
, d, b constantes.
La solucin general es: y = c
1
+c
2
+

3
6

d
2
2
_
con y

=c
2
+

2
2
d
_
. Imponiendo datos:
_
y(1) = c
1
+c
2
+
1
6

d
2
= 0
y(2)+by

(2) =c
1
+2c
2
+
4
3
2d+bc
2
+2b2bd=0
, es decir:
_
c
1
+c
2
=
d
2

1
6
c
1
+(2+b)c
2
= 2bd+2d2b
4
3
.
Este sistema lineal tendr solucin nica en c
1
y c
2
si el sistema homogneo tiene
slo la solucin trivial (si el determinante de los coecientes es no nulo). Cuando el
homogneo tenga innitas soluciones, el no homogneo tendr innitas o ninguna.
Por tanto, si b = 1, podemos despejar de forma nica c
1
y c
2
, y la solucin queda
determinada, cualquiera que sea d. Pero si b=1:
_
c
1
+c
2
=
d
2

1
6
c
1
+c
2
=
2
3
, este sistema slo tiene solucin cuando
d
2

1
6
=
2
3
d=
5
3
,
y en ese caso una de las dos constantes queda libre. Si b=1, d=
5
3
, no hay solucin.
Veamos ya el problema general. Consideremos el problema para la ecuacin no
homognea con condiciones separadas homogneas:
(P
f
)
_
_
p()y

+g()y = ()
y()

() =y(b)+

(b) =0
, pC
1
, g, C, p>0 en [, b] .
y llamemos (P
h
) al problema homogneo asociado ( 0). Luego consideraremos
condiciones de contorno no homogneas y el caso en que la ecuacin depende de
un parmetro. Este teorema generaliza lo que ocurra en el ejemplo 1 de arriba:
Teor 1.
El problema (P
f
) tiene solucin nica si y slo si (P
h
) tiene slo la
solucin y 0. Si (P
h
) tiene soluciones no triviales {y
h
} entonces
(P
f
) tiene innitas soluciones o no tiene ninguna segn sea igual
o distinta de cero, respectivamente, la integral:
_
b

() y
h
() d.
1 1

0
Se deduce gran parte del teorema imponiendo las condiciones de contorno a la
solucin general de la ecuacin y=c
1
y
1
+c
2
y
2
+y
p
, y usando las propiedades
de los sistemas algebraicos. Adems si hay soluciones y de (P
f
) debe ser:
_
b

y
h
=
_
b

_
[py

+gy
_
y
h
=
_
p(y
h
y

yy

h
)
_
b

+
_
b

_
[py

h
]

+gy
h
_
y = 0
y se prueba que esta condicin necesaria es tambin suciente.
[La del teorema 1 es, desde luego, la de la ecuacin en forma autoadjunta
[py

+gy= ; para aplicarlo habr, en ocasiones, que reescribir la ecuacin].

Ej 1

. Hagamos la discusin del Ej 1, ahora utilizando el teorema. El (P

h
)
_
para y

=0
_
tiene slo la solucin y0 si b=1. Y si b=1 son soluciones y
h
={1}.
El (P
f
)
_
para [y

=d
_
, tendr entonces solucin nica si b=1, e innitas 0,
para b=1, segn se anule o no la integral:
_
2
1
(d)(1) d =
d
2

5
6
d=
5
3
.
Si en vez de la d concreta tuvisemos una () general, el teorema dara rpidamente:
nica solucin si b=1, e
innitas
ninguna
, segn
_
2
1
()(1) d
=0
=0
, para b=1.
Costara bastante ms concluirlo hallando la solucin: c
1
+c
2
+
_

1
(s)ds
_

1
s (s)ds .
25
Sea ahora el problema con condiciones de contorno no homogneas:
(P
AB
)
_
_
p()y

+g()y = ()
y()

() =A, y(b)+

(b) =B
, pC
1
, g, C, p>0 en [, b] ,
y sea (P
h
) el homogneo obtenido tomando () 0, A=B=0 (el mismo de antes).
Hallando una funcin que satisfaga sus condiciones de contorno el (P
AB
) se pue-
de reducir a otro con condiciones homogneas, pues el cambio =y (gracias
a la linealidad de la ecuacin y las condiciones de contorno) lleva al problema:
(P

)
_
_
p()

+g() = ()
_
p()

g()
()

() =0, (b)+

(b) =0
que es del tipo (P
f
) ya analizado. Deducimos, por ejemplo, que:
Teor 2. (P
AB
) tiene solucin nica (P
h
) tiene slo la solucin y0
[y si (P
h
) tiene innitas soluciones, (P
AB
) puede tener innitas o ninguna].
La idea de encontrar una que satisfaga las condiciones de contorno para convertirlas
en homogneas se utilizar en las EDPs de los prximos captulos. Para encontrar dicha
normalmente trabajaremos por tanteo. Si no es una constante, probaremos una recta;
si no vale, funciones ms complicadas...
Est claro que aunque en (P
AB
) sea () 0, si (al menos) una condicin de contorno
es no homognea, las propiedades son las tpicas de uno no homogneo. Esto
es lo que ocurre en el siguiente ejemplo.
Ej 2. Discutamos cuntas soluciones tiene: (P

)
_
y

= 0
y

(1)+y(1) =0, y(2) =1

Comenzamos analizando cuntas soluciones tiene el homogneo: y = c
1
+c
2

_
y

(1)+y(1) =2c
2
+c
1
+c
2
=0 [23]c
2
=0
y(2) =c
1
+4c
2
=0 c
1
=4c
2


_
y0 si =
2
3
y=
2
4 si =
2
3
Si =
2
3
, (P

) tiene solucin nica. Para =

2
3
vemos lo que sucede directamente:
_
y

(1)+
2
3
y(1) =
2
3
[c
1
+4c
2
] =0
y(2) =c
1
+4c
2
=1
no existe solucin de (P
2/ 3
).
Aunque tambin podramos (ms largo) convertirlo en un (P
f
) y aplicar el teorema 1.
Para ello buscamos una de la forma =M+N que satisfaga las condiciones:
_

(1)+
2
3
(1) =
1
3
[5M+2N]=0
(2) =2M+N=1
=52, =y (P

)
_

= 2

(1)+
2
3
(1) =(2) =0
Escribimos la ecuacin en forma autoadjunta:
_

=
2

2
y usamos el teorema 1:
_
2
1
_

2
_
[
2
4] dt = 0 (P

) [y por tanto (P
2/ 3
)] no tiene solucin.
Consideremos ahora una tercera situacin, el problema de S-L no homogneo:
(P

)
_
_
py

qy +ry = ()
y()

() =y(b)+

(b) =0
Llamemos (P
s
) al problema separado de Sturm-Liouville homogneo asociado (el de
0). Para cada valor de tenemos un problema de los ya vistos (con g=q+r ).
Se tiene por tanto:
Teor 3.
(P

) tiene solucin nica no es autovalor de (P

s
).
Si
n
es autovalor con autofuncin {y
n
},
(P

n
)
no tiene solucin
tiene innitas
segn sea
_
b

y
n
d
=0
=0
.
26
Ej 3. (P
3
)
_
y

+y = 1
y

(0) =y

(1)2y(1) =0
Estudiemos, segn , cuntas soluciones tiene.
Hallemos los
n
del homogneo. Como

< 0 podran aparecer autovalores negativos.

<0: y = c
1
e
p
+c
2
e
p

c
2
= c
1
c
1
_
p[e
p
e
p
]2[e
p
+e
p
]
_
=0
_
Hay autovalor
0
=p
2
0
si thp
0
=
2
p
0
, con y
0
=
_
ch(p
0
)
_
_
Utilizando el mtodo de Newton o uno similar: p
0
2.07,
0
4.27
_
.
=0: y=c
1
+c
2

c
2
= 0
2c
1
c
2
= 0
_
=0 no es autovalor.
>0: y=c
1
cos +c
2
sen
c
2
= 0

c
1
(sen+2cos ) =0
_
Hay innitos
n
=
2
n
si tn
n
=
2

n
, con y
n
=
_
cos (
n
)
_
.
Por tanto (la ecuacin est ya en forma autoadjunta):
Si =
n
hay solucin nica de (P
3
).
Si =
0
, como
_
1
0
ch(p
0
) d=0 , (P
3
) no tiene solucin.
Si =
n
, n=1, 2, . . . ,
_
1
0
cos (
n
) d =
sen
n

n
=0, (P
3
) tampoco tiene solucin..
Para acabar, deduzcamos una frmula que para cualquier () nos da la solucin del (P
f
) del
principio de la seccin (en el caso de que sea nica) en trminos de integrales, conocidas
las soluciones de la ecuacin homognea (algo parecido a la frmula de variacin de las
constantes para problemas de valores iniciales):
Teor 4.
Supongamos que (P
h
) tiene slo la solucin y 0 y sean y
1
e y
2
soluciones no triviales de la ecuacin homognea [py

+gy=0 que
cumplen, respectivamente, y
1
()

1
() =0 y y
2
(b)+

2
(b) =0.
Entonces la solucin nica de (P
f
) es:
y() =
_
b

G(, s) (s) ds , con G(, s) =

_ y
1
(s) y
2
()
p|W|(y
1
,y
2
)
, s
y
1
() y
2
(s)
p|W|(y
1
,y
2
)
, sb
.
A la G(, s) se le llama funcin de Green del problema.
_
Observemos que el denominador que aparece en la G es constante:
_
p(y
1
y

2
y
2
y

1
)]

= y
1
[p(y

2
)]

y
2
[p(y

1
)]

= gy
1
y
2
+gy
2
y
1
= 0
_
.
Comprobemos que la y() de arriba cumple (P
f
). Desarrollando la integral:
y() = y
1
()
_
b

y
2
(s)
|W|(s)
(s)
p(s)
ds +y
2
()
_

y
1
(s)
|W|(s)
(s)
p(s)
dsy
1
()
_

y
2
(s)
|W|(s)
(s)
p(s)
ds = cy
1
+y
p
Por tanto, y() es solucin de la no homognea y

+
p

p
y

+
q
p
y =

p
.
Adems como y

() = y

1
_
b

y
2
|W|

p
+y

2
_

y
1
|W|

p
y

1
_

y
2
|W|

p
se tiene que:
y() =cy
1
(), y

() =cy

1
(), y(b) =ky
2
(b), y

(b) =ky

2
(b) , c=
_
b

y
2

|W|p
, k=
_
b

y
1

|W|p
Como y
1
, y
2
cumplen cada condicin de contorno, tambin lo hace la y .
Una vez hallada la G, dada cualquier , basta hacer un par de integraciones para
encontrar la solucin del problema no homogneo (P
f
). [La idea de la funcin de Green
se generaliza a otros problemas de EDOs y EDPs].
[Que quede claro que cada y
k
satisface solamente una condicin (o en o en b;
ambas condiciones slo las cumple la trivial). La y la p del teorema son, una vez
ms, las de la ecuacin escrita en la forma [py

+gy = ; en muchos casos ser p1

(como en el ejemplo siguiente), pero en otros deberemos reescribir la ecuacin].
27
Ej 4. (P
4
)
_
y

= ()
y(0) =y(1) =0
_
y

= 0
y(0) =y(1) =0
slo lo satisface y 0.
Por tanto, (P
4
) tiene solucin nica. Hallemos su funcin de Green:
La solucin general de la ecuacin homognea es y = c
1
+c
2
.
De la primera condicin de contorno y(0) =c
1
=0. Podemos tomar y
1
=.
0
1
s
x(x-1)
G(x,s), x fijo
De la segunda, y(1) = c
1
+c
2
= 0. Elegimos y
2
=1. Entonces:
|W|() =
_
_
_
_
1
1 1
_
_
_
_
= 1 , p() = 1 , G(, s) =
_
s(1) , 0s
(s1) , s1
Si, por ejemplo, () =1 , la solucin de (P
3
) viene dada por:
y() =
_
1
0
G(, s) 1ds = (t1)
_

0
s ds +
_
1
0
(s1) ds =
1
2
[
2
]
Para resolver un problema con una dada, calcular la G puede ser un rodeo intil. Por
ejemplo, la ltima solucin se podra obtener:
y

= 1 y = c
1
+c
2
+
1
2

_
y(0) =c
1
=0
y(1) =c
1
+c
2
+
1
2
=0
y =
1
2
[
2
] como antes.
Pero para cada nueva habra que volver a hallar la y
p
e imponer y(0) =y(1) =0.
a
!
"(ta)
a
Las funciones de Green estn muy ligadas a la funcin ,
cuya denicin rigurosa exige la llamada teora de las dis-
tribuciones, pero con la que es fcil trabajar formalmente.
La (t ) se puede denir intuitivamente como el lmite
cuando n de

n
(t) =
_
n si t
_

1
2n
, +
1
2n
_
0 en el resto
Esta (t) tiene las siguientes propiedades (que bastan para trabajar con ella):
(t) =0 si t = ;
_
c
b
(t)(t) dt =
_
() si [b, c]
0 si / [b, c]
;
0
1
a
a
u (t)
(t) =
d
dt

(t) , donde

(t) es la funcin paso

(t) =
_
0 si t <
1 si t
.
Volvamos a la G. Observemos que la G(, s) del Ej 4 para jo (o para s jo, pues G es
simtrica) es continua pero no derivable en s = y su derivada segunda es (s) . De
hecho, esto es lo que sucede en general:
Teor 5. G(, s) es la solucin para (, b) jo de
_
_
p(s)y

+g(s)y = (s)
y()

() =y(b)+

(b) =0
_
La prueba es trivial:
_
b

G(s, ) () d = G(s, ) = G(, s)

_
.
Podramos hallar la G del (P
4
) siguiendo este camino ms largo [pero que es el que se
generaliza a las EDPs; adems da una forma de hallar la G en problemas autoadjuntos para
los que no es vlida la frmula del teorema 1]. Como es G

=0 si s=:
G(s) =
_
c
1
+c
2
s , y(0) =0 y = c
2
s , s
k
1
+k
2
s , y(1) =0 y = k
2
[s1] , s
Y como G

= , ha de ser continua G y su derivada tener un salto en de magnitud unidad:

_
y(

) =c
2
=k
2
[1]=y(
+
)
y

(
+
)y

) =k
2
c
2
=1

_
c
2
=1
k
2
=
Se puede resolver de otra forma si se conoce la transformada de Laplace. Con la notacin
L
_
G(s)
_
=H(p) , para este ejemplo basta utilizar las siguientes propiedades de la L :
L[G
(n)
(s)] = p
n
H(p) p
n1
H(0) p
n2
H

(0) H
(n1)
(0) .
L[s
n
]=
n!
p
n+1
, L[(s)]=e
p
, L
1
_
e
p
F(p)
_
=

(s) [L
1
F](s) .
Llamando G

(0) =c , y aplicando la transformada:

p
2
H(p)c= e
p
H(p) =
c
p
2
+
e
p
p
2
G(s) = cs +

(s)(s)
G(1) = c+1 = 0 G(s) = (1)s +

(s)(s) =
_
s(1) , 0s
ss+s, s1
.
28