Captulo 3

La ecuaci
on de Advecci
on
Difusi
on.
3.1.

Diferencias finitas en la Ecuaci

on de Advecci
on difusi
on

El problema de transporte de contaminantes han sido estudiados ampliamente, sin embargo las soluciones analtias del fenomeno quedan restringidas
a condiciones iniciales y de frontera extremadamente simples. Obtener resultados para condiciones iniciales y de frontera mas complicadas (ej. condicion
inicial variada en el tiempo) requiere el uso de de metodos numericos para
las soluciones de las ecuaciones. Tambien ante la escaces de informacion para usar en muchos casos modelos matematicos mas complejos, es necesario
aplicar modelos de dispersion unidimensional, que por lo general enfrentan
problemas de estabilidad en la solucion numerica. Tradicionalmente para la
solucion de la ecuacion de dispersion longitudinal se separan efectos (conveccion -difusion) y es comun llegar a construir esquemas que conducen a
errores en la solucion. Presentaremos la ecuacion de Dispersion Longitudinal y su solucion aplicando esquemas explicitos y esquemas implicitos en
diferencis finitas.
Ecuaci
on de Advecci
on Difusi
on Longitudinal
u
u
2u
+
= 2
t
x
x

x h0, bi t [0, T ]
49

(3.1)

50

3.1. Diferencias finitas en la Ecuaci

on de Advecci
on difusi
on

donde f C 2 ([0, b]) u C([0, b] h0, i) C 2 (h0, bi h0, i)

con , , constantes positivas, llamados coeficiente convectivo, difusivo
respectivamente.

3.1.1.

Esquema Explicito

El analisis de la convergencia de esta ecuacion es compilicado, esto se salva

usando el teorema de equivalencia de Lax, por ello necesitamos analizar la
consistencia y estabilidad. Teniendo en cuenta
Ujm+1 Ujm
U
=
t
t
m
m
Uj1
Uj+1
U
=
x
2x
m
m
2Ujm + Uj1
Uj+1
2U
=
x2
x2
Reemplazmos en la ecuacion 3,1 tenemos el esquema:

Ujm+1

m
m
m
m
Ujm+1 Ujm
Uj+1
Uj1
Uj+1
2Ujm + Uj1
+
=
t
2x
x2




t
t
m
m
m
m
+ x
= Ujm x
Uj1
2Ujm + Uj1
Uj+1
Uj+1
2

Donde.
t
n
uemero de Courant
x
x
n
umero de Peclet
Pe =

Cr
t
=
=
Pe
x2

Cr =

Ujm+1 = Ujm

Cr
m
m
m
m
+ Uj+1
2Ujm + Uj1
Uj+1
Uj1
2

De aqui se tiene
Ujm+1


=

Cr
+
2

m
Uj1

+ (1

2) Ujm

Cr
+
2

m
Uj+1

(3.2)

3. La ecuaci
on de Advecci
on Difusi
on.
Con error de truncacion

51

0 (t, x2 )

A continuacion presentamos el analisis de ecuacion de conveccion difusion

Teorema 7 An
alisis de la Ecuaci
on de Advecci
on Difusi
on Transitorio
La ecuacion de conveccion difusion
u
u
2u
+
= 2
t
x
x

x h0, bi t [0, T ]

Con el esquema explicito:





Cr
Cr
m+1
m
m
m
Uj1 + (1 2) Uj +
Uj+1
Uj
= +
2
2
Es Consistente de orden 1 para el tiempo y de orden 2 para el espacio.
t
Pe =
Es Estable para 0 < Cr P2e < 1 14 < 12 donde Cr = x
x
Cr
= Pe y
Es Convergente.
Demostraci
on
Veremos el analisis de la consistencia:

Estudio de la Consistencia
En la ecuacion

u
u
2u
+
= 2
t
x
x
Reemplazamos las formulas respectivas



m 2U m +U m
U m+1 Ujm
U m U m
Uj+1
2 3
2 4

j
j
j1
2


t
U (x ,) + j+12x j1 x
x
3 U (,y ) =
2
4 U (z,y ) =0
t
2 t2
3
12
x
x
x

[nt, (n + 1)t] z, [(n 1)x, (n + 1)x]

El error de truncacion es
jn




2
3
2
4



t 2
x

 +


=
U
(x
,
)
U
(,
y
)
U
(z,
y
)



3
4
2 t2
3
x
12
x

52

3.1. Diferencias finitas en la Ecuaci

on de Advecci
on difusi
on

Como trabajamos en un conjunto R = {(x, t)/ 0 x L , 0 t T }

existen constantes m1 y m2 para u suficientemente regular tal que
jn m1 t + m2 x2

denotamos jn = 0(t, x2 )

Por lo tanto el problema con este esquema es consistente.

Estudio de la Estabilidad
Sea la solucion discreta Ujm = fn eikjx

i=

reemplazmos en la ecuacion
u
2u
u
+
= 2
t
x
x
tenemos
fn+1 eikjx = fn eik(j1)x +
fn+1 eikjx = fn eikjx

Cr
2

Cr
2




fn+1 = fn eikx + eikx

fn+1 = fn 2 cos(kx)

Cr
2

+fn eikjx (1 2)+fn eik(j+1)x

eikx + (1 2) +
Cr
2

Cr
2

eikx

Cr
2

eikx eikx + 1 2

[2i sin(kx)] + 1 2

Agrupando la parte real y la parte imaginaria, tenemos

fn+1 = fn {1 2 + 2 cos(kx) iCr sin(kx)}
fn+1 = fn1 {1 2 + 2 cos(kx) iCr sin(kx)}2
.
.
fn+1 = f0 {1 2 + 2 cos(kx) iCr sin(kx)}n+1
El factor de amplificacion G, tiene una parte real y otra imaginaria por
Vonn Neumann para la estabilidad del esquema debemos tener:
|G| 1 , G = 1 2 + 2 cos(kx) iCr sin(kx)

3. La ecuaci
on de Advecci
on Difusi
on.

53

|G|2 1
|G|2 = [(1 2) + 2 cos(kx)]2 + [Cr sin(kx)]2 ,

= kx

|G|2 = (1 2)2 + 42 cos2 + 4(1 2) cos + (Cr)2 sin2

sin2 = 1 cos2

|G|2 = (42 (Cr)2 ) cos2 + 4(1 2) cos + (1 2)2 + (Cr)2

(3.3)

Lo que consideraremos como una ecuacion cuadratica con respecto a

cos con un maxmo o mnimo veamos que:

|G|2 = 2 cos(42 (Cr)2 ) cos + 4(1 2)

cos
2
2
2
2
2 |G| = 2(4 (Cr) )
(cos )

caso 1
2
|G|2
(cos )2

= 2(42 (Cr)2 ) < 0

La funcion tiene maximo que se da si

|G|2
(cos )2

=0

Es decir

2(42 (Cr)2 ) cos + 4(1 2) = 0

(3.4)

54

3.1. Diferencias finitas en la Ecuaci

on de Advecci
on difusi
on

(cos)del max =

4(1 2)
2(2 1)
= 2
2
2
2(4 Cr) )
4 (Cr)2

(3.5)

Reemplazamos en (3,3)
|G|2max =(42 (Cr)2 )

|G|2max =

42 2
42 (Cr)2

|G|2max =

i
h
i
2(21)
2(21) 2
+4(12)
+4(1)+(Cr)2 +1
42 (Cr)2
42 (Cr)2


(42 (Cr)2 )

42 2
42 (Cr)2

(42 2)
+4(12)
42 (Cr)2


+42 4+(Cr)2 +1

{2 42 } + 42 4 + (Cr)2 + 1

(4 2)
2
2
|G|2max = 4
2 (Cr)2 + 4 4 + (Cr) + 1

|G|2max =

(42 2)2 (42 (Cr)2 )(42 +(Cr)2 )+(42 (Cr)2 )(41)

(42 (Cr)2 )

|G|2max =

164 +42 163 (164 (Cr)4 +1642 4(Cr)2 +(Cr)2 )

(42 (Cr)2 )

|G|2max =

(Cr)4 4(Cr)2 +(Cr)2

(42 (Cr)2 )

(Cr)2 [(Cr)2 4+1]

(Cr)2 42

Pero requerimos que

|G|2max 1

42 (Cr)2 < 0

tenemos que
(Cr)2 [(Cr)2 4+1]
(Cr)2 42

(Cr)2 42 > 0

Resolviendo
(Cr)4 4(Cr)2 + (Cr)2 (Cr)2 42

(3.6)

3. La ecuaci
on de Advecci
on Difusi
on.

55

(Cr)4 4(Cr)2 + 42 0
2

[(Cr)2 2] 0
2

[(Cr)2 2] = 0

[(Cr)2 2] < 0

De donde solo se cumple que

(Cr)2 = 2

(3.7)

Reemplazando (3,7) en (3,6)

42 (Cr)2 < 0
Resolviendo 42 2 < 0

2(2 1) < 0
0<<

1
2

Cr
Pe
0 < Cr <
Pe
2

(3.8)

Tambien

0 < 2 < 1

(Cr)2 = 2

tenemos
0 < (Cr)2 < 1 es decir 0 < Cr < 1
Ademas como 42 (Cr)2 < 0 y =

Cr
Pe

tenemos 2 < P e

en conclucion tenemos de 3,8

0 < Cr <

Pe
2

Cr < 1

2 < Pe

(3.9)

56

3.1. Diferencias finitas en la Ecuaci

on de Advecci
on difusi
on

caso 2
La funcion tiene mnimo


2
2
2
2
>0
2 |G| = 2 4 (Cr)
(cos )

(2 + Cr) (2 Cr) > 0

2 Cr > 0
Cr
2
Cr > 0
Pe
2
1>0
Pe
2 Pe > 0
2 > Pe
Ademas
0 |G|2 1
De (3,3) tenemos
|G|2 = (42 (Cr)2 ) cos2 + 4(1 2) cos + (1 2)2 + (Cr)2
De aqui

cos 0


[4(1 2)]2 4(42 (Cr)2 ) (1 2)2 + (Cr)2 0
2 > Pe

2 > Pe

2 > Pe

2 > Pe

Cr

4 1

1
4

(3.10)

Tambien recuerde
0 |G|2 1
0 (42 (Cr)2 ) cos2 +4(12) cos +(12)2 +(Cr)2 1;

cos [1, 1]

3. La ecuaci
on de Advecci
on Difusi
on.

Si cos = 1

57

Se tiene 42 (Cr)2 + 4(1 2) + (1 2)2 + (Cr)2 1

11

lo cual es cierto siempre

Si cos = 1 Se tiene

 2
4 (Cr)2 (1)2 + 4(1 2)(1) + (1 2)2 + (Cr)2 1

162 8 0
(2 1) 0
De aqui
0

1
2

Cr
1

Pe
2
Por lo tanto de (3,11) y (3,10) tenemos
Pe
1
1
0 Cr
<1

2
4
2
Asi tendremos la region de estabilidad para este caso
0

(3.11)

As del caso 1 y del caso 2 tenemos la region de estabilidad vea la fig.3.1

Estudio de la Convergencia
Aqui vamos a utilizar un resultado fundamental de la teora de Aproximacion en diferencias finitas, EL TEOREMA DE LAX, para este problema
bien planteado que satisface la condicion de Consistencia y la condicion de
Estabilidad, lo c
ual implica la convergencia de nuestro algoritmo.

58

3.1. Diferencias finitas en la Ecuaci

on de Advecci
on difusi
on

Figura 3.1: Grafico de la curva de estabilidad n

umero de Peclet vs. Courant

3.1.2.

Esquema Implicito

El metodo de Crank-Nicolson Proporsiona un esquema implicito que es

exacto de segundo orden tanto en espacio como en tiempo. Para proporcionar esta exactitud, se desarrollaron las aproximaciones por diferencias en el
punto medio del incremento en el tiempo . Tenemos:

n+ 1
1
3 n+ 1
un+1
uni
i
= ui 2 + (t)2 3 ui 2 +
t
t
24
t

un+1 uni
U= i
t
t

0(k 2 )

La segunda derivada en el espacio puede ser determinada en el punto

medio al promediar las aproximaciones al inicio tn y al final tn+1 del
incremento del tiempo.

3. La ecuaci
on de Advecci
on Difusi
on.

59

 2

n+1
un+1
+ un+1
n+ 21 (x)2 4 n+ 12 (x)4 6 n+ 12
i+1 2ui
i1
=
u
+
u
+
u
+ +
(x)2
x2 i
12 x4 i
360 x6 i
 3


t
(x)2 5 n+ 12
n+ 12
+
u
+
u
+ +
2 tx2 i
12 tx4 i
Del mismo modo
 2

uni+1 2uni + uni1
n+ 12 (x)2 4 n+ 12 (x)4 6 n+ 12
=
u
+
u
+
u
+
(x)2
x2 i
12 x4 i
360 x6 i

 3
t
(x)2 5 n+ 21

n+ 12

u
+
u
+ +
2 tx2 i
12 tx4 i
Tenemos


n+1
+ un+1
2
1 uni+1 2uni + uni1 un+1
i+1 2ui
i1
U=
+
x2
2
(x)2
(x)2

0(k 2 )

Tambien


n+1
uni+1 uni1

1 un+1
i+1 ui1
U=
+
x
2
2x
2x

0(h2 ) , 0(k 2 )

Reemplazando en la ecuacion (2,18)

u
2u
u
+
= 2
t
x
x
Tenemos el esquema


n+1
uni+1 uni1
un+1
uni
un+1
i+1 ui1
i
+
+
=
t
2
2x
2x


n+1
+ un+1
uni+1 2uni + uni1 un+1
i+1 2ui
i1
=
+
2
(x)2
(x)2

t  n+1
n
n
ui+1 un+1
i1 + ui+1 ui1 =
4x

t  n
n+1
ui+1 2uni + uni1 + un+1
+ un+1
=
i+1 2ui
i1
2
2(x)
un+1
uni +
i

60

3.1. Diferencias finitas en la Ecuaci

on de Advecci
on difusi
on
t
Cr = x

N
umero de Courant

P e = x

N
umero de Peclet

Cr
Pe

= t


Cr  n+1
n
n
ui+1 un+1
i1 + ui+1 ui1 =
4

 n
n+1
n+1
=
ui+1 2uni + uni1 + un+1

2u
+
u
i+1
i
i1
2
uni +
un+1
i

Cr n+1 Cr n+1 n+1

ui+1
ui1 ui+1 + un+1
un+1
=
i
4
4
2
2 i1
Cr n
Cr n

= uni +
ui1
ui+1 + uni+1 uni + uni1
4
4
2
2

un+1
+
i

Se tiene

Cr
Cr n
Cr n+1
Cr
)ui1 +(1+)un+1
+( )un+1
+ )ui1 +(1)uni +( + )uni+1
i
i+1 = (
4 2
4 2
4 2
4 2
(3.12)
Con error de truncacion 0(x2 , t2 )

3. La ecuaci
on de Advecci
on Difusi
on.

61

Teorema 8 (An
alisis de la Ecuaci
on de Convecci
on Difusi
on Transitorio)
La ecuacion de conveccion difusion
u
u
2u
+
= 2
t
x
x

x h0, bi t [0, T ]

(3.13)

Con el esquema implicito de Crank-Nicolson

(

Cr
Cr
Cr n
Cr n+1
)ui1 +(1+)un+1
+ )ui1 +(1)uni +( + )uni+1
+( )un+1
i
i+1 = (
4 2
4 2
4 2
4 2

Es Consistente de orden 2 para el tiempo y de orden 2 para el espacio.

t
P e = x
y
Es incondicionalmente estable para Cr = x

Es Convergente.
Demostraci
on
Veremos el :

An
alisis de la Consistencia
Al inicio de la seccion, tenemos que el error de truncatura es
jn



3


1
(x)2 4
2



= (t) 3 u(x , )
u(, y )
4
24
t
12 x

[(i 1)x, (i + 1)x]

[(n 1)t, (n + 1)t]

Como trabajamos en un conjunto

R = {(x, t)/ 0 x L , 0 t T
existen constantes

m1

m2 para

jn m1 t2 + m2 x2

suficientemente regular tal que

denotamos jn = 0(t2 , x2 )

Por lo tanto el problema con este esquema es consistente.

62

3.1. Diferencias finitas en la Ecuaci

on de Advecci
on difusi
on

An
alisis de la Estabilidad
Sea la solucion discreta
Ujn = fn eikjx
reemplazando en (3,13)


i=

tenemos:




Cr
Cr
ik(j1)x
ikjx

fn+1 e
+ (1 + )fn+1 e
+

fn+1 eik(j+1)x =

4
2
4
2




Cr
Cr
ik(j1)x
ikjx
=
+
fn e
+ (1 )fn e
+
+
fn eik(j+1)x
4
2
4
2





Cr ik(j+1)x
Cr ik(j1)x
ikjx

fn+1
e
+ (1 + )e
+
e

=
4
2
4
2





Cr ik(j+1)x
Cr ik(j1)x
ikjx
+
e
+ (1 )e
+
+
e
= fn
4
2
4
2






Cr ikx
Cr ikx
fn+1

e
+ (1 + ) +

e
=

4
2
4
2





Cr ikx
Cr ikx
+
+
= fn
e
+ (1 ) +
e
4
2
4
2




ikjx


Cr ikjx
ikjx
ikjx
fn+1
e
e
e
+e

+ (1 ) =
4
2



ikjx


Cr ikjx
ikjx
ikjx
e
e
+
e
+e
+ (1 )
= fn
4
2



Cr

fn+1
2i sin(kx) 2 cos(kx) + (1 + ) =
4
2


Cr

= fn 2i sin(kx) + 2 cos(kx) + (1 )
4
2




Cr
Cr
fn+1 1 + cos(kx) + i sin(kx) = fn 1 + cos(kx) i sin(kx)
2
2

3. La ecuaci
on de Advecci
on Difusi
on.

(
fn+1 = fn

63

1 + cos(kx) i Cr
sin(kx)
2
Cr
1 + cos(kx) + i 2 sin(kx)

As tenemos que
(
fn+1 = f0

1 + cos(kx) i Cr
sin(kx)
2
Cr
1 + cos(kx) + i 2 sin(kx)

)n

Afirmamos que


 1 [1 cos(kx)] i Cr sin(kx) 


2
<1

 1 + [1 cos(kx)] + i Cr
sin(kx) 
2
En efecto, pues se quiere demostrar que
2

sin(kx)
{1 [1 cos(kx)]}2 + Cr
2
 Cr
2 < 1
2
{1 + [1 cos(kx)]} + 2 sin(kx)
Como

1 cos(kx) > 0 Se tiene que

0 < 2 {2[1 cos(kx)]}

es decir tenemos que

0<{(1+[1cos(kx)])+(1[1cos(kx)])}{(1+[1cos(kx)])(1[1cos(kx)])}

0 < (1 + [1 cos(kx)])2 (1 [1 cos(kx)])2


2
sin(kx)
Sumando miembro a miembro Cr
2
2

0<{1[1cos(kx)]}2 +{ Cr
sin(kx)} <{1+[1cos(kx)]}2 +{ Cr
sin(kx)}
2
2

se tiene entonces que

2
sin(kx)
2
 Cr
2 < 1
2
{1 + [1 cos(kx)]} + 2 sin(kx)

{1 [1 cos(kx)]}2 +

 Cr

Por lo tanto se tiene que lo que queremos probar

64

3.1. Diferencias finitas en la Ecuaci

on de Advecci
on difusi
on



 1 [1 cos(kx)] i Cr sin(kx) 


2
<1


 1 + [1 cos(kx)] + i Cr
sin(kx)
2

por lo que el esquema de Crank-Nicolson es incondicionalmente estable

An
alisis de la Convergencia
Aqui usamos el teorema de LAX, Para este problema que cumple la condicion de Consistencia y Estabilidad, lo cual implica la Convergencia de nuestro
algoritmo.