Você está na página 1de 31

Indice general

6. Metodo de diferencias finitas: Estudio de la estabilidad de los esquemas 3


6.1. Metodos para problemas no estacionarios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
6.1.1. Esquemas de integracion temporal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
6.1.2. Metodos Predictor/Corrector: primer intento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
6.1.3. Metodos de integracion de Adams - Bashforth/Moulton . . . . . . . . . . . . . . . . . . . . . . . . 7
6.2. Estabilidad de von Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
6.2.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
6.2.2. Propagacion de una perturbacion en el esquema . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
6.3. Ecuacion de difusion 1D: esquema explicito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
6.4. Ecuacion de difusion 1D: esquema implcito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
6.4.1. Estudio de la estabilidad del esquema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
6.4.2. Comentarios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
6.5. Conveccion 1D: esquema de Lax-Friedrichs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
6.6. Conveccion 1D: esquema adelantado o centrado en espacio, Euler explicito . . . . . . . . . . . . . . . . . 23
6.7. Conveccion 1D: Upwind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
6.7.1. Estudio de la estabilidad del esquema upwind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
6.7.2. Estudio de la difusion numerica del esquema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
6.8. Conveccion 1D: Centrado en espacio, Euler implicito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
6.8.1. Demostracion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
6.9. Conveccion 1D, esquema centrado en t y x de Leap-Frog . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

1
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.9.1. Demostracion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

Dinamica de fluidos computacional - IPM468 INDICE GENERAL 22 de septiembre de 2017


Page 2/31
Captulo 6

Metodo de diferencias finitas: Estudio de


la estabilidad de los esquemas
6.1. Metodos para problemas no estacionarios
6.1.1. Esquemas de integracion temporal
Integramos la ecuacion diferencial ordinaria siguiente:
(
d(t)
dt = f (t, (t))
(t = 0) = 0

Ztn+1 Ztn+1
d(t)
dt = f (t, (t))dt
dt
tn tn
= (tn+1 ) (tn ) = n+1 n

La manera de calcular la integracion de f (valor de f en tn , tn+ 21 , tn+1 , ...) distingue los esquemas.

3
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

1. Euler explicito (calculo de la integral de f con el valor de f en la lmite inferior)

n+1 = n + t f (tn , (tn )) (6.1)

2. Euler implcito (calculo de la integral de f con el valor de f en la lmite superior)

n+1 = n + t f (tn+1 , (tn+1 )) (6.2)

3. Leapfrog (calculo de la integral de f con el valor de f en el medio de los lmites)


 
n+1 n
= + t f tn+ 21 , (tn+ 21 ) (6.3)

4. Crank-Nicolson (metodo de integracion de trapecios)


t
n+1 = n + [f (tn , (tn )) + f (tn+1 , (tn+1 ))] (6.4)
2

Dinamica de fluidos computacional


6.1. METODOS
- IPM468 PARA PROBLEMAS NO ESTACIONARIOS 22 de septiembre de 2017
Page 4/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

Esquema temporal Estabilidad Precision de orden


f (t,)
Euler explicito 1 + t < 1 1

Euler implicito incondicional 1


Leapfrog incondicional 2
Crank-Nicolson incondicional 2

Estos modelos son esquemas a dos puntos (tn y tn+1 ). Poseen como maximo un orden 2. Se llaman two level
schemes.

El orden del esquema determina la velocidad a la cual el error tiende a 0 cuando t 0. Entonces no es suficiente
para describir la precision.

Esquema explicito: facil a programar, rapido en tiempo de calculo pero inestable para un gran t.

Esquema implicito: mas difcil a programar, mas lento (inversion de matriz) pero mucho mas estable (cualquier
t).

Metodo con las ventajas del explicito y del implicito ?

6.1. METODOS PARA PROBLEMAS NO ESTACIONARIOS 22 de septiembre de 2017


Page 5/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.1.2. Metodos Predictor/Corrector: primer intento


Metodo a dos pasos:

Prediccion con un esquema de Euler explicito

Correccion con un esquema implcito de Crank-Nicolson

n+1 = n + t f (tn , n )
t 
n+1 = n + f (tn , n ) + f tn+1 , n+1

2
n+1 se llama predictor.

Esquema de orden 2 pero estable como un esquema explicito.

Necesidad de utilizar mas puntos ...

Dinamica de fluidos computacional


6.1. METODOS
- IPM468 PARA PROBLEMAS NO ESTACIONARIOS 22 de septiembre de 2017
Page 6/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.1.3. Metodos de integracion de Adams - Bashforth/Moulton


Permiten crear un esquema de orden querido.

6.1.3.1. Esquemas explcitos de Adams-Bashforth


Los metodos de Adams-Bashforth consisten a aproximar f (t, y(t)) por un polinomio de interpolacion p(t) que pasa
por f (yk , tk ), f (yk1 , tk1 ), . . . , f (ykr , tkr ). Se puede ver el metodo de esta manera

Orden Esquema
1 Euler explicito
t
n+1 n
 n n1

2 = + 2 3f (tn , ) f tn1 ,
n+1 = n + t
 n n1
 n2

3 12 23f (tn , ) 16f t n1 , + 5f t n2 ,

6.1. METODOS PARA PROBLEMAS NO ESTACIONARIOS 22 de septiembre de 2017


Page 7/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.1.3.2. Esquemas implcitos de Adams-Moulton


Los metodos de Adams-Moulton consisten a aproximar f (t, y(t)) por un polinomio de interpolacion p(t) que pasa por
f (yk+1 , tk+1 ), f (yk , tk ), . . . , f (ykr , tkr ). Se puede ver el metodo de esta manera

Orden Esquema
1 Euler implicito
2 Crank-Nicolson
t
  
3 n+1 = n + 12 5f t n+1 , n+1
+ 8f (tn , n
) 5f tn1 , n1

Dinamica de fluidos computacional


6.1. METODOS
- IPM468 PARA PROBLEMAS NO ESTACIONARIOS 22 de septiembre de 2017
Page 8/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.1.3.3. Comentarios
Astucia

Se puede utilizar un Adams-Bashforth para predecir y un Adams-Moulton para corregir, para obtener un
metodo del orden deseado.

Son metodos con varios puntos en tiempo !

6.1. METODOS PARA PROBLEMAS NO ESTACIONARIOS 22 de septiembre de 2017


Page 9/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

Ventajas de estos metodos

Eleccion del orden deseado.


Facil a programar.
Una unica evaluacion de la derivada temporal.

Desventajas de estos metodos

Falta conocer varios pasos de tiempo para inicializar (tn1 , tn2 , tn3 , ...). Es necesario utilizar un metodo mas
simple para calcular los pasos que faltan.
Pueden producir soluciones no fsicas porque se anaden los errores de todos los pasos de tiempo necesarios.

Dinamica de fluidos computacional


6.1. METODOS
- IPM468 PARA PROBLEMAS NO ESTACIONARIOS 22 de septiembre de 2017
Page 10/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.2. Estabilidad de von Neumann


6.2.1. Introduccion
El analisis de estabilidad de von Neumann es un metodo que permite verificar la estabilidad numerico de los esquemas
usando el metodo de diferencias finitas para las EDP. Esta analisis es basada sobre la descomposicion del error numerico
en serie de Fourier.

La estabilidad de un esquema numerico es relacionado al error numerico.

Un esquema de diferencias finitas es dicho estable si los errores generadas a un paso de tiempo no crecen en
el tiempo (es decir con las iteraciones).

6.2. ESTABILIDAD DE VON NEUMANN 22 de septiembre de 2017


Page 11/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.2.2. Propagacion de una perturbacion en el esquema


Consideramos una funcion f (x, y, t):
f (x, y, t) = f(t)eikx eipy (6.5)
es decir:
n
f (xi , yj , tn ) = fi,j = fi,j
n ikxi ipyj
e e (6.6)
y tenemos la relacion de recurrencia siguiente:
fn+1 = Afn (6.7)

Si A > 1 tenemos inestabilidad: la amplitud crece


Si A < 1 tenemos estabilidad: la amplitud decrece


Si A = 1 intacta

Formulas utiles:

eix = cos(x) + i sin(x)


eix + eix
cos(x) =
2
e eix
ix
sin(x) =
2i
kh
cos(kh) 1 = 2 sin2 ( )
2

Dinamica de fluidos computacional - IPM468


6.2. ESTABILIDAD DE VON NEUMANN 22 de septiembre de 2017
Page 12/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

En esta clase, vamos a estudiar sucesivamente la estabilidad de los esquemas siguientes:

Ecuacion de difusion 1D con un esquema Euler explicito

Ecuacion de difusion 1D con un esquema Euler implicito

Ecuacion de conveccion 1D con un esquema de Lax

Ecuacion de conveccion 1D con un esquema Euler explicito, forward en espacio.

Ecuacion de conveccion 1D con un esquema Euler explicito, backward en espacio.

Ecuacion de conveccion 1D con un esquema Euler explicito, centrado en espacio.

Ecuacion de conveccion 1D con un esquema centrado en tiempo y en centrado en espacio (Leep-Frog).

6.2. ESTABILIDAD DE VON NEUMANN 22 de septiembre de 2017


Page 13/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.3. Ecuacion de difusion 1D: esquema explicito


La ecuacion continua de difusion 1D de la variable U sobre un intervalo L se escribe:
U 2U
=D 2 (6.8)
t x
tenemos unj la solucion discreta que aproxima la solucion analtica de la EDP sobre los puntos de la malla:
un+1
j unj unj+1 2unj + unj1
D (6.9)
t x2
es un esquema o(t, x2 )
Sea N la solucion continua teorica verifica exactamente la ecuacion continua:
N 2N
=D 2 (6.10)
t x
El error de redondeo nj = Njn unj , diferencia entre la solucion numerica Njn y la solucion de la ecuacion discreta unj ,
tiene que verificar tambien la EDP.
Njn+1 Njn n
Nj+1 2Njn + Nj1 n
=D
t x2
n+1 n
(u + )j (u + )j (u + )nj+1 2(u + )nj + (u + )nj1
=D
t x2
un+1
j unj unj+1 2unj + unj1
=D
t x2
n+1
j nj nj+1 2nj + nj1
=D
t x2

Dt n
n+1 = nj + n n

 2 +  (6.11)
j
x2 j+1 j j1

Dinamica de fluidos computacional


6.3. ECUACI
- IPM468
ON DE DIFUSION 1D: ESQUEMA EXPLICITO 22 de septiembre de 2017
Page 14/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

Dt n
n+1 = nj + n n

j j+1 2j + j1 (6.12)
x2
Para esta EDP con condiciones periodicas, la variacion espacial del error puede ser descompuesta en una serie de Fourier
sobre el intervalo L:
XM
(x) = Am (t)eikm x (6.13)
m=1
m L
donde km = L con m = 1, 2 . . . , M = x

La dependencia del tiempo es incluida, suponiendo que el amplitud del error Am es una funcion del tiempo.

Como sabemos que el error tiende a crecer o a decrecer, es razonable suponer que la amplitud varia exponencialmente
con el tiempo:
M
X M
X
ikm x
(x) = Am (t)e = eat eikm x (6.14)
m=1 m=1
donde a es una constante.

Las caractersticas de estabilidad pueden ser estudiadas usando esta forma del error, sin perdida de
generalidad.
' $
OJO: no mezclar este error de consistencia del esquema con el error de truncatura
Que se nota a veces de la misma manera:

un+1
j unj unj+1 2unj + unj1 u 2u
nj = D 2
(xj , t ) + D 2 (xj , tn )
n
(6.15)
t x t x
El esquema es consistente si:
lm nj = 0 (6.16)
t,x70
& %

6.3. ECUACION DE DIFUSION 1D: ESQUEMA EXPLICITO 22 de septiembre de 2017


Page 15/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

Para encontrar la variacion del error en funcion del tiempo, debemos substituir la relacion:
M
X
(x) = eat eikm x (6.17)
m=1

en la ecuacion:
Dt n
n+1 = nj + n n

 2 +  (6.18)
j
x2 j+1 j j1

Como la ecuacion de las diferencias del error es lineal, es suficiente considerar el crecimiento del error por un termino
elegido:
m (x) = eat eikm x (6.19)
sea:

n+1 a(t+t) ikm x
j = e
e
m (x, t) = eat eikm x nj+1 = eat eikm (x+x)
n = eat eikm (xx)

j1

Puedes haber reemplazado, tenemos:

Dt  ikm x ikm x
eat = 1 +

e + e 2 (6.20)
x2
Usando las relaciones:
eikm x + eikm x
 
2 km x 1 cos(km x)
cos(km x) = sin = (6.21)
2 2 2
Tenemos:  
at 4t 2 km x
e =1 sin (6.22)
x2 2

Dinamica de fluidos computacional


6.3. ECUACI
- IPM468
ON DE DIFUSION 1D: ESQUEMA EXPLICITO 22 de septiembre de 2017
Page 16/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

Se define el factor de expansion G:


n+1
j ea(t+t) eikm x
G= n = at ik x
= eat (6.23)
j e e m

La condicion necesaria y suficiente para que el error no crece es decir para que el esquema sea estable: |G| 1

Comentarios:

G = eat
= |g| ei
|{z}
|{z}
error de amplitud error de fase

El argumento de G se define como:  


=(G)
= arctan (6.24)
<(G)
Si G = 1, amplitud constante (no hay disipacion).

Si = 0, desfase nulo (no hay dispersion).

6.3. ECUACION DE DIFUSION 1D: ESQUEMA EXPLICITO 22 de septiembre de 2017


Page 17/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

Finalmente tenemos el factor de expansion G:

n+1
j ea(t+t) eikm x 4Dt 2 km x
G= n = at ik x
= eat = 1 sin ( ) (6.25)
j e e m x2 2
El esquema es estable si:
4Dt 2 mk x km x
sin2 (

1 sin ( ) 1 ) (6.26)
x2 2 2

1. La desigualdad
4Dt 2 km x
1 sin ( )1 (6.27)
x2 2
se verifica siempre.

2. La desigualdad
4Dt 2 km x
1 1 sin ( ) (6.28)
x2 2
da que

Dt 1
(6.29)
x2 2
Entonces encontramos un criterio de estabilidad: el Numero de Fourier

Dt 1
(6.30)
x2 2

Dinamica de fluidos computacional


6.3. ECUACI
- IPM468
ON DE DIFUSION 1D: ESQUEMA EXPLICITO 22 de septiembre de 2017
Page 18/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.4. Ecuacion de difusion 1D: esquema implcito

u 2u un+1
j unj D  n+1 n+1 n+1

=D 2 = uj+1 2uj + uj1 (6.31)
t x t x2
es un esquema o(t, x2 )

6.4.1. Estudio de la estabilidad del esquema


Vemos ahora como se propaga el error (perturbacion) de forma  = eat eikx :

Dt  n+1
un+1 n+1 n+1 n

j 2
u j+1 2u j + uj1 =uj
x
a(t+t) ikx Dt a(t+t) ik(x+x)
h
a(t+t) ikx a(t+t) ik(xx)
i
e e e e 2e e +e e =eat eikx
x2  
at Dt ikx ikx

e 1 e 2+e =1
x2
 
Dt
eat 1 (2 cos(kx) 2) =1
x2
 
4Dt 2 kx
eat 1+ sin ( ) =1 (6.32)
x2 2
La condicion necesaria y suficiente para que el error no crece es decir para que el esquema sea estable, |G| 1:

at 1
|G| = e = 1 (6.33)

4Dt 2 kx
1 + x2 sin ( 2 )
Esta condicion se verifica siempre, el esquema presenta una estabilidad incondicional.

6.4. ECUACION DE DIFUSION 1D: ESQUEMA IMPLICITO 22 de septiembre de 2017


Page 19/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.4.2. Comentarios
Estable no implica preciso ! Aqu, de orden 1 en t.
Dt
A comparar con la estabilidad condicional del esquema explicito x2 1/2

Dinamica de fluidos computacional


6.4. ECUACI
- IPM468
ON DE DIFUSION 1D: ESQUEMA IMPLICITO 22 de septiembre de 2017
Page 20/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.5. Conveccion 1D: esquema de Lax-Friedrichs


El esquema de Lax-Friedrichs permite la solucion de ecuaciones hiperbolicas en derivadas parciales basado en las
diferencias finitas.

El esquema es descentrada en tiempo (orden 1) y centrada en espacio (orden 2).

Es un esquema explicito y condicionalmente estable.

Consideremos la ecuacion de adveccion (EDP hiperbolica lineal y unidimensional) para u(x, t):

u u
+c =0 (6.34)
t x
donde c > 0.
El esquema de Lax-Friedrichs para resolver la EDP esta dado por:

un +unj1
un+1
j j+1 2 unj+1 unj1
+c =0 (6.35)
t 2x

1 n unj+1 unj1
un+1
j
n
= (uj+1 + uj1 ) ct (6.36)
2 2x
El estudio de la estabilidad conduce a
ct
eat = cos(kx) i sin(kx)
r x
2 2
e = = cos2 (kx) + c t sin2 (kx) 1
at p ?

x2
2 2
 
at 2 c t
e = 1 1
2
sin2 (kx) 1 (6.37)
x
6.5. CONVECCION 1D: ESQUEMA DE LAX-FRIEDRICHS 22 de septiembre de 2017
Page 21/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

El esquema es estable si el numero de Courant-Friedrichs-Lewy, dicho numero CFL:

ct
1 (6.38)
x

El paso de tiempo t debe ser inferior al tiempo que pone la onda (a la velocidad c) para cruzar el espacio x.

O de manera equivalente: el paso de espacio debe ser superior a la distancia de desplazamiento de la onda durante
el paso de tiempo.

En el caso contrario el metodo es inestable

El criterio CFL traduce que algunos puntos que interviene en el esquema deben ser a fuera del cono de luz, para
dejar el tiempo a la onda de se propagar.

Dinamica de fluidos computacional


6.5. CONVECCI
- IPM468 ON 1D: ESQUEMA DE LAX-FRIEDRICHS 22 de septiembre de 2017
Page 22/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.6. Conveccion 1D: esquema adelantado o centrado en espacio, Euler


explicito
Sea la ecuacion:
u u
+c =0 (6.39)
t x
Con un esquema descentrado (forward) en tiempo y en espacio (o(t, x))

un+1
j unj unj+1 unj
+c =0 (6.40)
t x

Con un esquema centrado en espacio FTCS (Forward-Time Central-Space) o(t, x2 )

un+1
j unj unj+1 unj1
+c =0 (6.41)
t 2x
Este 2 esquemas son incondicionalmente inestables si c > 0. Eso se verifica por el estudio de la estabilidad de von
Neumann.

Estos esquemas no pueden ser usados, no son utiles.

Por eso se usa los esquemas backward en espacio y Euler explicito en tiempo llamado esquema Upwind:

un+1
j unj unj unj1
+c = 0 for c > 0 (6.42)
t x
un+1
j unj unj+1 unj
+c = 0 for c < 0 (6.43)
t x

6.6. CONVECCION 1D: ESQUEMA ADELANTADO O CENTRADO EN ESPACIO, EULER


22 de septiembre
EXPLICITO de 2017
Page 23/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.7. Conveccion 1D: Upwind

Consideramos un esquema backward en espacio y Euler explicito en tiempo. Este esquema de orden 1, es el mas
simple esquema upwind.

u u un+1
j unj unj unj1
+c = 0 = +c =0 (6.44)
t x t x

donde c > 0.

El error del esquema es o(t, x)

ct n
un+1 uj unj1 + unj

j = (6.45)
x

6.7.1. Estudio de la estabilidad del esquema upwind

Vemos ahora como se propaga el error (perturbacion) de forma  = eat eikx :

 
ct at ikx ct at ik(xx)
ea(t+t) eikx = 1 e e + e e
x x
ct ct ikx
eat =1 + e
x x

Dinamica de fluidos computacional - IPM468


6.7. CONVECCION 1D: UPWIND 22 de septiembre de 2017
Page 24/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

ct ct ct
eat = 1 + cos(kx) i sin(kx)
s x x x
2  2
at ct ct ct
e = 1 + cos(kx) + sin(kx)
x x x
s 2  
ct ct ct c2 t2
= 1 +2 1 cos(kx) +
x x x x2
s 2
ct
x 1
 
ct ct ct c2 t2
1 +2 1 +
x x x x2
ct
r
x 1 ct c2 t2 ct c2 t2 c2 t2
12 + + 2 2 +
x x2 x x2 x2
ct
Entonces, si x 1, tenemos:
at ct 1
e x 1 (6.46)
Lo que queremos ! As, el esquema es estable si
ct
0< 1 (6.47)
x

Estudiamos una propiedad muy importante de este esquema, la difusion numerica.

6.7. CONVECCION 1D: UPWIND 22 de septiembre de 2017


Page 25/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.7.2. Estudio de la difusion numerica del esquema


En general las ecuaciones hiperbolicas generan poca disipacion. Sin embargo, el esquema numerico puede inducir:

de la disipacion artificial (perdida de la amplitud de la onda).

de la dispersion artificial (la velocidad de propagacion de la onda puede ser modificada)

Calculamos el error de truncatura ET usando un desarrollo de Taylor para un+1


j y unj1 (no es necesario tocar unj ):
" #
n+1 n n n
u u u u
 
u u j j j j1
+c +c = ET (6.48)
t x t x

es decir
t 2 u x 2 u t2 3 u x2 3 u
ET = +c + ... (6.49)
2 t2 2 x2 6 t3 6 x3

t 2 u x 2 u t2 3 u x2 3 u
ET = +c + ... (6.50)
2 t2 2 x2 6 t3 6 x3
Eliminamos las derivadas temporales. Por ejemplo:

2u u u u 2
2 u
= = (c ) = c =c (6.51)
t2 t t t x x t x2

c2 t 2 u cx 2 u c3 t2 3 u cx2 3 u
ET = + + + ... (6.52)
2 x2 2 x2 6 x3 6 x3
ct 2 u 3u
 
cx 2
ET = 1 +cx (. . .) 3 (6.53)
2 x x2 x
| {z }
difusion numerica

Dinamica de fluidos computacional - IPM468


6.7. CONVECCION 1D: UPWIND 22 de septiembre de 2017
Page 26/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

ct
6.7.2.1. Si 6= 1
x
ct 2
Si 6= 1 tenemos un termino en xu2 en ET . Este termino es similar al termino viscoso de Navier-Stokes.
x
Actua como una VISCOSIDAD ARTIFICIAL!, tenemos de la disipacion (Ver Figura 6.1)

Figura 6.1: Dispersion y disipacion

ct
6.7.2.2. Si =1
x
2u ct 3u
Si no tenemos un termino en x2 = 1. El termino principal de ET es
es decir si x3 se observa un fenomeno de
x
dispersion (Ver Figura 6.1) que por ejemplo cambia la relacion de fase entre las ondas.

6.7.2.3. Comentarios generales


De un punto general si el termino dominante en la ET contiene una derivada:

par: se observa principalmente errores de disipacion. Es el caso en la mayora de esquemas de orden 1.

impar: se observa principalmente errores de dispersion (wiggles). Es el caso en la mayora de esquemas de orden 2

6.7. CONVECCION 1D: UPWIND 22 de septiembre de 2017


Page 27/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

El efecto combinado de la dispersion y de la disipacion es la difusion numerica.


ku
xk
y x tienen que tender a 0 ambos si no hay peligro !

La difusion numerica es un problema cuando queremos localizar de manera precisa la interfaz de un gas en contacto con
un lquido (superficie libre por ejemplo)

Dinamica de fluidos computacional - IPM468


6.7. CONVECCION 1D: UPWIND 22 de septiembre de 2017
Page 28/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.8. Conveccion 1D: Centrado en espacio, Euler implicito


Vimos en la seccion 6.7 que el esquema centrado en espacio y Euler explicito en tiempo estaba siempre inestable.
Estudiamos ahorra un esquema centrado en espacio y Euler implcito:

u u un+1
j unj un+1 n+1
j+1 uj1
+c = 0 = +c =0 (6.54)
t x t 2x
Este esquema, de orden a o(t, x2 ), es incondicionalmente estable.

6.8.1. Demostracion

ct n+1 ct n+1
uj+1 + un+1
j uj1 = unj
2x 2x
at ikx
e e + e eat eikx = 1
at

eat eikx eikx + 1 = 1


 

eat [2i sin(kx) + 1] = 1


1 1 2i sin(kx)
eat = =
1 + 2i sin(kx) 1 + 42 sin2 (kx)
s 2  2
at
e = 1 2 sin(kx)
+
1 + 42 sin2 (kx) 1 + 42 sin2 (kx)
s
1 + 42 sin2 (kx)
=  2
1 + 42 sin2 (kx)
1

6.8. CONVECCION 1D: CENTRADO EN ESPACIO, EULER IMPLICITO


22 de septiembre de 2017
Page 29/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

6.9. Conveccion 1D, esquema centrado en t y x de Leap-Frog


El esquema Leap-frog es de orden 2 en tiempo y en espacio: o(t2 , x2 ). Es un esquema explicito condicionalmente
estable.
u u un+1
j un1
j unj+1 unj1
+c = 0 = +c =0 (6.55)
t x 2t 2x

Porque Leep-Frog ... 3 tiempos: n-1, n, n+1 !

El esquema es estable si
ct
1 (6.56)
x

El error de truncatura: !
2
cx2 3u

ct
ET = 1 + ... (6.57)
6 x x3

Como el error de truncatura contiene solamente derivadas pares, el comportamiento del esquema es dispersivo,
no hay disipacion.

6.9.1. Demostracion

Dinamica de fluidos6.9.
computacional
CONVECCI-ON
IPM468
1D, ESQUEMA CENTRADO EN T Y X DE LEAP-FROG
22 de septiembre de 2017
Page 30/31
Universidad Tecnica Federico Santa Mara Departamento de Ingeniera Mecanica

Sea una perturbacion similar a una onda plana armonica : u = Aei(kjxnt) (P = Aei(kxt) )

un+1
j un1
j unj+1 unj1
+c =0
2t 2x
ei[kjx(n+1)t] ei[kjx(n1)t] ei[k(j+1)xnt] ei[k(j1)xnt]
+c =0
2t 2x
eit eit eikx eikx
+c =0
2t 2x
2i sin(t) 2i sin(kx)
+c =0
2t 2x
ct
sin(t) + sin(kx) = 0
x
ct
sin(t) = sin(kx)
x
|sin(t)| 1

ct ct
sin(kx)
x x
ct
1
x
ct
El esquema es estable si x 1.

6.9. CONVECCION 1D, ESQUEMA CENTRADO EN T Y X DE LEAP-FROG


22 de septiembre de 2017
Page 31/31