Ecuacin del calor unidimensional

Se tiene una barra de material homogneo de longitud L, recubierta por una envoltura
aislante abierta en los extremos. Fijado en ella un sistema de coordenadas unidimensional,
llamaremos u (x, t) a la temperatura del punto x de la barra en el instante t; 0 x
L, 0 t. En estas condiciones, el principio de Fourier permite deducir que
u 2u
= a2 2 , (1)
t x
donde a2 = k/c (k coeficiente de conductividad, c calor especfico y densidad) se
mantiene constante. Si los extremos de la barra son mantenidos a temperatura 0 y en
el instante inicial la temperatura del punto x est dada por una funcin continua ,
obviamente nula en los extremos, queda planteado el problema de encontrar una funcin
u (x, t) definida para 0 x L, 0 t, dos veces derivable con respecto a x y una
con respecto a t en el abierto, continua en el cerrado1 , que verifique (1) en el abierto y
tal que:
u (0, t) = u (L, t) = 0, 0t (2)
u (x, 0) = (x) , 0xL (3)
Las condiciones (2) son llamadas condiciones de contorno y la (3) es una condicin ini-
cial. Este problema se puede atacar con el mtodo de separacin de variables, probando
primero si existen soluciones no idnticamente nulas de (1)-(2) de la forma particular-
mente simple
u (x, t) = X (x) T (t) , (4)
para luego, por superposicin (habida cuenta de que la ecuacin (1) es lineal) y paso al
lmite, buscar una solucin del problema completo.
Una funcin del tipo (4) solucin de (1) verificar
XT 0 = a2 X 00 T,
de donde, all donde se puedan efectuar los cocientes, ser
T0 X 00
= . (5)
a2 T X
La igualdad entre una funcin de t y otra de x, slo es posible si ambas coinciden en
un valor constante, digamos . De modo que (5) puede leerse as:
T0 X 00
= = .
a2 T X
1
Otras opciones son admisibles. Podra, por ejemplo, ser u derivable en el abierto y tal que
limt0 u (x, t) = (x) para cada x [0, L]
Clculo III 2010 Ecuacin del calor

Si existen pares (X, T ) soluciones de (5), X deber ser entonces una autofuncin del
d2
operador dx 2 . Por otra parte, la bsqueda de soluciones no idnticamente nulas descarta

la posibilidad de que sea T 0. Ello implica, por (2) y (4), que X se anula en
los extremos del intervalo. Por lo tanto deber ser solucin del problema de contorno
ordinario 00
X + X = 0, 0<x<L
(6)
X (0) = X (L) = 0.
Como siempre, la bsqueda de autovectores comienza por la bsqueda de autovalores.
Analicemos las posibilidades aceptables para la constante . = 0 determinara para X
la forma px+q, que con las condiciones de contorno nos llevaa una solucin
idnticamente
x x
nula. Lo mismo ocurre si < 0. La solucin general Ae + Be debe ser nula
por las condiciones de contorno. Entonces
debe ser > 0. En este caso, la solucin
general es X = A cos x + B sen x. Ahora, X (0) = 0 determina que A = 0 y
luego
X (L) = B sen L = 0,

con B 6= 0, implica que L = n para algn n 2 entero n, que ser positivo. Los valores
admisibles para son entonces n = L , n N , lo cual produce la familia de
soluciones linealmente independientes de (6)
n
Xn (x) = sen x.
L
Volviendo a considerar (5), de all tambin se deduce que T es solucin de

T 0 + a2 T = 0,

lo cual, con los valores admisibles para , nos lleva para cada n, a la solucin Tn =
2
en a t .
Tenemos entonces una familia linealmente independiente de soluciones del problema
(1)-(2), que son de la forma (4):
a 2 2 n
un (x, t) = e( L )
2 2
n t
sen x = e(a) n t sen nx, (7)
L
si ponemos por la constante /L. Por la linealidad de la ecuacin (1), combinaciones
lineales de estas soluciones sern tambin soluciones del problema (1)-(2), pero no es de
esperar que alguna de ellas lo sea de (3). La accin conjunta de tomar combinaciones
lineales de las un y despus un lmite de estas combinaciones se sintetiza en considerar
una serie del tipo
X

u (x, t) = An un (x, t) . (8)
n=1

Tenemos libertad de elegir los coeficientes An para conseguir la siguiente multiplicidad

de objetivos:

u continua en [0, L] [0, +)

u derivable dos veces respecto de x y una respecto de t para t > 0.

u es solucin de (1)-(2).

2
Clculo III 2010 Ecuacin del calor

u es solucin de (3).

P que t 0, resulta |un | 1 para todo n. De modo que la serie (8) se

Por (7), puesto
mayora con |An |. De acuerdo con el criterio de Weierstrass, bastar la convergencia
de esta ltima serie para asegurar la convergencia uniforme de la (8), y en consecuencia
la continuidad de u, ya que cada un es continua (teorema 1). Queda pendiente elegir
los An de manera que se cumpla este requisito.
Para estudiar la derivabilidad en el abierto, por el teorema 3, se debe derivar tr-
mino a trmino la serie y estudiar la convergencia uniforme de las series obtenidas. La
convergencia en un punto estar sobradamente asegurada por la convergencia uniforme
estudiada en el prrafo anterior.
2 2
An un (x, t) = An (a)2 n2 e(a) n t sen nx (9a)
t
2 2
An un (x, t) = An e(a) n t n cos nx (9b)
x
2 2 2

2
An un (x, t) = An e(a) n t (n)2 sen nx (9c)
x
P
Como vamos a necesitar que la serie |An | converja, ser automticamente |An | K
para algn K. En consecuencia,


An un (x, t) K (a)2 n2 e(a)2 n2 t = Cn2 eDtn2 (10a)
t


An un (x, t) Kne(a)2 n2 t = CneDtn2 (10b)
x
2

A u (x, t) K2 n2 e(a)2 n2 t = Cn2 eDtn2 (10c)
x2 n n
Para determinar la convergencia uniforme de las series derivadas en una regin ,
t t0 , se usa el test de mayoracin de Weierstrass. Slo se debe verificar la convergencia
2
de las series mayorantes uniformes. Eso es fcil: para cualquier p, np+2 eMn 0 para
n . Luego est acotada. Si T es una cota,
2 2 T X 2
np+2 eMn T np eMn 2 np eMn < . (11)
n
Por lo tanto:
En virtud de (10a), poniendo en (11) p = 2 y M = Dt0 , la serie
X
An un (x, t)
t
converge uniformemente en la regin t t0 , y por lo tanto existe en esa regin la

t
u (x, t), coincidiendo con la suma de la serie.
De igual manera, en virtud de la tercera acotacin, poniendo en (11) p = 2 y
M = Dt, para cada t fijo la serie
X 2
An 2 un (x, t)
x
2
converge uniformemente y, por lo tanto, existe la x2
u (x, t) coincidente con la
suma de esta serie.

3
Clculo III 2010 Ecuacin del calor

En particular, e independientemente de los valores tomados para An , u resuelve

el problema (1)-(2).

Por ltimo, si queremos que u satisfaga (3), poniendo t = 0 en (8), se deber

cumplir
X
n
(x) = An sen x. (12)
n=1
L
Para que esto ocurra, resulta natural elegir como An los coeficientes de Fourier del
desarrollo de en senos en el intervalo [0, L]:
Z L
2 n
An = () sen d. (13)
L 0 L

Si sta es la eleccin, (12) se verifica, inclusive uniformemente en x, si la funcin

es continua en [0, L] y derivable en (0, L) con existencia de los lmites laterales
finitos de la derivada en los extremos: limx0+ 0 (x) y limxL 0 (x) . Con esta misma
condicin,
P que no suena ajena al problema fsico, queda asegurada la convergencia de la
serie |An | .