You are on page 1of 139

UNIVERSIDAD CENTRAL DEL

ECUADOR
FACULTAD DE INGENIERA, CIENCIAS
FSICAS Y MATEMTICA
CARRERA DE INGENIERA MATEMTICA

MODELO MATEMTICO, NUMRICO Y


COMPUTACIONAL PARA LA CONTAMINACIN DE
AGUAS SUBTERRNEAS
TRABAJO DE GRADUACIN
PREVIO A LA OBTENCIN DEL TTULO DE INGENIERO MATEMTICO
AUTOR: FRANKLIN PATRICIO GLVEZ CACHAGUAY
TUTOR: DR. HERNN BENALCZAR GMEZ PH.D
QUITO-ECUADOR
2014

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 mi hijo Samuel, su hermana Sara y su madre Mariuxi; a mis hermanos Jaime


y Ramiro; a mi ta Ana; a mis abuelos Marina, Regina, Dario y Jos; a mis sobrinos
Sofa, Priscila, Araceli, David y Daniel, y a todos aquellos que participaron directa
o indirectamente en la elaboracin de esta tesis.
Gracias a ustedes!

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.

A mis amigos, que nos apoyamos mutuamente en nuestra formacin profesional y


que hasta ahora, seguimos siendo amigos: Janeth Velasco, Sonia Toazo, Marco Mndez, Santiago Guadalupe, Roberto Guaypacha, Mario Roldn,Vladimir Gutirrez.

ii

AGRADECIMIENTO

En primer lugar, agradezco a mi Director de Tesis Dr. Hernn Benalczar. A


l quiero expresar mi profunda gratitud por la dedicacin que me dispensara al
transmitirme muchos de sus conocimientos y experiencia que fue fundamental para
mi crecimiento profesional.
Tambin quiero expresar mi agradecimiento a Msc. Guillermo Albuja mi reconocimiento por su permanente apoyo y estimulo, adems de sus importantes consejos y sugerencias, que han sido de gran vala para la realizacin y conclusin de esta
tesis. A Msc. Eduardo Dvila y a Ing. Ivn Naula agradezco tambin su indispensable
asesoramiento y colaboracin.
Me gustara agradecer tambin a las personas de la biblioteca de la Facultad por
su aporte bibliogrco que me han proporcionado.
Por su simpata y compresin, a mis compaeros y amigos de las Carreras de
Informtica, Computacin Grca y Matemtica.
Por ltimo, un agradecimiento muy especial a mis padres, Isabel Cachaguay y
Oswaldo Glvez, por su apoyo incondicional y gran ayuda en los momentos ms
difciles y por su importante incentivo y cario. A Samuel, por su ayuda, paciencia,
nimo y cario.

iii

iv

vi

vii

viii

CONTENIDO
1. Modelos Fsicos de Contaminacin de Aguas Subterrneas

1.1. Concepto y Clasicacin de Acuferos . . . . . . . . . . . . . . . . . . . . . . . . 5


1.2. Parmetros Fsicos Hidrogeolgicos . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.1. Geolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.2. Climatolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.3. Cobertura vegetal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.4. Pozos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3. Parmetros Fsicos Contaminacin . . . . . . . . . . . . . . . . . . . . . . . . .19
1.3.1. Coeciente de difusin del in nitrato . . . . . . . . . . . . . . . . . . 19
1.3.2. Cobertura vegetal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2. Modelos Matemticos de Inltracin

25

2.1. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .25


2.2. Resultados Fundamentales del Anlisis Vectorial . . . . . . . . . . . . . . . 26
2.2.1. Deniciones matemticas importantes . . . . . . . . . . . . . . . . . . 26
2.2.2. Volumen de control y supercie de control . . . . . . . . . . . . . . 29
2.2.3. Teorema (de la divergencia de Gauss) . . . . . . . . . . . . . . . . . 29
2.2.4. Teorema (fundamental del clculo de variaciones) . . . . . . . . . 30

ix

2.2.5. Teorema (de Green-Gauss) . . . . . . . . . . . . . . . . . . . . . . . . . 31


2.2.6. Teorema (de la derivacin bajo el signo de integracin) . . . . . 31
2.2.7. Teorema (del transporte de Reynolds) . . . . . . . . . . . . . . . . . . 32
2.2.8. Ecuacin de continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.3. Ecuaciones de balance de materia . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.3.1. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.4. Modelos de contaminacin del suelo . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.4.1. Trmino difusivo: Ley de Fick . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.4.2. Trmino convectivo: Ley de Darcy . . . . . . . . . . . . . . . . . . . . . 44
2.5. Condiciones iniciales y de frontera . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.5.1. Condiciones iniciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.5.2. Condiciones de frontera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.6. Simplicaciones y soluciones exactas . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.6.1. Discretizacin de la funcin erf(x)= p2

Zx

t2

dt . . . . . . . . . . . . 53

3. Resultados Fundamentales de los Espacios Funcionales

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

3.8.3. Inmersiones de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . 75


3.9. Espacio de distribuciones vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.9.1. Espacios C m ([0; T ]; X) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.9.2. Espacios Lp ([0; T ]; X) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4. Anlisis del Modelo y Discretizacin

78

4.1. Resumen y formulacin del problema . . . . . . . . . . . . . . . . . . . . . . . . . 78


4.2. Formulacin dbil del problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.3. Existencia y unicidad de la solucin . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.3.1. Teorema de J. L. Lions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.3.2. Lema de Gronwall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

xi

4.3.3. Existencia de la solucin de (Pd ) . . . . . . . . . . . . . . . . . . . . . 83


4.3.4. Unicidad de la solucin del problema (P ) . . . . . . . . . . . . . . . 86
4.4. Discretizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4.4.1. Problema discreto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.4.2. Clculo de los coecientes de los planos que forman 'i . . . . . 95
4.4.3. Frmula para integrar una funcin g sobre un tringulo Te . . . 96
4.4.4. Construccin de las matrices y vectores involucrados en el sistema de ecuaciones diferenciales ordinarias . . . . . . . . . . . . . 96
4.4.5. Discretizacin Temporal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5. Resultados de simulacin numrica

107

5.1. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .107


5.2. Ingreso de datos del simulador . . . . . . . . . . . . . . . . . . . . . . . . . . . . .107
5.2.1. Datos experimentales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.2.2. Datos del tiempo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.2.3. Datos de la malla . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.3. Presentacin de resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.3.1. Resultados numricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.3.2. Grca de la solucin Ch . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
5.4. Discretizacin de la funcin erf (x) . . . . . . . . . . . . . . . . . . . . . . . . . 113
6. Conclusiones y recomendaciones

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

Figura 4. Transporte difusivo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44


Figura 5. Transporte convectivo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Figura 6. Grco de erfc( ) y erf( ) versus . . . . . . . . . . . . . . . . . . . . . . 52
Figura 7. Tringulos de

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87

Figura 8. Tringulos prohibidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88


Figura 9. Elementos conectados en i . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .89
Figura 10. Mallado y numeracin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
Figura 11. Funcin de la base de Vh . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
Figura 12. Planos de las funciones 'i . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
Figura 13. Solucin numrica de Ch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
Figura 14. Grca de la funcin Ch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .110

xiii

Figura 15. Solucin grca Ch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111


Figura 16. Solucin grca Ch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .111
Figura 17. Funcin erf evaluada en x

0 . . . . . . . . . . . . . . . . . . . .. . . . . .113

Figura 18. Grca de funcin erf(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114

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.

3. Desarrollar un programa computacional que simule el movimiento y la


evolucin de los contaminantes en un acufero en base a resultados de la
mecnica de medios continuos.

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.

ECUACIN DE BALANCE DE MATERIA


La ecuacin de conveccin-difusin de tipo parablico lineal que permite analizar
el movimiento del contaminante a travs del subsuelo hacia el agua subterrnea viene
dada por:
dc
dt

donde

div(Drc) + V rc + rc = f

sobre

]0; T [;

es un conjunto abierto acotado de R2 , D coeciente (funcin) de


!

difusin-dispersin (conocido), V

velocidad del agua en el acufero (conocida),

r reacciones qumicas del contaminante con el subsuelo (conocida), f

inltracin

del contaminante en el acufero (funcin dada), t variable temporal, c concentracin


del contaminante en el acufero (funcin incgnita) ([8], pg 29).

CONDICIONES INICIALES Y DE FRONTERA

Las condiciones iniciales estn dadas por:

8(x; y) 2 :

c(x; y; t0 ) = c0 (x; y)

Las condiciones de frontera vienen dadas por:

c(x; y; t) = (x; y; t) 8(x; y; t) 2


dc(x;y;t)
dn

siendo
n

(x; y; t) 8(x; y; t) 2

d[

con

d\

=;

frontera con condicin de Neumann,

[0; T ];

[0; T ];

frontera con condicin de Dirichlet,

la frontera de

; con c0 ;

funciones

dadas.

Asumiremos que c0 (x; y) 2 C 0 ( ); D 2 C 1 (


8(x; y; t) 2

[0; T ];

2 R;

2 C 0(

[0; T ]) y D(x; y; t)

[0; T ]); f 2 C 0 (

SIMPLIFICACIONES Y SOLUCIONES EXACTAS

[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

V rc , y considerando las siguientes condiciones

iniciales y de borde : c(x; y; t) = (x; y; t)


8(x; y) 2

8(x; y; t) 2

[0; T ] ,

c(x; y; t0 ) = 0

, es posible obtener una solucin exacta de la ecuacin de conveccin-

difusin para una fuente continua, que se conoce como ecuacin de Ogata-Banks
(1961) ([15], pg 6-11).

DISCRETIZACIN ESPACIAL Y TEMPORAL

Los problemas parablicos en general no pueden resolverse de manera analtica


lo cual nos conlleva a aproximar la solucin utilizando mtodos numricos. Para
aproximar la solucin del problema necesitamos construir un subespacio Vh de H01 ( )
de tipo elementos nitos triangulares. Para ello suponemos que
poligonal. Dividimos

es un dominio

en tringulos de modo que cumplan ciertas condiciones.


!

En la dicretizacin temporal se encuentra la solucin u(tk ) para una subdivisin


del intervalo de tiempo [0; T ] con el mtodo de Cranck-Nicholson.

CONVERGENCIA

Se har un anlisis sobre la convergencia del mtodo numrico propuesto tanto


espacial como temporal.

Captulo 1
Modelos Fsicos de Contaminacin
de Aguas Subterrneas

Se denominan modelos fsicos a la reproduccin a escala de un fenmeno natural


y vienen representados por los siguientes aspectos ([8], pg 45):

1.1.

Concepto y Clasicacin de Acuferos

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

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


es susceptible de ser aprovechable mediante captaciones por el hombre y se pueden
clasicar en:
Acuferos libres.- tambin llamados no connados o freticos. En ellos existe
una supercie libre y real del agua encerrada, que est en contacto con el aire y la
presin atmosfrica. Entre la supercie del terreno y el nivel fretico se encuentra la
zona no saturada. Est formado en general por un estrato permeable parcialmente
saturado de agua que yace sobre otro estrato impermeable o relativamente impermeable.
El nivel fretico dene el lmite de saturacin del acufero libre y coincide con la
supercie piezomtrica. Su posicin no es ja sino que vara en funcin de las pocas
secas o lluviosas. Si se perfora total o parcialmente la formacin acufera, la supercie
obtenida por los niveles de agua de cada pozo forma una supercie real: supercie
fretica o piezomtrica, que coinciden.
Acuferos connados.- tambin llamados cautivos, artesianos, a presin o en
carga, son: formaciones geolgicas permeables, completamente saturadas de agua,
connadas entre dos capas o estratos impermeables o prcticamente impermeables
(una inferior y otra superior).
El agua est sometida a una presin superior a la atmosfrica y ocupa totalmente
los poros huecos de la formacin geolgica, saturndola totalmente. No existe zona no
saturada. Si se perfora, el nivel de agua asciende hasta situarse en una determinada
posicin que coincide con el nivel de saturacin del acufero en el rea de recarga.
En estos acuferos, el agua est sometida, en general, a una presin mayor que la
atmosfrica y al perforar un pozo en ellos, el agua se eleva por encima de la parte
superior (techo) del acufero hasta un nivel que se denomina nivel piezomtrico. La
supercie imaginaria que representa la carga piezomtrica en los distintos puntos
del acufero se conoce como supercie piezomtrica. En algunos casos, la supercie

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


piezomtrica puede estar por encima del nivel del terreno natural, por lo que un pozo
perforado en el lugar uir solo, como si fuera un manantial.
Tambin, los acuferos pueden clasicarse en funcin al nmero de capas que lo
componen en: acuferos monocapa y multicapa.
Acuferos monocapa.- son aquellos acuferos con una sola capa de agua subterrnea.
Acuferos multicapas.- son aquellos acuferos que se suceden en niveles de
distinta permeabilidad, en este caso se puede hablar de un sistema formado por alternancia de acuferos y acuitardos (son formaciones capaces de contener agua pero
incapaces de transmitirla en cantidades sucientes para su captacin), que es la
denicin dada para acufero multicapa por el Glosario Internacional de Hidrogeologa (UNESCO, 1974).

1.2.

Parmetros Fsicos Hidrogeolgicos

Los parmetros fsicos a ser considerados en el mdulo hidrogeolgico son los


siguientes:

1.2.1.

Geolgicos

El aspecto geolgico desempea un papel muy importante en la hidrogeologa, ya


que la velocidad de movimiento depende de la estructura y disposicin litolgica de
las formaciones, para que el agua pueda transitar en el subsuelo.
Las diferentes formaciones poseen ciertas propiedades que son denitivas para
poder constituir buenos acuferos. Estas propiedades son el coeciente de almace-

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


namiento, la porosidad, la permeabilidad, la transmisividad y forma del terreno ([8],
pg 47).

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.

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


Permeabilidad
La permeabilidad es la facilidad que tiene un material geolgico para dejar pasar
cualquier uido, en este caso el agua, a travs de intersticios, segn Davis y De Wiest
(1971) cuando el uido es agua, se considera ms adecuado emplear conductividad
hidrulica, concepto que incorpora densidad y viscosidad del agua.
Se han diferenciado dos clases de permeabilidad: la permeabilidad continua, en
pequeo o conductividad hidrulica de los trminos granulares, que es la que se
presenta cuando los poros o intersticios estn comunicados entre s y la conductividad
grande o de medios fracturados, que se presenta cuando el agua se mueve a travs de
suras o grietas de las rocas. No basta con que las formaciones o materiales geolgicos
tengan un alto porcentaje de porosidad, sino adems es necesario que sus poros estn
comunicados o las fracturas estn intercomunicadas ([8], pg 48).
Las formaciones geolgicas se clasican en cuanto a su permeabilidad en: permeables e impermeables.

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.

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


Muy impermeables: granitos y rocas de masa, pizarras arcillosas, gneis,
arcillas. Se ha hecho esta clasicacin aunque en forma estricta no existen materiales totalmente impermeables dependen de la escala geolgica
considerada.

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

La climatologa es un factor muy importante que se suma a los aspectos geolgicos


para la determinacin del ujo del agua subterrnea y el transporte de los contami-

10

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


nantes desde la supercie del suelo hasta los acuferos. Entre las consideraciones ms
relevantes se encuentran:

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

La cobertura vegetal es un factor que inuye en la inltracin y, por lo tanto


contribuye a la recarga del agua subterrnea. El suelo, hidrogeolgicamente hablando,
est estrechamente ligado a la cubierta vegetal. Las races de las plantas y los animales
propios del suelo lo horadan hacindolos ms porosos y dndole as la oportunidad

11

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


al agua para pasar a travs de l. La vegetacin puede facilitar la inltracin an en
los suelos ms duros y arcillosos.
En lo que respecta a este factor, es interesante hacer alusin a la existencia
de ciertos tipos de plantas que se alimentan de la descarga subterrnea, que no
pertenecen a un gnero o familia en especial, sino que su nica caracterstica en comn
es que satisfacen sus necesidades extendiendo sus races hasta el manto fretico; a
este grupo peculiar de plantas se le ha dado el nombre de freattas, y pueden servir
como indicadoras de la presencia de agua subterrnea e inclusive de la calidad de la
misma.
La cubierta vegetal tambin incide en la evapotranspiracin, que es el resultado
del proceso por el cual, el agua cambia de estado lquido a gaseoso, y directamente, o
a travs de las plantas, vuelve a la atmsfera en forma de vapor, este trmino slo es
aplicable correctamente a una determinada rea de terreno cubierta por vegetacin;
ante la ausencia de vegetacin, slo se puede hablar de evaporacin. Por tanto, la
evapotranspiracin constituye la transferencia total de agua desde una supercie con
cobertura vegetal a la atmsfera.

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

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


La temperatura ejerce una gran inuencia sobre la evapotranspiracin, repercutiendo en el ujo del agua subterrnea, ya que incide directamente en la evaporacin de agua supercial libre o del suelo. La evapotranspiracin est limitada no
solo por factores atmosfricos sino tambin por el tipo de cultivo y la disponibilidad
de humedad.

Evapotranspiracin potencial para un cultivo de referencia


La evapotranspiracin potencial (ETP) de un cultivo de referencia se dene, segn
Thornthwaite como la cantidad de agua transpirada por unidad de tiempo, por un
cultivo herbceo de pequea talla cubriendo totalmente el suelo, de altura uniforme
y nunca falto de agua y depende fundamentalmente de la temperatura media del ambiente. Entre los mtodos semiempricos ms empleados estn los de Thornthwaite,
Blaney-Criddle, Jensen-Haise.
El mtodo de Thornthwaite es de muy fcil aplicacin ya que solo requiere conocer
la temperatura media y la latitud, y est dado por la siguiente ecuacin ([8], pg 53):
ETP = 1.6Ld[10T =I]a
donde Ld es duracin del da solar en unidades de 12 horas, T es la temperatura
media mensual del aire (o C), I es el ndice medio calculado de los 12 ndices mensuales
i; a es el coeciente de correccin (6.75 10 7 I3 7.71 10 5 I2 + 0.01792 I + 0.49239).

Para medir directamente la evapotranspiracin se utiliza el lismetro. Es un


aparato que consta de un contenedor relleno de suelo con las mismas caractersticas
que el circundante y en el que la vegetacin se puede mantener en las condiciones
de consumo requeridas en cada estudio. Con esta experimentacin se logra encontrar
correlaciones que liguen las caractersticas del suelo y planta, y el consumo.
Es, por tanto, una medicin de la evapotranspiracin en unas condiciones de

13

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


experimentacin que han de cuidarse, sobretodo en lo que respecta a rodear el punto
de experimentacin de condiciones similares a las del lismetro en extensin suciente.

Tipos de usos del suelo


A partir de la evapotranspiracin potencial de un cultivo de referencia se puede
obtener la de un cultivo determinado, considerando las mismas condiciones ambientales, utilizando un coeciente de cultivo (Kc) que tenga en cuenta el tipo de
vegetacin y con l su altura, el albedo, la supercie cubierta, el grado de control
sobre la apertura de los estomas, la exposicin del suelo, el estado y su grado de
madurez.

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

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


estructura de las races en ella, la generacin de fuerzas de succin desde las capas superiores de secado, la presencia de niveles freticos someros, etc. ([8], pg 54).

Tabla 1. Coecientes de cultivos utilizados para la simulacin

Tipo de uso del suelo

Coeciente de
cultivo ( %)

Espacios con poca vegetacin

80

Tierras de labor

87

Sistemas agrcolas heterogneos

91

Cultivos permanentes

93

Vegetacin arbustiva y/o herbcea

95

Bosque mixto

97

Bosques de frondosas y conferas

98

Zonas hmedas, supercies de agua

100

y articiales
Praderas

100

El agua en el suelo se encuentra a presiones menores que la atmosfrica; estas


presiones negativas deben ser vencidas por smosis en la raz de la planta. Se denen
una serie de puntos contenidos de humedad que responden a la biologa de la planta,
como son el punto de anaerobiosis, que es el contenido de humedad por encima de la
cual la humedad de la actividad de las races cesa y mueren por asxia, o el punto de
marchitez, que es el contenido de humedad por debajo del cual las plantas no pueden
extraer el agua del suelo. Despus de la precipitacin o riego, el agua se redistribuye
en el terreno y se alcanza la llamada capacidad de campo, tericamente denida
como aquella humedad para la cual cesa el movimiento de agua.

15

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


En cuanto a las posibilidades de simulacin de la ETR hay que citar en primer
lugar la posibilidad de utilizar coecientes multiplicativos segn el tipo de cultivo y
que sean capaces de reejar las condiciones del suelo.
Segn Custodio y Llamas (1976), los mtodos de Coutagne y de Turc son los ms
utilizados para determinar la ETR. Segn el mtodo de Turc la Evapotranspiracin
Real se puede calcular por la ecuacin siguiente

ETR = r

P
2

0;9+ P 2

donde P = 490 mm/ao (precipitacin); L = 300 + 25t + 0.05t3 , donde t = 13.58


o

C la medida de la temperatura; ETR: Evapotranspiracin Real; segn el mtodo de

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

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas

Figura 1. Inltracin de agua en el suelo

EH = P ETR
EH = I + ES
I
I = EH

Inltracin La inltracin es el ujo de agua hacia el interior de la tierra a travs


de su supercie. La mayor parte de la precipitacin se inltra en el terreno. Su
estudio es fundamental porque determina la distribucin del agua disponible para la
evapotranspiracin y la recarga de los acuferos. La inltracin depende de diversos
factores como: tipo de cubierta vegetal, caractersticas hidrulicas del suelo y estado
de humedad del mismo, intensidad de lluvia, calidad del agua, formacin de costras
superciales, trabajos de costras superciales y trabajos agrcolas.

17

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas

1.2.4.

Pozos

Es una perforacin vertical de forma cilndrica y de dimetro mucho menor que


la profundidad. Para este estudio se clasicarn en pozos de bombeo y pozos de
recarga.

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

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


Uno de los mtodos ms empleados en la recarga articial en profundidad es
la construccin de pozos de recarga o de inyeccin, que presentan la ventaja de
escasa ocupacin del terreno adems de ser los nicos mtodos empleados en acuferos
profundos y acuferos con capas impermeables.
Considerando que no se tienen registros de pozos de recarga no se los tomarn
en cuenta en la aplicacin hidrogeolgica ([8], pg 58).

1.3.

Parmetros Fsicos de Contaminacin

Los parmetros fsicos considerados en el mdulo de contaminacin son los que


se citan a continuacin:

1.3.1.

Coeciente de difusin del in nitrato

El coeciente de difusin, tambin conocido como difusividad, es el cociente entre


la transmisividad y el coeciente de almacenamiento, y se mide en L2 /T. En el caso
del nitrato, que es el in objeto de estudio en esta tesis, el coeciente de difusin a
dilucin innita es 1.9018 10

1.3.2.

m2 /da ([8], pg 59).

Cobertura vegetal

Para aumentar la produccin agrcola se tiende hacia una agricultura intensiva,


que es altamente eciente, pero tambin muy contaminante. Las actividades agrcolas
incluyen normalmente la utilizacin de fertilizantes y plaguicidas que en cantidades
excesivas, los excedentes pueden alcanzar las aguas superciales y subterrneas.
Los principales rasgos distintivos de la contaminacin de origen agrcola son su

19

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


carcter difuso y la necesidad de que los contaminantes atraviesen la zona no saturada
hasta llegar al acufero. Dentro del estudio de la cobertura vegetal se toman en
consideracin los siguientes aspectos:

Naturaleza de los cultivos


Las tierras labradas se clasican en dos grupos, segn soporten cultivos herbceos
o leosos que, a su vez pueden ser, en ambos casos, de secano o regado.
Cultivos herbceos: comprenden un gran nmero de siembras anuales de gran
importancia, como son el trigo, la cebada, el maz, etc.
Cultivos leosos: son cultivos que ocupan el terreno durante largos periodos y
no necesitan ser replantados despus de cada cosecha. Incluye tierras ocupadas por
rboles frutales y rboles de fruto seco, etc., pero excluye la tierra dedicada a rboles
para la produccin de lea o madera.
Los tipos de cultivo, segn les baste con el agua de lluvia o adems necesiten
regarse se clasican en:
Cultivos de secano: no necesitan riego articial sino que les basta con el agua
de lluvia, como los cereales, el trigo, la cebada y rboles frutales.
Cultivos de regado: necesitan regarse articialmente. Los cultivos de regado
ms importantes son el maz, el arrz, la remolacha azucarera, los frutales y las
hortalizas, como los pimientos y los tomates.

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

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


no est a disposicin de las plantas ya que stas slo pueden absorber tal elemento
en la forma ntrica y en menor grado en la amoniacal: el NH3 (amonaco), el NH+
4
(ion amonio) o el NO3 (ion nitrato) aportados con los fertilizantes minerales, el NH3
(amonaco) o el NH+
4 (ion amonio) generados a partir de la mineralizacin de la materia orgnica y el NO3 (ion nitrato) que se origina con la nitricacin de las formas
amoniacales.
El contenido de N-total de un suelo no sirve como parmetro de fertilidad puesto
que hace referencia a unas formas nitrogenadas mayoritariamente fuera del alcance
del cultivo. Es interesante destacar que, aunque existen y se analizan escalas de
diagnstico de N-total, stas no tienen ninguna validez prctica.
Las plantas absorben el nitrgeno bajo las formas ntrica y amoniacal, como se
ha comentado en el prrafo anterior. El hecho de que la absorcin en forma ntrica
sea la predominante en la mayora de los suelos se debe, seguramente, a una mayor
disponibilidad en el suelo. Las bajas temperaturas o un pH bajo favorecen la absorcin amoniacal. En climas de mucha pluviosidad, en donde las prdidas de nitratos
por lixiviacin son muy importantes, la absorcin del nitrgeno amoniacal predomina
sobre la del ntrico.
Algunas bacterias convierten amoniaco en nitrito y otras transforman este en
nitrato. Una de estas bacterias (Rhizobium) se aloja en ndulos de las races de las
leguminosas (alfalfa, alubia, etc.) y por eso esta clase de plantas son tan interesantes
para hacer un abonado natural de los suelos.
Donde existe un exceso de materia orgnica en el mantillo, en condiciones anaerobias, hay otras bacterias que producen desnitricacin, convirtiendo los compuestos
de Nitrgeno en N2 (nitrgeno gaseoso), lo que hace que se pierda de nuevo nitrgeno
del ecosistema a la atmsfera.
A pesar de este ciclo, el Nitrgeno suele ser uno de los elementos que escasean y

21

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


que es factor limitante de la productividad de muchos ecosistemas. Tradicionalmente
se han abonado los suelos con nitratos para mejorar los rendimientos agrcolas.

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

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


Los abonos se pueden clasicar en orgnicos y minerales:
Abonos orgnicos: Durante muchos aos se usaron productos naturales ricos
en nitrgeno como el guano o el nitrato de Chile. Desde que se consigui la sntesis
articial de amoniaco por el proceso Haber fue posible fabricar abonos nitrogenados
que se emplean actualmente en grandes cantidades en la agricultura.
Abonos inorgnicos: Se entiende por abono mineral todo producto cuya funcin principal es proporcionar elementos nutrientes a las plantas, obtenido mediante
extraccin o mediante procedimientos industriales de carcter fsico o qumico, cuyos
nutrientes declarados se presentan en forma mineral.
Los abonos minerales ms comunes son: abonos ntricos (de accin rpida),
abonos amoniacales (de accin lenta), abonos ntrico - amoniacales (combinan la
accin de amoniacales y ntricos), abonos ureicos (de accin lenta), y abonos de
liberacin lenta ([8], pg 63) .

Lixiviacin de abonos nitrogenados


El nitrgeno lixiviado se desplaza en forma de nitrgeno inorgnico hacia los
horizontes ms profundos del suelo, alcanzando los acuferos. Las prdidas por ese
proceso ocurren normalmente en forma de nitrato ya que el amonio se encuentra
inmovilizado, jado o adsorbido, o bien se ha transformado en nitrato en los procesos
de nitricacin. Los factores que inciden en mayor medida en la lixiviacin son el
clima (evapotranspiracin), prctica agrcola, cantidad de agua empleada en el riego
y caractersticas del perl de la zona no saturada.
La frecuencia y duracin de las precipitaciones tambin inuye ya que el agua que
se inltra se comporta como un vector de transporte del nitrato. La temperatura,
por su parte, regula la actividad de los microorganismos. El tipo de cultivo es de

23

Captulo 1. Modelos Fsicos de Contaminacin de Aguas Subterrneas


especial importancia pues aquellos con fuerte demanda de nitrgeno disminuyen los
riesgos de lixiviacin; tambin incide el periodo de crecimiento de las plantas, el
desarrollo radicular y los residuos que quedan despus de las cosechas. La cantidad
de materia orgnica presente es primordial como fuente de energa para la biomasa
que interviene en el ciclo del nitrgeno (mineralizacin, nitricacin, inmovilizacin
y desnitricacin).
Tambin es de gran importancia la presencia de partculas arcillosas que provocan la adsorcin y jacin del amonio. Los suelos arcillosos o con intercalaciones
semipermeables contribuyen a que el ujo de agua sea ms lento y permiten que
existan condiciones anaerobias y, adems, la velocidad del movimiento de agua es
ms elevada.

Inltracin del contaminante nitrato


Los principales mecanismos de llegada del contaminante nitrato son los de propagacin a partir del suelo que incluyen los casos de arrastres de contaminantes desde
la supercie del terreno por las aguas de inltracin (vertidos con contenido ntrico
sobre el terreno, uso de fertilizantes, etc.), y los de inltracin de las aguas superciales contaminadas desde los ros, acequias, etc., provocadas por la accin humana;
y los de propagacin desde la zona no saturada cuyos ejemplos ms tpicos son los sistemas de tratamiento de aguas residuales domsticas y de embalsamiento supercial
de residuos lquidos de procedencia ntrica.
Los factores que inuyen en la inltracin de los compuestos nitrogenados son:
difusin y dispersin del in nitrato, permeabilidad y anisotropa del acufero, y
distribucin de las entradas de agua y nitratos ([8], pg 65).

24

Captulo 2

Modelos Matemticos de
Inltracin

2.1.

Resumen

En el siguiente captulo se describen algunos resultados fundamentales del anlisis

vectorial, aspectos matemticos importantes para el estudio de la mecnica de

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

Captulo 2. Modelos Matemticos de Inltracin

2.2.

Resultados

Fundamentales

del

Anlisis

Vectorial
2.2.1.

Deniciones matemticas importantes ([1], [3])

Notaremos por

Rn al conjunto de las n-uplas ordenadas de nmeros reales

(x1 ; x2 ; :::; xn ) es decir que Rn = f (x1 ; x2 ; :::; xn ) : xi 2 R; 8 i = 1; :::; n g;


en el cual denimos dos operaciones entre sus elementos: suma y producto por
escalar que hacen que tal conjunto tenga una estructura algebraica llamada espacio vectorial.
Para todo (x1 ; :::; xn ), (y1 ; :::; yn ) 2 Rn ;

2 R se tiene

Suma: (x1 ; :::; xn ) + (y1 ; :::; yn ) = (x1 + y1 ; :::; xn + yn )


Producto: (x1 ; :::; xn ) = ( x1 ; :::; xn ).
Dados los vectores !
x =(x1 ; :::; xn ), !
y =(y1 ; :::; yn ) de Rn ; su producto escalar
que lo notaremos !
x !
y est dado por
n
P
!
x !
y =
xi yi :
i=1

La norma o longitud del vector !


x que la notaremos k !
x k est dada por
k!
x k=

n
P

i=1

x2i :

Dados dos vectores !


x;!
y de Rn , el coseno del ngulo que forman los dos vectores
est dado por

cos( ) =

!
x !
y
;
k!
x kk!
yk

k!
x k6= 0; k !
y k6= 0;
26

donde 0

Captulo 2. Modelos Matemticos de Inltracin


se tiene que si 0
entonces !
x !
y
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 :

! R una funcin tal que sus derivadas


parciales de primer orden existen, entonces el gradiente de f en !
x = (x1 ; :::; xn ) es
el vector de Rn denido por
rf (x1 ; :::; xn ) = rf (!
x)=

@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 :

! R un campo escalar que posee


!
segundas derivadas parciales en todo punto de . Si F = rg; entonces
n
P
!
div( F ) = div(rg) =

i=1

@
@xi

@g
@xi

que se denomina laplaciano de g y se le nota con

@
@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

Otra notacin para el laplaciano de g es r2 g. Observe que


27

g = r2 g = r (rg):

Captulo 2. Modelos Matemticos de Inltracin


Sea I un intervalo abierto de R: Una funcin vectorial
taremos
(

1 (t); :::;

= (

1 ; :::;

donde

1 ; :::;

1 (t); :::;

n (t))

n)

de I en Rn la no-

son funciones reales y para t 2 I;

n (t)):

El conjunto

= f(

f uncion vectorial

j t 2 Ig lo denominaremos graf ica de la

: Particularmente si n = 2 geomtricamente representa una

curva en el plano y si n = 3 geomtricamente representa una curva en el espacio.


Esta curva la llamaremos camino denido por
Si

1 ; :::;

son funciones derivables en cualquier punto t 2 I, la derivada de

en t se dene como
!0

La derivada
en el punto
Si

1 ; :::;

!0

0
1 (t); :::;

(t) = (

0
n (t)):

(t)se interpreta geomtricamente como el vector tangente a la curva

(t); t 2 I:

son integrables en [a; b]

I; la integral de la funcin vectorial

se

dene como
Rb !
(t)dt =
a

Sea

Rb

1 (t)dt; :::;

Rb

n (t)dt

un dominio de Rn ; I = [a; b] un intervalo de R;

vectorial derivable en ]a; b[ con


campo vectorial denido en

su recorrido tal que

: I ! Rn una funcin
!

: Sea F :
!

: La integral de linea de F a lo largo de

como
R

F d =

Rb ! !
F ( (t))

!0

(t)dt;

siempre que la integral del segundo miembro exista.

28

! Rn un
se dene

Captulo 2. Modelos Matemticos de Inltracin

2.2.2.

Volumen de control y supercie de control

Un volumen de control es un volumen imaginario (subconjunto medible de R3 )


limitado por una supercie cerrada. La supercie que limita el volumen de control
se llama supercie de control. El volumen y la supercie de control pueden ser jas o mviles. En el volumen puede entrar materia o tambin puede salir materia.
Generalmente este volumen de control es dependiente del tiempo t: Se supone que el
volumen de control se desplaza con la misma velocidad que el uido y que la velocidad en todo punto de la supercie del volumen de control es igual a la velocidad del
uido ([1], [3]).

2.2.3.
Sea

Teorema (de la divergencia de Gauss)


un dominio acotado de R3 con

su frontera,

campo vectorial tal que div(F ) integrable en

yF :

! R3 un

y F n integrable sobre : Entonces

se tiene
R

div(F )dx =
!

donde F = (f1 ; f2 ; f3 ); div(F ) =

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

y n(x0 ) el vector normal exterior a


!

que forman F (x0 ) y n(x0 ): Entonces F (x0 )


!

caso F (x0 ) est dirigido hacia el exterior de


!

travs de la frontera ; F (x0 )

n(x0 )

0 si

hacia el interior de

en x0 : Sea

n(x0 )

0 si

2 [0;
2 0;

] el ngulo
2

, en cuyo

y signica que existe salida de ujo a


2

;
2

es decir F (x0 ) est dirigido

y signica que ingresa ujo a travs de : La integral del primer


R! !
miembro representa el ujo acumulado en el dominio y la integral de linea F nds
29

Captulo 2. Modelos Matemticos de Inltracin


!

representa la circulacin de F a lo largo de :


!

Si F = rg; entonces
R

div(F )dx =

div(rg)dx =

gdx;

luego
R

gdx =

rg nds:

El trmino rg n se llama derivada normal de g con respecto a la normal en


y se le nota con

@g
;
@n

esto es,

@g
@n

2.2.4.
Sea

= rg n:

Teorema (fundamental del clculo de variaciones)


R3 abierto y acotado, f una funcin medible denida en
R

: Si

f (x)dx = 0;

para todo A

; con A medible, entonces

f (x) = 0; ctp de

donde el trmino ctp de

quiere decir para todo

medida nula.

30

; excepto en un conjunto de

Captulo 2. Modelos Matemticos de Inltracin

2.2.5.
Sea

Teorema (de Green-Gauss)


un dominio acotado de R3 con
!

@'
f ; @' f ; @' f ;
@x1 1 @x2 2 @x3 3

2.2.6.

y':

! R un

! R3 un campo vectorial con F = (f1 ; f2 ; f3 ): Supongamos

campo escalar, F :
que

su frontera,

son integrables en
!

'div(F )dx +

: Entonces
!

r' F dx =

'F nds

Teorema (de la derivacin bajo el signo de integracin)

Sean a; b; c; d 2 R tales que a < b; c < d;


en [a; b]

@f
(x;
@t

[c; d] tal que

= [a; b] ; f una funcin diferenciable

t) integrable en [a; b] : Sea g una funcin denida

en [c; d] como
g(t) =

Ra

f (x; t)dx;

t 2 [c; d]

entonces g0(t) existe y


g0(t) =

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]

Captulo 2. Modelos Matemticos de Inltracin

2.2.7.

Teorema (del transporte de Reynolds)


R3 cerrado, acotado con

Sea T > 0,

cerrado y acotado con

(t)
exterior a

(t) 6= y

6= y

su frontera. Para t 2 [0; T ] ;


!

(t) su frontera, n el vector normal

(t): Sea f una funcin real denida en

[0; T ] tal que para cada

( ; t); div(f ( ; t) v ( ; t)) integrables en


t 2 [0; T ] ; f ( ; t); @f
@t
t) es un campo vectorial continuo (diferenciable en
representa la velocidad local de

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)

f (x; y; z; t) v (x; y; z; t) nds

(t)

El teorema del transporte de Reynolds se puede interpretar como sigue: tasa de


variacin de la integral de f sobre el volumen

(t) es igual a la integral sobre

(t)

de la variacin de f con respecto al tiempo ms el ujo de f a travs de la frontera


(t):
Y su interpretacin fsica es: la rapidez de cambio de ujo en el volumen de
control es igual a la rapidez de ujo que entra al volumen de control ms el ujo en
!

la frontera. Si f v n > 0 existe salida de ujo en la frontera, si f v n < 0 ingresa


!

ujo a travs de la frontera y si f v n = 0 no existe entrada ni salida de ujo ([1],


[3]).

2.2.8.

Ecuacin de continuidad

Introducimos la densidad media al instante t con m la masa en kg y V el volumen


en m3 como

m
;
V

donde

V es el volumen ocupado por la masa

La densidad real en un punto y al instante t; se dene como

32

m:

Captulo 2. Modelos Matemticos de Inltracin


m
V

(x; t) = l m

V !0

Sean T1 ; T2 2 R tales que 0


Supongamos que

dm
:
dV

T1 < T2 :

es una funcin dada de clase C 1 sobre

[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)

Derivando con respecto al tiempo tenemos


dm(t)
dt

d
dt

(x; t)dx:

(t)

El principio de conservacin de la masa:La masa ni se crea ni se destruye;


se transf orma, para todo volumen individual establece que m = cte; o bien
dm
dt

y para un volumen elemental


dm(t)
dt

=0

(t) al instante t; se dene como

d
dt

(x; t)dx = 0:

(t)

Aplicando el teorema del transporte de Reynolds al volumen


precedente; tenemos
d
dt

(t)

(x; t)dx =

@
dx
@t

(t)

(t)

33

v nds = 0;

(t) en la ecuacin

Captulo 2. Modelos Matemticos de Inltracin


donde (t) es la frontera

(t):

Si suponemos que (t) es de clase C 0 , entonces por el teorema de la divergencia


de Gauss se tiene
R

@
@t

+ div( v ) dx = 0

(t)

siendo

(t) un elemento arbitrario, por el teorema fundamental del clculo de

variaciones deducimos que


@
@t

ctp de

+ div( v ) = 0;

Observacin: Si en vez de

:
!

se considera la concentracin c y c(x; t) v (x; t)

se interpreta como el ujo, por la ley de Fick se tiene


!

Q(x; t) = c(x; t) v (x; t)


=

donde D(x; t) > 0 sobre

D(x; t)rc(x; t);

[T1 ; T2 ] : Si D es independiente de x y t; es la

constante de Fick que se denomina constante de dif usion: Tenemos

@c
(x;
@t
@c
(x;
@t
@c
(x;
@t

t)

t) + div(c v ) = 0;

t) + div( D(x; t)rc(x; t)) = 0;

div(D(x; t)rc(x; t)) = 0;

8 (x; t) 2

que se denomina ecuacion de dif usion sin fuente.

34

[T1 ; T2 ] :

Captulo 2. Modelos Matemticos de Inltracin


R

Consideramos g(t) =

(x; t)dx; t

0:

(t)

Con frecuencia g 0 (t) =

q(x; t)dx; luego

(t)

@
@t

+ div( v )

q dx = 0

(t)

de donde
@
@t

+ div( v )

q = 0;

ctp de

La funcin q se conoce como f uente.


Si

es la densidad del uido y q = 0; la ecuacin anterior se conoce como

ecuacion de continuidad y se expresa como


@
@t

+ div( v ) = 0:

(1)

El ujo se dice incompresible si su densidad permanece constante durante todo


@
@t

el proceso, es decir si

' 0; luego la ecuacin de continuidad se reduce a


!

div( v ) = 0;

(2)

div( v ) = 0;
de donde se sigue que
!

div( v ) = 0 sobre

o bien
!

r v = 0 sobre
35

Captulo 2. Modelos Matemticos de Inltracin


!

Por lo tanto un uido es incompresible si div( v ) = 0:


Si q 6= 0 y

@
@t

' 0; se tiene ujo incompresible con fuente q; esto es


!

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.

Ecuaciones de balance de materia

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)

un dominio de Rn ; para n = 1; 2 o 3; con (t) su frontera y n el

vector normal exterior a (t): En


se supone que c y

@c
@t

(t) est denida una funcin c que depende de t,

son integrables en
K(t) =

(t): Se dene
c(x; t)dx; t > 0:

(t)

La variacin de K(t) durante un tiempo dt se debe a las siguientes causas:


1. Existe un ujo de la magnitud extensiva a travs de la frontera (t) ligado al
movimiento del soporte soporte material y representado por un campo de vectores
!

' = c v . El ujo total a travs de (t) est dado por

36

Captulo 2. Modelos Matemticos de Inltracin


(t) =

'

n ds =

(t)

c v n ds =

(t)

div(c v )dx.

(t)

Figura 2. Interpretacin fsica del ujo a travs de (t)

Si

> 0; entonces existe salida de ujo a travs de (t):

Si

< 0; entonces el ujo entra a travs de la frontera (t):


!

con '

0; si

n = k ' kk n k cos( ); donde si 0


!

0 entonces '

<

; cos( )
!

; cos( ) < 0 entonces '

n < 0:

Se entiende que ' = 0 si (t) es una pared impenetrable o se trata de un sistema


cerrado.
2. Pueden existir fuentes de la entidad fsica considerada, sea al interior de

(t);

sea sobre la frontera (t):


Notamos con
q = q (x; y; z; t) al ujo volmico local de fuentes o sumideros en
(x; y; z) 2

(t); para

(t);

q = q (x; y; z; t) al ujo volmico supercial local en (t); para (x; y; z) 2 (t):


37

Captulo 2. Modelos Matemticos de Inltracin


Se tiene q > 0 si se trata de una fuente (entrada) y q < 0 si se trata de un
pozo (salida).
En el caso q se introduce un vector de densidad de ujo de fuentes sobre (t)

q =q

n:

As, q > 0 si es una salida y q < 0 si es una entrada.


Denotamos con Q el ujo total de fuentes sobre (t) y Q el dbito total de
fuentes de volumen.
El balance de K(t) sobre

(t) durante dt se establece como sigue

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)

0 y por el teorema de derivacin bajo el signo de integracin se

tiene

@c
(x;
@t

t)dx +

div(c v ) dx =

38

q (x; t)dx

div(q )dx

Captulo 2. Modelos Matemticos de Inltracin

(t) y (t)

Figura 3. Interpretacin fsica de la velocidad total en


@
@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) es medible y arbitrario,

(t)

;t

por el teorema fundamental del clculo de variaciones, se obtiene


@c
(x;
@t

t) + div(c v T ) = q (x; t)

donde
c densidad volmica de la magnitud considerada,

39

div(q )

div(q )dx

Captulo 2. Modelos Matemticos de Inltracin


q

dbito volmico de fuentes o sumideros en

densidad de ujo de fuentes de supercie (de la frontera) ([1], [3]).

2.3.1.

(t);

Aplicaciones

Balance de masa total


Ponemos c(x; t) = (x; t) densidad del uido (material). Entonces,
@
(x;
@t

t) + div( v ) = q (x; t)

div(q ):

Por el principio de conservacin de masa, esto es la masa ni se crea ni se


!

destruye; se transf ormaresulta que q = 0 y q = 0: Luego se tiene


@
(x;
@t

t) + div( v ) = 0;

que se conoce como ecuacion de continuidad.

Balance sobre un constituyente


Tenemos dos especies A y B que dan lugar a una mezcla. Ponemos c =

densidad de la especie A (M/L3 ), qI = qI;A tasa de produccin local de A (M/L3 T),


qI;A 6= 0:
R

@
@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

Captulo 2. Modelos Matemticos de Inltracin


Si

se reemplaza por la concentracin de la especie A; se obtiene


@cA
@t
!

donde qs =

+ div(cA v ) = qI;A

div(qs )

D(cA )rcA y D(cA ) es la constante de difusin (dispersin) de Fick.


!

El trmino div(cA v ) se interpreta como el transporte advectivo.


@cA
@t

+ div(cA v )

div(D(cA )rcA ) = qI;A

se conoce como ecuacin de transporte de la especie A en la mezcla.


!

Notamos con q s;dif al ujo supercial local difusivo y q s;quim al ujo supercial
local qumico.
!

Si qs = q s;dif + q s;quim con q s;dif =


@cA
@t

+ div(cA v )

D(cA )rcA y q s;quim =

div(d rcA ) = qI;A

div(D(cA )rcA )

para d > 0 constante, div(d rcA ) = d div( rcA ) = d


@cA
@t

Si qI;A =
0<

div(D(cA )rcA )

cA ; y en consecuencia

d cA = qI;A :

qI;ads + f; qI;ads = dad cA (ley de adsorcin de Freundlich con


1) se obtiene
@cA
@t

Si

+ div(cA v )

d rcA ; se tiene

div(D(cA )rcA ) + div(cA v ) + dad cA = f:

= 1; v constante, r = dad y D = D(cA ); se tiene


@cA
@t

div(DrcA ) + v rcA + rcA = f:

41

Captulo 2. Modelos Matemticos de Inltracin

2.4.

Modelos de contaminacin del suelo

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

Captulo 2. Modelos Matemticos de Inltracin


slida del medio.
De este modo, la velocidad a la que el elemento transportado se mueve en los
poros, viene dada por:
v(x; t) =

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.

Trmino difusivo: Ley de Fick

Cuando en un sistema hay un gradiente de concentraciones, se origina un ujo


irreversible de materia, desde las altas concentraciones a las bajas. A ese ujo se
le llama difusin, que tiende a devolver al sistema a su estado de equilibrio, de
concentracin constante. La Ley de Fick sostiene que el ujo difusivo que atraviesa
una supercie es directamente proporcional al gradiente de concentracin.
Fick estableci que la cantidad de transporte de materia segn una direccin x,
a travs de una seccin de rea unitaria y por unidad de tiempo, es decir, el ujo en
direccin x, es proporcional al gradiente de la concentracin de la materia y va en el
sentido de la zona de ms concentracin a la de menos concentracin, de ah el signo
menos que aparece en la ecuacin:
Jx =

Drc;

43

Captulo 2. Modelos Matemticos de Inltracin


donde
D coeciente de difusin (L/T),
c concentracin de contaminante (M/L3 ).
r Jx conforma el trmino difusivo de la ecuacin de transporte de contaminante.

Figura 4. Transporte difusivo

La grca que precede ilustra el transporte difusivo ([8], pg 38).

2.4.2.

Trmino convectivo: Ley de Darcy

El movimiento del agua en el suelo se origina por las diferencias en el potencial


hidrulico del agua entre puntos del suelo. El movimiento se produce desde el estado
de mayor energa al de menor, buscando un estado de equilibrio que anule el gradiente
de potencial existente.
Darcy (1856), formul matemticamente el ujo de agua en el suelo: el volumen
de agua que uye por unidad de tiempo (Q) en una columna de suelo saturado
es directamente proporcional a la diferencia de potencial hidrulico ( h) y al rea
transversal de una columna (A) e inversamente proporcional a la longitud de la
columna ( l): Q = cte:

h
:
l

44

Captulo 2. Modelos Matemticos de Inltracin


Darcy ha postulado que un uido se mueve en el sentido decreciente de su potencial hidrodinmico, dada por la siguiente ecuacin:
!
v =

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=

donde k es el coeciente de permeabilidad intrnseca que es una caracterstica


del terreno,

es la funcin densidad del uido, g es la funcin de la aceleracin de

45

Captulo 2. Modelos Matemticos de Inltracin


la gravedad que para este tipo de estudios se considera constante,

es la funcin

viscosidad cinemtica del uido.


Considerando una permeabilidad macroscpica media, la variacin es progresiva
y suave, salvo a lo sumo donde hay una solucin de continuidad en cuanto a la
naturaleza del terreno se reere.
La velocidad de Darcy denida como se ha visto, para terrenos saturados o no
saturados, conforman el trmino convectivo o de arrastre de contaminante r(!
v c).

Figura 5. Transporte convectivo

La grca que precede ilustra el transporte convectivo ([8], pg 42).


La ecuacin de transporte proviene de suponer la conservacin de la masa sobre
el contaminante:

@c
@t

+ div(j) + rc = f;

donde c es la concentracin del contaminante en el acufero (funcin incgnita)


(L/T3 ), r es las reacciones qumicas del contaminante con el subsuelo, f es la inltracin del contaminante en el acufero (M/L3 T), t variable temporal, j es el ujo
de masa que puede tener lugar por difusin y conveccin.

46

Captulo 2. Modelos Matemticos de Inltracin


El ujo de masa es:

j = jd + ja ;

donde jd es el ujo debido a la difusin molecular y ja el ujo debido a la


conveccin.
La difusin molecular viene dada por la ley de Fick:

jd =

Drc:

El ujo convectivo se puede expresar como el producto de la velocidad de Darcy


por la concentracin del contaminante:
ja = !
v c:
Por lo tanto, podemos escribir el ujo de masa como:

j=

Drc + !
v c:

Sustituyendo j en la expresin de la conservacin de la masa del contaminante se


tiene la ecuacin resultante:
@c
@t

div(Drc) + v rc + rc = f .

El ujo de contaminante que se difunde y es arrastrado por un uido en un medio


poroso es gobernado por la ecuacin en derivadas parciales de tipo parablico:
@c
@t

div(Drc) + v rc + rc = f;
47

sobre

]0; T [;

Captulo 2. Modelos Matemticos de Inltracin


es un conjunto abierto acotado de R2 , D es el coeciente (funcin)
de difusin-dispersin (L/T2 ), !
v es la velocidad del agua en el acufero (L/T), r
donde

es las reacciones qumicas del contaminante con el subsuelo, f es la inltracin del


contaminante en el acufero (M/L3 T), t variable temporal, c es la concentracin del
contaminante en el acufero (funcin incgnita) (L/T3 ).

2.5.
2.5.1.

Condiciones iniciales y de frontera


Condiciones iniciales

Como en todo problema evolutivo, es necesario denir el estado inicial de la


variable, en este caso la concentracin del contaminante, lo que supone la condicin inicial. Los clculos de la concentracin del contaminante a lo largo del tiempo
tomarn como punto de partida dicha condicin inicial, que se puede formular:
c(x; y; t0 ) = c0 (x; y)

2.5.2.

8(x; y) 2 :

Condiciones de frontera

En los problemas parablicos hay tres tipos principales de condiciones de frontera


para describir lo que sucede en la frontera del dominio fsico en el que se produce el
transporte de masa: condiciones de Dirichlet, condiciones de Neumann y condiciones
mixtas o Robin.
Aqu deben ser denidos los comportamientos de la concentracin sobre la frontera , a lo largo de toda la duracin del estudio T .
Se da una condicin de Dirichlet cuando en un tramo de frontera

el nivel medio

de concentracin del contaminante es conocido. Por ejemplo, se puede asimilar a una

48

Captulo 2. Modelos Matemticos de Inltracin


condicin de Dirichlet la zona de contacto del acufero con un ro o lago cuyo nivel
de contaminacin no sea directamente dependiente de la contaminacin del acufero.
La condicin en la frontera tipo Dirichlet se formula como

8(x; y; t) 2

c(x; y; t) = (x; y; t)

[0; T ] :

Se da una condicin de Neumann cuando en un tramo de frontera

el ujo

del contaminante que atraviesa la frontera es conocido. Un caso particularmente


importante, es la frontera estanca de Neumann, de ujo nulo. A menudo se puede
asimilar a este tipo de condicin un tramo de frontera divisoria de cuenca en la que
el ujo hidrulico sea nulo y, en consecuencia, el del contaminante muy reducido o
nulo. La condicin en la frontera tipo Neumann se formula como

Donde

2.6.

@c(x;y;t)
@n

= ;

(x; y; t)

8(x; y; t) 2

la frontera de

= ?;

[0; T ] :

([8], pg 43):

Simplicaciones y soluciones exactas

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
,

y considerando las siguientes condiciones iniciales y de borde :

49

Captulo 2. Modelos Matemticos de Inltracin


c(x; y; z; t) =

(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(

donde D es el coeciente de difusin, erfc es la funcin del error complementario,


v es la velocidad lineal del agua subterrnea.
Si se considera que D =

x v,

la ecuacin anterior puede reescribirse como


c(x; y; z; t)
c0

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

Captulo 2. Modelos Matemticos de Inltracin


Para una fuente puntual instantnea, la solucin analtica es

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 :

La funcin del error complementario aparece frecuentemente en soluciones de


la ecuacin de conveccin-difusin. Es una funcin tabulada, por lo que grcos o
tablas nos entregan valores numricos. En general resulta conveniente expresarla
como erfc( ), donde

(x vt)
2(

1
x vt) 2

, siendo

el argumento de la funcin del error

complementario. Valores para erfc( ) y erf( ) (o funcin del error de ) para varios
valores del argumento

se presentan en la tabla 2 ([15], pgs 8-11 ).

Figura 6. Grco de erfc( ) y erf( ) versus

Si x < vt y, por lo tanto,

< 0, y en la medida que tiende a

tiende a 2, lo que se observa mejor en la gura 6.

51

1, erfc( 1)

Captulo 2. Modelos Matemticos de Inltracin


Tabla 2. Valores de erf( ) y erfc( ) para valores positivos de

erf( )

erfc( )

1.0

0.1 0.11246

0.88754

0.2 0.22270

0.77730

0.3 0.32863

0.67137

0.4 0.42839 0.571608


0.5 0.52050

0.47950

0.6 0.60386

0.39614

0.7 0.67780 0.322120


0.8 0.74210

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

Captulo 2. Modelos Matemticos de Inltracin

2.6.1.

Discretizacin de la funcin erf(x)= p2

Zx

t2

dt:

La funcin erf(x) est denida por

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

t2 en la ecuacin anterior, tenemos


t2

1
X
(

1)k t2k
;
k!

(1.3)

k=0

al reemplazar la expresin (1.3) en (1.1) tenemos


erf(x)= p2

1
X
(

1)k t2k
;
k!

(1.4)

k=0

y debido a la convergencia uniforme, resulta


1 Z
X

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

Captulo 2. Modelos Matemticos de Inltracin

Utilizando el criterio del cociente, se demuestra que la serie

1
X
(

1)k x2k+1
k!(2k+1)

es ab-

k=0

solutamente convergente para todo x 2 R:


Si 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)

es una serie telescpica cuya suma

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)

la inecuacin (1.9) se satisface cuando k = 14: Por tanto tendremos que

erf(x)= p2

14
X
(

1)k x2k+1
;
k!(2k+1)

(1.10)

k=0

serie nita que la escribimos


erf(x)= p2 [x(1 +
x3 ( 13 +

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)

Captulo 2. Modelos Matemticos de Inltracin


con lo que

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)

es una serie telescpica cuya suma

k=0

es 1.

Utilizando la tolerancia de ; tenemos que

ak
bk

(1.15)

< ;

(k+1)4k
(k 1)!(2k+1)

<

(1.16)

tomando logaritmos en la inecuacin

k+1
)+k ln 4
ln ( 2k+1

ln(k

(1.17)

1)! < ln ;

dado que

ln(k

1)! = ln 1 + ln 2 + ln 3 + ::: + 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

Captulo 2. Modelos Matemticos de Inltracin


ln (k

1)! u (k

1) ln(k

1)

(1.19)

k + 2;

al reemplazar (1.19) en (1.17) tenemos

k+1
)+k ln 4
ln ( 2k+1

(k

1) ln(k

que con una tolerancia de 10

erf(x)= p2

24
X
(

1) + k

10

(1.20)

2 < ln ;

resulta un valor de k = 24; con lo que

1)k x2k+1
:
k!(2k+1)

(1.21)

k=0

Para x > 0 grande,

erf(x)= p2

Zx

t2

p2

dt = 1

Z+1
e

t2

dt:

Para la aproximacin de la integral

p2

Z+1
e

t2

dt; escribimos

p2

Z+1
e

t2

dt =

p2

Z+1

2te t
2t

(1.22)

dt;

y realizamos una integracin por partes de la manera siguiente

u=
dv =

1
2t

2te

=) du =
t2

1
dt;
2t2

dt =) v = e

(1.22) se escribe

56

t2

Captulo 2. Modelos Matemticos de Inltracin

p2

Z+1

2te
2t

t2

4e

p1

dt =

Z+1

x2

t2

2te
2t3

dt5 ;

(1.23)

la integral entre corchetes se integra por partes con


1
2t3

u=
dv =

2te

=) du =
t2

3
dt;
2t4

dt =) v = e

t2

y (1.23) se escribe como

p2

Z+1

2te t
2t

dt =

4e

p1

x2

e x
2x3

3
2

Z+1

2te t
2t5

dt5 ;

(1.24)

la integral entre corchetes se intergra por partes con


1
2t5

u=
dv =

2te

=) du =
t2

5
dt;
2t6

dt =) v = e

t2

coon lo que (1.24) se escribe como

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 ;

utilizando el mtodo de induccin matemtica se demuestra que 8n 2 N


p2

Z+1
e
x

t2

dt =

epx

1
x

1
2x3

3
2 2 x5

3 5
2 3 x7

donde

57

+ ::: +

( 1)n 1 3 ::: (2n 3)


2n 1 x2n 1

i
+ Rn (x) ;

Captulo 2. Modelos Matemticos de Inltracin

Rn (x) =

( 1)n 1 3 ::: (2n 1)


2n 1

Z+1

e t
t2n

dt:

Para el clculo de los polinomios Pn (x); Qn (x) utilizamos el esquema de Horner.

Clculo de Pn (x)

Datos de entrada: grado del polinomio n, valor x:


Datos de salida: Pn (x):
INICIO
b=
2
6
6
6
4

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

Captulo 2. Modelos Matemticos de Inltracin


2
6
6
6
4

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.

Deniciones preliminares importantes

Denicin Sea V un espacio vectorial sobre R. Una norma en V es toda funcin


N de V en R+ que verica las siguientes propiedades:

1. N (x)

0 8 x 2 V;
60

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


2. N (x) = 0 () x = 0;
3. N ( x) = j j N (x);
4. N (x + y)

N (x) + N (y);

2 R; 8 x 2 V;
8 x; y 2 V

desigualdad triangular

El nmero real no negativo N (x); x 2 V; se llama norma de x:


El par (V; N ) se llama espacio normado:
Denicin Sean I

N; I 6= ? y (V; k:k) un espacio normado. Toda funcin

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

l m un = u; esto es, u verica la condicin

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

Captulo 3. Resultados Fundamentales de los Espacios Funcionales

3.3.

Espacios de Hilbert
Sea V un espacio vectorial sobre R: Un producto escalar en V es

Denicin

una funcin de V

V en R que a cada (x; y) 2 V

V le asocia el nmero real

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

2. hx; y + zi = hx; yi + hx; zi ; 8 x; y; z 2 V


3. h x; yi =
4. hx; xi

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

V; A 6= ?: Diremos que x es ortogonal a A si hx; yi = 0;

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

La aplicacin k:k de V en R+ denida por kxk = hx; xi 2 es una


norma sobre V:
1

Denicin La norma k:k de V en R+ denida por kxk = hx; xi 2 se dice


inducida por el producto escalar. El espacio normado (V; k:k) se dice inducido
62

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


por el producto escalar.
Se verica que jhx; yij
desigualdad de Cauchy

kxk kyk ; 8 x; y 2 V: Esta desigualdad se conoce como


Schwarz:

Denicin Un espacio de Hilbert V es un espacio normado inducido por el pro1

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.

Aplicaciones lineales continuas

Denicin Sean V; W dos espacios reales, normados con k:kV ; k:kW


sus normas respectivamente.
1. Una aplicacin T de V en W se dice lineal si verica la siguiente condicin:

T ( x + y) = T (x) + T (y)

8 ;

2 R; 8 x; y 2 V:

2. Sea T : V ! W una aplicacin lineal. La aplicacin T se dice continua si


8 " > 0; 9

> 0 tal que kx

ykV <

) kT (x)

T (y)kW < ":

Se demuestra que las siguientes proposiciones son equivalentes:


a. T es continua.
b. T es continua en el origen.

63

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


c. T es acotada en la bola unitaria cerrada B(0; 1):
d. Existe una constante C > 0 tal que kT (x)kW

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 )

V convergente a x 2 V; la sucesin (T (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 );

con lo cual L(V; W ) es un espacio normado. Si V = W , notamos L(V ) en lugar


de L(V; W ). Por otro lado se prueba que si W es un espacio de Banach entonces
L(V; W ) es tambin un espacio de Banach. En particular si W = R, el espacio
L(V; R) se nota con V y se denomina espacio dual topologico de V: Los elementos
de V se llaman formas lineales continuas. La norma en V est denida por
kT kV = sup jT (x)j = sup
kxkV

3.5.

x2V
x6=0

jT (x)j
;
kxkV

8T 2 V ;

Formas bilineales continuas

Denicin Sean V; W espacios vectoriales reales. Una aplicacin a( ; ) de V


en R se denomina f orma bilineal en V
1. a( x + y; z) = a(x; z) + a(y; z);

64

W si verica las siguientes condiciones:


8 ;

2 R; 8 x; y 2 V y 8 z 2 W:

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


2. a(x; y + z) = a(x; y) + a(x; z);
Si V = W , una forma bilineal en V

8 ;

2 R; 8 x 2 V y 8 y; z 2 W:

V se dice simplemente forma bilineal en V:

Denicin Se dice que una forma bilineal a( ; ) es simetrica si a( ; ) es una


forma bilineal en V y adems se verica que

a(x; y) = a(y; x);

8 x; y 2 V:

Denicin Sean V; W espacios normados y a( ; ) una forma bilineal en V

W.

Se dice que a( ; ) es continua si existe una constante M > 0 tal que

ja(x; y)j

M kxkV kykW ;

8 (x; y) 2 V

W:

Denicin Sea V un espacio normado y a( ; ) una forma bilineal en V: Se dice


que a( ; ) es coerciva, si existe una constante

a(x; y)

kxk2V ;

> 0 tal que

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

hf; vi = hu; viV


65

8 v 2 V:

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


donde hf; vi denota el par en dualidad.
Adems

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 ;

Adems si a es simtrica, entonces u se caracteriza por la propiedad


u2K
1
a(u; u)
2

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:

Adems si a es simtrica, entonces u se caracteriza por la propiedad

u2K

1
2

a(u; u)

hf; ui = Min
v2V

66

1
2

a(v; v)

hf; vi :

Captulo 3. Resultados Fundamentales de los Espacios Funcionales

3.6.

Espacios Lp( )

En adelante se supone que el lector est familiarizado con la integral de Lebesgue.


un abierto, acotado de Rn y p 2 [1; 1] : Se dice que

Denicin Sea
f:

! R una funcin medible en

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 ( ) :

Si p = 2 entonces q = 2: En tal caso la desigualdad de Holder no es sino la


desigualdad de Cauchy-Schwarz:

kf gkL1 (

kf kL2 ( ) kgkL2 ( ) :

ii) Desigualdad triangular (Minkowski)

8 f; g 2 Lp ( ) ; kf + gkL2 (
iii) La aplicacin k:kLp (

kf kLp (

+ kgkLp ( ) :

de Lp ( ) en R+ es una norma sobre Lp ( ):

67

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


Lp ( ) provisto de k:kLp (

es un espacio de Banach.

Para p = 2, L2 ( ) es un espacio de Hilbert. El producto escalar en L2 ( )


est denido por

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 ( ):

Reexividad. Separabilidad. Dual de Lp

Distinguiremos tres casos:


i) Para 1 < p < 1; Lp ( ) es reexivo, separable y el dual de Lp ( ) se identica
a Lq ( ) esto es (Lp ( )) = Lq ( ):
ii) Para p = 1; L1 ( ) es separable, por lo tanto Lp ( ) es separable para
1

p < 1: El dual de L1 ( ) se identica a L1 ( ) es decir (L1 ( )) = L1 ( ):

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 ( )) :

Captulo 3. Resultados Fundamentales de los Espacios Funcionales

3.6.2.

Nociones de convergencia en Lp ( )

i) Convergencia fuerte (en norma). Sea 1

1:

Una sucesin (fn ) de Lp ( ) converge fuertemente hacia f 2 Lp ( ) si


kfn

f kLp (

ii) Convergencia dbil. Sea 1

! 0; cuando n ! 1:
1:

Una sucesin (fn ) de Lp ( ) converge dbilmente hacia f 2 Lp ( ) si


R

fn (x)'(x)dx !

donde q 2 [1; 1] tal que

3.7.
3.7.1.
Sea

1
p

f (x)'(x)dx; cuando n ! 1; 8' 2 Lq ( )

1
q

= 1:

Espacio de las Distribuciones


Deniciones
Rn un abierto, m 2 N.

i) C 0 ( ) = C( ) es el espacio vectorial de funciones reales continuas en

ii) El soporte de una funcin u 2 C( ) notado por sop(u) es por denicin


sop(u) = fx 2
iii) C0 ( ) = fu 2 C( ) = sop(u)

= u(x) 6= 0g:
es compactog :

C0 ( ) se denomina espacio de funciones continuas con soporte compacto.

69

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


8
< u:
m
iv) C ( ) =
:

9
! R j D u 2 C( ); 8 = ( 1 ; :::; n ) 2 N =
;
tal que j j = 1 + ::: + n m
n

es el espacio de funciones que poseen derivadas parciales de orden j j

: Particularmente si m = 0 se tiene C 0 ( ) que es el espacio de

continuas en

funciones reales continuas en

v) C0m ( ) = C m ( ) \ C0 ( ):
vi) C 1 ( ) =

1
T

C m ( ) es el espacio de funciones que poseen derivadas parciales

m=0

de todos los rdenes, continuas en

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

es todo funcional lineal continuo

sobre D( ):
Si T es una distribucin sobre

, se tiene

i) T es lineal sobre D( ) esto es

8 ;

2 R; 8 '1 ; '2 2 D( ); T ( '1 + '2 ) = T ('1 ) + T ('2 ):

ii) T es continuo, es decir que si ('n ) es una sucesin en D( ) convergente a


' 2 D( ); entonces
70

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


T ('n ) ! T ('); cuando n ! 1:
Notacin
El valor del funcional T sobre una funcin de prueba ' 2 D( ) lo notaremos
hT; 'i en lugar de T ('):
Se indica con D0 ( ) al conjunto de todas las distribuciones sobre

Denicin Sean T1 ; T2 2 D0 ( ): Se dice que T1 = T2 si y solo si para todo ' 2


D( ) se cumple que

hT1 ; 'i = hT2 ; 'i :


Denicin Sean

1 T1

1;

2 T2 ;

2 R, T1 ; T2 2 D0 ( ): Se dene

'i =

hT1 ; 'i +

1 T1

2 T2

como sigue

hT2 ; 'i ; 8 ' 2 D( ):

Resulta que D0 ( ) es un espacio vectorial sobre R y es evidente que

1 T1

2 T2

es lineal y continuo. Adems D0 ( ) es el dual algebraico de D( ) que coincide


con el dual topolgico.
Teorema Un funcional lineal T sobre D( ) es una distribucin si y solo si para
cada compacto K de

, existen constantes c > 0 y m 2 Z+ tal que


jhT; 'ij

c M ax M ax jD '(x)j
j j m

para cada ' 2 D( ) tal que sop(')

x 2K

K ([3], pgs 51-52):

71

Captulo 3. Resultados Fundamentales de los Espacios Funcionales

3.7.3.

Derivacin de distribuciones

Denicin Sea

2 Nn y T 2 D0 ( ), se dene la derivada en el sentido de las

distribuciones D T mediante la siguiente relacin

hD T; 'i = ( 1)j j hT; D 'i ; 8 ' 2 D( ):


Dado que la derivada de T es lineal y acotada, se tiene que D T es una distribucin. Sea f 2 L2 ( ), Tf : D( ) ! R el funcional denido por
hTf ; 'i =
es una distribucin sobre

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

con lo cual, integrando por partes, se cumple

@Tf
@xi

= T @f ;

i = 1; :::; n:

@xi

72

Captulo 3. Resultados Fundamentales de los Espacios Funcionales

3.8.

Espacios de Sobolev

3.8.1.

Espacios H 1 ( ) y H01 ( )

Se tiene que H 0 ( ) = L2 ( ) y se llama espacio de Sovolev de orden 0:


Denicin Sea
sobre

un abierto de Rn ; se llama espacio de Sobolev de orden 1

; al espacio
n
H ( ) = u 2 L2 ( ) j
1

@u
@xi

2 L ( ); i = 1; :::; n ;

tomado en el sentido de las distribuciones.


Para todo u; v 2 H 1 ( ); se dene
hu; viH 1 (

Es evidente que H 1 ( )

n
P

i=1

@u @v
@xi @xi

+ uv dx =

(rurv + uv) dx:

L2 ( ):

La norma asociada al producto escalar la notamos con

kukH 1 (
donde jruj2 =

@u
@x1

+ ::: +

@u
@xn

1
2

jruj + juj

= ru ru:([3], pg 55).

Teorema H 1 ( ) provisto del producto ecalar h ; iH 1 (

es un espacio de Hilbert.

Denicin Se designa por H01 ( ) la adherencia de D( ) en H 1 ( ); es decir que


H01 ( ) = D( ) en H 1 ( ):
Teorema H01 ( ) = fu 2 H 1 ( ) j u = 0 sobre @ g :
73

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


Se denota con j j

H1( )

a la seminorma de H 1 ( ) denida como


R

juj1;2 =

1
2

jruj

; 8 u 2 H 1 ( ):

Teorema (Desigualdad de Poincar)


Rn abierto acotado. Existe c > 0 tal que 8 u 2 H01 ( );

Sea

kukL2 (
donde kruk2L2 (

@u
@x1

c krukL2 (

+ ::: +

@u
@xn

Por la desigualdad de Poincar, la seminorma j j1;2 en H01 ( ) es una norma


equivalente a la de H 1 ( ); es decir existen

kukH 1 (
A la norma j j

H1( )

juj1;2

> 0 tales que

> 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.

Denicin Se nota con H

( ) al dual de H01 ( ); es decir que

( ) = fT : H01 ( ) ! R j T es lineal y continuag = (H01 ( )) :

Sea T 2 H

( );

kT kH

1(

sup
kukH 1 (
0

jT (u)j =

sup
kukH 1 (
0

74

jhT; uij ;

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


con lo cual H

( ) es un espacio de Banach.

Adems se verica que


H01 ( )

L2 ( ) = (L2 ( ))

( );

y las inyecciones son continuas y densas.

3.8.3.

Inmersiones de Sobolev

Sea

Rn un abierto acotado de frontera lipschisiana

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

Adems, existe c = c( ; p; q) tal que

kukLq (

c kukW 1; p ( ) ; 8 q 2 [1; p ] :

La inmersin de W 1; p ( ) en Lq ( ) es compacta, 8 q 2 [1; p ] ; es decir que


todo conjunto acotado de W 1; p ( ) es precompacto en Lq ( ):
ii) Si p = n; entonces
W 1; n ( ) = W 1; p ( )

Lq ( ); 8 q 2 [1; 1[:

Adems, existe c = c( ; p; q) tal que

kukLq (

c kukW 1; n ( ) ; 8 q 2 [1; 1[:


75

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


La inmersin de W 1; n ( ) en Lq ( ) es compacta, 8 q 2 [1; 1[:
iii) Si p > n; entonces W 1; p ( )

C( ):

Existe c = c( ; p; q) tal que kukL1 (

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

ii) Si n = 2 entonces u 2 H 1 ( ) =) u 2 Lp ( ); para todo p nito.


iii) Si n = 1 entonces H 1 ( )

3.9.
3.9.1.

C( ):

Espacio de las distribuciones vectoriales


Espacios C m ([0; T ] ; X)

Sean T > 0, m 2 Z+ y X un espacio de Hilbert separable. Se dene C m ([0; T ] ; X)


como el espacio de funciones de [0; T ] en X que poseen derivadas continuas en [0; T ]
hasta el orden m inclusive. Se tiene u 2 C m ([0; T ] ; X) si y solo si

dk u
dtk

2 C([0; T ] ;

X), k = 1; 2;... m: Adems C m ([0; T ] ; X) es un espacio de Banach con la norma

kukC m ([0;T ]; X) = max max jD u(t)j,


j j m 0 t T

3.9.2.

2 Nn tal que j j

m:

Espacios Lp ([0; T ] ; X)

Se dice que f es fuertemente medible si y solo si kf kX es medible 8t 2 ]0; T [


76

Captulo 3. Resultados Fundamentales de los Espacios Funcionales


([1], Distribuciones vectoriales):
Para todo p 2 [1; 1] ; notamos con Lp ([0; T ] ; X) al espacio de funciones (clases
de funciones) fuertemente medibles f : [0; T ] ! X para la medida dt tales que
kf kLp ([0;T ]; X) =

RT
0

kf (t)kpX

1
p

dt

< 1:

Adems Lp ([0; T ] ; X) provisto de esta norma es un espacio de Banach.


Si X es un espacio de Hilbert con producto escalar h ; iX entonces L2 ([0; T ] ;
X) es un espacio de Hilbert con producto escalar

hu; viL2 ([0;T ]; X) =

RT
0

hu(t); v(t)iX dt;

Se debe tener en cuenta que si u 2 L2 ([0; T ] ; X) y v 2 X; entonces la funcin


t ! hu(t); v(t)iX pertenece a L2 ([0; T ] ; X):

77

Captulo 4
Anlisis del Modelo y
Discretizacin

4.1.

Resumen y formulacin del problema

En este captulo se exponen los resultados de existencia y unicidad para la solucin


de la ecuacin de transporte de tipo parablico, luego se estudia la discretizacin
espacial mediante el mtodo de elementos nitos y temporal mediante el mtodo de
Petrov-Galerkin.
8
!
>
dc
>
div(Drc)
+
V
rc + rc = f
sobre
>
dt
>
>
>
>
>
>
>
>
8(x; y) 2 :
< c(x; y; t0 ) = c0 (x; y)
(P )
c(x; y; t) = (x; y; t) 8(x; y; t) 2 d [0; T ];
>
>
>
>
>
>
>
>
dc(x;y;t)
>
= 0 8(x; y; t) 2 n [0; T ];
>
>
: dn
d

=;

la frontera de

78

]0; T [;

(4)
(5)
(6)
(7)

Captulo 4. Anlisis del Modelo y Discretizacin


Asumiremos que c0 (x; y) 2 C 0 ( );
D 2 C 1(
f 2 C 0(

[0; T ])
[0; T ])

y D(x; y; t)
;

>0

2 C 0(

8(x; y; t) 2

[0; T ];

2 R;

[0; T ]):

es un conjunto abierto acotado de R2 , D es el coeciente (funcin) de

donde

difusin-dispersin, V es la velocidad del agua en el acufero, r son las reacciones


qumicas del contaminante con el subsuelo, f es la inltracin del contaminante en
el acufero (funcin dada), t variable temporal, c es la concentracin del contaminante
en el acufero (funcin incgnita).

4.2.

Formulacin dbil del problema

Se introducen los espacios V; W siguientes:

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:

Usando el teorema de Green-Gauss en el segundo trmino y la derivada bajo el


signo de la integral en el primer trmino, se obtiene

79

Captulo 4. Anlisis del Modelo y Discretizacin

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 la condicin de frontera

se tiene v = 0 sobre
d
dt

cvdx +

1:

@c
@n

= 0; de la denicin del espacio V

Luego los dos ltimos trminos se anulan, con lo cual

R !
R
R
D(rc rv)dx + (V rc)vdx + rcvdx = f vdx:

Procediendo igualmente con la condicin inicial (5) se tiene


R

c(x; y; 0) vdx =

c0 vdx

Denimos la forma bilineal siguiente:W


8
<
W V !R
a(t; c; v) :
:
(c; v) ! a(t; c; v)

como (c; v) ! a(t; c; v) =


y la forma lineal

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)

La formulacin dbil del problema (P ) queda:


Hallar C tal que C 2 L2 (0; T ; V ) \ C 0 (0; T ; L2 ( )) y
dbil de (P ) si verica:

80

dc
dt

2 L2 (0; T ; V ) solucin

Captulo 4. Anlisis del Modelo y Discretizacin

(Pd )

4.3.

8
<

d
(c(t);
dt

v) + a(t; c(t); v) = Lt (v)

: (c(0); v) = (c0 ; v)

8v 2 V;

8v 2 V:

Existencia y unicidad de la solucin

4.3.1.

Teorema de J. L. Lions

Sea H un espacio de Hilbert dotado del producto escalar ( ; ) y de la norma


k kH . Se identican H y su dual. Sea V otro espacio de Hilbert de norma k kV :
Supongamos que V

H con inyeccin continua y densa, de forma que V

V :

Sea T > 0 jo; para casi todo t 2 [0; T ] se considera una forma bilineal a(t; u;
v) : V

V ! R que verica las propiedades

i) La funcin t ! a(t; u; v) es medible, 8u; v 2 V;


ii) ja(t; u; v)j
iii) a(t; v; v)
donde

M kukV kvkV c.t.p. t 2 [0; T ]; 8u; v 2 V;


kvk2V

C kvk2H c.t.p. t 2 [0; T ]; 8v 2 V;

> 0; M y C constantes.

Dadas f 2 L2 (0; T ; V ) y u0 2 H; existe una nica funcin u tal que

8
<
:

u 2 L2 (0; T ; V ) \ C([0; T ] ; H) y
d
(u(t);
dt

du
dt

2 L2 (0; T ; V )

v) + a(t; u(t); v) = (f (t); v) c.t.p. t 2 [0; T ] ;


u(0) = u0 :

81

8v 2 V;

Captulo 4. Anlisis del Modelo y Discretizacin


Este teorema nos proporciona un escenario general abstracto para la existencia
y unicidad de solucin dbil de ecuaciones diferenciales parablicas. En este trabajo
al escoger H = L2 ( ); V = H01 ( ) y V

= H

( ) garantizamos la existencia y

unicidad de la solucin del problema (Pd ): Este resultado es similar al teorema de


Lax-Milgram para problemas elpticos ([6], pg 218).

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)

0; c.t.p. t 2 ]0; T [ se tiene


v(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 ]

h( )d ; donde la segunda de esta desigualdad se cumple para

funciones g(t) diferenciables. (Vase Wloka, pgs. 436

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)

0: (Esto es inmediato haciendo g(t) = 0 y h(t) = c) ([11], pg

436-437).

82

Captulo 4. Anlisis del Modelo y Discretizacin

4.3.3.

Existencia de la solucin de (Pd )

Notemos que V es un subespacio de H 1 ; H01

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:

Es decir a(t; c(t); v) =


medible.

Drc(t) rvdx +

Sean M1 = Sup kD( ; t)kL2 (

ii)

t2[0; T ]

R
R !
V rc(t) vdx + rc(t)vdx es

Sup

Sup

t2[0; T ]

x2

M2 = Sup kr( ; t)kL2 ( ) ;


t2[0; T ]

M3 = Sup kv1 ( ; t)kL2 ( ) ;


t2[0; T ]

M4 = Sup kv2 ( ; t)kL2 ( ) ;


t2[0; T ]

M5 = M ax fM3 ; M4 g ;
luego
a)

(V rc)vdx =

@c
v1 @x
vdx +

83

@c
v2 @y
vdx

D(x; t); igualmente

Captulo 4. Anlisis del Modelo y Discretizacin

M3
M5

@c
vdx
@x

@c
@x

+ M4
@c
@y

@c
vdx
@y

vdx

2M5 krckL2 ( ) kvkL2 (

2M5 kckV kvkV :


Por otra parte se tiene que
ja(t; c(t); v)j =
R

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;

por la desigualdad de Cauchy-Schwartz y por la parte a) se obtiene

ja(t; c(t); v)j

M1 krckL2 ( ) krvkL2 (
M1 kckH 1 ( ) kvkH 1 (

+ 2M5 kckV kvkV + M2 kckL2 ( ) kvkL2 (

+ 2M5 kckV kvkV + M2 kckH 1 ( ) kvkH 1 (

M1 kc(t)kV kvkV + 2M5 kc(t)kV kvkV + M2 kc(t)kV kvkV


(M1 + 2M5 + M2 ) kc(t)kV kvkV .
Se ha utilizado el hecho que
kc(t)kL2
krc(t)kL2
como V

kc(t)kH 1 ;
kc(t)kH 1 ;

H 1 ( ) entonces 9C > 0 tal que kvkH 1 (

C kvkV

8v 2 H 1 ( ).

Es decir a(t; c(t); v) es acotada, por tanto cumple la condicin de continuidad.

84

Captulo 4. Anlisis del Modelo y Discretizacin


iii)
R

(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

a(t; c(t); c(t)) =

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 (

Captulo 4. Anlisis del Modelo y Discretizacin


a(t; c(t); c(t))

kck2V

M5 kck2L2 (

Por lo tanto, existe c 2 L2 (0; T ; V ) \ C 0 (0; T ; L2 ) solucin de (P ):


Es decir se cumple la condicin iii) para a(t; :; :) que es la coercividad.
Se debe recordar que los espacios L2 (0; T ; V ) y C 0 (0; T ; L2 ) fueron denidos en
la seccin 3 9 :

4.3.4.

Unicidad de la solucin del problema (P )

Supongamos que existen c1 ; c2 2 L2 (0; T ; V ) \ C 0 (0; T ; L2 ( )) tales que


8
< d (c (t); v) + a(t; c (t); v) = L (v) 8v 2 V;
1
t
dt 1
: (c1 (0); v) = (c0 ; v) 8v 2 V:

8
<

d
(c (t);
dt 2

v) + a(t; c2 (t); v) = Lt (v)

: (c2 (0); v) = (c0 ; v)


Sea w(t) = c1 (t)

(10)
(11)

8v 2 V;

(12)

8v 2 V:

(13)

c2 (t) entonces, c1 (t) = w(t) + c2 (t):

Reemplazando c1 (t) en (13) se obtiene


d
(w(t)
dt

+ c2 (t); v) + a(t; w(t) + c2 (t); v) = Lt (v)

8v 2 V:

Por la linealidad del producto escalar de la forma bilineal y de la derivada, resulta


d
(w(t);
dt

v) +

d
(c (t);
dt 2

v) + a(t; w(t); v) + a(t; c2 (t); v) = Lt (v)

8v 2 V;

y por (12) se tiene


d
(w(t);
dt

v) + a(t; w(t); v) = 0

86

8v 2 V:

(14)

Captulo 4. Anlisis del Modelo y Discretizacin


De igual forma para la condicin inicial se hace

(w(0) + c2 (0); v) = (c0 ; v)

8v 2 V
8v 2 V

(w(0); v) + (c2 (0); v) = (c0 ; v)


8v 2 V:

(w(0); v) = 0

Por la coercividad de la forma bilineal (8); se tiene que


kw(t)k2V :

a(t; w(t); w(t))

Sea v = w(t); t 2 [0; T ] por (14) resulta que


d
(w(t);
dt

Como

1 d
2 dt

0=

kw(t)k2V =
d
(w(t);
dt

w(t)) + a(t; w(t); w(t)) = 0:

d
(w(t);
dt

w(t)); entonces
1 d
2 dt

w(t)) + a(t; w(t); w(t))

Por lo tanto se tiene


8
< 1 d kw(t)k2 + kw(t)k2
V
V
2 dt
: (w(0); v) = 0 8v 2 V:

Sea kw(t)k2V = h(t); entonces

d
dt

kw(t)k2V +

kw(t)k2V :

9
=

kw(t)k2V = h0 (t):

Luego al reordenar, reemplazar e integrar sobre [0; T ] se tiene


Rt

h0 (t)dt

Rt

h( )d

h(t)

Rt
0

87

h( )d ;

Captulo 4. Anlisis del Modelo y Discretizacin


nalmente por el lema de Gronwall resulta que
h(t) = 0; por lo tanto
kw(t)k2V = 0; entonces
w(t) = 0; luego
c1 (t)

c2 (t) = 0; en consecuencia
8t 2 [0; T ] :

c1 (t) = c2 (t)

4.4.

Discretizacin

Mallado triangular tipo elementos nitos


R2 ; abierto acotado de frontera

Sea

lipchisiana a trozos la construccin de

la malla se realiza de la siguiente forma:


1. Se ja un conjunto de puntos distintos, en la frontera y en el interior del
dominio

2. Se construyen tringulos con la unin de los puntos y denotamos con


conjunto de todos los tringulos y numeramos a los elementos de , esto es
= fTi / Ti tringulo i = 1; :::; ng :

88

al

Captulo 4. Anlisis del Modelo y Discretizacin


Figura 7. Tringulos de
Tales tringulos deben satisfacer las condiciones siguientes:
() T i 6= f?g :
8
9
>
>
>
>
Ti \ Tj = f?g ;
>
>
<
=
ii) Ti ; Tj 2 =)
Ti \ Tj = un vrtice, i 6= j o
>
>
>
>
>
>
:
;
Ti \ Tj = una arista.
i)

Ti 2

iii) Si e = [ Ti ; entonces e es aproximacin de


Ti 2

En general e 6= :

Adems no est permitido mallas que contengan tringulos como los siguientes:

Figura 8. Tringulos prohibidos


Cada Ti se llama un elemento nito, numE denota el nmero de elementos en la
tringulacin. Es necesario establecer una topologa

del mallado que consiste en:

1. Lista de nodos que pertenecen a la frontera.


2. Lista de nodos internos.
3. Lista de elementos (tringulos).
4. El conjunto N (i) = fT 2

/ i 2 T; i nodo internog

Ejemplo:

89

Captulo 4. Anlisis del Modelo y Discretizacin

Figura 9. Elementos conectados en i

N (i) = f1; 3; 7; 9; 11; 12g :


La tabla que contiene N (i) para i = 1; 2; :::; numE se denomina tabla de
conectividad de los elementos:
5. Lista de aristas de cada tringulo.
6. Lista de nodos de cada elemento.
7. Lista de tringulos que tienen dos nodos en la frontera.
Nosotros nos limitaremos a hacer un mallado uniforme en una regin rectangular.
Uniforme es cuando los tringulos tienen aproximadamente la misma rea, en
caso contrario se dice que la malla es no uniforme.
Puesto que las condiciones de frontera pueden ser homogneas o no homogneas,
de Neumann y/o Dirichlet se debe incluir a todos los tringulos que tienen nodos en
la frontera para que no se pierda informacin (ejemplo: tringulos 7, 8, 17 y 18 de la
gura 10). Caso contrario los nodos 5 y 16 quedaran aislados.

90

Captulo 4. Anlisis del Modelo y Discretizacin

Figura 10. Mallado y numeracin

La numeracin de los nodos se realizar de izquierda a derecha, la a la. De


igual forma se numerarn los tringulos.

4.4.1.

Problema discreto

Para aproximar la solucin del problema (P ) necesitamos construir un subespacio


Vh de H01 ( ) de dimensin nita, del tipo elementos nitos triangulares. Para el
efecto, sea

el mallado de

mediante elementos nitos triangulares. El subespacio

Vh lo denimos de la siguiente manera


8
< v 2 C( e ) / v = 0 sobre ; y
h
h
Vh =
: vh=T es un polinomio de grado

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

Captulo 4. Anlisis del Modelo y Discretizacin


donde aT ; bT ; cT son constantes elegidas apropiadamente.
Sea fPs / s = 1; :::; nnodg los vrtices de la triangulacin (o nodos de la triangulacin) : Vh es un subespacio de V de dimensin nita nnin:
La formulacin discreta de (Pd ) se escribe como sigue: Para cada t 2 ]0; T ] ;
8
< d (c (t); v ) + a(t; c (t); v ) = L (v ) 8v 2 V ;
h
h
h
t h
h
h
dt h
hallar ch 2 Vh solucin de
: (ch (0); vh ) = (c0 ; vh ) 8vh 2 Vh :

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

Ch jvj2 ; donde C > 0


1
2

dx

denota una semi-

norma del espacio de Sobolev H 2 ( ):


Puesto que f'i = i = 1::nning es una base de Vh ; existen
Ch (x; t) =

nnin
P
i=1

92

i (t)'i (x)

1 (t); ::;

nnin (t)

tal que
(15)

Captulo 4. Anlisis del Modelo y Discretizacin

Figura 11. Funcin de la base de Vh

Se supone que

1 (t); :::;

son funciones derivables en todo punto de ]0; T [

nnin (t)

entonces
dCh (x;t)
dt

nnin
P
i=1

0
i (t)'i (x)

(16)

Reemplazando (15) y (16) en la formulacin aproximada se tiene


nnin
P
i=1

0
i (t)('i ; vh )+

nnin
P

i (t)a(t; 'i ; vh )

= Lt (vh )

i=1

8vh 2 Vh

haciendo vh = 'j para j = 1:::nnin se tiene


nnin
P
i=1

0
i (t)('i ; 'j )+

nnin
P

i (t)a(t; 'i ; 'j )

= Lt ('j )

j = 1:::nnin

(17)

i=1

A continuacin se dene la matriz A(t) = (aij (t)); t 2 [0; T ] y B = (bij ) de orden


nnin

nnin de la siguiente forma:

93

Captulo 4. Anlisis del Modelo y Discretizacin


aij (t) = (a(t; 'i ; 'j ))i;j=1::nnin ;
bij = (('i ; 'j ))i;j=1::nnin :
!
!
Introducimos los vectores C (t); F (t) 2 Rnnin con t 2 [0; T ] ; del modo siguiente
!
C (t) = (

1 (t); :::;

!
F (t) = (f1 (t); :::; fnnin (t))T

T
nnin (t))

donde fj (t) = Lt ('j ):

Por lo tanto (17) se puede expresar de la manera siguiente


!
!
!
B C (t) + A(t) C (t) = F (t)

t 2 [0; T ]

y complementando esto con la condicin inicial procediendo de forma anloga se


tiene
nnod
P

i (0)('i ; 'j )

= (h; 'j )

i=1

8 j = 1; :::nnin

que se lo puede escribir como

!
!
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:

Por lo anterior se obtiene el siguiente sistema de ecuaciones diferenciales ordinarias


!
!
!
B C (t) + A(t) C (t) = F (t)
!
!
B C (0) = G

(18)

94

Captulo 4. Anlisis del Modelo y Discretizacin

4.4.2.

Clculo de los coecientes de los planos que forman


'i

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:

Figura 12. Planos de las funciones 'i


Sean (x1 ; y1 ); (x2 ; y2 ); (x3 ; y3 ) las coordenadas de los vrtices de Te ; adems se
tiene que

P jTe (x; y) = b
P jTe (x ; y ) =

;1 x+

1 si
0 si

=
6
=

y sean las matrices

95

;2 y

+b

;3

= 1; 2; 3

(19)

Captulo 4. Anlisis del Modelo y Discretizacin


2

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

se tiene por (18) y por las deniciones anteriores que

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

Frmula para integrar una funcin g sobre un tringulo Te

Para integrar una funcin de g(x; y) sobre un tringulo Te utilizaremos la frmula


de cuadratura siguuiente:
R

g(x; y)dxdy

Te

det
2

g( x1 +x32 +x3 ; y1 +y32 +y3 ) :

Esta frmula es exacta para polinomios de grado

4.4.4.

(20)

2:

Construccin de las matrices y vectores involucrados


en el sistema de ecuaciones diferenciales ordinarias

!
!
!
B C (t) + A(t) C (t) = F (t)
!
!
B C (0) = G

96

Captulo 4. Anlisis del Modelo y Discretizacin


Construccin de la matriz B
Puesto que B = (bij )nnin

nnin

= ('i ; 'j )

nnin nnin

Entonces
bij =

'i 'j =
=

Nos interesa calcular

'i 'j

sop('i\ 'j )

P R

'i 'j ;

Tk 2 Tk

8Tk 2 sop('i\ 'j ):

'i 'j :

Tk

Sea P = (Px ; Py ) el punto medio del tringulo Tk donde Px =


y1 +y2 +y3
.
3

x1 +x2 +x3
3

y Py =

Utilizando la frmula de integracin que es exacta para polinomios de grado

2, tenemos:
R

'i 'j =

Tk

det(ATk )
2

'i ( x1 +x32 +x3 ; y1 +y32 +y3 )'j ( x1 +x32 +x3 ; y1 +y32 +y3 )

Construccin de la matriz A(t)


Puesto que A(t) = (aij (t))nnin

aij (t) =

nnin

= (a(t; 'i ; 'j ))nnin

nnin

entonces

R !
R
Dr'i r'j + ( V r'i )'j + r'i 'j :

Analicemos el primer sumando de aij (t)


R

Dr'i r'j =

sop('i\ 'j )

P R

Tk 2 Tk

Dr'i r'j

Dr'i r'j

97

8Tk 2 sop('i\ 'j ):

(21)

Captulo 4. Anlisis del Modelo y Discretizacin


Como 'i y 'j son polinomios de grado 1, sus derivadas parciales son constantes,
por lo tanto el producto escalar r'i r'j es constante y en consecuencia tenemos
el siguiente resultado
R

Tk

Tk

Dr'i r'j = r'i r'j


Dr'i r'j = r'i r'j

Tk

jdet(ATk )j
2

D(P; t):

(22)

Ahora se analiza el segundo sumando del trmino aij (t)


R

r'i 'j =

r'i 'j =

P R

8Tk 2 sop('i\ 'j )

r'i 'j

Tk 2 Tk

sop('i\ 'j )

Nos interesa el trmino


R

r'i 'j =

Tk

det(ATk )
2

r(P )'i (P )'j (P ) :

(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

usando la frmula (19) se obtiene


R !
det(A )
det(A )
V r'i 'j = ai 2 Tk v1 (P; t)'j (P ) + bi 2 Tk v2 (P; t)'j (P )

R !
V r'i 'j =

det(ATk )
2

ai v1 (P; t)'j (P ) + bi v2 (P; t)'j (P )

(24)

Ahora el trmino general de la matriz A(t) se obtiene sumando las expresiones


(22); (23) y (24):

98

Captulo 4. Anlisis del Modelo y Discretizacin


!
Construccin del vector C0
R
!
!
El vector C0 est denido por C0 = (g1 ; :::; gnnin ); donde gi = g'i entonces
gi =

g(x ; t)'i =

g'i

sop('i )

P R

8Tk 2 sop('i )

g'i

Tk 2 Tk

Aplicando la frmula de integracin (19) se tiene


R

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

gj (t)a(t; 'p ; 'j )

p2N f

gj0 (t)('p ; 'j )

p2N f

donde N f es el conjunto de nodos frontera


Se construye el trmino
R

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) =

g1j (t)a(t; 'p ; 'j )

p2N f

99

Captulo 4. Anlisis del Modelo y Discretizacin


donde p 2 N f

y j 2 N i; donde N i son los nodos interiores.

Note que para construir gbj (t) 8j 2 N i necesitamos los valores de a(t; 'p ; 'j )

que ya est analizado anteriormente pero con la modicacin de que p 2 N f y el


valor de g1 es g1j (xj ; yj ; t) donde (xj ; yj ) 2 N i que es la condicin de Dirichlet.

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

denimos tk = hk; k = 0; :::; p:

Mtodo
Sea

!
!
2 [0; 1]: Notamos C (k) la aproximacin de C (tk ):

Aproximamos

!(k)
C
por:

100

Captulo 4. Anlisis del Modelo y Discretizacin


!(k)
C

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
!

[B+ t2k A(tk+1 )] C (k+1) =[B


!
!
B C (0)=C0 :

tk
2

!
!
!
t
A(tk )] C (k) + 2k [ f (tk )+ f (tk+1 )]; k=0;1::; p:

A (25) se le conoce como el metodo de Cranck

(25)

N icholson; esquema implcito

de orden 2 incondicionalmente convergente.

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 :

Guardamos la solucin C(t0 ) y ponemos C = C(t0 )


Poner A1 = A[t0 ]; F = F [t0 ];
Poner num = h0 =2
k = 1; 2; :::; p

101

Captulo 4. Anlisis del Modelo y Discretizacin


D = B + (num)A1
F2 = F [tk ]
Z = num(F + F2 )
d = DC + Z
A2 = A[tk ];
H=B

(num)A2

Resolver el sistema de ecuaciones mediante el mtodo de


factorizacin LU de Crout:
HX = d
Guardar la solucin C(tk ) = X:
Poner A1 = A2 ; F = F2 ; U = X:
num =

hk
:
2

Algoritmo de clculo de las matrices y vectores involucrados


!
La matriz A(tk ) se la calcular junto con el vector F (tk ) y la matriz B junto con
!
el vector C0 : En esta parte se indicar como calculamos los dos primeros puesto que
para los otros dos el procedimiento es similar.
Inicialmente se almacena la topologa de la malla en dos arreglos, esto lo realizamos asumiendo obviamente que contamos con la suciente memoria fsica en el
computador en el cual se realizan los clculos.
Al primer arreglo se lo llamar NODTOTAL y consiste en la informacin bsica
de los nodos como son las coordenadas rectangulares y un campo que nos indicar

102

Captulo 4. Anlisis del Modelo y Discretizacin


si el nodo es interno o de frontera, en caso de ser de frontera diferenciaremos si su
condicin es de tipo Neumann o Dirichlet. Entonces dicho arreglo estar formado
por tres campos, dos de ellos de tipo nmero real y el tercero de tipo booleano, este
ltimo tendr el valor 0 si el nodo es interior o Neumann, y tendr el valor 1 en caso
de ser nodo Dirichlet.
El segundo arreglo ser TRIANTOTAL, estar formado por los nmeros correspondientes a la numeracin general de los tres nodos que forman cada uno de los
tringulos de la malla. Estos sern valores enteros positivos.
La solucin aproximada se calcular solo en los nodos interiores y de condicin
de Neumann, ya que la solucin en los nodos de condicin de Dirichlet estar dada
por la condicin de borde, por esto el orden de la matriz y del vector respectivo
estar dado por la suma de los nodos interiores y nodos Neumann. Al resolver el
sistema lineal de ecuaciones al que se reduce nuestro problema debemos identicar
a que nodo corresponde cada solucin obtenida, para esto utilizaremos el siguiente
algoritmo que nos dar como resultante el arreglo ECU .

numnodos = nmero total de nodos


N ECU = 0
N V AL = 0
Para i = 1; :::; numnodos
Si NODTOTAL (i; 3) = 0 entonces
Neumann)
N ECU = N ECU + 1
ECU (i) = N ECU

103

(Si el nodo es interior o

Captulo 4. Anlisis del Modelo y Discretizacin


Si no

(Si es nodo Dirichlet)


N V AL = N V AL + 1

ECU (i) =

N V AL

Para calcular la matriz y el vector se utilizar el mtodo de ensamblaje que


consiste en recorrer todos y cada uno de los elementos de la malla, calculando en
ellos una matriz de orden 3

3 llamada submatriz de rigidez y que va a contener las

contribuciones de cada tringulo para formar nuestra matriz nal y el correspondiente


vector.
Cada trmino de la submatriz de rigidez lo sumaremos al trmino correspondiente
en la matriz resultante si dicho trmino corresponde a algn par de nodos internos o
de condicin Neumann. Se sumar al trmino correspondiente al vector en caso que
corresponda a un nodo interno o Neumann y a un nodo Dirichlet, y por ltimo si los
dos nodos son Dirichlet no se realizar nada.
Para realizar el programa que efectue estos clculos haremos uso del arreglo ECU
construido anteriormente, el algoritmo respectivo lo describimos a continuacin.

numtriangulos = nmero total de elementos


Para i = 1; :::; numtriangulos
X1 =NODTOTAL (TRIANTOTAL (i; 1); 1)
Y1 =NODTOTAL (TRIANTOTAL (i; 1); 2)
X2 =NODTOTAL (TRIANTOTAL (i; 2); 1)
Y2 =NODTOTAL (TRIANTOTAL (i; 2); 2)
X3 =NODTOTAL (TRIANTOTAL (i; 3); 1)

104

Captulo 4. Anlisis del Modelo y Discretizacin


Y3 =NODTOTAL (TRIANTOTAL (i; 3); 2)
DET= (X2 Y3

('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

Captulo 4. Anlisis del Modelo y Discretizacin


AU X = R g(NODTOTAL (P; 1); NODTOTAL(P; 2); t)
g 0 (NODTOTAL (P; 1); NODTOTAL(P; 2); t)

AU X = AU X

F (ECU (P )) = F (ECU (P ))

AU X

Fin de k
R2 =

DET
2

[f (Px ; Py ; tk )]

Si ECU (P ) > 0 Entonces


F (ECU (P )) = F (ECU (P )) + R2
Fin de j
Fin de i
Obtenemos la matriz A y el vector F: Cabe sealar que se utiliza la derivada de
la funcin g(x; t); esta se la obtiene aproximando mediante algn mtodo numrico
apropiado como por ejemplo el de los polinomios de Taylor, entre otros.

106

Captulo 5
Resultados de la simulacin
numrica

5.1.

Resumen

En este captulo implementamos el programa computacional que nos permite


probar la validez de los mtodos de discretizacin descritos en el captulo anterior.
Este programa consta de dos mdulos: 1) Solucin numrica y 2) Solucin grca.

5.2.

Ingreso de datos del simulador

El ingreso de datos se divide en tres partes:


1. Datos experimentales.
2. Datos del intervalo de tiempo.
3. Datos geomtricos de la malla rectangular.

107

Captulo 5. Resultados de la simulacin numrica

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.

Datos del tiempo

Puesto que nuestro problema es evolutivo, tenemos que ingresar el intervalo de


tiempo en el que est denido. Este intervalo debe ser de la forma [0; T ], donde
T > 0: El mtodo es convergente cuando 4t ! 0; que garantiza que
Ch (t) ! C(t)
t!0

La solucin numrica que se presenta es la solucin al tiempo t = T:

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

Captulo 5. Resultados de la simulacin numrica

Los resultados se presentan en forma numrica y grca.

5.3.1.

Resultados numricos

Figura 13. Solucin numrica Ch

109

Captulo 5. Resultados de la simulacin numrica

Para estudiar el problema evolutivo de la contaminacin de aguas subterrneas


debe ingresar todos los datos requeridos y dar un click en Ejecutar, en la grca
precedente se utilizan los datos mostrados.

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

Al obtener la solucin numrica aproximada Ch que como hemos visto se reduce a


obtener la solucin de un sistema lineal de ecuaciones, estos valores correspondern
al valor de la funcin Ch evaluada en cada uno de los nodos que forman la malla.
Por tanto la grca de la funcin Ch consiste en proyectar todos y cada uno de los
elementos en el espacio R3 , es decir en el tringulo cuyos vrtices son (x1 ; y1 ); (x2 ;
y2 ); (x3 ; y3 ) y cuyas soluciones son s1 ; s2 y s3 respectivamente.
Se graca el tringulo en el espacio R3 ; cuyos nuevos vrtices sern (x1 ; y1 ; s1 ); (x2 ;
y2 ; s2 ) y (x3 ; y3 ; s3 ). Esto se muestra en el siguiente grco.

110

Captulo 5. Resultados de la simulacin numrica

Figura 14. Grca de la solucin Ch

111

Captulo 5. Resultados de la simulacin numrica

Figura 15. Solucin grca Ch

Figura 16. Solucin grca Ch

112

Captulo 5. Resultados de la simulacin numrica

5.4.

Discretizacin de la funcin erf(x)

En esta seccin los usuarios debern ingresar el valor de x y dar un click en


evaluar erf(x):

Figura 17. Funcin erf evaluada en x

de donde se tiene que la grca de la funcin erf(x) para valores de 0


la siguiente:

113

2 es

Captulo 5. Resultados de la simulacin numrica

Figura 18. Grca de funcin erf(x)

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

Captulo 6. Conclusiones y recomendaciones

las consecuencias causadas por la contaminacin, ya sean estas a corto, mediano o


largo plazo.
Las ecuaciones diferenciales en derivadas parciales surgen en muchos fenmenos
fsicos, qumicos y biolgicos que se producen en la naturaleza.
Los modelos matemticos se subdividen en dos grupos: los modelos basados en
el anlisis estadstico de datos obtenidos por una red de monitoreo y vigilancia, y
modelos de transporte de procesos qumicos del suelo.
Los modelos matemticos ms utilizados son los que estn basados sobre ecuaciones de conservacin de masa, debido a que estos permiten integrar en una sola
ecuacin o en un conjunto de ecuaciones los efectos de todos los procesos dinmicos
(velocidad del agua, presin, gravedad, reacciones qumicas de los contaminantes)
que inuyen en el equilibrio de masa de un volumen determinado del suelo.
Los modelos fsicos no pueden analizar procesos en los cuales dos o ms variables
actan dependiendo unas de las otras . Otra limitacin de los modelos fsicos es que
su construccin, vericacin y modicacin son costosos, toman mucho tiempo y
necesitan locales enormes para instalarlos.
La ecuacin de conveccin-difusin por lo general no puede resolverse exactamente, esto nos conduce a realizar una aproximacin numrica de la solucin. El
mtodo ms utilizado para aproximar soluciones de este tipo es el de elementos nitos.
La resolucin numrica permite construir mapas de la distribucin de la concentracin del contaminante (de una o varias especies o global).
Debido a la importancia del problema de la contaminacin de las aguas subterrneas se recomienda realizar un estudio ms profundo en espacios funcionales ms
generales.

116

Captulo 6. Conclusiones y recomendaciones

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

Captulo 6. Conclusiones y recomendaciones

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

Captulo 6. Conclusiones y recomendaciones

[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

Captulo 6. Conclusiones y recomendaciones

[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

You might also like