1

Matemticas Especiales II - Curso 2010 a Ecuacin de difusin o o

Resumen. Sea u(r, t) la temperatura de un material conductor con calor espec co c en una regin s.c. R con o supercie S. Teniendo en cuenta que el ujo de calor por unidad de rea a travs de una supercie es J = a e u(r, t), la conservacin del calor en presencia de una o fuente de calor j(r, t) implica la ecuacin o d dt cu(r, t)dV =
R S

donde U (k, 0) es la TF de u(x, 0). Utilizando ahora las propiedades de la TF (ver resumen respectivo) obtenemos, efectuando la transf. inversa, 1 u(x, t) = 2

eikx U (k, t)dk

(5) (6)

K(x x , t)u(x , 0)dx ek t eikx dk 2

u(r, t) dA +

j(r, t)dV
R

1 K(x, t) = 2
2

Esta ecuacin implica, teniendo en cuenta el teorema de o Green y el hecho de que debe ser vlida para cualquier a regin interna R del material, la ecuacin diferencial o o ut (r, t) u(r, t) = f (r, t)
donde ut = u , = x2 + y2 + z2 es el Laplaciano y t = /(c) > 0, f = j/(c). Esta ecuacin se denomina o ecuacin general de difusin y es una ecuacin difereno o o cial lineal de tipo parablico. En ausencia de fuentes se o obtiene la ecuacin de difusin homognea o o e
2 2 2

ex /(4t) = , t>0 4t

(7)

K(x x , t) es la funcin respuesta de la ec. del calor en o la barra innita y representa la temperatura u(x, t) en la posicin x y tiempo t > 0 para una temperatura inicial o puntual u(x, 0) = (x x ) localizada en x : Kt (x x , t) Kxx (x x , t) = 0 lim K(x x , t) = (x x )
t0+

(8)

ut (r, t) u(r, t) = 0 Ambas ecuaciones son obviamente tambin vlidas en e a dos, una o eventualmente n dimensiones. Comenzaremos estudiando el caso de una dimensin. o

1. Evolucin de la temperatura en una barra innita o

Depende en la barra innita slo de la diferencia x x o por ser en este caso la ec. (1) invariante frente a traslaciones espaciales. La solucin gral. (6) puede visualio zarse entonces como la suma de soluciones elementales K(x x , t) moduladas por el factor u(x , 0), dado que u(x, 0) = (x x )u(x , 0)dx . K(x x , t) es una Gaussiana centrada en x = x con desviacin estndar (t) = 2t. Dado que la cantidad o a total de calor debe conservarse, e inicialmente (x x )dx = 1, se cumple que

Consideremos la ecuacin o ut uxx = 0 , >0 (1)

K(x, t)dx = 1

para la temperatura u(x, t) en una barra innita con la condicin inicial o u(x, 0) = (x) (2)

Mult. la ec. (1) por eikx e integrando respecto de x, se obtiene Ut (k, t) + k 2 U (k, t) = 0 donde 1 U (k, t) = 2

(3)

eikx u(x, t)dx

t 0, como puede vericarse directamente. Al aumentar t, la distribucin K(x, t) se achata, aunque conserva o su rea. Se recomienda recordar (y tambin realizar pera e sonalmente) las simulaciones mostradas en la PC. Para x = 0 jo, K(x, t) posee un mximo en a t0 = x2 /(2), con K(x, t0 ) = 1/( 2ex), disminuyendo luego como t1/2 para t . Notemos tambin e que si t > 0, K(x, t) = 0 x = 0, lo que indica una velocidad innita de transmisin del calor. La ec. (1) es o claramente no relativista, es decir no invariante frente a transformaciones de Lorentz (en contraposicin a la ec. o de ondas). No obstante, K(x, t) es muy pequeo para n x (t). Ejemplos: 1) Si u(x, 0) = A cos(kx) = ARe[eikx ] u(x, t) = ARe[eikx ek t ] = A cos(kx)ek
2 2

es la TF de u(x, t) respecto de x. La ec. (3) es una ecuacin diferencial ordinaria en t para U , cuya solucin o o para t > 0 es U (k, t) = ek t U (k, 0)
2

(4)

resultado que puede obtenerse de (6)(7) o directamente de (4), planteando u(x, t) = eikx U (k, t). La sol. gral. (5)

2 es pues la suma de soluciones elementales para cond. iniciales u(x, 0) = U (k, 0)eikx . Este ej. muestra tambin e que oscilaciones espaciales iniciales de la temp. decaen tanto ms rpidamente cuanto mayor sea la frecuencia k. a a Si k = 0, u(x, t) = A, constante. 2 2) Si u(x, 0) = Aex /r / r, r > 0 (distribucin inio cial gaussiana de temperaturas) u(x, t) = A e
x2 /(r+4t)

3. Barra semi-innita

Consideremos ahora la ec. (1) en la region x 0 con la condicin inicial (2) y la condicin de contorno o o u(0, t) = 0 (11)

(r + 4t)

= AK(x, t + t0 ), t0 =

r 4

lo que puede obtenerse de (6), o directamente notando que u(x, 0) = AK(x, t0 ). La dist. de temp. permanece gaussiana t > 0. Si r 0+ , u(x, t) AK(x, t).
2. Ecuacin no homognea. Funcin de Green. o e o

t > 0. Podr amos proceder como en el caso anterior utilizando la transformada seno en lugar de la TF completa (se dejan los detalles para el lector). No obstante, es equivalente, pero ms cmodo y f a o sico, utilizar el mtodo e de las imgenes. La cond. (11) se puede simular coma pletando la temp. inicial u(x, 0) = (x) en forma impar para x < 0: u(x, 0) = u(x, 0). En tal caso, utilizando la solucin (6), o

u(0, t) =

K(0 x , t)u(x , 0)dx = 0

Consideremos ahora la ec. inhomognea e ut uxx = f (x, t) Procediendo como en el caso anterior, es decir, mult. por eikx e integrando, obtenemos, Ut (k, t) + k U (k, t) = F (k, t) con F (k, t) la TF de f (x, t) respecto de x. La solucin o de esta ec. dif. ordinaria en t es, para U (k, ) = 0
2

por ser u(x , 0) impar y K(x , t) = K(x , t) par (respecto de x ). Obtenemos entonces

u(x, t) = =
0

K(x x , t)u(x , 0)dx Ks (x, x , t)u(x , 0)dx (12) (13)

Ks (x, x , t) = K(x x , t) K(x + x , t)

U (k, t) =

ek

(tt )

H(t t )F (k, t )dt

Aplicando ahora la transf. inversa se obtiene

u(x, t) =

G(x x , t t )f (x , t )dx dt (9) ex /(4t) H(t) 4t

2

G(x, t) = K(x, t)H(t) =

(10)

La funcin G(x x , t t ) es la funcin de Green de la o o ec. del calor y representa la solucin causal u(x, t) para o una inhomogeneidad puntual f (x, t) = (x x )(t t ): Gt (x x , t t ) Gxx (x x , t t ) = (x x )(t t ) como puede comporbarse directamente utilizando (8) o (9). La solucin gral. (9) puede visualizarse nuevamente o como la suma de las soluciones elementales G(x x , t t ) moduladas por el factor f (x , t ), dado que f (x, t) = f (x , t )(x x )(t t )dt dx .

donde Ks (x x , t) es la funcin respuesta para la barra o semi-innita para la presente cond. de contorno. No es otra cosa que la dif. de las respuestas a una fuente puntual en x y en x . Notemos que Ks (x, x , t) no es ms una a funcin de x x , ya que se ha perdido la invarianza o traslacional. Tampoco se conserva la cantidad de calor Q(x , t) Ks (x, x , t)dx, ya que el sistema pierde calor en x = 0. Tenemos en cambio Q(x , t) 0 para t , como puede comprobarse fcilmente. a En forma anloga se procede para el caso inhomogneo. a e Completando a f (x, t) en forma impar respecto de x = 0 t, obtenemos

u(x, t) =

[
0

Gs (x, x , t t )f (x , t )dx ]dt (14)

con Gs (x, x , t) = Ks (x, x , t)H(t) = G(x x , t) G(x + x , t) que representa la diferencia de las respuestas del sistema a una inhomogeneidad puntual en (x , t ) y en (x , t ). Ks y Gs quedan denidas por Ks t (x, x , t) Ks xx (x, x , t) = 0, x > 0, x > 0, t > 0 lim Ks (x, x , t) = (x x ), Ks (0, x , t) = 0 (15)

t0+

Gs t (x, x , t) Gs xx (x, x , t) = (x x )(t t ), x > 0, x > 0 Gs (0, x , t) = 0

3 En forma anloga se procede con la condicin de contorno a o de Neumann ux (0, t) = 0 que corresponde a una barra trmicamente aislada en e x = 0. En este caso se debe completar la condicin o inicial y la inhomogeneidad en forma par respecto de x = 0: u(x, 0) = u(x, 0), f (x, t) = f (x, t). Las soluciones se obtienen como en el caso anterior reemplazando Ks (x, x , t) y Gs (x, x , t) por con i/ = ei/4 v() < implica v(x) = / = (1 + i)
2 .

La condicin o || (17) 2

A2 ex(1+i)() > 0 , () = A1 ex(1i)() < 0

Por lo tanto, si > 0, la solucin que satisface la cond. o de contorno es u(x, t) = Gex()(1+i)+it con (18)

Re[u(x, t)] = Ge()x cos(t ()x) Kc (x, x , t) = K(x x , t) + K(x + x , t) o Gc (x, x , t) = Kc (x, x , t)H(t) = G(x x , t) + G(x + x , t) que indica una disminucin exponencial de las oscilaciones trmicas que ocurren en la supercie. La longitud e de penetracin d() = 1/() = 2/ disminuye al o que representan ahora la suma de las respuestas a fuentes aumentar . Surge adems un retraso t = x()/ = a puntuales en en x y en x y que satisfacen las mis x/ 2 en las oscilaciones a una profundidad x, que aumas ecuaciones anteriores pero con la cond. de contorno menta con x y disminuye al aumentar . Notemos nalKc x (0, x , t) = 0, Gc x (0, x , t) = 0. No son funciones de mente que si = 0 u(x, t) = G (solucin estacionaria o x x , aunque en este caso se verica constante). La solucin general para una condicin de contorno o o Kc (x, x , t)dx = 1 arbitraria puede hallarse como suma de las soluciones 0 anteriores, desarrollando a g(t) = u(0, t) en integral de t 0, ya que el sistema est aislado (se deja como a Fourier: ejercicio para el lector). 1 1 g(t) = G()eit d, G() = g(t)eit dt 2 2
4. Condiciones de contorno inhomogneas e

Efectuando la TF de la ec. (16) respecto de t, se obtiene iU (x, ) Uxx (x, ) = 0 con 1 U (x, ) = 2

Resulta de gran inters f e sico resolver el problema de la determinacin de la temperatura en una barra semio innita conociendo la temperatura en el origen. Un ejemplo es la determinacin de la temp. por debajo de la o supercie terrestre a una profundidad x, conociendo la temp. en la supercie. Consideremos pues la ec. ut uxx = 0, x>0 (16)

(19)

u(x, t)eit dt

la TF de u(x, t) respecto de t, que satisface U (0, ) = G(). La solucin de (19) acotada para x es, utio lizando (17), U (x, ) = G()ex()(1+iSg()) donde Sg() es el signo de . Antitransformando esta ecuacin, se obtiene o 1 u(x, t) = 2

con la cond. inicial u(x, ) = 0 y la cond. de contorno u(0, t) = g(t) Consideremos primero el caso ms simple en que a g(t) = G cos(t) = G Re[eit ] Planteando una solucin del tipo o u(x, t) = Ge se obtiene para v(x) la ec. iv v = 0 cuya solucin es o v(x) = A1 e
i/x it

U (x, )eit d

Gs (x, t t )g(t )dt

(20)

v(x)

1 Gs (x, t) = 2 =

ex()(1+iSg())+it d 2 (21)

xe H(t) t 4t

x2 /(4t)

+ A2 e

i/x

Gs (x, t t ) representa la solucin para la condicin de o o borde puntual u(0, t) = (t t ) y depende de la dif. t t . Para t > 0, Gs (x, t) posee, como funcin de x, un o mximo en x0 = 2t, con Gs (x0 , t) = 1/( 2et). a

4 Este resultado puede tambin obtenerse por los mtodos e e generales de fn. de Green (vase clase 21). Notemos que e G(x, t) Gs (x, x , t) |x =0 = 2 (22) Gs (x, t) = x x Resolucin por transformada seno (TS): Otra forma de o llegar al mismo resultado es mediante la TS respecto de x. En primer lugar, para una funcin f con f () = 0, o obtenemos, integrando por partes dos veces,
0

5. Evolucin de la temperatura en regiones nitas o

Consideremos la evolucin de la temperatura u(x, t) o en una barra nita de longitud L, con condiciones de contorno u(0, t) = u(L, t) = 0 y condicin inicial o u(x, 0) = (x) Podemos plantear u(x, t) = X(x)T (t) en la ecuacin o ut uxx = 0 obtenindose e X T = = k 2 T X que conduce a T (t) = T (0)ekt y X(x) = A cos kx + B sin kx para k = 0 (para k = 0 se obtiene en cambio X(x) = A + Bx). La condicin de contorno implica o X(0) = X(L) = 0, en cuyo caso A = 0 y k = n/L, n = 1, 2, . . .. Se obtiene entonces la solucin producto o Xn (x)Tn (t) = cn e(n/L) t sin(nx/L) y la solucin general o

f (x) sin(kx)dx = f (x) sin(kx)| k f (x) cos(kx)dx 0

0

= kf (0) cos(kx)| k 2 0

f (x) sin(kx)dx
0

Por lo tanto, si Fs (k) es la TS de f (x), la TS de f (x) es 2 f (x) sin(kx)dx =

0

2 kf (0) k 2 Fs (k)

Si f (0) = 0, que es la condicin de contorno natural o para la expansin en las funciones sin(kx), el resultado es o simplemente k 2 Fs (k), y puede obtenerse directamente derivando la expresin inversa o f (x) = 2

Fs (k) sin(kx)dk
0

Pero si f (0) = 0 aparece un trmino adicional. e Por lo tanto, si efectuamos la TS de la ec. (16) (es decir, mult. por sin(kx) e integrando), obtenemos Us t (k, t) + k 2 Us (k, t) = donde g(t) = u(0, t) y Us (x, t) = 2

2 kg(t)

(23)

u(x, t) =
n=1

cn e(n/L)

sin(nx/L)

La condicin inicial implica o u(x, t) sin(kx)dx

es la TS de u(x, t) respecto de x. Si Us (k, ) = 0, la solucin de (23) es o Us (k, t) = 2 k

u(x, 0) =
n=1

cn sin(nx/L) = (x)

k2 (tt )

H(t t )g(t )dt

lo cual constituye el desarrollo en serie de medio rango en senos de (x) y determina los coecientes cn : cn = 2 L
L

Efectuando la transf. inversa, y notando que 2

sin(
0

e
0

k2 t
2

1 k sin(kx)dk = x

n x)(x)dx L

k2 t ikx

dk

El resultado nal puede luego expresarse como

L

= 2

ex /(4t) x 4t

(24) donde

u(x, t) =
0

K(x, x , t)(x )dx

se obtiene nuevamente el resultado (20)(21). La solucin o para un ujo dado ux (0, t) = g(t) en el origen se puede resolver en forma similar utilizando la transf. coseno Fc (k) (ver tabla siguiente) y se deja como ejercicio. f (x) 1 f (x)

K(x, x , t) =

2 2 n n e(n/L) t sin( x) sin( x ) L n=1 L L

Fs (k) kFc (k)

2 kf (0)

Fc (k)
2 f (0) 2 f (0)

+ kFs (k) k 2 Fc (k)

2 f (x)

k 2 Fs (k)

representa la funcin respuesta de la ecuacin de dio o fusin en la barra nita con las condiciones de cono torno anteriores. La condicin inicial es pues naturalo mente descompuesta en modos normales que exhiben

5 un decaimiento exponencial e(n/L) t . Para tiempos grandes, unicamente el modo simtrico fundamental e (sin(x/L)) permanecer visible (si c1 = 0), con una ama 2 plitud c1 e(/L) t . Notemos tambin que el problema con temperatura ja e en los bordes, u(0, t) = T0 , u(L, T ) = TL siendo T0 y TL independientes de t, puede reducirse al problema anterior si reemplazamos x u(x, t) = w(x, t) + T0 + (TL T0 ) L La funcin lineal constante de la derecha se encarga de la o condicin de contorno y satisface exactamente la ecuacin o o de difusin homognea (es una solucin estacionaria) por o e o lo que w(x, t) satisface tambin la ecuacin de difusin e o o homognea pero con condiciones de contorno homogneas e e (w(0, t) = w(L, t) = 0). w(x, t) estar pues dada por la a x solucin anterior (con w(x, 0) = u(x, 0) (T0 + L (TL o T0 )). En este caso
t
2

se obtiene una ecuacin diferencial ordinaria para ck (t) o (recordar detalles de clase) dck + k ck = fk (t) gk (t) dt donde gk (t) =
A

g(r, t)

u (r) k n dA. t

La solucin es o

ck (t) = ck (0)ek t +
0

ek (tt ) (fk (t ) gk (t ))dt

con ck (0) =
R

u (r)(r)dV k

Obtenemos nalmente

u(r, t) =
R 0

G(r, r , t t )f (r , t )dV dt
S 0

+
R

G(r, r , t)(r )dV

G(r, r , t t ) g(r , t )dA dt n (27)

lim u(x, t) = T0 +

x (TL T0 ) L

donde G(r, r , t t ) = ek (tt ) uk (r)u (r )H(t t ) k (28) = K(r, r , t t )H(t t )

En clase se han visto adems otros problemas anlogos a a (barra nita con fuentes, barra nita aislada, regiones bidimensionales, c rculos y esferas, etc.). Daremos aqu slamente la funcin de Green para una regin general. o o o
6. Funcion de Green de la ecuacin general de o difusin o

(29)

es la funcin de Green de la ecuacin de difusin y satiso o o face ( )G(r, r , t t ) = (r r )(t t ) t

Consideremos la ecuacin o ut u = f (r, t), > 0 en una regin s.c. R, con la condicin de contorno o o u(r, t) = g(r, t), r S y la condicin inicial o u(r, 0) = (r), r R Mediante la expansin o u(r, t) =
k

G(r, r , t t ) es pues la temperatura en (r, t) para una fuente de calor puntual en (r , t ), siendo nula para t < t . En cambio, K(r, r , t) = k ek t uk (r)u (r ) satisface k la ecuacin de difusin homognea, Kt K = 0, con o o e condicin inicial limt0+ K(r, r , t) = (r r ). o Por ejemplo, para una barra nita de longitud a, G(r, r , t) =
2 2 2 2 en t/a sin(nx/a) sin(nx /a)H(t) a n=1

para una barra innita, f (r, t) =

k

ck (t)uk (r),

fk (t)uk (r) (25) G(r, r , t) =

donde uk (r) son las autofunciones del Laplaciano con condiciones de contorno homogneas, e uk = k uk , uk (r) = 0, si r S y ck (t) =
R

H(t) 2

k2 t ik(xx )

dk =

e(xx ) /4t H(t) 2 t

y para el espacio tridimensional, G(r, r , t) = H(t) (2)3 e|k| t eik(rr ) d3 k =

R3
2

e|rr | /4t H(t) (2 t)3

u (r)u(r, t)dV, fk (t) = k

u (r)f (r, t)dV k (26)

ya que la integral se descompone en el producto de 3 integrales similares a la del caso de una dimensin. La o funcin de Green de la ecuacin de difusin conserva pues o o o

6 la misma forma gaussiana en 1, 3, 2 o n dimensiones, a diferencia de la funcin de Green de la ecuacin de ondas. o o Se deja como ejercicio determinar la funcin de Green o para un c rculo y para una esfera, ambos de radio a. La solucin del problema general o ut + Lr (u) = f (r, t), > 0 en una regin s.c. R con Lr (u) = r u + q(r), la o condicin de contorno o u(r, t) = g(r, t), r S y la condicin inicial o u(r, 0) = (r) con G(r, r , t t ) = 0 para r S y G = 0 para t < t . La expresin (27) para la solucin general puede obtenerse o o mediante el desarrollo en autofunciones, o directamente de la ecuacin (30), intercambiando r por r , multiplio cando luego por u(r , t ) e integrando respecto de r y t en R y (0, ) respectivamente, aplicando el teorema de Green en r y la integracin por partes en t . Se dejan o los detalles para el lector. est dada nuevamente por la expresin (27), con G dada a o nuevamente por la expresin (28)(29), con Lr (uk ) = o k uk y uk (r) = 0 en S. G satisface + Lr )G(r, r , t t ) = (r r )(t t ) t

(30)