Capı́tulo 3

La ecuación de Advección
Difusión.

3.1. Diferencias finitas en la Ecuación de Ad-

vección difusión
El problema de transporte de contaminantes han sido estudiados amplia-
mente, sin embargo las soluciones analı́tias del fenómeno quedan restringidas
a condiciones iniciales y de frontera extremadamente simples. Obtener resul-
tados para condiciones iniciales y de frontera más complicadas (ej. condición
inicial variada en el tiempo) requiere el uso de de métodos numéricos para
las soluciones de las ecuaciones. Tambien ante la escaces de información pa-
ra usar en muchos casos modelos matemáticos más complejos, es necesario
aplicar modelos de dispersión unidimensional, que por lo general enfrentan
problemas de estabilidad en la solución numérica. Tradicionalmente para la
solución de la ecuación de dispersión longitudinal se separan efectos (con-
vección -difusión) y es comun llegar a construir esquemas que conducen a
errores en la solución. Presentaremos la ecuación de Dispersión Longitudi-
nal y su solución aplicando esquemas explicitos y esquemas implicitos en
diferencis finitas.

Ecuación de Advección Difusión Longitudinal

∂u ∂u ∂2u
+α =β 2 x ∈ h0, bi t ∈ [0, T ] (3.1)
∂t ∂x ∂x
49
50 3.1. Diferencias finitas en la Ecuación de Advección difusión

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 análisis de la convergencia de esta ecuación es compilicado, esto se salva
usando el teorema de equivalencia de Lax, por ello necesitamos analizar la
consistencia y estabilidad. Teniendo en cuenta
∂U Ujm+1 − Ujm
=
∂t ∆t
m m
∂U Uj+1 − Uj−1
=
∂x 2∆x
m
∂2U Uj+1 m
− 2Ujm + Uj−1
=
∂x2 ∆x2
Reemplazmos en la ecuación 3,1 tenemos el esquema:
Ujm+1 − Ujm m
Uj+1 m
− Uj−1 m
Uj+1 − 2Ujm + Uj−1
m
+α =β
∆t 2∆x ∆x2
Ujm+1 ∆t ∆t



= Ujm − α ∆x m
Uj+1 m
− Uj−1 + β ∆x 2
m
Uj+1 m
− 2Ujm + Uj−1

Donde.
∆t
Cr = α núemero de Courant
∆x
∆x
Pe = α número de Péclet
β
Cr ∆t
λ= =β
Pe ∆x2
Cr
Ujm+1 = Ujm − m m m
− 2Ujm + Uj−1
m



Uj+1 − Uj−1 + λ Uj+1
2
De aqui se tiene

   
Cr Cr
Ujm+1 = λ+ m
Uj−1 + (1 − 2λ) Ujm + λ− m
Uj+1 (3.2)
2 2
3. La ecuación de Advección Difusión. 51

Con error de truncacion 0 (∆t, ∆x2 )

A continuación presentamos el análisis de ecuación de convección difusión

Teorema 7 Análisis de la Ecuación de Advección Difusión Transi-

torio
La ecuación de convección difusión
∂u ∂u ∂2u
+α =β 2 x ∈ h0, bi t ∈ [0, T ]
∂t ∂x ∂x
Con el esquema explicito:
   
m+1 Cr m m Cr m
Uj = λ+ Uj−1 + (1 − 2λ) Uj + λ − Uj+1
2 2
Es Consistente de orden 1 para el tiempo y de orden 2 para el espacio.
Es Estable para 0 < Cr ≤ P2e < 1 14 ≤ λ < 12 donde Cr = α ∆x ∆t
Pe =
∆x Cr
α β λ = Pe y
Es Convergente.

Demostración
Veremos el análisis de la consistencia:

Estudio de la Consistencia
En la ecuación
∂u ∂u ∂2u
+α =β 2
∂t ∂x ∂x
Reemplazamos las formulas respectivas
U m+1 −Ujm U m −U m m −2U m +U m
Uj+1
∂2 2 ∂3 2 ∂4
  
j
− ∆t U (x∗ ,ξ) +α j+12∆x j−1 − ∆x ∗ 
3 U (ς,y ) =β
j j−1
− ∆x ∗ 
4 U (z,y ) =0

∆t 2 ∂t2 ξ 3 ∂x ς ∆x2 12 ∂x z

ξ ∈ [n∆t, (n + 1)∆t] z, ς ∈ [(n − 1)∆x, (n + 1)∆x]

El error de truncación es
∆t ∂ 2 2 3 2 4
  
∗
 ∆x ∂ ∗
 ∆x ∂ ∗

τjn = U (x , ξ) + U (ς, y ) − U (z, y )
2 ∂t2 
ξ 3 ∂x 3 
ς 12 ∂x 4 
z
52 3.1. Diferencias finitas en la Ecuación de Advección difusión

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 eikj∆x i= −1

reemplazmos en la ecuación

∂u ∂u ∂2u
+α =β 2
∂t ∂x ∂x
tenemos

Cr Cr



fn+1 eikj∆x = fn eik(j−1)∆x λ + 2
+fn eikj∆x (1 − 2λ)+fn eik(j+1)∆x λ − 2

Cr
e−ik∆x + (1 − 2λ) + λ − Cr



fn+1 eikj∆x = fn eikj∆x λ+ 2 2
eik∆x

fn+1 = fn λ eik∆x + e−ik∆x − Cr

eik∆x − e−ik∆x + 1 − 2λ



2

Cr

fn+1 = fn 2λ cos(k∆x) − 2
[2i sin(k∆x)] + 1 − 2λ

Agrupando la parte real y la parte imaginaria, tenemos

fn+1 = fn {1 − 2λ + 2λ cos(k∆x) − iCr sin(k∆x)}

fn+1 = fn−1 {1 − 2λ + 2λ cos(k∆x) − iCr sin(k∆x)}2

.
.

fn+1 = f0 {1 − 2λ + 2λ cos(k∆x) − iCr sin(k∆x)}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(k∆x) − iCr sin(k∆x)
3. La ecuación de Advección Difusión. 53

|G|2 ≤ 1

|G|2 = [(1 − 2λ) + 2λ cos(k∆x)]2 + [Cr sin(k∆x)]2 , θ = k∆x

|G|2 = (1 − 2λ)2 + 4λ2 cos2 θ + 4λ(1 − 2λ) cos θ + (Cr)2 sin2 θ

sin2 θ = 1 − cos2 θ

|G|2 = (4λ2 − (Cr)2 ) cos2 θ + 4λ(1 − 2λ) cos θ + (1 − 2λ)2 + (Cr)2 (3.3)

Lo que consideraremos como una ecuación cuadrática con respecto a

cos θ con un maxı́mo ó mı́nimo veamos que:

∂
|G|2 = 2 cos(4λ2 − (Cr)2 ) cos θ + 4λ(1 − 2λ)
∂ cos

∂2 2 2 2
2 |G| = 2(4λ − (Cr) ) (3.4)
∂ (cos θ)

caso 1
∂2
∂(cos θ)2
|G|2 = 2(4λ2 − (Cr)2 ) < 0

La función tiene máximo que se da si

∂
∂(cos θ)2
|G|2 =0

Es decir

2(4λ2 − (Cr)2 ) cos θ + 4λ(1 − 2λ) = 0

54 3.1. Diferencias finitas en la Ecuación de Advección difusión

4λ(1 − 2λ) 2λ(2λ − 1)

(cosθ)del máx = − 2 2
= 2 (3.5)
2(4λ − Cr) ) 4λ − (Cr)2
Reemplazamos en (3,3)

2λ(2λ−1) 2
h i h i
2λ(2λ−1)
|G|2max =(4λ2 −(Cr)2 ) +4λ(1−2λ) +4λ(λ−1)+(Cr)2 +1
4λ2 −(Cr)2 4λ2 −(Cr)2

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

4λ2 −2λ
|G|2max = 4λ2 −(Cr)2
{2λ − 4λ2 } + 4λ2 − 4λ + (Cr)2 + 1

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

(4λ2 −2λ)2 −(4λ2 −(Cr)2 )(4λ2 +(Cr)2 )+(4λ2 −(Cr)2 )(4λ−1)

|G|2max = −(4λ2 −(Cr)2 )

16λ4 +4λ2 −16λ3 −(−16λ4 −(Cr)4 +16λ−4λ2 −4λ(Cr)2 +(Cr)2 )

|G|2max = −(4λ2 −(Cr)2 )

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

|G|2max = −(4λ2 −(Cr)2 )
= (Cr)2 −4λ2
≤1

Pero requerimos que

|G|2max ≤ 1 4λ2 − (Cr)2 < 0 (3.6)

tenemos que

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

(Cr)2 −4λ2
≤1 y (Cr)2 − 4λ2 > 0

Resolviendo

(Cr)4 − 4λ(Cr)2 + (Cr)2 ≤ (Cr)2 − 4λ2

3. La ecuación de Advección Difusión. 55

(Cr)4 − 4λ(Cr)2 + 4λ2 ≤ 0

2
[(Cr)2 − 2λ] ≤ 0

2 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)

4λ2 − (Cr)2 < 0

Resolviendo 4λ2 − 2λ < 0

2λ(2λ − 1) < 0
1 Cr Pe
0<λ< ∧ λ= −→ 0 < Cr < (3.8)
2 Pe 2
Tambien

0 < 2λ < 1 ∧ (Cr)2 = 2λ

tenemos

0 < (Cr)2 < 1 es decir 0 < Cr < 1

Cr
Además como 4λ2 − (Cr)2 < 0 y λ = Pe
tenemos 2 < P e

en conclución tenemos de 3,8

Pe
0 < Cr < ∧ Cr < 1 ∧ 2 < Pe (3.9)
2
56 3.1. Diferencias finitas en la Ecuación de Advección difusión

caso 2
La función tiene mı́nimo

∂2 2 2 2


2 |G| = 2 4λ − (Cr) >0
∂ (cos θ)

(2λ + Cr) (2λ − Cr) > 0

2λ − Cr > 0
Cr
2 − Cr > 0
Pe
2
−1>0
Pe
2 − Pe > 0
2 > Pe
Además
0 ≤ |G|2 ≤ 1
De (3,3) tenemos
|G|2 = (4λ2 − (Cr)2 ) cos2 θ + 4λ(1 − 2λ) cos θ + (1 − 2λ)2 + (Cr)2
De aqui
2 > Pe ∧∆cosΘ ≤ 0
[4λ(1 − 2λ)]2 − 4(4λ2 − (Cr)2 ) (1 − 2λ)2 + (Cr)2 ≤ 0
 
2 > Pe ∧

√
2 > Pe ∧ Cr ≤ 4λ − 1

1
2 > Pe ∧ λ≥ (3.10)
4
Tambien recuerde
0 ≤ |G|2 ≤ 1
0 ≤ (4λ2 −(Cr)2 ) cos2 θ+4λ(1−2λ) cos θ+(1−2λ)2 +(Cr)2 ≤ 1; ∀cosΘ ∈ [−1, 1]
3. La ecuación de Advección Difusión. 57

Si cosΘ = 1 Se tiene 4λ2 − (Cr)2 + 4λ(1 − 2λ) + (1 − 2λ)2 + (Cr)2 ≤ 1

1≤1
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


16λ2 − 8λ ≤ 0

λ(2λ − 1) ≤ 0
De aqui
1
0≤λ≤
2
Cr 1
0≤ ≤ (3.11)
Pe 2
Por lo tanto de (3,11) y (3,10) tenemos
Pe 1 1
0 ≤ Cr ≤ <1 ≤λ≤
2 4 2
Asi tendremos la región de estabilidad para este caso

Ası́ del caso 1 y del caso 2 tenemos la región de estabilidad vea la fig.3.1

Estudio de la Convergencia
Aqui vamos a utilizar un resultado fundamental de la teorı́a de Aproxi-
mación en diferencias finitas, EL TEOREMA DE LAX, para este problema
bien planteado que satisface la condición de Consistencia y la condición de
Estabilidad, lo cúal implica la convergencia de nuestro algoritmo.
58 3.1. Diferencias finitas en la Ecuación de Advección difusión

Figura 3.1: Grafico de la curva de estabilidad número de Péclet vs. Courant

3.1.2. Esquema Implicito

El método de Crank-Nicolson Proporsiona un esquema implicito que es
exacto de segundo orden tanto en espacio como en tiempo. Para proporcio-
nar esta exactitud, se desarrollaron las aproximaciones por diferencias en el
punto medio del incremento en el tiempo . Tenemos:

un+1
i − uni ∂ n+ 1 1 ∂ 3 n+ 1
= ui 2 + (∆t)2 3 ui 2 + · · ·
∆t ∂t 24 ∂t

∂ un+1 − uni
U= i 0(k 2 )
∂t ∆t

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ón de Advección Difusión. 59

un+1 n+1
+ un+1
 2
i+1 − 2ui ∂ n+ 21 (∆x)2 ∂ 4 n+ 12 (∆x)4 ∂ 6 n+ 12

i−1
= u + u + u + ··· +
(∆x)2 ∂x2 i 12 ∂x4 i 360 ∂x6 i
 3
(∆x)2 ∂ 5 n+ 12

∆t ∂ n+ 12
+ u + u + ··· + ···
2 ∂t∂x2 i 12 ∂t∂x4 i
Del mismo modo

uni+1 − 2uni + uni−1

 2
∂ 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
(∆x)2 ∂ 5 n+ 21

∆t ∂ n+ 12
− u + u + ··· + ···
2 ∂t∂x2 i 12 ∂t∂x4 i
Tenemos
∂2 1 uni+1 − 2uni + uni−1 un+1 n+1
i+1 − 2ui + un+1
 
i−1
U= + 0(k 2 )
∂x2 2 (∆x)2 (∆x)2
Tambien
1 un+1 n+1
i+1 − ui−1 uni+1 − uni−1
 
∂
U= + 0(h2 ) , 0(k 2 )
∂x 2 2∆x 2∆x
Reemplazando en la ecuacion (2,18)
∂u ∂u ∂2u
+α =β 2
∂t ∂x ∂x
Tenemos el esquema

un+1 − uni α un+1 n+1

i+1 − ui−1 uni+1 − uni−1
 
i
+ + =
∆t 2 2∆x 2∆x
β uni+1 − 2uni + uni−1 un+1
i+1 − 2ui
n+1
+ un+1
 
i−1
= +
2 (∆x)2 (∆x)2

α∆t  n+1
un+1 − uni + ui+1 − un+1 n n

i i−1 + ui+1 − ui−1 =
4∆x
β∆t  n
ui+1 − 2uni + uni−1 + un+1 n+1
+ un+1

= 2 i+1 − 2ui i−1
2(∆x)
60 3.1. Diferencias finitas en la Ecuación de Advección difusión

∆t
Cr = α ∆x Número de Courant

P e = α ∆x
β
Número de Péclet

Cr
λ= Pe
= β ∆t
β

Cr  n+1
un+1 − uni + ui+1 − un+1 n n

i i−1 + ui+1 − ui−1 =
4
λ n
ui+1 − 2uni + uni−1 + un+1 n+1 n+1

= i+1 − 2u i + u i−1
2

Cr n+1 Cr n+1 λ n+1 λ

un+1
i + ui+1 − ui−1 − ui+1 + λun+1
i − un+1 =
4 4 2 2 i−1
Cr n Cr n λ λ
= uni + ui−1 − ui+1 + uni+1 − λuni + uni−1
4 4 2 2
Se tiene

Cr λ n+1 Cr λ Cr λ n Cr λ
(− − )ui−1 +(1+λ)un+1i +( − )un+1i+1 = ( + )ui−1 +(1−λ)uni +(− + )uni+1
4 2 4 2 4 2 4 2
(3.12)
Con error de truncación 0(∆x2 , ∆t2 )
3. La ecuación de Advección Difusión. 61

Teorema 8 (Análisis de la Ecuación de Convección Difusión Transitorio)

La ecuación de convección difusión

∂u ∂u ∂2u
+α =β 2 x ∈ h0, bi t ∈ [0, T ] (3.13)
∂t ∂x ∂x
Con el esquema implicito de Crank-Nicolson

Cr λ n+1 Cr λ Cr λ n Cr λ
(− − )ui−1 +(1+λ)un+1
i +( − )un+1
i+1 = ( + )ui−1 +(1−λ)uni +(− + )uni+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
Es incondicionalmente estable para Cr = α ∆x P e = α ∆x
β
y
Es Convergente.

Demostración

Veremos el :

Análisis de la Consistencia
Al inicio de la sección, tenemos que el error de truncatura es
3
(∆x)2 ∂ 4
 
1 2 ∂ ∗
 ∗ 

τjn = − (∆t) 3 u(x , ξ) −

4
u(β, y )
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 y m2 para u suficientemente regular tal que

τjn ≤ m1 ∆t2 + m2 ∆x2 denotamos τjn = 0(∆t2 , ∆x2 )

Por lo tanto el problema con este esquema es consistente.

62 3.1. Diferencias finitas en la Ecuación de Advección difusión

Análisis de la Estabilidad
Sea la solución discreta
√
Ujn = fn eikj∆x i= −1
reemplazando en (3,13) tenemos:

   
Cr λ ik(j−1)∆x ikj∆x Cr λ
− − fn+1 e + (1 + λ)fn+1 e + − fn+1 eik(j+1)∆x =
4 2 4 2
   
Cr λ ik(j−1)∆x ikj∆x Cr λ
= + fn e + (1 − λ)fn e + − + fn eik(j+1)∆x
4 2 4 2

    
Cr λ ik(j−1)∆x ikj∆x Cr λ ik(j+1)∆x
fn+1 − − e + (1 + λ)e + − e =
4 2 4 2
    
Cr λ ik(j−1)∆x ikj∆x Cr λ ik(j+1)∆x
= fn + e + (1 − λ)e + − + e
4 2 4 2

    
Cr λ −ik∆x Cr λ ik∆x
fn+1 − − e + (1 + λ) + − e =
4 2 4 2
    
Cr λ −ik∆x Cr λ ik∆x
= fn + e + (1 − λ) + − + e
4 2 4 2

 
Cr ikj∆x −ikj∆x

λ ikj∆x −ikj∆x


fn+1 e −e − e +e + (1 − λ) =
4 2
 
Cr ikj∆x −ikj∆x

λ ikj∆x −ikj∆x


= fn − e −e + e +e + (1 − λ)
4 2

 
Cr λ
fn+1 2i sin(k∆x) − 2 cos(k∆x) + (1 + λ) =
4 2
 
Cr λ
= fn − 2i sin(k∆x) + 2 cos(k∆x) + (1 − λ)
4 2

   
Cr Cr
fn+1 1 + λ − λ cos(k∆x) + i sin(k∆x) = fn 1 − λ + λ cos(k∆x) − i sin(k∆x)
2 2
3. La ecuación de Advección Difusión. 63

( )
1 − λ + λ cos(k∆x) − i Cr
2
sin(k∆x)
fn+1 = fn Cr
1 + λ − λ cos(k∆x) + i 2 sin(k∆x)

Ası́ tenemos que

( )n
1 − λ + λ cos(k∆x) − i Cr
2
sin(k∆x)
fn+1 = f0 Cr
1 + λ − λ cos(k∆x) + i 2 sin(k∆x)

Afirmamos que
 
 1 − λ[1 − cos(k∆x)] − i Cr sin(k∆x) 
2
<1
 
 1 + λ[1 − cos(k∆x)] + i Cr

2
sin(k∆x) 
En efecto, pues se quiere demostrar que
2
{1 − λ[1 − cos(k∆x)]}2 + Cr

2
sin(k∆x)
2  Cr 2 < 1
{1 + λ[1 − cos(k∆x)]} + 2 sin(k∆x)

Como 1 − cos(k∆x) > 0 Se tiene que

0 < 2 {2λ[1 − cos(k∆x)]}

es decir tenemos que

0<{(1+λ[1−cos(k∆x)])+(1−λ[1−cos(k∆x)])}{(1+λ[1−cos(k∆x)])−(1−λ[1−cos(k∆x)])}

0 < (1 + λ [1 − cos(k∆x)])2 − (1 − λ [1 − cos(k∆x)])2

2
Sumando miembro a miembro Cr

2
sin(k∆x)
2 2
0<{1−λ[1−cos(k∆x)]}2 +{ Cr
2
sin(k∆x)} <{1+λ[1−cos(k∆x)]}2 +{ Cr
2
sin(k∆x)}

se tiene entonces que

2
{1 − λ[1 − cos(k∆x)]}2 +
 Cr
2
sin(k∆x)
2  Cr 2 < 1
{1 + λ[1 − cos(k∆x)]} + 2 sin(k∆x)
Por lo tanto se tiene que lo que queremos probar
64 3.1. Diferencias finitas en la Ecuación de Advección difusión

 
 1 − λ[1 − cos(k∆x)] − i Cr sin(k∆x) 
2
<1
 
 1 + λ[1 − cos(k∆x)] + i Cr

2
sin(k∆x) 

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

Análisis de la Convergencia
Aqui usamos el teorema de LAX, Para este problema que cumple la condi-
ción de Consistencia y Estabilidad, lo cual implica la Convergencia de nuestro
algoritmo.