.

Diferencias Finitas (3)

Yarko Ni
no C. y Paulo Herrera R.
Departamento de Ingeniera Civil, Universidad de Chile

Semestre Primavera 2011

MODELACION NUMERICA CON APLICACIONES EN INGENIERIA HIDRAULICA Y AMBIENTAL

Errores, consistencia, estabilidad y convergencia

Calidad de una solucion numerica depende de los siguientes conceptos:
I

Error de truncaci
on: Se debe a las aproximaciones finitas de
las derivadas espaciales y temporales. Otra forma: expansion finita
de las series que aproximan esas derivadas o aproximacion discreta
de una funcion continua.

Error de redondeo: Se debe a la representacion finita de

n
umeros reales en computadores. Tambien afecta la evaluacion de
soluciones analticas.

Consistencia: Una aproximacion por DF es consistente si se

puede demostrar que aproxima la solucion real cuando x 0 y
t 0.

Estabilidad: Aplica a problemas transientes. Un algoritmo

numerico es estable si los errores de cualquier origen no crecen
desde un perodo transiente al siguiente.
2 / 15

Teorema de Equivalencia de Lax

Si un Problema de Valor Inicial es bien puesto y tiene una

aproximacion de diferencias finitas consistente, entonces la estabilidad
de la solucion es una condicion necesaria y suficiente para que la
soluci
on num
erica converja hacia la soluci
on real de la EDP.

NOTA: En general es mas simple demostrar la consistencia y

estabilidad de una aproximacion de DF que su convergencia.

3 / 15

Analisis de estabilidad
Consideremos la Ecuacion de Difusion:
2C
C
=D 2
t
x
La aproximacion de diferencias finitas de primer orden explcita es:
)
Cin+1 Cin
D ( n
n
n
=
C

2C
+
C
i+1
i
i1
t
(x)2
t
o, definiendo D = D (x)
2,

( n
)
n
Cin+1 = D Ci+1
2Cpn + Cp1

(1)

Debido al error de redondeo, la u

ltima ecuacion no se puede
resolver en forma exacta y el computador resuelve,
Cin+1 + n+1
=D
i

([

]
[
] [ n
])
n
Ci+1
+ ni+1 2 Cpn + ni + Cp1
+ ni1

(2)
4 / 15

Analisis de von Neumann

Sustrayendo ecuacion (1) de ecuacion (2),
(
)
n+1
= D ni+1 2ni + ni1
i

(3)

Entonces, error de redondeo i satisface la misma ecuacion que la

varible hi .
Ahora asumimos que el error en cualquier nivel de tiempo puede ser
aproximado por una serie de Fourier, tal que,
ni =

N
1

Ak (n)eik xi

k=0

donde Ak es la amplitud del componente k, y k es la frecuencia

espacial o n
umero de onda (k = 2/k es la longitud de onda).
NOTA: Esto asume que los puntos de la grillas estan separados por
espaciamiento uniforme x.
5 / 15

Analisis de von Neumann (cont.)

Ahora sustituimos un termino arbitrario de la serie de Fourier en la
ecuaci
on de propagacion del error para enoncontrar el factor de
progagaci
on.
Como la ecuacion de propagacion es lineal y la serie de Fourier tambien
es lineal, solo necesitamos sustituir un termino,
ni = Ak (n)eik xi
entonces,
n+1
= Ak (n + 1)eik xi
i
ni+1 = Ak (n)eik (xi +x)=Ak (n)e

ik xi eik x

ni1 = Ak (n)eik (xi x)=Ak (n)e

ik xi eik x

6 / 15

Analisis de von Neumann (cont.)

Sustituyendo en la ecuacion para la propagacion del error,
(
)
Ak (n + 1) = Ak (n) + DAk (n) eik x 2 + eik x
Definiedo = k x y usando las identidades trigonometricas:
ei = cos() + i sin(); cos() = cos() y sin() = sin();
obtenemos,
Ak (n + 1) = Ak (n) + 2DAk (n) (cos() 1)
= Ak (n) (1 2D [1 cos(k x)])
= Ak (n)k

donde el factor de propagacion k = 1 2D[1 cos()].

7 / 15

Analisis de von Neumann (cont.)

Reemplazando en
n+1
= Ak (n + 1)eik xi
i
obtenemos,
n+1
= k ni
i

n+1
= n+1
0i
i
k

Entonces, una condicion necesaria para la estabilidad del metodo es,

|k | 1
lo que implica que,
1 1 2D[1 cos()] 1

8 / 15

Analisis de von Neumann (cont.)

Condici
on para estabilidad,
1 1 2D[1 cos()] 1
Lmite superior siempre se cumple para D 0. Sin embargo, lmite
inferior requiere que,
2 2D(1 cos())
2 4D sin2 (/2)
esto u
ltimo se cumple para,
D

1
2 sin (/2)
2

9 / 15

Analisis de von Neumann (cont.)

1
2 sin (/2)
2

Como sin() 1, la condicion para la estabilidad del metodo es,

Dt
1
=D
2
(x)
2

Esto significa que dado un espaciamiento de la grilla x, el

espaciamiento temporal t debe ser tal que la escala de tiempo de
difusi
on dentro de una celda de la grilla (x)2 /D sea mayor o igual
2t.

10 / 15

Estabilidad solucion implcita para ecuacion de difusion

Aproximacion implcita,
( n+1
)
n+1
Cin+1 Cin = D Ci1
2Cin+1 + Ci+1
Reemplazando,
ni = Ak (n)eik xi
Ak (n + 1) = k Ak (n)

obtenemos,
k =

1
1 + 2D(1 cos(k x))

Entonces, k 1 siempre que D 0 la aproximacion es

incondicionalmente estable.
11 / 15

Estabilidad: Ecuacion de adveccion

Ecuaci
on de adveccion,
C
C
= u
t
x
Utilizando una aproximacion explde primer orden para la derivada
temporal y una hacia adelante de primer orden para la derivada
espacial, obtenemos
(
)
n
Cin+1 Cin = U Cin Ci1
donde U = ut/x .
Reemplazando las expresiones para el error en la ecucion de
propagaci
on obtenemos,
[
]
Ak (n + 1) Ak (n) = UAk n 1 eik x
12 / 15

Estabilidad: Ecuacion de adveccion (cont.)

En este caso el factor de amplificacion es,
k = 1 U(1 cos(k x)) i U sin(k x))
En este caso la condicion de estabilidad requiere que,
|k | =

k k 1

Desarrollando el algebra, se obtiene,

U[1 cos(k x)] + cos(k x) 1
Esto se cumple para
U 1
Esta condicion se conoce como Condicion de Courant o Condicion de
Courant-Friedrich-Lewy (CFL). Al termino U = ut/x se le
umero de Courant (o CFL number).
denomina el n
13 / 15

Estabilidad: Ecuacion de AdveccionDifusion

Procesos de transporte en medios acuaticos son usualmente modelados
por la Ecuacion de Adveccion-Difusion:
C
2C
C
=D 2 u
t
x
x
Usando una aproximacion explcita de primer orden hacia adelante
para la primera derivada y una de segundo orden central para la
segunda derivada espaciales, obtenemos,
( n
)
(
)
n
n
Cin+1 Cin = D Ci+1
2Cin + Cp1
U Cin Ci1
Aplicando el analisis de von Neumann encontramos que la condicion de
estabilidad es,
2D + U 1
[

2D
u
t
+
(x)2 x

]1
14 / 15

Estabilidad: Ecuacion de AdveccionDifusion

15 / 15