Ecuación del calor unidimensional

Se tiene una barra de material homogéneo 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 específico 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 función continua ϕ,
obviamente nula en los extremos, queda planteado el problema de encontrar una función
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, 0≤t (2)
u (x, 0) = ϕ (x) , 0≤x≤L (3)
Las condiciones (2) son llamadas condiciones de contorno y la (3) es una condición ini-
cial. Este problema se puede atacar con el método de separación de variables, probando
primero si existen soluciones no idénticamente nulas de (1)-(2) de la forma particular-
mente simple
u (x, t) = X (x) T (t) , (4)
para luego, por superposición (habida cuenta de que la ecuación (1) es lineal) y paso al
límite, buscar una solución del problema completo.
Una función del tipo (4) solución 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 función de t y otra de x, sólo 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. Podría, por ejemplo, ser u derivable en el abierto y tal que
limt→0 u (x, t) = ϕ (x) para cada x ∈ [0, L]
Cálculo III 2010 Ecuación del calor

Si existen pares (X, T ) soluciones de (5), X deberá ser entonces una autofunción del
d2
operador dx 2 . Por otra parte, la búsqueda de soluciones no idénticamente 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 solución del problema de contorno
ordinario ½ 00
X + λX = 0, 0<x<L
(6)
X (0) = X (L) = 0.
Como siempre, la búsqueda de autovectores comienza por la búsqueda de autovalores.
Analicemos las posibilidades aceptables para la constante λ. λ = 0 determinaría para X
la forma px+q, que con las condiciones de contorno nos lleva√a una solución
√ idénticamente
− −λx −λx
nula. Lo mismo ocurre si λ < 0. La solución general Ae + Be debe ser nula
por las condiciones de √contorno. Entonces
√ debe ser λ > 0. En este caso, la solución
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 algún¡ 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í también se deduce que T es solución de

T 0 + λa2 T = 0,

lo cual, con los valores admisibles para λ, nos lleva para cada n, a la solución Tn =
2
e−λn 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 nκx, (7)
L
si ponemos κ por la constante π/L. Por la linealidad de la ecuación (1), combinaciones
lineales de estas soluciones serán también soluciones del problema (1)-(2), pero no es de
esperar que alguna de ellas lo sea de (3). La acción conjunta de tomar combinaciones
lineales de las un y después un límite 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 solución de (1)-(2).

2
Cálculo III 2010 Ecuación del calor

• u es solución 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 tér-
mino a término 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 párrafo anterior.
∂ 2 2
An un (x, t) = −An (aκ)2 n2 e−(aκ) n t sen nκx (9a)
∂t
∂ 2 2
An un (x, t) = An e−(aκ) n t nκ cos nκx (9b)
∂x
∂2 2 2

2
An un (x, t) = −An e−(aκ) n t (nκ)2 sen nκx (9c)
∂x
P
Como vamos a necesitar que la serie |An | converja, será automáticamente |An | ≤ K
para algún K. En consecuencia,
¯ ¯
¯∂ ¯
¯ An un (x, t)¯ ≤ K (κa)2 n2 e−(κa)2 n2 t = Cn2 e−Dtn2 (10a)
¯ ∂t ¯
¯ ¯
¯∂ ¯
¯ An un (x, t)¯ ≤ Kκne−(κa)2 n2 t = Cne−Dtn2 (10b)
¯ ∂x ¯
¯ 2 ¯
¯∂ ¯
¯ A u (x, t)¯ ≤ Kκ2 n2 e−(κa)2 n2 t = Cn2 e−Dtn2 (10c)
¯ ∂x2 n n ¯
Para determinar la convergencia uniforme de las series derivadas en una región ,
t ≥ t0 , se usa el test de mayoración de Weierstrass. Sólo se debe verificar la convergencia
2
de las series mayorantes uniformes. Eso es fácil: para cualquier p, np+2 e−Mn → 0 para
n → ∞. Luego está acotada. Si T es una cota,
2 2 T X 2
np+2 e−Mn ≤ T ⇒ np e−Mn ≤ 2 ⇒ np e−Mn < ∞. (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 región t ≥ t0 , y por lo tanto existe en esa región la
∂
∂t
u (x, t), coincidiendo con la suma de la serie.
• De igual manera, en virtud de la tercera acotación, 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
Cálculo III 2010 Ecuación 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 elección, (12) se verifica, inclusive uniformemente en x, si la función ϕ

es continua en [0, L] y derivable en (0, L) con existencia de los límites laterales
finitos de la derivada en los extremos: limx→0+ ϕ0 (x) y limx→L− ϕ0 (x) . Con esta misma
condición,
P que no suena ajena al problema físico, queda asegurada la convergencia de la
serie |An | .