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
. (1)
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.
Sustituyendo todas estas expresiones en la ecuacin del calor se obtiene que
n=1

u
0
n
(t) +
na
l
X

2
u
n
(t)

nx
l
X

n=1
sin = 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

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

a
n
e
(
n
l
a
X
Z
0
u(t, x) =

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

sin
nx
l
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) ,
u(0, x) = f (x) ,
u(t, 0) = h
1
(t) , u(t, l) = h
2
(t) ,
t 0 > y 0 < x < l
0 < x < l
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 (
x
t, x) h
0
1
(t)
l
x
[h
0
2
(t) h
0
1
(t)] , t > 0 y 0 < x < l
z (0, x) = f (x) h
1
(0)
l
[h
2
(0) h
1
(0)] , 0 < x < l
z (t, 0) = 0, z (t, l) = 0, 0 t >
que es del tipo (1). 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.
3
(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
Ejercicio
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
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
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.
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 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)
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
X

n=1
n

n=1
f () = c
n
sin y g () = d
n
sin
n

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

a
n
r
1
n/
+ b
n
r
n/
1
= c
n
y a
n
r
2
n/
+ b
n
r
n/
2
= d
n
de donde se obtienen los coecientes a
n
y b
n
.
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
,
u(0, x) = sinx,
u(t, 0) = u(t, ) = 0,
t > 0, 0 < x <
0 < x <
0 t >
siendo A y b constantes, y
(b)

u
t
(t, x) = a
2
u
xx
(t, x) + x,
u(0, x) = cos
2
x,
u(t, 0) + u
x
(t, 0) = 0 , u(t, l) + u
x
(t, l) = 0,
t > 0, 0 < x < l
0 < x < l
t > 0
2. 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) ,
u(0, x) = sin2x ; u
t
(0, x) = sin
3
x,
u(t, 0) = u(t, ) = 0,
0, 0 t > < x <
0 < x <
0 t >
y
(b)

u
tt
(t, x) = c
2
u
xx
(t, x) ,
u(0, x) = cos x ; u
t
(0, x) = sinx,
u
x
(t, 0) = u
x
(t, ) = 0,
0, 0 t > < x <
0 < x <
0 t >