El Metodo explcito de Diferencias Finitas y la

Ecuaci
on del Calor: Un teorema de Convergencia

Sea (P ) el siguiente problema continuo que modela la evolucion de la temperatura u(x, t) en un cilindro unidi-
mensional de longitud L, homogeneo, con difusividad k, temperaturas prescritas en los bordes dadas por A(t)
y B(t) y temperatura inicial f (x),

u 2u

EDP : = k , 0 x L, 0 t T

t x2

(P )

CB : u(0, t) = A(t) , u(L, t) = B(t)




CI : u(x, 0) = f (x)

Asumimos que se cumplen las condiciones laterales, A(0) = f (0) y B(0) = f (L), de manera que (P ) tiene
una solucion u(x, t). Denotando con um j a la solucion numerica de este problema por el metodo de diferencias
nitas en el punto (xj , tm ) = (jx, mt), donde para N y M enteros positivos, x = L/N, t = T /M, y
s = kt/(x)2 , la aproximaci on um
j resuelve el siguiente problema discreto, donde con edp se indica la Ecuaci
on
en Diferencias Parcial (tambien llamada Ecuacion en Diferencias Finitas, edf ) :

edp : um+1 = sumj1 + (1 2s)uj + suj+1 , j = 1, ..., N 1; m = 0, 1, ..., M 1
m m

j


(p) cb : um0 = A(mt) , um
N = B(mt), m = 0, 1, ..., M





ci : uj0 = f (jx), j = 0, 1, ..., N

Estabilidad y Convergencia:
 on Ejm en el punto (j, m) de la malla esta
El error local de discretizaci
 m
denido por Ej = u(xj , tm ) uj . Se dice que el metodo usado para producir las aproximaciones um
m
j con-
verge, si max Ejm 0 cuando x 0 (y t = s(x)2 0), donde el maximo se toma sobre todos los puntos
(j, m) de la grilla (malla). Puede demostrarse que para asegurar la convergencia y estabilidad (es decir, que
el error disminuye conforme avanza el calculo) es SUFICIENTE con que s 1/2. Esto signica que cuando
s > 1/2, el metodo puede (aunque NO necesariamente) volverse inestable (es decir oscilante en espacio y tiempo).

Teorema de Estimaci on del error: Si (P ) tiene una solucion u(x, t) que es 4 veces continuamente diferencia-
j resuelve (p) con s 1/2, entonces el error local de discretizaci
ble en el dominio (u C 4 ([0, L] [0, T ]) y um on
en cada punto, satisface la siguiente desigualdad para j = 0, 1, ...N ; m = 0, 1, ...M
( )
KT (x)2
Ejm t + donde K = max {|A (t)| , |B (t)| , |f (x)|} (1)
2 6 0xL, 0tT

Es decir, el error local de discretizacion tiende a cero cuando M, N , si s = kT N 2 /L2 N 1/2, donde k es
el coeciente de difusividad de la ecuacion del calor del problema (P ).

BIBLIOGRAFIA:

Bleecker D., Csordas G. Basic Partial Dierential Equations - Ed. Internacional - 1996

Haberman R. Applied Partial Dierential Equations - Prentice Hall - 2004

Material elaborado por A. Frausin - Octubre 2011