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 , t x (1)

donde a2 = k/c (k coeciente de conductividad, c calor especco 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) denida 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 verique (1) en el abierto y tal que: u (0, t) = u (L, t) = 0, 0t (2) u (x, 0) = (x) , Las condiciones (2) son llamadas condiciones de contorno y la (3) es una condicin inicial. 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 particularmente 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) vericar XT 0 = a2 X 00 T, de donde, all donde se puedan efectuar los cocientes, ser X 00 T0 = . (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 0xL (3)

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 lleva idnticamente a una solucin x x + Be debe ser nula nula. Lo mismo ocurre si < 0. La solucin general Ae 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) Xn (x) = sen n 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): un (x, t) = e( L )
a 2 2 n t

sen

2 2 n x = e(a) n t sen nx, L

(7)

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 coecientes 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 u es solucin de (3).

Ecuacin del calor

Por (7), puesto P que t 0, resulta |un | 1 para todo n. De modo que la serie (8) se 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 trmino 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 (9a) An un (x, t) = An (a)2 n2 e(a) n t sen nx t 2 2 (9b) An un (x, t) = An e(a) n t n cos nx x 2 2 2 An un (x, t) = An e(a) n t (n)2 sen nx (9c) 2 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 K2 n2 e(a)2 n2 t = Cn2 eDtn2 A u ( x, t ) (10c) n n x2

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 vericar 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, X T 2 2 2 np eMn < . (11) np+2 eMn T np eMn 2 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 u (x, t), coincidiendo con la suma de la serie. t De igual manera, en virtud de la tercera acotacin, poniendo en (11) p = 2 y M = Dt, para cada t jo la serie X 2 An 2 un (x, t) x converge uniformemente y, por lo tanto, existe la suma de esta serie. 3
2 u (x, t) x2

coincidente con la

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) L n=1 Z

Para que esto ocurra, resulta natural elegir como An los coecientes de Fourier del desarrollo de en senos en el intervalo [0, L]: 2 An = L
L

( ) sen

n d. L

(13)

Si sta es la eleccin, (12) se verica, inclusive uniformemente en x, si la funcin es continua en [0, L] y derivable en (0, L) con existencia de los lmites laterales nitos 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 | .