Notas del Curso

Modelos Matematicos y Numericos de la

Producci on del Petr oleo
Norberto Vera Guzm an Febrero del 2010
CONCEPTOS B

ASICOS
Construcci on de modelos fsicos:
Ecuaciones de Balance,
Ecuaciones Constitutivas,
Ecuaciones de Estado.
Teorema de Transporte de Reynolds
Sea B un cuerpo, P una parte de el, un campo espacial suave con valores escalares o
vectoriales. Entonces, para cualquier P B y para cualquier t > 0, se tiene que
d
dt
_
Pt
dV =
_
Pt
(

+ divv) dV,
d
dt
_
Pt
dV =
_
Pt
(

+ div(v))dV,
d
dt
_
Pt
dV =
_
Pt

dV +
_
Pt
vndA.
(1)
donde: la notacion

indican
d
dt
y

t
respectivamente.
Teorema de Localizaci on.
Sea un campo escalar o vectorial continuo sobre un conjunto abierto R. Entonces dado
cualquier x
0
R se tiene que
(x
0
) =
lim
0
1
vol(

)
_

dV, (2)
1
donde

( > 0) es una bola cerrada de radio centrada en x

0
. Por lo tanto, si
_

dV = 0, (3)
para cualquier bola cerrada R, entonces
= 0. (4)
APLICACI

ON DE CONCEPTOS BASICOS
Modelo Compresible Darciano de Flujo
Considerese en un tiempo t (0, T), T > 0 una parte material P
t
(x) de un dominio jo
alrededor del punto x . Entonces, de acuerdo con el Teorema de Transporte de
Reynolds, la variacion en el tiempo de la masa m contenida en P
t
considerando fuentes y
sumideros en el interior de P
t
, puede ser expresada como,
d
dt
m(P
t
) =
d
dt
_
P
t
d =
_
P
t
_
()
t
+ div(v
a
)
_
d =
_
P
t
q d. (5)
donde:
[-] = es la porosidad del medio
[ML
3
] = es la densidad de masa del uido,
v
a
[LT
1
] = es la velocidad promedio del uido y,
q[ML
3
T
1
] = es la razon de ujo de masa de uido.
Ahora bien, haciendo uso del Teorema de Localizacion, en donde por medio de un proceso
continuo contraemos P
t
(x) hacia el punto x , se obtiene lo siguiente
()
t
+ div(v
a
) = q en (0, T). (6)
Considerando la expresion anterior y la ecuacion constitutiva de Darcy, que describe el
movimiento de un uido en un medio poroso a nivel macroscopico por medio del campo
de velocidad u, se llega a establecer el modelo de ujo Darciano en un medio poroso por
medio del siguiente sistema de ecuaciones.
K
1
u = grad p +g
()
t
+ div(u) = q
_

_
en (0, T). (7)
donde: la velocidad de Darcy u y la velocidad promedio v
a
estan relacionadas por
u = v
a
(8)
siendo [Pa s] es la viscosidad dinamica del uido.
Considerando que la densidad del uido y la porosidad del medio son funciones de la
presion p, = (p) y = (p), la derivada temporal en el sistema anterior queda expre-
sada como
2

t
() =
_

p
+

p
_
p
t
(9)
que expresan la compresibilidad del uido y del medio poroso en funcion de p. Entonces,
de manera explcita, el modelo de ujo compresible Darciano en un medio poroso queda
expresado como
((p)K)
1
w = grad p +(p)g,
_

p
+

p
_
p
t
+ divw = q,
_

_
en (0, T), (10)
donde: se ha introducido la razon de ujo de masa w = u [ML
2
T
1
].
Por ultimo, se establece la interaccion del sistema con su exterior y su estado inicial por
medio de una condicion de frontera tipo Neumann de ujo de masa normal prescrito w
n
y una condicion de frontera tipo Dirichlet de presion prescrita p y la respectiva condicion
inicial del sistema
w n = w
n
, sobre
N
(0, T),
p = p, sobre
D
(0, T),
p(x, 0) = p
0
(x), en .
(11)
donde, =
N

D
.
El sistema de ecuaciones (10), conjuntamente con las condiciones de frontera y la condicion
inicial (11), constituyen un modelo de ujo monofasico mixto dual compresible Darciano,
ujo de masa-presion (wp) en un medio poroso, en el cual la densidad del uido y la
porosidad del medio son funciones de la presion p.
Modelo Incompresible Darciano de Flujo
Ahora bien, considerando que la densidad del uido y la porosidad del medio son
independientes de la presion p, se obtiene el sistema de ecuaciones
K
1
(x)u(x) = grad p(x) +g,
divu(x) = q(x),
_

_
x , (12)
que, complementado con sus condiciones de frontera
u n = u
n
, sobre
N
,
p = p, sobre
D
.
(13)
para =
N

D
, constituyen el modelo de ujo monofasico mixto dual incompresible
Darciano, velocidad-presion (u p) en un medio poroso.
En este caso, solo se necesita especicar la interaccion del sistema con su exterior.
3
Modelo de Transporte de Contaminantes
Continuando con la aplicacion de los canceptos basicos a la construccion de modelos
fsicos, presentamos a continuacion el problema del transporte de contaminantes. Para
ello, consideremos una parte material P
t
de un dominio de ujo jo en un tiempo
t (0, T), T > 0.
Formas de denir la concentracion.
Porcentaje masa-masa (% m/m)
%masa =
masa del soluto (g)
masa de la solucion (g)
100
Porcentaje volumen-volumen (% V/V)
%volumen =
volumen del soluto (mL)
volumen de la solucion (mL)
100
Concentracion en masa (% m/V)
% masa =
masa del soluto (g)
volumen de la solucion (mL)
100
Sea c [] volumen del soluto (mL) entre volumen de la solucion (mL), la concentracion
volumetrica del contaminante en la solucion. Entonces, el balance de masa del soluto en
la fase uida para cualquier parte P
t
del dominio puede ser expresada como
d
dt
_
Pt
(c) d =
_
Pt
_
(c)
t
+ div(cu
a
)
_
d =
_
Pt
q( cc) d
_
Pt
sn d (14)
donde, c es la concentracion de las fuentes en puntos de inyeccion, y c es la concentracion en
puntos de extraccion. Los terminos q c qc [ML
3
T
1
] representan las fuentes-sumideros
del sistema, s [ML
2
T
1
] representa el ujo difusivo-dispersivo del contaminante y n es
el vector normal unitario exterior a la frontera de P
t
, P
t
.
Entonces, haciendo las siguientes consideraciones: el medio es no-deformable, constante
en el tiempo; la Ley de Darcy es valida para el movimiento de la mezcla u = u
a
; el ujo
difusivo-dispersivo del contaminante esta expresado por s = D(u)grad c, aplicando
el Teorema de la Divergencia y el Teorema de Localizacion, en donde por medio de un
proceso continuo contraemos P
t
(x) hacia el punto x, se obtiene
(c)
t
+ div(cu D(u)grad c) = q( c c), en (0, T) (15)
donde: D[L
2
T
1
] denota el tensor de difusion-dispersion [5, 6], que depende de la veloci-
dad macroscopica u.
D(u) =
_
d
m
I +u(d
l
E(u) +d
t
E

(u))
_
(16)
y las correspondientes expresiones para E(u) y E

(u) son
E(u) =
1
u
2
(u u)
E

(u) = I E(u)
(17)
4
La ecuacion anterior constituye el modelo de transporte de un contaminante para un campo
vectorial u dado, en el que se puede distinguir una parte advectiva div(cu), y una parte
difusiva div(D(u)gradc). Para complementar este modelo, se han de especicar sus
condiciones de frontera y su condicion inicial, de la siguiente manera.
c = c, sobre
c
D
(0, T),
D(u)grad c n = w
n
, sobre
c
N
(0, T),
(18)
c(x, 0) = c
0
(x), en . (19)
Como en los casos anteriores, considerando la frontera del dominio de ujo constituida
por sus partes disjuntas Neumann y Dirichlet =
N

D
.
Si consideramos que el campo vectorial u no es un dato sino una incognita mas, entonces
el modelo de transporte debera estar acoplado a un modelo de ujo de la siguiente manera.
Modelo de ujo acoplado al modelo de transporte considerando w = (c)u.
w =
(c)
(c)
K(grad p (c)g),
((c))
t
+ div(w) = (c) q,
_

_
en (0, T), (20)
con sus correspondientes condiciones de frontera y condicion inicial.
w n = w
n
, sobre
N
(0, T),
p = p, sobre
D
(0, T),
p(x, 0) = p
0
(x), en .
(21)
donde, =
N

D
.
Transporte de multicomponentes en una fase uida
(c
i
)
t
+ div(uc
i
D
i
(u)grad c
i
) = q( c c
i
), i = 1, 2, ..., N
c
(22)
donde: c
i
, q
i
y D
i
, N
c
son la concentracion volumetrica, el termino de fuentes/sumideros,
el tensor de difusion-dispersion, y el numero de conponentes en el uido. La restriccion
para la concentracion es
N
c

i=1
c
i
= 1
MODELO BIFASICO INMISCIBLE INCOMPRESIBLE
Como ultima aplicacion de los conceptos basicos a la construccion de modelos fsicos, se
presenta la construccion del modelo bifasico de ujo inmiscible incompresible en un medio
poroso.
Para esto, considerando un dominio y dos fases uidas denotadas por = w y = n, en
el intervalo de tiempo (0, T), T > 0 sin transferencia de masa entre las fases y considerando

= cte. Se denotara tambien por s

[-] = {w, n}, el campo de saturacion volumetrica

5
de la fase , relacionada con el contenido volumetrico de la fase en terminos de la
porosidad por medio de

= s

. De manera analoga, se denotaran las permeabilidades

efectivas de cada fase K

[L
2
] relativas a la permeabilidad intrnseca del medio K [L
2
]
por K

= k
r
(s

)K, siendo k
r
(s

) la permeabilidad relativa de la fase dependiente de

la saturacion de la fase . Entonces, denotando la velocidad macroscopica de Darcy para
la fase por u

u
a
, el sistema de ecuaciones que describe el ujo bifasico inmiscible
incompresible en un medio poroso se puede expresar para = {w, n} como
u

=
k
r
(s

K(grad p

g),
(

)
t
+div(

) = q

,
_

_
en (0, T), (23)
sujetas a la restriccion de saturacion total del medio
s
w
+s
n
= 1, (24)
y complementadas por la relacion entre presion acuosa p
w
, presion no-acuosa p
n
y presion
capilar p
c
[3, 4].
p
c
(s) = p
w
p
n
. (25)
Para que este problema quede completamente determinado, habra que especicar la in-
teraccion del sistema con su medio ambiente y su estado inicial.
Formulaciones alternativas para ujo bifasico
Presentamos algunas de las formulaciones en que podemos expresar el modelo de ujo
bifasico. Considerando que p
c
tiene inversa unica
s
w
= p
1
c
(p
w
p
n
) (26)
el modelo de ujo bifasico se puede expresar en forma mixta y en forma primal como:
Versi on mixta: formulaci on velocidades-presiones de fase (u
w
, p
w
, u
n
, p
n
)
u
w
=
k
rw
(s
w
)

w
K(grad p
w

w
g),
(
w
p
1
c
)
t
+div(
w
u
w
) = q
w
,
u
n
=
k
rn
(s
n
)

n
K(grad p
n

n
g),
(
n
(1 p
1
c
))
t
+div(
n
u
n
) = q
n
.
(27)
Versi on primal: formulaci on presiones de fase (p
w
, p
n
)
(
w
p
1
c
)
t
div(

w
k
rw
(s
w
)

w
K(grad p
w

w
g)) = q
w
,
(
n
(1 p
1
c
))
t
div(

n
k
rn
(s
n
)

n
K(grad p
n

n
g)) = q
n
.
(28)
6
Considerando como campos principales (u
w
, s
w
, u
n
, p
n
), se obtiene la formulacion (velocidad-
saturacion de la fase acuosa-velocidad-presion de la fase no acuosa).
Versi on mixta: Formulaci on (u
w
, s
w
, u
n
, p
n
)
u
w
=
k
rw
(s
w
)

w
K(grad (p
c
+p
n
)
w
g),
=
k
rw
(s
w
)

w
K(grad p
n
+
dp
c
ds
w
grad s
w

w
g),
(
w
s
w
)
t
+div(
w
u
w
) = q
w
,
u
n
=
k
rn
(s
n
)

n
K(grad p
n

n
g),
(
n
(1 s
w
))
t
+div(
n
u
n
) = q
n
.
(29)
Si se consideran como campos principales saturacion acuosa y presion no acuosa (s
w
, p
n
),
se obtiene
Versi on primal: formulaci on (s
w
, p
n
)
(
w
s
w
)
t
div
_

w
k
rw
(s
w
)

w
K(grad (p
c
+p
n
)
w
g)
_
=
(
w
s
w
)
t
div
_

w
k
rw
(s
w
)

w
K(grad p
n
+
dp
c
ds
w
grads
w

w
g)
_
= q
w
,
(
n
(1 s
w
))
t
div
_

n
k
rn
(s
n
)

n
K(grad p
n

n
g)
_
= q
n
.
(30)
Por ultimo, considerando como campos principales velocidad total, presion global, ujo
de saturacion y saturacion (u, p, w, s) con s = s
w
, se puede expresar el modelo de ujo
bifasico en terminos de dos modelos mixtos acoplados. Notese que, debido a que las
densidades de las fases son constantes, estas se ha suprimido pero se ha conservado la
misma simbologa para denotar el termino de fuentes-sumideros q
w
, q
n
.
Versi on mixta: Formulaci on (u, p, w, s)
u = K(grad p (
w

w
+
n

n
)g),
divu = q,
w = D(s)K
_
grad s
(
w

n
)
p

c
(s)
g
_
,

s
t
+ divw + div(
w
u) = q
w
.
(31)
De manera analoga a como se hizo en los casos anteriores, si consideramos como campos
principales la presion global y la saturacion, podemos obtener una version primal.
7
Versi on primal: Formulaci on (p, s)
div {K(grad p (
w

w
+
n

n
)g)} = q,

s
t
div
_
D(s)K
_
grad s
(
w

n
)
p

c
(s)
g
__
div {
w
[K(grad p (
w

w
+
n

n
)g)]} = q
w
.
(32)
Metodologa a seguir
La metodologa esta enfocada a desarrollar los siguientes puntos.
1. Planteamiento del problema fsico.
2. Planteamiento del problema matematico.
3. Formulacion variacional del problema.
4. Formulacion del problema en espacios de dimension nita.
5. Resolucion para los sistemas de ecuaciones lineales o no-lineales resultantes.
6. Construccion del modelo computacional.
7. Posprocesamiento
En el planteamiento del problema de ujo bifasico inmiscible incompresible en un medio
poroso, se tienen de manera explcita: dos ecuaciones que describen la velocidad macroscopica
de cada fase; dos ecuaciones mas que establecen la conservacion de masa para cada fase
o la variacion temporal local de masa en cada fase; una ecuacion para la restriccion de
saturacion total del medio; y por ultimo, la relacion entre presion acuosa p
w
, presion
no-acuosa p
n
y presion capilar p
c
. Las correspondientes ecuaciones se presentan a con-
tinuacion, aclarando que se han hecho algunas hipotesis de trabajo, y se usa la siguiente
notacion.
densidad acuosa y no-acuosa
w
= cte,
n
= cte,
viscosida acuosa y no-acuosa
w
= cte,
n
= cte,
permeabilidad relativa acuosa y no-acuosa k
rw
(s, x) = k
rw
(s), k
rn
(s, x) = k
rn
(s),
permeabilidad absoluta y saturacion acuosa K = K(x), s = s
w
.
Considerando que la porosidad del medio no cambia en el tiempo y aplicando la restriccion
de saturacion total del medio, se expresa el sistema de ecuaciones de balance, ecuaciones
constitutivas y restricciones
8
u
w
=
k
rw
(s
w
)

w
K(grad p
w

w
g),
u
n
=
k
rn
(s
n
)

n
K(grad p
n

n
g),

s
w
t
+ divu
w
= q
w
,

s
w
t
+ divu
n
= q
n
,
s
w
+s
n
= 1,
p
c
(s
w
) = p
w
p
n
,
_

_
en (0, T). (33)
Para resolver el problema fsico (33) con sus respectivas condiciones de frontera y condicion
inicial, lo replanteamos como un problema matematico mixto equivalente. Debe quedar
claro que, esta es solo una forma de tratar este problema pero, no es la unica.
Para el planteamiento del problema mixto, es necesario denir los nuevos campos: veloci-
dad total u, presion global p y ujo de saturacion w.
Para este proposito hacemos las siguientes deniciones.
(s
w
)
k
rw
(s
w
)

w
+
k
rn
(s
w
)

n
, (34)

w
(s
w
)
k
rw
(s
w
)
(s
w
)
w
, (35)

n
(s
w
)
k
rn
(s
w
)
(s
w
)
n
. (36)
Con base en las dos ultimas deniciones, se tiene

w
(s
w
) +
n
(s
w
) = 1. (37)
Utilizando las deniciones anteriores, el sistema (33) queda expresado en la forma
u
w
= (s
w
)
w
(s
w
)K(grad p
w

w
g),
u
n
= (s
w
)
n
(s
w
)K(grad p
n

n
g),

s
w
t
+ divu
w
= q
w
,

s
w
t
+ divu
n
= q
n
,
s
w
+s
n
= 1,
p
c
(s
w
) = p
w
(s
w
) p
n
(s
w
),
_

_
en (0, T). (38)
Con el proposito de simplicar la notacion, usaremos s = s
w
.
Deniendo la velocidad total u del sistema como la suma de las velocidades de cada fase
9
u u
w
+u
n
, (39)
div u se puede expresar como
divu = div(u
w
+u
n
) = q
w
+ q
n
q. (40)
La velocidad de la fase acuosa u
w
se puede expresar como
u
w
=
n
u
w

w
u
n
+
w
(u
w
+u
n
), (41)
y sustituyendo (41) en (38
3
) se obtiene

s
t
+ div(
n
u
w

w
u
n
) + div(
w
(u
w
+u
n
) = q
w
. (42)
Ahora bien, desarrollando el termino (
n
u
w

w
u
n
) y utilizando la relacion entre
p
c
, p
w
y p
n
, se obtiene

n
u
w

w
u
n
= K
n

w
(grad p
c
(
w

n
)g). (43)
Utilizando (43), la ecuacion (42) queda expresada como

s
t
div {K
n

w
(grad p
c
(
w

n
)g)} + div(
w
u) = q
w
. (44)
Con el proposito de expresar (44) en forma mixta, esto es, separar los campos incognita
que contiene la ecuacion, se hace la siguiente denicion
D(s) (s)
n
(s)
w
(s)p

c
(s) =
k
rn
(s)k
rw
(s)p

c
(s)
k
rn
(s)
w
+k
rw
(s)
n
(45)
entonces, la ecuacion (44) utilizando (45), se puede expresar en forma mixta como
w = D(s)K
_
grad s
(
w

n
)
p

c
(s)
g
_
,

s
t
+ divw+ div(
w
u) = q
w
,
_

_
en (0, T), (46)
con lo que se tiene el primer modelo mixto (ujo de saturacion-saturacion) (w s) .
El segundo de los modelos se obtiene explicitando u = u
w
+u
n
, utilizando para ello las
expresiones (38
1,2
) para u
w
y u
n
u = u
w
+u
n
= K(
w
grad p
w
+
n
grad p
n
(
w

w
+
n

n
)g) (47)
pero el termino (
w
grad p
w
+
n
grad p
n
) , haciendo uso de la relacion entre (p
c
, p
w
y p
n
)
se puede expresar de la siguiente manera

w
grad p
w
+
n
grad p
n
=
1
2
{grad p
w
+grad p
n
+ (
w

n
)grad p
c
}
= grad
_
1
2
_
p
w
+p
n
+
_
s
sc
(
w

n
)
dp
c
ds
ds
__
,
(48)
10
entonces, deniendo la presion global p , como
p(s)
1
2
_
p
w
+p
n
+
_
s
sc
(
w

n
)
dp
c
ds
ds
_
(49)
la velocidad total u , puede ser expresada como
u = u
w
+u
n
= K(grad p (
w

w
+
n

n
)g). (50)
La ecuacion (50) para la velocidad total u conjuntamente con la ecuacion (40), constituye
el segundo modelo mixto para los campos ( velocidad total-presion global) (u p),
u = K(grad p (
w

w
+
n

n
)g),
divu = q,
_

_
en (0, T). (51)
En consecuencia, los dos modelos mixtos acoplados (velocidad total-presion global) y
(ujo de saturacion-saturacion), conforman el modelo mixto bifasico inmiscible incompre-
sible (MB),
(MB)
_

_
u = K(grad p (
w

w
+
n

n
)g),
divu = q,
w = D(s)K
_
grad s
(
w

n
)
p

c
(s)
g
_
,

s
t
+ divw + div(
w
u) = q
w
,
_

_
en (0, T). (52)
Para complementar estos modelos, es necesario especicar la interaccion con su medio
ambiente y su estado inicial. Esto se hace estableciendo las condiciones de frontera,
u n = u
n
, sobre
p
N
(0, T),
p = p, sobre
p
D
(0, T),
w n = w
n
, sobre
s
N
(0, T),
s = s, sobre
s
D
(0, T),
(53)
y su respectiva condicion inicial,
s(x, 0) = s
0
(x), sobre . (54)
El sistema (52-54) constituye un modelo matematico para el problema de ujo bifasico
inmiscible incompresible en medios porosos, en terminos de dos modelos mixtos acoplados
velocidad total-presion global (u, p) y ujo de saturacion-saturacion (w, s).
Por ultimo observamos que, en el planteamiento hecho hasta aqu para el modelo de
ujo bifasico, los campos: presion, velocidad y saturacion de las fases acuosa y no-acuosa
(p
w
, u
w
, s
w
, p
n
, u
n
, s
n
) , estan relacionados con los campos del modelo matematico veloci-
dad total, presion global, ujo de saturacion y saturaci on (u, p, w, s) , por medio de las
expresiones.
11
u
w
=
w
u +w,
u
n
=
n
u w,
p
w
=
1
2
_
2p +p
c

_
s
s
c
(
w

n
)
dp
c
ds
ds
_
,
p
n
=
1
2
_
2p p
c

_
s
s
c
(
w

n
)
dp
c
ds
ds
_
.
_

_
(55)
Resuelto el problema (52-54) en terminos de los campos (u, p, w, s) , el sistema (55)
permiten recuperar los campos fsicos (p
w
, u
w
, s
w
, p
n
, u
n
, s
n
) del problema original.
MODELO MACROHIBRIDO MIXTO BIFASICO DE FLUJO
Hasta el momento, se han desarrollado los modelos mixtos que describen el ujo bifasico
en un medio poroso . Sin embargo, con el proposito de explotar la potencialidad que
tienen los modelos macrohbridos para tratar discontinuidades en las propiedades fsicas
de sistemas reales, es deseable replantear el modelo anterior en su forma macrohbrida.
Siguiendo esta idea, utilizaremos el metodo de Descomposicion de Dominio para dividir
espacialmente el dominio de denicion del problema, considerando que tal division esta
asociada de manera natural, con los diferentes estratos geologicos que constituyen el
sistema
Sea
3
un dominio espacial jo, descompuesto en E subdominios de acuerdo a lo
siguiente.
=
E
_
e=1

e
,
e

f
= , 1 e < f E, (56)
con fronteras internas
e
e interfases
ef
seccionalmente suaves, expresadas como

e
=
e
, 1 e E,

ef
=
e

f
, 1 e < f E.
(57)
Entonces, el modelo de ujo bifasico originalmente planteado para un solo dominio ,
puede expresarse como un conjunto de subproblemas mixtos locales en cada subdo-
minio
e
, dando orgen a un modelo macrohbrido mixto bifasico (MHMB), para e =
{1, 2, ..., E},
(MHMB)
_

_
u
e
= K
e

e
(grad p
e
(
w,e

w,e
+
n,e

n,e
)g),
divu
e
= q
e
,
w
e
= D
e
(s)K
e
_
grad s
e

(
w,e

n,e
)
p

c,e
(s)
g
_
,

e
s
e
t
+ divw
e
+ div(
w,e
u
e
) = q
w,e
,
_

_
en
e
(0, T), (58)
12
en donde, cada subproblema {e} esta sujeto a cumplir las restricciones de continuidad
en los campos velocidad total, presion global, ujo de saturacion y saturacion a traves de
las interfases
ek
de acuerdo a lo siguiente
u
e
n
e
= u
k
n
k
,
p
e
= p
k
,
w
e
n
e
= w
k
n
k
,
s
e
= s
k
,
_

_
a traves de
ek
(0, T). (59)
Como es natural, las condiciones de frontera y la condicion inicial de cada subdominio
deben replantearse. Las condiciones de frontera en este caso deberan especicarse solo
sobre la frontera externa de cada subdominio
e
, esto es, para e = {1, 2, ..., E}
u
e
n
e
= u
n,e
, sobre
p
N,e
(0, T),
p
e
= p
e
, sobre
p
D,e
(0, T),
w
e
n
e
= w
n,e
, sobre
s
N,e
(0, T),
s
e
= s
e
, sobre
s
D,e
(0, T),
(60)
y la condicion inicial para cada subdominio
e
queda especicada para e = {1, 2, ..., E}
como
s
e
(x, 0) = s
0,e
(x) x
e
. (61)
El sistema (58-61) constituye el modelo macrohbrido mixto para el problema de ujo
bifasico inmiscible incompresible en medios porosos.
FORMULACI

ON VARIACIONAL MIXTA
En lo que sigue, presentamos la formulacion variacional el modelo mixto de ujo bifasico
(52-54). Para ello expresamos (52) en la forma.
(MHMB)
_

_
u = K(grad p (
w

w
+
n

n
)g),
divu = q,
w = D(s)K
_
grad s
(
w

n
)
p

c
(s)
g
_
,

ds
dt
+ divw = (
n
q
w

w
q
n
),
_

_
en (0, T), (62)
donde,
13
ds
dt
=
s
t
+b grad s,
b =

w
u

.
(63)
Ahora bien, de acuerdo con Pironneau [46], la aproximacion temporal discreta de (63
1
)
considerando intervalos t = t
m+1
t
m
con m = 0, 1, 2, ... se puede expresar para como
_
s
t
+b grad s
_
m+1

=
1
t
_
s
m+1
(x) s
m
(X
m
(x))
_
(64)
donde, X
m
(x) es una aproximacion de X(x, (m + 1)t; mt) que puede ser expresada
por medio de un esquema de Euler como
X
m
(x) = x b
m
(x)t. (65)
Entonces, la version semidiscreta de (MHMB) puede ser expresada en la forma
(MHMBD)
_

_
u
m
= K
m
(grad p
m
(
w

w
+
n

n
)
m
g),
divu
m
= q
m
,
w
m+1
= D
m+1
(s)K
_
grad s
m+1

(
w

n
)
p

c
(s)
g
_
,
s
m+1
+t divw
m+1
= s
m
(X
m
) +t(
n
q
w

w
q
n
)
m+1
,
_

_
en (0, T),
(66)
cuyas condiciones de frontera externa especicadas para cada paso de tiempo t, quedan
expresadas como
u n = u
n
, sobre
p
N
(m, m+ 1)t,
p = p, sobre
p
D
(m, m + 1)t,
w n = w
n
, sobre
s
N
(m, m+ 1)t,
s = s, sobre
s
D
(m, m + 1)t.
(67)
Ademas, se establece como condicion inicial la saturaci on en
s(x, mt) = s
m
(x) x . (68)
Para la formulacion variacional del modelo semidiscreto (66-68) (MHMBD) se utiliza
el metodo de Galerkin, y se consideran los campos: velocidad total-ujo de saturacion
(u, w) y presion global-saturacion (p, s) contenidos en los espacios funcionales V () y
Y () respectivamente, con
V () = H(div, ) =
_
v L
2
() : divv L
2
()
_
,
Y () = L
2
().
(69)
Entonces, la formulacion variacional para el modelo (u, p) queda expresada en la forma
14
_

_
Encuentre(u, p) : (0, t) K
u
n
Y () :
_

(
m
(s)K)
1
u
m
v d =
_

p
m
divv d
_

p
D
p
m
vn d
+
_

(
m
w
(s)
w
+
m
n
(s)
n
)gv d, v K
0n
,
_

divu
m
q d =
_

q
m
q d, q Y ().
(70)
La correspondiente formulacion para el modelo (w, s) queda expresada como
_

_
Encuentre(w, s) : (0, t) K
wn
Y (),
con la condicion inicial, s(x, 0) = s
0
(x), para x :
_

(D
m+1
(s)K)
1
w
m+1
v d =
_

s
m+1
divv d

s
D
s
m+1
vn d +
_

(
w

n
)
p

c
(s)
gv d, v K
0
n
,
_

s
m+1
q d +t
_

divw
m+1
q d =
_

s
m
(X
m
)q d
+t
_

(
n
(s) q
w

w
(s) q
n
)
m+1
qd, q Y ().
(71)
Hecha la formulacion variacional de ambos modelos, tenemos incorporadas las condiciones
de frontera y, en consecuencia, el siguiente paso es buscar una solucion aproximada para
los campos del modelo utilizando espacios de dimension nita.
MODELO MIXTO BIFASICO DISCRETO
Para la aproximacion espacial de los campos: velocidad total, presion global, ujo de sat-
uracion y saturacion, se utilizaran espacios de elemento nito mixto localmente conformes
V
h
() y Y
h
() [9, 13, 15] los cuales son a su vez, subespacos de V () y Y () respecti-
vamente. Para generar los espacios V
h
() y Y
h
(), se utiliza un conjunto de funciones
linealmente independientes de V () y Y () de la siguiente manera.
V
h
= [
1
,
2
, ...,
n
h
] V () = H(div, ), (72)
Y
h
= [
1
,
2
, ...,
m
h
] Y () = L
2
(), (73)
.
Debe notarse que, dada la naturaleza de V
h
() y Y
h
(), cada
n
es una funcion vectorial
y, cada
m
es una funcion escalar.
Entonces, los campos: velocidad total, presion global, ujo de saturacion y saturacion,
quedan expresados por medio de
15
u
h
=
n
h

j=1

u,j

j
V
h
velocidad total (74)
p
h
=
mh

k=1

k
Y
h
presion global (75)
w
h
=
n
h

j=1

w,j

j
V
h
ujo de saturacion (76)
s
h
=
mh

k=1

k
Y
h
saturacion (77)
En este punto vale la pena aclarar algunas convenciones que hemos hecho respecto a la
notacion.
Denotamos por u
h
V
h
el vector columna resultado de multiplicar una matriz renglon

T
1xn
con una matriz columna
nx1
, esto es, si denotamos por

T
= [
1

2
...
n
] (78)
y por
=
_

2
.
.
.

n
_

_
(79)
entonces, el vector u
h
lo podemos expresar como
u
h
=
T
(80)
Siguiendo esta convencion, los campos (74-77) quedan expresados como
u
h
=
T

u
,
p
h
=
T
,
w
h
=
T

w
,
s
h
=
T
.
(81)
Utilizando (81) y sustituyendo en cada termino de (70) se obtiene.
16
_

(
m
(s)K)
1
u
m
v d =
_

(
m
(s)K)
1
(
T

m
u
)(
T
) d = A
m
u
()
m
u
,
_

p
m
divv d =
_

(
T

m
)div(
T
) d = L
T

m
,

p
D
p
m
vn d +
_

(
m
w
(s)
w
+
m
n
(s)
n
)gv d =

p
D
p
m

T
n d +
_

(
m
w
(s)
w
+
m
n
(s)
n
)g
T
d = f
m
u
(),
_

divu
m
q d =
_

div(
T

u
)
m
(
T
) d = (L
m
u
) ,
_

q
m
q d =
_

q
m

T
d =

q
m
p
.
Entonces, el sistema (70) queda expresado como:
_

_
Encuentre(
u
, ) : (0, t)
n

m
:
(L
T

m
) = (A
m
u
()
m
u
f
m
u
()),
n
,
L
m
u
= q
m
p
,
m
,
(82)
donde:
_

_
L
kj
=
_

k
div
j
d,
A
m
u,ij
() =
_

m
()K
1

i
d,
f
m
u,j
() =
_

p
D
p
m

j
n d +
_

(
m
w
()
w
+
m
n
()
n
)g
j
d,
q
m
p,k
=
_

p
q
m

k
d.
(83)
17
De manera analoga, el sistema (71) y su correspondiente aproximacion de elemento nito
termino a termino esta dada por
_

(D
m+1
(s)K)
1
w
m+1
v d =
_

(D
m+1
(s)K)
1
(
T

m+1
w
)(
T
) d = A
m+1
w
()
m+1
w
,
_

s
m+1
divv d =
_

(
T

m+1
)div(
T
) d = L
T

m+1
,

s
D
s
m+1
vn d +
_

(
w

n
)
p

c
(s)
gv d =

s
D
s
m+1
(
T
)n d +
_

(
w

n
)
p

c
(s)
g(
T
) d = f
m+1
w
(),
_

s
m+1
q d =
_

(
T

m+1
)(
T
) d = M

m+1
,
_

divw
m+1
q d =
_

div(
T

m+1
w
)(
T
) d = L
m+1
w
,
_

s
m
(X
m
)q d =
_

(
T

m
(X
m
))(
T
) d = M

m
(X
m
),
_

(
n
(s) q
w

w
(s) q
n
)
m+1
q d =
_

(
n
() q
w

w
() q
n
)
m+1
(
T
) d = q
m+1
s
().
Entonces, el sistema (71) queda expresado como
_

_
Encuentre(
w
, ) : (0, t)
n

m
,
con la condicion inicial, s(x, 0) = s
0
(x), para x :
(L
T

m+1
) = (A
m+1
w
()
m+1
w
f
m+1
w
()),
n
,
tL
m+1
w
=
_
M

s
_

m+1

m
(X
m
)
_
t q
m+1
s
()
_

m
.
(84)
donde:
_

_
L
kj
=
_

k
div
j
d,
M

s,mk
=
_

k
d,
q
m+1
s,k
() =
_

(
n
() q
w

w
() q
n
)
m+1

k
d,
A
m+1
w,ij
() =
_

D
(m+1)
()K
1

i
d,
f
m+1
w,j
() =
_

s
D
s
m+1

j
n d +
_

w

n
p

c
()
_
g
j
d,
q
m+1
s,k
() =
_

(
n
() q
w

w
() q
n
)
m+1

k
d.
(85)
18
Modelo de Flujo de Calor
Aplicacion de los principios basicos a la obtencion del modelo fsico de ujo de calor.
Sean
c =
calor
masa.temp
_
J
Kg.

C
_
=
cap.calorica
masa
= calor especico
=
masa
volumen
_
Kg
m
3
_
= densidad de masa
= temperatura [

C]
La cantidad de calor en un cuerpo con calor especco c, densidad de masa y tem-
peratura , esta expresada por
Q =
_

(c)dV (86)
La aplicacion del Teorema de transporte de Reynolds a Q da
dQ
dt
=
d
dt
_

(c)dV =
_

_

t
(c) + div(cu)
_
dV =
_

fdV
_

q ndA (87)
Sin embargo, considerando que es una region ja, u = 0, la ecuacion anterior despues
de aplicar el teorema de la divergencia se reduce a:
_

_

t
(c) + divq f
_
dV = 0 (88)
Ahora aplicando el Teorema de Localizacion, se obtiene

t
(c) + divq f = 0 en (0, T)
(89)
Si la ecuacion de balance anterior, se complementa con la ecuacion constitutiva de Fourier
q = Kgrad (90)
entonces se tiene el modelo mixto ujo de calor-temperatura (q, )
Versi on mixta: Formulaci on (q, )
_

_
q = Kgrad
(c)
t
+ divq f = 0
en (0, T) (91)
y si sustituimos la primera en la segunda de las ecuaciones (93) se obtiene
Versi on primal: Formulaci on ()
c

t
div(Kgrad ) = f
en (0, T) (92)
Por ultimo, tanto el modelo mixto como el modelo primal, deben complementarse con sus
respectivas condiciones de frontera y condiciones iniciales.
19
q n =
N
sobre
N
=
D
sobre
D
(x, 0) =
0
(x) en
Formulaci on variacional primal para el problema de calor
Considerando el problema primal
c

t
div(Kgrad ) = f
en (0, T)
incorporamos condiciones de frontera a traves de la formulacion variacional
_

t
vdV
_

div(Kgrad )vdV =
_

fvdV v V ()
y aplicando integracion por partes
_

t
vdV +
_

Kgrad grad v dV
_

div(v(Kgrad ))dV =
_

fvdV v V ()
y utilizando el Teorema de la Divergencia
_

t
vdV +
_

Kgrad grad v dV

(v(Kgrad ) n)dA =
_

fvdV v V ()
(93)
donde:
V () = H
1
() =
_
v L
2
() : grad v L
2
()
_
(94)
Formulaci on en espacios de dimensi on nita utilizando Galerkin
Sea V
h
() un subespacio de V (), generado por el conjunto {
1
,
2
, ...,
n
}
V
h
() = gen {
1
,
2
, ...,
n
} (95)
donde: V
h
() V () = H
1
().
Cada elemento v V
h
() se puede escribir en la forma
v =
n

i=1

i
= [
1

2
...
n
]
_

2
.
.
.

n
_

_
=
T
(96)
20
de manera particular, podemos expresar y v como
=
T

v =
T

(97)
con base en la notacion anterior, expresamos cada termino de la formulacion variacional
del problema en la siguiente forma
_

t
vdV +
_

Kgrad grad v dV
_

(v(Kgrad ) n)dA =
_

fvdV
c

t
, v = c
(
T
)
t
,
T
= c( )

t
, ,
Kgrad , grad v = K(
T
), (
T
)
= (grad ) (Kgrad ), ,
[(Kgrad ) n, v] = [(Kgrad (
T
)) n, (
T
)]
= [() (Kgrad n), ],
f, v = f,
T
= f, ,
entonces, utilizando las expresiones anteriores, el modelo de ujo de calor planteado en
espacios de dimension nita queda expresado como
A

t
+ (B C) = f
A

t
+D = f
(98)
donde: D = B C, y las entradas de las matrices y vectores estan expresadas como
A
ij
=
_

c(
j

i
)dV,
B
ij
=
_

(grad
j
) (Kgrad
i
)dV,
C
ij
=
_

(
j
)(Kgrad
i
n)dA,
f
i
=
_

i
fdV.
(99)
Un ejemplo unidimensional con cuatro nodos
Si consideramos un dominio unidimensional de longitud L, dividido en tres segmentos
y cuyos nodos denotamos por x
1
, x
2
, x
3
, x
4
, el conjunto de funciones {
1
,
2
,
3
,
4
} que
genera V
h
() puede expresarse como
V
h
() = gen{
1
,
2
,
3
,
4
}
con
21

1
= 1
x x
1
x
2
x
1
x
1
x x
2

2
=
_

_
x x
1
x
2
x
1
x
1
x x
2
1
x x
2
x
3
x
2
x
2
x x
3

3
=
_

_
x x
2
x
3
x
2
x
2
x x
3
1
x x
3
x
4
x
3
x
3
x x
4

4
=
x x
3
x
4
x
3
x
3
x x
4
Entonces, las primeras entradas de las matrices A y B son:
A
11
=
c
3
(x
2
x
1
)
A
12
=
c
6
(x
2
x
1
)
A
21
=
c
6
(x
2
x
1
)
A
22
=
c
3
(x
2
x
1
) +
c
3
(x
3
x
2
)
A
23
=
c
6
(x
3
x
2
)
B
11
=
K
x
2
x
1
B
12
=
K
x
2
x
1
B
21
=
K
x
2
x
1
B
22
=
K
x
2
x
1
+
K
x
3
x
2
B
23
=
K
x
3
x
2
Un ejemplo bidimensional para una geometra general
Sea

un triangulo de referencia y un triangulo real.
Sean { x
1
, x
2
, x
3
} los vertices de

y, {x
1
, x
2
, x
3
} los correspondientes vertices de .
Se dene una transformacion afn :

por medio de
x = ( x) x
1

1
( x) +x
2

2
( x) +x
3

3
( x)
= x
1
+ (x
2
x
1
) x + (x
3
x
1
) y
= x
1
+D x,
(100)
donde:

m
:

[0, 1] para m = {1, 2, 3}, son funciones escalares denidas por
22

1
(

x) = 1 x y,

2
( x) = x,

3
( x) = y.
(101)
Entonces la transformacion :

y su inversa
1
:

quedan expresadas
como
x = (

x) = x
1
+D

x,

x =
1
(x) = D
1
(x x
1
)
(102)
Con base en la transformacion afn , se considera un conjunto de funciones
m
: R,
relacionadas con las funciones

m
:

R, que tienen la siguiente propiedad

m
(x) =

m
(
1
(x)) =

m
(

x),

m
( x) =
m
(( x)) =
m
(x),
m = {1, 2, 3}. (103)
Un ejemplo concreto.
Sea el triangulo denido por los vertices x
1
, x
2
, x
3
y

el triangulo denido por los
vertices

x
1
,

x
2
,

x
3
, con
x
1
= (2, 2),
x
2
= (4, 2),
x
1
= (2, 3),
entonces, se tienen las siguientes transformaciones
x = (

x) =
_
2
2
_
+
_
2 0
0 1
__
x
y
_

x =
1
(x) =
_
1/2 0
0 1
__
x 2
y 2
_
y se tiene que

1
( x) = 1 x y,

2
(

x) = x,

3
(

x) = y.
y

1
(x) = 4
1
2
x y,

2
(x) =
1
2
(x 2),

3
(x) = y 2,
con la propiedad

1
( x) =
1
(x),

2
(

x) =
2
(x),

3
(

x) =
3
(x),
para x = x
1
+D x.
Ahora, utilizando la propiedad anterior, se pueden calcular las entradas de las matrices
A y B de la siguiente manera.
A
ij
=
_

i
d =
_

i
J d

=
_
1
0
_
1x
0

i
J d yd x
23
Ahora utilizando la identidad [49] grad (x) = (D
1
)
T
(

x)),
B
ij
=
_

grad(
j
) Kgrad(
i
)d =
_

(D
T

j
) (KD
T

i
)d

=
_
1
0
_
1x
0
(D
1
KD
T
) (

i
)d yd x
donde: los gradientes de las funciones

i
estan expresados como

1
=
_
1
1
_
,

2
=
_
1
0
_
,

3
=
_
0
1
_
,
y, los correspondientes productos tensoriales

i
, son

1
=
_
1 1
1 1
_
,

2
=
_
1 0
1 0
_
,

3
=
_
0 1
0 1
_
,

1
=
_
1 1
0 0
_
,

2
=
_
1 0
0 0
_
,

3
=
_
0 1
0 0
_
,

1
=
_
0 0
1 1
_
,

2
=
_
0 0
1 0
_
,

3
=
_
0 0
0 1
_
.
Integraci on explcita/implcita
Consideremos la expresion
u
t
= f(u)
utilizando diferencias nitas podemos expresar
u
t
=
u
n+1
u
n
t
= f
m
que entre las muchas posibles elecciones para m se tiene: m = n, m = (n + 1).
De manera mas general, podemos expresar la derivada temporal como un esquema
u
n+1
= u
n
+t(f
n+1
(1 )f
n
)
con = 0 se obtiene un metodo de Euler explcito,
con = 1 se obtiene un metodo de Euler implcito,
con = 1/2 se obtiene el metodo de Crank-Nicholson.
Entonces, considerando la ecuacion
A

t
+D = f
y utilizando un esquema , se puede aproximar la ecuacion anterior como

n+1

n
t
= [A
1
(f D)]
n+1
+ (1 )[A
1
(f D)]
n
24
considerando que las matrices A, D y el vector f son independientes de , se obtiene el
siguiente esquema
_
1
t
A+D
_

n+1
=
_
1
t
A(1 )D
_

n
+f
Este esquema para el caso lineal es condicionalmente estable para < 0.5. La restriccion
para que este esquema numerico sea estable esta dada por t t
criti
= 2/((1 2))
donde es el mayor eigenvalor de la matriz A
1
D. Para 0.5 el algoritmo es incondi-
cionalmente estable, es decir, es estable para cualquier eleccion de t. Esto no vale para
ecuaciones diferenciales no-lineales [7], Helmig (1997).
25
REFERENCIAS
[1 ] Morton E. Gurtin, An Introduction to Continuum Mechanics, Academic Press, New
York, 1981.
[2 ] G. Alduncin Computational Variational Modeling of Multiphase Flow and Transport
in the Subsurface, in Lecture on Multiphase Flow and Transport Modeling in the
Subsurface, Sheraton Hotel, Downtown, Mexico City, Mexico, September 10, 2003.
[3 ] Arthur T. Corey Mechanics of Immiscible Fluids in Porous Media, Water Resources
Publications, 1994.
[4 ] Guy Chavent and Jerome Jare Mathematical Models and Finite Elements for
Reservoir Simulation, North-Holland, 1986.
[5 ] Hong Wang, Dong Liang, Richard E. Ewing, Stephen L.Lions and Guan Qin, An
ELLAM-MFEM Solution Technique for Compressible Fluid Flows in Porous Media
with Point Sources and Sinks, Journal of Computational Physics 159, pp 344-376,
2000.
[6 ] De Marsily G., Quatitative Hidrogeology for Engineers. Academic Pres, 1986.
[7 ] Rainer Helmig, Multiphase Flow and Transport Processes in the Subsurface, Springer-
Verlag Berlin Heidelberg, 1997.
[8 ] Jim Douglas, Jr., Felipe Pereira and Li-Ming Yet, A Lacally Conservative Eulerian-
Lagrangian Numerical Method and its Application to Nonlinear Transport in Porous
Media, Computational Geosciences, 4, pp 1-40, 2000.
[9 ] G. Alduncin and N. Vera-Guzman, Parallel Proximal-Point Algorithms for Mixed
Finite Element Models of Flow in the Subsurface,Communications in Numerical
Methods in Engineering , 20, pp 83-104, 2004.
[10 ] G. Alduncin, Formulacion Subdiferencial y Variacion de Problemas de Valores so-
bre la Frontera, Comunicaciones Tecnicas, Serie Investigacion No. 4, Instituto de
Geofsica, UNAM, 1986.
[11 ] G. Alduncin, Subdierential and Variational Formulations of Boundary Value Prob-
lems, Computer Methods in Applied Mechanics and Engineering, 72, pp 173-186,
1989.
[12 ] G. Alduncin, Duality and Variational Principles of Potencial Boundary Value Prob-
lems, Computer Methods in Applied Mechanics and Engineering, 64, pp 469-485,
1987.
[13 ] G. Alduncin, Numerical Resolvent Methods for Macro-Hybrid Mixed Variational
Inequalities, Numer. Funct. Anal. and Optimiz., 1998; 19:667-696.
[14 ] G. Alduncin, Formulaciones Variacionales Duales y Lagrangianas de Problemas
de Valores sobre la frontera, Comunicaciones Tecnicas, Serie Investigacion No. 35,
Instituto de Geofsica, UNAM, 1986.
[15 ] G. Alduncin, 2005, Macro-Hybrid Variational Formulations of Constrained Bound-
ary Value Problems, Numer. Funct. Anal. and Optimiz.
26
[16 ] Gabay D., 1982, Application de la methode des multiplicateurs aux inequations
variationnelles. In: Methodes de Lagrangien Augmente (fortin M, Glowinski R, eds).
Dunod-Bordas, Paris, pp 279-307.
[17 ] G. Alduncin, 1997, On Gabays Algorithms for Mixed Variational Inequalities, Ap-
plied Mathematics & Optimization, 35, pp 21-44.
[18 ] G. Alduncin, 2005, Composition Duality Methods for Mixed Variational Inclusions,
Applied Mathematics & Optimization.
[19 ] Lions P.L., Mercier B., 1979, Splitting Algorithms for the Sum of Two Nonlinear
Operators, SIAM J. Numer. Anal. 16, pp 964-979
[20 ] G. Alduncin., Augmented Lagrangian Methods for the Quasistatic Viscoelastic two-
body Contact Problem with Friction. In Contact Mechanics. Curnier A (ed). PPUR:
Lausanne, 1992; 337-360.
[21 ] Brezzi F., Fortin M., Mixed and Hybrid Finite Element Methods. Springer: New
York, 1991.
[22 ] Bertsekas DP. Constrained Optimization and Lagrange Multiplier Methods. Acad-
emic Press: Boston, 1982.
[23 ] Fortin M. Glowinski R (eds). Methodes de Lagrangien Augmente: Applications `a
la Resolution Numerique de Problemes aux Limites. Dunod-Bordas: Paris, 1982.
[24 ] Glowinski R., Le Tallec P., Augmented Lagrangian and Operator-Splitting Methods
in Nonlinear Mechanics. SIAM: Philadelphia, 1989.
[25 ] G. Chavent, The global pressure, a new concept for the modelization of compressible
two-phase ows in porous media, Proceedings of Euromech 143/Delft / 2-4 September
1981.
[26 ] J.E. Roberts, J.M. Thomas, Mixed and Hybrid Methods, in P.G. Ciarlet, J.L.
Lions, eds., Handbook of Numerical Analysis, Vol. II, North-Holland, Amsterdam
1991, 523-639.
[27 ] Douglas J.Jr., Ewing R., Wheeler M. The approximation of the pressure by a mixed
method in the simulation of miscible displacement. M
2
AN 1983; 17: 17-33.
[28 ] Chavent G., Cohen G., Jare J., Discontinuous upwinding and mixed nite elements
for two phase ow in reservoir simulation. Computer Methods in Applied Mechanics
and Engineering 1984; 47:93-118.
[29 ] Ewing R., Heinemann R., Mixed nite approximation of phase velocities in compu-
tational reservoir simulation. Computer Methods in Applied Mechanics and Engi-
neering 1984; 47:161-176.
[30 ] LeTallec P., Domain decomposition methods in computational mechanics. Compu-
tational Mechanics Advances 1994; 1:121-220.
[31 ] Z. Chen and R.E. Ewing, Degenerate two-phase incompressible ow IV: local ren-
ment and domain decomposition, J. Scientic Comp., 18 (2003), 329-360.
[32 ] B.Daya Reddy, Introductory Functional Analysis, with Applications to Boundary
Value Problems and Finite Elements, 1998, Springer-Verlag New York, Inc.
27
[33 ] Lions J.L., Magenes E., Non-Homogeneous Boundary Value Problems and Applica-
tions, Springer-Verlag, New York, 1972.
[34 ] Duvaut G., Lions J.L., Les Inequations en Mechanique et en Physique, Dunod,
Paris, 1972.
[35 ] Showalter R.E., Hilbert Space Methods for Partial Dierential Equations, Pitman,
Londres, 1977.
[36 ] R.Glowinski, J.L.Lions and R.Tremoli`eres, Numerical Analysis of Variational In-
equalities, North-Holland, Amsterdam, 1981.
[37 ] R.Glowinski, Numerical Methods for Nonlinear Variational Problems, Springer,
New York, 1984.
[38 ] Ekeland I., Temam R., Analysee Convexe et Problemes Variationnels, Dunod,
Gauthier-Villars, Paris, 1974.
[39 ] G. Alduncin , Composition Duality Principles for Mixed Variational Inequalities,
Mathematical and Computer Modelling, 41(2005), pp 639-654.
[40 ] F. Brezzi, W.W.Hager and P.A.Raviart, Error estimates for the nite-element so-
lution of variational inequalities, Part II. Mixed methods, Numer. Math. 31, 1978,
pp 1-16.
[41 ] A. Quarteroni and A. Valli, Numerical Approximation of Partial Dierential Equa-
tions, Springer-Verlag, Berlin, 1994.
[42 ] J.J. Moreau, Proximite et dualite dans une espace hilbertiane, Bull. Soc. Math.
France 1965, 93, pp 273-299.
[43 ] Zhangxin Chen and Richard E. Ewing, Fully discrete nite element analysis of
multiphase ow in groundwater hydrology, SIAM J.Numer. Anal., 1997, V.34, No.6,
pp 2228-2253.
[44 ] Zhangxin Chen and Richard E. Ewing,Mathematical analysis for reservoir models,
SIAM J.Math.Anal., 1999, V.30, No.2, pp 431-453.
[45 ] C.J. Van Duijn, A. Mikelic and I.S. Pop, Eective equation for two-phase ow with
trapping on the micro scale, SIAM J.Appl.Math., 2002, V.62, No.5, pp 1531-1568.
[46 ] O. Pironneau, Methodes des

Elements Finis pour les Fluides, Collection Recherches
en Mathematiques Appliquees, sous la direction de P.G. Ciarlet et J.L. Lions, 1988,
edit. Masson, Paris.
[47 ] Gonzalo Alduncin, Jorge Esquivel-Avila and Norberto Vera-Guzman, 2005, Steady
ltration problems with seawater intrusion: Macro-hybrid nite element approxima-
tions, International Journal for Numerical Methods in Fluids, V.49, pp 935-957.
[48 Norberto Vera-Guzman, Construccion de Matrices de Elemento Finito Mixto en 3D
para Geometras Generales, Reporte Interno 2009-01, Instituto de Geofsica, UNAM.
28