Simulacin Numrica de

Yacimientos

Dr. Fernando Rodrguez de la Garza

e-mail: frodriguezd@pep.pemex.com
Tel: 55508712, 5622 3017 al 19

Captulo 3.
Diferencias Finitas

1
 3.1 Diferencias Finitas
Considerar que para cada en el intervalo existen la funcin
y hasta su derivada, o sea:
Entonces, la expansin de al rededor del punto contenido en el
intervalo ser:

( )= ( )+ ( ) +
( ) + +
( )
(3.1)

donde,
= + ( )

Diferencias Finitas

Ntese que la expansin dada por la Ec. 3.1 contiene trminos

solamente y aun es exacta. Reemplazamos la acostumbrada serie
infinita de Taylor por una serie finita. Esto es posible ya que como se
puede apreciar, el trmino est evaluado no en el punto
sino en el punto que se desconoce pero que se sabe est contenido
en el intervalo

La Ec. 3.1 sirve de base en la aproximacin de las derivadas que

constituyen las ecuaciones de flujo de fluidos en medios porosos que
nos ocupan, como se ver a continuacin.

2
 3.2 Aproximaciones de la primera derivada.

3.2.1 Diferencias Progresivas.

Considerar en la Ec. 3.1: y + . Esto es:

( + )= ( )+ + 3.2

De esta ecuacin, se puede obtener la siguiente expresin para la

aproximacin de la primera derivada:

=
( + ) ( )
3.3

3.2.1Diferencias Progresivas.

Ntese que no existe manera de evaluar el ltimo trmino de la Ec.

3.3 no se tiene informacin de la segunda derivada, y
del punto donde debe evaluarse. Este trmino se elimina y constituye
lo que se denomina error local de truncamiento de la aproximacin.
Su anlisis es importante, pues da informacin sobre el orden de la
Aproximacin, que est definido por la potencia de trmino que
Lo multiplica.

3
 Diferencias Progresivas.

En este caso la aproximacin de mediante diferencias

progresivas es de primer orden, o sea O( ). Es comn reescribir
la Ec. 3.3 como:

( + ) ( )
= + ( ) 3.4

Siendo ( el Error Local de Truncamiento, definido como:

( ) = 3.5

3.2 Aproximaciones a la Primera Derivada.

3.2.2 Diferencias Regresivas.

Considerar en 3.1: y esto es:

( )= ( ) + 3.6

De aqu que:

( ) ( )
= + ( ) 3.7

La aproximacin de mediante diferencias regresivas es tambin
de primer orden. Elerror local de truncamiento de la aproximacin es:

( ) = 3.8

4
 3.2 Aproximaciones a la Primera Derivada.
3.2.3 Diferencias Centrales.

Considerar en 3.1: y escribir en y :

( + )= ( )+ + + 3.9

y

( )= ( ) + 3.10

Restando las Ecs.3.9 y 3.10, se tiene:

( + ) ( )= + + 3.11

3.2.3 Diferencias Centrales

La Ec. 3.11 lleva a la siguiente aproximacin de la primera derivada
mediante diferencias centrales:

( + ) ( )
=

+! ( )
con un error local de truncamiento de segundo orden ! es decir:

! ( )= +

Comparando el error local de truncamiento de la aproximacin anterior,

! con los obtenidos previamente para diferencias progresivas y
regresivas, se tiene que:
" ! ( )< " ( )
# #

5
 3.2.3 Diferencias Centrales

El error de truncamiento de la aproximacin de la primera derivada en

diferencias centrales es menor que el correspondiente a diferencias
progresivas o regresivas.

Para abreviar la escritura de las aproximaciones es conveniente usar

la notacin que a continuacin se muestra, en la que se considera que
x es uniforme. Sea:

Empleando esta notacin se puede ahora escribir las aproximaciones

anteriores de la siguiente manera:

Diferencias progresivas,

= +
+ ( )

Diferencias regresivas,

=
+ ( )

Diferencias centrales,

= +

+! ( )

6

3.3 Aproximacin de Trminos de la Forma

Suponer que y el coeficiente Se desea
aproximar el siguiente trmino diferencial:

...(3.18)

Considrese ahora el ncleo tpico de celdas en 2D:

Usualmente se emplea
la siguiente notacin:

3.3 Aproximacin de Trminos

Si se define,
&= ...(3.19)

se puede entonces escribir la Ec. 3.18 como:

&
=

...(3.20)
Empleando diferencias centrales, Ec. 3.17, en la aproximacin de la
Ec. 3.20 y apoyndose en los puntos % , que corresponden a las
fronteras de la celda i,j en la direccin x, se obtiene:

& & + $
& $

$ ...(3.21)

7
3.3 Aproximacin de Trminos

Sustituyendo u por su definicin, Ec. 3.19:

&
3.22
$ + $
+ $
$
$

Se necesita ahora aproximar ' en las fronteras de las celdas.

Usando de nuevo diferencias centrales y apoyndose ahora en los
nodos $ , $ e $ se obtienen las siguientes aproximaciones:

+ 3.23

$ $

+ $ +

$

$
3.24
$

3.3 Aproximacin de Trminos

Substituyendo las Ecs. 3.23 y 3.24 en la Ec. 3.22, se obtiene:

( + $ ) ( $ )

$ $
$ + $ $

3.25

8
3.4 Aproximacin de los Trminos de la Forma
(

Sea ( una funcin para la cual deseamos obtener

aproximaciones en diferencias finitas de su derivada parcial con
respecto al tiempo.

Se tienen tres opciones:

Diferencias regresivas (esquema implcito en tiempo)
Diferencias progresivas (esquema explcito en tiempo)
Diferencias centrales (esquema Crank-Nicholson)

3.4.1 Aproximacin en diferencias regresivas

)+ )+
)

= + ( ( )
$ $
3.26
( $ (

3.4 Aproximacin de
(

3.4.2 Aproximacin en diferencias progresivas:

)+

)
)

= + ( ( )
$ $
3.27
( $ (

3.4.3 Aproximacin en diferencias centrales:

)+ )+
)

(
=
$

(
$
(
+ ( ) 3.28
$

9
3.4 Aproximacin de
(
La aproximacin de la primera derivada mediante diferencias
centrales es ms exacta que diferencias regresivas y
progresivas.

No se emplean diferencias centrales en tiempo en la SNY: Su

aplicacin requiere de mayor esfuerzo computacional y no se
refleja en mayor estabilidad numrica del algoritmo resultante

Se emplean diferencias regresivas en tiempo!!!

No se emplean diferencias progresivas por la poca estabilidad

numrica de la aproximacin resultante.

El empleo de DFP, DFR DFC en tiempo genera esquemas

numricos con caractersticas totalmente diferentes.

3.5 Notacin de las Ecuaciones Aproximadas en

Operadores de Diferencias.

Sea el operador de diferencias centrales, , definido conforme a las

siguientes propiedades:

& $ & $ + & $ + * & $ 3.29

& $ =& + $
& $ 3.30

& $ = & $+
& $ 3.31

*& $ = & $ +
& $ 3.32

10
Se define tambin el operador de diferencias regresivas en tiempo, t,
como sigue:
)+ ...(3.33)
(& =& )
&
Empleando la notacin de estos operadores es posible escribir las
aproximaciones mostradas en las Ecs. 3.25 y 3.26 como sigue:

$
$
...(3.34)
y
)+

( ...(3.35)
( (
$
$

3.6.3 Esquema Crank-Nicholson.

La derivada parcial con respecto al tiempo, Ec. 3.40, se aproxima

mediante diferencias finitas centrales, esto es:

)+ )+
, )+
+ + = ...(3.49)
(

-
) #

Donde,
)+ )+ )

= + ...(3.50)

11
 Crank-Nicholson

Y,
, ,
+
)+
= (+ )+
+ +) ) ...(3.51)

Substituyendo 3.50 y 3.51 en 3.49 y aproximando las derivadas

parciales mediante diferencias centrales, se obtiene:

)+
)+
+ )+
+ ,
(+ )
) ) )
)+
+
+ +
+ ++) =

)+
)
= ...(3.52)
(

Crank-Nicholson
Rearreglando,

)+
( + ) )+
+ )+
+ = ...(3.53)

,
= )
+ ( ) )
)
+ (
( + )+ + + ) )
O bien,

)+ )+ )+
! + + = )

- ...(3.54)
) #

12
 Crank-Nicholson
Crank-Nicholson en Ec. 3.49 produce de nuevo un sistema
algebraico de ecuaciones lineales en las incgnitas )
- ( C-N implica ms trabajo que el Esquema Implcito).

Nos preguntamos:

1. Cmo se comparan las soluciones obtenidas mediante

cada uno de los mtodos con la solucin exacta?

2. Cul de los mtodos produce la mejor solucin?

3. Cul es el efecto de y ( sobre el desempeo numrico

de los mtodos y sobre la solucin?.

3.7 Consistencia, Convergencia y Estabilidad

de una Aproximacin Numrica.

Definamos el operador diferencial siguiente:

.= ...(3.54)
(
Con lo que 3.36 se escribe como:
,
. + += ...(3.55)

Si consideramos la aproximacin del Esquema Explcito:

{. }) + , + ) = , )+
+
( ) (( )
) ) ) )
+
+ +) + !
(
- ...(3.56)
)
#

13
Consistencia, Convergencia y Estabilidad

Si se define el siguiente Operador de Diferencias

)+
+
{/ }
) ) ) )
= +

)
...(3.57)
(
La Ec. 3.56 se puede escribir como:

{. }) + , + ) = {/ }) + , + ) + ! ( ) (( ) =
...(3.58)
O bien:

{. }) {/ }) = ! ( ) (( ) = 0 ) ...(3.59)

Consistencia, Convergencia y Estabilidad

La diferencia entre la representacin exacta y aproximada del

problema de flujo en cuestin, es el Error Local de Truncamiento
o de Discretizacin, 0 ).

Por lo que, un operador de diferencias L es consistente con el

operador diferencial A, al cual aproxima, si el Orden Local de la
Aproximacin es mayor o igual que uno.

Que L sea consistente con A implica que en el lmite, cuando

y ( la norma del vector de errores de
discretizacin tambin tiende a cero, 0 .

Una aproximacin numrica debe ser consistente para que tenga

valor prctico.

14
 Consistencia, Convergencia y Estabilidad

Adems de ser consistente, L debe ser convergente al operador

A. Para el problema en cuestin, esto se prueba partiendo de
3.58:

,
{/ } )
+ +) = 0) ...(3.60)

0 ) se desconoce debe ser pequeo y por lo tanto se desprecia:

,
{/ } )
+ +) = ...(3.61)

indica el carcter aproximado de la solucin, comparada con la

solucin exacta de la Ec. 3.60.

Consistencia, Convergencia y Estabilidad

Se define el Error Global de la Solucin como la diferencia entre las

soluciones exacta y aproximada,

) = )
)
...(3.62)

y se dice que / es convergente a . si

cuando y ( ...(3.63)

Donde: = Norma del Vector de Errores Globales

15
 Consistencia, Convergencia y Estabilidad

y 0 se relacionan, lo que se establece restando 3.60 y 3.61,

{/ } {/)
} = {/ (
)
)}) = {/ }) = 0 ) ...(3.63)

O sea,
)++ ) + + )+ )+ )
= 0) ...(3.64)
(

El comportamiento de y es descrito por la misma ecuacin (0 )

en 3.64 equivale a + ) en 3.56): Cumple slo en problemas lineales.

La Ec. 3.64 implica que: !& ) 0

Consistencia, Convergencia y Estabilidad

En problemas prcticos es muy difcil probar directamente la

convergencia de un operador de diferencias finitas.

La convergencia de un operador, sin embargo, se puede establecer

indirectamente probando la estabilidad de un esquema de
aproximacin. Esto es posible a partir del

Teorema de Equivalencia de Lax:

La estabilidad es una condicin necesaria y suficiente
para que exista la convergencia, cuando la aproximacin
es consistente.

16
 Consistencia, Convergencia y Estabilidad

El concepto Estabilidad aplica en problemas dependientes del

tiempo: Un algoritmo numrico es estable si cualquier error,
introducido en alguna etapa de los clculos, no se amplifica en
clculos subsecuentes.

) afecta las soluciones de 1)

Tipos de errores:
Redondeo (son fijos y depende de precisin de la computadora)
Discretizacin (inherente a la solucin numrica, t y x)

Series de Fourier

Mtodos para probar

estabilidad
Matricial

Condicin de Estabilidad de los Esquemas de

Aproximacin
Mtodo de las Series de Fourier
Se representa el error global de la solucin ) mediante una serie
discreta de Fourier, como sigue:
3
=)
. )
=
Donde,
) =) 2 /
y
. Coeficientes que se obtienen a partir de C.F.

)
Coeficientes que se obtienen a partir de C.I.

17
Condicin de Estabilidad de los Esquemas de
Aproximacin

El crecimiento del m-simo componente ) est condicionado

por
)

, el Factor de Amplificacin.

)+ )+
Criterio de
Estabilidad ) )

Substituyendo ) en 3.64 (con 0 ) #

3
)[ 2 / 2 / + 2 / + ]
=

3
( )+
) )2 / =
( =

Condicin de Estabilidad de los Esquemas

O bien,
3
) 2 / [ 2 / + 2 / ]
=

3
) 2 / )+
=
( = )

Si se define, (
=

Entonces,

)+
3

=
) 2 / [ 2 /
+ 2 /

)
]=

18
Condicin de Estabilidad de los Esquemas
Pero,
2 + 2 =5 6

y el trmino en corchetes de la anterior ecuacin se escribe como:

[ 5 6( / ) ]
)+
=
)
Tambin,
5 6 ( )
/ = 42) /
Por lo que:
)+
42) / ) + =

Condicin de Estabilidad de los Esquemas

La condicin general de estabilidad es,
)+ )+
o bien,
) )
Condicin de Estabilidad del Esquema Explcito,
Se cumple
(
42) / para cualquier
valor de

El Esquema
(

( Explcito es

42) / Condicionalmente
Estable

19
Condicin de Estabilidad de los Esquemas

Procediendo de manera similar, se puede probar que el Esquema

Implcito de aproximacin, aplicado al problema de flujo en cuestin,
es Incondicionalmente Estable. En este caso se obtiene que

)+
=
) (
+ 42) /

La C. E. implica:

El Esquema
Implcito es
( Incondicionalmente
+ 42) / Estable

Ambas desigualdades se cumplen para cualquier valor de !!!

3.8 Construccin de Mallas

La solucin numrica de las ecuaciones de flujo de fluidos en

medios porosos consiste en obtener una representacin aproximada
de las ecuaciones diferenciales en puntos especficos del espacio y
del tiempo: - ) # ,... para el problema unidimensional.

El dominio del problema, en espacio y en tiempo, se segmenta o

discretiza; se genera as una malla de clculo, constituida de celdas
y nodos, donde se obtiene la solucin en etapas sucesivas de
tiempo.

20
 Construccin de Mallas

Existen bsicamente dos tipos de mallas en la simulacin numrica:

(a) Mallas de nodos distribuidos.

(b) Mallas de bloques centrados.

Los nodos y los bloques, o celdas, a su vez pueden ser distribuidos

de manera uniforme o no uniforme.

Las mallas no uniformes son necesarias cuando:

Se simulan problemas con regiones que experimentan cambios

fuertes en la presin y en las saturaciones, a lo largo del tiempo:
Conificacin de fluidos, representacin de acuferos, etc.
Se tienen yacimientos geolgicamente complejos: Arquitectura
compleja, fallas, acuamientos, etc.

3.8.1 Mallas de Nodos Distribuidos

En un yacimiento lineal de longitud L, y rea transversal al flujo A,

una malla de nodos distribuidos uniformemente se construye
colocando primeramente los nodos de las fronteras del yacimiento y
entre ellos se distribuyen, con espaciamiento uniforme, el resto de
los nodos. Una vez definida la posicin de los nodos, se procede a
definir la posicin de las fronteras de las celdas, en el punto medio
entre los nodos.
'

7 -

21
 Malla de Nodos Distribuidos

Si se considera un total de - nodos, su espaciamiento, , es:

/
= ...(3.66)
-
Ntese que el volumen de las celdas situadas en las fronteras es la
mitad del volumen de las celdas internas, es decir:
. = -
8 = ...(3.67)
. = -
La posicin de los nodos es:
= = -
...(3.68)
y la posicin de la frontera de las celdas es:

+
= = - ...(3.69)

3.8.2 Malla Uniforme de Bloques Centrados:

Se construyen situando celdas de tamao uniforme en el yacimiento y

ubicando posteriormente los nodos en el centro de cada una de ellas.
'

7 -

/
= =
-
8 = . = = -
+

22
3.8.3 Construccin de una malla radial cilndrica.

Se requiere en el modelado del flujo de fluidos hacia un pozo (

generalmente se emplean coordenadas cilndricas, ( ,,*) )

Para representar adecuadamente las fuertes variaciones de la

presin y saturacin de los fluidos en las vecindades del intervalo
disparado del pozo, es necesario emplear una malla no uniforme en
la direccin radial.

La mejor representacin del flujo radial en una malla se obtiene

definiendo el tamao de las celdas proporcionalmente a su cada
de presin, lo que se consigue empleando una malla logartmica
de nodos distribuidos o de bloques centrados.

Construccin de una malla radial cilndrica

Considerar:
Flujo radial en rgimen permanente
Viscosidad y factor de volumen del fluido constantes

El gasto del fluidos entonces se expresa como:

+ = 6 = ! ) ( )(2 (3.74)

Integrando,

+ = 6
2
(3.75)

23
 Construccin de una malla radial cilndrica

Ahora bien, la representacin exacta del gasto en la frontera '

comn a las celdas e , de acuerdo con 3.75 est dada por:
'

7 -
' '

+ 9 = + = 6 +

( )
3.76
+

Construccin de una Malla Radial Cilndrica

Ahora bien, 3.74 se puede aproximar numricamente en '

mediante diferencias finitas centrales como sigue:

+: = + + = 6 ( + ) 3.77
+

Si hacemos que,
+9 = + : 3.78

3.76 y 3.77 en 3.78,

( )
6 +
= 6 ( ) 3.79
( + ) +
+

24
 Construccin de una Malla Radial Cilndrica
De 3.79 encontramos que para que +9 +: es necesario que

= +
3.80
+
( + )
' = Promedio logartmico de e

Por otro lado, de 3.76, tenemos que:

+9 + = 6
( + ) 3.81

( + )

+9 = 6
( )
( )
3.82

Construccin de una Malla Radial Cilndrica

Puesto que en rgimen permanente +9 ' +9 ' dividiendo
(3.81) entre (3.82),

+9 + ( )( )
= +
= 3.83
+9 ( + )( )

De 3.83, para que debe cumplirse,

( + )= ( ) =! ) ( )(2 3.84

Lo que conduce a:

-
( + ) = (- ) ( + )= ( - ) 3.85
=

25
 3.8.3.1 Malla Radial Cilndrica de Nodos Distribuidos

El desarrollo previo es comn a las mallas radiales de nodos

distribuidos y bloques centrados. Ahora se definir la primera de estas:
'

7 -

' '

Si en 3.85 se escribe ; - 2,

(- ) ( + )= (2 ; ) 3.86

Malla Radial Cilndrica de Nodos Distribuidos

Por lo tanto,

( + )= ( 2 ; ) (- )
= 3.87

Donde,
Factor de distribucin geomtrica de los radios de los nodos
2 Radio de drene del pozo
; Radio del pozo
- Nmero de celdas en la direccin radial

Entonces, el radio de los nodos de las celdas est dado como:

+ = 3.88

26
 3.8.3.2 Malla Radial Cilndrica de Bloques Centrados

'

7 -
' '

En este caso, la ec. 3.85 aplica directamente,

(- ) ( + )= (- )
O bien,
( + )= ( - ) (- )
= 3.89

Malla Radial Cilndrica de Bloques Centrados

De 3.80 y 3.88,

= =

= = ( )

;

De donde se obtiene que,

= 3.90
( ) ;

Similarmente,

= = -+ -
=
- -
=
( )
-+

2 -

27
 Malla Radial Cilndrica de Bloques Centrados

Por lo que,

=
-
( ) 2 3.91

Substituyendo 3.90 y 3.91 en 3.89,

-

=( ) (- )
= 2 =( ) (- )
-
2 ;
;

Por lo tanto,

=( 2 ; ) -
3.92

Construccin de Mallas Radial Cilndrica: Receta

Datos: 2 ; -
Nodos Distribuidos Blolques Centrados

=(2 ) (- ) =( 2 ; ) -
;

' ; < - ' 2

; < - 2

=
=
7- ( ) ;

=
7-

= +
= +
+
( + ) +
( + )

28