27

ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico, vol. XVII, nm. 2, pp. 27-42, abril-junio de 2002
Introduccin
El problema de contaminacin surge cuando la concen-
tracin de uno o ms solutos sobrepasan los lmites de
calidad del agua preestablecidos por la normatividad
(NOM-127-SSA1, 1994). Uno de los elementos fundamen-
tales en la prevencin y control de la contaminacin en
acuferos es el desarrollo de modelos fsicos y matemti-
cos que predicen el movimiento de solutos en el flujo sub-
terrneo. Adems de los modelos predictivos, se cons-
truyen modelos de control o de manejo (Gorelick, 1983),
que se distinguen de los primeros debido a que adems
toman en cuenta restricciones reguladoras, que deben
ser cumplidas por las variables de estado de las
ecuaciones de flujo y transporte; en estos se minimiza
una funcin objetivo de costo-beneficio (Martnez, 2000).
Los modelos de manejo permiten disear estrategias de
rehabilitacin de acuferos contaminados en donde es
necesario encontrar soluciones que satisfagan criterios
regulatorios (valores restringidos para la concentracin
de contaminantes). El empleo de modelos predictivos y
de control, en conjunto con las actividades de adquisi-
cin de datos y programas de monitoreo intensivo de los
sitios, permite elegir los mejores diseos de rehabilita-
cin (Gorelick, 1983) o bien, en el rubro del potencial de
abastecimiento de agua subterrnea, permite encontrar
las mejores estrategias de bombeo que minimizan abati-
mientos debidos a la sobreexplotacin (Maddock, 1972;
Diseo de algoritmos para su uso en el control del
transporte de solutos en acuferos contaminados
Juan Diego Martnez Njera
Comisin Federal de Electricidad
Universidad Nacional Autnoma de Mxico
Este trabajo establece los fundamentos tericos de una metodologa matemtica para abordar la
rehabilitacin de mantos acuferos contaminados por sustancias disueltas, con la asistencia de
tcnicas numricas. Los algoritmos que se derivan son de control o de manejo, ya que inmerso a
la solucin numrica predictiva de la ecuacin de transporte de solutos, simultneamente deter-
minan aqulla que satisfaga restricciones impuestas por los lmites de calidad del agua. La varia-
ble de control es la concentracin del contaminante disuelto en el campo del flujo. Las considera-
ciones son cinemticas, al incluir los trminos de adveccin y dispersin, pero tambin toman en
cuenta las componentes de absorcin cintica de primer orden y de fuente/sumidero para la
concentracin. Se describen los argumentos fsicos y el marco matemtico de subdiferenciales
necesarios para establecer el problema de control de valores inicial y a la frontera para la ecuacin
de transporte de solutos, luego se procede a obtener el modelo en variaciones primal y el mixto
de control interno dual, as como la versin formal discreta de ambas formulaciones, con lo que se
generan algoritmos de solucin de elemento finito de tipo semidiscreto. Debido al carcter hiper-
blico-parablico de la ecuacin de transporte, cuando el trmino advectivo es dominante, en el
trabajo se le aproxima con la tcnica de upwind parcial de Ikeda. Se presenta un ejemplo hipot-
tico que permite probar la teora; con l se analizan los dos casos posibles para la concentracin
de un contaminante: cuando no excede y cuando rebasa los lmites reguladores de calidad del
agua. En ambas situaciones, los algoritmos primal y mixto determinan las soluciones numricas
apropiadas de cada tipo de problema.
Palabras clave: rehabilitacin, simulacin numrica, calidad del agua subterrnea, algoritmo,
adveccin, dispersin, transporte, flujo y transporte subterrneo, control, restriccin.
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 28
Chvez y Castro, 1992), con la asistencia de tcnicas
numricas.
El objetivo del trabajo es establecer los aspectos
heursticos y constructivos para el diseo de un tipo de
modelos de manejo, donde adems de la solucin nu-
mrica (predictiva) de la ecuacin transporte, se busca,
simultneamente, que la solucin satisfaga restricciones
adicionales impuestas. Se presentan los argumentos f-
sicos y el marco matemtico sobre los que se desarrolla
la construccin de este tipo de algoritmos (anlisis con-
vexo y subdiferenciales: Ekeland y Temam, 1974; Alduncin,
1989). El modelo completo de manejo se compone por
los algoritmos primal y mixto. Con respecto a la ecuacin
de transporte, las consideraciones son cinemticas, al
tomar en cuenta los trminos de adveccin y dispersin;
pero tambin incluyen los trminos de absorcin cintica
irreversible de primer orden del soluto con el sistema sue-
lo-agua (Fetter, 1993), as como los de fuente/sumidero
para la concentracin. Se presenta un ejemplo hipottico
con el que se analiza el comportamiento numrico del
esquema propuesto baj o si tuaci ones de frentes
discontinuos y donde la velocidad de Darcy domina so-
bre el trmino de difusin.
Planteamiento del problema de control o de manejo
El flujo y transporte de contaminantes en acuferos est
determinado por (Bear, 1972; Freeze y Cherry, 1979; Bear
y Verruijt, 1987; Fetter, 1993): fuerzas fsicas, interacciones
qumicas, geometra y la distribucin de parmetros de
las unidades geolgicas imperantes de cada sitio. En l
ocurren simultneamente dos componentes cinemticas:
a) el de la velocidad promedio o de Darcy v, que se co-
noce como trmino advectivo, y b) la tendencia del soluto
a diluirse debido a la dispersin mecnica y difusin
molecular (a estos trminos se les conoce como disper-
sin hidrodinmica o difusin convectiva; en adelante se
denota como trmino de difusin).
Para fines de simplificacin se suponen las siguientes
hiptesis de trabajo: a) el fenmeno de adveccin-difu-
sin se da en condiciones isotrmicas; b) el flujo es total-
mente saturado por una sola fase lquida; c) la fase lqui-
da es incompresible; d) la matriz slida no sufre defor-
macin (no se consolida), y c) que el trazador de con-
centracin c sufre absorcin cintica de primer orden (esta
hiptesis incluye el caso en que el proceso de absorcin
es irreversible, lento con respecto a la velocidad del flujo
y que no alcanza el equilibrio).
El acufero en estudio ocupa una regin de

3
,
donde se analiza el movimiento de un soluto de concen-
tracin c, que satisface las anteriores hiptesis de traba-
jo en un intervalo de tiempo (0,T). La ecuacin de balan-
ce de masa para el soluto est dada por:

c
t
x t x c x t x t c x t
d x c x t f x t x t T
, , , ,
, , , , ,
( )

( )

( )
[ ]
+
( )

( )
+
( ) ( )
=
( )

( )
div
;
D v
0
(1)
donde:
c es la masa de contaminante por unidad de volumen
de solucin.
d es el coeficiente de absorcin cintica irreversible de
primer orden.
f es el trmino de fuente/sumidero para el contaminante.
v es la velocidad de Darcy.
D es el tensor de dispersividad.
x denota las coordenadas espaciales (x
1
, x
2
, x
3
).
t es el tiempo.
La ecuacin de balance, en conjunto con la ley de
Darcy, conforma las relaciones de campo para el trans-
porte de un contaminante soluble en acuferos (la ley de
Darcy se deriva de la ecuacin de movimiento de Cauchy
mediante las ecuaciones de Navier y Stokes ms algu-
nas hiptesis y relaciones constitutivas (Whitaker, 1986)).
En el apndice se da una derivacin de la ecuacin 1.
Los estudios de campo de caracterizacin y monitoreo
continuo de los sitios permiten determinar: las funciones
f, d y el tensor D (las dispersividades longitudinal y trans-
versal), la velocidad promedio de Darcy v (solucin del
problema de flujo), as como las condiciones hidro-
geolgicas de contorno para el acufero , con lo que
es posible establecer para la ecuacin 1 el problema cl-
sico de valores inicial y a la frontera (VIF), y obtener el
modelo de transporte del sitio (Fritz, 1982; Gurtin, 1981;
Marsden y Hughes, 1983).
Al igual que las condiciones en el interior, inicial y so-
bre la frontera, las restricciones en el interior y sobre la
frontera nacen a partir de imposiciones fsicas, adiciona-
les, sobre el campo solucin. En analoga con el VIF, el
problema de control de valores inicial y a la frontera (CVIF)
se establece del siguiente modo.
Dados los datos: a) un subconjunto conexo, abierto y
acotado

( )
0,T , con

= U
3
, con frontera
sufi ci entemente regul ar

=
D N
U y con


o o
I D N = ; b) el tensor de dispersividad D; c) el
campo de velocidad v; d) las funciones fuente-sumidero
f y d, y e) una restriccin de dominios

( )
0,T . Tam-
bin: f) la condicin Dirichlet c
D
, en

D
T
( )
0, ; g) una
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 29
restriccin en la frontera Neumann c
N
en

N
T
( )
0, , y
h) la condicin inicial c
0
en .
Encuentre: la funcin de concentracin c que satisface:

c
t
x t x c x t x t c x t
d x c x t f x t
f x t c x t x t T
c x c x x
c x t c x t
c
D
, , , ,
, ,
, ; , , , , ;
, ,
, ,
( )

( )

( )
[ ]
+
( )

( )
+
( ) ( )

( )
=
( ) ( ) ( )

( )
( )
=
( )

( )
=
(
div D v

0
0
0
)) ( )

( )

( )

( )

( )
=
( ) ( )
( )

( )
|

|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, , , ;
, , , ; , ,
, , .
x t T
x c x t x t c x t c x t
x t T
D
N
N

0
0
D n
(2)
El modelo matemtico que resuelve al problema CVIF
(ecuacin 2) consiste primero en caracterizar las restric-
ciones mediante dominios efectivos de las funcionales
convexas, propias y semicontinuas inferiormente:

x t
x t
; ; :
; ; :

( )
+
{ }

( )
+
{ }
U
U
para el interior; y
para la frontera,
(3)
tales que las condiciones interior y de frontera estn, res-
pectivamente, en el subdiferencial de dichas funcionales
convexas. Inversamente, caracterizar las condiciones en
el i nteri or y sobre l a frontera en trmi nos de
subdiferenciales de funcionales convexas, propias y
semicontinuas inferiormente, tales que los dominios efec-
tivos de stas definan las restricciones correspondientes
(Alduncin, 1987, 1989).
Los modelos de tipo VIF son nicamente predictivos,
mientras que los de tipo CVIF, adems de ser predictivos,
tambin son de control o de manejo, al incluir en el pro-
ceso de solucin de la ecuacin 1, funciones que satisfa-
cen valores restringidos (lmites mximos permisibles)
para la concentracin. En la siguiente seccin se presen-
tan los conceptos fsicos y matemticos empleados en el
diseo de algoritmos de solucin numrica de proble-
mas del tipo VIF y CVIF.
Argumentos fsicos y conceptos de anlisis convexo
Si las restricciones y condiciones interior y de frontera de
un campo de flujo y transporte subterrneo son expresa-
das en trminos de subdiferenciales de funciones con-
vexas (ecuacin 3), entonces el enfoque permite estable-
cer directamente las formulaciones en variaciones primal,
dual y mixtas de los problemas VIF y CVIF, a partir de las
cuales se construyen los correspondientes procedimien-
tos de solucin numrica, por elemento y diferencias fini-
tas. Se presentan conceptos de anlisis convexo, nece-
sarios para el desarrollo del enfoque anterior.
La funcin :{+} es convexa si satisface:

+
( ) ( )

( )
+
( ) ( )

( )
1 1 0 1 , , , ,
El dominio efectivo de

, : D
( )
=
( )
< +
{ }
,
es un conjunto de sobre los cuales toma valores finitos
y lo supondremos no vaco y cerrado. La funcin es
subdiferenciable en si existe un real

, tal que:


( )

( )
+
( )
* ,
es decir, si la recta a
( )
+
( )
* de pendiente

y que pasa por () est siempre debajo de la grfica de

. El conjunto de pendientes define el subdiferencial, ,
de en :


( )
=
( )

( )
+
( )

{ }
* : * ,
(4)
(Ekeland y Temam, 1974). Si no es subdiferenciable
en , entonces ()=, caso en el que D (). La fun-
cin es diferenciable en si y slo si tiene pendiente
nica en .
La funcin conjugada o polar de ,

se define por:

* : ,
* * * ;
+
{ }
( )
=
( )

{ }
sup
la cual es convexa con dominio efectivo D () no vaco y
cerrado. La relacin que guardan las funcionales y

con sus respectivos subdiferenciales est dada por el si-

guiente:
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 30
Lema 1. Sea : {+} una funcin convexa y

su polar, con dominios efectivos no vacos y cerrados,

entonces:


( )

( )

( )

( )
D D : : * * * * * (5)
De acuerdo con la ecuacin 4, la anterior relacin tie-
ne la siguiente interpretacin (Alduncin, 1989):

( ) ( )

( )

( )

( )

( ) ( )

( )

( )

( )
D D
D
D
: y
:
* , ,
* * * * * * * * ,
* *
(6)
lo que caracteriza las desigualdades en variaciones, en
trminos de las funcionales y

. Finalmente, si
3
es
un conjunto convexo y cerrado, la funcin indicatriz de
se define por:

K
x
x
x
( )
=

+
|

|
|
|
0,
,
si
si
Con respecto a las consideraciones fsicas, se tiene
que el trmino de restriccin se emplea para designar
cualquier imposicin natural o artificial sobre una o ms
variables que describen el estado de un sistema. Si c
representa la concentracin de un soluto contaminante
en el interior de un campo de flujo de un acufero ,
entonces la restriccin:

c c x t T
( )

( )
, , , para cada 0 (7)
establece que el valor de concentracin no debe rebasar
el lmite dado por
c; la magnitud de
c son los mximos
permisibles de concentraciones para los solutos presen-
tes en el agua para un uso determinado (NOM-127-SSA1,
1994). La restriccin (ecuacin 7) es caracterizada por la
siguiente funcional indicatriz convexa:

x t
c x t
c x t
, ;
, ,
, ,
( )
=
{ }

( )
+ >
( )
|

|
|
|
0
(8a)
la cual es propia y semicontinua inferiormente. Por su
parte, el mecanismo de control que implementa la res-
triccin (ecuacin 7) est dado por el subdiferencial de la
ecuacin 8a, con el empleo de la ecuacin 4 y est ca-
racterizado por:

x t
c x t
c x t
c x t
, ;
, ,
, , ,
, ,
( )
=
{ }
<
( )
+
[ )
=
( )
>
( )
|

|
|
|
|
|
0
0
(8b)
La funcin del mecanismo de control (ecuacin 8b)
es mantener que l a restri cci n (ecuaci n 7) o
equivalentemente (ecuacin 8a), se satisfaga en cada
posicin del acufero. Cuando la concentracin c tiende
a ser mayor que

c, el mecanismo determina la extrac-
cin de contaminante en una cantidad contenida en el in-
tervalo

0,+
[ )
, mientras que, cuando la concentracin es
menor que

c, entonces el mecanismo no efecta ningu-
na accin. En la ilustracin 1a y 1b se muestran, respec-
tivamente, de manera grfica, las expresiones 8a y 8b.
La dualizacin de la restriccin (ecuacin 7) se logra
mediante la polar de la ecuacin 8a. El lema 1 permite
determinar dicha polar (la grfica inversa del subdiferencial
de , es la grfica del subdiferencial de

), por lo
que la grfica del subdiferencial

(ilustracin 1d) se ob-
tiene directamente de la del subdiferencial (ilustracin
1b), y de ella, la de la polar

(ilustracin 1c), a partir de

lo cual se obtiene la siguiente caracterizacin para

y
de

:
Ilustracin 1. Funcionales y subdiferenciales que caracterizan
restricciones en el interior del acufero.
(a)
(x,t;*)
(x,t;*)
(x,t;*)
(x,t;*)

+
+
(b)
(d)
c(x,t)
c(x,t)
c(x,t)
c(x,t)

(c)
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 31

* , ; *
, *, *
, *
x t
c x t
( )
=
( )

+ <
|

|
|
|
0
0
(9a)

* , ; *
, , , *
, , *
, *
x t
c x t
c x t
( )
=

( )
( ]
=
( )
{ }
>
<
|

|
|
|
|
|
0
0
0
(9b)
Similarmente a la restriccin (ecuacin 7) y el balance
de masa (ecuacin 1), las condiciones de frontera pue-
den ser entendidas como restricciones naturales (o artifi-
ciales) que actan en el interior y frontera, respectivamen-
te, del acufero en estudio. La condicin de frontera de
Dirichlet se caracteriza por el dominio efectivo de la si-
guiente funcional convexa, propia y semicontinua
inferiormente :

x t
c x t
c x t
, ; *
, ,
, ,
( )
=
( )
=
+
( )

|

|
|
|
0 0
0
(10a)
con subdiferencial:

x t
c x t
c x t
, ;
, , ,
, ,
( )
=
+
( ) ( )
=

( )

|

|
|
|
0
0
(10b)
La polar de y el subdiferencial asociado estn da-
dos por:

* , ; * , * , * *, * x t x t
( )
=
( )
=
{ }
0 0 y ; ;
(11)
En la ilustracin 2 se muestra la forma en que lucen
grficamente las relaciones 10 y 11. A partir de las expre-
siones subdiferenciales para las restricciones y controles
(ecuaciones 7 a 11), se disean las desigualdades en
variaciones y algoritmos que resuelven numricamente
los problemas VIF y CVIF en el fenmeno de flujo y trans-
porte de substancias disueltas en acuferos (ecuacin 1).
Ilustracin 2. Funcionales y subdiferenciales que caracterizan
condiciones de contorno en la frontera del acufero.
(a)
+ +

(x,t;*)
(x,t;*)
(x,t;*) (x,t;*)
c(x,t)
c(x,t)
c(x,t)
c(x,t)
(b)
(d) (c)

Diseo de la solucin de problemas de control o de

manejo
El primer paso en el proceso heurstico constructivo de
los algoritmos de control o de manejo, de acuerdo con
Alduncin (1989), es caracterizar las condiciones interior y
a la frontera en trminos de subdiferenciales de funcio-
nales convexas, propias y semicontinuas inferiormente
(ecuacin 3). Bajo este enfoque y con el uso del lema 1
(dado en la ecuacin 5) se establece la siguiente formu-
lacin en variaciones primal local del problema de mane-
jo para la ecuacin de balance (ecuacin 1) y condicio-
nes y restricciones asociadas:

c x t x t
c
t
x t x c x t
x t c x t d x c x t
f x t
x t c x t x t
, , ; :
, ,
, , ,
,
, ; , , ,
( )

( ) ( )
( )

( )

( )
[ ]
+
( )

( )
+
( ) ( )

( )
|

|
|
|
|
|
|
|
|

|
|
|
|
|
|
|

( ) ( ) ( )

D

div D
v
00
0
0
0
, ;
, , ; : , ,
, ; , , , , , , ;
, , .
T
c x t x t x c x t x t
x t c x t x t T i D N
c x c x x
i
( )
( )

( ) ( )

( )

( )

( ) { }

( ) ( ) ( )

( )
=
( )
=
( )

|

|
|
|
|
|
|
|
|
|
|
|

D D n

con
||
|
|
|
|
|

(12)
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 32
donde caracteriza a la restriccin arbitraria, como la
impuesta en la ecuacin 7, y caracteriza a las condi-
ciones generales de frontera, como la indicada en la ecua-
cin 10, por lo que de la caracterizacin de subdi-
ferenciales (ecuacin 4) y de las ecuaciones 6, a partir de
la ecuacin 12, se establece la siguiente desigualdad en
variaciones primal local:

c t t
c
t
t c t
t c t d c t
t c t x t t t c
x x
x x x
x x x x
x x x x x
, , ; :
, ,
, , ,
, , , ; , , ; ,
( )

( ) ( )
( )

( )

( )
[ ]
+
( )

( )
+
( ) ( )
|

|
|
|
|

|
|
|
( )

( ) { }
+
( ) ( )

div D
v
tt
f t t c t t t
t T
c t t t t
t c t
( ) ( )

( ) ( )

( ) { }

( )

( ) ( )
( )

( )
( )

( ) ( ) ( ) ( )

( ) ( )

( )
x x x x x
x
x x x x
x x
x
, , , , , , ; ,
, , ;
, , ; : , ; ,
, ; ,



D
D
0
D
( ) ( ) { }
( )

( ) { }

( )

( ) ( ) ( )

( )
=
( )
=
( )

|

|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
c t t t c t
t t t T
i D N
c c
i
x x x x
x x x
x x x
, , , , ,
, , ; , , , ,
, ;
, , .
n
D

0
0
0
con
||
|
(13)
Los subndices D y N para las secciones de frontera

i
especifican las condiciones de frontera Dirichlet y
Neumann, respectivamente. Ahora, si se definen de los
campos duales:

* , , ,
, , , , ,
, , ;
* , , , ,
,
x x x x
x x x x x
x
x x x x
x
t
c
t
t c t
t c t c t f t
t T
t c t t
t
( )
=
( )
+
( )

( )
[ ]

( )

( )

( ) ( )
+
( )
( )

( )
( )
=
( )

( )

( )
( )

div D
v d
D n
0

( )
0, . T
(14)
Nuevamente con el uso del lema 1 se obtiene la
dualizacin de la ecuacin 12:

* , * , ; , * , ; * , ,
, , ;
* , * , ; , * , ; * , ,
, ,
x x x x
x
x x x x x
x
t t c x t t t
t T
t t c t t t
t
i
( )

( ) ( ) ( )

( ) ( )
( )

( )
( )

( ) ( ) ( )

( ) ( )
( )

D
D
:
:

0
0 TT i D N
c c
( )
=
( )
=
( )

|

|
|
|
|
|
|
|
|
|
|
|
, , ;
, , .
(15)
con x x x 0
0

Por lo que se tiene la siguiente desigualdad en variacio-
nes local dual:

* , * , ; : * , ; * ,
* , ; * , , * , * , ,
* , * , ; , , , ;
*
x x x x
x x x x x
x x x
t t t t
t t c t t t
t t t T
( )

( ) ( ) ( ) ( )

( ) ( )

( ) ( )

( ) { }

( )

( ) ( ) ( )

( )
D
D 0
xx x x x
x x x x x
x x x
, * , ; : * , ; * ,
* , ; * , , * , * , ,
* , * , ; , , , ,
t t t t
t t c t t t
t t t T
i
i
( )

( ) ( ) ( ) ( )

( ) ( )

( ) ( )

( ) { }

( )

( ) ( ) ( )

( )
=
D
D


0
DD N
c c
, ;
, , . con x x x 0
0 ( )
=
( )

|

|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(16)
Las expresiones 13 y 16 son las relaciones en varia-
ciones puntuales o locales que deben satisfacer la con-
dicin natural (ecuacin 1), condiciones de frontera (ecua-
cin 10) y la restriccin impuesta por aspectos regulado-
res (ecuacin 7), luego de ser caracterizadas por los do-
minios efectivos de las funcionales convexas y . A partir
de las relaciones 13 y 16 se construyen directamente los
pri nci pi os en vari aci ones gl obal es que l uego se
implementan en computadora mediante elemento y dife-
rencias finitas. Una interpretacin del procedimiento indi-
cado es que se obtiene una solucin al problema CVIF,
imponiendo en el VIF restricciones adicionales sobre el
campo de solucin. El siguiente paso consiste en la deri-
vacin de las expresiones formales numricas del esque-
ma de manejo.
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 33
El modelo en variaciones primal
En esta seccin se genera el procedimiento de solucin
de elemento finito de tipo semidiscreto para el CVIF. Inte-
grando formalmente las desigualdades (ecuacin 13)
sobre los dominios espaciales interior ( ) y de frontera
(

D N ,
), con el empleo de la frmula de Green para el
operador de difusin, se obtiene la siguiente formulacin
en variaciones primal global espacial:

Para dado encuentre
tal que,
t T f t L c t K t
c
t
t c t d c t
c t d
x t c x t x c x t

( ) ( )

( )

( )
( ) ( )

( ) { }
+
( )

( )

( )

( ) { }
+
( )

( ) ( ) { }

(

0
2
, ; ,
, , ,
,
, , ,

x x x x x
x x
D
v
))
+
( ) ( ) ( )

( ) { }
+
( ) ( )

( ) ( )
+
( ) ( )

( ) ( )

( )

d
d x c x t x c x t d
t d t c t d
x t d
t c t d f t

, ,
, ; , ; ,
, ;
, ; , ,

x x x x
x
x x x
(17)
xx x
x x x
( )

( ) { }

( )
( )
=
( )

|

|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|

c t d
t
c c
, ,
;
, .

con 0
0
En donde:



t t
c t x t c t
D N
( )
=
( ) ( )

( ) ( ) {

( )

( ) ( )

}


1
: , ;
. . , , ; . .
x x
x x x
D
D U
(18)
Efectuando las aproximaciones internas, de acuerdo
con Temam (1970), se obtiene la siguiente versin dis-
creta, por elemento finito en el espacio y un esquema
en el tiempo.

Dado encuentre
tal que
f L T L t
K t t t
t t t t
t t
n
n
N
m n
t
n n
n n n n
n
t
h

( ) ( ) ( ) { }

( ) ( )
+
( ) {
+
( ) ( )
+
( )}

( ) { }
+
( )

+
=
+ +
+ + + +
+
2 2
0
0, ; ;
, ,
;

A B
C D
D
nn n n
n n n n
m n
j j h j
t t
t t t t
K t
c P j m P
h
h
+ + +
+ + + +
+
( )
[
\

)
+
( )

( )
[
\

)

( )

( ) { }

( )
( )
=
( )
=
|

|
|
|
|
|
|
|
|

; ; ;
; ,
;
, , , ,

f
con 0 1
0
K
||
|
|
|
|
|
|
|
|
(19)
En el apndice se da una derivacin de la anterior
desigualdad. Aqu se tiene que

m n
h
t
+
( )

es la versin

m
h
de la h-aproximacin interna,

h
n
t
+
( )

, de

t
n+
( )

i
i
m
h
{ }
=1
es el nmero de vrtices internos de la particin
de elemento finito de . En donde:
f t f t f t
n n n + +
( )

( ) ( )
+
( )
<

1 0 1
1
, (20a)

D

t
n
n n n n
n n
f t
f t f t
t
f t f t
t
t t t
( )

( )

( )
=
( )

( )

+ +
+
1
1

;

(20b)

t
t

|
|
|
|
|
|
entero
(20c)
Adems, se tienen las siguientes entradas para las
matrices y vectores participantes:

c x t t x x x
h j j h i i
i
m
j
m
h h
, ; ;
( )
=
( ) ( ) ( )
=
( )
= =


1 1
(21a)

A x x d
B x x x d
ij j j
ij j i
=
( ) ( )
=
( )

( )

( )

;
; D
(21b)

C t x t x x d
ij j i ( )
=
( )

( ) ( )

v ,

(21c)
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 34

D d x x x d f t f x t x d
ij j i i i
=
( ) ( ) ( ) ( )
=
( ) ( )



; ,

(21d)

t t x t t x d
t t x t t x d
i j m
j
j
m
j
j j
j
m
h
h
h
; , ;
; , ;
, , ,

( ) ( )
=
( ) ( )
|
|
|
|
|
|
|
|
( ) ( )
=
( ) ( )
|
|
|
|
|
|
|
|
=

=
=

1
1
1
;
con
;
K
(21e)
La matriz A se llama matriz de masa, la B de difusin,
la C de trmino advectivo, y la D y el vector f los trminos
de fuente/sumidero (Martnez, 1991). Con el modelo pri-
mal se determina la solucin para la concentracin (cam-
po primal) que debe satisfacer tanto el balance de masa
(ecuacin 1), como condiciones de frontera y las restric-
ciones reguladoras sobre c.
El modelo en variaciones mixto de control interno dual
El problema complementario al establecido en la seccin
anterior es el mixto de control interno dual con el que se
determina la magnitud del campo dual que hace posible
que la solucin para la concentracin satisfaga las con-
diciones naturales y adicionales impuestas. El modelo
mixto se obtiene combinando las integrales formales so-
bre las fronteras

D N ,
de la ecuacin 13 con la integral
sobre el interior del acufero dada en la ecuacin 16. La
formulacin en variaciones global mixta queda expresa-
da de la siguiente forma:

Para encuentre
tal que,
t T c t t
S
c
t
x t v x c x t d c x t
v x c x t d
x t c x t x
t
t

( )

{ }
+
( )


{ }
+

( , ); ( ), ( )
,
( , ) ( ) ( , ) ( , )
( ) ( , )
( , ) ( , ) (
*
( )( )
( )( )
0

D
D
*
D
v
x
)) ( , )
( ) ( , ) ( ) ( , )
( , ; ( )) ( , ; ( , ))
( , ) ( , ) ( ) ( , )
*

{ }
+
{ }
+

{ }

{ }

c x t d
d x c x t x c x t d
x t v x d x t c x t d
f x t x t v x c x t d

(22)
,,
( , ; ( )) ( , ; ( , ))
( , ) ( ) ( , ) ,
( , ) ( ), .
( )( )
* * * *
* * *
( )( )

{ }

=
|

|
|
|
|
v
x t x d x t x t d
c x t x t d S
c c x
t
t
o
D
D

;
;
con
x
x x
0
0
*
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
donde se tiene que:

S L t
c t
t D
D
( )( )
* * *
( ) : ( ) ( ( , ; ))
. .

* =
{

}
2

x x
x
(23a)

K v H v t
c t
t
D N
D
D
( )( )
( ) : ( ) ( ( , ; ))
. . .

=
{

}
1


x x
x
(23b)
Al igual que para el caso primal, en el modelo mixto
(ecuacin 22) se efectan las aproximaciones internas
(Temam, 1970), con lo que se obtiene la siguiente versin
discreta, va elemento finito en el espacio y un esquema
en el tiempo:

Encuentre
tal que,(24)



( ), ( ) ( ) ,
( ) ( ) ( ) ( ) ( )
( ) ( ) ( (
t t J t
t t t t t
t t t t
n n
n
N
m n r
t
n n n n n
n n n n
t
h h
{ }

+ + +
{ }

{ }
+
=
+ + + +
+ + + +
0

A B C D D


; ;

))
( ) ( ) ( ) , ( );
( ) ( ( )) ( ) ( ) ,
;
( ) ( ),
* *

{ }

{ }


{ }

= =
+ + +
+ + + + +
f E
E
t t t J t
t t t t t
c P j
n n n m n
n n n T n n
r
j j
h
h
h

1 1 1 1 1
0
0
; ;
con 11,..., , . m P
h j

|

|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Donde

J t
m n
h
( )
es la versin

m
h de la h-aproxima-
cin interna,

J t
h
n
( )
, de

J t
n
( )
.

i
i
m
h
{ }
=1
es el nmero de
vrtices internos de la particin de elemento finito de
. La derivacin de la ecuacin 24 es similar a la de la
ecuacin 19, ya indicada en el apndice. En las
ecuaciones 21b, 21c, 21d y 21e se exhiben las entradas
de: la matriz de masa A, de difusin B, trmino advectivo
C, la funcional y los de fuente/sumidero D y f. Los tr-
minos adicionales por explicitar en la ecuacin 24 son la
matriz de acoplamiento E, las variaciones


h h
* *
,
( )
y cam-
po

duales, los cuales quedan descritos de la siguiente

manera:


h j j
j
r
h i i
i
r
x t t x x x
h h
* *
( , ) ( ) ( ); ( ) ( ) = =
= =

1 1
(25a)
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 35

E x x d
ik k i
=

( ) ( )

(25b)

* *
( ; ( )) , ; ( ) ( )
,..., ,...,
t t t t x d
i m y k r
j j
j
r
h h
h
=
|
|
|
|
|
|
|
|
= =
=

x
1
1 1 con
(25c)
Adems de los algoritmos primal y mixto de control
interno dual es posible derivar de las ecuaciones 13 y 16
los modelos en variaciones dual y mixto de control a la
frontera dual (Martnez, 1992). Finalmente, y con el fin de
robustecer el comportamiento de los algoritmos deriva-
dos ante situaciones advectivo dominantes, al trmino C
se le aproxima mediante el upwind parcial propuesto ori-
ginalmente por Ikeda (1983).
Aproximacin de upwind parcial del trmino advectivo
La naturaleza hiperblico-parablica de la ecuacin de
balance de masa (ecuacin 1), cuando domina la
adveccin, genera soluciones fsicamente inadmisibles
con los esquemas clsicos de elemento y diferencias fi-
nitas debido a que las versiones numricas de la ecua-
cin 1 no satisfacen el principio de mximo y en algunos
casos tampoco al principio de conservacin de masa dis-
creto. Debido a esta observacin, se aproxima al trmino
advectivo del CVIF mediante la tcnica de upwind par-
cial, propuesta originalmente por Ikeda (1983), que satis-
face los mencionados principios de mximo y de conser-
vacin de masa.
El esquema divide a la ecuacin 21c en una combina-
cin convexa de s misma:

C C C ij
ij ij ij ij ij
( ) ( ) ( ) ( ) = + 1 0 1 con
(26)
Al primer trmino del segundo miembro se aplica la
tcnica de upwind de Kanayama (Ikeda, 1983); para el
segundo, se usa el esquema de viscosidad artificial de
Ikeda (Ikeda, 1983). El valor de
ij
se define para cada par
de ndices ij, como el valor mnimo con el cual la versin
discreta de la ecuacin 1 satisface el principio de mxi-
mo discreto. Al aplicar estos conceptos a la ecuacin 21c,
las relaciones 19 y 24 tambin van a satisfacer los princi-
pios de mximo y de conservacin de masa discretos,
contndose, adems, con su teorema de convergencia
en L

); es decir, que la aproximacin numrica de

upwind parcial tiende a la solucin del problema advectivo
dominante.
El enfoque presentado en las secciones anteriores es
general y aplicable al anlisis del transporte y control de
solutos en acuferos. En la siguiente seccin se especifi-
ca el uso de la teora mediante un ejemplo.
Ejemplo de aplicacin
Un problema tpico de control de contaminacin es aquel
en el que nos interesa que el nivel de la concentracin c
de un determinado soluto no exceda cierto valor mximo
dado por una cota
c establecida por los requisitos de
calidad del agua. Por ejemplo, el lmite permisible para el
arsnico es de

c= 0.05 mg/l y de

c= 250 mg/l para los
cloruros en el agua destinada al consumo humano (NOM-
127-SSA1, 1994). Se propone un acufero de rea

m
2
de tipo homogneo e istropo con velocidad promedio
horizontal v y se plantea el siguiente CVIF:
Encuentre: la funcin de concentracin c que satisface:

[ ]
+ +
=
=
=
c
t
x t k c x t w c x t dc x t
f f x t c x t x t T
c x c x x
c x x t T
c
x
c
o
( , ) ( , ) ( , ) ( , )
( , ; ( , )), ( , ) ( , )
( , ) ( ),
( , ) , ( , ) ( , )
(
div
conla restriccininterna:
I e

0
0
0 0 0
xx t c x t
x t T
, ) ( , ),
( , ) ( , )

|
|
|
|
|
|
|
|
|
|
|
|
|
0
(requisito de calidaddel agua)
(27a)
en donde:

0
2
, , T
( )
y
est dado por:

=
( )

( ) { }

( )

{ }
0 3 0 2 0 1 0 1 , , , ,
;
con:

D v e ( ) , ( , ) ( , ), ( ) ,
( , )
x k x t w w d x d
f x t f
x
= = = =
=
I 1 0
y ;
(27b)
donde k, w, d y f son constantes y la condicin de fronte-
ra es de tipo Dirichlet homognea. El campo incgnita c
debe satisfacer tambin ser menor o igual a la restriccin
interna
c en cada punto de x (0,T). El campo de veloci-
dades indicado en la ecuacin 27b es idneo para anali-
zar el comportamiento hiperblico-parablico del CVIF
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 36
propuesto, lo que se logra variando apropiadamente las
constantes k y w.
Siguiendo la metodologa propuesta por Alduncin
(1989), la restriccin interna se caracteriza por el dominio
efectivo de la siguiente funcional convexa, propia y
semicontinua inferiormente :

( , ; )
, ( , ) ( , )
, ( , ) ( , )
( , ; )
{ }, ( , ) ( , )
, , ( , ) ( , )
, ( , ) ( , )
x t
c x t c x t
c x t c x t
x t
c x t c x t
c x t c x t
c x t c x t
=

+ >
|

|
|
|
=
<
+ =
>
|

|
|
|
|
|
0
0
0 [ )
(28a)
Por su parte, la condicin de frontera Dirichlet se ca-
racteriza por el dominio efectivo de la funcional convexa,
propia y semicontinua inferiormente :

( , ; )
, ( , )
, ( , )
( , ; )
( , ), ( , )
, ( , )
x t
c x t
c x t
x t
c x t
c x t
=
=
+
|

|
=
+ =

|

|
0 0
0
0
0
(28b)
El algoritmo primal determina la solucin para el cam-
po de concentracin (c); mientras que el mixto de control
interno dual calcula las magnitudes del campo dual que
obligan a que la solucin para la concentracin satisfaga
tanto el balance de masa (ecuacin 27a) como las con-
diciones inicial, a la frontera y restricciones reguladoras
expresadas en las ecuaciones 27b y 28. Mediante el uso
de la ecuacin 28 se hace explcita, de manera numrica,
la solucin del problema planteado en la ecuacin 27.
Versin numrica de los algoritmos primal y mixto
La desigualdad para el algoritmo primal (ecuacin 19),
mediante el uso de las ecuaciones 27 y 28 se reduce a la
expresin:

Dado (29a)
encuentre tal que
con
f L T L
t K t
t t t t
K t
c
n
n
N
m n
n n n n
m n
j o
t
h
h
h

{ }


{ }
+
{ }

{ }

=
+
=
+
+ + +
+
2 2
0
0
0
( , ; ( ));
( ) ( ), ,
( ) ( ) ( ) ( ) ,
( );
( )

F G f
(( ), ,..., , P j m P
j h j
=
|

|
|
|
|
|
|
|
|
|
|
|
1
donde:

F
A
B C D G
A
= + + + =
t t
(29b)
Por su parte, la desigualdad para el algoritmo mixto
de control interno dual (ecuacin 24), de manera similar
conduce a la expresin:

Encuentre tal que,
(30a)
con

( ), ( ) ( ) ,
( ) ( ) ( ) ( ) ,
( );
( ) ( ), ,..., ,
t t J t
t t t t
K t
c P j m P
n n
n
N
m n r
n n n n
h
m n
j j h
t
h h
h
h
{ }

= + +

= =
=
+ +
0
1 1
0
0
0 1

H L g E

j j
n n n T n n
r
t t t t t
h

{ }

|

|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ + + + +

;
( ) ( ( )) ( ) ( ) ,

* * 1 1 1 1 1
; ;

E
En donde:

H
A
B C D L
A
B C D
g f E
= + + +
[ ]
=
( )
+ +
[ ]
( )
=
( ) ( )
t t
t t
n n

, ,

1
1
(30b)
Las entradas explcitas de las matrices y vectores par-
ticipantes en las ecuaciones 29 y 30 son las siguientes:

A
h
A A A
h
i i i i i i i i , , , ,
, = = = =
+ + +
2
1 1
2
2 12

(31a)

B k B B k B
i i i i i i i i , , , ,
, , = = = =
+ + +
4 0
1 1
(31b)

C hw H hw H hw
C hw H hw
i i
i i
,
,
{ ( ) ( )},
{ ( ( )) ( )}
=
= + +

1 1
1
2
1

C hw H hw
k
hw
i i , { ( ( )) ( )}
,
= +
=
|

|
|

|
1 1
1
2
1
0 1
2

mx
(31c)

D
dh
D D D
dh
E
h
i i i i i i i i
i j
, , , ,
,
,

= = = =
=
+ + +
2
1 1
2
2
2 12
6

(31d)
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 37

f fh
i
=
2
(31e)
con:

i m j r
h h
= = 1 1 ,..., , ,...,
Las relaciones anteriores (31a a 31e) se determinan a
partir de las relaciones 21 y 25 con el empleo de domi-
nios consistentes, sobre los que se efecta la cuadratura
de las matrices y vectores. El parmetro depende
de m (=1/h, siendo h el lado de longitud mnima de los
tringulos de una particin regular y dbilmente agua de
tipo Friedrichs-Keller para ) y de las regiones
1
= {(1,3)
(0,1)} y
2
= {(0,3) (1,2)} de (=
1

2
, de tal
forma que cuando el vrtice est en
1
se tiene = 2m -
1 y cuando est en
2
se tiene

= 3m - 1. H(.) es la fun-
cin de Heaviside. El procedimiento de solucin numri-
ca es implementado en Fortran 77 (Martnez, 1992).
Los resultados numricos de la ecuacin 27 estn
dados en las ecuaciones 29, 30 y 31, y deben comparar-
se, a fin de juzgar la bondad de la aproximacin. Para
lograr lo anterior se conoce que la solucin analtica del
problema VIF (sin control) asociado con la ecuacin 27,
cuando t , es:

c x
x x
x x
( , )
, ( , ) ( , ) ( , )
, ( , ) ( , ) ( , )
=


|

|
0 3 12
1 13 0 1
(32)
Alduncin y Carrera (1991) indican que esta solucin
es discontinua en el interior y mantiene frentes abruptos
sobre la frontera. Un aspecto de importancia de la ecua-
cin 32 es que el mximo de c (cuando t ) es 3
miligramos por metro cbico.
Casos analizados y resultados numricos
Con el problema planteado (ecuacin 27) se analizan los
dos casos posibles de inters para los fines del tema, en
donde la concentracin c del soluto: A) no excede y B)
cuando rebasa los lmites reguladores. En el caso A no
se tiene contaminacin y la situacin se reduce nica-
mente a encontrar la solucin al problema VIF de trans-
porte sin restricciones. En el caso B se tiene el problema
tpico de contaminacin de un acufero, en donde se ex-
ceden los lmites permitidos; en este escenario se busca
una solucin para la concentracin que satisfaga tanto la
ecuacin de transporte como las restricciones reguladoras
dadas por

c; es decir, se tiene un problema CVIF. Los
datos especficos para los casos son los siguientes:
Caso A. Problema de tipo VIF. Datos iniciales:

m w k
d f
c x c x t
c x t
= = = =
= =
= =

4 0 5 1 10
0 1 1
0 0 0
5
4
, . , , ,
. ,
( , ) ( , )
( , )

m/da m /da
/da mg/da- m
mg/m , mg/m ,
con mg/m
2
3
3 3
3
(33a)
Caso B. Problema de tipo CVIF. Datos iniciales:

m w k
d f
c c t
c t
= = = =
= =
= =

4 0 5 1 10
0 1 1
0 0 0
2
4
, . ,
. ,
( , ) , ( , )
( , )

m/da, m /da,
/da mg/da m ,
x mg/m x mg/m ,
con x mg/m
2
3
3 3
3
(33b)
En ambas situaciones se maneja el mismo problema
formal, lo nico que vara es el valor de la restriccin

c.
Con respecto al algoritmo primal, en la ilustracin 3 se
muestra el resultado obtenido con los datos (ecuacin
33a); en la ilustracin 4 se presenta la solucin para los
datos (ecuacin 33b), y por otra parte, en la ilustracin 5
se presentan los resultados determinados con el algorit-
mo mixto para el caso (ecuacin 33b), ya que la magni-
tud de la solucin dual del caso (ecuacin 33a) siempre
es cero. En las tres ilustraciones, el tiempo transcurrido
de la simulacin numrica es de 12.5 das.
Ilustracin 3. Solucin del algoritmo primal al problema sin
control. A 12.5 das.
S
o
l
u
c
i

n

p
r
i
m
a
l

(
c
)
0
.
0
0
1
.
0
0
2
.
0
0
3
.
0
0
3
.
0
0
2
.
0
0
1
.
0
0
0
.
0
0
0
.
0
0
1
.
0
0
2
.
0
0
E
j
e

Y
E
j
e

X
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 38
Ilustracin 4. Solucin del algoritmo primal al problema con
control. A 12.5 das.
0
.
0
0
1
.
0
0
2
.
0
0
3
.
0
0
S
o
l
u
c
i

n

p
r
i
m
a
l

(
c
)
2
.
0
0
1
.
0
0
0
.
0
0
0
.
0
0
1
.
0
0
2
.
0
0
3
.
0
0
E
je
X
E
je

Y
Ilustracin 5. Solucin del algoritmo mixto para el campo dual.
A los 12.5 das.
8.0
7.0
6.0
5.0
4.0
3.0
2.0
1.0
0.0
2.0
1.0
0.0
0.0
1.0
2.0
3.0
E
je X
E
je
Y
S
o
lu
c
i
n

d
u
a
l
(
fc
)
Vista en planta
2.0
1.0
1.0 2.0
3.0
0.0
0.0
Eje X
E
je


Y
Significado de los resultados
La solucin analtica (ecuacin 32) es discontinua sobre
la lnea interior (1,3){1} con frentes abruptos sobre los
lados de la frontera (1,3){0}, {3}(0,2) y (0,3){2}. El
nmero de Pclet del problema establecido en la ecua-
cin 33 es de 3535; el rango de nmeros de Pclet anali-
zado en el trabajo est entre 10 y 10,000. Estas caracte-
rsticas permiten probar los algoritmos en situaciones cr-
ticas advectivo dominantes y de avance de frentes
discontinuos.
En Ikeda (1983) se establece que los procedimientos
de diferencias finitas centrales y de elemento finito de tipo
Ritz-Galerkin, que no manejan adecuadamente el trmi-
no advectivo, determinan soluciones fsicamente inadmi-
sibles (oscilaciones sin significado fsico) para nmeros
de Pclet superiores a 10. En Alduncin y Carrera (1991)
se prueba numricamente la eficacia de la tcnica upwind
de Tabata (Ikeda, 1983) para nmeros de Pclet de hasta
166,666. En Ikeda (1983) se analizan diferentes esque-
mas (de diferencias y elemento finito) de upwind que sa-
tisfacen el principio de mximo o de conservacin de
masa discretos; establece que el upwind parcial es la tc-
nica ms adecuada para resolver la ecuacin de trans-
porte (1), para cuando se tienen altas velocidades de
Darcy.
En la ilustracin 6 se comparan las soluciones del pro-
blema VIF (ecuacin 33a) dadas por los procedimientos
de diferencias finitas centrales, elemento finito de tipo
Galerkin con el algoritmo (primal) que se propone al tiem-
po de simulacin numrica de 12.5 das y sobre la lnea
Y=1.5. El algoritmo primal determina mejor aproximacin
debido a que est equipado con el tratamiento de upwind
parcial de Ikeda para el trmino advectivo, lo que permite
calcular con mayor precisin la solucin de problemas
advectivos dominantes.
Ilustracin 6. Comparacin de diferencias y elemento finito, sin
tratamiento para el trmino advectivo, con el algoritmo primal
(upwind parcial).
Solucin exacta
Direrencias finitas centrales
Elemento finito (Galerkin)
Algoritmo primal
con upwind parcial
3 2 1 0
0
1
2
3
: a 4.5
: a 4.1
Eje X
S
o
l
u
c
i

n

p
r
i
m
a
l

(
c
)
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 39
Con relacin al esquema de manejo, la restriccin de
5 mg/m
3
en la ecuacin 33a no impone control a la con-
centracin y el problema resulta ser del tipo VIF. Por el
contrario, los datos de la ecuacin 33b presentan un CVIF
no lineal, ya que simultneamente se busca que la solu-
cin en c sea menor o igual que 2 mg/m
3
. En este caso
se tiene que la concentracin rebasa el lmite regula-
dor de 2 mg/m
3
(la concentracin presenta un mximo
de 3 mg/m
3
) y existe un problema de contaminacin por
substancias disueltas debido a que en algunas regiones
del acufero podran encontrase concentraciones supe-
riores a los 2 miligramos por metro cbico.
En el caso A, ya que la restriccin (ecuacin 33a) es
siempre superior al mximo de la ecuacin 32, la solu-
cin numrica primal (mostrada en la ilustracin 3) espe-
cifica una rampa completa. Por su parte, el algoritmo mixto
determina como solucin a la funcin cero, ya que el
mecanismo de control no efecta ninguna accin sobre
c (porque, de hecho, si empre se sati sface que

mx x mg/m x mg/m
3 3
c t c t , ,
( ) { }
=
( )
= 3 5
).
En el caso B, la restriccin (ecuacin 33b) es ms
pequea que el mximo de la ecuacin 32; por tal moti-
vo, el procedimiento calcula una rampa truncada (ilustra-
cin 4) y el algoritmo mixto establece valores de no cero
para el campo dual (ilustracin 5) en las regiones donde
la concentracin c tiende a ser mayor que la cota regula-
dora

c (en esta situacin s se ejercen acciones sobre el
sistema). En ambos casos, los algoritmos determinan las
soluciones para la concentracin y el campo dual que
satisfacen el balance de masa, condiciones iniciales y de
frontera, as como la restriccin (

c) para c en cada posi-
cin del acufero en estudio, (x,t) (0,T). El mtodo
propuesto determina las soluciones numricas apropia-
das de cada tipo de problema.
Conclusin
Con la asistencia de tcnicas numricas se establecen
los aspectos heursticos y constructivos para el diseo
de un tipo de algoritmos de manejo para abordar la reha-
bilitacin de acuferos contaminados por solutos. El pro-
cedimiento conforma un modelo de control o de manejo,
ya que aparte de la solucin numrica (predictiva) de la
ecuacin de transporte; simultneamente se busca que
la solucin satisfaga lmites establecidos por las normas
de calidad del agua. El esquema completo se compone
por el algoritmo primal (que determina las solucin para
la concentracin) y el mixto de control interno dual (que
estima las magnitudes del campo dual o mecanismo de
control). La teora se basa en argumentos fsicos, con un
marco matemtico de subdiferenciales. Los algoritmos
derivados se implementan numricamente mediante ele-
mento finito de tipo semidiscreto y un esquema en el
tiempo, con tratamiento upwind parcial para el trmino
advectivo. La ecuacin de balance de masa toma en cuen-
ta las componentes de adveccin y difusin, as como
los trminos de absorcin cintica de primer orden y de
fuente/sumidero para la concentracin.
Se especifica la aplicacin de la teora mediante un
ejemplo hipottico. Se analizan los dos casos posibles
para la concentracin de un soluto en un campo de flujo:
cuando rebasa y cuando no excede los lmites de cali-
dad del agua; en ambas situaciones, los algoritmos de-
terminan las soluciones numricas apropiadas. Tambin
se demuestra numricamente que los algoritmos primal
y mixto son robustos ante situaciones advectivo domi-
nantes. El enfoque es general y puede aplicarse a cual-
quier acufero contaminado por sustancias disueltas. El
cdigo en computadora puede ampliarse para que tome
en cuenta lo siguiente: zonificacin de parmetros de flu-
jo y transporte, geometras de acuferos, condiciones ini-
ciales y de frontera, restricciones, cadenas de reaccin y
esfuerzos hidrogeolgicos arbitrarios (dependientes de
cada sitio).
Apndice
Derivacin de la ecuacin de balance de masa
(ecuacin 1)
Supngase un soluto de concentracin c en un medio
homogneo, istropo y saturado. Sea

dV dx dy dz = un
vol umen el emental representati vo del acu fero

= X Y Z
3
. El soluto es transportado cinemti-
camente por los efectos de la adveccin y la dispersin
hidrodinmica (difusin) en cada una de las direcciones
principales; as, en la direccin X se contabilizan las com-
ponentes:
de adveccin:

nv c dy dz nv c dA
x x yz
= , y
de difusin:

nD
c
x
dy dz nD
c
x
dA
xx xx yz

donde v
x
y D
xx
son las componentes de la velocidad de
Darcy y tensor de dispersin, respectivamente; dy dz=dA
yz
es el rea transversal a la direccin X del flujo, y n es la
porosidad del medio. Se satisfacen relaciones similares
para las restantes direcciones Y y Z. La masa total trans-
portada en la direccin X es:

m n v c D
c
x
dA
x x xx yz
=

[
\
|

)
j (A.1)
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 40
el signo negativo indica que la difusin va de reas de
mayor a menor concentracin.
El principio de conservacin de la masa establece que:
El cambio en el tiempo de la concentracin del soluto
en el volumen representativo,

n
c
t
dV

,
es igual a la
suma de lo que entra/sale por las caras de dV (ecua-
cin A.1), ms lo que se genera/destruye en su inte-
rior por concepto de interaccin qumica y de fuentes/
sumideros para la concentracin (a este ltimo trmi-
no lo denotamos por F/S(c)).
Si expresamos algebraicamente lo establecido en el
principio de conservacin y empleamos la ecuacin A.1
se obtiene que:

[
\
|

)
j
+
=

m
x
dx
m
y
dy
m
z
dz nF S c dV
n
c
t
dV
x
y
z
/ ( )

(A.2)
Si suponemos constante la porosidad en dV, se tiene
la siguiente expresin para la componente X de la ecua-
cin A.2:

[
\
|

)
j
[
\
|

)
j
=

[
\
|

)
j
[
\
|

)
j
m
x
dx n
x
cv
x
D
c
x
dx dA
n
x
cv
x
D
c
x
dV
x
x xx yz
x xx
( )
( )
Se tienen relaciones similares para las direcciones
restantes Y y Z. El trmino F/S(c) incluye la interaccin
qumica del soluto con el sistema suelo-agua (que en el
trabajo se supone de absorcin cintica irreversible de
primer orden: d(x)c(x,t)) ms las fuentes/sumideros para
la concentracin en el volumen de control (dadas por la
funcin: f(x,t)). Si se sustituyen los anteriores argumentos
en la ecuacin A.2, entonces, sumando en las tres com-
ponentes y dividiendo por ndV se obtiene la expresin:

[
\
|

)
j
+

[
\
|

)
j
+

[
\
|

)
j
|
|
|
|
|
|
|
|
+

( )
+

( )
+

( )
|
|
|
|
|
|
+
[ ]
=
c
t x
D
c
x y
D
c
y z
D
c
z
x
cv
y
cv
z
cv dc f
xx yy zz
x y z
0
(A.3)
D
ii
son los valores caractersticos de la descomposicin
espectral de D en cada una de las direcciones principa-
les; D es simtrico y positivo definido (de hecho, es dia-
gonal en trminos de sus valores y vectores caractersti-
cos), por lo que el segundo trmino de la ecuacin A.3
se puede rescribir como: div[Dc], que es la componen-
te de difusin del transporte. El tercer trmino de la ecua-
cin A.3 se puede escribir como: div[cv], que conduce al
trmino advectivo vc despus de aplicar la hiptesis
de incompresibilidad a la fase lquida divv=0. Final-
mente, con las anteriores observaciones, la relacin
de balance (ecuacin A.3) se puede escribir de la si-
guiente forma:

[ ]
+ + =
c
t
c c dc f x t T div para D v , , ( , ) 0
Derivacin de la desigualdad (ecuacin 19)
Primero se obtiene la versin semidiscreta de elemento
finito de la desigualdad (ecuacin 17), para lo que se
definen las funciones base de los subespacios de di-
mensin finita que determinan los campos admisibles
de solucin:

V H
h m
h
=
{ }
Span
1 2
1
, ,..., ( )
Donde V
h
es una familia de subespacios de dimen-
sin finita de parmetro h>0 y dimensin m
h
cuan-
do h 0. Si se expande la solucin aproximada c
h
y la
variacin v
h
como estn definidas en la ecuacin 21a y se
sustituyen en la ecuacin 17, se obtiene, luego de agru-
par trminos, la siguiente desigualdad:

Para dado
encuentre tal que
(A.4)
t T f t L
t K t
t t t t t t
t t t t t t
m
h

+ + +
|

|
|
|
|

|
|
|

{ }
+ +

( , ); ( ) ( )
( ) ( ), ,
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ( )) ( ) ( ( )) (
0
2

A B C D
f ; ; ; ; tt
t K t
c x c x
m
h
h
h
)
( ) , ( )
( , ) ( ),

{ }

=
|

|
|
|
|
|
|
|
|
|
|
|
|
|
|
|

con 0
0
x
Donde las entradas de las matrices y vectores es-
tn definidas en las ecuaciones 21b a 21e. Por ejemplo,
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002 41
las entradas A
i,j
de la matriz A se deducen de la primera
integral de la ecuacin 17 y la expansin de c
h
y v
h
, dada
en la ecuacin 21a, de la siguiente manera:

{ }

[ ]

|

|
|
|
|

|
|
|
=
[ ]

[ ]

= = =
c
t
v c t d
d
dt
t t d
d
dt
t t
i
m
i i j j k k
k
m
j
m
i i j j j
h h h
(x,t) x x
x x x
x x
( ) ( , )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) (

1 1 1

))
( ) ( ) ( ) ( )
( ) ( ) ; ( ) ( )
j
m
i
m
i
j
m
j j j i
i
m
i
i
h h
h h
d
t t d
t t
d
dt
t t
= =

= =

|
|
|
|

|
|
|
=
[ ]
=
{ } [ ]

1 1
1 1

x x
A con
Que se corresponde con el primer trmino de la ecua-
cin A.4. La matriz A tiene las entradas definidas en la
ecuacin 21b y los vectores (t) y son las componen-
tes de c
h
y v
h
, respectivamente, en trminos de la base de
elemento finito. Mientras que

(t) es la derivada en el
tiempo de (t). Las entradas de B, C, D y f se derivan de
manera similar. Finalmente, para obtener la versin dis-
creta, lo que resta es aproximar, en la ecuacin A.4, la
derivada en el tiempo y al propio vector (t), mediante
un esquema , como se establece en las ecuaciones 20a
y 20), con lo que se obtiene la desigualdad expresada en
la ecuacin 19.
Agradecimientos
El autor expresa su agradecimiento al doctor Gonzalo Alduncin Gonzlez
y al doctor Alfredo Nicols Carrizosa por su asesora en la lnea de in-
vestigacin. Tambin desea agradecer al maestro en ingeniera Jos
Antonio Maza lvarez y al ingeniero Alfredo Fernndez Espinosa por su
apoyo para el desarrollo del trabajo. Tambin ofrece el ms cumplido
reconocimiento a los revisores annimos del artculo por sus tiles ob-
servaciones, que mejoraron con mucho la claridad de exposicin.
Recibido: 15/11/2000
Aprobado: 20/03/2001
Referencias
Alduncin, G., "Duality and Variational Principles of Potential
Boundary Value Problems", Comput. Meths. Appl. Mech.
Engr., vol. 64, 1987, pp. 469-485.
Alduncin, G., "Subdifferential and Variational Formulations of
Boundary Value Problems", Comput. Meths. Appl. Mech.
Engr., vol. 72, 1989, pp. 173-186.
Alduncin, G. y J. Carrera, "Upwind Finite Element Approximations
of the Advection-Diffusion Problem", Adv. in Num. Partial
Differential Equations and Optimization, Gmez, S. et al.,
SIAM, Filadelphia, 1991, pp. 158-170.
Bear, J., Dynamics of Fluids in Porous Media, American Elsevier,
Nueva York, 1972, 764 pp.
Bear, J. y A. Verruijt, Modeling Groundwater Flow and Pollution,
D. Reidel, Dordrecht, 1987, 414 pp.
Chvez, A. y S. Castro, "Optimizacin del bombeo en el acufero
de Villa de Reyes, San Luis Potos", Ingeniera Hidrulica en
Mxico, vol. VII, nm. 1, enero-abril, 1992, pp. 99-107.
Ekeland, I. y R. Temam, Analyse convexe et problemes
variationnels, Dunod, Gauthier-Villars, Pars, 1974, 125 pp.
Fetter, C.W., Contaminant Hydrogeology, Macmillan Publishing
Co., Nueva York, 1993, 458 pp.
Freeze, R.A. y J.A. Cherry, Groundwater, Prentice-Hall Inc., Nue-
va York, 1979, 604 pp.
Fritz, J., Partial Differential Equations, Springer-Verlag, Nueva York,
1982, 249 pp.
Gorelick, S.M., "A Review of Distributed Parameter Groundwater
Management Model i ng Methods", Water Resources
Research, vol. 19, nm. 2, 1983, pp. 305-319.
Gurtin, M.E., An Introduction to Continuum Mechanics, Academic
Press, N.Y., 1981, 265 pp.
Ikeda, T., "Maximun Principle in Finite Element Models for
Convection-Diffusion Phenomena", Lecture Notes in Num.
Appl. Anal., North-Holland/Kinokuniya, Amsterdam/Tokyo,
1983, 159 pp.
Maddock III, T., "Algebraic Technological Function from a
Simulation Model", Water Resources Research, vol. 8, nm.
1, 1972, pp. 129-134.
Marsden, J.E. y T.J.R. Hughes, Mathematical Foundations of
Elasticity, Prentice-Hall Inc., Englewood Cliffs, Nueva Jersey,
1983, 556 pp.
Martnez, J.D., "Sobre el problema de control para la ecuacin
de flujo en medios porosos: dos formulaciones 'variacio-
nales'", Com. Tecs. del Instituto de Geofsica, Serie Investi-
gacin, nm. 132, 1991, 7 pp.
Martnez, J.D., Simulacin numrica de problemas de control
asociados a la ecuacin hiperblico-parablica de adveccin
difusin, tesis de maestra, Modelacin Matemtica y
Computacional de Sistemas Geofsicos, Instituto de
Geofsica, Universidad Nacional Autnoma de Mxico, Mxi-
co, 1992, 100 pp.
42
Martnez, J.D., "Manejo del agua disponible. Sistemas
hidrolgicos acoplados con esquemas de optimizacin", So-
metido a la revista Ingeniera Hidrulica en Mxico, 2000.
NOM-127-SSA1-1994, "Salud ambiental, agua para uso y con-
sumo humano - lmites permisibles de calidad y tratamien-
tos a que debe someterse el agua para su potabilizacin",
Abstract
Martnez Njera, J.D., "Design of Algorithms for their Use in the Control of Solutes Transport in Contaminated
Aquifers", Hydraulic Engineering in Mexico (in Spanish), vol. XVII, num. 2, pages 27-42, April-June, 2002.
This paper establishes the theoretical foundations of a mathematical methodology to approach the rehabilitation
of aquifers contaminated by dissolved substances, with the assistance of numerical techniques. The derived
algorithms are of control or management type, since simultaneously to the predictive numerical solution of the
solute transport equation, they determine those solutions that fulfill water quality restrictions. The controlling
variable is the concentration of the polluting agent dissolved in the flow field. The considerations are kinematics
because they take into account the advection and dispersion terms, but they also consider the first order kinetic
sorption model and the sources/sinks for the concentration. We describe the physical arguments and
mathematical theory of subdiferentials necessary to establish the control problem of initial and boundary values
for the solutes transport equation; afterwards, the primal variational model and the mixed of dual internal control,
as well as the formal discrete version of both formulations are obtained, so that solution algorithms of finite
element semidiscrete type are generated. Due to the hyperbolic-parabolic character of the transport equation,
when the advective term is dominant, in this work it is approximated by means of the Ikeda's partial upwind
technique. To prove the theory a hypothetical example is presented, and we analyze the two possible cases for
the concentration of a polluting agent: when it does not exceed and when it escapes the regulator limits of water
quality. In both situations the primal and mixed algorithms determine the appropriate numerical solutions of
each kind of problem.
Key words: rehabilitation, numerical simulation, groundwater quality, algorithm, advection, dispersion, transport,
groundwater flow and transport, control, restriction.
Direccin institucional del autor:
Juan Diego Martnez Njera
Comisin Federal de Electricidad
Avenida Ingenieros 402, col. El Marqus
76047 Quertaro, Quertaro, Mxico.
Telfono y fax: (52) (442) 130 436 y 132 324
Martnez Njera, J.D., Diseo de algoritmos para su uso en el control del transporte de solutos en acuferos contaminados
ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico ingeniera hidrulica en mxico/abril-junio de 2002
Diario Oficial de la Federacin, jueves 18 de enero de 1996,
pp. 1-7.
Temam, R., Analyse numrique, Presses Universitaires de Pars,
1970, 79 pp.
Whitaker, S., "Flow in Porous Media I: A Theoretical Derivarion of
Darcy's Law", Transport in Porous Media, vol. 1, 1986, pp. 3-25.