SNY Cap3

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
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.
3.2 Aproximaciones de la primera derivada.

3.2.1 Diferencias Progresivas.
Considerar en la Ec. 3.1:
)= ( )+
. 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,
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
Lo multiplica.
que
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:
=
Siendo (
+ )
( )
+ (
3.4
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:
)=
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
3.2 Aproximaciones a la Primera Derivada.

3.2.3 Diferencias Centrales.
Considerar en 3.1:
+ )=
y escribir
( )+
en
3.9
)=
( )
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:
"
! (
)<
"
( )
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,
+!
3.3 Aproximacin de Trminos de la Forma

Suponer que
y el coeficiente
aproximar el siguiente trmino diferencial:
Se desea
...(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)

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

Substituyendo las Ecs. 3.23 y 3.24 en la Ec. 3.22, se obtiene:
(
$
+ $
3.25
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
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,
siguientes propiedades:
&
&
+ &
&
=&
&
= &
$+
*&
= &
, definido conforme a las
+ * &
&
&
&
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)
)+
...(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)
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

Adems de ser consistente, L debe ser convergente al operador
A. Para el problema en cuestin, esto se prueba partiendo de
3.58:
{/ }
...(3.60)
+) = 0)
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.

Se define el Error Global de la Solucin como la diferencia entre las
soluciones exacta y aproximada,
) =
y se dice que / es convergente a

Donde:
cuando
...(3.62)
. si
...(3.63)
= Norma del Vector de Errores Globales
15
y 0 se relacionan, lo que se establece restando 3.60 y 3.61,
{/ } {/
)
O sea,
} = {/ (
)
)++ ) + + )+
)}) = {/ }) = 0 )
)+ )
= 0)
...(3.63)
...(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:
!& )

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

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:
. )
Donde,
=)
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

)
por
, el Factor de Amplificacin.
)+
)
Criterio de
Estabilidad
)[
)+
)2
)+
)
Substituyendo ) en 3.64 (con 0 )

3
est condicionado
#
/ +
/ +
/ =
Condicin de Estabilidad de los Esquemas

O bien,
3
/ [
3
Si se define,
/ +
/
=
)+
/ ]
Entonces,
3
=
[ 2
)+
]=
18

Pero,
2 + 2
=5 6
y el trmino en corchetes de la anterior ecuacin se escribe como:
[ 5 6(
Tambin,
)+
/ ) ]
5 6
42)
/ = 42)
Por lo que:
)+
/ ) + =

La condicin general de estabilidad es,
)+
)
)+
)
o bien,
Condicin de Estabilidad del Esquema Explcito,

42)
42)
(
/
Se cumple
para cualquier
valor de
El Esquema
Explcito es
Condicionalmente
Estable
19

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:
42)
El Esquema
Implcito es
Incondicionalmente
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.
'
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.
/
-
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
Integrando,
+ = 6
= ! ) ( )(2
(3.74)
(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
Si hacemos que,
'
3.77
+9 = + :
3.78
3.76 y 3.77 en 3.78,
)
= 6
)
3.79
24

+9 +: es necesario que
De 3.79 encontramos que para que

+
3.80
' = Promedio logartmico de
Por otro lado, de 3.76, tenemos que:
+9 +
+9
= 6
= 6
)
)
3.81
)
)
3.82

Puesto que en rgimen permanente +9
(3.81) entre (3.82),
+9 +
+9
(
(
)(
)(
De 3.83, para que
+9
'
'
dividiendo
)
=
)
3.83
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,
2
;
Factor de distribucin geomtrica de los radios de los nodos

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
'
'
'
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,
Similarmente,
-+
-+
3.90
( )
27
Malla Radial Cilndrica de Bloques Centrados

Por lo que,
( )
3.91
Substituyendo 3.90 y 3.91 en 3.89,

-
=(
(- )
Por lo tanto,
=(
=(
(- )
3.92
Construccin de Mallas Radial Cilndrica: Receta

Datos: 2 ; -
Blolques Centrados
Nodos Distribuidos
=(2
;
<
(- )
'
<
7-
=(
=
'
7-
28

SNY Cap3

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

SNY Cap3

Cargado por

Copyright:

Formatos disponibles

Simulacin Numrica de

3.1 Diferencias Finitas

trmino est evaluado no en el punto

sino en el punto que se desconoce pero que se sabe est contenido

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

3.2 Aproximaciones de la primera derivada.

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

del punto donde debe evaluarse. Este trmino se elimina y constituye

el Error Local de Truncamiento, definido como:

3.2 Aproximaciones a la Primera Derivada.

3.2 Aproximaciones a la Primera Derivada.

Restando las Ecs.3.9 y 3.10, se tiene:

3.2.3 Diferencias Centrales

con un error local de truncamiento de segundo orden

Comparando el error local de truncamiento de la aproximacin anterior,

3.2.3 Diferencias Centrales

Empleando esta notacin se puede ahora escribir las aproximaciones

3.3 Aproximacin de Trminos de la Forma

Considrese ahora el ncleo tpico de celdas en 2D:

3.3 Aproximacin de Trminos

se puede entonces escribir la Ec. 3.18 como:

3.3 Aproximacin de Trminos

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

3.3 Aproximacin de Trminos

3.4 Aproximacin de los Trminos de la Forma

3.4.1 Aproximacin en diferencias regresivas

3.4.2 Aproximacin en diferencias progresivas:

3.4.3 Aproximacin en diferencias centrales:

La aproximacin de la primera derivada mediante diferencias

3.5 Notacin de las Ecuaciones Aproximadas en

, definido conforme a las

Se define tambin el operador de diferencias regresivas en tiempo, t,

Empleando la notacin de estos operadores es posible escribir las

3.6.3 Esquema Crank-Nicholson.

Substituyendo 3.50 y 3.51 en 3.49 y aproximando las derivadas

3.7 Consistencia, Convergencia y Estabilidad

Con lo que 3.36 se escribe como:

Si consideramos la aproximacin del Esquema Explcito:

Consistencia, Convergencia y Estabilidad

La Ec. 3.56 se puede escribir como:

Consistencia, Convergencia y Estabilidad

La diferencia entre la representacin exacta y aproximada del

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

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

Una aproximacin numrica debe ser consistente para que tenga

Consistencia, Convergencia y Estabilidad

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

indica el carcter aproximado de la solucin, comparada con la

Consistencia, Convergencia y Estabilidad

y se dice que / es convergente a

= Norma del Vector de Errores Globales

Consistencia, Convergencia y Estabilidad

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

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

Consistencia, Convergencia y Estabilidad

Teorema de Equivalencia de Lax:

Consistencia, Convergencia y Estabilidad

) afecta las soluciones de 1)

Mtodos para probar

Condicin de Estabilidad de los Esquemas de

Coeficientes que se obtienen a partir de C.F.

Condicin de Estabilidad de los Esquemas de

El crecimiento del m-simo componente