Professional Documents
Culture Documents
ECUADOR
FACULTAD DE INGENIERA, CIENCIAS
FSICAS Y MATEMTICA
CARRERA DE INGENIERA MATEMTICA
DEDICATORIA
A mis padres por ser el pilar fundamental en todo lo que soy, en toda mi educacin, tanto acadmica, como de la vida, por su incondicional apoyo perfectamente
mantenido a travs del tiempo.
Todo este trabajo ha sido posible gracias a ellos.
A mis maestros: Dr. Hernn Benalczar por su gran apoyo y motivacin para
la culminacin de mis estudios profesionales y para la elaboracin de esta tesis;
Msc.Guillermo Albuja por su tiempo compartido y su invalorable ayuda en asesoras
y dudas presentadas en la elaboracin de la tesis; Msc. Eduardo Dvila por su apoyo
ofrecido en este trabajo.
ii
AGRADECIMIENTO
iii
iv
vi
vii
viii
CONTENIDO
1. Modelos Fsicos de Contaminacin de Aguas Subterrneas
25
ix
Zx
t2
dt . . . . . . . . . . . . 53
60
3.1. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.2. Deniciones preliminares importantes . . . . . . . . . . . . . . . . . . . . . . . . 60
3.3. Espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .62
3.4. Aplicaciones lineales continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.5. Formas bilineales continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.6. Espacios Lp ( ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.6.1. Reexividad. Separabilidad. Dual de Lp . . . . . . . . . . . . . . . 67
3.6.2. Nociones de convergencia en Lp ( ) . . . . . . . . . . . . . . . . . . . . 69
3.7. Espacio de Distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.7.1. Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.7.2. El espacio D0 ( ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.7.3. Derivacin de distribuciones . . . . . . . . . . . . . . . . . . . . . . . . 72
3.8. Espacios de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.8.1. Espacios H 1 ( ) y H01 ( ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.8.2. Dual H
( ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
78
xi
107
xii
115
Lista de guras
Figura 1. Inltracin de agua en el suelo. . . . . . . . . . . . . . . . . . . . . . . . . 17
Figura 2. Interpretacin fsica del ujo en (t). . . . . . . . . . . . . . . . . . . . . 36
Figura 3. Interpretacin fsica de la velocidad total en
(t) y (t). . . . . . . . 38
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
xiii
0 . . . . . . . . . . . . . . . . . . . .. . . . . .113
xiv
Lista de tablas
Tabla 1. Coecientes de cultivo utilizados en la simulacin. . . . . . . . . . . 15
Tabla 2. Valores de erf( ) y erfc( ) para valores positivos de . . . . . . . 53
xv
Resumen
MODELO MATEMTICO, NUMRICO Y COMPUTACIONAL
PARA LA CONTAMINACIN DE AGUAS SUBTERRNEAS
El presente documento muestra el estudio de un modelo matemtico para la contaminacin de aguas subterrneas, este modelo se basa en una ecuacin en derivadas
parciales de tipo parablico lineal llamada ecuacin de conveccin-dispersin.
En el captulo I se trata el concepto y clasicacin de acuferos, los parmetros
fsicos hidrogeolgicos y de contaminacin.
En el captulo II se describe la ecuacin de balance de materia con sus condiciones
iniciales y de frontera, luego una simplicacin del modelo y las soluciones exactas.
En el captulo III se describen algunos espacios funcionales y se ha dado una
mayor importancia a los espacios Lp y a los espacios de Sobolev.
En el captulo IV se hace un anlisis del modelo con respecto a la existencia,
unicidad y convergencia de la solucin, tambin se estudia su discretizacin espacial
(mtodo de elementos nitos) y temporal (mtodo de Cranck-Nicholson).
En el captulo V se estudian los algoritmos numricos, la estructura del programa
computacional, la validacin del modelo y los resultados obtenidos.
En el captulo VI se exponen las conclusiones y algunas recomendaciones acerca de
la simulacin numrica y de los resultados obtenidos en el desarrollo de este trabajo.
DESCRIPTORES: CONTAMINACIN DE AGUAS
SUBTERRNEAS/MODELO MATEMTICO/
ECUACIN DE TIPO PARABLICO
xvi
Summary
MATHEMATICAL, NUMERICAL AND COMPUTATIONAL MODEL
FOR CONTAMINATION OF UNDERGROUND WATER
The present document shows the study of the mathematical model of groundwater pollution. This model is based on a linear partial dierential equation of parabolic
type, called convection-diusion equation.
In chapter I we introduce the concepts and a clasication of aquifers, some hydrogeologic physic parameters and of pollution.
In chapter II we obtain the balance equation of matter with its initial and boundary conditions, later a model simplication and the exact solutions.
In chapter III we describe some functional spaces giving a major importance to
the spaces Lp and to the Sobolev spaces.
In chapter IV we make the analysis of the model with respect to the existence,
uniqueness and convergence of the solution, we also study the spatial discretization
( nite elements method) and temporal ( Cranck-Nicholson method).
In chapter V we study the numerical algoritms, computational program structure,
the validation of model and the obtained results.
In chapter VI we present the conclusions and some recommendations about
numerical simulation and the results obtained in the course of this work.
DESCRIPTORS: CONTAMINATION OF UNDERGROUND
WATER/MATHEMATICAL MODEL/
TYPE PARABOLIC EQUATION
xvii
xviii
xix
INTRODUCCIN
La contaminacin de aguas subterrneas es un problema cada vez ms grave
debido a los impactos en la salud de las personas. La contaminacin de pozos ciegos,
las actividades industriales especialmente agrcolas y ganaderas, los basurales y los
nitratos residuales exponen a riesgos de salud a una gran parte de hogares de bajos
recursos que dependen del agua subterrnea para sus necesidades diarias.
Para resolver adecuadamente el problema de contaminacin de las aguas subterrneas se hace necesario la participacin de varios tipos de profesionales tales como
qumicos, bilogos, ambientalistas, mdicos, fsicos, matemticos, entre otros. La labor que desempea el matemtico es determinar en que niveles y de que manera
est distribuido el contaminante en el subsuelo en un determinado tiempo. Dicha
informacin tiene gran importancia ya que es una herramienta que permitir tomar
las medidas y decisiones necesarias para la conservacin del agua subterrnea, ms
an si queremos implementar estrategias de remediacin.
OBJETIVOS
1. Estudiar la existencia, unicidad y regularidad de la solucin de la
ecuacin del tipo parablico lineal obtenida.
2. Aplicar mtodos y tcnicas numricas de discretizacin de ecuaciones
diferenciales en derivadas parciales del tipo parablico lineal utilizando
el mtodo de elementos nitos.
FUNDAMENTACIN
Se presenta el modelo matemtico que se utiliza en el anlisis de los fenmenos
ocurridos en el transporte de contaminantes a travs del subsuelo y su aplicacin al
control del uso presente y futuro de las aguas subterrneas. La contaminacin actual
del subsuelo exige la solucin de problemas cada vez ms complejos los mismos que
deben ser simulados numricamente para luego ser aplicados bajo simplicaciones
adecuadas.
donde
div(Drc) + V rc + rc = f
sobre
]0; T [;
difusin-dispersin (conocido), V
inltracin
8(x; y) 2 :
c(x; y; t0 ) = c0 (x; y)
siendo
n
(x; y; t) 8(x; y; t) 2
d[
con
d\
=;
[0; T ];
[0; T ];
la frontera de
; con c0 ;
funciones
dadas.
[0; T ];
2 R;
2 C 0(
[0; T ]) y D(x; y; t)
[0; T ]); f 2 C 0 (
[0; T ]):
> 0;
Las soluciones analticas han probado ser de mucha importancia para el estudio
de los procesos de transporte de contaminantes en aguas subterrneas. Reescribiendo
la ecuacin como
dc
dt
=D
8(x; y; t) 2
[0; T ] ,
c(x; y; t0 ) = 0
difusin para una fuente continua, que se conoce como ecuacin de Ogata-Banks
(1961) ([15], pg 6-11).
es un dominio
CONVERGENCIA
Captulo 1
Modelos Fsicos de Contaminacin
de Aguas Subterrneas
1.1.
Los aspectos geolgicos, como la porosidad, la permeabilidad (o ms estrictamente la conductividad hidrulica) y la transmisividad desempean un papel muy
importante en la hidrogeologa, ya que la velocidad de movimiento del agua depende
de la estructura y composicin litolgica de las formaciones geolgicas para que el
agua pueda transitar por el suelo.
Las diferentes formaciones geolgicas poseen ciertas propiedades que son denitivas para constituir buenos acuferos, los cuales se denen como toda una formacin
geolgica que contiene agua y permite su circulacin por los poros y las grietas, y
1.2.
1.2.1.
Geolgicos
Coeciente de almacenamiento
El coeciente de almacenamiento es el volumen de agua liberado por una columna
de base unidad y de altura todo el espesor del acufero cuando el nivel piezomtrico
desciende una unidad. Es evidente que el concepto de porosidad ecaz, denida por
volumen de agua drenada por gravedad por volumen total, encaja perfectamente en
la denicin de coeciente de almacenamiento, si se considera 1 m2 de acufero libre
y hacemos descender 1 m. su supercie fretica el volumen de agua que se extrae
ser la porosidad ecaz.
El coeciente de almacenamiento es, como la porosidad ecaz, adimensional, y
los valores que presentan son mucho ms bajos en los connados perfectos que en los
semiconnados. Los valores tpicos de este coeciente son:
Acuferos libres: 3 10
a 10 2 .
Acuferos semiconnados: 10
Acuferos connados: 10
a 10 4 .
a 10 6 .
Porosidad
La porosidad es la particularidad que tiene un material geolgico de contener intersticios y su valor se da en porcentaje, que indica el volumen de material ocupado
por dichos intersticios. Se ha considerado que una porosidad inferior al 5 % es baja,
entre 5 y 20 % es media y ms del 20 % es alta. La porosidad se puede aplicar a material granular o material fracturado, incluso existen materiales granulares compactos
que se encuentran fracturados y presentan lo que se llama doble porosidad.
Permeables
Muy permeables: lavas cavernosas, gravas y arenas gruesas.
Permeables: arenas nas, conglomerados, areniscas, calizas no muy fracturadas.
Poco permeables: gravas con arcillas, margas, calizas margosas.
Impermeables
Impermeables: pizarras cristalinas, areniscas antiguas, calizas cristalinas, calizas compactas no cavernosas, cuarcita.
Transmisividad
La transmisividad es un parmetro que se debe incluir en los modelos de simulacin, y se dene como el producto de la conductividad o de la permeabilidad
hidrulica por el espesor saturado, en medios homogneos.
Este parmetro hidrulico del acufero puede ser determinado mediante bombeos
de ensayo. Para ello se necesitan dos puntos de observacin, dos sondeos que estn
abiertos en el mismo acufero que se est bombeando; se miden las distancias y los
descensos, y conocido el caudal de bombeo se despeja la transmisividad, de acuerdo
con la frmula de Theis (1935) ([8], pg 49).
Potencial hidrulico
Hubbert (1940) dene potencial como el parmetro fsico, capaz de ser medido en
cada punto en un sistema de ujo, cuyas caractersticas son tales que el ujo ocurre
siempre desde las regiones con valores ms altos hasta los que tienen valores ms
bajos, sin importar la direccin en espacio ([8], pg 50).
1.2.2.
Climatolgicos
10
Pluviosidad
Es importante considerar la precipitacin, si se toma en cuenta que la mayor
parte del agua del subsuelo proviene de la inltracin de las aguas procedentes de
las lluvias.
Las zonas lluviosas constituyen, en mayor o menor grado, zonas de alimentacin
de agua subterrnea, por lo que en las zonas secas el agua subterrnea no proviene
de la inltracin directa, y procede de regiones lejanas, en donde la lluvia se inltra
y llega lentamente hasta ellas. La precipitacin es muy importante en dos aspectos,
en su cantidad y en su duracin.
Temperatura
La temperatura es un factor muy importante que repercute en el ujo del agua
subterrnea, ya que incide directamente en la evaporacin de agua supercial libre o
del suelo; por otra parte, la temperatura es el factor climtico de mayor correlacin
con la evapotranspiracin real, la cual se describe ms adelante.
1.2.3.
Cobertura vegetal
11
Evapotranspiracin
El conjunto de la evaporacin, que constituye un fenmeno fsico en el que el
agua pasa del lquido a vapor, y la transpiracin, que es el fenmeno siolgico por
el cual las plantas pierden agua a la atmsfera a n de lograr un equilibrio hdrico y
trmico, se denomina evapotranspiracin, que se puede denir como la evaporacin
total de una supercie, sea directamente o a travs de la transpiracin, o ambos. A
efectos prcticos se suelen diferenciar dos tipos de evapotranspiracin: potencial y
real.
12
13
Coeciente de cultivo
El coeciente de cultivo (Kc) en funcin del tipo de cubierta vegetal se adapta de
los que se encuentran en la literatura agronmica para el clculo de las necesidades
de los cultivos. El Kc depende de las caractersticas siolgicas de la planta, fecha de
plantacin, ritmo de desarrollo, duracin del ciclo vegetativo, y frecuencia de lluvias o
riegos, especialmente durante la primera fase de desarrollo. En la tabla 1 se describen
los coecientes de cultivos utilizados para modelos de simulacin.
Evapotranspiracin real
La Evapotranspiracin Real (ETR) es la que se produce realmente en las condiciones existentes en cada caso. Una vez estimada la ETP de referencia que puede
alcanzar una zona bajo unas condiciones climticas y de vegetacin dadas, se ha
de estimar la ETR bajo condiciones naturales de suministro, disponibilidad de agua
y caractersticas hidrolgicas que modulen esa disponibilidad. En este sentido, un
papel importante juega el agua almacenada en el suelo y la zona no saturada, la
14
Coeciente de
cultivo ( %)
80
Tierras de labor
87
91
Cultivos permanentes
93
95
Bosque mixto
97
98
100
y articiales
Praderas
100
15
ETR = r
P
2
0;9+ P 2
1
Coutagne, ETR = 490 X P 2 ; donde X = 0;8+0;14t
.
Coeciente de inltracin
Se denomina coeciente de inltracin a la relacin entre la inltracin y el excedente hdrico, constituyendo ste la diferencia entre la pluviosidad y la evapotranspiracin.
El coeciente de inltracin depende de la naturaleza del terreno y su cubierta
vegetal, del estado inicial de humedad del suelo as como tambin de la escorrenta
supercial; la cual se dene como la parte del agua que circula por la supercie de
la tierra y se concentra en los ros. Para la determinacin del movimiento del agua
en la escorrenta se tienen en consideracin la ecuacin de continuidad, gobernada
por la seccin mojada como funcin del calado y el caudal, y la ecuacin de conservacin de la cantidad de movimiento, en donde el factor ms importante es la
pendiente. A continuacin un esquema ilustrativo de la inltracin del agua en el
suelo.
16
EH = P ETR
EH = I + ES
I
I = EH
17
1.2.4.
Pozos
Pozos de bombeo
Una captacin de agua subterrnea es toda aquella obra destinada a obtener
un determinado volumen de agua de una formacin acufera para satisfacer una
demanda.
Los pozos de bombeo son aquellos empleados para la extraccin de agua de los
acuferos para asentamientos urbanos, usos industriales y fundamentalmente para
regado. Una aplicacin adicional de este tipo de pozos es el bombeo de ensayo (tambin conocido como ensayo de bombeo), el cual se realiza para medir los parmetros
hidrulicos del acufero, en rgimen variable determina la transmisividad y el coeciente de almacenamiento y en el caso de rgimen permanente solo la transmisividad.
En el presente trabajo no se tomarn en cuenta los pozos de bombeo ya que en
un rgimen permanente, el volumen de agua extrado equivale a la cantidad de agua
aplicada en regado, por tanto en el balance hdrico no existe variacin de volumen.
Pozos de recarga
Custodio (1986) dene la recarga articial como un conjunto de tcnicas que
permiten aumentar la disponibilidad de agua subterrnea, con la calidad apropiada a
los usos a los que se destina mediante una intervencin consciente, directa o indirecta,
en el ciclo natural del agua. Por consiguiente, el objetivo principal de estas tcnicas
o mtodos es incrementar los recursos de un acufero.
18
1.3.
1.3.1.
1.3.2.
Cobertura vegetal
19
Abonado recomendado
Entre los tipos de fertilizantes ms utilizados se encuentran los derivados nitrogenados; la forma de nitrgeno predominante en el suelo es el N-orgnico, el cual
20
21
Prcticas de abonado
Entre las fuentes que contribuyen a la contaminacin difusa de las aguas, la ms
importante actualmente es la aplicacin excesiva o inadecuada de los fertilizantes
nitrogenados en la agricultura. Entendiendo por contaminacin difusa por nitrato, el
vertido indiscriminado de in NO3 (ion nitrato) en el suelo y consecuentemente en
el agua, hasta alcanzar los 50 mg/l de concentracin mxima admisible establecida.
Se ha estimado que la agricultura contribuye en ms del 60 % de los aportes
de nitratos a las aguas. Las zonas con mayores problemas de contaminacin de las
aguas subterrneas se presentan en zonas de agricultura intensiva. A los cultivos
hortcolas se aplican en general, cantidades elevadas de nitrgeno, que junto con
la mala ecacia de su utilizacin en estos cultivos, hace que presenten un elevado
potencial de lixiviacin de nitratos en las aguas subterrneas. Otro inconveniente del
exceso de abonado es que puede elevar el contenido de nitrato por la parte comestible
de las hortalizas hasta niveles que superen los lmites recomendados para el consumo
humano.
Frecuentemente el agricultor aplica cantidades elevadas de fertilizantes, no solo en
su dosicacin sino tambin a veces en el momento de aplicacin. Se observa que en
el momento de la siembra o plantacin, la cantidad de nitrgeno mineral disponible
en el suelo puede ser mucho mayor que las necesidades del cultivo, por no tener en
cuenta, tanto la cantidad de nitrgeno mineral en el suelo al inicio del cultivo, como
aportes excesivos de materia orgnica, en muchos casos de rpida descomposicin,
que aporta excesivo nitrgeno al inicio del ciclo de cultivo, no aprovechndose el
efecto mejorador de la estructura del suelo.
22
23
24
Captulo 2
Modelos Matemticos de
Inltracin
2.1.
Resumen
medios continuos, luego se estudian ciertos resultados de la mecnica de uidos, bsicamente los teoremas de la divergencia de Gauss, de Green Gauss, del transporte de
Reynolds y nalmente se tratarn las leyes fundamentales que rigen los medios
continuos.
25
2.2.
Resultados
Fundamentales
del
Anlisis
Vectorial
2.2.1.
Notaremos por
2 R se tiene
n
P
i=1
x2i :
cos( ) =
!
x !
y
;
k!
x kk!
yk
k!
x k6= 0; k !
y k6= 0;
26
donde 0
o si
2 entonces !
x !
y
3
2
0, y si
3
2
Dos vectores !
x;!
y de Rn son ortogonales si su producto escalar es nulo es decir,
si !
x !
y = 0 y se nota !
x ?!
y:
Sea
un subconjunto de Rn abierto y f :
@f !
( x );
@x1
:::;
@f !
(x)
@xn
!
Sea un subconjunto de Rn abierto (n 2), F un campo vectorial diferenciable
!
en !
x 2 , existen f1; f2 ; :::; fn campos escalares diferenciables en !
x tal que F =
n
P
!
!
fi e i : La divergencia de F se dene como
i=1
n
P
!
div( F ) =
i=1
@fi
@xi
@f1
@x1
+ ::: +
@fn
@xn
n
P
!
!
En algunos libros la divergencia de F se denota con r F cuando r =
i=1
Sea
@ !
e :
@xi i
un dominio acotado de R y g :
i=1
@
@xi
@g
@xi
@
@x1
@g
@x1
g; donde
+ ::: +
@
@xn
@g
@xn
es el operador de
Laplace; es decir
g=
n
P
i=1
@2g
@x2i
@2g
@x21
+ ::: +
@2g
:
@x2n
g = r2 g = r (rg):
1 (t); :::;
= (
1 ; :::;
donde
1 ; :::;
1 (t); :::;
n (t))
n)
de I en Rn la no-
n (t)):
El conjunto
= f(
f uncion vectorial
1 ; :::;
en t se dene como
!0
La derivada
en el punto
Si
1 ; :::;
!0
0
1 (t); :::;
(t) = (
0
n (t)):
(t); t 2 I:
se
dene como
Rb !
(t)dt =
a
Sea
Rb
1 (t)dt; :::;
Rb
n (t)dt
: I ! Rn una funcin
!
: Sea F :
!
como
R
F d =
Rb ! !
F ( (t))
!0
(t)dt;
28
! Rn un
se dene
2.2.2.
2.2.3.
Sea
su frontera,
yF :
! R3 un
se tiene
R
div(F )dx =
!
F nds;
!
@f2
@f3
+ @x
+ @x
y n es el vector normal exterior
2
3
@f1
@x1
a : Note que la integral del lado izquierdo es una integral triple y la integral del
lado derecho es una integral de supercie.
Sea x0 2
n(x0 )
0 si
hacia el interior de
en x0 : Sea
n(x0 )
0 si
2 [0;
2 0;
] el ngulo
2
, en cuyo
;
2
Si F = rg; entonces
R
div(F )dx =
div(rg)dx =
gdx;
luego
R
gdx =
rg nds:
@g
;
@n
esto es,
@g
@n
2.2.4.
Sea
= rg n:
: Si
f (x)dx = 0;
para todo A
f (x) = 0; ctp de
medida nula.
30
; excepto en un conjunto de
2.2.5.
Sea
@'
f ; @' f ; @' f ;
@x1 1 @x2 2 @x3 3
2.2.6.
y':
! R un
campo escalar, F :
que
su frontera,
son integrables en
!
'div(F )dx +
: Entonces
!
r' F dx =
'F nds
@f
(x;
@t
en [c; d] como
g(t) =
Ra
f (x; t)dx;
t 2 [c; d]
d
dt
Ra
f (x; t)dx =
Ra
b
@f
(x;
@t
t)dx;
t 2 [c; d]
R3 se tiene
anlogamente si
g(t) =
(x; t) 2
f (x; t)dx;
[c; d]
entonces
g0(t) =
d
dt
f (x; t)dx =
@f
(x;
@t
31
t)dx;
(x; t) 2
[c; d]
2.2.7.
Sea T > 0,
(t)
exterior a
(t) 6= y
6= y
d
dt
f (x; y; z; t)dxdydz =
(t)
[0; T ] ; donde v ( ;
]0; T [ ) en
[0; T ] y
(t): Entonces
@f
(x; y; z;
@t
t)dxdydz +
(t)
(t)
(t)
2.2.8.
Ecuacin de continuidad
m
;
V
donde
32
m:
(x; t) = l m
V !0
dm
:
dV
T1 < T2 :
[T1 ; T2 ] : Para un
volumen elemental se verica la relacin dm(t) = (x; t)dV que nos permite
denir
m(t) =
8 x 2 (t)
(x; t)dx;
(t)
d
dt
(x; t)dx:
(t)
=0
d
dt
(x; t)dx = 0:
(t)
(t)
(x; t)dx =
@
dx
@t
(t)
(t)
33
v nds = 0;
(t) en la ecuacin
(t):
@
@t
+ div( v ) dx = 0
(t)
siendo
ctp de
+ div( v ) = 0;
Observacin: Si en vez de
:
!
[T1 ; T2 ] : Si D es independiente de x y t; es la
@c
(x;
@t
@c
(x;
@t
@c
(x;
@t
t)
t) + div(c v ) = 0;
8 (x; t) 2
34
[T1 ; T2 ] :
Consideramos g(t) =
(x; t)dx; t
0:
(t)
(t)
@
@t
+ div( v )
q dx = 0
(t)
de donde
@
@t
+ div( v )
q = 0;
ctp de
+ div( v ) = 0:
(1)
el proceso, es decir si
div( v ) = 0;
(2)
div( v ) = 0;
de donde se sigue que
!
div( v ) = 0 sobre
o bien
!
r v = 0 sobre
35
@
@t
div( v ) = q
sobre
(3)
Las ecuaciones anteriores (1); (2) y (3) se complementan con las condiciones
iniciales y de frontera ([1], [3]).
La ecuacin (2) se conoce como ecuacin de Laplace 3d.
La ecuacin (3) se conoce como ecuacin de Poisson 3d.
2.3.
Si un uido contiene varios componentes con concentraciones diferentes en distintos puntos, existe un proceso de intercambio en el sistema de la zona de ms alta
concentracin a la ms baja ([9], pg 117-134. [1], [3]).
Sea
(t)
@c
@t
son integrables en
K(t) =
(t): Se dene
c(x; t)dx; t > 0:
(t)
36
'
n ds =
(t)
c v n ds =
(t)
div(c v )dx.
(t)
Si
Si
con '
0; si
0 entonces '
<
; cos( )
!
n < 0:
(t);
(t); para
(t);
q =q
n:
dK(t) =
@K(t)
dt
@t
= Q dt
Q dt
(t)dt
luego
@
@t
c(x; t)dx +
(t)
Si
(t) = , t
c v n ds =
(t)
q (x; t)dx
(t)
q (s; t)ds
(t)
tiene
@c
(x;
@t
t)dx +
div(c v ) dx =
38
q (x; t)dx
div(q )dx
(t) y (t)
c(x; t)dx =
(t)
@c
(x;
@t
t) + div(c v ) dx;
(t)
luego
R
@c
(x;
@t
t) + div(c v ) dx +
(t)
div(c v )dx =
(t)
q (x; t)dx
(t)
(t)
de donde
R
@c
(x;
@t
t) + div(c v T ) dx =
q (x; t)
div(q ) dx
(t)
(t)
con v T = v + v :
Como
(t)
;t
t) + div(c v T ) = q (x; t)
donde
c densidad volmica de la magnitud considerada,
39
div(q )
div(q )dx
2.3.1.
(t);
Aplicaciones
t) + div( v ) = q (x; t)
div(q ):
t) + div( v ) = 0;
@
@t
B)
+ div((
B)
v ) dx =
(t)
(qI;A + qI;B )
(t)
@ A
@t
+ div(
!
Av)
dx =
(t)
qI;A
div(qs ) dx
(t)
@ A
@t
+ div(
!
Av)
= qI;A
40
div(qs )
div(qs ) dx
donde qs =
+ div(cA v ) = qI;A
div(qs )
+ div(cA v )
Notamos con q s;dif al ujo supercial local difusivo y q s;quim al ujo supercial
local qumico.
!
+ div(cA v )
div(D(cA )rcA )
Si qI;A =
0<
div(D(cA )rcA )
cA ; y en consecuencia
d cA = qI;A :
Si
+ div(cA v )
d rcA ; se tiene
41
2.4.
Se supone, en primer lugar, que el medio geolgico real, compuesto por granos
entre los que existen poros, micro y macro suras, puede ser representado mediante
una idealizacin del mismo como un medio continuo con una serie de propiedades,
denidas por sus valores medios en los volmenes elementales.
Se considera el movimiento, a travs de un medio poroso; si se supone un uido
atravesando el medio poroso, es sabido que la evolucin de una sustancia contaminante transportada en el seno del uido se rige por dos tipos de mecanismos
fsico-qumicos: conservativos y no conservativos.
Para este estudio se descartan los mecanismos no conservativos, como los que
pueden darse en el caso de contaminantes radiactivos por desintegracin o liacin.
En cuanto a los mecanismos de transporte conservativos, son aquellos que respetan la
conservacin de la masa de una sustancia en el transcurso del transporte. A nivel microscpico de un medio poroso, hay dos procesos bsicos de transporte conservativos:
conveccin y difusin molecular.
Un tercer proceso denominado dispersin hidrodinmica es un mecanismo de
transporte a escala macroscpica que trata de mejorar la aproximacin que se realiza
por medio del trmino convectivo. En el se considera el medio como continuo y a
cada punto se le asigna un valor medio macroscpico de las caractersticas del terreno:
porosidad y permeabilidad, y en consecuencia, de la velocidad del uido.
La conveccin representa el arrastre del contaminante debido al propio movimiento del uido en el medio poroso. Para la descripcin de dicho movimiento se introduce
!
una velocidad cticia denominada velocidad de Darcy v (x; t) y representa la velocidad del uido en el medio si este se considera como continuo. Se considera en ella,
que el uido pasa a travs de toda la seccin del medio poroso, sin eliminar la parte
42
v (x;t)
;
Wc
donde Wc es un coeciente denominado porosidad cinemtica, que depende del elemento transportado y del medio, y que representa el porcentaje del uido mvil
contenido en el medio poroso.
La difusin es un proceso de transporte ligado a la agitacin molecular de las
partculas de contaminante miscibles en el seno del uido contenido en el medio
poroso. El ujo de una sustancia, por medio de este mecanismo de transporte a
travs de un elemento de rea dA est dado por la ley de Fick, la cual es mejor
descrita adelante ([8], pg 36).
2.4.1.
Drc;
43
2.4.2.
h
:
l
44
Krh;
donde
!
v es la velocidad de Darcy o volumen de agua que circula a travs de una
supercie por unidad de tiempo (L3 /L2 T),
K es el coeciente de permeabilidad de Darcy que nos permite conocer para cada
direccin y sentido del espacio la mayor o menor facilidad de un medio para la
circulacin de un uido a su travs (L/T),
h es el potencial hidrulico (L).
Para suelos saturados la conductividad hidrulica se asume constante, pero decrece rpidamente cuando decrece la humedad. Esto es debido a que cuando el agua
drena los poros se vacan y la seccin de ujo efectivo es mucho menor.
Consecuentemente el descenso del valor de K es mucho ms rpido en suelos con
capacidad drenante (arenas) que en suelos con poros de menor tamao (arcillas).
La permeabilidad K depende de la naturaleza del terreno, de la forma, de la
distribucin de tamaos y de la orientacin de sus partculas, pero tambin depende
del uido. La permeabilidad generalmente se formula como:
K=
45
es la funcin
@c
@t
+ div(j) + rc = f;
46
j = jd + ja ;
jd =
Drc:
j=
Drc + !
v c:
div(Drc) + v rc + rc = f .
div(Drc) + v rc + rc = f;
47
sobre
]0; T [;
2.5.
2.5.1.
2.5.2.
8(x; y) 2 :
Condiciones de frontera
el nivel medio
48
8(x; y; t) 2
c(x; y; t) = (x; y; t)
[0; T ] :
el ujo
Donde
2.6.
@c(x;y;t)
@n
= ;
(x; y; t)
8(x; y; t) 2
la frontera de
= ?;
[0; T ] :
([8], pg 43):
Las soluciones analticas han probado ser de mucha importancia para el estudio
de los procesos de transporte de contaminantes en aguas subterrneas. La forma ms
compleja de la ecuacin de conveccin-difusin capaz de ser solucionada en forma
analtica incluye 3 componentes de difusividad, una velocidad advectiva constante,
y un trmino cintico, y se expresa como
@c
@t
= Dx
@c
@x2
@c
@c
+ Dy @y
2 + Dz @z 2
@c
vx @x
,
49
(x; y; z; t) 8(x; y; z; t) 2
[0; T ] ,
c(x; y; z; t0 ) = 0
8(x; y; z) 2 ,
es posible obtener una solucin exacta de la ecuacin de conveccin-difusin para
una fuente continua o puntual, que se conoce como ecuacin de Ogata-Banks (1961)
([15], pg 7).
Las concentraciones, c, son siempre menores que la de la fuente, c0 , excepto
en !
x = 0. Esto se debe a que la masa se distribuye igualmente en la pluma del
contaminante, pero el volumen ocupado aumenta en la medida que se incrementa la
distancia desde la fuente.
En el caso de la difusin transversal, las dimensiones y geometra de la fuente
originaria adquiere importancia en la denicin de las ecuaciones que gobiernan el
transporte de contaminantes, lo que diculta la solucin analtica del problema.
La solucin analtica para fuentes continuas de la ecuacin precedente permite
determinar la distribucin de concentraciones resultantes y se expresa como
c(x; y; z; t)
c0
1
8
erfc
(x vt)
1
2(Dt) 2
erf
y+ Y2
erf
1
y x) 2
2(
Y
2
erf
1
y x) 2
2(
z+Z
erf
1
z x) 2
2(
z Z
1
z x) 2
2(
x v,
1
8
erfc
(x vt)
2(
x vt) 2
erf
y+ Y2
2(
y x) 2
erf
y
2(
50
Y
2
=
1
y x) 2
erf
z+Z
2(
z x) 2
erf
z Z
2(
1
z x) 2
c(x; y; z; t) =
c0 V0
8( t) 2 (Dx Dy Dz ) 2
h
exp
(x vt)2
4Dx t
y2
4Dy t
z2
4Dz t
i
t :
(x vt)
2(
1
x vt) 2
, siendo
complementario. Valores para erfc( ) y erf( ) (o funcin del error de ) para varios
valores del argumento
51
1, erfc( 1)
erf( )
erfc( )
1.0
0.1 0.11246
0.88754
0.2 0.22270
0.77730
0.3 0.32863
0.67137
0.47950
0.6 0.60386
0.39614
0.25790
0.9 0.79691
0.20309
1.0 0.84270
0.15730
1.1 0.88021
0.11970
1.2 0.91031
0.08969
1.3 0.93401
0.06599
1.4 0.95229
0.04772
1.5 0.96611
0.03390
1.6 0.97635
0.02365
1.7 0.98379
0.01621
1.8 0.98909
0.01091
1.9 0.99279
0.00721
2.0 0.99532
0.00468
52
2.6.1.
Zx
t2
dt:
erf(x)= p2
Zx
t2
(1.1)
dt;
funcin que involucra una integral que no puede ser expresada mediante cuadraturas, la discretizacin de la funcin lo haremos utilizando series de potencias.
Sabemos que
e =
1
X
zk
;
k!
(1.2)
k=0
al poner z =
e
1
X
(
1)k t2k
;
k!
(1.3)
k=0
1
X
(
1)k t2k
;
k!
(1.4)
k=0
erf(x)= p2
( 1)k t2k
dt;
k!
(1.5)
k=0 0
erf(x)= p2
1
X
(
1)k x2k+1
;
k!(2k+1)
(1.6)
k=0
53
1
X
(
1)k x2k+1
k!(2k+1)
es ab-
k=0
1
X
(
1
X
1)k x2k+1
k!(2k+1)
k=0
1
;
k(k+1)
y bk =
1
;
k!(2k+1)
(1.7)
k=0
k=0
1
k!(2k+1)
sea ak =
1
X
jxj2k+1
k!(2k+1)
1
X
la
1
k(k+1)
k=0
es 1.
10
Utilizando la tolerancia de 10
ak
bk
10
< 10
; tenemos
(1.8)
k+1
(k 1)!(2k+1)
< 10
10
(1.9)
erf(x)= p2
14
X
(
1)k x2k+1
;
k!(2k+1)
(1.10)
k=0
x4
2!5
x4
3!7
x8
4!9
x8
5!11
+
+
x12
6!13
x12
7!15
x16
8!17
x20
10!21
x24
12!25
x16
9!19
x20
11!23
x24
)]:
13!27
x20
10!21
x24
12!25
x28
;
14!29
x28
)
14!29
Notando
P28 = 1 + 1 +
Q24 =
1
3
x4
3!7
x8
4!9
x8
5!11
x12
7!15
x4
2!5
x12
6!13
x16
8!17
x16
9!19
x20
11!23
54
x24
;
13!27
(1.11)
(1.12)
erf(x)= p2 [xP28
Si 1
1
X
(
x3 Q24 ]:
(1.13)
2
1
X
1)k x2k+1
k!(2k+1)
k=0
1
X
jxj2k+1
k!(2k+1)
k=0
sea ak =
4k
k!(2k+1)
y bk =
22k+1
k!(2k+1)
k=0
1
;
k(k+1)
la
=2
1
X
4k
;
k!(2k+1)
(1.14)
k=0
1
X
1
k(k+1)
k=0
es 1.
ak
bk
(1.15)
< ;
(k+1)4k
(k 1)!(2k+1)
<
(1.16)
k+1
)+k ln 4
ln ( 2k+1
ln(k
(1.17)
1)! < ln ;
dado que
ln(k
2) + ln(k
1)
(1.18)
la suma del rea de los rectngulos inferiores se puede aproximar con la integral
de la funcin ln (x) en el intervalo [1, k
1].
55
1)! u (k
1) ln(k
1)
(1.19)
k + 2;
k+1
)+k ln 4
ln ( 2k+1
(k
1) ln(k
erf(x)= p2
24
X
(
1) + k
10
(1.20)
2 < ln ;
1)k x2k+1
:
k!(2k+1)
(1.21)
k=0
erf(x)= p2
Zx
t2
p2
dt = 1
Z+1
e
t2
dt:
p2
Z+1
e
t2
dt; escribimos
p2
Z+1
e
t2
dt =
p2
Z+1
2te t
2t
(1.22)
dt;
u=
dv =
1
2t
2te
=) du =
t2
1
dt;
2t2
dt =) v = e
(1.22) se escribe
56
t2
p2
Z+1
2te
2t
t2
4e
p1
dt =
Z+1
x2
t2
2te
2t3
dt5 ;
(1.23)
u=
dv =
2te
=) du =
t2
3
dt;
2t4
dt =) v = e
t2
p2
Z+1
2te t
2t
dt =
4e
p1
x2
e x
2x3
3
2
Z+1
2te t
2t5
dt5 ;
(1.24)
u=
dv =
2te
=) du =
t2
5
dt;
2t6
dt =) v = e
t2
p2
Z+1
2te
2t
t2
dt =
p1
4e
x2
x2
e
2x3
x2
e
2 2 x5
3 5
22
Z+1
t2
t6
dt5 ;
Z+1
e
x
t2
dt =
epx
1
x
1
2x3
3
2 2 x5
3 5
2 3 x7
donde
57
+ ::: +
i
+ Rn (x) ;
Rn (x) =
Z+1
e t
t2n
dt:
Clculo de Pn (x)
1
4n+1
k = 1; 2; :::; n
j =n+1
b=
1
4j 3
b x
2j(2j 1)
Pn (x) = b
FIN.
Clculo de Qn (x)
Datos de entrada: grado del polinomio m, valor x:
Datos de salida: Qn (x):
INICIO
b=
1
4m+1
58
k = 1; 2; :::; m
j =m+1
b=
1
4j 1
b x
2j(2j+1)
Qn (x) = b
FIN.
59
Captulo 3
Resultados Fundamentales de los
Espacios Funcionales
3.1.
Resumen
En el siguiente captulo se tratan los resultados fundamentales de los espacios funcionales tales como los espacios de Banach, de Hilbert, el espacio de las aplicaciones
lineales continuas y formas bilineales continuas, los espacios Lp ( ); el espacio de las
distribuciones, los espacios de Sobolev y el espacio de las distribuciones vectoriales.
3.2.
1. N (x)
0 8 x 2 V;
60
N (x) + N (y);
2 R; 8 x 2 V;
8 x; y 2 V
desigualdad triangular
de I en V se llama sucesin en V:
A u(n) con n 2 I lo notaremos un y lo denominaremos trmino general de la
sucesin. A la sucesin la notaremos con (un ):
Denicin Sea (un ) una sucesin en (V; k:k): Diremos que (un ) es convergente
en V si existe u 2 V tal que
n!1
siguiente:
8 " > 0; 9 n0 2 Z+ tal que 8 n
n0 =) kun
uk < ":
Denicin Una sucesin (un ) en (V; k:k) se dice sucesin de Cauchy si verica
la siguiente condicin :
8 " > 0; 9 n0 2 Z+ tal que 8 m; n
n0 =) kum
un k < ":
Teorema Toda sucesin convergente (un ) en (V; k:k) es una sucesin de Cauchy.
Denicin Un espacio de Banach es un espacio vectorial normado en el que
toda sucesin de Cauchy es convergente.
61
3.3.
Espacios de Hilbert
Sea V un espacio vectorial sobre R: Un producto escalar en V es
Denicin
una funcin de V
hx; yi llamado producto escalar de x con y y que verica las siguientes propiedades:
1. hx; yi = hy; xi ;
8 x; y 2 V
hx; yi ; 8
2 R; 8 x; y 2 V
si x 6= 0 y hx; xi = 0 () x = 0:
Denicin
a. Sean x; y 2 V: Se dice que x es ortogonal a y si hx; yi = 0: Notaremos x ? y:
b. Sean x 2 V y A
8 y 2 A: Escribiremos x ? A:
c. Sean A; B dos subconjuntos no vacos de V: Diremos que A es ortogonal a B
si hx; yi = 0; 8 x 2 A; 8 y 2 B: Notaremos A ? B:
1
ducto escalar que es espacio de Banach para la norma hx; xi 2 . Esto es, toda
sucesin de Cauchy en V con respecto a la norma inducida por el producto escalar
h ; i ; es convergente en V ([3], pg 37-38):
3.4.
T ( x + y) = T (x) + T (y)
8 ;
2 R; 8 x; y 2 V:
ykV <
) kT (x)
63
C kxkV ; 8 x 2 V:
Por otra parte se puede probar que una aplicacin lineal T de V en W es continua,
si y solo si, para toda sucesin (xn )
es convergente a T (x) 2 W:
Se denota con L(V; W ) al espacio de todas las aplicaciones lineales continuas
de V en W . En tal espacio introducimos la norma
kT kL(V;W ) = sup kT (x)kW ;
kxkV
8T 2 L(V; W );
3.5.
x2V
x6=0
jT (x)j
;
kxkV
8T 2 V ;
64
2 R; 8 x; y 2 V y 8 z 2 W:
8 ;
2 R; 8 x 2 V y 8 y; z 2 W:
8 x; y 2 V:
W.
ja(x; y)j
M kxkV kykW ;
8 (x; y) 2 V
W:
a(x; y)
kxk2V ;
8 x 2 V:
Aplicaciones
Sea V un espacio de Hilbert real, separable con producto escalar h ; i y norma
asociada k:kV : Se denota con V al espacio dual de V:
Teorema (de representacin de Riesz) Sea f 2 V . Existe un nico u 2 V
tal que
8 v 2 V:
kukV = kf kV .
Sea f 2 V y v 2 V entonces f (v) = hf; vi :
Teorema (de Stampacchia) Sea a(u; v) una forma bilineal, continua y coerciva. Sea K un convexo, cerrado y no vaco. Dado f 2 V , existe un nico u 2 K
tal que
a(u; v
u)
hf; v
8 v 2 K:
ui ;
hf; ui = Min
v2K
1
2
a(v; v)
hf; vi
Teorema (de Lax-Milgram) Sea a( ; ) una forma bilineal, continua y coerciva. Entonces para todo f 2 V existe un nico u 2 V tal que
a(u; v) = hf; vi ;
8 v 2 V:
u2K
1
2
a(u; u)
hf; ui = Min
v2V
66
1
2
a(v; v)
hf; vi :
3.6.
Espacios Lp( )
Denicin Sea
f:
kf kLp (
est en Lp ( ) si
1
p
jf (x)j dx
< 1; si 1
inf f 2 R+ j jf (x)j
ctp de
un abierto de Rn ; 1
Teorema Sea
p<1
g < 1; si p = 1
i) Desigualdad de Holder
Sean f 2 Lp ( ); g 2 Lq ( ) con p; q 2 [1; 1] tales que
1
p
1
q
= 1 (si p = 1;
q = 1): Entonces
f g 2 L1 ( ) y kf gkL1 (
kf kLp ( ) kgkLq ( ) :
kf gkL1 (
kf kL2 ( ) kgkL2 ( ) :
8 f; g 2 Lp ( ) ; kf + gkL2 (
iii) La aplicacin k:kLp (
kf kLp (
+ kgkLp ( ) :
67
es un espacio de Banach.
hf; gi
L2 ( )
f (x)g(x)dx 8f; g 2 L2 ( );
y su norma asociada es
kf kL2 (
3.6.1.
jf (x)j dx
1
2
8f 2 L2 ( ):
El espacio L1 ( ) no es reexivo.
iii) Para p = 1; se tiene que L1 ( ) no es reexivo, caso contrario L1 ( ) lo
sera. El dual de L1 ( ) contiene a L1 ( ) (ya que (L1 ( )) = L1 ( )) y es estrictamente mayor que L1 ( ), esto es L1 ( )
El espacio L1 ( ) no es separable.
68
(L1 ( )) :
3.6.2.
Nociones de convergencia en Lp ( )
1:
f kLp (
! 0; cuando n ! 1:
1:
fn (x)'(x)dx !
3.7.
3.7.1.
Sea
1
p
1
q
= 1:
= u(x) 6= 0g:
es compactog :
69
9
! R j D u 2 C( ); 8 = ( 1 ; :::; n ) 2 N =
;
tal que j j = 1 + ::: + n m
n
continuas en
v) C0m ( ) = C m ( ) \ C0 ( ):
vi) C 1 ( ) =
1
T
m=0
vii) C01 ( ) = C 1 ( ) \ C0 ( ):
Este espacio se denomina espacio de f unciones test o de prueba y se le nota con
D( ), esto es D( ) = C01 ( ):
3.7.2.
Sea
El espacio D0 ( )
un abierto de Rn : Una distribucin sobre
sobre D( ):
Si T es una distribucin sobre
, se tiene
8 ;
1 T1
1;
2 T2 ;
2 R, T1 ; T2 2 D0 ( ): Se dene
'i =
hT1 ; 'i +
1 T1
2 T2
como sigue
1 T1
2 T2
c M ax M ax jD '(x)j
j j m
x 2K
71
3.7.3.
Derivacin de distribuciones
Denicin Sea
f (x)'(x)dx; 8' 2 D( )
Entonces
D
@Tf
;
@xi
E
' =
@'
dx;
f @x
i
8' 2 D( ); i = 1; :::; n:
Si f 2 C 1 ( ); entonces
D
@Tf
;
@xi
' =
@'
f @x
dx; i = 1; :::; n; 8' 2 D( )
i
@Tf
@xi
= T @f ;
i = 1; :::; n:
@xi
72
3.8.
Espacios de Sobolev
3.8.1.
Espacios H 1 ( ) y H01 ( )
; al espacio
n
H ( ) = u 2 L2 ( ) j
1
@u
@xi
2 L ( ); i = 1; :::; n ;
Es evidente que H 1 ( )
n
P
i=1
@u @v
@xi @xi
+ uv dx =
L2 ( ):
kukH 1 (
donde jruj2 =
@u
@x1
+ ::: +
@u
@xn
1
2
jruj + juj
= ru ru:([3], pg 55).
es un espacio de Hilbert.
H1( )
juj1;2 =
1
2
jruj
; 8 u 2 H 1 ( ):
Sea
kukL2 (
donde kruk2L2 (
@u
@x1
c krukL2 (
+ ::: +
@u
@xn
kukH 1 (
A la norma j j
H1( )
juj1;2
> 0;
kukH 1 (
en H01 ( ) se le nota k k
1( )
H0
8u 2 H01 ( ):
; o sea j j1;2 = k k
1( )
H0
Dual H 1 ( )
3.8.2.
Sea T 2 H
( );
kT kH
1(
sup
kukH 1 (
0
jT (u)j =
sup
kukH 1 (
0
74
jhT; uij ;
( ) es un espacio de Banach.
L2 ( ) = (L2 ( ))
( );
3.8.3.
Inmersiones de Sobolev
Sea
i) Si 1
p < n; entonces
W 1; p ( ) = Lq ( ); 8 q 2 [1; p ] ; donde
1
p
1
p
1
n
n p
:
np
kukLq (
c kukW 1; p ( ) ; 8 q 2 [1; p ] :
Lq ( ); 8 q 2 [1; 1[:
kukLq (
C( ):
c kukW 1; p ( ) :
La inmersin de W 1; p ( ) en C( ) es compacta.
iv) En todos los casos W 1; p ( )
Lp ( ) y la inmersin es compacta.
De donde se verica
i) Si n > 2 entonces u 2 H 1 ( ) =) u 2 Lq ( ); con
1
p
1
2
1
:
n
3.9.
3.9.1.
C( ):
dk u
dtk
2 C([0; T ] ;
3.9.2.
2 Nn tal que j j
m:
Espacios Lp ([0; T ] ; X)
RT
0
kf (t)kpX
1
p
dt
< 1:
RT
0
77
Captulo 4
Anlisis del Modelo y
Discretizacin
4.1.
=;
la frontera de
78
]0; T [;
(4)
(5)
(6)
(7)
[0; T ])
[0; T ])
y D(x; y; t)
;
>0
2 C 0(
8(x; y; t) 2
[0; T ];
2 R;
[0; T ]):
donde
4.2.
V = fv 2 H 1 ( ) / v = 0 sobre
W = fu 2 H 1 ( ) /
@u
@n
= 0 sobre
1 g;
2 g;
H = L2 ( ):
Multiplicando los dos miembros de la ecuacin (4) por v 2 V e integrando sobre
se tiene
R
@c
vdx
@t
R !
R
R
div(Drc)vdx + (V rc)vdx + rcvdx = f vdx:
79
d
dt
R
cvdx + D(rc rv)dx
y puesto que @
d
dt
R !
R
R
D(rc !
n ) vds + (V rc)vdx + rcvdx = f vdx;
2;
se tiene
R
R !
R
R
R dc
R dc
cvdx+ D(rc rv)dx+ (V rc)vdx+ rcvdx = f vdx+ D dn
vds+ D dn
vds:
1
Sobre
se tiene v = 0 sobre
d
dt
cvdx +
1:
@c
@n
R !
R
R
D(rc rv)dx + (V rc)vdx + rcvdx = f vdx:
c(x; y; 0) vdx =
c0 vdx
8v 2 V:
V !R
R !
R
D(rc rv)dx + (V rc)vdx + rcvdx
Lt : V ! R
v ! Lt (v) =
f vdx:
(8)
(9)
80
dc
dt
2 L2 (0; T ; V ) solucin
(Pd )
4.3.
8
<
d
(c(t);
dt
: (c(0); v) = (c0 ; v)
8v 2 V;
8v 2 V:
4.3.1.
Teorema de J. L. Lions
V :
Sea T > 0 jo; para casi todo t 2 [0; T ] se considera una forma bilineal a(t; u;
v) : V
> 0; M y C constantes.
8
<
:
u 2 L2 (0; T ; V ) \ C([0; T ] ; H) y
d
(u(t);
dt
du
dt
2 L2 (0; T ; V )
81
8v 2 V;
= H
( ) garantizamos la existencia y
4.3.2.
Lema de Gronwall
Sean g(t) y v(t) dos funciones continuas en C([0; T ]): Sea h 2 L1 (0; T ) tal que
h(t)
g(t) +
Rt
h( )v( )d :
Entonces
v(t)
g(t) +
Rt
h( )v( )eH(t)
H( )
d = eH(t) g(0) +
con H(t) =
Rt
g 0 ( )e
Rt
H( )
; t 2 [0; T ]
437).
Una consecuencia muy importante del lema anterior es que si v(t) 2 C([0; T ])
con v(t)
0 y se cumple que
v(t)
Rt
para t 2 [0; T ] ;
v( )d
entonces, v(t)
436-437).
82
4.3.3.
H 1; H 1
L2 y H01
L2 :
Sea H = L2 ( ):
A continuacin se verican las hiptesis del teorema de Lions
En efecto:
i)
dt
(c(t); v) =
(f (t); v) =
f 2 L2 (
@c
(t)vdx
@t
8v 2 V;
f (x; t)v(x)dx 8v 2 V:
8
>
< i) f es medible
[0; T ]) ,
R RT
>
ii)
jf (x; t)j2 dt dx < +1
:
0
u(t) 2 V:
Drc(t) rvdx +
ii)
t2[0; T ]
R
R !
V rc(t) vdx + rc(t)vdx es
Sup
Sup
t2[0; T ]
x2
M5 = M ax fM3 ; M4 g ;
luego
a)
(V rc)vdx =
@c
v1 @x
vdx +
83
@c
v2 @y
vdx
M3
M5
@c
vdx
@x
@c
@x
+ M4
@c
@y
@c
vdx
@y
vdx
R !
R
V rc(t) vdx + rc(t)vdx
Drc(t) rvdx +
jDrc(t) rvj dx +
M1
jrc(t)j jrvj dx +
R
!
V rc(t) v dx + jrc(t)vj dx
R
!
V rc(t) v dx + M2 jc(t)j jvj dx;
M1 krckL2 ( ) krvkL2 (
M1 kckH 1 ( ) kvkH 1 (
kc(t)kH 1 ;
kc(t)kH 1 ;
C kvkV
8v 2 H 1 ( ).
84
(V rc)cd!
x =
R
R @c !
@c
v1 @x
cd!
x + v2 @y
cd x
R
@c
@c
v1 @x
c d!
x + v2 @y
c d!
x
M3
M5
M5
2
M5
2
Luego se tiene
R
(V rc)cd!
x
Sea D
R
d!
x + M4
@c
c
@x
@c 2
@x
R
d!
x +
d!
x
@c
c
@y
@c
c
@y
d!
x
R
d!
x + c2 d!
x +
krck2L2 ( )
>0
@c
c
@x
M5
2
> 0; r
krck2L2 (
2 kck2L2 ( )
@c
@y
d!
x + c2 d!
x
2
) + 2 kckL2 (
R !
R
D jrc(t)j2 d!
x + (V rc(t))cd!
x + r (c(t))2 d!
x;
R !
R
jrc(t)j2 d!
x + (V rc(t))c(t)d!
x +
(c(t))2 d!
x
R
jrc(t)j2 d!
x +
(c(t))2 d!
x
R
jrc(t)j2 d!
x+
(c(t))2 d!
x
M5
2
krck2L2 (
Hiptesis a introducir
= M {n
M5
;
2
85
+ kck2L2 (
krck2L2 (
M5 kck2L2 (
M5
2
!
(V rc(t))c(t)d!
x
M5 kck2L2 (
kck2V
M5 kck2L2 (
4.3.4.
8
<
d
(c (t);
dt 2
(10)
(11)
8v 2 V;
(12)
8v 2 V:
(13)
8v 2 V:
v) +
d
(c (t);
dt 2
8v 2 V;
v) + a(t; w(t); v) = 0
86
8v 2 V:
(14)
8v 2 V
8v 2 V
(w(0); v) = 0
Como
1 d
2 dt
0=
kw(t)k2V =
d
(w(t);
dt
d
(w(t);
dt
w(t)); entonces
1 d
2 dt
d
dt
kw(t)k2V +
kw(t)k2V :
9
=
kw(t)k2V = h0 (t):
h0 (t)dt
Rt
h( )d
h(t)
Rt
0
87
h( )d ;
c2 (t) = 0; en consecuencia
8t 2 [0; T ] :
c1 (t) = c2 (t)
4.4.
Discretizacin
Sea
88
al
Ti 2
En general e 6= :
Adems no est permitido mallas que contengan tringulos como los siguientes:
/ i 2 T; i nodo internog
Ejemplo:
89
90
4.4.1.
Problema discreto
el mallado de
1 8T 2
9
=
;
e
donde C( e ) denota el espacio de funciones continuas en e = [N
i=1 Ti : Esto es,
vh 2 Vh () 8T 2 ; vh (x; y) = aT x + bT y + cT ; 8(x; y) 2 T:
91
Se nota por (xi ; yi ) ; i = 1:::nnin los vertices de los tringulos de la malla siempre
que estos sean interiores o Neumann y se considera 'j (j = 1:::nnod) la funcin de
Vh tal que
'j (xi ; yi ) =
ij
i = 1:::nnin;
donde nnin es el nmero total de nodos interiores y nodos frontera con condiciones
de Neumann y
ij
1 si i = j;
0 si i 6= j:
Las funciones '1 ; :::; 'nnin forman un conjunto que constituye una base de Vh y
en la gura 7 se muestra un elemento de este conjunto, el cual es una funcin de la
base de Vh que tiene una forma piramidal con su soporte constituido por todas las
regiones triangulares que tienen como vrtice comn el punto Pi :
Se verica la siguiente estimacin de errorkv
independiente de h y jvj2 =
@2v
@x2
@2v
@x@y
v h kH 1 (
0
@2v
@x2
dx
nnin
P
i=1
92
i (t)'i (x)
1 (t); ::;
nnin (t)
tal que
(15)
Se supone que
1 (t); :::;
nnin (t)
entonces
dCh (x;t)
dt
nnin
P
i=1
0
i (t)'i (x)
(16)
0
i (t)('i ; vh )+
nnin
P
i (t)a(t; 'i ; vh )
= Lt (vh )
i=1
8vh 2 Vh
0
i (t)('i ; 'j )+
nnin
P
= Lt ('j )
j = 1:::nnin
(17)
i=1
93
1 (t); :::;
!
F (t) = (f1 (t); :::; fnnin (t))T
T
nnin (t))
t 2 [0; T ]
i (0)('i ; 'j )
= (h; 'j )
i=1
8 j = 1; :::nnin
!
!
B C (0) = G
donde
!
C (0) = (
1 (0); ::;
T
nnin (0))
!
y G = (g1 ; ::; gnnin )T con gj = (g; 'j ) y j = 1::nnin:
(18)
94
4.4.2.
Sea el tringulo Te ; el objetivo es calcular los coecientes de los planos 'i jTe ;
'j jTe y 'k jTe como se muestra en la gura siguiente:
P jTe (x; y) = b
P jTe (x ; y ) =
;1 x+
1 si
0 si
=
6
=
95
;2 y
+b
;3
= 1; 2; 3
(19)
b
b
b
6 1;1 1;2 1;3
6
B = 6 b2;1 b2;2 b2;3
4
b3;1 b3;2 b3;3
x x x
6 1 2 3 7
6
7
A = 6 y1 y2 y3 7
4
5
1 1 1
7
7
7;
5
B A = I =) B = A
1 0 0
6
7
6
7
y I=6 0 1 0 7
4
5
0 0 1
donde B es la matriz que contiene los coecientes de 'i jTe ; 'j jTe y 'k jTe la
cual est dada por la siguiente expresin
2
y
6 2
6
B = 6 y3
4
y1
4.4.3.
y3 x3
x2 x2 y3
y1 x1
x3 x3 y1
y2 x2
x1 x1 y2
x3 y2
7
7
x1 y3 7
5
x2 y1
g(x; y)dxdy
Te
det
2
4.4.4.
(20)
2:
!
!
!
B C (t) + A(t) C (t) = F (t)
!
!
B C (0) = G
96
nnin
= ('i ; 'j )
nnin nnin
Entonces
bij =
'i 'j =
=
'i 'j
sop('i\ 'j )
P R
'i 'j ;
Tk 2 Tk
'i 'j :
Tk
x1 +x2 +x3
3
y Py =
2, tenemos:
R
'i 'j =
Tk
det(ATk )
2
'i ( x1 +x32 +x3 ; y1 +y32 +y3 )'j ( x1 +x32 +x3 ; y1 +y32 +y3 )
aij (t) =
nnin
nnin
entonces
R !
R
Dr'i r'j + ( V r'i )'j + r'i 'j :
Dr'i r'j =
sop('i\ 'j )
P R
Tk 2 Tk
Dr'i r'j
Dr'i r'j
97
(21)
Tk
Tk
Tk
jdet(ATk )j
2
D(P; t):
(22)
r'i 'j =
r'i 'j =
P R
r'i 'j
Tk 2 Tk
sop('i\ 'j )
r'i 'j =
Tk
det(ATk )
2
(23)
El segundo trmino es
R !
P R
V r'i 'j =
Tk 2 Tk
!
V r'i 'j
!
como r'i es una constante que se la notar (ai ; bi ) y V = (v1 ; v2 ) se tiene
R !
R
R
V r'i 'j = ai v1 'j + bi v2 'j ;
Tk
Tk
R !
V r'i 'j =
det(ATk )
2
(24)
98
g(x ; t)'i =
g'i
sop('i )
P R
8Tk 2 sop('i )
g'i
Tk 2 Tk
g'i =
Tk
det(ATk )
2
[g(P )'i (P )] :
!
Construccin del vector F (t)
!
De la denicin del vector F (t) = (f1 (t); :::; f (t)nnin ) se sigue que fj (t); cambia
de acuerdo con las condiciones de frontera es decir
fj (t) =
f 'j
p2N f
p2N f
f 'j =
Tk
det(ATk )
2
f (P )'j (P ) :
Ahora se analiza el segundo trmino de fj (t) que lo llamaremos gbj (t) entonces
gbj (t) =
p2N f
99
Note que para construir gbj (t) 8j 2 N i necesitamos los valores de a(t; 'p ; 'j )
Por ltimo queda por analizar el tercer sumando de fj al que llamaremos gej (t) y
se calcula de forma similar al anterior pero necesitamos conocer la funcin g10 ; que es
la derivada de g1 ; la cual debe ser un dato ms del problema.
Por lo tanto tenemos que fj (t) se expresa como:
R
Tk
4.4.5.
f 'j =
det(ATk )
2
f (P )'j (P )
gbj (t)
gej (t) .
Discretizacin Temporal
!
En la discretizacin temporal se busca la solucin C (tk ) para una subdivisin del
intervalo de tiempo [0; T ] con el mtodo de Cranck-Nicholson.
Sea p 2 N; p > 0:
Para la discretizacin temporal se ingresa la longitud del intervalo [0; T ] y el
nmero de subdivisiones del mismo notado con m:
Sea h =
T
;
m
Mtodo
Sea
!
!
2 [0; 1]: Notamos C (k) la aproximacin de C (tk ):
Aproximamos
!(k)
C
por:
100
Reemplazando
!(k+1) !(k)
C
tk
BC
Si
1
2
!(k+1) !(k)
C
C
:
tk
!(k)
C
en (18) se obtiene
h!
! i
f (tk ) + A(tk ) C (k) + (1
i
h!
!
) f (tk+1 ) + A(tk+1 ) C (k+1) :
se tiene
!
tk
2
!
!
!
t
A(tk )] C (k) + 2k [ f (tk )+ f (tk+1 )]; k=0;1::; p:
(25)
Algoritmo de Cranck-Nicholson
Construir tk ; k = 0; :::; p:
Construir hk = tk+1
tk ; k = 0; :::; p
1:
!
Calcular el vector C0 y la matriz B:
Resolver el sistema de ecuaciones mediante el mtodo de factorizacin LU de
Crout:
BC(t0 ) = C0 :
101
(num)A2
hk
:
2
102
103
ECU (i) =
N V AL
104
('i; j )3
Px =
Py =
Y2 X3 )
2
Y
6 2
6
1
= DET
6 Y3
4
Y1
(X1 Y3
Y1 X3 ) + (X1 Y2
X2 Y1 )
Y3 X3
X2 X2 Y3
Y1 X1
X3 x3 y1
x1 y3
Y2 X2
X1 x1 y2
x2 y1
x3 y2
7
7
7
5
x1 +x2 +x3
3
y1 +y2 +y3
3
Para j = 1; :::; 3
Para k = 1; :::; 3
R = ('j1 'k1 + 'j2 'k2 ) DET
[D(Px ; Py ; tk )]
2
R=R+
R = R+
DET
2
DET
2
[r(Px ; Py ; tk )]
'j1 (v1 (Px ; Py ; tk )) + 'j2 (v2 (Px ; Py ; tk ))
P = TRIANTOTAL (i; j)
Q = TRIANTOTAL (i; k)
Si ECU (P ) > 0 ^ ECU (Q) > 0 Entonces
A(ECU (P ); ECU (Q)) = A(ECU (P ); ECU (Q)) + R
Si no
Si ECU (P ) > 0 ^ ECU (Q) < 0 Entonces
105
AU X = AU X
F (ECU (P )) = F (ECU (P ))
AU X
Fin de k
R2 =
DET
2
[f (Px ; Py ; tk )]
106
Captulo 5
Resultados de la simulacin
numrica
5.1.
Resumen
5.2.
107
5.2.1.
Datos experimentales
Se supone que con los datos obtenidos tanto en el campo como en el laboratorio
se han construido las funciones D; v1 ; v2 ; r; c0 ; g y su procesamiento se lo hace
mediante el uso de un evaluador de funciones ya existente.
5.2.2.
5.2.3.
Datos de la malla
Para el caso de una malla uniforme se requieren los siguientes datos geomtricos
del rectngulo: coordenadas iniciales, longitud horizontal, longitud vertical, nmero
de divisiones en el eje x y nmero de divisiones en el eje y:
Con esta informacin geomtrica se puede construir toda la topologa de la malla
de tipo elementos nitos.
5.3.
Presentacin de resultados
108
5.3.1.
Resultados numricos
109
Una vez obtenido Ch solucin del problema de contaminacin de aguas subterrneas, se debe crear una interfaz grca de tal manera que el ingeniero ambiental
pueda interpretar correctamente los resultados.
Para mostrar la solucin grca se debe dar un click en Graf ica y se desplegar
una ventana con el grco de la solucin Ch :
5.3.2.
Grca de la solucin Ch
110
111
112
5.4.
113
2 es
114
Captulo 6
Conclusiones y recomendaciones
La contaminacin de aguas subterrneas merece mucha ms atencin que la
que actualmente se da en el pas, debido a que afecta a la salud de las personas y a
la economa en general.
Se debe tomar conciencia en que no se puede seguir utilizando el suelo como
recipiente de contaminantes de origen humano, industrial y agrcola porque limitan o
destruyen la productividad de muchos ecosistemas y contribuyen a la contaminacin
de las aguas subterrneas.
Cabe indicar que el artculo que se present no debe interpretarse como si fuese
el diseo completo. Ms bien, el objetivo es demostrar la forma en que los modelos
matemticos pueden ser puestos en prctica.
Los modelos matemticos de contaminacin de acuferos estn dirigidos a mejorar la calidad del agua subterrnea que consumimos, elaborar planes y estrategias a
corto, mediano y largo plazo en la lucha contra la contaminacin ambiental.
La importancia de establecer modelos matemticos para este problema y especialmente el uso de la simulacin numrica radica en la necesidad cierta de predecir
115
116
Se recomienda realizar un estudio ms profundo para la simulacin del transporte de contaminantes en aguas subterrneas sujeta a condiciones de frontera de
Neumann no homogneas, dado la generalizacin del problema.
Dado que los usuarios de prueba fue un grupo reducido de personas y por lo
informal del procedimiento de prueba, el programa computacional presentado solo
puede considerarse como un programa en su etapa inicial.
117
REFERENCIAS BIBLIOGRFICAS
[1] Albuja, G.A., Naula, I.C., Proao, H.V., Modelos Matemticos de Contaminacin del Aire, Trabajo de Graduacin, Facultad de Ingeniera , Ciencias Fsicas
y Matemtica, Universidad Central del Ecuador, 2001.
[2] Benalczar, H., Notas de curso, Optiva II, Universidad Central del Ecuador,
2008.
[3] Benalczar, H., Notas de curso, Anlisis Numrico II, Universidad Central del
Ecuador, 2008.
[4] Benalczar, H., Modelizacin y Simulacin Numrica de Problemas de Mecnica de Medios Continuos, Universidad Central del Ecuador, 1994.
[5] Benalczar, H., Introduccin a la Simulacin Numrica de Reservorios Hidrocarburferos, Universidad Central del Ecuador, 2005.
[6] Benalczar, H., Modelacin con Ecuaciones en Derivadas Parciales, Universidad Central del Ecuador, 2011.
[7] Benalczar, H., Resolucin Numrica de Sistemas de Ecuaciones Lineales,
Universidad Central del Ecuador, 2006.
[8] Bird B, Stewart W, Lightfoot E., Fenmenos de transporte y estudio sistemtico de los fundamentos del transporte de materia, energa y cantidad de movimiento, Editorial Revert. S.A., Barcelona, 1973.
118
[9] Brzis, H., Anlisis Funcional. Teora y aplicaciones, Editorial Masson, Alianza
Editorial, S.A., Madrid, 1984.
[10] Burden L. Richard, Faires J. Douglas, Anlisis Numrico, Sexta edicin, Internacional Thompson Editores, S.A., Madrid, 1998.
[11] Carasso C., Mtodos Numericos para la resolucin de Ecuaciones en Derivadas Parciales, Universit Jean Monnet Saint Etienne, 1987.
[12] Daz L.M., Modelizacin de la contaminacin difusa por nitratos en las aguas
subterrneas de la cuenca del ro Henares. Tesis Doctoral. Dpto. Ing. Forestal,
Universidad Politcnica de Madrid, 2007.
[13] Foust S.A., Wenzel A.L., Clump W.C., Maus L., Principios de Operaciones
Unitarias. Editorial Continental, Mexico D.F..
[14] Gonzlez, G.J., Modelo Matemtico Numrico y Computacional para la Contaminacin de las Playas del Litoral, Trabajo de Graduacin. Universidad Central
del Ecuador, 2002.
[15] Gonzlez, O., Stuart A., A First Course in Continuum Mechanics, Cambridge
University Press, 2008.
[16] Tijonov, N.A., Samarsky, A.A., Ecuaciones de la Fsica Matemtica, Segunda
edicin, Editorial Mir, Moscu, 1980.
[17] Wloka, J., Partial Dierential Equations, Cambridge University Press, New
York, 1987.
119
[18] Zeidler E., Nonlinear Functional Analysis and its Applications, vol. II/A,
Springer-Verlag, New York, 1990.
[19] Zhuang, F.G., Lee J.C., New Trends in Fluids Mechanics Research, Springer
Shanghai, 2007.
[20] Zienkiewics, O.C., Taylor L.R., El mtodo de los elementos nitos, Centro
internacional de mtodos numricos en ingeniera CIMNE, Barcelona, Espaa.
[21] http://www.aulados.net Temas Ambientales 2007, Transporte de contaminantes en aguas subterrneas, Ricardo Oyarzn L. CEAZA-Chile.
120