Você está na página 1de 18

Captulo 6

Aplicacin del Mtodo de Separacin


de Variables a la Resolucin de EDPs
En los captulos anteriores hemos desarrollado todas las herramientas necesarias para poder
aplicar el mtodo de separacin de variables a la resolucin de ciertas EDPs. De ello nos
ocuparemos en este captulo, donde consideraremos las ecuaciones del calor y ondas con una
sola variable espacial, y la ecuacin de Laplace en dimensin dos.
6.1 La Ecuacin del Calor 1dimensional
Consideremos el problema de la difusin de calor en una barra acotada. Como vimos en el
primer captulo, el modelo matemtico para este fenmeno fsico es
(EC)

u
t
(t, x) = a
2
u
xx
(t, x) t > 0, 0 < x < l,
u(0, x) = f (x) 0 x l
u(t, 0) = u(t, l) = 0 t 0
y por el mtodo de separacin de variables obtuvimos la solucin formal
u(t, x) =

X
n=1
b
n
e
(
na
l
)
2
t
sin
nx
l
(6.1)
donde adems se tena que vericar que
f (x) =

X
n=1
b
n
sin
nx
l
, (6.2)
con
b
n
=
2
l
Z
l
0
f (x) sin
nx
l
dx.
En aquel momento quedaron pendientes algunas preguntas que trataremos de responder ahora.
La primera de ellas es:
Puede la temperatura inicial f ser expresada en la forma (6.2)?
La respuesta es Si. Si exigimos a f que sea continua y diferenciable a trozos en [0, l] y que
f (0) = f (l), por el Teorema 4.2.1 se tiene que
f (x) =

X
n=1
b
n
sin
nx
l
x [0, l] .
67
68 Captulo 6. Aplicacin del Mtodo de Separacin de Variables a la Resolucin de EDPs
La segunda pregunta es:
Es u una solucin clsica?
La respuesta vuelve a ser Si. La justicacin es un poco laboriosa pero en cualquier caso la
esbozamos a continuacin.
Supuesta f L
2
f continua y diferenciable a trozos, los coecientes de Fourier de f
satisfacen que
lim
n
b
n
= 0
y por tanto existe una constante C > 0 tal que
|b
n
| C n N.
(Lo nico que estamos diciendo es que toda sucesin convergente es acotada). Por tanto, se
tiene la estimacin

b
n
e
(
na
l
)
2
t
sin
nx
l

Ce
n
2
n N , x [0, l] y t ,
siendo =

2
a
2

l
2
. Dado que la serie numrica
X
n0
e
n
2
es convergente, por el criterio de Mayoracin de Weierstrass se tiene que la serie (6.1) converge
uniformemente en conjuntos de la forma [, T][0, l] y adems, como la funciones e
(
na
l
)
2
t
sin
nx
l
son continuas, la funcin suma tambin lo es, es decir, u es continua en ]0, [ [0, l] .
El propio criterio de Mayoracin de Weierstrass y el teorema de derivacin de series de
funciones nos aseguran (razonando como lo hemos hecho hasta ahora) que la serie (6.1) se
puede derivar trmino a trmino y que adems u C
2
(]0, [ [0, l]) . Como las funciones
b
n
e
(
na
l
)
2
t
sin
nx
l
satisfacen la ecuacin del calor, u tambin la satisface (gracias a la derivacin
trmino a trmino).
Slo nos queda ver que se satisfacen las condiciones iniciales y de contorno. Como la serie
(6.1) converge uniformemente para x [0, l] , la funcin u, considerada como funcin dependiente
de x, es continua y por tanto
lim
x0
u(t, x) = lim
xl
u(t, x) = u(t, 0) = u(t, l) = 0.
Finalmente, si f es continua, diferenciable a trozos y si f (0) = f (l) = 0, la extensin impar de
f es continua y diferenciable a trozos con lo cual, por el Teorema 4.2.2 se satisface que

X
n=1
|b
n
| < .
Dado que

b
n
e
(
na
l
)
2
t
sin
nx
l

b
n
n N , x [0, l] y t 0,
de nuevo el criterio de Weierstrass nos asegura que la serie (6.1) converge uniformemente en
[0, [ [0, l] lo que nos permite asegurar que u C ([0, [ [0, l]) . En particular,
lim
t0
u(t, x) = u(0, x) = f (x) .
Por tanto, acabamos de probar el siguiente:
6.1. La Ecuacin del Calor 1dimensional 69
Teorema 6.1.1 (Existencia de solucin clsica para la ecuacin del calor) Supongamos
que f sea continua, diferenciable a trozos en [0, l] y que f (0) = f (l) = 0. Entonces la funcin
dada en (6.1) es solucin clsica de (EC).
Nota 6.1.1 Ntese que la hiptesis f (0) = f (l) = 0 es una condicin de compatibilidad nece-
saria entre las condiciones de contorno y la condicin inicial.
An quedan dos cuestiones por analizar referentes a la ecuacin del calor: unicidad y esta-
bilidad de la solucin. Para abordar ambas cuestiones necesitaremos el siguiente:
Lema 6.1.2 (Principio del mximo y mnimo para la ecuacin del calor) Sean l, T >
0, D = [0, T] [0, l] y
L = {(t, x) : x [0, l] , t = 0} {(t, x) : t [0, T] , x = 0} {(t, x) : t [0, T] , x = l} .
Si u C
2
(D \ L) C (D) es solucin de la ecuacin del calor u
t
= a
2
u
xx
en D \ L, entonces
max
D
u = max
L
u y min
D
u = min
L
u.
Pongamos M =max
D
u y m =max
L
u. Obviamente M m. Supongamos que M > m.
Entonces existe (t
0
, x
0
) D \ L tal que u(t
0
, x
0
) = M. Consideremos la funcin
v (t, x) = u(t, x) +
M m
2l
2
(x x
0
)
2
.
En L se verica que v (t, x) m+
Mm
2l
2
l
2
< M. Por otra parte, v (t
0
, x
0
) = u(t
0
, x
0
) = M y por
tanto, el mximo de v es mayor o igual que M. Sea (t
1
, x
1
) el punto donde v alcanza su mximo.
Por lo que hemos visto, (t
1
, x
1
) / L. Si (t
1
, x
1
) est en el interior de D, entonces
v
t
(t
1
, x
1
) =
v
x
(t
1
, x
1
) = 0 y

2
v
x
2
(t
1
, x
1
) 0.
Si (t
1
, x
1
) {T} ]0, l[ , entonces
v
t
(t
1
, x
1
) 0 ,
v
x
(t
1
, x
1
) = 0 y

2
v
x
2
(t
1
, x
1
) 0.
En denitiva,
v
t
(t
1
, x
1
) a
2
2
v
x
2
(t
1
, x
1
) 0. Sin embargo, teniendo en cuenta la denicin
de v y que u es solucin de la ecuacin del calor se tiene que
v
t
(t
1
, x
1
) a
2
2
v
x
2
(t
1
, x
1
) =

a
2
l
2
(M m) < 0 lo cual es una contradiccin. Por tanto, M = m. La segunda igualdad se
deduce ahora de la primera ya que
min
D
u = max
D
(u) = max
L
(u) = min
L
u.
Teorema 6.1.3 (Unicidad de Solucin Clsica) Sean l, T, D y L como en el lema anterior.
Sean u
1
y u
2
dos soluciones clsicas de (EC). Entonces u
1
= u
2
.
La demostracin es una consecuencia inmediata del lema anterior. En efecto: consideremos
la funcin u = u
1
u
2
que, por hiptesis, se anula en L. Por el principio del mximo y mnimo
tenemos
max
D
u = max
L
u = 0 y min
D
u = min
L
u = 0.
Por tanto, u = 0 en D, esto es, u
1
= u
2
.
70 Captulo 6. Aplicacin del Mtodo de Separacin de Variables a la Resolucin de EDPs
Teorema 6.1.4 (Estabilidad de la Solucin) Sean l, T, D y L como en el lema anterior.
Sean g
1
, g
2
C ([0, l]) y h
1
, h
2
, k
1
, k
2
C ([0, T]) tales que
|g
1
(x) g
2
(x)| en [0, l] ,
|h
1
(t) h
2
(t)| en [0, T]
y
|k
1
(t) k
2
(t)| en [0, T] .
Sean u
1
y u
2
dos soluciones clsicas de la ecuacin del calor vericando las condiciones:

u
1
(0, x) = g
1
(x) , u
2
(0, x) = g
2
(x) con x [0, l]
u
1
(t, 0) = h
1
(t) , u
2
(t, 0) = h
2
(t) con t [0, T]
u
1
(t, l) = k
1
(t) , u
2
(t, l) = k
2
(t) con t [0, T]
.
Entonces
|u
1
(t, x) u
2
(t, x)| (t, x) D.
De nuevo la demostracin es consecuencia del principio del mximo y mnimo ya que por
hiptesis y por dicho principio se verica en todo D que
min
L
(u
1
u
2
) = min
D
(u
1
u
2
) u
1
(t, x) u
2
(t, x) max
D
(u
1
u
2
) = max
L
(u
1
u
2
) .
Nos ocuparemos nalmente de la fsica del problema. Consideremos la funcin f (x) =
sin(x)
1
3
sin(2x) , cuya grca se muestra a continuacin.
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0
0.2
0.4
0.6
0.8
1
1.2
1.4
eje x
Figura 6.1: Grca de f (x) = sin(x)
1
3
sin(2x) .
6.1. La Ecuacin del Calor 1dimensional 71
Se muestra a continuacin la grca de la solucin del problema
(DC)

u
t
(t, x) =
1
4
u
xx
(t, x) t > 0, 0 < x < 1,
u(0, x) = sin(x)
1
3
sin(2x) 0 x 1
u(t, 0) = u(t, l) = 0 t 0
Se observa que la temperatura va rpidamente a cero y que adems u es muy suave. Se produce
por tanto un enfriamiento suave y rpido de la barra.
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
-0.2
0
0.2
0.4
0.6
0.8
1
1.2
espacio
tiempo
t
e
m
p
e
r
a
t
u
r
a
Figura 6.2: Grca de la solucin del problema de difusin de calor (DC).
6.1.1 La ecuacin del calor no homognea
Consideremos el problema no homogneo para la ecuacin del calor

u
t
(t, x) = a
2
u
xx
(t, x) +F (t, x) , t > 0 y 0 < x < l
u(0, x) = f (x) , 0 < x < l
u(t, 0) = u(t, l) = 0, t > 0
. (6.3)
Buscamos una solucin que se pueda escribir en la forma
u(t, x) =

X
n=1
u
n
(t) sin
nx
l
ya que las autofunciones del problema homogneo son las funciones u
n
(x) = sin
nx
l
. Suponga-
mos que las funciones f (x) y F (t, x) se pueden desarrollar en la forma
f (x) =

X
n=1
a
n
sin
nx
l
y F (t, x) =

X
n=1
b
n
(t) sin
nx
l
donde
a
n
=
2
l
Z
l
0
f (s) sin
ns
l
ds y b
n
(t) =
2
l
Z
l
0
F (s, t) sin
ns
l
ds.
72 Captulo 6. Aplicacin del Mtodo de Separacin de Variables a la Resolucin de EDPs
Sustituyendo todas estas expresiones en la ecuacin del calor se obtiene que

X
n=1

u
0
n
(t) +

na
l

2
u
n
(t)

sin
nx
l
=

X
n=1
b
n
(t) sin
nx
l
y por tanto,
u
0
n
(t) +

na
l

2
u
n
(t) = b
n
(t) n N.
Por otra parte, de la condicin inicial u(0, x) = f (x) se obtiene que u
n
(0) = a
n
n N. Con
todo ello, para cada n N se tiene el problema de valor inicial

u
0
n
(t) +

na
l

2
u
n
(t) = b
n
(t)
u
n
(0) = a
n
cuya solucin es
u
n
(t) = a
n
e
(
na
l
)
2
t
+
Z
t
0
b
n
(s) e
(
na
l
)
2
(ts)
ds
y sustituyendo este valor en u(t, x) obtenemos la solucin formal
u(t, x) =

X
n=1

a
n
e
(
na
l
)
2
t
+
Z
t
0
b
n
(s) e
(
na
l
)
2
(ts)
ds

sin
nx
l
6.1.2 La ecuacin del calor con condiciones de frontera no homogneas
Consideremos el siguiente problema para la ecuacin del calor

u
t
(t, x) = a
2
u
xx
(t, x) + F (t, x) , t > 0 y 0 < x < l
u(0, x) = f (x) , 0 < x < l
u(t, 0) = h
1
(t) , u(t, l) = h
2
(t) , t > 0
Sea v (t, x) = h
1
(t)+
x
l
[h
2
(t) h
1
(t)] . Entonces la funcin z (t, x) = u(t, x)v (t, x) es solucin
del problema con condiciones homogneas

z
t
(t, x) = a
2
z
xx
(t, x) + F (t, x) h
0
1
(t)
x
l
[h
0
2
(t) h
0
1
(t)] , t > 0 y 0 < x < l
z (0, x) = f (x) h
1
(0)
x
l
[h
2
(0) h
1
(0)] , 0 < x < l
z (t, 0) = 0, z (t, l) = 0, t > 0
que es del tipo (6.3). Ntese que una vez calculada la funcin z, es conocida la funcin u solucin
de nuestro problema inicial.
La forma de proceder en este tipo de problemas ser siempre la misma: transformar las con-
diciones de contorno no homogneas en homogneas mediante un cambio de variable adecuado.
6.2 La Ecuacin de Ondas 1dimensional
Consideremos el problema de la vibracin de una cuerda de longitud nita l, sobre la que no
acta ninguna fuerza externa. Supongamos que en el instante inicial t = 0 la cuerda tiene una
forma dada por la funcin f (x) y cada uno de sus puntos posee una velocidad representada por
g (x) . Finalmente supongamos que la cuerda permanece ja en sus extremos. Las oscilaciones
6.2. La Ecuacin de Ondas 1dimensional 73
transversales de la cuerda pueden ser representadas por una funcin u(t, x) que tal y como vimos
en el primer captulo satisface la ecuacin y las condiciones iniciales y de contorno
(EO)

u
tt
(t, x) = c
2
u
xx
(t, x) t 0, 0 < x < l
u(0, x) = f (x) ; u
t
(0, x) = g (x) 0 x l
u(t, 0) = u(t, l) = 0 t 0
Aplicaremos el mtodo de separacin de variables para obtener la solucin formal de (EO).
Como siempre, suponemos que la solucin se puede escribir en la forma u(t, x) = T (t) X (x) .
Al derivar y sustituir en la ecuacin de ondas obtenemos las siguientes ecuaciones diferenciales
ordinarias para T (t) y X (x)
X
00
(x) = X (x) (6.4)
y
T
00
(t) + c
2
T (t) = 0. (6.5)
Las condiciones de frontera forman junto con la ecuacin (6.4) el siguiente problema regular de
Sturm-Liouville

X
00
(x) + X (x) = 0
X (0) = X (l) = 0
el cual admite como autovalores
n
=

n
l

2
y como autofunciones u
n
(x) = sin
nx
l
.
Sustituyendo estos valores de
n
en (6.5) se tiene que
T
00
(t) +

nc
l

2
T (t) = 0 para cada n = 1, 2, 3,
La solucin general de esta ecuacin es
T (t) = a
n
cos
nct
l
+ b
n
sin
nct
l
.
La solucin formal de (EO) es entonces
u(t, x) =

X
n=1

a
n
cos
nct
l
+ b
n
sin
nct
l

sin
nx
l
. (6.6)
Al imponer las condiciones iniciales u(0, x) = f (x) y u
t
(0, x) = g (x) se obtiene
u(0, x) = f (x) =

X
n=1
a
n
sin
nx
l
y
u
t
(0, x) = g (x) =

X
n=1
nc
l
b
n
sin
nx
l
.
Por tanto, a
n
es el nsimo coeciente de Fourier de la funcin f, mientras que
nc
l
b
n
es el
nsimo coeciente de Fourier de la funcin g, es decir,
a
n
=
2
l
Z
l
0
f (x) sin
nx
l
dx
y
b
n
=
2
nc
Z
l
0
g (x) sin
nx
l
dx
74 Captulo 6. Aplicacin del Mtodo de Separacin de Variables a la Resolucin de EDPs
Sustituyendo estas expresiones en (6.6) obtenemos la solucin formal del problema (EO).
La grca que se muestra a continuacin se corresponde con la solucin del problema de
ondas

u
tt
(t, x) =
1
4
u
xx
(t, x) , t > 0, 0 < x < 1
u(0, x) = f (x) ; u
t
(0, x) = 0, 0 < x < 1
u(t, 0) = u(t, 1) = 0, t > 0
con f (x) = sin(x)
1
3
sin(2x), es decir, la misma funcin que hemos tomado como tempera-
tura inicial del problema de difusin de calor considerado en la seccin anterior. Se observa que
mientras que la solucin del problema de difusin de calor que hemos analizado en la seccin
anterior tiende a estabilizar la temperatura a cero (ver Figura 6.2), la solucin del problema de
ondas propaga en cierto sentido el perl inicial.
0
0.2
0.4
0.6
0.8
1
0
1
2
3
4
-1.5
-1
-0.5
0
0.5
1
1.5
espacio
tiempo

Nos limitaremos a continuacin a enunciar el teorema de existencia, unicidad y estabilidad
de la solucin del problema (EO). La demostracin de estos resultados puede verse en [13, p.p.
419-424].
Teorema 6.2.1 (Existencia, Unicidad y Estabilidad de Solucin) Si f C
2
([0, l]) ,
admite derivada tercera continua a trozos en [0, l] y f (0) = f (l) = f
00
(0) = f
00
(l) = 0 y si
g C
1
([0, l]) admite derivada segunda continua a trozos y g (0) = g (l) = 0, entonces (6.6)
es la nica solucin del problema (EO). Adems, esta solucin es estable respecto de los datos
iniciales, es decir, pequeas variaciones en las funciones f y g originan pequeas variaciones
en la solucin.
La misma tcnica descrita en la seccin anterior para resolver la ecuacin del calor no ho-
mognea y con condiciones de frontera no homogneas es igualmente vlida para resolver la
ecuacin de ondas no homognea y con condiciones de frontera no homogneas. Ilustraremos
esta tcnica con el problema de ondas

u
tt
= c
2
u
xx
, t > 0, 0 < x < 1
u(0, x) = u
t
(0, x) = 0, 0 < x < 1
u(t, 0) = t
2
; u(t, 1) = 0, t > 0
6.2. La Ecuacin de Ondas 1dimensional 75
Puesto que se trata de un problema con condiciones no homogneas, construimos en primer
lugar una funcin v (t, x) que las verique. Para ello basta tomar
v (t, x) = (1 x) t
2
.
Efectuamos ahora el cambio u(t, x) = z (t, x) +v (t, x) . La funcin z (t, x) ha de ser solucin del
problema homogneo

z
tt
= c
2
z
xx
2 (1 x) , t > 0, 0 < x < 1
z (0, x) = z
t
(0, x) = 0, 0 < x < 1
z (t, 0) = 0 = z (1, t) = 0, t > 0
Las autofunciones correspondientes al problema homogneo son {sinnx : n N} . Por tanto,
proponemos como solucin del problema no homogneo una funcin de la forma
z (t, x) =

X
n=1
z
n
(t) sinnx. (6.7)
El desarrollo en serie de Fourier senos de la funcin 2 (1 x) es

X
n=1
4
n
sinnx (6.8)
y sustituyendo (6.7) y (6.8) en la ecuacin de ondas para z obtenemos que los coecientes z
n
(t)
han de vericar la ecuacin y las condiciones iniciales

z
00
n
(t) + (nc)
2
z
n
(t) =
4
n
z
n
(0) = 0
z
0
n
(0) = 0
.
La solucin de este problema de valores iniciales es
z
n
(t) =
4
n
3

2
c
2
(cos (nct) 1)
y por tanto,
z (t, x) =

X
n=1
4
n
3

2
c
2
(cos (nct) 1) sinnx
con lo cual
u(t, x) = t
2
(1 x) +

X
n=1
4
n
3

2
c
2
(cos (nct) 1) sinnx.
6.2.1 Se Puede Escuchar la Forma de un Tambor?
En la mayora de problemas que abordamos en este curso el esquema consiste en calcular la solu-
cin de un determinado problema de EDPs conocidos los parmetros de la ecuacin y los datos
iniciales y/o de contorno. Sin embargo, en algunos problemas de la vida real nos encontramos
con la situacin inversa, es decir, se trata de identicar los parmetros de una ecuacin a travs
de informaciones parciales o globales sobre las soluciones que somos capaces de medir y observar
experimentalmente. Tales problemas aparecen, por ejemplo, en la prospeccin petrolfera y en
diversas aplicaciones mdicas. Estudiaremos a continuacin un ejemplo acadmico pero de gran
76 Captulo 6. Aplicacin del Mtodo de Separacin de Variables a la Resolucin de EDPs
belleza. El problema se formula de una manera muy sencilla: se puede or la forma de un
tambor?, es decir, somos capaces de determinar la forma de un tambor sabiendo cmo suena
dicho tambor?
Consideraremos la versin unidimensional del problema, es decir, supongamos que tenemos
una cuerda de longitud L desconocida y que est sujeta en los extremos y vibrando. Supongamos
tambin que, gracias a un sensor, podemos medir la tensin que las vibraciones de la cuerda
producen en el extremo x = 0.
Podemos identicar la longitud L a travs de las mediciones que el sensor proporciona de
la tensin en el extremo conocido x = 0?
La respuesta es S. Como hemos visto en la seccin anterior, la solucin del problema de
ondas

u
tt
(t, x) = c
2
u
xx
(t, x) t > 0, 0 < x < L
u(0, x) = f (x) ; u
t
(0, x) = g (x) 0 < x < L
u(t, 0) = u(t, L) = 0 t > 0
es
u(t, x) =

X
n=1

a
n
cos
nct
L
+ b
n
sin
nct
L

sin
nx
L
. (6.9)
La tensin en el extremo x = 0 es
u
x
(t, 0) =

X
n=1
n
L

a
n
cos
nct
L
+ b
n
sin
nct
L

.
Por tanto, la tensin es una funcin peridica de periodo 2L/c. De esta forma, la periodicidad
de la tensin (2L/c) est relacionada de manera unvoca con la longitud de la cuerda L.
Para el caso dos dimensional, se ha demostrado que la respuesta es tambin armativa para
el caso de tambores circulares. Sin embargo, en 1992 se encontraron ejemplos de tambores con
esquinas que tenan distinta forma y que sin embargo sonaban igual. Ms informacin sobre
este bonito problema puede encontrarse en [14] y sobre todo en [27].
6.2.2 Calor versus Ondas: un poco ms de fsica ... y de matemticas
Nos ocuparemos en esta seccin de estudiar algunas propiedades fsicas de la ecuacin de ondas
y tambin contrastaremos dichas propiedades con sus anlogas para la ecuacin del calor.
La frmula de dAlembert para la ecuacin de ondas est dada (ver ejercicios) por
u(t, x) =
1
2

f (x ct) + f (x +ct) +
1
c
Z
x+ct
xct
g (y) dy

. (6.10)
Es muy fcil convencerse de que si f C
2
(R) y g C
1
(R) , entonces la funcin dada en (6.10)
es solucin del problema de valores iniciales

u
tt
(t, x) = c
2
u
xx
(t, x) , t > 0, < x < +
u(0, x) = f (x) , < x < +
u
t
(0, x) = g (x) , < x < +
Observemos tambin que con las frmulas trigonomtricas que relacionan el producto de seno-
coseno y seno-seno, la frmula de Bernoulli (6.9) se reescribe en la forma de dAlembert
u(t, x) =
1
2

X
n=1
a
n
h
sin

n
L
(x + ct)

+ sin

n
L
(x ct)
i
+
1
2c

X
n=1
c b
n
h
cos

n
L
(x ct)

cos

n
L
(x + ct)
i
.
6.2. La Ecuacin de Ondas 1dimensional 77
A la vista de estas dos representaciones para la solucin de la ecuacin de ondas, es natural
preguntarse por qu usar la frmula de Bernoulli si disponemos de la frmula ms sencilla de
dAlembert. Hay dos razones principales que nos llevan a no desechar la representacin en serie
de funciones dada por la frmula de Bernoulli:
Por un lado, el mtodo que usamos para obtener la frmula de dAlembert no es vlido
para otro tipo de ecuaciones, ni tan siquiera para la propia ecuacin de ondas en dimensin
superior a uno o al incluir condiciones de contorno.
Por otro lado, mientras que la frmula de dAlembert nos dice lo que vemos cuando mi-
ramos a una cuerda vibrando, la de Bernoulli nos dice lo que omos cuando escuchamos
la guitarra sonar. La representacin de la solucin en serie de funciones descompone una
onda de sonido en sus componentes de diferentes frecuencias. Usualmente, uno escucha el
primer sumando de (6.9), el cual es el tono fundamental a frecuencia (2c) /L, y junto a
l el resto de tonos de menor intensidad y de frecuencia (2nc) /L, n > 1.
No obstante, de la frmula de dAlembert tambin podemos extraer algunas otras conse-
cuencias importantes. A la vista de la solucin dada en (6.10), es claro que si la posicin inicial
de la cuerda, representada por medio de la funcin f, tiene alguna singularidad, entonces dicha
singularidad se propaga. La ecuacin de ondas no es capaz de suavizar o regularizar los datos
iniciales. De hecho, a la vista de (6.10), se tiene que la solucin u tiene la misma regularidad que
el dato inicial f y gana una derivada respecto a g. El comportamiento de los procesos de difusin
es bien distinto: la difusin de calor tiende a suavizar cualquier singularidad en los datos inicia-
les. En efecto, la serie de funciones mediante la cual se dene la solucin de la ecuacin del calor
contiene un trmino del tipo e
n
2
t
lo que provoca que la funcin que esta serie dene sea de clase
C

. Es el famoso efecto regularizante de la ecuacin del calor. Este efecto regularizante implica
tambin la irreversibilidad en tiempo de la ecuacin del calor. As, si jamos una temperatura
inicial en un tiempo T > 0, entonces en general no es posible integrar la ecuacin u
t
= a
2
u
xx
en
el intervalo [0, T] , esto es, hacia atrs en el tiempo. Si dicha integracin fuese posible, entonces
debido al efecto regularizante de la ecuacin del calor obtendramos que u(0, x) es una funcin
de clase C

lo cual nos indicara que todos los datos iniciales en t = 0 para la ecuacin del calor
son funciones muy regulares. Por supuesto, en general esto no es cierto. Podemos integrar la
ecuacin del calor hacia adelante en el tiempo a partir de datos iniciales de hecho muy irregu-
lares. En la ecuacin de ondas, por el contrario, si cambiamos t por T t obtenemos la misma
EDP y entonces si que es posible ir hacia atrs en el tiempo y averiguar el pasado de las ondas.
La energa, cintica ms la potencial elstica, en el tiempo t de una cuerda elstica de
longitud L que est vibrando es, salvo una constante,
E (t) =
Z
L
0

u
2
t
(t, x) + c
2
u
2
x
(t, x)

dx.
Ms adelante, en los ejercicios, veremos que esta energa se conserva con el paso del tiempo. La
ecuacin del calor se comporta, en este sentido, justo al revs: como hemos visto en las secciones
anteriores, una barra metlica que inicialmente est a una temperatura dada tiende a enfriarse,
a disipar toda su energa.
Por ltimo, nos ocuparemos de la velocidad a la que se propagan las ondas y el calor. No es
difcil comprobar, al menos formalmente, que la funcin
u(t, x) =
1

4a
2
t
Z
+

f (y) e

(xy)
2
4a
2
t
dy (6.11)
78 Captulo 6. Aplicacin del Mtodo de Separacin de Variables a la Resolucin de EDPs
es solucin del problema de valor inicial

u
t
(t, x) = a
2
u
xx
(t, x) , t > 0, < x < +
u(0, x) = f (x) , < x < +
La frmula (6.11) nos dice que el valor de la temperatura u en cualquier instante t depende de
todos los valores de f (x) , con < x < +, esto es, de la temperatura en el instante inicial.
Este hecho puede ser interpretado diciendo que el calor se propaga a velocidad innita. Por su
parte, la frmula de dAlembert (6.10) nos dice que u(t, x) depende nicamente de lo que le
sucede a f en los puntos x ct y x +ct, y a g en el intervalo [x ct, x +ct] . Nos encontramos
pues ante un fenmeno de propagacin a velocidad nita. Este hecho tiene una gran importancia
en la teora de control exacto de sistemas gobernados por EDPs. As, debido a la velocidad nita
de propagacin de las ondas, los sistemas hiperblicos tipo la ecuacin de ondas necesitan de
un tiempo mnimo para poder ser controlados si actuamos nicamente sobre la frontera de los
mismos. En cambio, los sistemas parablicos tipo calor pueden ser controlados en un tiempo
innitamente pequeo actuando tambin nicamente sobre su frontera.
Podemos resumir gran parte de lo dicho en esta seccin en el siguiente cuadro:
Calor Ondas
Efecto regularizante Si No
Reversibilidad en tiempo No Si
Conservacin de la energa No Si
Velocidad de propagacin Innita Finita
6.3 La Ecuacin de Laplace en Dimensin 2
En esta ltima seccin nos ocuparemos del estudio de la ecuacin de Laplace.
Denicin 6.3.1 Una funcin u : R
2
R, siendo un conjunto abierto, se dice armnica
si es de clase C
2
() y si adems satisface la ecuacin de Laplace
u(x, y) =

2
u
x
2
(x, y) +

2
u
y
2
(x, y) = 0 (x, y) .
Nos ocuparemos en primer lugar de estudiar las propiedades de unicidad y estabilidad de
solucin del problema de Dirichlet para la ecuacin de Laplace, esto es, el problema

u = 0 en
u = f sobre
donde R
2
es un conjunto abierto y acotado y f es una funcin continua.
La unicidad y estabilidad de solucin para el problema anterior son ambas consecuencia del
siguiente principio del mximo-mnimo.
Lema 6.3.1 (Principio del mximo y mnimo para funciones armnicas) Sean R
2
un conjunto abierto y acotado, y u C
2
() C

una funcin armnica. Entonces,


max

u = max

u y min

u = min

u.
La demostracin de este lema as como la del resultado que sigue puede encontrarse en [13,
p.p. 473-475].
6.3. La Ecuacin de Laplace en Dimensin 2 79
Teorema 6.3.2 (Unicidad y Estabilidad) Consideremos el problema
(P)

u = 0 en
u = f sobre
donde R
2
es un conjunto abierto y acotado, y f es una funcin continua. Si u
1
y u
2
son
soluciones clsicas de (P), entonces u
1
= u
2
en . Adems, la solucin depende de manera
continua de f.
Concluimos este captulo calculando la solucin formal de la ecuacin de Laplace en algunos
dominios donde el mtodo de separacin de variables es aplicable.
6.3.1 La ecuacin de Laplace en un rectngulo
Consideremos el problema

u
xx
(x, y) + u
yy
(x, y) = 0, 0 < x < l, 0 < y < L
u(0, y) = u(l, y) = 0, 0 < y < L
u(x, 0) = f
1
(x) , u(x, L) = f
2
(x) , 0 < x < l
Supongamos que la solucin de este problema se puede escribir en la forma u(x, y) = X (x) Y (y) .
Derivando y sustituyendo en la ecuacin de Laplace se obtiene que X
00
Y +XY
00
= 0 y por tanto
Y
00
Y
=
X
00
X
= .
Al imponer las condiciones de frontera u(0, y) = u(l, y) = 0 se obtiene que la funcin X (x) ha
de ser solucin del problema regular de Sturm-Liouville

X
00
+X = 0
X (0) = X (l) = 0
mientras que la funcin Y ha de ser solucin de la ecuacin Y
00
Y = 0.
Los autovalores del anterior problema de Sturm-Liouville son
n
=

n
l

2
y las correspon-
dientes autofunciones X
n
(x) = sin
nx
l
.
Por otra parte, la solucin general de la ecuacin
Y
00
(y)

n
l

2
Y (y) = 0
expresada en trminos de las funciones seno y coseno hiperblicos es
Y (y) =
n
cosh
ny
l
+
n
sinh
ny
l
.
Recordemos que
sinhy =
e
y
e
y
2
, cosh y =
e
y
+e
y
2
.
Con todo ello se tiene que la solucin formal de nuestro problema es
u(x, y) =

X
n=1
sin
nx
l

n
cosh
ny
l
+
n
sinh
ny
l

(6.12)
80 Captulo 6. Aplicacin del Mtodo de Separacin de Variables a la Resolucin de EDPs
donde an faltan por determinar los coecientes
n
y
n
para que se satisfagan las condiciones
de frontera u(x, 0) = f
1
(x) y u(x, L) = f
2
(x) . Para ello calculamos los desarrollos en serie de
Fourier seno de las funciones f
1
y f
2
, esto es,
f
1
(x) =

X
n=1
a
n
sin
nx
l
y f
2
(x) =

X
n=1
b
n
sin
nx
l
.
Imponiendo las condiciones de frontera antes mencionadas se obtiene que

n
= a
n
y
n
cosh
nL
l
+
n
sinh
nL
l
= b
n
que conducen a

n
= a
n
y
n
= b
n
csc h
nL
l
a
n
coth
nL
l
.
Sustituyendo estas frmulas en (6.12) se obtiene la solucin formal de nuestro problema.
6.3.2 La ecuacin de Laplace en coordenadas polares
Para el estudio de problemas relacionados con la ecuacin de Laplace en dominios circulares
tales como un crculo, una corona circular o un dominio del tipo
= {(r cos , r sin) : 0 < r
0
r r
1
y }
es conveniente escribir el Laplaciano en coordenadas polares. En dichas coordenadas (ver ejer-
cicio 7) la ecuacin de Laplace se escribe en la forma
u
rr
+ r
1
u
r
+ r
2
u

= 0.
Consideremos el problema

u
rr
(r, ) + r
1
u
r
(r, ) +r
2
u

(r, ) = 0, 0 < r
0
< r < r
1
, 0 < <
u(r, 0) = u(r, ) = 0, r
0
< r < r
1
u(r
0
, ) = f () , u(r
1
, ) = g () , 0 < <
.
Como siempre en nuestro esquema de separacin de variables, buscamos una solucin que se
pueda escribir en la forma u(r, ) = R(r) () . Derivando, sustituyendo en la ecuacin de
Laplace e imponiendo las condiciones de frontera homogneas se tiene que () ha de ser
solucin del problema de Sturm-Liouville


00
() + () = 0
(0) = () = 0
(6.13)
mientras que R(r) ha de ser solucin de la ecuacin
r
2
R
00
(r) + rR
0
(r) R(r) = 0. (6.14)
El problema de Sturm-Liouville (6.13) es un viejo conocido que tiene por autovalores
n
=

n

2
y por autofunciones
n
() = sin
n

.
Por otra parte, la ecuacin (6.14) es un caso particular de un tipo de ecuacin conocida como
ecuacin de Euler, la cual en su versin ms general adopta la forma
r
2
f
00
(r) +arf
0
(r) + bf (r) = 0. (6.15)
6.4. Ejercicios 81
Como solucin de esta ecuacin se propone la funcin f (r) = r

. Si sustituimos en la ecuacin
anterior se tiene
[( 1) + a + b] r

= 0,
con lo cual si
1
y
2
son dos races distintas del polinomio ( 1) + a + b = 0, entonces la
solucin general de (6.15) es f (r) = c
1
r

1
+c
2
r

2
y si
1
=
2
= , entonces la solucin general
de (6.15) es f (r) = c
1
r

+ c
2
r

log r, siendo c
1
y c
2
dos constantes.
Por tanto, la solucin general de la ecuacin (6.14), donde hemos de poner =

n

2
, es
R(r) = a
n
r
n/
+b
n
r
n/
.
Con todo ello, la solucin formal de nuestro problema de Laplace es
u(r, ) =

X
n=1
sin
n

a
n
r
n/
+ b
n
r
n/

.
Solo resta elegir los coecientes a
n
y b
n
para que se veriquen las condiciones de frontera
u(r
0
, ) = f () y u(r
1
, ) = g () . Para ello calculamos los desarrollos en serie de Fourier
seno de las funciones f () y g () . Se tiene as que
f () =

X
n=1
c
n
sin
n

y g () =

X
n=1
d
n
sin
n

e imponiendo las condiciones de contorno anteriores se ha de vericar que


a
n
r
n/
1
+ b
n
r
n/
1
= c
n
y a
n
r
n/
2
+ b
n
r
n/
2
= d
n
de donde se obtienen los coecientes a
n
y b
n
.
6.4 Ejercicios
1. Aplica el mtodo de separacin de variables para obtener la solucin formal de los proble-
mas
(a)

u
t
(t, x) = a
2
u
xx
(t, x) + Ae
bx
, t > 0, 0 < x <
u(0, x) = sinx, 0 < x <
u(t, 0) = u(t, ) = 0, t > 0
siendo A y b constantes, y
(b)

u
t
(t, x) = a
2
u
xx
(t, x) + x, t > 0, 0 < x < l
u(0, x) = cos
2
x, 0 < x < l
u(t, 0) + u
x
(t, 0) = 0 , u(t, l) +u
x
(t, l) = 0, t > 0
2. Una barra de hierro de coeciente de conductibilidad trmica 0.15 y 1 metro de longitud se
encuentra inicialmente a temperatura cero y uno de sus extremos a 500
0
C. Si este ltimo se
mantiene permanentemente a dicha temperatura mientras que el otro extremo se mantiene
a 0
0
C, calcular la temperatura en el punto medio de la barra al cabo de 5 minutos. Hallar
tambin la temperatura estacionaria, es decir, u(x) = lim
t
u(t, x) .
82 Captulo 6. Aplicacin del Mtodo de Separacin de Variables a la Resolucin de EDPs
3. Aplica el mtodo de separacin de variables para obtener la solucin formal de los proble-
mas
(a)

u
tt
(t, x) = c
2
u
xx
(t, x) , t > 0, 0 < x <
u(0, x) = sin2x ; u
t
(0, x) = sin
3
x, 0 < x <
u(t, 0) = u(t, ) = 0, t > 0
y
(b)

u
tt
(t, x) = c
2
u
xx
(t, x) , t > 0, 0 < x <
u(0, x) = cos x ; u
t
(0, x) = sinx, 0 < x <
u
x
(t, 0) = u
x
(t, ) = 0, t > 0
4. En la vida real las vibraciones de una cuerda se amortiguan debido a que las cuerdas no
son perfectamente elsticas. Esta situacin se modeliza mediante la ecuacin de ondas
u
tt
(t, x) = c
2
u
xx
(t, x) 2ku
t
(t, x) , t > 0, 0 < x < l (6.16)
donde k <
c
l
y donde el trmino 2ku
t
representa las fuerzas de friccin que causan dicho
amortiguamiento. Aplica el mtodo de separacin de variables para obtener la solucin
general de la ecuacin (6.16) sujeta a las condiciones de contorno u(t, 0) = u(t, l) = 0.
5. Aplica el mtodo de separacin de variables para obtener la solucin formal del problema

u
tt
(t, x) = c
2
u
xx
(t, x) a
2
u(t, x) , t > 0, 0 < x <
u(0, x) = f (x) ; u
t
(0, x) = g (x) , 0 < x <
u(t, 0) = u(t, ) = 0, t > 0
Este es el modelo matemtico para una cuerda vibrando en un medio elstico: el trmino
a
2
u representa la fuerza de reaccin del medio sobre la cuerda.
6. Resonancia en una cuerda. Calcula la solucin formal del problema de ondas

u
tt
(t, x) = c
2
u
xx
(t, x) a
2
u(t, x) , t > 0, 0 < x <
u(0, x) = 0 ; u
t
(0, x) = 0, 0 < x <
u(t, 0) = 0; u(t, ) = sint, t > 0
que modeliza una cuerda de longitud que est ja en uno de sus extremos y acoplada
a un oscilador en el otro extremo. Estudia tambin para qu valores de se produce el
efecto de resonancia (ondas con amplitud creciente y tendiendo a innito).
7. Probar que en coordenadas polares la ecuacin de Laplace se escribe en la forma
u
rr
+ r
1
u
r
+ r
2
u

= 0.
8. Aplica el mtodo de separacin de variables para obtener la solucin formal del problema

u
rr
(r, ) + r
1
u
r
(r, ) + r
2
u

(r, ) = 0, 0 < r
0
< r < r
1
, 0 < < 2
u(r
1
, ) = f () , 0 < < 2
u(r
2
, ) = g () , 0 < < 2
9. Aplica el mtodo de separacin de variables para obtener la solucin formal del problema

u
xx
+ u
yy
= 0, 0 < x < l, 0 < y < L
u(0, y) = g
1
(y) , u(l, y) = g
2
(y) , 0 < y < L
u(x, 0) = f
1
(x) , u(x, L) = f
2
(x) , 0 < x < l
6.4. Ejercicios 83
10. Conservacin de la energa. La energa total de una cuerda de longitud vibrando en
un instante t, salvo una constante, es
E (t) =
Z

0

u
2
t
(t, x) + c
2
u
2
x
(t, x)

dx.
El primer sumando en la integral anterior es la energa cintica y el segundo la potencial.
Si u(t, x) es solucin clsica del problema de ondas

u
tt
(t, x) = c
2
u
xx
(t, x) t > 0, 0 < x <
u(0, x) = f (x) ; u
t
(0, x) = g (x) 0 < x <
u(t, 0) = u(t, ) = 0 t > 0
donde
f (x) =

X
n=1
a
n
sinnx y g (x) =

X
n=1
b
n
sinnx
demuestra que
E (t) =
c
2
2

X
n=1
(na
n
)
2
+

2

X
n=1
b
2
n
.
Observa que sto, en particular, nos da el principio de conservacin de la energa: E (t) es
independiente de t. Tambin nos sugiere que un requerimiento fsico natural es que la serie

X
n=1
h
(na
n
)
2
+b
2
n
i
sea convergente. Esto es efectivamente cierto si f es continua y diferenciable a trozos y si
g es continua a trozos. Por qu?
11. Unicidad de solucin para la ecuacin de ondas. Utiliza los resultados del ejercicio
anterior para probar unicidad de solucin para el problema de ondas

u
tt
(t, x) = c
2
u
xx
(t, x) t > 0, 0 < x <
u(0, x) = f (x) ; u
t
(0, x) = g (x) 0 < x <
u(t, 0) = u(t, ) = 0 t > 0
12. Sean a, p, l > 0, c R y consideremos las funciones C ([0, +[) , f C ([0, l]) y
F C ([0, +[ [0, l]) .
(a) Hallar la solucin formal del problema

p (u
t
(t, x) +(t) u(t, x)) au
xx
(t, x) + cu(t, x) = F (t, x) , t > 0, 0 < x < l
u(t, 0) u(t, l) = u
x
(t, 0) u
x
(t, l) = 0, t > 0
u(0, x) = f (x) , 0 < x < l
(b) Si r, s, R, obtener la solucin del problema anterior en el caso en que F (t, x) =
e
rt
, f (x) = x y (t) = 2rt +s.
84 Captulo 6. Aplicacin del Mtodo de Separacin de Variables a la Resolucin de EDPs
6.5 Objetivos
El objetivo bsico de este tema es que el alumno adquiera habilidad de clculo en la resolucin,
usando el mtodo de separacin de variables, de los problemas clsicos de EDPs (calor, ondas y
Laplace) con diferentes condiciones iniciales y/o de contorno.
Intentaremos, no obstante, que el alumno se familiarice y tenga conocimiento de la proble-
mtica de algunos otros aspectos, ms tericos pero no por ello menos importantes, tales como
la convergencia de las series de funciones mediante las cuales se representan las soluciones al
aplicar el mtodo de separacin de variables; todo ello enfocado a las propiedades de existencia,
unicidad y estabilidad de soluciones clsicas.
Finalmente, intentaremos no separar las dos cuestiones anteriores (calculo formal y anlisis
matemtico de las soluciones) de la fsica subyacente a los problemas que se abordan de forma
que ser interesante que el alumno tenga en mente estas cuestiones fsicas y trate de obtener
conclusiones fsicas de las soluciones matemticas que se calculan.
6.6 Comentarios sobre la Bibliografa
Nuestro estudio de la ecuacin del calor sigue bsicamente el libro de Folland [8, p.p. 48-51] en
lo referente a la existencia de solucin y la interpretacin fsica de la misma. Para la unicidad
y estabilidad utilizando principios de mximo-mnimo puede consultarse [11, p.p. 215-218]. En
[13] se establece la unicidad estudiando el funcional de energa asociado al problema, y se estudia
la estabilidad directamente. Tambin son interesantes las referencias [5, 17, 23, 26].
Respecto de la ecuacin de ondas, todos los tratados clsicos de EDPs abordan esta ecuacin.
De nuevo, el hilo conductor que hemos seguido es el libro de Folland. Las cuestiones de existencia,
unicidad y estabilidad, tal y como se ha mencionado en el desarrollo de los contenidos, pueden
encontrarse en el libro de Marcelln-Casass-Zarzo. El problema se puede escuchar la forma
de un tambor? est tomado del artculo de E. Zuazua [27] y el estudio comparativo de las
ecuaciones del calor y ondas del libro de Folland [8, p. 53].
Finalmente, para la ecuacin de Laplace hemos seguido [8] y [13].