Ecuaci

on de difusi
on del calor

Metodos Numericos
CIV-317
Difusion de Calor en 1D+1
Con Diferencias Finitas y Elementos Finitos.

Joaqun Mura
1 Ingenier
a

Civil, Pontificia Universidad Cat

olica de Valparaso.

Semestre Primavera 2013

En general, la difusion de calor a traves de un medio isotropo viene dada

por



(x)
= S(x, t)
en (0, L) (0, T ),

t
x
x

u(0, t) = v0 (t)
en {0} (0, T ),
(1)

en {L} (0, T ),
(L, t) = vL (t)

u(x, 0) = u0 (x)
en (0, L) {0}
donde:
u(x, t) representa la distribucion de temperatura a lo largo de una barra que
ocupa el dominio (0, L) para todo tiempo 0 < t < T , con T > 0 fijo.
Puede haber una fuente de calor interna S.
En el lado izquierdo imponemos una temperatura v0 y en el derecho un flujo
q = ku/x = vL para todo instante.
Finalmente, una distribucion inicial de temperatura u0 .
J. Mura (Ing. Civil PUCV)

CIV317

02/2013

2 / 14

Diferencias Finitas en espacio

Semi-discretizaci
on

Para aplicar diferencias finitas, podemos definir ndices asociados a la

discretizacion espacial y a la temporal. Digamos que tenemos una grilla
espacio-temporal con pasos h = x y t. Entonces, si tenemos una malla
espacial con nodos {xi }ni=0 y

Diferencias Finitas en espacio y tiempo.

u(xi , t) ui (t),
podemos escribir la ecuacion diferencial directamente (supongamos constante):

dui

(t) 2 (ui1 (t) 2ui (t) + ui+1 (t)) =Si (t), t (0, T ), i = 1, . . . , n

dt
h

u0 (t) =v0 (t)

t (0, T ),

(un (t) un1 (t)) =vL (t)

t (0, T ),

ui (0) =u0 (xi )

i = 0, . . . , n.
Observaci
on: El sistema de ecuaciones asociado al operador d2 /dx2 junto a las
condiciones de borde pueden incorporarse en una matriz, digamos A (simetrica y
positiva-definida) ...
J. Mura (Ing. Civil PUCV)

CIV317

02/2013

4 / 14

Diferencias Finitas en espacio

Diferencias Finitas en espacio y tiempo

Semi-discretizaci
on

Discretizaci
on en tiempo

Lo anterior implica, si llamamos uh (t) = (u0 , u1 , . . . , un )(t), que el

sistema se puede escribir as

duh
+ Auh =S
en (0, T ),
dt

uh (0) =u0

Pensemos en un -esquema. Sea uh (th ) unh , entonces, el sistema (2) se

discretiza en tiempo de la siguiente manera:

(2)

A esta formulacion se le llama semi-discretizacion.

Observacion: Ahora, podemos aplicar un metodo para resolver el problema
de evolucion temporal, ej. Diferencias finitas, Runge-Kutta, entre otros.

J. Mura (Ing. Civil PUCV)

CIV317

02/2013

5 / 14

un+1
unh
h
+ A un+1
+ (1 )unh =S n+1 + (1 )S n
h
t
u0h =u0

para n 0,

Es decir,
si u0h = u0 , resolvemos para n 0 el sistema


un+1
= (I + tA)1 (I (1 )tA) unh + S n+1 + (1 )S n
h

J. Mura (Ing. Civil PUCV)

CIV317

Diferencias Finitas en espacio y tiempo

Diferencias Finitas en espacio y tiempo

Discretizaci
on en tiempo

Ejemplo

02/2013

6 / 14

02/2013

8 / 14

Notemos que si = 0 y S = 0, tendremos que resolver el sistema

un+1
= (I tA) unh unh = (I tA)n u0
h
Esto quiere decir que, cuanto n (t ) necesitamos pedir que
(I tA) < 1.
Se puede demostrar que los valores propios de la matriz A son
i = h42 sin2 (ih/2), esto implica
t <

Estabilidad de la solucion:
Izq: (I tA) = 0.9898, Der: (I tA) = 1.1888.

1 2
h
2

[Ejecutar Heat-DF.m]

Tambien se tiene que para 1/2 1 el metodo es incondicionalmente

estable.
J. Mura (Ing. Civil PUCV)

CIV317

02/2013

7 / 14

J. Mura (Ing. Civil PUCV)

CIV317

Elementos Finitos en espacio y Diferencias Finitas en tiempo

Semi-discretizaci
on

Si escribimos la formulacion variacional de la ecuacion del calor (1)

obtenemos
Z L
Z L
Z L
u v
u
v dx +
dx =

Sv dx + vL (t)v(L, t)
x x
0
0
0 t

Elementos Finitos en espacio

y

(3)

Si consideramos funciones base (llamadas tambien funciones de forma)

{i }ni=0 , definimos

Diferencias Finitas en tiempo.

u(x, t)

N
X

ui (t)i (x)

i=0
N
X
i=0

" Z

!
i j dx

dui
+
dt

Z
0

! #
di dj

dx ui =
dx dx

Sj dx + vL (t)N j
0

para todo j = 0, . . . , N .
J. Mura (Ing. Civil PUCV)

CIV317

02/2013

10 / 14

Elementos Finitos en espacio y Diferencias Finitas en tiempo

Elementos Finitos en espacio y Diferencias Finitas en tiempo

Semi-discretizaci
on

Discretizaci
on en tiempo

Sea uh (t) = (u0 , u1 , . . . , uN )(t) y las matrices de masa, rigidez

Z L
Z L
di dj
Mij =
dx
i j dx,
Kij =

dx dx
0
0

Se procede de similar manera para aplicar un -esquema: Si un uh (tn )

obtenemos
M

y vector de carga (o lado derecho)

Z L
bj =
Sj dx + vL (t)N j .

un+1 un
+ K(un+1 + (1 )un ) = bn+1 + (1 )bn
t

Es decir,
Si u0 = u0 , para n 0 resolvemos


un+1 = (M + tK)1 (M (1 )tK)un + tbn+1 + t(1 )bn

Entonces, el sistema anterior se transforma en

duh
M
+ Kuh = b
dt
uh (0) = u0

Nota: Se puede demostrar que este esquema es estable si 0 t < 1/2 si

en (0, T )

(4)
t <

2
(1 2)i

Observaci
on: El modelo (4) es equivalente a (2) si A = M 1 K y S = M 1 b.

1
e incondicionalmente estable si 1/2 1, siendo {i }N
K.
i=0 los v.p. de M

J. Mura (Ing. Civil PUCV)

J. Mura (Ing. Civil PUCV)

CIV317

02/2013

11 / 14

CIV317

02/2013

12 / 14

Implementaci
on de condiciones Dirichlet

Comentarios finales

Para implementar las condiciones esenciales o de Dirichlet, por ejemplo,

digamos en los ndices E.Con ambos esquemas llegamos a un sistema del
tipo
un+1 = Bun + dn
n 0.

Quedan fuera del alcance de este curso:

Para implementar estas condiciones,

para i E, esto significa

..
.
.
. .. ..
n+1
u
= 0
1
i

..
.. ..
.
.
.

nos interesa aplicar un+1

= vi (tn )
i

..
..
.
.
.

0
vi (tn ) + 0
..
..
..
.
.
.

..
..
. .
.
un + vi (tn )
0
i
..
..
..
.
.
.

..

Analisis de convergencia de ambos metodos.

La ecuacion del calor (t u xx u = S) se clasifica como parabolica.
Sin embargo, ecuaciones como la de adveccion-difusion
(t u + ax u = S) o la de propagacion de ondas
(tt u c2 xx u = S) son llamadas hiperbolicas y resultan mas difcil
de resolver numericamente.
Sistemas no lineales, ej. Burgers, Van der Pol, Shallow-water eqs.,
Euler (gases, fluidos), etc...

o bien,

t u + f (u) = S.

..
.

..

n+1 .
u
= 0
i

..
..
.
.
J. Mura (Ing. Civil PUCV)

..

.
0
..
.

..

CIV317

02/2013

13 / 14

J. Mura (Ing. Civil PUCV)

CIV317

02/2013

14 / 14