Anda di halaman 1dari 35

1

DINAMICA DE FLUIDOS
COMPUTACIONAL
Ecuacin de Difusin 1D
Diferencias Finitas
Sesin 1
Armando Blanco A.
2
Introduccin

En el flujo de fluidos encontramos una gran diversidad de
procesos y escalas.
Transporte por difusin y conveccin, flujos multifsicos,
cambios de fase, reacciones qumicas, etc.
Este captulo introductorio se centra en procesos de difusin y
permite introducir esquemas numricos explcitos as como el
anlisis del error debido a la discretizacin de las ecuaciones
diferenciales parciales.
Se aplican conceptos vistos en el curso anterior de mtodos
numricos como estabilidad, convergencia y consistencia .
Finalmente se culmina con una aplicacin que permitir poner
en prctica los conceptos aprendidos.



3
Ecuacin de Difusin y problema base
Formulacin del mtodo explcito FTCS
Anlisis de estabilidad FTCS
Precisin FTCS
Anlisis de errores
Esquema de DuFort-Frankel
Aplicacin
4
Ecuacin de Difusin 1D

2
2
x
T
t
T
c
c
=
c
c
o
Desde un punto de vista numrico, la ecuacin de difusin
contiene los mismos mecanismos, relativos a la disipacin,
que se presentan en problemas de flujo de fluidos.
Consideremos la ecuacin de difusin del calor 1D

Esta ecuacin modela el flujo de calor en una columna de
seccin uniforme, aislada en su cuerpo pero que puede
transferir calor a los alrededores a travs de sus extremos.
(1)
aislante

aislante

A

B

A
A
x
T
T
c
c
conocidas

o

B
B
x
T
T
c
c
conocidas

o

( ) x T x T
0
) 0 , ( =
Condiciones
iniciales
5
Ecuacin de Difusin y problema base
Formulacin del mtodo explcito FTCS
Anlisis de estabilidad FTCS
Precisin FTCS
Anlisis de errores
Esquema de DuFort-Frankel
Aplicacin
6
Mtodos Explcitos: FTCS

Consideremos la discretizacin explcita en el espacio de esta
ecuacin. Expresando las derivadas en primer orden en
tiempo

( ) ( )
( ) ( )
( )
3
,
2
2
2
,
1
! 2 ! 1
, , t O
t
T t
t
T t
t x T t t x T
t x
t x
A +
|
|
.
|

\
|
c
c A
+
|
.
|

\
|
c
c A
+ = A +
( )
2
,
2
2
1
,
2
t O
t
T t
t
T T
t
T
t x
n
j
n
j
t x
A +
|
|
.
|

\
|
c
c A

=
|
.
|

\
|
c
c
+
donde hemos retenido el primer trmino del error.
Similarmente, para la discretizacin espacial en segundo
orden tendremos

( ) ( )
( ) ( ) ( ) ( ) ( )
( )
( ) ( )
( ) ( ) ( ) ( ) ( )
( )
6
,
5
5
5
,
4
4
4
,
3
3
3
,
2
2
2
,
1
6
,
5
5
5
,
4
4
4
,
3
3
3
,
2
2
2
,
1
! 5 ! 4 ! 3 ! 2 ! 1
, ,
! 5 ! 4 ! 3 ! 2 ! 1
, ,
x O
x
T x
x
T x
x
T x
x
T x
x
T x
t x T t x x T
x O
x
T x
x
T x
x
T x
x
T x
x
T x
t x T t x x T
t x t x t x t x
t x
t x t x t x t x
t x
A +
|
|
.
|

\
|
c
c A

|
|
.
|

\
|
c
c A
+
|
|
.
|

\
|
c
c A

|
|
.
|

\
|
c
c A
+
|
.
|

\
|
c
c A
= A
A +
|
|
.
|

\
|
c
c A
+
|
|
.
|

\
|
c
c A
+
|
|
.
|

\
|
c
c A
+
|
|
.
|

\
|
c
c A
+
|
.
|

\
|
c
c A
+ = A +
(2)
7
Mtodos Explcitos: FTCS

( )
4 2
,
4
4 2
,
2
2
2
1 1
1
,
12 2
2
x t O
x
T x
t
T t
x
T T T
t
T T
t x t x
n
j
n
j
n
j
n
j
n
j
A A +
(
(

|
|
.
|

\
|
c
c A

|
|
.
|

\
|
c
c A
+
A
+
=
A

+
+
o o
Sumando estas dos ecuaciones y cambiando la notacin a
ndices tenemos

Definiendo
(5)
( )
4
,
4
4 2
2
1 1
,
2
2
12
2
x O
x
T x
x
T T T
x
T
t x
n
i
n
i
n
i
t x
A +
|
|
.
|

\
|
c
c A

A
+
=
|
|
.
|

\
|
c
c
+
(3)
Con (2) y (3) en (1) obtenemos

(4)
|
.
|

\
|
A
A
=
2
x
t
s o
Trmino principal del
error
Expresin discreta
8
Mtodos Explcitos: FTCS

obtenemos de (4)

(6)
Este esquema se denomina FTCS (Forward Time Centred
Space).
n
j
n
j
n
j
n
j
sT T s sT T
1 1
1
) 2 1 (
+
+
+ + =
n
n+1
j-1 j+1 j
Este esquema es de dos niveles (n, n+1). En consecuencia, los
valores de T del nivel n deben ser almacenados para poder
calcular los valores en el nivel n+1.
9
Ecuacin de Difusin y problema base
Formulacin del mtodo explcito FTCS
Anlisis de estabilidad FTCS
Precisin FTCS
Anlisis de errores
Esquema de DuFort-Frankel
Aplicacin
10
Estabilidad FTCS

Hagamos un anlisis de estabilidad de von Neumann.

Analicemos el crecimiento de una perturbacin. Para ello
consideremos que podemos escribir la solucin aproximada
aadindole un error espontneo de manera que la solucin
a (6) incluya ahora el error en cada nodo j en el tiempo t

( )
n
j n j
n
j
T t x T e - , = (7)
Tendremos entonces
( ) ( ) ( )( ) ( )
n
j
n
j
n
j
n
j
n
j
n
j
n
j
n
j
e T s e T s e T s e T
1 1 1 1
1 1
2 1
+ +
+ +
+ + + + + = + (8)
Obteniendo al restarle a (8) la ec. (6)
( )
n
j
n
j
n
j
n
j
se e s se e
1 1
1
2 1
+
+
+ + = (9)
Luego, la ecuacin discretizada de la perturbacin es la
misma que la de la Temperatura.
11
Estabilidad FTCS
Consideremos que el error se expresa en trminos de los
componentes de Fourier de esa funcin y de un factor de
amplificacin en el tiempo. Luego podemos escribir
donde G se interpreta como el factor de amplificacin en el
tiempo para esa componente de Fourier. Tendremos que la
relacin
(11)
(10)
( ) ) exp( j i G e
n
n
j
u =
G
j i G
j i G
e
e
n
n
n
j
n
j
= =
+
+
) exp(
) exp(
1
1
u
u
Luego, si |G|>1 entonces la perturbacin crecer en el tiempo
mientras que |G|s1 implica que sta se atenuar. En consecuencia,
|G| nos permitir determinar bajo que condiciones el esquema
propuesto es estable.
12
Sustituyendo (10) en (9) tendremos
(12)
( ) | | ( ) ( ) | |
( ) | | 1 exp
exp 2 1 1 exp ) exp(
1
+ +
+ + =
+
j i sG
j i G s j i sG j i G
n
n n n
u
u u u
Estabilidad FTCS
Despejando G de (12) llegamos a
Simplificando
( ) ) exp( 2 1 ) exp( u u i s s i s G + + =
( ) | | ( ) ( ) | | ( ) | | 1 exp exp 2 1 1 exp ) exp( + + + = j i s j i s j i s j i G u u u u
13
Luego,
( ) ( ) ( ) u u u u isin s s isin s G + + + = cos 2 1 cos
( ) u u cos 1 2 1 cos 2 2 1 = + = s s s G
Utilizando que
2
cos 1
2
2
u u
= sin
Estabilidad FTCS
Llegamos a
G es el factor de amplificacin del error y su mdulo debe ser
menor a 1 para que el esquema sea estable.
2
4 1
2
u
ssin G = (13)
14
Imponiendo la condicin de estabilidad tendremos que
Luego, para todo u
Estando la funcin
(14)
1
2
4 1 1
2
s s
u
ssin G
1
2
4 1 1
2
s s
u
ssin
1
2
0
2
s s
u
sin
Estabilidad FTCS
Llegamos a que, para verificar (14) para todo u necesitamos
que
(15)
2
1
s s
Condicin de estabilidad para el esquema FTCS
15
Ecuacin de Difusin y problema base
Formulacin del mtodo explcito FTCS
Anlisis de estabilidad FTCS
Precisin FTCS
Anlisis de errores
Esquema de DuFort-Frankel
Aplicacin
16
Analicemos el trmino principal del error
entonces
Precisin FTCS
( )
4 2
,
4
4 2
,
2
2
,
12 2
x t O
x
T x
t
T t
E
t x t x
A A +
(
(

|
|
.
|

\
|
c
c A

|
|
.
|

\
|
c
c A
= o
Puesto que
2
2
x
T
t
T
c
c
=
c
c
o
|
|
.
|

\
|
c
c
c
c
=
|
.
|

\
|
c
c
c
c
=
|
|
.
|

\
|
c
c
c
c
=
|
.
|

\
|
c
c
c
c
=
c
c
2
2
2
2
2
2
2
2
2
2
x
T
x t
T
x x
T
t t
T
t t
T
o o o o
4
4
2
2
2
x
T
t
T
c
c
=
c
c
o
(16)
(17)
17
Con (17) en (16) llegamos a:
Precisin FTCS
( )
( )
( )
( )
4 2
,
4
4
2
4 2
,
4
4
2
2
4 2
,
4
4 2
,
4
4
2
4 2
,
4
4 2
,
2
2
,
6
1
2
1
,
6
1
2
1
,
12 2
,
12 2
x t O
x
T
s x E
x t O
x
T
x
t
x E
x t O
x
T x
x
T t
E
x t O
x
T x
t
T t
E
t x
t x
t x t x
t x t x
A A +
|
|
.
|

\
|
c
c
(

A =
A A +
|
|
.
|

\
|
c
c
(


A
A
A =
A A +
(
(

|
|
.
|

\
|
c
c A

|
|
.
|

\
|
c
c A
=
A A +
(
(

|
|
.
|

\
|
c
c A

|
|
.
|

\
|
c
c A
=
o
o
o
o o
o
(16)
En consecuencia, para s=1/6 el trmino dominante del error,
de orden (t,x
2
) se anula y el esquema es preciso en orden
(t
2
,x
4
)
18
Ecuacin de Difusin y problema base
Formulacin del mtodo explcito FTCS
Anlisis de estabilidad FTCS
Precisin FTCS
Anlisis de errores
Esquema de DuFort-Frankel
Aplicacin
19
Anlisis del Error

2
2
x
T
t
T
c
c
=
c
c
o
Consideremos la solucin numrica de la ecuacin de
difusin del calor 1D

utilizando el esquema FTCS, en la situacin siguiente:
aislante

aislante

A

B

100 =
A
T 100 =
B
T
| | 1 , 0 , 0 ) 0 , ( e = x x T
cuya solucin analtica es:
01 . 0 = o
( )
( ) | |
( )
)
`

=

1
1 2
0
2 2
1 2 sin
1 2
1 4
1
m
t m
e x m
m
T T
t o
t
t
20
Anlisis del Error

25 . 0
01 . 0
1 . 0
25 . 0
2 2
= =
A
= A
o
x
s t
Utilicemos s=0.25 y 11 nodos. Entonces tendremos que t
viene dado por:

Los resultados para t=0,1,2,10 se ilustran en la grfica
siguiente:
0 0.2 0.4 0.6 0.8 1
0
10
20
30
40
50
60
70
80
90
100
x
T


T FTCS
T exacta
A primera impresin, una
excelente concordancia
entre la solucin
numrica (azul) y la
exacta (verde) se aprecia
en la figura.
21
Anlisis del Error

( )
0.0826
1
2
=

=

=
nx
T T
RMS
nx
j
j
num exacta
El error RMS en t=10 es dado por:

En el caso anterior, la contradiccin entre la condicin inicial
(T=0) en todas partes, y la condicin de borde fue ignorada.
Con la finalidad de darle peso a ambas condiciones,
supongamos que en t=0 hacemos:
( )
0.046
1
=

=

=
nx
T T
RMS
nx
j
j
num exacta
0 5
2
0
0
1 0
=
+
= =
= =
T
T T
x x
Repitiendo el clculo anterior obtenemos:
0 0.2 0.4 0.6 0.8 1
0
10
20
30
40
50
60
70
80
90
100
x
T


T FTCS
T exacta
22
Anlisis del Error

El error RMS se reduce sustancialmente. En consecuencia la
imposicin ms real de la condicin de borde permite
obtener resultados ms precisos.
Analicemos el efecto de la condicin inicial en la tasa de
convergencia. Para ello, manteniendo el valor de s constante,
consideremos tres mallas, variando la cantidad de nodos en
direccin x, de manera que el espaciamiento se reduzca a la
mitad de manera sucesiva. Tendremos,


2 ~ r
3 . 2 ~ r
Cond. Borde
promedio presenta:
Mayor precisin
Mayor tasa de
convergencia


23
Anlisis del Error

Examinemos el caso s=1/6 para el cual la precisin esperada
es de orden x
4



2 ~ r
9 . 3 ~ r
nicamente la Cond.
Borde promedio
presenta:
Precisin de orden
4
El error cometido al
degradar la condicin
de borde se propaga y
perturba toda la
solucin en el tiempo

24
Ecuacin de Difusin y problema base
Formulacin del mtodo explcito FTCS
Anlisis de estabilidad FTCS
Precisin FTCS
Anlisis de errores
Esquema de DuFort-Frankel
Aplicacin
25
Ec. de Dif. 1D: Esquema de DuFort-Frankel

La bsqueda de esquemas ms precisos en el tiempo llev a
Richardson a plantear el esquema:


( )
2 2
2
1 1
1 1
,
2
2
x t O
x
T T T
t
T T
n
j
n
j
n
j
n
j
n
j
A A +
A
+
=
A

+
+
o
No obstante, un anlisis de estabilidad de von Neumman
muestra que este esquema es incondicionalmente inestable
para s>0.
Sin embargo, un esquema estable, conocido como DuFort-
Frankel puede ser obtenido si se sustituye


2
1 1 +
+
=
n
j
n
j n
j
T T
T
(17)
(18)
en (17) para obtener
( )
2
1
1 1
1
1 1
2 x
T T T T
t
T T
n
j
n
j
n
j
n
j
n
j
n
j
A
+ +
=
A

+
+

+
o
26
Ec. de Dif. 1D: Esquema de DuFort-Frankel

Esta expresin, con la definicin de s puede ser escrita como:


(19)
El esquema Dufort-Frankel es un esquema de tres niveles en
el tiempo a menos que s=1/2.
( )
1
1 1
1
2 1
2 1
2 1
2

+
+
|
.
|

\
|
+

+ +
|
.
|

\
|
+
=
n
j
n
j
n
j
n
j
T
s
s
T T
s
s
T
n
n+1
j-1 j+1 j
n-1
En consecuencia,
(a) dos niveles de tiempo deben ser almacenados (n, n-1) para
calcular el nivel siguiente (n+1) y,
(b) mucho cuidado debe tenerse en el clculo del primer nivel.
27
Ec. de Dif. 1D: Esquema de DuFort-Frankel

Un anlisis de estabilidad muestra que en el caso del esquema
de DuFort-Frankel, el factor de amplificacin del error es:





( )
s
s s
G
2 1
sin 4 1 cos 2
2 2
+
+
=
u u
En consecuencia, este esquema es estable para cualquier valor
de s.
Adicionalmente, el trmino principal del error se escribe
como:

(20)
(21)
Por lo que el esquema es de orden x
4
cuando s=(1/12)
1/2
.
4
4
2 2
12
1
x
T
s x E
c
c
|
.
|

\
|
A = o
28
Ec. de Dif. 1D: Esquema de DuFort-Frankel

A pesar de las bondades del esquema de DuFort-Frankel
(explcito, independencia del valor de At, alta precisin
espacial), debe tenerse cuidado en su utilizacin.
Un anlisis de consistencia (sustitucin de la expansin de la
solucin exacta en serie de Taylor alrededor del nodo j,n lleva
a:






En consecuencia, para consistencia del esquema con la
ecuacin diferencial
(22)
( ) 0 ,
2 2
2
2
2
2
2
= A A +
(
(

c
c
|
.
|

\
|
A
A
+
c
c

c
c
x t O
t
T
x
t
x
T
t
T
n
j
o o
0
A
A
x
t
cuando Ax 0 y At 0, debemos garantizar que
x t A << A
29
Ec. de Dif. 1D: Esquema de DuFort-Frankel

De la definicin de s podemos ver que:






En problemas de difusin esperamos que s sea O(1) por lo
que el esquema ser poco preciso si sAt es grande.
Luego la restriccin en el paso de tiempo del esquema de
DuFort-Frankel est relacionada mas con la consistencia y
precisin que con la estabilidad del esquema.
(23)
t s
x
t
t x
t
x
t
s
A =
A
A
A
|
|
.
|

\
|
A
A
=
|
.
|

\
|
A
A
=
2
2
2
2
2
1
o
o o
30
Ecuacin de Difusin y problema base
Formulacin del mtodo explcito FTCS
Anlisis de estabilidad FTCS
Precisin FTCS
Anlisis de errores
Esquema de DuFort-Frankel
Aplicacin
31
Aplicaciones
Ejercicio 1:
Obtenga las tendencias de los resultados mostrados para el
esquema FTCS con s=0.30 y 0.41.
Usted utilizar estos resultados para compararlos con los
obtenidos en el ejercicio 2.

32
Aplicaciones
Ejercicio 2:
Realice el anlisis de la tasa de convergencia del esquema de
DuFort-Frankel considerando la ecuacin de difusin del calor
para una barra 1D, con temperatura T=100 en los bordes, entre
los instantes t=2 y t=10, imponiendo la condicin inicial a partir
de la solucin analtica :



Grafique el error RMS y DIF en funcin del tiempo con
s=0.25, s=(1/12)
1/2
, s=0.30 y s=0.41 y compare con FTCS.



Estudie el efecto de incrementar el paso de tiempo para una
malla con espaciamiento espacial fijo.




( )
( ) | |
( )
)
`

=

1
1 2
0
2 2
1 2 sin
1 2
1 4
1
m
t m
e x m
m
T T
t o
t
t
( )
nx
T T
DIF
nx
j
j
n n

=
+

=
1
2
1
33
Aplicaciones
Ejercicio 3:
Consideremos el flujo que se origina por la oscilacin
armnica de una placa infinita paralelamente al plano que la
contiene, con las condiciones




Las ecuaciones de Navier-Stokes se reducen a



La solucin analtica viene dada por:




x
y
) cos( ) , 0 ( t U t u e =
2
2
y
u
t
u
c
c
=
c
c
v
finita t y u = ) , (
|
|
.
|

\
|
=

y t Ue t y u
y
n
v
e
e
v
2
cos ) , (
2
34
Aplicaciones
Ejercicio 3:
Resuelva numricamente este problema utilizando el esquema
FTCS, considerando los siguientes valores:
U=1; v= 10; e=1; t=0.003; y=0.4; t
max
=20;
a) Determine la influencia de la ubicacin de la frontera y=
en el error RMS para t=1
b) Calcule t a partir de la condicin de estabilidad y
determine el valor RMS del error para t=1 para s=0.25 y
s=(1/12)
1/2
c) Grafique el valor del error del esfuerzo cortante en la
pared (suponga =1) para tres mallas distintas con
y=0.4; 0.8 y 1.6.






35
DINAMICA DE FLUIDOS
COMPUTACIONAL
Ecuacin de Difusin 1D
Diferencias Finitas
Sesin 1
Armando Blanco A.

Anda mungkin juga menyukai