Universidad Cat

olica de Valpara

so
M

etodos Num

ericos
Tarea #3
Autores:
Hernan Mella
Felipe Galarce
Ricardo Rosales
Profesor:
Joaqun Mura
3 de diciembre de 2013

INDICE

INDICE

Indice
1. El problema 2
2. Discretizacion Espacial 2
2.1. Una formulacion variacional. . . . . . . . . . . . . . . . . . . . . 2
2.2. Un metodo de elementos nitos. . . . . . . . . . . . . . . . . . . 3
2.3. Integracion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3. Discretizacion Temporal 5
3.1. Un esquema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
4. Resultados 5
5. Comentarios y Conclusiones 8
1
2 DISCRETIZACI

ON ESPACIAL
1. El problema
Debemos resolver el siguiente problema con condiciones de borde e iniciales:
c

x
2
= Q(x) (x, t) [0, 1]x[0, T] (1)
(0, t) = (1, t) = 0 t [0, T] (2)
(x, 0) = 0 x [0, 1] (3)
Notemos que se ha escrito el problema sacando el termino (difusividad
termica dependiente del material) de la segunda derivada parcial puesto que es
constante por tramos. Como se piden diez elementos nitos en el intervalo [0,1]
no hay problemas con como esta denido (x).
Este problema modela una barra de largo unitario con una fuente interna de
calor Q que depende de la posicion. La barra inicialmente tiene una tempera-
tura homogenea (podramos suponer 0
o
grados celsius). Esto se modela con la
condicion inicial (3). Tambien se exige que los extremos de la barra se manten-
gan con esta temperatura inicial durante toda la difusion de calor, lo cual viene
modelado con las condiciones de Dirichlet (2).
Nota: En el contexto de una ecuacion parabolica que modela la difusion de
calor, la constante se interpreta como la difusividad termica de la barra, es
decir, una medida de la inercia termica
1
de un material. Ademas para ciertas
conguraciones de c y pierde continuidad. Esto ultimo podemos interpretarlo,
en el caso de que la difusividad no sea continua, como que la barra estuviera
compuesta de dos materiales de difusividad distinta.
2. Discretizaci on Espacial
2.1. Una formulaci on variacional.
Siendo informales en cuanto a la descripcion matematica del metodo, debe-
mos considerar el espacio de funciones:
V = {v H
1
(0, 1); v(0) = v(1) = 0} (4)
el cual es un hilbert-1 cuyas funciones tienen soporte compacto y son innita-
mente diferenciables.
Considerando esto y recordando el producto interno en L
2
, es facil concluir
que la formulacion variacional debil asociada a (1) es:

1
0
c

t
vdx +

1
0

x
v
x
=

1
0
Qvdx (5)
1
En terminos simples, la inercia termica es la cantidad de calor que puede conservar un
cuerpo y la velocidad con que la cede o absorbe.
2
2.2 Un metodo de elementos nitos. 2 DISCRETIZACI

ON ESPACIAL
2.2. Un metodo de elementos nitos.
Como ocuparemos el metodo de elementos nitos, debemos considerar la
aproximacion (Separacion de variables discreta de Fourier):
(x, t)
10

i=0

i
(t)l
i
(x) (6)
donde l
i
es la ya conocida base de Lagrange P
1
. De esta forma se tendra que los
coecientes dinamicos
i
(t) seran la solucion para toda la barra (pero depen-
deran del tiempo). Recordando:
l
i
(x
j
) =
ij
donde
ij
es la funcion delta de Kronecker.
Se discretiza espacialmente la barra con diez elementos nitos tipo barra
iguales de tipo P
1
, es decir, cada elemento tendra dos nodos y medira 0,1 uni-
dades de longitud. Para conseguir esto se considera el arreglo nodal {x
i
}
10
x=0
tal
como se aprecia en la gura 1.
g1: Arreglo nodal, funciones bases usadas y comportamiento de la
difusividad termica (en general cuando es discontinuo).
Reemplazando (6) en (5), la FVD discreta resulta ser:
3
2.3 Integracion 2 DISCRETIZACI

ON ESPACIAL
10

i=0

1
0
l
i
l
j
dx

d
i
dt
+

1
0
(x)
dl
i
dx
dl
j
dx
dx

i
(t) =

1
0
Q(x)l
j
dx
para j = 0, ..., 10.
lo cual constituye un sistema lineal de 11x11 en donde denimos las matrices
de masa y rigidez:
M
ij
= c

1
0
l
i
l
j
dx
K
ij
=

1
0
(x)
dl
i
dx
dl
j
dx
dx
(7)
respectivamente. Ademas denimos el vector de carga:
bj =

1
0
Q(x)l
j
dx (8)
As, el problema tiene dimension nita y es posible recuperar la temperatura
de cada nodo en el tiempo: el vector
h
= (
1
,
2
, ...,
10
)(t).
2.3. Integraci on
Las integrales de las matrices (7) y del vector (8) se pueden calcular ma-
nualmente. Notemos que podemos considerar sin problemas (y sin perdida de
exactitud) que la funcion (x) y Q(x) es constante por elemento exceptuando
los siguientes terminos:
2
K
66
=

0,5
0,4
(c)(l

5
)
2
dx +

0,6
0,5
l
2
5
dx = 10((c) + 1)
b
3
= b
4
= b
8
= b
9
=

1
0
Ql
j
dx
donde la difusividad
c
se evaluara de tres formas:
(c)

0,1c
c
10c
Para el vector de carga basto integrar una sola vez para luego ocupar la
simetra del problema. En la misma gura 1 podemos apreciar porque porque es
necesario separar la integral del coeciente M
55
(la discontinuidad de ).
2
Considere que la numeraci on para los sub-indices de las matrices parte de uno, como en
MATLAB, no as los para las bases, que parten de cero.
4
4 RESULTADOS
As nalmente ensamblamos las matrices y el vector necesarios. Si se desea
ver explicitamente como quedo el ensamblaje nal, puede ejecutarse la funcion
tarea3.m y seleccionar la opcion adecuada.
3. Discretizacion Temporal
Con la discretizacion espacial echa, y considerando las deniciones conocidas
para las matrices de masa (M) y rigidez (K), es el momento de considerar la
condicion dinamica (3) inicial. De manera que obtenemos el PVI:
M
d
h
dt
+ K
h
= b
(0) = 0 x [0, 1] (9)
3.1. Un esquema
Usaremos un esquema de Crank-Nicolson ( = 1/2) para obtener la tempe-
ratura en un determinado instante (en toda la barra) a partir de un instante
anterior. Para esto debemos considerar las aproximaciones usando Euler hacia
atras y hacia adelante:
M

k+1
n

k
n
t

+ K
k
n
= b
M

k+1
n

k
n
t

+ K
k+1
n
= b
respectivamente. As, ponderando euler hacia atras y hacia adelante podemos
dar con el paso i +1-esimo de tiempo a partir del iesimo usando como semilla
la condicion inicial:

k+1
n
= (2M +tK)
1
(2 tb + (2M tK)
k
n
)

0
n
=

0
Ademas, debemos imponer la condicion de Dirichlet para cada paso de tiempo
(bloqueo de matriz) de la forma habitual. Asi queda determinada la temperatura
en la barra para cualquier instante de tiempo seg un las condiciones dadas.
4. Resultados
Ahora podemos correr el script tarea3.m y escoger la conguracion deseada
para c y (c) y ver la animacion completa de la difusion de calor. Mostraremos
aqu tres conguraciones representativas:
Observacion: Intencionalmente hemos usado la misma escala en todos los
gracos, de manera que sea visible a inuencia del cambio de los valores de c y
mas alla de solo hacer notar la discontinuidad.
5
4 RESULTADOS
I: c = = 1
Este es el caso mas sencillo dado que la difusividad termica es continua.
Podemos interpretar esto como que la barra esta compuesta de un solo material
cuya difusividad termica es homogenea.
g2: desde arriba hacia abajo, se aprecia la temperatura sobre la barra para
los instantes t
1
= 0,001ms, t
2
= 0, 051ms y t
3
= 0, 301ms.
Como consecuencia de lo ultimo dicho, podemos ver que las dos fuentes de
calor que tiene la barra en x ]0,2, 0,3[]0,7, 0,8[ inuyen de la misma forma
sobre la barra, dado que el medio opone la misma resistencia termica a las
dos fuentes.
II: c = = 0,1
Para esta conguracion, es claro que una fuente de calor hara variar mas la
temperatura de la barra que la otra dado que estan en partes de la barra con
difusividad termica distinta ( no es una funcion continua esta vez). Con esto
en cuenta podemos apreciar en la gura 3 los resultados.
6
4 RESULTADOS
g 3: Para los mismos pasos de tiempo anteriores ahora se puede apreciar la
temperatura con la conguracion c = = 0,1.
Ademas de esto, y considerando que todos los gracos tienen la misma escala,
es posible ver que ahora la barra adquirio mayor temperatura en menos tiempo,
lo cual responde a la variacion del parametro c del modelo, el cual contrae o
dilata la velocidad con que la temperatura se propaga (
d
dt
).
III: c = 0,1 y = 1
En este caso la temperatura se elevara de la misma forma en toda la placa
dado que en este caso es una funcion continua. Es similar al caso I salvo que
el coeciente c es mas peque no, lo cual implica una variacion mas rapida de la
temperatura, lo cual se puede apreciar en la gura 4.
7
5 COMENTARIOS Y CONCLUSIONES
g 4: Para los mismos pasos de tiempo anteriores ahora se puede apreciar la
temperatura con la conguracion c = 0,1 y = 1.
Los demas casos y la animacion completa del modelo se pueden ver haciendo
correr tarea3.m. Las interpretaciones a los demas resultados se basan en las
mismas consideraciones sobre los parametros c y .
5. Comentarios y Conclusiones
Sobre el ensamblaje:
El ensamblaje no es optimo, dado que las matrices se tratan como matrices
densas (no sparse) lo cual hace redundar al programa escribiendo muchos in-
dices nulos. Evitar esto no es parte del curso por lo tanto se omitio. Aun as,
el programa funciona rapido dado que es una cantidad baja de elementos nitos.
Sobre el error y la estabilidad
Para la discretizacion temporal sabemos que el error cometido se arrastra del
error ya muy conocido de las diferencias nitas (el resto de Taylor para truncar la
aproximacion). Ademas, para garantizar la estabilidad de la solucion, ocupamos
un paso de tiempo peque no (dt 0,000001) puesto que no es posible encontrar
una expresion analtica para acotar el paso (A un cuando Crank-Nicholson sea
8
5 COMENTARIOS Y CONCLUSIONES
incondicionalmente estable en la mayora de los casos).
En la integracion no se comete ning un error puesto que la integracion se hizo
manualmente y de forma exacta (gracias a que todas las funciones involucradas
son, a lo mas, polinomios de primer grado).
Para la discretizacion espacial no podemos calcular explicitamente el error
dado que no sabemos la solucion exacta del problema
3
. Aun asi, es mas relevante
acotar el error, el cual sabemos por teorema, esta acotado por:
||u u
h
|| Ch||f||
L
2
(0,1)
donde f es la fuente de calor, u es la solucion exacta y u
h
es la solucion numerica.
Recordando la denicion de la norma en L
2
y evaluando la expresion anterior,
encontramos que el error |e| esta acotado por:
|e| 0,0075C
con C > 0.
3
La cual existe, y se puede calcular usando una solucion en series de Fourier, pero no es
parte de los objetivos del informe.
9