Notas del Curso

Modelos Matemáticos y Numéricos de la

Producción del Petróleo

Norberto Vera Guzmán Febrero del 2010

CONCEPTOS BÁSICOS

Construcción de modelos fı́sicos:

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
ΦdV = (Φ• + Φdivv) dV,
dt P t Pt
d


′
ΦdV = (Φ + div(Φv))dV, (1)
dt P t Pt
d


′


ΦdV = Φ dV + Φv·ndA.
dt P t Pt ∂P t

′ dΦ ∂Φ
donde: la notación Φ• y Φ indican dt
y ∂t
respectivamente.

Teorema de Localización.

Sea Φ un campo escalar o vectorial continuo sobre un conjunto abierto R. Entonces dado
cualquier x0 ∈ R se tiene que


lim 1
Φ(x0 ) = ΦdV, (2)
δ → 0 vol(Ωδ ) Ωδ

1
donde Ωδ (δ > 0) es una bola cerrada de radio δ centrada en x0 . Por lo tanto, si


ΦdV = 0, (3)
Ω
para cualquier bola cerrada Ω ⊂ R, entonces

Φ = 0. (4)

APLICACIÓN DE CONCEPTOS BASICOS

Modelo Compresible Darciano de Flujo

Considérese en un tiempo t ∈ (0, T ), T > 0 una parte material Pt (x) de un dominio fijo
Ω alrededor del punto x ∈ Ω. Entonces, de acuerdo con el Teorema de Transporte de
Reynolds, la variación en el tiempo de la masa m contenida en Pt considerando fuentes y
sumideros en el interior de Pt , puede ser expresada como,
 
d d


∂(ρφ)

m(Pt ) = ρφ dΩ = + div(ρφv a ) dΩ = ρq dΩ. (5)
dt dt Pt Pt ∂t Pt

donde:
φ[-] = es la porosidad del medio
ρ[ML−3 ] = es la densidad de masa del fluido,
v a [LT−1 ] = es la velocidad promedio del fluido y,
−3 −1
ρq[ML
 T ] = es la razón de flujo de masa de fluido.

Ahora bien, haciendo uso del Teorema de Localización, en donde por medio de un proceso
continuo contraemos Pt (x) hacia el punto x ∈ Ω, se obtiene lo siguiente
∂(ρφ)
+ div(ρφv a ) = ρq en Ω × (0, T ). (6)
∂t
Considerando la expresión anterior y la ecuación constitutiva de Darcy, que describe el
movimiento de un fluido en un medio poroso a nivel macroscópico por medio del campo
de velocidad u, se llega a establecer el modelo de flujo Darciano en un medio poroso por
medio del siguiente sistema de ecuaciones.

µK −1 u = −grad p + ρg 
 
∂(ρφ) 
en Ω × (0, T ). (7)
+ div(ρu) = ρq 

∂t
donde: la velocidad de Darcy u y la velocidad promedio v a estan relacionadas por

u = φv a (8)
siendo µ[P a − s] es la viscosidad dinámica del fluido.

Considerando que la densidad del fluido y la porosidad del medio son funciones de la
presión p, ρ = ρ(p) y φ = φ(p), la derivada temporal en el sistema anterior queda expre-
sada como

2
  
∂ ∂φ ∂ρ ∂p
(ρφ) = ρ +φ (9)
∂t ∂p ∂p ∂t
que expresan la compresibilidad del fluido y del medio poroso en función de p. Entonces,
de manera explı́cita, el modelo de flujo compresible Darciano en un medio poroso queda
expresado como

µ(ρ(p)K)−1 w = −grad p + ρ(p)g, 
 
 
∂φ ∂ρ ∂p 
en Ω × (0, T ), (10)
ρ +φ + divw = ρq, 

∂p ∂p ∂t
donde: se ha introducido la razón de flujo de masa w = ρu [ML−2 T−1 ].
Por último, se establece la interacción del sistema con su exterior y su estado inicial por
medio de una condición de frontera tipo Neumann de flujo de masa normal prescrito w n
y una condición de frontera tipo Dirichlet de presión prescrita p y la respectiva condición
inicial del sistema
w · n = wn , sobre ∂ΩN × (0, T ),
p = p,
 sobre ∂ΩD × (0, T ), (11)
p(x, 0) = p0 (x), en Ω.
donde, ∂Ω = ∂ΩN ∪ ∂ΩD .
El sistema de ecuaciones (10), conjuntamente con las condiciones de frontera y la condición
inicial (11), constituyen un modelo de flujo monofásico mixto dual compresible Darciano,
flujo de masa-presión (w − p) en un medio poroso, en el cual la densidad del fluido ρ y la
porosidad del medio φ son funciones de la presión p.

Modelo Incompresible Darciano de Flujo

Ahora bien, considerando que la densidad del fluido ρ y la porosidad del medio φ son
independientes de la presión p, se obtiene el sistema de ecuaciones

µK −1 (x)u(x) = −grad p(x) + ρg, 


x ∈ Ω, (12)
divu(x) = q(x),
 

que, complementado con sus condiciones de frontera

u · n = un , sobre ∂ΩN ,
(13)
p = p,
 sobre ∂ΩD .
para ∂Ω = ∂ΩN ∪∂ΩD , constituyen el modelo de flujo monofásico mixto dual incompresible
Darciano, velocidad-presión (u − p) en un medio poroso.
En este caso, solo se necesita especificar la interacción del sistema con su exterior.

3
Modelo de Transporte de Contaminantes

Continuando con la aplicación de los canceptos básicos a la construcción de modelos

fı́sicos, presentamos a continuación el problema del transporte de contaminantes. Para
ello, consideremos una parte material Pt de un dominio de flujo fijo Ω en un tiempo
t ∈ (0, T ), T > 0.
Formas de definir la concentración.
Porcentaje masa-masa (% m/m)
masa del soluto (g)
%masa = · 100
masa de la solucion (g)
Porcentaje volumen-volumen (% V/V)
volumen del soluto (mL)
%volumen = · 100
volumen de la solucion (mL)
Concentracion en masa (% m/V)
masa del soluto (g)
% masa = · 100
volumen de la solucion (mL)

Sea c [−] volumen del soluto (mL) entre volumen de la solucion (mL), la concentración
volumétrica del contaminante en la solución. Entonces, el balance de masa del soluto en
la fase fluida para cualquier parte Pt del dominio Ω puede ser expresada como

d


∂(φρc)


(φρc) dΩ = + div(φρcua ) dΩ = qρ(c−c) dΩ− s·n d∂Ω (14)
dt Pt Pt ∂t Pt ∂Pt

donde, c es la concentración de las fuentes en puntos de inyección, y c es la concentración en

 [ML−3 T−1 ] representan las fuentes-sumideros
puntos de extracción. Los términos qρc−qρc
−2 −1
del sistema, s [ML T ] representa el flujo difusivo-dispersivo del contaminante y n es
el vector normal unitario exterior a la frontera de Pt , ∂Pt .
Entonces, haciendo las siguientes consideraciones: el medio es no-deformable, φ constante
en el tiempo; la Ley de Darcy es válida para el movimiento de la mezcla u = φua ; el flujo
difusivo-dispersivo del contaminante está expresado por s = −ρD(u)grad c, aplicando
el Teorema de la Divergencia y el Teorema de Localización, en donde por medio de un
proceso continuo contraemos Pt (x) hacia el punto x, se obtiene
∂(φρc)
+ div(ρcu − ρD(u)grad c) = qρ(  c − c), en Ω × (0, T ) (15)
∂t
donde: D[L2 T−1 ] denota el tensor de difusión-dispersión [5, 6], que depende de la veloci-
dad macroscópica u.
 
D(u) = φ dm I + u(dl E(u) + dt E ⊥ (u)) (16)
y las correspondientes expresiones para E(u) y E ⊥ (u) son
1
E(u) = u2
(u ⊗ u)
(17)
E ⊥ (u) = I − E(u)

4
La ecuación 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 especificar sus
condiciones de frontera y su condición inicial, de la siguiente manera.
c = c, sobre ∂ΩcD × (0, T ),
(18)
−D(u)grad c · n = wn , sobre ∂ΩcN × (0, T ),
c(x, 0) = c0 (x), en Ω. (19)
Como en los casos anteriores, considerando la frontera del dominio de flujo constituida
por sus partes disjuntas Neumann y Dirichlet ∂Ω = ∂ΩN ∪ ∂ΩD .
Si consideramos que el campo vectorial u no es un dato sino una incógnita mas, entonces
el modelo de transporte deberá estar acoplado a un modelo de flujo de la siguiente manera.
Modelo de flujo acoplado al modelo de transporte considerando w = ρ(c)u.

ρ(c) 
w=− K(grad p − ρ(c)g), 

µ(c)
en Ω × (0, T ), (20)
∂(φρ(c)) 


+ div(w) = ρ(c)q, 
∂t
con sus correspondientes condiciones de frontera y condición inicial.
w · n = wn , sobre ∂ΩN × (0, T ),
p = p,
 sobre ∂ΩD × (0, T ), (21)
p(x, 0) = p0 (x), en Ω.
donde, ∂Ω = ∂ΩN ∪ ∂ΩD .

Transporte de multicomponentes en una fase fluida

∂(φρci )
+ div(ρuci − ρDi (u)grad ci ) = qρ(c − ci ), i = 1, 2, ..., Nc (22)
∂t
donde: ci , qi y Di , Nc son la concentración volumétrica, el término de fuentes/sumideros,
el tensor de difusión-dispersión, y el numero de conponentes en el fluido. La restricción
para la concentración es
Nc

ci = 1
i=1

MODELO BIFASICO INMISCIBLE INCOMPRESIBLE

Como ultima aplicación de los conceptos básicos a la construcción de modelos fı́sicos, se
presenta la construcción del modelo bifásico de flujo inmiscible incompresible en un medio
poroso.
Para esto, considerando un dominio Ω y dos fases fluidas 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 denotará también por sα [-] α = {w, n}, el campo de saturación volumétrica

5
de la fase α, relacionada con el contenido volumétrico de la fase α en términos de la
porosidad φ por medio de φα = φsα . De manera análoga, se denotarán las permeabilidades
efectivas de cada fase K α [L2 ] relativas a la permeabilidad intrı́nseca del medio K [L2 ]
por K α = krα (sα )K, siendo krα (sα ) la permeabilidad relativa de la fase α dependiente de
la saturación de la fase α. Entonces, denotando la velocidad macroscópica de Darcy para
la fase α por uα = φα uaα , el sistema de ecuaciones que describe el flujo bifásico inmiscible
incompresible en un medio poroso se puede expresar para α = {w, n} como

krα (sα ) 
uα = − K(grad pα − ρα g), 


µα
en Ω × (0, T), (23)
∂(φρα sα ) 



+ div(ρα uα ) = qα ,
∂t
sujetas a la restricción de saturación total del medio

sw + sn = 1, (24)
y complementadas por la relación entre presión acuosa pw , presión no-acuosa pn y presión
capilar pc [3, 4].

pc (s) = pw − pn. (25)

Para que este problema quede completamente determinado, habrá que especificar la in-
teracción del sistema con su medio ambiente y su estado inicial.

Formulaciones alternativas para flujo bifasico

Presentamos algunas de las formulaciones en que podemos expresar el modelo de flujo
bifásico. Considerando que pc tiene inversa única

sw = p−1
c (pw − pn ) (26)
el modelo de flujo bifásico se puede expresar en forma mixta y en forma primal como:

Versión mixta: formulación velocidades-presiones de fase (uw , pw , un , pn )

krw (sw )
uw = − K(grad pw − ρw g),
µw
∂(φρw p−1
c )
+ div(ρw uw ) = qw ,
∂t (27)
krn (sn )
un = − K(grad pn − ρn g),
µn
∂(φρn (1 − p−1
c ))
+ div(ρn un ) = qn .
∂t

Versión primal: formulación presiones de fase (pw , pn )

∂(φρw p−1
c ) ρw krw (sw )
− div( K(grad pw − ρw g)) = qw ,
∂t µw
(28)
∂(φρn (1 − p−1
c )) ρn krn (sn )
− div( K(grad pn − ρng)) = qn .
∂t µn

6
Considerando como campos principales (uw , sw , un , pn ), se obtiene la formulación (velocidad-
saturación de la fase acuosa-velocidad-presión de la fase no acuosa).

Versión mixta: Formulación (uw , sw , un , pn )

krw (sw )
uw = − K(grad (pc + pn ) − ρw g),
µw
krw (sw ) dpc
=− K(grad pn + grad sw − ρw g),
µw dsw
∂(φρw sw ) (29)
+ div(ρw uw ) = qw ,
∂t
krn (sn )
un = − K(grad pn − ρn g),
µn
∂(φρn (1 − sw ))
+ div(ρn un ) = qn .
∂t

Si se consideran como campos principales saturación acuosa y presión no acuosa (sw , pn ),

se obtiene

Versión primal: formulación (sw , pn )

∂(φρw sw ) ρw krw (sw )

− div K(grad (pc + pn ) − ρw g) =
∂t µw

∂(φρw sw ) ρw krw (sw ) dpc

− div K(grad pn + gradsw − ρw g) = qw , (30)
∂t µw dsw

∂(φρn (1 − sw )) ρn krn (sn )

− div K(grad pn − ρn g) = qn .
∂t µn
Por último, considerando como campos principales velocidad total, presión global, flujo
de saturación y saturación (u, p, w, s) con s = sw , se puede expresar el modelo de flujo
bifásico en términos de dos modelos mixtos acoplados. Nótese que, debido a que las
densidades de las fases son constantes, estas se ha suprimido pero se ha conservado la
misma simbologı́a para denotar el término de fuentes-sumideros qw , qn .

Versión mixta: Formulación (u, p, w, s)

u = −Kλ(grad p − (λw ρw + λn ρn )g),
divu = q,

 
(ρw − ρn ) (31)
w = −D(s)K grad s − g ,
p′c (s)
∂s
φ + divw + div(λw u) = qw .
∂t
De manera análoga a como se hizo en los casos anteriores, si consideramos como campos
principales la presión global y la saturación, podemos obtener una versión primal.

7
Versión primal: Formulación (p, s)
−div {Kλ(grad p − (λw ρw + λn ρn )g)} = q,
 

∂s (ρw − ρn )
φ − div D(s)K grad s − g (32)
∂t p′c (s)
−div {λw [Kλ(grad p − (λw ρw + λn ρn )g)]} = qw .

Metodologı́a a seguir
La metodologı́a está enfocada a desarrollar los siguientes puntos.
1. Planteamiento del problema fı́sico.
2. Planteamiento del problema matemático.
3. Formulación variacional del problema.
4. Formulación del problema en espacios de dimensión finita.
5. Resolución para los sistemas de ecuaciones lineales o no-lineales resultantes.
6. Construcción del modelo computacional.
7. Posprocesamiento
En el planteamiento del problema de flujo bifásico inmiscible incompresible en un medio
poroso, se tienen de manera explı́cita: dos ecuaciones que describen la velocidad macroscópica
de cada fase; dos ecuaciones mas que establecen la conservación de masa para cada fase
o la variación temporal local de masa en cada fase; una ecuación para la restricción de
saturación total del medio; y por último, la relación entre presión acuosa pw , presión
no-acuosa pn y presión capilar pc . Las correspondientes ecuaciones se presentan a con-
tinuación, aclarando que se han hecho algunas hipótesis de trabajo, y se usa la siguiente
notación.
densidad acuosa y no-acuosa ρw = cte, ρn = cte,

viscosida acuosa y no-acuosa µw = cte, µn = cte,

permeabilidad relativa acuosa y no-acuosa krw (s, x) = krw (s), krn (s, x) = krn (s),

permeabilidad absoluta y saturación acuosa K = K(x), s = sw .

Considerando que la porosidad del medio no cambia en el tiempo y aplicando la restricción

de saturación total del medio, se expresa el sistema de ecuaciones de balance, ecuaciones
constitutivas y restricciones

8
 
krw (sw )
uw = − K(grad pw − ρw g), 



µw 





krn (sn ) 
un = − K(grad pn − ρn g), 



µn 




∂sw 


φ + divuw = qw ,
∂t en Ω × (0, T). (33)


∂sw 



−φ + divun = qn , 

∂t 

 



sw + sn = 1, 







pc (sw ) = pw − pn ,
Para resolver el problema fı́sico (33) con sus respectivas condiciones de frontera y condición
inicial, lo replanteamos como un problema matemático mixto equivalente. Debe quedar
claro que, ésta es solo una forma de tratar este problema pero, no es la única.
Para el planteamiento del problema mixto, es necesario definir los nuevos campos: veloci-
dad total u, presión global p y flujo de saturación w.
Para este propósito hacemos las siguientes definiciones.

krw (sw ) krn (sw )

λ(sw ) ≡ + , (34)
µw µn
krw (sw )
λw (sw ) ≡ , (35)
λ(sw )µw
krn (sw )
λn (sw ) ≡ . (36)
λ(sw )µn
Con base en las dos ultimas definiciones, se tiene

λw (sw ) + λn (sw ) = 1. (37)

Utilizando las definiciones anteriores, el sistema (33) queda expresado en la forma

uw = −λ(sw )λw (sw )K(grad pw − ρw g), 
 





un = −λ(sw )λn (sw )K(grad pn − ρn g), 







∂sw 

φ + divuw = qw , 


∂t en Ω × (0, T). (38)
∂sw 



−φ + divun = qn , 

∂t 





sw + sn = 1, 








pc (sw ) = pw (sw ) − pn (sw ),
Con el propósito de simplificar la notación, usaremos s = sw .
Definiendo la velocidad total u del sistema como la suma de las velocidades de cada fase

9
 u ≡ uw + un , (39)
div u se puede expresar como

divu = div(uw + un ) = qw + qn ≡ q.

 (40)
La velocidad de la fase acuosa uw se puede expresar como

uw = λn uw − λw un + λw (uw + un ), (41)
y sustituyendo (41) en (383 ) se obtiene
∂s
φ + div(λn uw − λw un ) + div(λw (uw + un ) = qw . (42)
∂t
Ahora bien, desarrollando el término (λn uw − λw un ) y utilizando la relación entre
pc , pw y pn , se obtiene

λn uw − λw un = −Kλλn λw (grad pc − (ρw − ρn )g). (43)

Utilizando (43), la ecuación (42) queda expresada como
∂s
φ − div {Kλλn λw (grad pc − (ρw − ρn )g)} + div(λw u) = qw . (44)
∂t
Con el propósito de expresar (44) en forma mixta, esto es, separar los campos incognita
que contiene la ecuación, se hace la siguiente definición
′
′ krn (s)krw (s)pc (s)
D(s) ≡ λ(s)λn (s)λw (s)pc (s) = (45)
krn (s)µw + krw (s)µn
entonces, la ecuación (44) utilizando (45), se puede expresar en forma mixta como
  
(ρw − ρn ) 
w = −D(s)K grad s − ′ g ,


pc (s) en Ω × (0, T), (46)
∂s 



φ + divw + div(λw u) = qw ,
∂t
con lo que se tiene el primer modelo mixto (flujo de saturación-saturación) (w − s) .
El segundo de los modelos se obtiene explicitando u = uw + un , utilizando para ello las
expresiones (381,2 ) para uw y un

u = uw + un = −Kλ (λw grad pw + λn grad pn − (λw ρw + λnρn )g) (47)

pero el término (λw grad pw +λn grad pn ) , haciendo uso de la relación entre (pc , pw y pn )
se puede expresar de la siguiente manera

λw grad pw + λn grad pn = 12 {grad pw + grad pn + (λw − λn )grad pc }

 

1
s
dpc (48)
= grad pw + pn + (λw − λn ) ds ,
2 sc ds

10
entonces, definiendo la presión global p , como

s 
1 dpc
p(s) ≡ pw + pn + (λw − λn ) ds (49)
2 sc ds
la velocidad total u , puede ser expresada como

u = uw + un = −Kλ(grad p − (λw ρw + λn ρn )g). (50)

La ecuación (50) para la velocidad total u conjuntamente con la ecuación (40), constituye
el segundo modelo mixto para los campos ( velocidad total-presión global) (u − p),

u = −Kλ(grad p − (λw ρw + λn ρn )g), 

en Ω × (0, T). (51)


divu = q,
En consecuencia, los dos modelos mixtos acoplados (velocidad total-presión global) y
(flujo de saturación-saturación), conforman el modelo mixto bifásico inmiscible incompre-
sible (MB),
 

 u = −Kλ(grad p − (λw ρw + λn ρn )g), 


  

 


 


 divu = q,
 


 


 

   
(MB)  (ρw − ρn ) en Ω × (0, T). (52)

 w = −D(s)K grad s − ′ g , 



 p (s) 


 c  

 


 


 ∂s 


 

φ + divw + div(λw u) = qw ,
∂t
Para complementar estos modelos, es necesario especificar la interacción con su medio
ambiente y su estado inicial. Esto se hace estableciendo las condiciones de frontera,
u·n = un , sobre ∂ΩpN × (0, T),

p = p,
 sobre ∂ΩpD × (0, T),
(53)
w·n = w n , sobre ∂ΩsN × (0, T),

s = s, sobre ∂ΩsD × (0, T),

y su respectiva condición inicial,

s(x, 0) = s0 (x), sobre Ω. (54)

El sistema (52-54) constituye un modelo matemático para el problema de flujo bifásico
inmiscible incompresible en medios porosos, en términos de dos modelos mixtos acoplados
velocidad total-presión global (u, p) y flujo de saturación-saturación (w, s).

Por último observamos que, en el planteamiento hecho hasta aquı́ para el modelo de
flujo bifásico, los campos: presión, velocidad y saturación de las fases acuosa y no-acuosa
(pw , uw , sw , pn , un , sn ) , están relacionados con los campos del modelo matemático veloci-
dad total, presión global, flujo de saturación y saturación (u, p, w, s) , por medio de las
expresiones.

11
 
uw = λw u + w, 








un = λn u − w, 





s 
1 dpc (55)
pw = 2p + pc − (λw − λn ) ds , 



2 sc ds 



s  

1 dpc 

pn = 2p − pc − (λw − λn ) ds . 


2 sc ds
Resuelto el problema (52-54) en términos de los campos (u, p, w, s) , el sistema (55)
permiten recuperar los campos fı́sicos (pw , uw , sw , pn , un , sn ) del problema original.

MODELO MACROHIBRIDO MIXTO BIFASICO DE FLUJO

Hasta el momento, se han desarrollado los modelos mixtos que describen el flujo bifásico
en un medio poroso Ω. Sin embargo, con el propósito de explotar la potencialidad que
tienen los modelos macrohı́bridos para tratar discontinuidades en las propiedades fı́sicas
de sistemas reales, es deseable replantear el modelo anterior en su forma macrohı́brida.
Siguiendo esta idea, utilizaremos el método de Descomposición de Dominio para dividir
espacialmente el dominio de definición del problema, considerando que tal división está
asociada de manera natural, con los diferentes estratos geológicos que constituyen el
sistema
Sea Ω ⊂ ℜ3 un dominio espacial fijo, descompuesto en E subdominios de acuerdo a lo
siguiente.
E

Ω= Ωe , Ωe ∩ Ωf = ∅, 1 · e < f · E, (56)
e=1

con fronteras internas Γe e interfases Γef seccionalmente suaves, expresadas como

Γe = ∂Ωe ∩ Ω, 1 · e · E,
(57)
Γef = Γ e ∩ Γf , 1 · e < f · E.
Entonces, el modelo de flujo bifásico originalmente planteado para un solo dominio Ω ,
puede expresarse como un conjunto de subproblemas mixtos locales en cada subdo-
minio Ωe , dando orı́gen a un modelo macrohı́brido mixto bifásico (MHMB), para e =
{1, 2, ..., E},

 

 ue = −K e λe (grad pe − (λw,e ρw,e + λn,e ρn,e )g), 


  

 


 


 divue = qe , 


 


 

   
(MHMB)  (ρw,e − ρn,e ) 
en Ωe × (0, T), (58)

 w e = −De (s)K e grad se − g , 



 p′c,e (s) 



 


 


 



 ∂se 


φe + divwe + div(λw,e ue ) = qw,e ,
∂t

12
en donde, cada subproblema {e} está sujeto a cumplir las restricciones de continuidad
en los campos velocidad total, presión global, flujo de saturación y saturación a través de
las interfases Γek de acuerdo a lo siguiente

ue · ne = −uk · nk , 
 






pe = pk , 

a través de Γek × (0, T). (59)

w e · ne = −w k · nk , 









se = sk ,
Como es natural, las condiciones de frontera y la condición inicial de cada subdominio
deben replantearse. Las condiciones de frontera en este caso deberán especificarse solo
sobre la frontera externa de cada subdominio Ωe , esto es, para e = {1, 2, ..., E}

ue · ne = un,e , sobre ∂ΩpN,e × (0, T),

pe = pe , sobre ∂ΩpD,e × (0, T),

(60)
w e · ne = wn,e , sobre ∂ΩsN,e × (0, T),

se = se , sobre ∂ΩsD,e × (0, T),

y la condición inicial para cada subdominio Ωe queda especificada para e = {1, 2, ..., E}
como

se (x, 0) = s0,e (x) x ∈ Ωe . (61)

El sistema (58-61) constituye el modelo macrohı́brido mixto para el problema de flujo

bifásico inmiscible incompresible en medios porosos.

FORMULACIÓN VARIACIONAL MIXTA

En lo que sigue, presentamos la formulación variacional el modelo mixto de flujo bifásico
(52-54). Para ello expresamos (52) en la forma.

 

 u = −Kλ(grad p − (λw ρw + λn ρn )g), 


 


 


 


 divu = q, 


 


 

   
(MHMB)  (ρw − ρn ) en Ω × (0, T), (62)
 w = −D(s)K grad s −
 ′ g , 



 p (s) 


 c  

 


 


 ds 


 

φ + divw = (λn qw − λw qn ),
dt
donde,

13
 ds ∂s
= + b · grad s,
dt ∂t
′ (63)
λw u
b= .
φ
Ahora bien, de acuerdo con Pironneau [46], la aproximación temporal discreta de (631 )
considerando intervalos △t = tm+1 − tm con m = 0, 1, 2, ... se puede expresar para como
 m+1
∂s ∼ 1  m+1 
+ b · grad s = s (x) − sm (X m (x)) (64)
∂t △t
donde, X m (x) es una aproximación de X(x, (m + 1)△t; m△t) que puede ser expresada
por medio de un esquema de Euler como

X m (x) = x − bm (x)△t. (65)

Entonces, la versión semidiscreta de (MHMB) puede ser expresada en la forma

 


um = −Kλm (grad pm − (λw ρw + λn ρn )m g), 


 


 


 



 divum = qm , 



 

(MHMBD)    en Ω×(0, T ),
 m+1 m+1 m+1 (ρw − ρn ) 



 w = −D (s)K grad s − g , 




 p′c (s) 



 


 

 
φsm+1 + △t divw m+1 = φsm (X m ) + △t(λn qw − λw qn )m+1 ,
(66)
cuyas condiciones de frontera externa especificadas para cada paso de tiempo △t, quedan
expresadas como

u·n = un , sobre ∂ΩpN × (m, m + 1)△t,

p = p, sobre ∂ΩpD × (m, m + 1)△t,
(67)
w·n = w n , sobre ∂ΩsN × (m, m + 1)△t,
s = s, sobre ∂ΩsD × (m, m + 1)△t.

Además, se establece como condición inicial la saturación en Ω

s(x, m△t) = sm (x) x ∈ Ω. (68)

Para la formulación variacional del modelo semidiscreto (66-68) (MHMBD) se utiliza

el método de Galerkin, y se consideran los campos: velocidad total-flujo de saturación
(u, w) y presión global-saturación (p, s) contenidos en los espacios funcionales V (Ω) y
Y (Ω) respectivamente, con
 
V (Ω) = H(div, Ω) = v ∈ L2 (Ω) : divv ∈ L2 (Ω) ,
(69)
Y (Ω) = L2 (Ω).

Entonces, la formulación variacional para el modelo (u, p) queda expresada en la forma

14
 

 Encuentre(u, p) : (0, △t) → Kun × Y (Ω) :












(λm (s)K)−1 um ·v dΩ = pm divv dΩ − pm v·n d∂Ω

 Ω Ω ∂ΩpD


(70)


 + (λm m
w (s)ρw + λn (s)ρn )g·v dΩ, ∀v ∈ K0n ,

 Ω









 divum q dΩ = qm q dΩ, ∀q ∈ Y (Ω).
Ω Ω

La correspondiente formulación para el modelo (w, s) queda expresada como



 Encuentre(w, s) : (0, △t) → Kwn × Y (Ω),







con la condicion inicial, s(x, 0) = s0 (x), para x ∈ Ω :





 m+1 −1 m+1


 (D (s)K) w ·v dΩ = sm+1 divv dΩ

 Ω Ω




 (ρw − ρn )

− sm+1 v·n d∂Ω + g·v dΩ, ∀v ∈ K0n , (71)



∂ΩsD Ω p′c (s)










 φsm+1 q dΩ + △t divw m+1 q dΩ = φsm (X m )q dΩ



 Ω Ω Ω





 +△t (λn (s)qw − λw (s)qn )m+1 qdΩ, ∀q ∈ Y (Ω).
Ω

Hecha la formulación variacional de ambos modelos, tenemos incorporadas las condiciones

de frontera y, en consecuencia, el siguiente paso es buscar una solución aproximada para
los campos del modelo utilizando espacios de dimension finita.

MODELO MIXTO BIFASICO DISCRETO

Para la aproximación espacial de los campos: velocidad total, presión global, flujo de sat-
uración y saturación, se utilizarán espacios de elemento finito mixto localmente conformes
Vh (Ω) y Yh (Ω) [9, 13, 15] los cuales son a su vez, subespacos de V (Ω) y Y (Ω) respecti-
vamente. Para generar los espacios Vh (Ω) y Yh (Ω), se utiliza un conjunto de funciones
linealmente independientes de V (Ω) y Y (Ω) de la siguiente manera.

V h = [φ1 , φ2 , ..., φnh ] ⊂ V (Ω) = H(div, Ω), (72)

Y h = [ζ 1 , ζ 2 , ..., ζ mh ] ⊂ Y (Ω) = L2 (Ω), (73)

.
Debe notarse que, dada la naturaleza de Vh (Ω) y Yh (Ω), cada φn es una función vectorial
y, cada ζ m es una funcion escalar.
Entonces, los campos: velocidad total, presión global, flujo de saturación y saturación,
quedan expresados por medio de

15
 nh

uh = αu,j φj ∈ V h velocidad total (74)
j=1

mh

ph = λk ζ k ∈ Y h presión global (75)
k=1
nh

wh = αw,j φj ∈ V h flujo de saturación (76)
j=1

mh

sh = ϑk ζk ∈ Y h saturación (77)
k=1

En este punto vale la pena aclarar algunas convenciones que hemos hecho respecto a la
notación.
Denotamos por uh ∈ V h el vector columna resultado de multiplicar una matriz renglon
φT1xn con una matriz columna αnx1 , esto es, si denotamos por

φT = [ φ1 φ2 ... φn ] (78)
y por
 
α1
 α2 
 
 
 . 
α=  (79)
 . 
 
 . 
αn
entonces, el vector uh lo podemos expresar como

uh = φT α (80)
Siguiendo esta convención, los campos (74-77) quedan expresados como

uh = φT αu ,
ph = ζ T λ,
(81)
w h = φT αw ,
sh = ζ T ϑ.

Utilizando (81) y sustituyendo en cada término de (70) se obtiene.

16



−1
m
(λ (s)K) u ·v dΩ = m
(λm (s)K)−1 (φT αm T m m
u )·(φ β) dΩ = Au (ϑ)αu ·β,
Ω Ω



m
p divv dΩ = (ζ T λm )div(φT β) dΩ = −LT λm ·β,
Ω Ω



− pm v·n d∂Ω + (λm m
w (s)ρw + λn (s)ρn )g·v dΩ =
∂ΩpD Ω



m T T m
− p φ β·n d∂Ω + (λm m
w (s)ρw + λn (s)ρn )g·φ β dΩ = f u (ϑ)·β,
∂ΩpD Ω



m
divu q dΩ = div(φT αu )m (ζ T µ) dΩ = −(Lαm
u ) · µ,
Ω Ω



qm q dΩ = qm ζ T µ dΩ = qm
p · µ.
Ω Ω

Entonces, el sistema (70) queda expresado como:





Encuentre(αu , λ) : (0, △t) → ℜn × ℜm :

 −(LT λm )·β = (Am m m
u (ϑ)αu − f u (ϑ))·β, ∀β ∈ ℜn , (82)



Lαm m
u ·µ = −q p ·µ, ∀µ ∈ ℜm ,
donde:




 Lkj = − ζk divφj dΩ,



 Ω







 Am
u,ij (ϑ) = λ−m (ϑ)K −1 φj ·φi dΩ,
Ω


(83)

 m



m
fu,j (ϑ) = − p φj ·n d∂Ω + (λm m
w (ϑ)ρw + λn (ϑ)ρn )g·φj dΩ,

 ∂ΩpD Ω





 m
 qp,k = qm ζk dΩ.
Ωp

17
De manera análoga, el sistema (71) y su correspondiente aproximación de elemento finito
término a término está dada por



−1
(D m+1
(s)K) w m+1
·v dΩ = (Dm+1 (s)K)−1 (φT αm+1
w )·(φT β) dΩ = Am+1
w (ϑ)αm+1
w ·β,
Ω Ω



sm+1 divv dΩ = (ζ T ϑm+1 )div(φT β) dΩ = −LT ϑm+1 ·β,
Ω Ω



m+1 (ρw − ρn )
− s v·n d∂Ω + g·v dΩ =
∂ΩsD Ω p′c (s)



(ρw − ρn )
− sm+1 (φT β)·n d∂Ω + ′ g·(φT β) dΩ = f m+1
w (ϑ)·β,
∂ΩsD Ω pc (s)



φsm+1 q dΩ = φ(ζ T ϑm+1 )(ζ T µ) dΩ = M ∗s ϑm+1 ·µ,
Ω Ω



divw m+1 q dΩ = div(φT αm+1
w )(ζ T µ) dΩ = −Lαm+1
w ·µ,
Ω Ω



m
φs (X )q dΩ = m
φ(ζ T ϑm (X m ))(ζ T µ) dΩ = M ∗s ϑm (X m )·µ,
Ω Ω



(λn (s)qw − λw (s)qn )m+1 q dΩ = (λn (ϑ)qw − λw (ϑ)qn )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) = s0 (x), para x ∈ Ω :
(84)




−(LT ϑm+1 )·β = (Am+1
w (ϑ)αm+1
w − f m+1
w (ϑ))·β, ∀β ∈ ℜn ,

    

△tLαm+1
w ·µ = M ∗s ϑm+1 − ϑm (X m ) − △tq m+1
s (ϑ) ·µ ∀µ ∈ ℜm .
donde:



 Lkj = − ζk divφj dΩ,



 Ω




 ∗


 Ms,mk = φζm ζk dΩ,

 Ω







 qm+1 (ϑ) = (λn (ϑ)qw − λw (ϑ)qn )m+1 ζk dΩ,
 s,k Ω

(85)
 Am+1 D−(m+1) (ϑ)K −1 φj ·φi dΩ,
w,ij (ϑ) =



 Ω





 


 m+1 ρw − ρn



fw,j (ϑ) = − sm+1 φj ·n d∂Ω + g·φj dΩ,

 ∂ΩsD Ω p′c (ϑ)






 qm+1 (ϑ)
s,k = (λn (ϑ)qw − λw (ϑ)qn )m+1 ζk dΩ.
Ω

18
Modelo de Flujo de Calor

Aplicación de los principios básicos a la obtención del modelo fı́sico de flujo de calor.
Sean
 
calor
c = masa.temp J
Kg.◦ C
= cap.calorifica
masa = calor especifico
 
masa Kg = densidad de masa
ρ = volumen m3

θ = temperatura [◦ C]

La cantidad de calor en un cuerpo Ω con calor especı́fico c, densidad de masa ρ y tem-

peratura θ, está expresada por


Q= (cρθ)dV (86)
Ω
La aplicación del Teorema de transporte de Reynolds a Q da

dQ d ∂
= (cρθ)dV = (cρθ) + div(cρθu) dV = fdV − q · ndA (87)
dt dt Ω Ω ∂t Ω ∂Ω

Sin embargo, considerando que Ω es una región fija, u = 0, la ecuación anterior despues
de aplicar el teorema de la divergencia se reduce a:

∂
(cρθ) + divq − f dV = 0 (88)
Ω ∂t
Ahora aplicando el Teorema de Localización, se obtiene
∂
(cρθ) + divq − f = 0 en Ω × (0, T ) (89)
∂t
Si la ecuación de balance anterior, se complementa con la ecuación constitutiva de Fourier

q = −Kgrad θ (90)
entonces se tiene el modelo mixto flujo de calor-temperatura (q, θ)

Versión mixta: Formulación (q, θ)



 q = −Kgrad θ
∂(cρθ) en Ω × (0, T ) (91)

 + divq − f = 0
∂t
y si sustituimos la primera en la segunda de las ecuaciones (93) se obtiene

Versión primal: Formulación (θ)

∂θ
cρ − div(Kgrad θ) = f en Ω × (0, T ) (92)
∂t
Por último, 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ón variacional primal para el problema de calor

Considerando el problema primal
∂θ
cρ − div(Kgrad θ) = f en Ω × (0, T )
∂t
incorporamos condiciones de frontera a través de la formulación variacional




∂θ
cρ vdV − div(Kgrad θ)vdV = f vdV ∀v ∈ V (Ω)
Ω ∂t Ω Ω

y aplicando integración por partes

∂θ
cρ vdV + Kgrad θ·grad v dV − div(v(Kgrad θ))dV = f vdV ∀v ∈ V (Ω)
Ω ∂t Ω Ω Ω

y utilizando el Teorema de la Divergencia

∂θ
cρ vdV + Kgrad θ · grad v dV
Ω ∂t Ω
(93)



− (γv(Kgrad θ) · n)dA = f vdV ∀v ∈ V (Ω)
∂Ω Ω
donde:
 
V (Ω) = H 1 (Ω) = v ∈ L2 (Ω) : grad v ∈ L2 (Ω) (94)

Formulación en espacios de dimensión finita utilizando Galerkin

Sea Vh (Ω) un subespacio de V (Ω), generado por el conjunto {φ1 , φ2 , ..., φn }

Vh (Ω) = gen {φ1 , φ2 , ..., φn } (95)

donde: Vh (Ω) ⊂ V (Ω) = H 1 (Ω).
Cada elemento v ∈ Vh (Ω) se puede escribir en la forma
 
α1
 α2 
 
n
 
 .  T
v= φi αi = [ φ1 φ2 ... φn ] 
 . 
=φ α (96)
i=1  
 . 
αn

20
de manera particular, podemos expresar θ y v como

θ = φT α
(97)
v = φT β
con base en la notación anterior, expresamos cada término de la formulación variacional
del problema en la siguiente forma





∂θ
cρ vdV + Kgrad θ · grad v dV − (γv(Kgrad θ) · n)dA = f vdV
Ω ∂t Ω ∂Ω Ω

∂θ ∂(φT α) T ∂α
cρ , v = cρ , φ β = cρ(φ ⊗ φ) , β,
∂t ∂t ∂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 flujo de calor planteado en
espacios de dimension finita queda expresado como
∂α
+ (B − C)α = f
A
∂t
(98)
∂α
A + Dα = f
∂t
donde: D = B − C, y las entradas de las matrices y vectores están expresadas como


Aij = cρ(φj φi )dV,
Ω


Bij = (grad φj ) · (Kgrad φi )dV,
Ω

(99)
Cij = (γφj )(Kgrad φi · n)dA,
∂Ω


fi = φi f dV.

Un ejemplo unidimensional con cuatro nodos

Si consideramos un dominio Ω unidimensional de longitud L, dividido en tres segmentos
y cuyos nodos denotamos por x1 , x2 , x3 , x4 , el conjunto de funciones {φ1 , φ2 , φ3 , φ4 } que
genera Vh (Ω) puede expresarse como

Vh (Ω) = gen{φ1 , φ2 , φ3 , φ4 }
con

21
 x − x1
φ1 = 1 − x1 · x · x2
x2 − x1

 x − x1

 x1 · x · x2
φ2 = x 2 − x 1

 x − x2
1 − x2 · x · x3
x3 − x2

 x − x2

 x2 · x · x3
φ3 =  x3 x−−x2x
 3
1 − x3 · x · x4
x4 − x3
x − x3
φ4 = x3 · x · x4
x4 − x3
Entonces, las primeras entradas de las matrices A y B son:
cρ
A11 = (x2 − x1 )
3
cρ
A12 = (x2 − x1 )
6
cρ
A21 = (x2 − x1 )
6
cρ cρ
A22 = (x2 − x1 ) + (x3 − x2 )
3 3
cρ
A23 = (x3 − x2 )
6

K
B11 =
x2 − x1
−K
B12 =
x2 − x1
−K
B21 =
x2 − x1
K K
B22 = +
x2 − x1 x3 − x2
−K
B23 =
x3 − x2

Un ejemplo bidimensional para una geometrı́a general

 un triángulo de referencia y Ω un triángulo real.
Sea Ω
Sean {x
 1, x  y, {x , x , x } los correspondientes vértices de Ω.
 3 } los vértices de Ω
 2, x 1 2 3
Se define una transformación afı́n χ : Ω  → Ω por medio de

x = χ(x)
 ≡ x1 φ1 (x)  (x)
 + x2 φ  
2  + x3 φ3 (x)

= x1 + (x2 − x1 )x + (x3 − x1 )y (100)

= x1 + D x,


donde: φm : Ω
 → [0, 1] para m = {1, 2, 3}, son funciones escalares definidas por

22
 φ1 (x)
 = 1 − x − y,

φ2 (x) = x,
 (101)
φ3 (x)
 = y.
 → Ω y su inversa χ−1 : Ω → Ω
Entonces la transformación χ : Ω  quedan expresadas
como
x = χ(x)
 = x1 + D x,

(102)
 = χ−1 (x) = D −1 (x − x1 )
x
Con base en la transformación afı́n χ, 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 = {1, 2, 3}. (103)
φm (x)
 = φm (χ(x)) = φm (x),
Un ejemplo concreto.
 el triángulo definido por los
Sea Ω el triángulo definido por los vértices x1 , x2 , x3 y Ω
vértices x
 1, x
 2, x
 3 , con

x1 = (2, 2),
x2 = (4, 2),
x1 = (2, 3),
entonces, se tienen las siguientes transformaciones
    
2 2 0 x
x = χ(x)
 = +
2 0 1 y
  
 = χ−1 (x) =
1/2 0 x−2
x
0 1 y−2
y se tiene que
φ1 (x)
 = 1 − x − y,

φ2 (x)
 = x,

φ3 (x) = y.


y
φ1 (x) = 4 − 12 x − y,
φ2 (x) = 12 (x − 2),
φ3 (x) = y − 2,
con la propiedad
φ1 (x)
 = φ1 (x),

φ2 (x)
 = φ2 (x), para x = x1 + Dx.


φ3 (x)
 = φ3 (x),
Ahora, utilizando la propiedad anterior, se pueden calcular las entradas de las matrices
A y B de la siguiente manera.



1
1−
x
Aij = φj φi dΩ = φ φ
j i J 
dΩ = φj φi J dydx
Ω 
Ω 0 0

23
  x)),
Ahora utilizando la identidad [49] grad φ(x) = (D −1 )T ∇(φ( 



Bij = grad(φj ) · Kgrad(φi )dΩ = (D −T ∇φj ) · (KD−T ∇φi )dΩ

Ω 
Ω

1
1−
x
= (D −1 KD −T ) · (∇φj ⊗ ∇φi )dydx
0 0

donde: los gradientes de las funciones φi están expresados como

     
−1 1 0
∇φ 1 = , ∇φ
2 = , ∇φ 3 = ,
−1 0 1

y, los correspondientes productos tensoriales ∇φj ⊗ ∇φi , son

     
1 1 −1 0 0 −1
∇φ1 ⊗ ∇φ1 = , ∇φ1 ⊗ ∇φ2 = , ∇φ1 ⊗ ∇φ3 = ,
1 1 −1 0 0 −1

     
−1 −1 1 0 0 1
∇φ2 ⊗ ∇φ
1 = , ∇φ2 ⊗ ∇φ2 = , ∇φ2 ⊗ ∇φ3 = ,
0 0 0 0 0 0

     
0 0 0 0 0 0
∇φ3 ⊗ ∇φ
1 = , ∇φ3 ⊗ ∇φ2 = , ∇φ3 ⊗ ∇φ3 = .
−1 −1 1 0 0 1

Integración explı́cita/implı́cita
Consideremos la expresión
∂u
= f (u)
∂t
utilizando diferencias finitas podemos expresar
∂u un+1 − un
= = fm
∂t △t
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 θ

un+1 = un + △t(θf n+1 − (1 − θ)f n )

con θ = 0 se obtiene un método de Euler explı́cito,
con θ = 1 se obtiene un método de Euler implı́cito,
con θ = 1/2 se obtiene el método de Crank-Nicholson.
Entonces, considerando la ecuación
∂α
A + Dα = f
∂t
y utilizando un esquema θ, se puede aproximar la ecuación anterior como
αn+1 − αn
= θ[A−1 (f − Dα)]n+1 + (1 − θ)[A−1 (f − Dα)]n
△t

24
considerando que las matrices A, D y el vector f son independientes de α, se obtiene el
siguiente esquema
   
1 1
A + θD αn+1 = A − (1 − θ)D αn + f
△t △t
Este esquema para el caso lineal es condicionalmente estable para θ < 0.5. La restricción
para que este esquema numérico sea estable está dada por △t · △tcriti = 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 elección 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 Jérôme Jaffré 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-Guzmán, 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, Formulación Subdiferencial y Variación de Problemas de Valores so-
bre la Frontera, Comunicaciones Técnicas, Serie Investigación No. 4, Instituto de
Geofı́sica, UNAM, 1986.
[11 ] G. Alduncin, Subdifferential 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 Técnicas, Serie Investigación No. 35,
Instituto de Geofı́sica, 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 méthode des multiplicateurs aux inéquations
variationnelles. In: Méthodes de Lagrangien Augmenté (fortin M, Glowinski R, eds).
Dunod-Bordas, Paris, pp 279-307.
[17 ] G. Alduncin, 1997, On Gabay’s 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). Méthodes de Lagrangien Augmenté: Applications à
la Résolution Numérique de Problémes 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 flows 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., Jaffre J., Discontinuous upwinding and mixed finite elements
for two phase flow in reservoir simulation. Computer Methods in Applied Mechanics
and Engineering 1984; 47:93-118.
[29 ] Ewing R., Heinemann R., Mixed finite 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 flow IV: local refin-
ment and domain decomposition, J. Scientific 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 Inéquations en Méchanique et en Physique, Dunod,
Paris, 1972.
[35 ] Showalter R.E., Hilbert Space Methods for Partial Differential Equations, Pitman,
Londres, 1977.
[36 ] R.Glowinski, J.L.Lions and R.Trémolières, 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 finite-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 Differential Equa-
tions, Springer-Verlag, Berlin, 1994.
[42 ] J.J. Moreau, Proximité et dualité dans une espace hilbertiane, Bull. Soc. Math.
France 1965, 93, pp 273-299.
[43 ] Zhangxin Chen and Richard E. Ewing, Fully discrete finite element analysis of
multiphase flow 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, Effective equation for two-phase flow with
trapping on the micro scale, SIAM J.Appl.Math., 2002, V.62, No.5, pp 1531-1568.
[46 ] O. Pironneau, Méthodes des Éléments Finis pour les Fluides, Collection Recherches
en Mathématiques Appliquées, sous la direction de P.G. Ciarlet et J.L. Lions, 1988,
edit. Masson, Paris.
[47 ] Gonzalo Alduncin, Jorge Esquivel-Avila and Norberto Vera-Guzmán, 2005, Steady
filtration problems with seawater intrusion: Macro-hybrid finite element approxima-
tions, International Journal for Numerical Methods in Fluids, V.49, pp 935-957.
[48 Norberto Vera-Guzmán, Construcción de Matrices de Elemento Finito Mixto en 3D
para Geometrı́as Generales, Reporte Interno 2009-01, Instituto de Geofı́sica, UNAM.

28