You are on page 1of 170

MODELAMIENTO Y SIMULACIN DE FLUJO DE AGUA EN LA

ZONA NO SATURADA EN DOS DIMENSIONES

DAVID ALONSO BARAJAS SOLANO

UNIVERSIDAD INDUSTRIAL DE SANTANDER


FACULTAD DE INGENIERAS FISICOMECNICAS
ESCUELA DE INGENIERA CIVIL
BUCARAMANGA
2008

MODELAMIENTO Y SIMULACIN DE FLUJO DE AGUA EN LA


ZONA NO SATURADA EN DOS DIMENSIONES

DAVID ALONSO BARAJAS SOLANO

TRABAJO DE GRADO PARA OPTAR AL TTULO DE


INGENIERO CIVIL

DIRECTOR
JORGE ALBERTO GUZMN JAIMES, M.Sc.
INGENIERO CIVIL

UNIVERSIDAD INDUSTRIAL DE SANTANDER


FACULTAD DE INGENIERAS FISICOMECNICAS
ESCUELA DE INGENIERA CIVIL
BUCARAMANGA
2008

A Dios, Mis Padres, Hermanos,


Universidad y Amigos.

IL UU OD DM GI FK AE FS NV NI TS AF DF JN BL SK ZE NX PK UK OV OC UE TJ UG JJ AC OC CL DL UG UN KO CL
ED FO CL GI GB UN KO OU KL OU DL UG JV WB DF TY SB JI YR OJ BL MV

AGRADECIMIENTOS
Al Profesor Jorge Alberto Guzmn Jaimes, por la magnfica oportunidad de trabajar con l
en este proyecto, su orientacin precisa y su incondicional apoyo.
Al Grupo en Prediccin y Modelamiento Hidroclimtico, GPH, encabezado por la Dra.
Sully Gmez Isidro, por toda la colaboracin prestada durante el desarrollo de este
proyecto.
Al Grupo de Investigacin en Materiales y Estructuras, INME, en especial a los Profesores
Gustavo Chio Cho y Esperanza Maldonado Rondn, por facilitar no slo las instalaciones
fsicas para realizar este trabajo, sino tambin un ambiente agradable y productivo.
Al Centro de Investigacin en Simulacin y Control de Procesos, CYSIC, de la Escuela de
Ingeniera Qumica, y al Profesor Viatcheslav Kafarov, por permitirme utilizar sus recursos
de computacin para obtener varios de los resultados consignados en este documento.

CONTENIDO
1.

PRESENTACIN DEL PROYECTO .......................................................................... 21


1.1.

INTRODUCCIN ................................................................................................ 21

1.2.

OBJETIVOS........................................................................................................ 22

1.2.1.
1.2.2.
1.3.
2.

Objetivo General ......................................................................................... 22


Objetivos Especficos.................................................................................. 22

Antecedentes ...................................................................................................... 22

MARCO TERICO ..................................................................................................... 24


2.1.

ECUACIONES DIFERENCIAS PARCIALES DE SEGUNDO ORDEN .............. 24

2.1.1.
Solucin numrica de EDPs ....................................................................... 24
2.1.1.1. Discretizacin espacial ........................................................................... 25
2.1.1.2. Relaciones entre funciones discretas ..................................................... 26
2.1.1.3. Discretizacin temporal ........................................................................... 26
2.1.1.4. Solucin de sistema de ecuaciones lineales .......................................... 27
2.1.1.5. Mtodos de solucin numrica del problema de flujo en medio poroso . 27
2.2.

DINMICA DEL AGUA EN EL MEDIO NO SATURADO ................................... 28

2.2.1.
2.2.2.
2.3.

PROPIEDADES HIDRULICAS DE LOS SUELOS ........................................... 35

2.3.1.
2.3.2.
3.

Ecuacin de Richards ................................................................................. 30


Condiciones Iniciales y de Frontera ............................................................ 34
Modelos analticos de las propiedades hidrulicas..................................... 37
Representacin numrica de las propiedades de suelos ........................... 41

MTODO DE DIFERENCIAS FINITAS ...................................................................... 43


3.1.

INTRODUCCIN AL MTODO DE DIFERENCIAS FINITAS (MDF)................. 43

3.2.

DISCRETIZACIN DE LA REGIN DE FLUJO ................................................ 46

3.3.

IMPLEMENTACIN DEL MTODO DE DIFERENCIAS FINITAS ..................... 49

3.3.1.
Formulacin del mtodo ............................................................................. 49
3.3.2.
Condiciones de frontera .............................................................................. 52
3.3.2.1. Condiciones de Dirichlet ......................................................................... 53
3.3.2.2. Condiciones de Neumann ....................................................................... 54
3.3.3.
Estructura de las matrices de coeficientes ................................................. 59
3.3.4.
Forma basada en la presin de poros de la Ecuacin de Richards ........... 61
3.4.

INTEGRACIN TEMPORAL .............................................................................. 62

3.4.1.
3.4.2.
3.4.3.

Esquema 1 .................................................................................................. 62
Esquema 2 .................................................................................................. 64
Esquema 3 .................................................................................................. 66

3.5.
4.

ESFUERZO COMPUTACIONAL Y CONVERGENCIA ...................................... 67

MTODO DE ELEMENTOS FINITOS ....................................................................... 74


4.1.

INTRODUCCIN AL MTODO DE ELEMENTOS FINITOS (MEF) .................. 74

4.2.

EL MTODO DE GALERKIN ............................................................................. 75

4.3.

DISCRETIZACIN DE LA REGIN DE FLUJO ................................................ 76


1.
2.
3.
4.

Aproximacin del dominio ....................................................................... 77


Malla de elementos finitos ...................................................................... 77
Aproximacin de las condiciones de borde ............................................ 77
Aproximacin del espacio V .................................................................. 77

4.4.

FUNCIONES DE FORMA ................................................................................... 79

4.5.

IMPLEMENTACIN DEL MTODO DE ELEMENTOS FINITOS ...................... 82

4.5.1.
Formulacin general ................................................................................... 82
4.5.2.
Elemento triangular ..................................................................................... 84
4.5.3.
Elemento rectangular .................................................................................. 86
4.5.4.
Condiciones de frontera .............................................................................. 88
4.5.4.1. Condiciones de Neumann ....................................................................... 88
4.5.4.2. Condiciones de Dirichlet ......................................................................... 89
4.5.5.
Estructura de las matrices de coeficientes ................................................. 91
4.5.6.
Forma basada en la presin de la ecuacin de Richards ........................... 93
4.6.

INTEGRACIN TEMPORAL .............................................................................. 94

4.6.1.
4.6.2.
4.6.3.
4.7.

CONCENTRACIN ARTIFICIAL DE MASA ...................................................... 98

4.7.1.
5.

6.

Esquema 1 .................................................................................................. 95
Esquema 2 .................................................................................................. 95
Esquema 3 .................................................................................................. 97
Esfuerzo computacional y convergencia .................................................. 106

MTODO DEL GRADIENTE CONJUGADO ............................................................ 112


5.1.

CONCEPTOS BSICOS .................................................................................. 113

5.2.

PRECONDICIONAMIENTO ............................................................................. 116

5.3.

FACTORIZACIN INCOMPLETA DE CHOLESKY ......................................... 116

5.4.

IMPLEMENTACIN DEL MTODO DEL GRADIENTE CONJUGADO ........... 120

SOLUCIN NUMRICA DEL PROBLEMA DE FLUJO EN MEDIOS POROSOS ... 122


6.1.

CONSERVACIN DE MASA ........................................................................... 122

6.1.1.
6.1.2.
6.1.3.
6.2.

ndice de balance de masa para el mtodo de elementos finitos ............. 123


ndice de balance de masa para el mtodo de diferencias finitas ............ 124
Comparacin entre esquemas de integracin temporal ........................... 125

FLUJO EN MEDIO SATURADO ....................................................................... 131

6.3.
EFECTO DE LA DESCRIPCIN DE LAS PROPIEDADES DE LOS
MATERIALES ............................................................................................................... 137
7.

RESULTADOS NUMRICOS .................................................................................. 141

8.

CONCLUSIONES ..................................................................................................... 158


8.1.

ESQUEMAS DE DISCRETIZACIN ESPACIAL ............................................. 158

8.2.

ESQUEMAS DE INTEGRACIN TEMPORAL ................................................. 159

8.3.

ESFUERZO COMPUTACIONAL Y CONVERGENCIA .................................... 160

8.4.

SOLUCIN DE SISTEMAS DE ECUACIONES LINEALES ............................. 160

8.5.
REPRESENTACIN NUMRICA DE LAS PROPIEDADES DE LOS
MATERIALES ............................................................................................................... 161
9.

RECOMENDACIONES ............................................................................................ 162

BIBLIOGRAFA ................................................................................................................ 163


ANEXOS .......................................................................................................................... 166

LISTA DE TABLAS
Tabla 2.1.

Ejemplos de parmetros del modelo van-Genutchen Mualem ................ 39

Tabla 3.1.

Datos de entrada para la simulacin 1. ................................................... 68

Tabla 4.1.

Grupos de datos de entrada para las simulaciones 2A y 2 ..................... 99

Tabla 7.1.

Datos de entrada para las simulaciones 5 y 6 ....................................... 143

Tabla A.9.1.

Tabla de propiedades de materiales para el suelo de prueba.


Resolucin = 1.50 ......................................................................... 166
i +1

Tabla A.9.2.

Tabla de propiedades de materiales para el suelo de prueba.


Resolucin = 1.25 ......................................................................... 167
i +1

LISTA DE FIGURAS
Figura 2.1.

Ejemplo de la solucin de una ecuacin diferencial parcial


parablica bidimensional: (a) Geometra del dominio de
simulacin . (b) Solucin exacta de en para el tiempo t . .............. 25

Figura 2.2.

Proceso de discretizacin espacial. ........................................................ 26

Figura 2.3.

Perfil de presin de poros para una columna de suelo en estado


estable con nivel fretico. ........................................................................ 29

Figura 2.4.

Flujo a travs de un elemento infinitesimal de suelo. Adaptada de


De Laat (2001). ........................................................................................ 31

Figura 2.5.

Funciones ( ) y K ( ) para el suelo arena Haverkamp


(Haverkamp et al., 1977) ......................................................................... 36

Figura 2.6.

Ejemplo de una curva de retencin de agua mostrando el efecto de


histresis. Se muestran la curva de secado ( ) y la curva de
d

humedecimiento

( ) . Adaptado de imunek et al. (2005) ................... 37

Figura 2.7.

Curvas de retencin de agua para los suelos Limo arcilloso, Arcilla


arenosa y Nuevo Mxico 1ra. capa .................................................... 40

Figura 2.8.

Conductividad hidrulica en funcin de la presin de poros para los


suelos Limo arcilloso, Arcilla arenosa y Nuevo Mxico 1ra.
capa ........................................................................................................ 40

Figura 2.9.

Estructura de la tabla de propiedades de materiales ............................... 41

Figura 3.1.

Dominio rectangular bidimensional discretizado en diferencias. ............. 44

Figura 3.2.

Deduccin de las frmulas de diferencias finitas. .................................... 45

Figura 3.3.

Clasificacin de dominios segn la forma de su frontera: (a)


Dominio regular. (b) Dominio irregular. .................................................... 47

Figura 3.4.

Clasificacin de los nodos de la discretizacin en diferencias ................ 48

Figura 3.5.

Longitudes y reas aferentes de los nodos de la grilla de diferencias


finitas........................................................................................................ 48

Figura 3.6.

Situacin general de un nodo regular interno. ......................................... 50

Figura 3.7.

Situacin general de un nodo regular externo ......................................... 55

Figura 3.8.

Clasificacin de nodos regulares externos .............................................. 56

Figura 3.9.

La estructura de la matriz global y las conectividades entre nudos


de la grilla de diferencias finitas ............................................................... 60

Figura 3.10.

Metodologa de almacenamiento de la matriz de coeficientes ................ 60

Figura 3.11.

Geometra del dominio de simulacin para las simulaciones 1, 2A y


2B............................................................................................................. 68

Figura 3.12.

Perfil de presin en la columna central de para la simulacin 1,


suelo luego de 0.3 horas de infiltracin. Mtodo de diferencias
finitas........................................................................................................ 69

Figura 3.13.

Variacin de la cabeza de presin a diferentes profundidades para


la simulacin 1 t = 7.5 s. Mtodo de diferencias finitas.
Profundidades en cm ............................................................................... 69

Figura 3.14.

Nmero de iteraciones como funcin del nivel temporal para la


Simulacin 1, usando el mtodo de diferencias finitas. z = 1.5 cm.
20 primeros niveles temporales. .............................................................. 71

Figura 3.15.

Proceso de convergencia en la solucin de la presin en la


superficie del dominio de flujo, usando el mtodo de diferencias
finitas. Simulacin 2A. t =7.5 s ............................................................... 71

Figura 3.16.

Proceso de convergencia en la solucin de la presin en la


superficie del dominio de flujo, usando el mtodo de diferencias
finitas. Simulacin 2A. t =15 s ................................................................ 72

Figura 3.17.

Proceso de convergencia en la solucin de la presin en la


superficie del dominio de flujo, usando el mtodo de diferencias
finitas. Simulacin 2A. t =30 s ................................................................ 72

Figura 3.18.

Nmero de iteraciones como funcin del nivel temporal para la


Simulacin 1, usando el mtodo de diferencias finitas. z = 0.75 cm.
20 primeros niveles temporales ............................................................... 73

Figura 4.1.

Aproximacin del dominio ........................................................................ 78

Figura 4.2.

Particin del dominio en elementos finitos ............................................... 78

Figura 4.3.

Frontera propia y rea aferente de nodos de la malla de elementos


finitos........................................................................................................ 79

Figura 4.4.

Funciones de forma para el caso bidimensional ...................................... 80

Figura 4.5.

Funciones de coordenadas como frmula de interpolacin .................... 81

Figura 4.6.

Funciones de coordenadas como la combinacin de funciones de


coordenadas elementales ........................................................................ 81

Figura 4.7.

Elemento triangular .................................................................................. 85

Figura 4.8.

Elemento rectangular ............................................................................... 87

Figura 4.9.

La estructura de las matrices globales y las conectividades entre


nudos de la malla de elementos finitos .................................................... 92

Figura 4.10.

Metodologa de almacenamiento de las matrices globales de


conductancia y capacitancia .................................................................... 92

Figura 4.11.

Perfil de presin en la columna central de suelo luego de 0.3 horas


de infiltracin, usando matrices de masa consistentes. Grupo de
datos 2A ................................................................................................. 100

Figura 4.12.

Perfil de presin en la columna central de suelo luego de 24 horas


de infiltracin, usando matrices de masa consistentes. Grupo de
datos 2B ................................................................................................. 100

Figura 4.13.

Perfil de presin en la columna central de suelo luego de 24 horas


de infiltracin, usando matrices de masa consistentes. Grupo de
datos 2B. t =1.2 min ............................................................................. 101

Figura 4.14.

Variacin de la cabeza de presin a diferentes profundidades para


el grupo de datos 2A, usando matrices de masa consistentes. t =
7.5 s. Profundidades en cm ................................................................... 102

Figura 4.15.

Variacin de la cabeza de presin a diferentes profundidades para


el grupo de datos 2B, usando matrices de masa consistentes. t =
1.2 min. Profundidades en cm ............................................................... 102

Figura 4.16.

Perfil de presin en la columna central de suelo luego de 0.3 horas


de infiltracin, usando matrices de masa concentradas. Grupo de
datos 2A. x =1.5 cm ............................................................................. 104
3

Figura 4.17.

Perfil de presin en la columna central de suelo luego de 24 horas


de infiltracin, usando matrices de masa concentradas. Grupo de
datos 2B. x =2.5 cm ............................................................................. 104
3

Figura 4.18.

Variacin de la cabeza de presin a diferentes profundidades para


el grupo de datos 2A, usando matrices de masa concentradas. t =
7.5 s. Profundidades en cm ................................................................... 105

Figura 4.19.

Variacin de la cabeza de presin a diferentes profundidades para


el grupo de datos 2B, usando matrices de masa concentradas. t =
1.2 min. Profundidades en cm ............................................................... 105

Figura 4.20.

Nmero de iteraciones como funcin del nivel temporal y la


estructura de las matrices de masa. Grupos de datos 2A. t = 7.5 s.
10 primeros niveles temporales ............................................................. 107

Figura 4.21.

Nmero de iteraciones como funcin del nivel temporal y la


estructura de las matrices de masa. Grupos de datos 2B. t = 1.2
min. 50 primeros niveles temporales ..................................................... 107

Figura 4.22.

Variacin de la presin de poros en la superficie del dominio de flujo


en funcin del tiempo, usando matrices de masa concentradas.
Grupo de datos 2A ................................................................................. 109

Figura 4.23.

Proceso de convergencia en la solucin de la presin en la


superficie del dominio de flujo, usando matrices de masa
concentradas. Grupo de datos 2A. t =7.5 s ......................................... 109

Figura 4.24.

Proceso de convergencia en la solucin de la presin en la


superficie del dominio de flujo, usando matrices de masa
concentradas. Grupo de datos 2A. t =30 s .......................................... 110

Figura 4.25.

Proceso de convergencia en la solucin de la presin en la


superficie del dominio de flujo, usando matrices de masa
concentradas. Grupo de datos 2A. t =120 s ........................................ 110

Figura 5.1.

Aplicacin del mtodo del gradiente conjugado a un problema


bidimensional ......................................................................................... 120

Figura 6.1.

Perfil de presin en la columna central de suelo luego de 0.3 horas


de infiltracin, usando los esquemas 1 y 2 de integracin temporal y
el mtodo de elementos finitos. Grupo de datos 2A. t =7.5 s .............. 127

Figura 6.2.

Variacin del ndice de Balance de masa como funcin de t , para


los esquemas 1 y 2 de integracin temporal y el mtodo de
elementos finitos. Grupo de datos 2A .................................................... 127

Figura 6.3.

Perfil de presin en la columna central de suelo luego de 24 horas


de infiltracin, usando los esquemas 1 y 2 de integracin temporal y
el mtodo de elementos finitos. Grupo de datos 2B. t =0.6 min .......... 128

Figura 6.4.

Variacin del ndice de Balance de masa como funcin de t , para


los esquemas 1 y 2 de integracin temporal y el mtodo de
elementos finitos. Grupo de datos 2B .................................................... 128

Figura 6.5.

Perfil de presin en la columna central de suelo luego de 24 horas


de infiltracin, usando el esquema 1 y el mtodo de elementos
finitos. Grupo de datos 2B. x =1.25 cm. ndice de Balance de
Masa, BM = 0.8668 ................................................................................ 129
3

Figura 6.6.

Variacin del ndice de Balance de masa como funcin de t , para


el esquema 2 de integracin temporal, usando elementos finitos y
diferencias finitas. Grupo de datos 2B ................................................... 130

Figura 6.7.

Flujo a travs de la frontera superior del dominio. Grupo de datos B.


t =1.2 min ............................................................................................. 130

Figura 6.8.

Geometra del dominio de flujo para la simulacin 3 ............................. 132

Figura 6.9.

Variacin de la cabeza de presin a diferentes profundidades para


la simulacin 3, usando el esquema 2 de integracin temporal y el
mtodo de elementos finitos. t = 120 s. Profundidades en cm ............ 134

Figura 6.10.

Variacin de la cabeza de presin a diferentes profundidades para


la simulacin 3, usando el esquema 2 de integracin temporal y el
mtodo de elementos finitos. t = 60 s. Profundidades en cm .............. 134

Figura 6.11.

Variacin de la cabeza de presin a diferentes profundidades para


la simulacin 3, usando el esquema mixto de integracin temporal y
el mtodo de elementos finitos. t = 120 s. Profundidades en cm ........ 135

Figura 6.12.

Variacin de la cabeza de presin a diferentes profundidades para


la simulacin 3, usando el esquema mixto de integracin temporal y
el mtodo de elementos finitos. t = 60 s. Profundidades en cm .......... 135

Figura 6.13.

Variacin de la cabeza de presin a diferentes profundidades para


la simulacin 3, usando el esquema mixto de integracin temporal y
el mtodo de diferencias finitas. t = 120 s. Profundidades en cm ........ 136

Figura 6.14.

Variacin de la cabeza de presin a diferentes profundidades para


la simulacin 3, usando el esquema mixto de integracin temporal y
el mtodo de diferencias finitas. t = 120 s. Profundidades en cm ........ 136

Figura 6.15.

Geometra del dominio de flujo para la simulacin 4 ............................. 137

Figura 6.16.

Variacin de la cabeza de presin a diferentes profundidades,


usando la Tabla 1 de propiedades de materiales y el mtodo de
elementos finitos. t = 10 s. Profundidades en cm ................................ 139

Figura 6.17.

Variacin de la cabeza de presin a diferentes profundidades,


usando la Tabla 1 de propiedades de materiales y el mtodo de
diferencias finitas. t = 10 s. Profundidades en cm ............................... 139

Figura 6.18.

Variacin de la cabeza de presin a diferentes profundidades,


usando la Tabla 2 de propiedades de materiales y el mtodo de
elementos finitos. t = 10 s. Profundidades en cm ................................ 140

Figura 6.19.

Variacin de la cabeza de presin a diferentes profundidades,


usando la Tabla 1 de propiedades de materiales y el mtodo de
diferencias finitas. t = 10 s. Profundidades en cm ............................... 140

Figura 7.1.

Geometra del dominio de flujo para las simulaciones 5 y 6 .................. 142

Figura 7.2.

Variacin de la presin de poros para la Simulacin 5. Mtodo de


elementos finitos. ................................................................................... 144

Figura 7.3.

Variacin de la presin de poros para la Simulacin 5. Mtodo de


diferencias finitas ................................................................................... 145

Figura 7.4.

Variacin de la presin de poros para la Simulacin 5. Figuras (a) y


(c): Resultados publicados en Bouloutas (1989). Figuras (b) y (d):
Resultados obtenidos usando SIMFLUX y el mtodo de elementos
finitos...................................................................................................... 146

Figura 7.5.

Variacin de la presin de poros para la Simulacin 5. Figuras (a) y


(c): Resultados publicados en Bouloutas (1989). Figuras (b) y (d):
Resultados obtenidos usando SIMFLUX y el mtodo de elementos
finitos...................................................................................................... 147

Figura 7.6.

Variacin de la presin de poros para la Simulacin 6. Mtodo de


diferencias finitas ................................................................................... 148

Figura 7.7.

Geometra del dominio de flujo para la Simulacin 7 (adaptado de


Avellaneda (2003))................................................................................. 149

Figura 7.8.

Variacin de la presin de poros para la Simulacin 7. Mtodo de


elementos finitos .................................................................................... 150

Figura 7.9.

Variacin de la presin de poros para la Simulacin 7. Mtodo de


diferencias finitas ................................................................................... 151

Figura 7.10.

Variacin de la presin de poros para la Simulacin 7. Resultados


publicados en Avellaneda (2003) ........................................................... 152

Figura 7.11.

Geometra del dominio de flujo para (a) la Simulacin 8, y (b) la


Simulacin 9 .......................................................................................... 153

Figura 7.12.

Variacin de la presin de poroso para la Simulacin 8 ........................ 154

Figura 7.13.

Variacin de la presin de poros para la Simulacin 9 .......................... 155

Figura 7.14.

Simulacin 10: Flujo permanente bajo una presa. Los niveles de


agua son de 10 m aguas arriba y 1 m aguas abajo (adaptado de
Avellaneda (2003)) ................................................................................. 156

Figura 7.15.

Variacin del potencial de agua para la Simulacin 10. (a) Malla de


elementos finitos utilizada para la simulacin. (b) Resultados
obtenidos usando SIMFLUX y el mtodo de elementos finitos. (c)
Resultados publicados en Avellaneda (2003) ........................................ 157

LISTA DE ALGORITMOS
Algoritmo 3.1.

Manejo de la no linealidad del problema en el esquema de


integracin temporal 1 ............................................................................. 64

Algoritmo 3.2.

Manejo de la no linealidad del problema en el esquema de


integracin temporal 2 ............................................................................. 66

Algoritmo 3.3.

Manejo de la no linealidad del problema en el esquema de


integracin temporal 3 ............................................................................. 67

Algoritmo 4.1.

Manejo de la no linealidad del problema en el esquema de


integracin temporal 1 ............................................................................. 96

Algoritmo 4.2.

Manejo de la no linealidad del problema en el esquema de


integracin temporal 2 ............................................................................. 97

Algoritmo 4.3.

Manejo de la no linealidad del problema en el esquema de


integracin temporal 3 ............................................................................. 98

Algoritmo 5.1.

Mtodo del gradiente conjugado............................................................ 115

Algoritmo 5.2.

Mtodo del gradiente conjugado precondicionado ................................ 117

Algoritmo 5.3. Factorizacin incompleta de Cholesky sin relleno .................................... 119


Algoritmo A.9.1. Clculo de los coeficientes del spline cbico de interpolacin .............. 170

LISTA DE ANEXOS
ANEXO A: Ejemplos de tablas de propiedades de materiales

166

ANEXO B: Interpolacin mediante splines cbicos

168

RESUMEN
TTULO:

MODELAMIENTO Y SIMULACIN DE FLUJO DE AGUA EN LA ZONA NO


SATURADA EN DOS DIMENSIONES*

AUTOR:

DAVID ALONSO BARAJAS SOLANO**

PALABRAS CLAVE:
Ecuacin de Richards, Simulacin Numrica, Zona no saturada, Dos dimensiones,
Gradiente conjugado.
RESUMEN:
En el presente trabajo se estudia el modelo matemtico del flujo de agua en medios
porosos, conocido como Ecuacin de Richards, y se plantean varios esquemas de
solucin numrica para ste, usando los mtodos de elementos finitos y diferencias finitas
para la discretizacin espacial, y el mtodo de diferencias finitas para la discretizacin
temporal. Para evaluar la utilidad de los esquemas de solucin propuestos, se ha
evaluado el comportamiento de cada uno de ellos en funcin de la validez fsica de sus
resultados, y a partir de esto se ha elaborado un esquema nico que pueda utilizarse para
aproximar una solucin para los casos estudiados. El estado de flujo arrojado por el
esquema de solucin definitivo se compar con resultados de otros simuladores
numricos encontrados en la literatura especializada, obteniendo concordancia
satisfactoria.
La solucin de los sistemas de ecuaciones lineales asociados se realiz utilizando el
mtodo del gradiente conjugado precondicionado (PCG), usando la factorizacin
incompleta de Cholesky (IC) de la matriz de coeficientes como precondicionador. Se
utilizaron las ventajas propias de la aplicacin de los mtodos de diferencias finitas y
elementos finitos al problema de flujo en medio poroso, para construir un sistema de
almacenamiento de matrices grandes que facilita el proceso mediante PCG.
Para efectos del proceso de simulacin, se elabor un conjunto de funciones para el
ambiente numrico MATLAB (Versin 7.4 R2007b), denominado SIMFLUX v0.1, que
permite al usuario obtener soluciones numricas del problema de flujo estudiado.

__________________
*
**

Proyecto de Grado
Facultad de Ingenieras Fisicomecnicas, Escuela de Ingeniera Civil. Director: Jorge Alberto

ABSTRACT
TITLE:

MODELING AND SIMULATION OF WATER FLOW IN THE UNSATURED


ZONE IN TWO DIMENSIONS *

AUTHOR: DAVID ALONSO BARAJAS SOLANO**


KEYWORDS:
Richards Equation, Numerical Simulation, Unsaturated zone, Two dimensions, Conjugate
gradient.
ABSTRACT:
This work studies the mathematical model of water flow in porous media, known as
Richards equation, and poses various numerical solution schemes, using the finite
element method and finite difference method for spatial discretization, and the finite
difference method for temporal discretization. In order to evaluate the applicability of the
proposed solution schemes, the behavior of each one of these has been evaluated in
terms of the physical validity of the results obtained. Based on this discussion, a single
scheme able to approximate a solution for the studied cases has been proposed. The
state of flow obtained by the definitive schema has been compared with results by other
numerical simulators consigned in the specialized literature, for a satisfactory agreement
between those.
The solution of the linear equations systems associated was done using the conjugate
gradient method (PCG) with Incomplete Cholesky factorization (IC) of the coefficient matrix
as preconditioner. The particular advantages of the application of the finite differences and
finite element methods to the solution of the porous media flow problem where exploited in
order to develop a large-matrix storing methodology which facilitates the process using
PCG.
For the sake of the simulation process, a toolbox of functions for the MATLAB numerical
environment (Version 7.4 R2007b), which allows potential users to obtain numerical
solutions to the studied flow problem. was built.

__________________
*
**

Degree Work
Physical-Mechanical Engineering Faculty, Department of Civil Engineering. Director: Jorge Alberto Guzmn Jaimes.

1. PRESENTACIN DEL PROYECTO


1.1. INTRODUCCIN
El agua se encuentra almacenada en nuestro planeta de diferentes maneras, entre ellas,
los grandes cuerpos superficiales (e.g., mares, ocanos, ros, el hielo polar etc.) y los
depsitos subsuperficiales. Un pequeo porcentaje de esta agua se encuentra fijado entre
la superficie y la zona saturada en forma de humedad del suelo, pero aunque reducido,
juega un papel importante en el ciclo del agua, la recarga de acuferos, el intercambio de
energa entre la superficie de la tierra y la atmsfera, y la estabilidad de las masas de
suelo y roca, entre otras cosas (De Laat, 2001). La importancia prctica de esta forma de
agua para el hombre salta a la vista con facilidad: Los hechos anteriores indican que el
comportamiento del agua en la zona no saturada afecta un amplio espectro de actividades
humanas, desde la agricultura hasta la geotecnia, cada una de ellas bsicas para la
subsistencia del hombre y el desarrollo de su vida en comunidad. En virtud de esta
realidad, muchos ingenieros y cientficos han dedicado su vida y sus estudios a la
investigacin y comprensin de la mecnica que gobierna el comportamiento de la
humedad del suelo.
Los modelos matemticos modelos abstractos que usan el lenguaje matemtico para
describir un sistema real- son generalmente el punto de partida de las investigaciones en
muchas ramas de la ciencia y la ingeniera, y el caso del estudio de la humedad del suelo
no es la excepcin. El modelo matemtico del comportamiento del agua en la zona no
saturada es la Ecuacin de Richards, la cual resulta de la aplicacin del principio de
conservacin de la masa, y la ley de Darcy a un elemento infinitesimal de suelo;
Lastimosamente, esta ecuacin posee caractersticas que hacen que sea difcil obtener
de ella una solucin analtica sencilla y general, por lo que, deseando poder hacer
predicciones a partir de ella, muy buena parte de los esfuerzos de la comunidad cientfica
se han volcado a abordar este problema desde el punto de vista numrico.
Es en este contexto del anlisis numrico de la ecuacin de Richards donde se ubica el
presente proyecto de grado, el cual busca construir un modelo de solucin del flujo de
humedad en la zona no saturada, sometido a ciertas restricciones, y analizar el
comportamiento de sus resultados. Nuestro pas cuenta con grandes y ricos recursos
hdricos subsuperficiales, que pueden ser explotados para el beneficio de la poblacin
nacional slo en la medida en que se estudien y comprendan los fenmenos relacionados
a ellos. Este trabajo tiene, por tanto, la aspiracin de unirse a la obra de otros cientficos
en el orden nacional, para sentar las bases de la investigacin de la dinmica de la
humedad del suelo en Colombia, a partir de la cual se pueda realizar una administracin
efectiva y responsable de estos recursos.

21

1.2. OBJETIVOS
1.2.1. Objetivo General
-

Desarrollar un modelo de simulacin del flujo de humedad de suelo en la zona no


saturada en dos dimensiones a partir de una solucin numrica de la Ecuacin de
Richards en el plano, que pueda aplicarse a perfiles compuestos por capas de
suelo de diferentes propiedades.

1.2.2. Objetivos Especficos


-

Plantear e implementar una solucin numrica vlida de la Ecuacin de Richards


en dos dimensiones.

Comparar los resultados obtenidos con el modelo desarrollado contra resultados


experimentales realizados por otros investigadores, y arrojados por otros modelos
cuya validez ya ha sido establecida.

Desarrollar un conjunto de herramientas computacionales que facilite al usuario el


ingreso de datos de entrada de una simulacin y arroje los resultados de una
manera organizada y fcil de comprender.

1.3. Antecedentes
Las fundaciones fsicas del estudio del movimiento del agua en la zona no saturada
fueron colocadas desde Leonardo da Vinci con su observacin del fenmeno de ascenso
capilar, la introduccin de la idea de fuerza gravitacional por parte de Isaac Newton, y el
concepto de capilaridad, inicialmente propuesto por Johann Andreas von Segner, y ms
adelante desarrollado por Thomas Young y Pierre Simon Laplace. Otros desarrollos
cientficos no directamente relacionados con la mecnica de suelos contribuyeron de
manera importante a construir las bases fsicas y matemticas; entre ellos, la teora del
flujo de calor debido a un gradiente de temperatura introducida por Jean Baptiste Joseph
Fourier, y la subsecuente formulacin de la muy conocida ecuacin que lleva su nombre
(Rolston, 2007).
El primer avance significativo en la construccin de la teora del movimiento de agua en
medios porosos es el estudio de Darcy publicado en 1856, el cual establece que el flujo
de agua es directamente proporcional al gradiente hidrulico y a una constante de
proporcionalidad llamada conductividad hidrulica. La formulacin de lo que se conoce
como Ley de Darcy, fue realizado en Alemania por Von Weitschkowsky en 1884,
probablemente de manera independiente (Kutilek y Novak, 1997). Tambin, sin conocer
los estudios de Darcy (Sposito, 1986), Buckingham present en 1907 su propia ecuacin,
en la cual reconoci que el flujo de agua en un medio no saturado est fuertemente
condicionado por contenido de humedad. Ms adelante, en 1927, Israelson cerr el
crculo al observar la equivalencia entre las ecuaciones de Darcy y Buckingham (De Laat,
2001).

22

El salto cualitativo que trae todos estos aportes de hace ms de 80 aos a la actualidad,
lo realiz Lorenzo Adolph Richards, quien en 1931 aplic la ecuacin de continuidad a la
Ley de Buckingham-Darcy para obtener una ecuacin diferencial parcial. Es a partir de
esta expresin que varios ingenieros y cientficos han trabajado durante los ltimos 70
aos para modelar y predecir el comportamiento del agua en medios porosos no
saturados.
Una primera aproximacin al problema planteado por la ecuacin de Richards es la
solucin analtica. Si se especifican modelos analticos que describan las propiedades de
los suelos, es posible encontrar soluciones analticas para la infiltracin, algunas
aproximadas como las de Broadbridge y White (1988) y Salvucci (1993), o exactas, como
las de Basha (1999; 2002), o Zhu y Mohanty (2002), pero todas basadas en grandes
simplificaciones hechas a la descripcin del suelo y restricciones a las condiciones de
aplicacin.
En vista de las limitaciones que presentan las soluciones analticas, a lo largo de las
dcadas pasadas se han desarrollados varias rutinas numricas que hacen uso de
diferentes esquemas numricos: el mtodo de diferencias finitas (Celia, Bouloutas y
Zarba, 1990; Ross, 1990), el mtodo de elementos finitos (Zienkiewicz y Pareck, 1970;
Neuman, 1973; imunek, van Genutchen y ejna, 2005) y el mtodo del elemento borde
(Brebbia y Walter, 1980). La aplicacin de cualquiera de estos mtodos supera la mayora
de los problemas presentados por las soluciones analticas, pero consumen una cantidad
significativa de tiempo y recursos de clculo a medida que se aumenta la escala y periodo
de simulacin, o se presentan cambios abruptos en las condiciones de humedad. Vale
notar adems que la descripcin matemtica de ciertos tipos de suelos, como algunos
suelos granulares, puede provocar serios errores de convergencia e inestabilidades
numricas al ser utilizada junto con alguno de estos mtodos para simular el
comportamiento del flujo a travs de este tipo de suelos.
En la actualidad existe software para uso comercial como HYDRUS 2D/3D, GeoStudio
SEEP/W 2004 y GEO-SLOPE SEEP3D que permite solucionar problemas de flujo e
infiltracin para dominios de simulacin bidimensionales y tridimensionales, diferentes
configuraciones de suelo y condiciones de borde. Todos estos programas se facilitan en
versiones altamente limitadas para fines acadmicos y se encuentran a la venta para uso
comercial con precios bastante altos en comparacin a la mayora del software para uso
de oficina.

23

2. MARCO TERICO
2.1. ECUACIONES DIFERENCIAS PARCIALES DE SEGUNDO ORDEN
En la mecnica de medios continuos, se asume que los materiales satisfacen la hiptesis
del continuo, esto es, un cuerpo de cierto material se puede subdividir en elementos
infinitesimalmente pequeos, los cuales mantienen las propiedades del cuerpo original.
Bajo esta suposicin, es posible escribir las leyes fsicas que rigen el fenmeno en
cuestin usando el lenguaje del clculo diferencial, lo que permite obtener un conjunto de
ecuaciones a partir del cual se puede predecir el comportamiento del medio y sus
cantidades asociadas (Peral, 1995; Carnahan, Luther y Wilkes, 1969).
Las ecuaciones que se derivan de practicar un anlisis como el anterior a cierto problema
fsico, son generalmente del tipo diferencial parcial, y en muchos casos particulares, de
segundo orden. Las ecuaciones diferenciales parciales (EDPs) de segundo orden as
obtenidas generalmente se pueden clasificar en tres tipos, cada uno de los cuales tiene
un significado fsico asociado (olin, 2006):
-

Elpticas: Una EDP Elptica describe un cierto estado de un sistema fsico (e.g., el
estado estacionario), generalmente caracterizado por el mnimo de una cantidad,
como la energa.

Parablicas: En la mayora de los casos, una EDP parablica describe el proceso de


variacin de un sistema fsico hasta alcanzar un estado descrito por una EDP
elptica.

Hiperblicas: Una EDP elptica describe el transporte de alguna cantidad fsica (e.g.,
la ecuacin de onda).

El flujo de agua en medio poroso est gobernado por una ecuacin diferencial parcial de
tipo parablico (Feddes, Kabat, van Bakel, Bronswijk y Halbertsma, 1988), por lo que la
discusin a continuacin se limitar a este tipo de ecuaciones.

2.1.1. Solucin numrica de EDPs


Las ecuaciones diferenciales parciales, especialmente aquellas que se derivan de
problemas fsicos, son en general imposibles de resolver analticamente; de ah que estos
problemas generalmente se abordan desde el punto de vista numrico aproximado
(Chapra y Canale, 2003). Dada la importancia de este tipo de ecuaciones en la prctica
de la ciencia e ingeniera, es importante contar con herramientas y metodologas que
permitan obtener soluciones numricas que representen de manera razonable el
comportamiento de la variable dependiente.

24

El procedimiento que se ha seguido para obtener una solucin numrica de una EDP
parablica se puede resumir en cuatro pasos, los cuales se presentan de manera general
a continuacin. Con el fin de ilustrar este procedimiento, supngase que se desea
determinar cierta cantidad , gobernada por determinada ecuacin diferencial parablica,
en un dominio espacial bidimensional ( x, z ) y un dominio temporal t ( 0, T ) . La
geometra del dominio de simulacin y la solucin exacta de se pueden apreciar en la
Figura 2.1. Los pasos fundamentales de cualquier mtodo de solucin numrica son:

Figura 2.1.

Ejemplo de la solucin de una ecuacin diferencial parcial parablica bidimensional: (a) Geometra del
dominio de simulacin . (b) Solucin exacta de en para el tiempo t .

2.1.1.1. Discretizacin espacial


La discretizacin es el paso de un problema continuo complicado a uno discreto ms fcil
de resolver. En vez de obtener una expresin del valor de para cada punto del dominio
(problema continuo), los mtodos de solucin numrica buscan calcular una aproximacin
de , n , en ciertos puntos o nodos n de , organizados en una malla, tal como se
puede apreciar en la Figura 2.2 (problema discreto). Este proceso es equivalente a reducir
el problema de una ecuacin diferencial parcial a un sistema de ecuaciones diferenciales
ordinarias (EDOs). Sea N el nmero de nodos de la malla, entonces mediante la
discretizacin espacial, el problema se transforma a determinar la variacin de la cantidad
en cada nodo en el tiempo, esto es, determinar el conjunto N de funciones nicamente
dependientes del tiempo

{ ( t )}
n

n =1

, denominadas funciones discretas o nodales, las

cuales se obtienen de la solucin de un sistema de ecuaciones diferenciales ordinarias.


Es importante tener en cuenta que, durante este proceso, las condiciones de borde del
problema continuo deben transferirse al problema discreto teniendo cuidado de no violar
los principios fsicos del problema que se desea resolver.

25

2.1.1.2. Relaciones entre funciones discretas


Luego de construir la discretizacin del dominio espacial de simulacin, el paso a seguir
es establecer las relaciones entre las funciones n ( t ) , las cuales se derivan de la
geometra de la discretizacin espacial utilizada. Estas relaciones deben permitir reescribir
las derivadas espaciales de la EDP parablica como una combinacin lineal de las
funciones nodales, de modo que se eliminen todos los trminos de variacin espacial y
quede un sistema lineal de ecuaciones diferenciales ordinarias dependientes del tiempo.

Figura 2.2.

Proceso de discretizacin espacial.

2.1.1.3. Discretizacin temporal


En general, obtener una solucin analtica para el sistema de EDOs descrito
anteriormente no es posible. Los mtodos de solucin numrica buscan, por tanto,

26

obtener una aproximacin de n ( t ) slo para ciertos valores de la variable temporal,


conocidos como niveles temporales. La metodologa utilizada para calcular las
aproximaciones de n en cierto nivel temporal a partir de los niveles anteriores, se
conoce como esquema de integracin temporal, y el proceso de aplicar el esquema para
calcular el estado en un nuevo nivel se llama avance temporal. Los esquemas de
integracin temporal estudiados en el presente trabajo consisten esencialmente en reducir
la solucin del sistema de ecuaciones diferenciales ordinarias a la solucin de un sistema
lineal de ecuaciones algebraicas por cada avance temporal.

2.1.1.4. Solucin de sistema de ecuaciones lineales


Los sistemas lineales de ecuaciones algebraicas que resultan del proceso de avance
temporal generalmente estn compuestos por un nmero elevado de ecuaciones e
incgnitas, lo cual, como se estudiar con ms detalle es secciones subsecuentes, los
hace poco prcticos de resolver mediante la aplicacin de mtodos tradicionales de
solucin (e.g., Gauss o Gauss-Jordan), y obligan necesariamente al uso de enfoques
alternativos, como los mtodos de Gauss-Seidel, Jacobi, o el del Gradiente Conjugado.

2.1.1.5. Mtodos de solucin numrica del problema de flujo en medio poroso


Existe en la actualidad una gran cantidad de mtodos y estrategias para desarrollar cada
uno de los 4 pasos de la solucin mencionados anteriormente, pero para efectos del
presente trabajo, se concentrar la atencin en algunos de los mtodos ms adecuados
en el contexto de la solucin del problema de flujo en medio poroso, los cuales se
presentan a continuacin:
-

Discretizacin espacial y ensamblaje del sistema de EDOs: Para la discretizacin


espacial, los mtodos ms apropiados son el mtodo de diferencias finitos (MDF), el
mtodo de elementos finitos (MEF), y el mtodo de elementos de borde, cada uno
con ventajas y desventajas que los hacen ideales para la solucin de ciertos
problemas, pero indeseables para otros (Feddes et al., 1988). De los anteriores, an
as, slo se tratarn los mtodos MDF y MEF en la discusin subsecuente.

Discretizacin temporal: En cuanto a la discretizacin temporal, el mtodo de


diferencias finitas ofrece una forma simple y eficiente de manejar las derivadas con
respecto al tiempo (Feddes, et al.), y es por tanto el enfoque que se ha utilizado en
el presente documento para la integracin temporal.

Solucin de sistemas de ecuaciones lineales: Finalmente, la solucin de los


sistemas de ecuaciones lineales se ha realizado utilizando el mtodo del Gradiente
Conjugado, el cual es usado ampliamente en muchas reas de la mecnica
computacional (Burden y Faires, 2002; Bouloutas, 1989), y cuya aplicacin cuenta
con ventajas especiales en el caso del problema de flujo en medio poroso (vase la
Seccin 5.4).

27

2.2. DINMICA DEL AGUA EN EL MEDIO NO SATURADO


La idea ms importante introducida por Darcy en su estudio publicado en 1856 es que el
flujo del agua en un medio poroso es producto de un gradiente hidrulico que succiona el
agua. Buckingham, desde una perspectiva apoyada en la termodinmica, extendi esta
idea a la forma ms general de estados de energa, lo cual, aunque no introducido por l,
permiti considerar el efecto de otras formas de energa (e.g., trmica, elctrica y
gradiente de concentracin de solutos) en el movimiento del agua (Feddes et al., 1988). El
potencial de agua o de humedad en el suelo se define como la capacidad de cierta masa
de agua para hacer trabajo, en comparacin con la misma masa de agua pura libre, la
cual se considera tiene potencial igual a cero. El potencial de agua est compuesto por
los siguientes trminos (Feddes et al.):

= m + ex + en + os ,

(2.1)

El significado fsico de los trminos anteriores es:


-

m : Potencial mtrico. Producto de las interacciones locales entre la matriz de suelo


y el agua (e.g., cohesin del fluido y tensin superficial).

ex : Potencial debido a la presin externa de gases.

e n : Potencial debido a sobrecargas externas, las cuales son parcialmente


soportadas por el agua.

os : Potencial osmtico. Producto de la presencia de solutos en el agua.

Si existe una diferencia de elevacin entre la localizacin del agua y el dtum, se hace
necesario introducir el trmino de potencial gravitacional g . En la prctica de la ingeniera
es muy comn trabajar con potenciales expresados en forma de cabezas de energa, las
cuales tienen unidades de longitud (Feddes et al., 1988). El potencial de agua total se
escribe en forma de cabeza como H , y el potencial mtrico como , cantidad que se
conoce tambin como presin de poros. En trminos de potencial de humedad, la ley de
Darcy establece que el agua se mueve de las reas de menor potencial a las reas de
mayor potencial.
El otro aporte clave de Buckingham a la teora del flujo en medios porosos es haber
reconocido la relacin entre el movimiento de agua a travs de un suelo y su contenido de
humedad. De hecho, para cada suelo existe una relacin entre su contenido volumtrico
de humedad y su presin de poros , la cual se conoce como curva de retencin del

28

suelo (Avellaneda, 2003). Las propiedades y caractersticas de esta curva se estudian con
ms detalle en la siguiente seccin.
Si se asume que el flujo de agua como producto exclusivamente de los efectos mtricos y
gravitacionales, la cabeza hidrulica se escribe como H = x3 . Ahora, considrese el
perfil de suelo mostrado en la Figura 2.3.a, el cual se encuentra en estado hidrulico de
equilibro. El perfil presenta nivel fretico a 5 m de profundidad, esto es, el nivel donde la
presin de poros es igual a la presin atmosfrica ( = 0 ); si se ignora el ascenso de agua
por capilaridad, cualquier elemento de suelo por encima del nivel fretico est no saturado
( < 0 ), y por debajo est saturado ( > 0 ). Dado que el perfil se encuentra en equilibrio,
la variacin del potencial con la profundidad es nulo, esto es
dH d dx3 d
=

=
1 = 0
dx3 dx3 dx3 dx3

En virtud de lo anterior podemos decir que en estado de equilibrio, la presin de poros


vara a la par con la profundidad, esto es, d = dx3 . El perfil de presin de poros para el
suelo ser el mostrado en la Figura 2.3.b.

Figura 2.3.

Perfil de presin de poros para una columna de suelo en estado estable con nivel fretico.

(a)

(b)

29

2.2.1. Ecuacin de Richards


Inicialmente se realizar un anlisis de las ecuaciones que gobiernan el problema de flujo
en medio poroso, expresadas para el caso general de flujo tridimensional. Con este fin,
introdzcase la siguiente notacin de ndices, donde cantidades acompaadas por un solo
subndice representan componentes de un vector, y cantidades con dos subndices
componentes de matrices de segundo orden o tensores. Cuando un ndice aparezca dos
veces en una expresin algebraica, ste trmino debe ser sumado sobre todos los valores
admisibles del ndice en particular (Neuman, 1973). Las 3 coordenadas espaciales se
T
identifican con el vector { x} = ( x1 , x2 , x3 ) , donde x1 , x2 son las coordenadas horizontales, y

x3 es la coordenada vertical, tomada positiva a favor de la gravedad.


Usando la notacin y definiciones anteriores, la ley de Darcy toma la forma

qi = K ij

H
,
x j

(2.2)

donde {q} = ( q1 , q2 , q3 ) es el vector de descarga o flujo especfico y qi es la componente


T

de flujo de agua en la direccin xi . K ij ( xi , ) es el tensor de conductividad hidrulica, el


cual es funcin del espacio y del contenido volumtrico de humedad del suelo . Este
tensor es semidefinido positivo para el caso del paso del suelo del estado no saturado al
saturado (e.g., infiltracin), y definido positivo para el caso del paso del estado saturado a
parcialmente saturado (e.g., redistribucin de humedad en el suelo) (Woodward y
Dawson, 2000).
Para derivar la ecuacin de continuidad en medios porosos, considrese el elemento
infinitesimal de suelo de volumen V mostrado en la Figura 2.4, adaptada de De Laat
(2001). Supngase que el elemento est parcialmente saturado y que el contenido de
humedad es uniforme en todo su volumen. El balance de masa para flujo en la direccin
x1 es:
Flujo que entra al volumen:

qx x2 x3 t

Flujo que sale del volumen:

qx +x x2 x3 t

( q q
( q
=
x1

x1 +x1

Flujo neto:

) x x t
q )
x x x t

x1 +x1

x1

30

qx1
x1

V t

x1

donde es la densidad del agua. Se puede proceder de manera similar con las otras dos
direcciones espaciales para obtener expresiones similares a la anterior:

qx2

Flujo neto en direccin x2 :

x2
qx3

Flujo neto en direccin x3 :

x3

V t

V t

La variacin del contenido de agua en el volumen elemental durante el intervalo de tiempo


t , ignorando la capacidad de almacenamiento especfico de un acufero (esto es, la
habilidad del dominio de liberar agua de su estado de almacenamiento dado una variacin
en la cabeza de presin), est dada por ( )( V ) . Igualando esta expresin al flujo
neto, se tiene

qx1

( )( V ) =

x1

Figura 2.4.

qx2
x2

qx3
V t
x3

Flujo a travs de un elemento infinitesimal de suelo. Adaptada de De Laat (2001).

Si se desprecian las variaciones espaciales y temporales de la densidad del agua, y se


divide la expresin anterior por V ,

31

qx1 qx2 qx3

t
x1 x2
x3
Tomando lmites, se llega a la ecuacin diferencial de continuidad
q

= {q} = i
t
xi

(2.3)

Finalmente, reemplazando (2.2) en (2.3), se obtiene la ecuacin diferencial parcial

xi

Ki3 =
K ij
t
x j

(2.4)

Esta expresin es un caso particular de la ecuacin de Richards, en la que se asume que


el trmino de almacenamiento especfico es despreciable. Para los efectos del presente
documento, esta hiptesis es lo suficientemente verosmil como para trabajar con la
expresin (2.4). Una forma ms general de la ecuacin puede encontrarse en Neuman
(1973), Woodward et al. (2000) y Huyakorn et al. (1984).
Obsrvese que la ecuacin (2.4) est en trminos tanto de la presin de poros como
del contenido de humedad , por lo que se dice que es una forma mixta de la ecuacin
de Richards. Esta formulacin de la ecuacin es vlida tanto para el estado saturado,
donde la humedad es igual a la humedad de saturacin s y la conductividad hidrulica
igual a la conductividad de saturacin Kij ,sat , como para el estado no saturado, donde

> s y Kij , s > Kij > 0 ; adems, dado que el perfil de presin de poros es continuo an en
los cambios de material, la forma mixta es aplicable en dominios de simulacin
compuestos por diferentes tipos de suelo.
Es posible escribir (2.4) exclusivamente en trminos de la presin de poros haciendo una
sencilla transformacin. Usando la regla de la cadena, la derivada temporal de la ecuacin
de Richards se puede escribir como

=
= C ( )
t t
t

(2.5)

donde el trmino C ( ) = se conoce como capacidad especfica de humedad, y se


puede calcular si se conoce la relacin entre la presin de poros y el contenido de
humedad para el suelo en cuestin. Reemplazando esta relacin en (2.4), se llega a la
forma basada en la presin de la ecuacin de Richards:

xi

K i 3 = C ( )
K ij

x
t
j

32

(2.6)

La forma basada en la presin tambin puede aplicarse tanto en estado saturado como no
saturado, y admite diferentes materiales. Si se introduce el concepto de difusividad de
agua en el suelo D ( ) = K ij ( ) C ( ) , la ecuacin (2.4) puede escribirse exclusivamente
en trminos del contenido de humedad:

xi

Di 3 =
Dij

x j
t

(2.7)

Esta forma basada en la humedad tiene algunas desventajas significativas que hacen su
aplicacin poco prctica. El perfil del contenido de humedad, a diferencia del perfil de
presin, es discontinuo en la interfase entre materiales, pues el comportamiento de en
funcin de es diferente para cada material; adems, en estado saturado la difusividad
es, como se ver en la siguiente seccin, indeterminada, lo que hace que la ecuacin
(2.7) slo sea til para analizar el flujo en un medio parcialmente saturado.
Adicionales a las simplificaciones hechas hasta el momento, supngase adems que los
materiales que componen el dominio de simulacin son isotrpicos, esto es, sus
propiedades son independientes de la direccin en que se observen. Si este es el caso,
los elementos del tensor de conductividad hidrulica cumplen las relaciones
K11 = K 22 = K 33 = K , y K ij = 0 para i j . Reemplazando en (2.4), se obtiene la forma ms
simplificada

K
=
K

xi xi x3 t

(2.8)

Esta es la forma definitiva de la ecuacin de Richards con la que se va a trabajar en los


captulos a continuacin. En este caso, la conductividad hidrulica K ( ) es una funcin
escalar del contenido de humedad.
El objetivo de la solucin del problema especificado en la ecuacin (2.8) es determinar la
variacin espacio-temporal de la cabeza de presin y el contenido de humedad, esto es,
conocer ( xi , t ) y ( xi , t ) . Para tal fin es necesario especificar las siguientes
caractersticas del dominio de simulacin:
-

Condiciones iniciales y de frontera: Todo problema modelado por una EDP


parablica necesita que se le definan condiciones iniciales y de frontera para poder
obtener de l una solucin (olin, 2006).

Propiedades hidrulicas: Deben especificarse adems las propiedades hidrulicas


en estado no saturado de cada uno de los materiales que componen el dominio de
simulacin, para as poder evaluar los coeficientes de (2.8).

En las secciones a continuacin se presenta una breve discusin de la implementacin de


estos requisitos en el presente trabajo.

33

2.2.2. Condiciones Iniciales y de Frontera


Dado que las EDPs de segundo orden parablicas modelan la variacin de un sistema
fsico, es necesario, para su solucin, especificar el estado inicial de las variables
dependientes asociadas. En el caso de la ecuacin de Richards, esta condicin inicial
toma la forma

( xi ,0 ) = 0 ( xi )

(2.9)

Las condiciones de frontera prescriben el comportamiento de las variables dependientes


en todo el borde del dominio de simulacin, informacin a partir de la cual se puede
determinar el estado de flujo en el interior.
Considrese la variacin de cierta cantidad escalar u en un dominio espacial xi con

frontera , y dominio temporal t ( 0, T ) , gobernada por una EDP de segundo orden


parablica. Las condiciones de frontera en este caso pueden ser de cualquiera de los
siguientes tres tipos, o una combinacin de dos o ms de ellos:
-

Condicin de Dirichlet (o de primer tipo): Especifican el valor de la variable u en la


frontera, esto es,

u ( xi , t ) = U ( xi , t ) , para xi ,
donde U ( xi , t ) es una funcin escalar prescrita definida en .
-

Condicin de Neumann (segundo tipo): Especifican el valor de la primera derivada


de u en la frontera, esto es,
u
= g ( xi , t ) ,

donde g ( xi , t ) es una funcin escalar prescrita definida en , y es la normal


(apuntando hacia fuera del interior del dominio) a la frontera en xi .
-

Condicin de Robin (tercer tipo): Especifican la combinacin lineal del valor de u y


su primera derivada en la frontera, esto es,

a ( xi , t ) u + b ( xi , t )

u
= g ( xi , t ) ,

donde a , b y g son funciones escalares prescritas definidas en , y es la normal


a la frontera en xi .

34

El esquema de solucin e la ecuacin de Richards que se desarrolla en el presente


trabajo, se limita a considerar condiciones de frontera de primer y segundo tipo. En el
caso particular del problema de flujo en medio poroso, una condicin de frontera de
Dirichlet equivale a prescribir el valor de la presin en la frontera, mientras que una
condicin de Neumann equivale a prescribir el flujo especfico a travs de la frontera.
Sea el contorno de la regin de flujo , el cual consiste de dos segmentos D , N
tales que = D N y D N = . As, las condiciones de borde que se pueden
trabajar se expresan como
Condicin de Dirichlet: ( xi , t ) = ( xi ) sobre D

(2.10)

Condicin de Neumann: qi i = K ij
+ K i 3 i = Q ( xi ) sobre N ,

x j

(2.11)

donde ( xi ) y Q ( xi ) son funciones prescritas independientes del tiempo, y i es la i sima componente del vector unitario normal a apuntando hacia fuera de la regin de
flujo (Neuman, 1973).

2.3. PROPIEDADES HIDRULICAS DE LOS SUELOS


Si se usa la forma de la ecuacin de Richards para materiales isotrpicos, las
propiedades hidrulicas de un suelo pueden ser descritas de manera satisfactoria
definiendo el par de funciones hidrulicas ( ) y K ( ) . Estas funciones escalares
describen la variacin del contenido de humedad y la conductividad hidrulica del suelo
con la presin de poros, respectivamente. Un ejemplo de la forma de estas funciones para
un suelo en particular se puede apreciar en la Figura 2.5, adaptada de Haverkamp,
Vauclin, Touma, Wierenga y Vauchad (1977).
En la Figura 2.5 se pueden apreciar algunas caractersticas importantes de la variacin de
la humedad y la conductividad con la presin de poros. Cuando un suelo est
relativamente seco (esto es, la presin de poros es muy baja, y el logaritmo de su valor
absoluto, es relativamente alto), el suelo conserva cierta humedad residual r . A medida
que la presin de poros aumenta, el contenido de humedad aumenta hasta alcanzar su
valor mximo, correspondiente a la humedad de saturacin s . En cuanto a la
conductividad hidrulica, sta tambin aumenta de manera no lineal con la presin de
poros hasta alcanzar su valor mximo en estado de saturacin, K s .

35

Funciones ( ) y K ( ) para el suelo arena Haverkamp (Haverkamp et al., 1977)

Figura 2.5.

2
1

2.5

0
-1
log(|K|) [cm/hr]

log(||) [cm]

1.5

-2
-3
-4
-5
-6
-7

0.5

-8
0

0.05

0.1

0.15

0.2

0.25

0.3

0.35

-9

0.4

3
3
[cm /cm ]

(a)

0.5

1.5
log(||) [cm]

2.5

(b)

Aunque tanto la conductividad hidrulica como la presin de poros aumentan con el


contenido de humedad, ciertamente no lo hacen siguiendo una ley de proporcionalidad. Si
se observa con detalle la Figura 2.5, se puede apreciar que una pequea variacin en el
contenido de humedad puede traducirse en un aumento significativo de la presin de
poros y un cambio an ms drstico en la conductividad hidrulica. Este comportamiento
altamente no lineal, ms que ser un caso particular desafortunado, es la regla general
para la mayora de los suelos (imunek, van Genutchen y ejna, 2005).
En la mayora de aplicaciones prcticas de la ecuacin de Richards, se asume que para
cada suelo hay un nico par de funciones ( ) y K ( ) que describen su
comportamiento. La realidad es que la variacin de las propiedades hidrulicas con la
presin de poros es diferente si el suelo se est secando o se est humedeciendo; ste
efecto se conoce como histresis (imunek et al., 2005) y se ilustra en la Figura 2.6. En
ella se puede apreciar el caso de un suelo con dos curvas de retencin de agua
diferentes, una para el proceso de secado, y otra para el proceso de humedecimiento.
El modelo de flujo en medio poroso desarrollado en el presente documento se limita a
considerar una nica curva de descripcin tanto para el contenido de humedad como para
la conductividad hidrulica.

36

Figura 2.6.

Ejemplo de una curva de retencin de agua mostrando el efecto de histresis. Se muestran la curva de
secado

( )

y la curva de humedecimiento

( ) . Adaptado de imunek et al. (2005)

2.3.1. Modelos analticos de las propiedades hidrulicas


A partir de mediados del siglo XX, diversos autores han elaborado y propuesto modelos
analticos para describir las propiedades hidrulicas de los suelos en funcin de
parmetros que puedan determinarse empricamente. Uno de los modelos ms populares
y discutidos es el propuesto por Brooks y Corey (1964), en el que el contenido de
humedad y la conductividad hidrulica estn dados por

n < 1
Se =
1
1

(2.12)

K = K s Se2 n + l + 2 ,

(2.13)

donde Se es la saturacin efectiva, calculada segn


Se =

r
s r

Los parmetros de este modelo son:

37

(2.14)

r : Contenido de humedad residual

s : Contenido de humedad de saturacin

K s : Conductividad hidrulica de saturacin

: Inversa del valor de entrada de aire

n : ndice de distribucin de tamao de poros

El parmetro l es un ndice de conectividad entre poros, el cual fue tomado igual a 2.0 en
el estudio original de Brooks y Corey (1964).
Otro modelo utilizado ampliamente en la prctica de la ingeniera es el propuesto por vanGenutchen (1980) a partir del modelo estadstico de distribucin de tamao de poros de
Mualem (1976):

s r

<0
m
r +
1 + n
( ) =

s
0

(2.15)

m
K ( ) = K s Se l 1 (1 Se1 m ) ,

(2.16)

con m = 1 1 n . Los parmetros en este caso son los mismos 5 del modelo de Brooks y
Corey. El valor del ndice de conectividad entre poros l fue estimado por Mualem en 0.5,
como promedio para muchos suelos (Mualem, 1976). En la Tabla 2.1 se presentan tres
ejemplos de propiedades de suelo descritas usando el modelo de van-Genutchen, e
ilustradas en la Figura 2.7 y 2.8.
Adicionales a los dos modelos mencionados anteriormente, algunos autores han
propuesto expresiones diferentes para aproximar las propiedades de cierto suelo en
particular. Por ejemplo, Haverkamp et al. (1977) proponen el siguiente par de ecuaciones
para ajustar el comportamiento del contenido de humedad y la conductividad hidrulica
del suelo mostrado en la Figura 2.5:

( ) = r +

( s r )
+

K ( ) = K s

A
A+

38

Tabla 2.1.

Ejemplos de parmetros del modelo van-Genutchen Mualem

Descripcin

r
3

s
3

-1

Ks

[cm /cm ]

[cm /cm ]

[cm ]

Limo arcilloso

0.095

0.41

0.019

1.31

0.260

Arcilla arenosa

0.07

0.36

0.005

1.09

5.556e-6

Nuevo Mxico
Primera Capa*

0.1020

0.3681

0.03353

1.98

33.190

* Tomado de Polmann (1989)

39

[cm/hr]

Figura 2.7.

Curvas de retencin de agua para los suelos Limo arcilloso, Arcilla arenosa y Nuevo Mxico 1ra. capa

5
Limo arcilloso
Arcilla arenosa
Suelo Nuevo Mxico

log(| |) [cm]

-1
0.1

0.15

0.2

0.25

0.3

0.35

0.4

0.45

0.5

3
3
[cm /cm ]

Conductividad hidrulica en funcin de la presin de poros para los suelos Limo arcilloso, Arcilla arenosa y
Nuevo Mxico 1ra. capa

2
Limo arcilloso
Arcilla arenosa
Suelo Nuevo Mxico

-2
log(|K|) [cm/hr]

Figura 2.8.

-4

-6

-8

-10
-1

-0.5

0.5

1.5
2
log(| |) [cm]

40

2.5

3.5

2.3.2. Representacin numrica de las propiedades de suelos

Los coeficientes de la ecuacin de Richards indican que, para obtener una solucin
numrica de sta, es necesario evaluar repetidamente la conductividad hidrulica y el
contenido de humedad para diferentes valores de presin de poros. Estas cantidades se
pueden determinar usando cualquiera de las siguientes dos aproximaciones:
-

Suministrar un modelo analtico de propiedades de suelo y evaluar y K


directamente de las ecuaciones para el valor de que se necesite.

Suministrar una tabla, denominada tabla de propiedades, que relacione valores de


y K para diferentes valores de , tal como se describe en imunek et al. (2005).
La estructura de dicha tabla sera como la ilustrada en la Figura 2.9:

Figura 2.9.

Estructura de la tabla de propiedades de materiales

KN

Ki

2
1

2
1
s

K2
K1
Ks

La relacin entre los valores consecutivos de presin de poros en la tabla es

i +1
= ctte > 1 ,
i

(2.17)

la cual define la resolucin con la que las propiedades del suelo estn siendo
representadas. Un ejemplo de tablas de propiedades construidas para un suelo se
puede apreciar en el Anexo A. La conductividad hidrulica y el contenido de
humedad para presiones de poros que no estn en la tabla se pueden determinar
usando algn algoritmo de interpolacin.
La segunda metodologa agrega flexibilidad sobre la primera, pues permite utilizar datos
empricos de propiedades de materiales que no han sido ajustados usando un modelo

41

analtico; adems, si el algoritmo de interpolacin a utilizar es de interpolacin lineal, se


ha observado que es una aproximacin mucho ms rpida en trminos de esfuerzo
computacional que la evaluacin directa en modelos analticos (imunek et al., 2005).
El modelo de solucin que se desarrolla en el presente documento utiliza la metodologa
de tablas de propiedades, acompaadas de un algoritmo de interpolacin mediante
splines cbicos, el cual se presenta con detalle en el Anexo B.

42

3. MTODO DE DIFERENCIAS FINITAS


El mtodo de diferencias finitas es el enfoque numrico ms frecuentemente usado para
modelar el flujo de agua en medios porosos (Feddes et al., 1988). Su popularidad se basa
en que, como se estudiar a continuacin, la formulacin del mtodo no requiere de
conocimientos especializados en matemticas, y cada una de sus operaciones tiene un
significado fsico intrnseco que se puede percibir de manera intuitiva. En el presente
captulo se estudiar la formulacin del mtodo, sus caractersticas, limitaciones, y su
aplicacin en el contexto del problema de flujo en medio poroso.

3.1. INTRODUCCIN AL MTODO DE DIFERENCIAS FINITAS (MDF)


El tipo de discretizacin espacial usado en el mtodo de diferencias finitas se conoce
como grilla bilineal (o discretizacin en diferencias), donde los nodos se encuentran en las
intersecciones de una grilla bidimensional cuyas lneas son paralelas a los ejes
coordenados. A partir de las relaciones de vecindad que surgen de la organizacin de
esta grilla es que se obtienen las ecuaciones del mtodo. A continuacin se presenta un
ejemplo sencillo para ilustrar este procedimiento
Supngase que se desea determinar cierta cantidad ( x, z , t ) en ( x, z ) , t ( 0, T ) . El
dominio espacial de simulacin (Figura 3.1) es un rectngulo con las fronteras
paralelas a los ejes coordenados, el cual se ha dividido en N intervalos en la direccin x ,
y M intervalos en la direccin z . Las lneas de divisin han sido identificadas con un
subndice para cada direccin espacial: i para las lneas perpendiculares al eje x , y j
para las lneas perpendiculares al eje z , de modo que todo nodo de la grilla puede ser
identificado por una pareja de la forma ( i, j ) .
Observando la Figura 3.1, se puede apreciar que todos los nodos, excepto aquellos que
han quedado sobre las fronteras, cuentan con 4 vecinos. Este tipo de nodos se conocen
como nodos interiores. Considrese ahora uno de estos nodos ( i, j ) del dominio de
simulacin, rodeado por sus vecinos de cuadrcula tal como se muestra en la Figura 3.2.
Con el fin de simplificar la formulacin, supngase que las lneas de divisin que rodean al
punto en cuestin estn uniformemente espaciadas en cada direccin. Es posible obtener
aproximaciones para las derivadas parciales espaciales de en ( i, j ) , a partir del
desarrollo en series de Taylor de la presin de poros en sus vecinos, bajo la hiptesis que
sea una funcin de x y z singular, finita y continua. Por ejemplo, los valores de la
variable dependiente en los puntos ( i, j 1) e ( i, j + 1) , i , j 1 e i , j +1 , se pueden escribir en
funcin de i , j como

43

Figura 3.1.

Dominio rectangular bidimensional discretizado en diferencias.

( z ) 2 ( z ) 3
+ z
+
+
+
z
2! z 2
3! z 3
2

i , j +1 = i , j

( z ) 2 ( z ) 3
+

+
2! z 2
3! z 3
z
2

i , j 1 = i , j z

donde las derivadas de estn evaluadas en el punto ( i, j ) . Manipulando


algebraicamente las ecuaciones anteriores, se llega a las siguientes expresiones:

Diferencia hacia delante:

Diferencia hacia atrs:

Diferencia central:

Diferencia central de segundo orden:

i , +1 i , j
=
+ O ( z )
z
z

(3.1)

i , j i , j 1
=
+ O ( z )
z
z

(3.2)

i , j +1 i , j 1
2
=
+ O ( z )

z
2z

(3.3)

2 i , j +1 2 i , j + i , j 1
2
=
+ O ( z )
2

z 2
( z )

(3.4)

44

Las ecuaciones (3.1) a (3.4) se conocen como frmulas de diferencias finitas, y son
ampliamente usadas para aproximar las derivadas de primer y segundo orden de
cantidades discretas (Carnahan et al., 1969). Ahora, supngase que el comportamiento
de la variable dependiente est sometido a la siguiente sencilla EDP parablica:

2 =

2 2
,
+
=
x 2 z 2
t

con condiciones iniciales y de borde

( x, z ,0 ) = 0 ( x, z )
( x, z , t ) = ( x, z , t ) , para ( x, z )
Reemplazando las derivadas de segundo orden espaciales por aproximaciones de la
forma (3.4), obtenemos

Figura 3.2.

Deduccin de las frmulas de diferencias finitas.

i +1, j 2 i , j + i 1, j i , j +1 2 i , j + i , j 1
2 2
2
2
=
+
+ O ( x ) + O ( z ) .
2 + 2
2
2

x (i , j )
( x )
( z )
x
De esta manera se ha reemplazado satisfactoriamente el trmino espacial de la EDP por
una combinacin lineal de los valores de en los nodos de la grilla. Ahora, se ignoran los
trminos de error y se reemplaza en la ecuacin diferencial original para llegar a

45

i +1, j 2 i , j + i 1, j

( x )

i , j +1 2 i , j + i , j 1

( z )

i , j
t

(3.5).

La expresin anterior es una EDO lineal de primer orden que gobierna la variacin de i , j
en el tiempo. Existen en el dominio, segn las condiciones de frontera, un total de
( M 1) ( N 1) nodos internos en los que hace falta determinar esta variacin, as que si
escribimos la ecuacin anterior para cada uno de estos nodos, tendremos un sistema de
EDOs lineales de ( M 1) ( N 1) ecuaciones e incgnitas que se pueden resolver junto
con las condiciones iniciales y de frontera.
El procedimiento anterior es, a grandes rasgos, el mismo para cualquier ecuacin
diferencial parcial que se desee solucionar numricamente. Los factores que varan entre
un problema y otro (i.e., la forma de la ecuacin diferencias, las condiciones de borde, la
geometra del dominio, etc.) pueden an as complicar significativamente el proceso de
simulacin. El objetivo del presente captulo es, por tanto, discutir las particularidades y
pormenores de la aplicacin del mtodo de diferencias finitas al problema de flujo en
medio poroso.

3.2. DISCRETIZACIN DE LA REGIN DE FLUJO


Los dominios de simulacin no siempre corresponden a figuras geomtricas sencillas o
fciles de representar de la forma utilizada en la Figura 3.1. Introdzcase ahora la
siguiente diferenciacin en funcin de la forma de la frontera: Se dice que cierto dominio
es regular s y slo si toda su frontera est compuesta por segmentos rectilneos, y cada
uno de estos segmentos coincide con una lnea paralela a los ejes coordenados (Figura
3.3.a). Cualquier otro dominio que no cumpla estas condiciones se denomina irregular
(Figura 3.3.b).
En un dominio regular, todos los nodos caen en la interseccin de dos lneas divisorias,
incluso aquellos ubicados sobre la frontera. En un dominio irregular, en cambio, ste no
siempre es el caso. Con el fin de ejemplificar la afirmacin anterior, considrese el
dominio irregular mostrado en la Figura 3.3.a; para esta situacin, la construccin de la
discretizacin es similar al ejemplo de la Figura 3.1: se trazan lneas divisorias y se ubican
nodos en las intersecciones, tal como se muestra en detalle en la Figura 3.3.b, slo que
ahora se presentan lugares donde lneas divisorias intersecan la frontera sin a la vez
intersecar otra lnea divisoria. Los nodos que surgen de estos casos, los cuales solo se
producen en fronteras irregulares, se conocen como nodos irregulares.
A partir de la discusin anterior, se puede plantear la siguiente clasificacin de nodos en
una discretizacin en diferencias (Figura 3.3.b):

46

Figura 3.3.

Clasificacin de dominios segn la forma de su frontera: (a) Dominio regular. (b) Dominio irregular.

Los nodos ubicados en la interseccin de una frontera irregular y una lnea divisoria
se conocen como nodos irregulares.

Los nodos ubicados en la interseccin de dos lneas divisorias se conocen como


nodos regulares, mientras que aquellos slo ubicados sobre una se denominan
nodos irregulares. Un nodo regular se dice que es interior (1 y 2) cuando (a) no
pertenece a la frontera, y (b) todos sus vecinos son otros nodos regulares. Los
nodos exteriores son por tanto aquellos que, o bien tienen por vecino uno o dos
nodos irregulares (3), o pertenecen a la frontera (4).

Los nodos irregulares representan una gran dificultad para el manejo de las condiciones
de borde y la estructura de los sistemas de ecuaciones derivados de la integracin de la
EDP, por tanto, el presente modelo numrico de solucin mediante diferencias finitas se
limitar a dominios regulares. La explicacin a esto se encuentra expuesta con ms
detalle en la seccin donde se estudia el tratamiento de las condiciones de frontera.
Adems de lo anterior, existen algunos conceptos adicionales asociados a la
discretizacin espacial que vale la pena discutir. A modo de ejemplo, considrese el
dominio regular discretizado mostrado en la Figura 3.5, del cual se han resaltado algunos
elementos. Existe un rea asociada a cada nodo n , conocida como rea aferente Ae, n ,
que corresponde al conjunto de puntos del espacio ms cercanos a ese nodo que a
cualquier otro nodo de la discretizacin; de la misma manera, cada nodo externo tiene
asociados ciertos sectores de la frontera, o longitudes aferentes, correspondientes a los
puntos sobre la frontera ms cercanos a l que a otros nodos.
Estos conceptos son muy tiles a la hora de determinar el volumen de agua almacenado
en el dominio, y la cantidad de agua que ingresa por las fronteras. Si se asume que el
contenido de humedad es uniforme sobre toda el rea aferente de un nodo, el volumen de
agua contenido en el dominio se puede calcular como la suma de humedades por reas
aferentes para todos los nodos. Si se conoce el flujo especfico a travs de los nodos de
la frontera, el flujo que ingresa al dominio se determina como el producto del flujo

47

especfico por la longitud aferente en cada direccin. El procedimiento de clculo de estas


cantidades se presenta con ms detalle en la seccin 6.1.

Figura 3.4.

Clasificacin de los nodos de la discretizacin en diferencias

Nodo regular interior

Figura 3.5.

Nodo regular exterior

Nodo irregular

Longitudes y reas aferentes de los nodos de la grilla de diferencias finitas

48

3.3. IMPLEMENTACIN DEL MTODO DE DIFERENCIAS FINITAS


3.3.1. Formulacin del mtodo

Para poder obtener una solucin numrica del estado de flujo, es necesario buscar una
expresin similar a (3.5) para la ecuacin de Richards. Dicha expresin debe poder
escribirse cuantas veces sea necesario, con el fin de obtener un sistema de EDOs
solucionable cuya integracin arroje la variacin de la presin de poros en los nodos de la
discretizacin. Escribiendo la ecuacin (ingrese nmero de ecuacin aqu) para el caso
de flujo bidimensional, se obtiene la expresin
q q

= q = x z ,
t
x
z

(3.6)

donde qx y qz son las componentes del flujo especfico en las direcciones x y z ,


respectivamente. Considrese la situacin general de un nodo regular interno del dominio
de simulacin, como el de la Figura 3.6. De la vecindad del nodo en cuestin, los nodos
( i + 1, j ) , ( i 1, j ) , ( i, j + 1) e ( i, j 1) forman lo que se denomina vecindad clsica de

( i, j ) .Las derivadas espaciales del flujo especfico en (3.6) pueden aproximarse mediante
la frmula de diferencias central, centrada en ( i, j ) y con incrementos espaciales x m 2 ,
z m 2 . Reemplazando en (3.3), se llega a
qx
x
qz
z

qx

qx

( i 1 2, j )

x m

(i , j )

(i , j )

( i +1 2, j )

qz

( i , j +1 2 )

qz

(3.7)

( i , j 1 2 )

z m

En esta ecuacin, es necesario evaluar el flujo especfico evaluados a mitad de los


incrementos espaciales que rodean al nodo en cuestin, tal como se muestra en la Figura
3.6. x m y z m son el promedio de los incrementos espaciales en cada direccin, esto es

x m =

x + + x
z + + z
; z m =
.
2
2

No es suficiente con lo alcanzado en (3.7) para llegar a la ecuacin buscada; es necesario


escribir estas expresiones en funcin de la presin de poros en los nodos de la grilla.
Segn la Ley de Darcy, el flujo especfico es funcin de la variacin espacial de la presin,
y sus componentes estn dadas por

qx = K

; qz = K
1 ,
x
z

49

Figura 3.6.

Situacin general de un nodo regular interno.

asumiendo que el suelo en cuestin es isotrpico, esto es, sus propiedades hidrulicas
(conductividad hidrulica y capacidad especfica de humedad) son iguales en todas
direcciones. Reemplazando de nuevo las derivadas espaciales, esta vez de la presin de
poros , usando la frmula de diferencias central, los valores discretos del flujo
especfico en (3.7) pueden escribirse como
qx
qz

( i , j +1 2 )

( i +1 2, j )

K i +1 2, j

K i , j +1 2

i +1, j i , j

i , j +1 i , j
z +

; qx

+ K i , j +1 2 ; qz

( i 1 2, j )

K i 1 2, j

( i , j 1 2 )

K i , j 1 2

i , j i 1, j
x
i , j i , j 1
z

. (3.8)
+ K i , j 1 2

En estas expresiones, se ha asumido que la conductividad hidrulica es constante a lo


largo de todo el incremento espacial, e igual al valor que alcanza en la mitad del
incremento. Finalmente, se reemplaza (3.8) en (3.7), y lo que se obtiene reemplaza las
derivadas espaciales en (3.6) para llegar a

i +1, j i , j
i , j i 1, j

+ K i 1 2, j
K i +1 2, j

+
x
x

.
i , j +1 i , j
i , j i , j 1

1
m K i , j +1 2
+ K i , j +1 2 + K i , j 1 2
K i , j 1 2
z
z +
z

q =

1
x m

50

(3.9)

Los factores comunes de presin se agrupan para escribir la expresin anterior de


manera ms organizada como,

K i +1 2, j
K i 1 2, j
K i , j +1 2
K i , j 1 2
q = m + i +1, j + m i 1, j + m + i , j +1 + m i , j 1
x x
x x
z z
z z
. (3.10)
K i 1 2, j
K i , j +1 2
K i , j 1 2
K i +1 2, j
1
+ m + m m + m i , j m ( K i , j +1 2 K i , j 1 2 )
x x
z z
z z
z
x x
Evaluando la derivada temporal en ( i, j ) , se llega a la ecuacin diferencial ordinaria

Ai +1, j i +1, j + Ai 1, j i 1, j + Ai , j +1 i , j +1 + Ai , j 1 i , j 1 + Ai , j i , j +

i , j
t

= Bi , j .

(3.11)

La ecuacin anterior es la expresin equivalente a (3.5) que se ha estado buscando,


donde

Ai +1, j =
Ai 1, j =
Ai , j +1 =
Ai , j 1 =

K i +1 2, j

(3.12)

x m x +
K i 1 2, j

(3.13)

x m x
K i , j +1 2

(3.14)

z m z +
K i , j 1 2

(3.15)

z m z

Ai , j = ( Ai +1, j + Ai 1, j + Ai , j +1 + Ai , j 1 )
=

K i +1 2, j
x m x +

Bi , j =

K i 1 2, j
x m x

K i , j +1 2
z m z +

1
( Ki, j +1 2 Ki, j 1 2 )
z m

K i , j +1 2

(3.16)

z m z
(3.17)

Se dice que la ecuacin (3.11) es una frmula de 5 puntos, pues relaciona la presin de
poros en un nodo en particular con la presin en sus 4 vecinos clsicos. Los valores de
conductividad hidrulica utilizados para evaluar los coeficientes anteriores se pueden
determinar de diferentes manera a partir de la conductividad hidrulica en ( i, j ) y sus
nodos vecinos. Una forma tradicionalmente usada es tomar la media aritmtica de la
conductividad en los nodos de la grilla ms cercanos al punto donde se desea evaluar la
conductividad, esto es:

51

K i +1 2, j =
K i 1 2, j =
K i , j +1 2 =
K i , j 1 2 =

K i , j +1 + K i , j
2
K i , j + K i , j 1
2
K i , j +1 + K i , j

Ki, j

(3.18)

2
+ K i , j 1
2

Otra metodologa usada comnmente es similar a la anterior, slo que en vez de utilizar la
media aritmtica, se usa la media geomtrica:

K i +1 2, j = ( K i , j +1 K i , j )

12

K i 1 2, j = ( K i , j K i , j 1 )

12

K i , j +1 2 = ( K i , j +1 K i , j )

12

(3.19)

K i , j 1 2 = ( K i , j K i , j 1 )

12

El uso de la media geomtrica es en general preferible sobre el uso de la media aritmtica


(Celia et al., 1990; Haverkamp y Vauclin, 1979), pero an as, en este trabajo se ha
utilizado el grupo de ecuaciones (3.18) para aproximar los K i 1 2, j , K i , j 1 2 .
Si en la solucin de cierto problema, los nicos valores de presin que varan con el
tiempo son los de los nodos internos, la aplicacin repetida de la ecuacin (3.11) arroja la
cantidad de ecuaciones necesaria para determinar estas variaciones. Lastimosamente,
esta situacin puede cambiar dependiendo del tipo de condiciones de borde a las que se
someta el dominio de simulacin, y puede llegar a ser necesario agregar ms ecuaciones
para la descripcin adecuada de la presin en los nodos de frontera.

3.3.2. Condiciones de frontera

Los tipos de condiciones de frontera que pueden manejarse con el presente modelo de
solucin por diferencias finitas son las condiciones de Dirichlet y las condiciones de
Neumann, sometidas a algunas limitaciones. En la presente seccin se discute el manejo
de estos dos tipos de condiciones y cmo afectan la forma y estructura del sistema de
ecuaciones diferenciales. Recurdese que el estudio desarrollado en este documento no
incluye dominios con fronteras irregulares.

52

3.3.2.1. Condiciones de Dirichlet

La solucin del estado de flujo en medio poroso sometido a condiciones de Dirichlet se


limita a condiciones de la forma

( x, z , t ) = ( x , z ) ,
lo que implica que las funciones i , j en la frontera D , son conocidas y constantes en el
tiempo, y por tanto no son objeto de clculo.
Supngase ahora que la discretizacin de cierto dominio regular de simulacin est
compuesta por N = N I + N E nodos, de los cuales N I son internos y N E son externos, y
que la condicin de frontera es de tipo Dirichlet. A todos los nodos se les asigna un
nmero interno que los diferencie unos de otros, y que no necesariamente est
relacionado con su posicin geomtrica; de esta manera, se pueden organizar las
T
funciones discretas de presin en un vector { } = ( 1 , 2 , , N ) .
Sea que el nodo ( i, j ) de la Figura 3.6 ha sido identificado con el nmero n , y sus vecinos
con los nmeros p , q , r y s . La ecuacin (3.11) relacionada con el nodo n puede
entonces escribirse como

An , p p + An , q q + An ,r r + An , s s + An ,n n +

n
= Bn ,
t

donde An , m se refiere al coeficiente A del nodo m en la n -sima ecuacin. La ecuacin


anterior se escribe N I veces para obtener el sistema de ecuaciones diferenciales
ordinarias del cual se obtiene el estado de flujo del problema que se desea solucionar. Si
limitamos el vector { } a las N I funciones realmente desconocidas, el sistema de EDOs
puede reescribir en forma matricial como

[ A]N N { }N
I

donde

{ ( A ) }
E


+ = { B} N { ( A ) E } ,
I
t N I

(3.20)

es el vector de elementos a la izquierda de (3.11), que pasan a la

derecha pues su presin de poros es conocida. Este tipo de trminos aparecen en la n sima ecuacin si el nodo n tiene por vecino uno o ms nodos externos.
Otra forma matricial ms elegante de presentar el sistema de ecuaciones en cuestin se
presenta a continuacin. Ahora, inclyanse en el vector { } todas las funciones discretas,
incluyendo aquellas cuyo valor est prescrito. Las N I ecuaciones en (3.20) toman
entonces la forma

53


= { B} N I .
t N I

[ A]N N { }N +
I

Adicionales a las N I ecuaciones anteriores, inclyanse N E ecuaciones de la forma

An ,n n + n t = Bn , con An , n = 1 , n t = 0 y Bn = n ,

(3.21)

asociadas a cada uno de los nodos exteriores; as, se alcanza la forma matricial


= { B} N
t N

[ A]N N { }N +

(3.22)

Las nuevas ecuaciones para los nodos de la frontera representar el hecho de que, debido
a la condicin de Dirichlet, la presin de poros no cambia en estos puntos durante el
periodo de simulacin.

3.3.2.2. Condiciones de Neumann

Las condiciones de Neumann en el caso particular del problema de flujo en medio poroso,
consisten en la prescripcin del flujo especfico perpendicular a travs de cierto
subconjunto de la frontera que se denomina N . Se iniciar el anlisis de este tipo de
condiciones de frontera limitndose a dominios regulares, y a continuacin se explicar
porqu los dominios irregulares han sido excluidos en general del modelo de solucin
mediante diferencias finitas.
Un nodo de la discretizacin que pertenezca al subconjunto de frontera N est sometido
a una presin de poros variable en el tiempo. Para determinar esta variacin, es necesario
escribir una ecuaciones en diferencias similar a (3.11) asociada a este nodo, que tenga en
cuenta la magnitud y direccin del flujo especfico a travs de l. La frontera de un
dominio regular est compuesta exclusivamente por nodos regulares externos, como el de
la Figura 3.7.
El nodo externo en cuestin est sometido a cierto flujo especfico perpendicular a la
frontera, el cual puede descomponerse en sus componentes coordinas. Para escribir la
aproximacin en diferencias del trmino espacial de la ecuacin de Richards, ya no es
posible utilizar la frmula de diferencias centrada en ( i, j ) , pues como se puede observar,
hay algunas direcciones hacia las que no existe vecindad para un nodo externo. Una
alternativa para esta situacin es utilizar diferencias hacia delante o hacia atrs, segn
sea el caso, siendo conocidas las componentes del flujo en las direcciones coordenadas.
La Figura 3.8 muestra una clasificacin de los nodos regulares externos en 8 tipos, segn
su ubicacin respecto a sus vecinos. Esta clasificacin permite al algoritmo de solucin
saber cmo escribir la ecuacin en diferencias para los nodos externos en los cuales la
presin puede variar. Los nodos tipos 1 a 4 pertenecen a una frontera paralela a los ejes
coordenados, por tanto el vector flujo especfico a travs de estos es tambin paralelo a

54

alguno de estos ejes y no necesita ser descompuesto. Los nodos tipo 5 a 8 estn
sometidos a vectores de flujo oblicuos, los cuales deben ser descompuestos en sus
componentes coordenadas.

Figura 3.7.

Situacin general de un nodo regular externo

Para ilustrar la construccin de la ecuacin en diferencias, considrense los nodos tipo 1,


5 y 6, que comparten la misma situacin en la direccin z (no tienen vecino en z ). La
aproximacin de la derivada espacial del flujo en estos casos es

q qz
=
z

( i , j +1 2 )

qz

(i , j )

z 2

Esta aproximacin se realiz usando la frmula de diferencias hacia delante con


incremento z + 2 entre ( i, j + 1 2 ) e ( i, j ) . Utilizando la aproximacin en diferencias del
flujo a medio intervalo, se obtiene finalmente

i , j +1 i , j
2
q
= + K i , j +1 2
+ K i , j +1 2 qz
z z
z +

(i , j )

(3.23)

Se puede proceder de manera similar para las dems situaciones en cada direccin:
Para los nodos tipo 2, 7 y 8:

2
q
=
z z

qz

(i , j )

i , j i , j 1
+ K i , j 1 2
K i , j 1 2

55

(3.24)

Figura 3.8.

Clasificacin de nodos regulares externos

Para los nodos tipo 3, 5 y 7:

i +1, j i , j
2
q
= + K i +1 2, j
+ K i +1 2, j qx
x x
x +

56

(i , j )

(3.25)

Para los nodos 4, 6 y 8:

2
q
=
x x

qx

(i , j )

i 1, j i , j
+ K i 1 2, j
x

K i 1 2, j

(3.26)

A partir de las expresiones (3.24) a (3.26), se obtiene la ecuacin en diferencias que


gobierna el comportamiento del nodo externo en cuestin. Por ejemplo, si dicho nodo es
del tipo 1, la ecuacin toma la forma

i +1, j i , j
i , j i 1, j

q q
1
=
= m K i +1 2, j
+ K i 1 2, j

+
t
x z
x
x
x

i , j +1 i , j
2
+ K i , j +1 2
+ K i , j +1 2 qz ( i , j )
+
z
z

Reorganizando y agrupando factores comunes,

K i +1 2, j
K i 1 2, j
2 K i , j +1 2
n
= q = m + i +1, j + m i 1, j + + + i , j +1
t
x x
x x
z z
K i 1 2, j 2 K i , j +1 2
K i +1 2, j
2
+ m + m + + i , j + K i , j +1 2 qz ( i , j )
x x
z z
z
x x

Esta expresin puede escribirse de manera similar a la ecuacin (3.11) como

Ai +1, j i +1, j + Ai 1, j i 1, j + Ai , j +1 i , j +1 + Ai , j 1 i , j 1 + Ai , j i , j +
donde los coeficientes estn dados por

Ai +1, j =
Ai 1, j =
Ai , j +1 =

K i +1 2, j
x m x +
K i 1 2, j
x m x
2 K i , j +1 2
z + z +

Ai , j 1 = 0
Ai , j = ( Ai +1, j + Ai 1, j + Ai , j +1 + Ai , j 1 )
=

K i +1 2, j
x m x +

K i 1 2, j
x m x

57

2 K i , j +1 2
z + z +

i , j
t

= Bi , j + Qi , j ,

(3.27)

Bi , j =

Qi , j =

2
K i , j +1 2
z m

2
qz
z +

(i , j )

La ecuacin (3.27) es, como la (3.11), una frmula de 5 puntos.


En general, es posible escribir una ecuacin como la (3.27) para cualquier tipo de nodo
externo, teniendo cuidado de variar los coeficientes segn sea el caso. Obsrvese que se
ha incluido un nuevo trmino, Qi , j , el cual incluye la magnitud del flujo especfico prescrita
para el nodo ( i, j ) .
Habiendo estudiado el manejo de cada tipo de condicin de frontera, se discutir ahora el
ensamblaje definitivo del sistema de ecuaciones diferenciales. Supngase de nuevo un
dominio regular con N = N I + N E nodos en total, de los cuales N I son internos y N E son
externos. Para cada uno de los nodos internos se escribe una ecuacin como la (3.11), y
para cada nodo externo se escribe una ecuacin como la (3.21) si est sometido a una
condicin de Dirichlet, o como la (3.27) si est sometido a una condicin de Neumann. En
general, el sistema de ecuaciones queda como


= {B}N + {Q}N ,
t

[ A]N N { } +

(3.28)

con { } = ( 1 , , N ) y { t} = ( 1 t , N t ) . La matriz de coeficientes [ A] se


conoce como matriz de rigidez o de conductancia. La ecuacin (3.28) es la formulacin
definitiva para dominios regulares de la solucin numrica del problema de flujo usando
diferencias finitas.
T

El porqu de la no exclusin de los dominios irregulares del presente modelo numrico


resulta evidente luego del estudio de las condiciones de Neumann. Las ventajas de tener
una frontera compuesta exclusivamente por nodos regulares externos son:
-

Es posible escribir una ecuacin como la (3.27) para cualquier tipo de nodo regular
externo. La variacin de los coeficientes en esta expresin es fcil de controlar y
est limitada a los 8 casos que se han mencionado anteriormente.

La similitud entre las ecuaciones (3.27) y (3.11) es evidente, lo que permite asegurar
que todo nodo regular, sea interno o externo, tiene relacionada una ecuacin
esencialmente del mismo tipo.

Las dos caractersticas anteriores facilitan el ensamblaje del sistema de ecuaciones


(3.28), y le otorgan propiedades que facilitan significativamente su manejo, tal como
se estudiar en secciones siguientes.

58

La situacin de los nodos irregulares es ms complicada dado que, como slo tienen un
vecino en la discretizacin, no es posible aproximar las derivas espaciales de manera tan
sencilla como las ecuaciones (3.23) a (3.26). Es posible, an as, escribir aproximaciones
como las planteadas en Nieves y Domnguez (2000) o Forsythe y Wasow (1960), pero
claro est, sin poder conservar ninguna de las 3 caractersticas de las fronteras regulares.

3.3.3. Estructura de las matrices de coeficientes

La forma de las ecuaciones diferenciales ordinarias que componen el sistema (3.28), y la


manera cmo se relacionan unas a otras, le otorgan a la matriz de coeficientes [ A]
algunas propiedades que se pueden explotar a favor para facilitar su solucin. De estas
caractersticas, las tres ms importantes son:
-

Simetra: La matriz [ A] es simtrica, esto es

Aij = Aji , para todo i, j .


Esta propiedad es una consecuencia de la forma como se han definido los
elementos de [ A] en las ecuaciones (3.12) a (3.16).
-

Definida positiva: Dado que los elementos de [ A] son consistentes con la


formulacin de diferencias finitas, se puede asegurar que esta matriz es definida
positiva. Esta propiedad implica que ambas matrices son no singulares, y por tanto
invertibles; adems, si [ R ] es una matriz definida positiva e las dimensiones de [ A] ,
la matriz [ M ] = [ A] + [ R ] es tambin definida positiva, con > 0 y > 0 .

Esparcida: En cada fila i de la matriz [ A] , los nicos elementos no nulos son


aquellos correspondientes a los vecinos clsicos de i , tal como puede observarse
en la Figura 3.9.
La explicacin a este hecho se encuentra en que las ecuaciones que componen el
sistema (3.28) son todas frmulas de 5 puntos, por lo que el nmero de elementos
no nulos por fila es pequeo en comparacin al tamao de la fila. El hecho de que la
matriz [ A] tenga un nmero reducido de elementos no nulos y que la posicin de
stos obedezca a propiedades geomtricas, hace pensar en mtodos alternativos
para trabajar con estas matrices sin perder memoria almacenando ceros. Una
alternativa es almacenar los elementos de [ A] diferentes de cero en matrices
separadas de manera organizada, y aparte almacenar las posiciones de los
elementos no nulos en la matriz original. En la Figura 3.10 se puede apreciar una
ilustracin de esta metodologa.

59

Figura 3.9.

La estructura de la matriz global y las conectividades entre nudos de la grilla de diferencias finitas

Figura 3.10. Metodologa de almacenamiento de la matriz de coeficientes

El mtodo consiste en dividir la matriz [ A] en dos matrices, [ A '] (Figura 3.9.a) que
contiene los coeficientes Aij no nulos reorganizados, y
relacin entre la estructura de [ A] y [ A '] est dada por

Ai , j = A 'i ,k , con j = PA,i ,k

60

[ PA ]

(Figura 3.9.b). La

El nmero de columnas de [ A '] y [ PA ] es igual a 5, que es el nmero mximo de


elementos no nulos que tiene una fila de [ A] .

Claramente, almacenar el par [ A '] y [ PA ] es mucho menos costoso en trminos de

memoria que almacenar la matriz completa [ A] , por tanto es la opcin que se usar
en la presente tesis para trabajar con las matrices de coeficientes.

3.3.4. Forma basada en la presin de poros de la Ecuacin de Richards

En la seccin 2.2.1, se mencion que era posible escribir la ecuacin de Richards


exclusivamente en trminos de la presin de poros introduciendo el concepto de
capacidad especfica de humedad. Hasta el momento, toda la formulacin del mtodo de
diferencias finitas se ha hecho usando la forma mixta de la ecuacin de Richards, pero se
puede transformar a la forma basada en la presin de manera sencilla. Recurdese que la
derivada temporal de la ecuacin de Richards puede ser escrita de manera alternativa
como

,
= C ( )
t
t
donde C ( ) es capacidad especfica de humedad. Reemplazando la expresin anterior
en (3.28), se llega a

= {B}N + {Q}N .
t

[ A]N N { } + [G ]N N

(3.29)

La matriz [G ] , conocida como matriz de capacitancia o de masa, es una matriz diagonal


cuyos elementos Gij estn dados por

C ( i ) si i = j
Gij =
si i j
0

(3.30)

El significado fsico del elemento Gii es la variacin del contenido de humedad en el rea
aferente del i -simo nodo por cada unidad de variacin de la presin de poros en ese
nodo.

61

3.4. INTEGRACIN TEMPORAL


La integracin del sistema de ecuaciones diferenciales ordinarias en (3.28) se realiza
reemplazando la derivada temporal por alguna de sus aproximaciones en diferencias
finitas y evaluando las matrices y vectores de coeficientes en diferentes tiempos segn el
esquema que se est utilizando. En las secciones a continuacin se describen tres
esquemas de integracin temporal posibles:

3.4.1. Esquema 1

La primera metodologa de integracin temporal resulta de aplicar el esquema de CrankNicholson en la ecuacin de Richards basada en la presin, esto es, reemplazar la
derivada temporal por su equivalente en diferencias finitas centrada en el nivel de tiempo
j + 1 2 , y en ese mismo nivel evaluar las aproximaciones de las derivadas espaciales de
segundo orden, que en este caso corresponden al producto [ A]{ } .
Recordando la frmula de diferencias finitas central,

j +1 2

2
j
+ O ( t j )

t j

j +1

Despreciando el trmino de error, y reemplazando en (4.39), se llega a

([ A]{ })
El producto

([ A]{ })

j +1 2

j +1 2

1
j +1 2
j +1
j
j +1 2
j +1 2
[G ] { } { } = {Q} + {B}
t j

se escribe en trmino de incrementos discretos de tiempo como

([ A]{ })

j +1 2

1
j +1 2
j +1 2
[ A] { } j +1 + [ A] { } j
2

Reemplazando en la expresin anterior, se obtiene

1
1
j +1 2
j +1 2
j +1 2
j +1
j
j +1
j
j +1 2
j +1 2
[ A] { } + [ A] { } + [G ] { } { } = {Q} + {B}
t j
2
Finalmente, se despeja el vector de presiones desconocidas { }
frmula de integracin temporal

62

j +1

para obtener la

1
1
j +1 2
j +1 2
j +1
+
[ A]
[G ] { } =

t
2
j

{Q}

j +1 2

+ {B}

j +1 2

1
1
j +1 2
j +1 2
j
[ A]

[G ] { }
2
t j

(3.31)

Las matrices y vectores de coeficientes deben ser evaluados en el nivel de tiempo j + 1 2 ,


pero, dado que los valores de en este nivel son inicialmente desconocidos, debe
usarse una frmula de extrapolacin para estimar { }
Una alternativa es la frmula de extrapolacin lineal

{ }

j +1 2

= { }

j +1 2

t j

2t j 1

({ }

j +1 2

{ }

a partir de valores anteriores.

j 1

(3.32)

La alta no linealidad del problema de flujo en medio poroso puede manejarse usando una
metodologa de prediccin y correccin. La ecuacin (3.32) se utiliza para predecir los
valores de presin en el nivel j + 1 2 , y la ecuacin (3.31) se usa para corregir estos
estimados. El criterio de paro de este proceso iterativo es el error relativo en el clculo de
la presin de poros, esto es

r = max

nj +1,k +1 nj +1, k
nj +1,k +1

(3.33)

Tericamente, la convergencia se alcanza cuando el estimador r se hace igual a cero.


Dado que alcanzar este estado puede tomar un nmero exagerado de iteraciones, se
estima que se ha alcanzado la convergencia, se termina el proceso de iteracin y se
avanza al siguiente nivel temporal, cuando el estimador r alcance un valor menor o igual
a una tolerancia prescrita tol . De la misma manera, si no se logra la convergencia de la
solucin en un nmero kmax de iteraciones, se para el proceso iterativo.
El procedimiento de clculo se encuentra explicado con detalle en el algoritmo 3.1.

63

Algoritmo 3.1.

Manejo de la no linealidad del problema en el esquema de integracin temporal 1

1.

Calcular { }

2.

Tomar k = 0

3.

Reemplazar { }

4.

Para k = 0 hasta kmax

5.

j +1 2,0

usando la ecuacin (3.32)

j +1 2, k

en (3.31) y calcular { }

j +1, k

Calcular un nuevo { }

j +1 2, k +1

usando { }

{ }

j +1 2, k +1

j +1, k

1
j +1, k
j
{ } + { }
2

6.

Reemplazar { }

7.

Calcular el error relativo segn (3.33)

8.

Si r tol , terminar el ciclo; si no, continuar

9.

j +1 2, k +1

, segn

en (3.31) y calcular { }

(3.34)

j +1, k +1

Siguiente k

3.4.2. Esquema 2

Este esquema de integracin temporal se basa en la formulacin mixta de la ecuacin de


Richards y la modificacin del mtodo iterativo de Picard presentada por Celia et al.
(1990). El mtodo iterativo de Picard, a diferencia del esquema basado en la forma mixta
de la ecuacin de Richards, aproxima la variacin del contenido de humedad usando una
serie truncada de Taylor. Inicialmente, el contenido de humedad en el nivel j + 1 , j +1,k +1
puede escribirse como una serie truncada de Taylor:

j +1, k +1
n

j +1, k
n

j +1, k

j +1, k +1
n

nj +1, k )

Restando nj de ambos lados de la ecuacin anterior y dividiendo toda la expresin por


t j , se llega a

nj +1, k +1 nj
t j

j +1,k +1 nj +1,k
= Cnj +1,k n

t j

nj +1, k nj
+
t j

(3.35)

La ecuacin anterior da una aproximacin en diferencias finitas de la derivada temporal


para ser utilizada en la forma mixta de la ecuacin de Richards. De nuevo, C ( ) es

64

capacidad especfica de humedad. La aproximacin de la derivada del contenido de


humedad en el nivel temporal j + 1 2 usando la frmula de diferencias central es

j +1 2

j +1 j

t j

2
+ O ( t j )

Usando esta expresin y la ecuacin (3.35), la aproximacin en diferencias finitas central


del vector { t} queda dada por

j +1 2

1
1
j +1, k
j +1, k +1
j +1, k
{ }
+
[G ] { }
t j
t j

({ }

j +1, k

{ }

(3.36)

De manera similar a lo efectuado en la metodologa de integracin 1, aplicando el


esquema de Crank-Nicholson al sistema de ecuaciones diferenciales (3.28), se usa (3.36)
para obtener

[ A]

j +1 2

{ }

j +1 2

1
1
j +1, k
j +1, k +1
j +1, k
{ }
+
[G ] { }
t j
t j
= {Q}

j +1 2

+ {B}

({ }

j +1, k

{ }

j +1 2

j +1 2

{ }

j +1 2

(3.37)

j +1 2

El enfoque utilizado aqu para los trminos [ A]


{ } , {Q} y {B}
usado en el esquema 1. En esta ocasin stos trminos estn dados por

[ A]

j +1 2

j +1 2

1
j +1
j
j +1, k +1
j
[ A] { }
[ A] { }
2

j +1 2

es diferente al

(3.38)

(3.39)

(3.40)

{Q}

j +1 2

1
j +1, k +1
j
+ {Q}
{Q}
2

{B}

j +1 2

1
j +1, k +1
j
+ { B}
{B}
2

Reemplazando (3.38) en (3.37) y tomando factores comunes, se obtiene a la ecuacin de


integracin temporal

1
1
1
j +1, k
j +1, k
j +1, k
j +1, k +1
j +1 2
j +1 2
j +1, k
+
= {Q}
{ B}
+
[ A]
[G ] { }
[G ] { }
t j
t j
2

1
1
j
j
j +1, k
j
[ A] { }
{ } { } , para k = 0,1, 2,
t j
2

65

(3.41)

Esta ecuacin sugiere un proceso de prediccin-correccin similar al del esquema


integracin 1. Inicialmente se hace una estimacin de los valores de presin de poros en
el nivel j + 1 usando la frmula de extrapolacin lineal

{ }

j +1,0

= { } +

t j

t j 1

({ }

{ }

j 1

(3.42)

Los criterios de paro del proceso iterativo para este esquema, el cual se presenta en
detalle en el algoritmo 1.2, son los mismos que para el esquema 1. Para j = 0 , se toma

{ }

= { } pues en este nivel no hay valores precedentes con los cuales practicar una
extrapolacin lineal.
j +1,0

Algoritmo 3.2.

Manejo de la no linealidad del problema en el esquema de integracin temporal 2

1.

Calcular { }

2.

Tomar k = 0

3.

Calcular { }

4.

Para k = 1 hasta kmax

5.

Calcular { }

6.

Calcular el error relativo segn (3.33)

7.

Si r tol , terminar el ciclo; si no, continuar

8.

j +1,0

usando (3.42)

j +1, k +1

a partir de { }

j +1, k +1

j +1, k

usando (3.41)

a partir de { }

j +1, k

usando (3.41)

Siguiente k

3.4.3. Esquema 3

Este es un esquema de integracin completamente implcito basado en la formulacin


mixta de la ecuacin de Richards, esto es, la derivada temporal se aproxima usando
diferencias finitas hacia atrs, y las matrices y vectores de coeficientes son evaluados en
el nivel de tiempo j + 1 . La aproximacin en diferencias finitas hacia atrs es

j +1

j
+ O ( t j )
t j

j +1

Usando (3.35), puede escribirse

66

[ A]

j +1, k

{ }

j +1, k +1

1
1
j +1, k
j +1, k +1
j +1, k
{ }
+
[G ] { }
t j
t j
= {Q}

j +1

+ { B}

({ }

j +1, k

{ }

(3.43)

j +1

Tomando factores comunes,

1
1
j +1, k
j +1, k
j +1, k
j +1, k +1
j +1
j +1
j +1, k
+
= {Q} + {B} +
[ A]
[G ] { }
[G ] { }
t j
t j

1
j +1, k
j

{ } { }
t j

(3.44)

El algoritmo para la aplicacin del mtodo indicado en (3.44) se presenta a continuacin

Algoritmo 3.3.

Manejo de la no linealidad del problema en el esquema de integracin temporal 3

1.

Calcular { }

2.

Tomar k = 0

3.

Calcular { }

4.

Para k = 1 hasta kmax

5.

Calcular { }

6.

Calcular el error relativo segn (3.33)

7.

Si r tol , terminar el ciclo; si no, continuar

8.

j +1,0

usando (3.42)

j +1, k +1

a partir de { }

j +1, k +1

j +1, k

a partir de { }

usando (3.44)

j +1, k

usando (3.44)

Siguiente k

En cuanto a lo dems, se procede de manera similar al esquema de integracin 2.

3.5. ESFUERZO COMPUTACIONAL Y CONVERGENCIA


Habiendo estudiado en detalle el proceso de integracin temporal, resulta de inters
observar el proceso de convergencia en cada nivel temporal de la solucin de un
problema real de flujo. Considrese el problema de flujo bidimensional descrito en la
Tabla 3.1, cuya geometra se muestra en la Figura 3.11. Este problema en su forma
unidimensional de corresponde a la resuelta por Haverkamp et al. (1977), y es usado
comnmente como modelo de comparacin de soluciones numricas (Bouloutas, 1989).

67

Se ha obtenido una solucin numrica del estado de flujo de este problema usando el
esquema de integracin 2 y diferentes valores de incremento temporal. El perfil de presin
de la columna central de suelo del dominio para t =7.5 s, despus de 0.3 horas de
simulacin, se presenta en la Figura 3.12 junto a una solucin numrica calculada usando
una discretizacin muy fina (Malla densa), la cual se considera como solucin exacta
para efectos de comparacin. En la Figura 3.13 se muestra, adems, la variacin
temporal de la presin de poros a diferentes profundidades sobre la columna central. Los
resultados obtenidos estn en buen acuerdo con los obtenidos por Haverkamp et al.
(1977) y Bouloutas (1989).
Ahora se procede a evaluar el esfuerzo computacional como funcin del incremento
temporal utilizado en la simulacin. El nmero de iteraciones necesario para alcanzar la
convergencia en cada nivel temporal, para diferentes valores de t , se ha graficado en la
Figura 3.14. De observar estos resultados, resulta evidente que al aumentar el incremento
temporal, es en general necesario un mayor nmero de iteraciones para cumplir el criterio
de convergencia y avanzar al nivel temporal siguiente.

Figura 3.11.

Geometra del dominio de simulacin para las


simulaciones 1, 2A y 2B.

Tabla 3.1.

Datos de entrada para la simulacin 1.

Simulacin 1

Ancho, W

40.00 cm

Profundidad, L

60.00 cm

Condicin inicial

0 = -61.50 cm

Frontera
superior

Flujo constante:
q = 13.69 cm/hora

Presin constante:

68

Frontera inferior

= 61.50 cm

Perfil de suelo

Arena Haverkamp

Tiempo mximo
de simulacin

0.30 horas

2.50 cm

1.50 cm

Figura 3.12.

Perfil de presin en la columna central de para la simulacin 1, luego de 0.3 horas de infiltracin. Mtodo de
diferencias finitas

-20
Malla densa

t = 7.5 s
-25

-30

-35

[cm]

-40

-45

-50

-55

-60

-65

10

20

30
z [cm]

40

50

60

Variacin de la cabeza de presin a diferentes profundidades para la simulacin 1 t = 7.5 s. Mtodo de


diferencias finitas. Profundidades en cm

-20

-25

-30

-35

-40

[cm]

Figura 3.13.

-45

-50

-55
z=0
z=6
z=12
z=18
z=24
z=30

-60

-65

0.05

0.1

0.15
Tiempo [h]

69

0.2

0.25

0.3

El proceso iterativo de cada nivel temporal, tal como se ha descrito en la Seccin 3.4,
inicia con una prediccin de la presin de poros, con la cual se aplica la frmula de
correccin del esquema de integracin utilizado para obtener el primer valor de presin
(iteracin 0). Este clculo inicial se mejora usando la frmula de correccin cuantas veces
sea necesario, hasta alcanzar la convergencia. A continuacin se analiza el proceso de
convergencia del clculo de la presin de poros en un punto determinado del dominio. El
nodo que se va a estudiar es el ubicado en la superficie, sobre la columna central de
suelo.
Usando un incremento temporal t de 7.5 s (Figura 3.15), el primer valor de presin
calculado (iteracin 0), tanto para el para el primer como para el segundo nivel temporal,
no est muy lejos de la presin definitiva, y por tanto el proceso de iteracin se hace
rpido y satisfactorio. Para t = 15 s (Figura 3.16), en cambio, el clculo inicial ms
deficiente hace necesario un mayor nmero de iteraciones para alcanzar la convergencia.
Finalmente, para t = 30 s, la primera aplicacin de la frmula de correccin arroja un
valor de presin positivo, lo cual no tiene sentido fsico. Este clculo deficiente hace intil
la frmula de correccin, y su aplicacin arroja valores de presin claramente errados, tal
como se puede apreciar en la Figura 3.17.
Cuando el valor absoluto de la presin en cualquier punto del dominio llega a ser mayor al
mximo del valor absoluto de la lista de presiones hi utilizada como descripcin del
material en la simulacin, se hace imposible interpolar la conductividad hidrulica o el
contenido de humedad de ese punto, y por tanto la simulacin se aborta. Este error se
denomina violacin de las presiones lmite, y es la razn por la cual la simulacin con t =
30 s no pudo finalizar con xito.
Otra variable que puede afectar el proceso de convergencia de la solucin es la
resolucin espacial. Para evaluar su efecto, se ha intentado obtener soluciones numricas
del estado de flujo del problema anterior, esta vez con incrementos espaciales x = 1.25
cm y z = 0.75 cm. El esfuerzo computacional invertido en la solucin para diferentes
valores de incremento temporal se puede apreciar en la Figura 3.18. Comparando las
Figuras 3.14 y 3.18, puede observarse que al aumentar la resolucin espacial y mantener
el incremento temporal constante, el nmero de iteraciones necesarias para alcanzar la
convergencia aumenta; de hecho, aunque con z = 1.5 cm era posible obtener una
solucin usando t = 15 s, esto ya no resulta posible con z = 0.75 cm.

70

Figura 3.14.

Nmero de iteraciones como funcin del nivel temporal para la Simulacin 1, usando el mtodo de
diferencias finitas. z = 1.5 cm. 20 primeros niveles temporales.

t = 3.75 s
t = 7.5 s
t = 15 s
6

No. de iteraciones

10
Nivel temporal

12

14

16

18

20

Proceso de convergencia en la solucin de la presin en la superficie del dominio de flujo, usando el mtodo
de diferencias finitas. Simulacin 1. t =7.5 s

-40

-41

-42

-43

-44

[cm]

Figura 3.15.

-45

-46

-47

-48

-49
Nivel temporal j=1
Nivel temporal j=2
-50

5
Iteracin

71

10

Figura 3.16.

Proceso de convergencia en la solucin de la presin en la superficie del dominio de flujo, usando el mtodo
de diferencias finitas. Simulacin 1. t =15 s

-25

-30

[cm]

-35

-40

-45

Nivel temporal j=1


Nivel temporal j=2
-50

Figura 3.17.

5
Iteracin

10

Proceso de convergencia en la solucin de la presin en la superficie del dominio de flujo, usando el mtodo
de diferencias finitas. Simulacin 1. t =30 s

500
Nivel temporal j=1

400

[cm]

300

200

100

-100

0.5

1.5

2.5
Iteracin

72

3.5

4.5

Figura 3.18.

Nmero de iteraciones como funcin del nivel temporal para la Simulacin 1, usando el mtodo de
diferencias finitas. z = 0.75 cm. 20 primeros niveles temporales

t = 3.75 s
t = 7.5 s

No. de iteraciones

10
Nivel temporal

12

14

16

18

20

La explicacin para los efectos anteriores, los cuales, como se ver en la Seccin 4.7.1,
tambin se presentan en el mtodo de elementos finitos, radica en la naturaleza del
proceso de integracin temporal. El esquema 2 de integracin, utilizado en todos los
clculos de la presente seccin, est basado en el mtodo de Crank-Nicholson, el cual es
incondicionalmente estable en el caso de la solucin de la ecuacin de difusin con
coeficientes constantes (Carnahan et al., 1969), pero no necesariamente estable si los
coeficientes son variables (Tadjeran, 2007). Lastimosamente, los coeficientes de la
ecuacin de Richards son altamente variables, y por tanto la estabilidad de la aplicacin
del esquema 2 (o el esquema 1, tambin basado en el mtodo de Crank-Nicholson)
depende de la relacin entre los diferentes parmetros de simulacin. Los resultados de
esta seccin muestran que efectivamente, para garantizar la estabilidad, al menos debe
garantizarse que haya cierta relacin entre los incrementos espaciales y el incremento
temporal. El efecto de los dems parmetros de simulacin (e.g., las propiedades
hidrulicas de los materiales) en la estabilidad de la solucin se reserva para
investigaciones futuras.

73

4. MTODO DE ELEMENTOS FINITOS


El mtodo de elementos finitos es una alternativa al enfoque ms tradicional de
diferencias finitas para la solucin de ecuaciones diferenciales, cuya popularidad se ha
extendido a lo largo de las ltimas dcadas en varias ramas de la ciencia y la ingeniera.
Su aplicacin trae, en comparacin al mtodo de diferencias finitas, varias ventajas y
desventajas, e implica un cambio significativo en la forma como se abordan varios de las
situaciones que se presentan ms comnmente en la solucin de ecuaciones
diferenciales. En este captulo se estudiarn los detalles de la formulacin del mtodo y su
aplicacin al problema de flujo en medio poroso.

4.1. INTRODUCCIN AL MTODO DE ELEMENTOS FINITOS (MEF)


La solucin clsica al problema definido por las ecuaciones (2.4) a (2.11) es una funcin
que satisface la ecuacin (2.4) para todo x y t ( 0, T ) , las condiciones iniciales
para todo x , y las condiciones de frontera para todo x . Esta formulacin del
problema se conoce como formulacin fuerte, pues implica condiciones de continuidad
excesivamente restrictivas sobre la solucin verdadera. Una alternativa a este enfoque es
la que se conoce como formulacin dbil, la cual es presentada a continuacin:
La ecuacin (2.4) puede ser rescrita de la forma
L ( ) =

Ki3
=0
K ij

xi
x j
t

(4.1)

donde L ( ) es un operador diferencial cuasilineal definido en . La no linealidad de L


radica en que K ij es una funcin de , pero con el fin de poder solucionar el problema,
se ignorar momentneamente este hecho. Supngase que ( xi , t ) , la funcin que desea
obtenerse, es una funcin de cuadrado integrable que pertenece a cierto espacio de
Hilbert V de infinitas dimensiones; sea adems una funcin arbitraria de V , entonces,
multiplicando L ( ) por e integrando sobre , se tiene

L ( ) d = 0

(4.2)

Puede asegurarse que si una funcin satisface (4.2) para todo , entonces la ecuacin
(2.4) se satisface para todo el dominio . Para probar la validez de la afirmacin anterior,
supngase que L ( ) 0 para todo o parte del dominio, por tanto es posible encontrar un
tal que la ecuacin (4.2) sea diferente de cero, lo cual prueba el punto en cuestin.

74

La formulacin dbil del problema de flujo en medio poroso puede entonces escribirse
como: Encuntrese un V tal que se cumpla (4.2) para todo V . Esta notacin es
comn en el estudio de ecuaciones diferenciales parciales y su solucin mediante
elementos finitos.
En virtud de la frmula de Green es posible escribir la ecuacin (4.2) de la forma:

C ( ) D ( ) d + E ( ) F ( ) d = 0

(4.3)

Los operadores diferenciales C , D, E y F contienen derivadas de orden inferior al de las


derivadas de L , lo cual implica que para que las integrales en (4.3) sean finitas se
requiere un grado menor de continuidad de parte de que el exigido por la formulacin
fuerte (Zienkiewicz y Taylor, 2000).

4.2. EL MTODO DE GALERKIN


La solucin al problema (4.2) pertenece al espacio V de dimensiones infinitas, y es en
general imposible de obtener. Para solucionar esta dificultad de manera prctica, se
escribe la secuencia de subespacios {V N }

N =1

V , V N V N +1 que llena el espacio V en el

lmite. En vez de intentar solucionar (4.2) en V , se puede obtener una solucin exacta en
V N . Esto nos resulta en una secuencia de soluciones { N }

N =1

, N V N que converge a

la solucin exacta de (4.2) (olin, 2006). El problema escrito en estos trminos se conoce
como problema discreto de Galerkin.
El mtodo de Galerkin establece que puede encontrarse una aproximacin de ( xi , t ) de
la forma

N ( xi , t ) = n ( t ) n ( xi ) , para n = 1, 2, , N
donde

{ ( x )}
n

n =1

es un conjunto de

(4.4)

funciones de coordenadas linealmente

independientes. La solucin aproximada N ( xi , t ) debe pertenecer a un subespacio N dimensional de V , V N , cuyos elementos satisfacen todos los criterios de continuidad y las
condiciones de frontera del problema. La ecuacin (4.4) a su vez implica que cada
elemento de V N puede ser escrito como una combinacin lineal de todos los n . Por
tanto, las funciones { n ( xi )}n =1 deben ser elegidas de modo que constituyan un conjunto
N

completo que cubra todo el subespacio V N , por tanto formando una base para V N .
(Neuman, 1973).

75

A continuacin presentamos una descripcin general de la estrategia de solucin del


mtodo de Galerkin. El problema discreto de Galerkin para el caso en estudio es:

L ( ) d = 0
N

(4.5)

Dado que la funcin arbitraria pertenece a V N , puede escribirse como una combinacin
lineal:

= n n , para n = 1, 2, , N

(4.6)

Reemplazando por las funciones base 1 , 2 ,, N en (4.5), tinese el sistema de


ecuaciones
m ( N ) = L ( N ) m d = 0 , para m = 1, 2, , N

(4.7)

La implicacin de (4.5) a (4.7) es fcil de observar pues toda funcin base m V N es un


caso especial del caso general V N . La implicacin en el sentido contrario tambin es
vlida. Multiplicando la ecuacin (4.7) por m , se obtiene

L ( )
N

d = 0

m m

Sumando la ecuacin anterior para todo m , se vuelve a obtener la ecuacin (4.5):

L ( )
N

d = L ( N ) d = 0

m m

La estrategia de solucin es escribir (4.7) para todo m , de modo que se tiene un sistema
de ecuaciones donde las incgnitas son los n . Resueltos estos valores, se combinan
con las funciones de coordenadas segn (4.4) para obtener la solucin al problema
discreto de Galerkin.

4.3. DISCRETIZACIN DE LA REGIN DE FLUJO


La interpretacin fsica del mtodo de Galerkin, es el clculo de una aproximacin a la
solucin de la ecuacin de flujo, mediante la combinacin lineal de la variacin de la
presin en N puntos o nodos del dominio = y N funciones de coordenadas
asociadas a los nodos. Estos nodos se unen formando una malla compuesta por
polgonos denominados elementos finitos, con nodos en cada una de sus esquinas.

76

Considrese un dominio acotado bidimensional con una frontera Lipschitz-continua


= D N . Para poder obtener una solucin aproximada del problema (4.2) debe
hacerse una serie de aproximaciones que se alejan de la rigurosidad del esquema de
trabajo de Galerkin. Dichas aproximaciones se encuentran descritas en detalle en (olin,
2006):
1.

Aproximacin del dominio

El dominio es aproximado por el dominio poligonal h (Fig. 4.1). Como puede


observarse, Puede presentarse que h e incluso h , lo que significa que la
funcin solucin no estar definida en lugares donde va a ser aproximada o evaluada.
2.

Malla de elementos finitos

El dominio h se divide en una malla h , p compuesta por un nmero finito de


subdominios abiertos poligonales E1 , , EM , o elementos finitos, tales que
M

= h

i =1

y Ei E j = para i j . Dicha malla se dice regular si cada interseccin Ei E j = ,


i j es bien un lado compartido o un vrtice nico. Ejemplos de dicha particin se puede
observar en la Figura 4.2.
3.

Aproximacin de las condiciones de borde

Despus de reemplazar el dominio por el dominio poligonal h , las fronteras originales


D , N en las que las condiciones de borde haban sido prescritas se perdieron. Para
suplir esto, hace falta transferir las condiciones de borde a las contrapartes poligonales
D ,h , N ,h sin violar la fsica detrs del fenmeno analizado.
4.

Aproximacin del espacio V

El espacio V ( ) debe ser aproximado por un espacio polinomial Vh , p ( h ) de acuerdo con


la aproximacin h . De la misma manera, las integrales definidas sobre y
deben escribirse sobre sus contrapartes aproximadas.
Otros conceptos relacionados con la discretizacin de la regin de flujo se pueden
observar en la Figura 4.3. Todo nodo n de la malla de elementos finitos tiene relacionada
un rea aferente, que no es ms que la unin de las reas de cada elemento al cual n
pertenece, definidas como el lugar geomtrico de los puntos del dominio de flujo, que
estn ms cercanos a n que a cualquiera de los otros nodos que componen el elemento.
De manera similar, todo nodo n que hace parte de N ,h , tiene relacionada una Frontera
propia. Dicha frontera propia es la unin de las fronteras exteriores de los elementos a los
cuales n pertenece, y sirve para definir el aporte del nodo n al flujo hacia adentro o hacia
fuera del dominio de flujo.

77

Figura 4.1.

Aproximacin del dominio

Figura 4.2.

Particin del dominio en elementos finitos

78

Figura 4.3.

Frontera propia y rea aferente de nodos de la malla de elementos finitos

4.4. FUNCIONES DE FORMA


Analcese un nodo en particular n de la malla h , p de coordenadas espaciales xin . Dicho
nodo tiene asociada una subregin de , n , compuesta por todos los elementos
vecinos a n (Fig. 4.4a), y una funcin de coordenadas n ( xi ) que cumple las relaciones

n ( xim ) = nm para todo xim en


n ( xim ) = 0 para todo xim no en n

(4.8)

donde nm es el delta de Kronecker, esto es, nm = 1 si n = m y nm = 0 si n m . Unas

formas posibles de n ( xi ) para el caso bidimensional se puede apreciar en la Figuras


1.4b y 1.4c. La finalidad de las funciones de coordenadas se puede apreciar observando
la ecuacin (4.4). Es claro que sta ecuacin sirve como una frmula de interpolacin de
N en , tal como se puede apreciar en la Figura 4.5.
La funcin de coordenadas asociada a un nodo puede pensarse en trminos de la unin
de varias funciones de coordenadas elementales ne , cada una asociada no solo al nodo a
cuestin sino a los elementos finitos a los que pertenece el nodo. Esto es, si el nodo n
pertenece a r elementos, tenemos entonces

79

Figura 4.4.

Funciones de forma para el caso bidimensional

n = ne

(4.9)

e =1

La relacin anterior es ilustrada en la Figura 4.6. Las funciones de coordenadas


elementales cumplen tambin con la propiedad delta, esto es,

ne ( xim ) = nm para todo xim en E e


ne ( xim ) = 0 para todo xim no en E e

(4.10)

La ecuacin (4.7) puede escribirse ahora en trminos de elementos finitos utilizando la


relacin (4.9):
r

m ( N ) = m ( n n ) = m n ne
e =1

m ( N ) = em ( n ne ) = 0

(4.11)

em ( n ne ) =

(4.12)

e =1

donde

L ( )
e
n n

80

e
m

Figura 4.5.

Funciones de coordenadas como frmula de interpolacin

Figura 4.6.

Funciones de coordenadas como la combinacin de funciones de coordenadas elementales

81

4.5. IMPLEMENTACIN DEL MTODO DE ELEMENTOS FINITOS


4.5.1. Formulacin general

Para resolver (4.11), hace falta desarrollar las integrales indicadas. La variacin de la
conductividad hidrulica dentro de un elemento se aproxima de manera similar a la
presin , usando las mismas funciones de coordenadas:

K ij = K ij ,l le

(4.13)

donde l representa las esquinas del elemento finito en cuestin. De la misma manera, el
contenido de humedad volumtrico puede escribirse como una combinacin lineal usando
como base las funciones de coordenadas n

N ( xi , t ) = n ( t ) n ( xi ) , para n = 1, 2, , N

(4.14)

Reemplazando estas aproximaciones en (4.12), se llega a la expresin


em ( N ) =


e xi
E

( n ne )
( n ne )
me d = 0
K ij
Ki3

x j
t

(4.15)

donde N = ( N ) . Asumimos que el material es isotrpico, esto es, K ii = K , K ij = 0 para


i j , de modo que algunos de los trminos de la integral se eliminan y las nicas
derivadas de segundo orden que permanecen son aquellas con i = j , por tanto,
e

( n ne )
e

e ( n n )
K ij
l
K l
Ki3 = Kl

xi
x j
xi
xi
x3

Refirindose a la derivada de una multiplicacin, se puede escribir


e
e
e
e ( n n )
e e ( n n )
e ( n n )
m l
= le m
l

+ me
xi
xi
xi
xi
xi
xi

Kl

e
e

e e
e m
e l
=
+
K
K

( m l ) l l x l m x
x3
3
3

Reemplazando en las expresiones anteriores,


e
e
e e
( n n)
( n n )
e e ( n n )
e m
e K xi xi d = e Kl xi ml xi d e Kll xi xi d
E
E
E

e
l m

82

e
Klm

Ee

e
le

e e
e m

d = Kl
d

K
( m l)
e l l x3 d
x3

x
e
3
E
E

Aplicando la frmula de Green para los primeros trminos en la derecha de las


expresiones anteriores, se tiene

Kl

Ee

e
( n ne )
e e ( n n )
m l
d = K l le me
xi d
xi
xi
xi
e

Ee

(me le ) d = e Klleme x3d


x3

donde xi es un vector unitario en la direccin xi . Con todas las integrales desglosadas, se


reemplaza en (4.15) para llegar a la siguiente expresin, la cual ha sido escrita para el
caso bidimensional:
em ( N ) =


( n ne )
( n ne )

me d =

K
K

i3
e xi ij x j

t
E

e
e


e e
e m n
+ m n d n + me ne d n
K l l
E e x1 x1 x3 x3

E e
t
e
+ Q ( xi , t ) me d K l le m d
x3
Ee
e

(4.16)

Esta expresin puede ser escrita de manera ms compacta:


e
Amn
n + Fmne

n
= Qme + Bme
t

(4.17)

e
e
donde los coeficientes Amn
, Fmn
, Qme y Bme estn dados por

e e e e
e
Amn
= K l le m n + m n d
x1 x1 x3 x3
Ee

(4.18)

e
Fmn
= me ne d

(4.19)

Qme = Q ( xi , t ) me d

(4.20)

me
d
x3

(4.21)

Ee

Bme = K l le
Ee

83

Los subndices m y n en la ecuacin (4.17) representan los nodos del elemento e .


Supngase que dicho elemento tiene s nodos numerados de 1 a s , e introduciendo el
vector { } = ( 1 , , s ) de funciones de presin de poros n en los nodos y el vector
e

{ t}

= ( 1 t , s t ) , es posible escribir (4.17) de la forma matricial


T

[ A]ss { }
e

e
e

+ [ F ]ss = {Q}s + { B}s
t
e

(4.22)

Sumando la ecuacin anterior sobre todos los elementos de la malla, se obtiene el


sistema de ecuaciones diferenciales ordinarias

= {Q}N + {B} N
t

[ A]N N { } + [ F ]N N

(4.23)

con { } = ( 1 , , N ) y { t} = ( 1 t , N t ) . Las semejanzas entre la ecuacin


(4.23) y la (3.28) saltan a la vista.
T

La matriz [ A] es conocida como la matriz global de rigidez o de conductancia, [ F ] como


matriz de capacitancia o de masa, y el vector {Q} + { B} como vector de carga.
e
e
, Fmn
, Qme y Bme ,
Antes de intentar resolver (4.23) se deben determinar los coeficientes Amn
los cuales dependen de la geometra del elemento finito y de las funciones de
coordenadas. Para el presente trabajo se manejaron dos tipos de elementos finitos y
funciones de coordenadas lineales en xi , los cuales se describen a continuacin.

4.5.2. Elemento triangular

La forma geomtrica ms simple utilizada para aproximar regiones de flujo irregulares es


el tringulo. Su popularidad radica en su facilidad de implementacin y su capacidad de
representar regiones altamente irregulares de manera sencilla, la cual puede ser
mejorada utilizando algoritmos de refinamiento de mallas no estructuradas (Lewis,
Nithiarasu, y Seethamaru, 2004).
El elemento triangular general se encuentra representado en la Figura 4.7. Sus tres
esquinas estn numeradas en sentido contrario al de las manecillas del reloj y tienen
asociadas coordenadas espaciales xi1 , xi2 y xi3 , respectivamente. Supngase que las
funciones de coordenadas locales son lineales en xi , entonces la relacin entre las
coordenadas globales y las funciones de coordenadas locales definida por las ecuaciones
(4.24) y (4.25) (Neuman, 1973):

84

Figura 4.7.

Elemento triangular

1 1
x = x1
1 1
x3 x31

1 1e

x13 2e
x33 3e

(4.24)

1 1 1
2 2 x1 ,
3 3 x3

(4.25)

1
x12
x32

1e
1
e 1
2 = 2 2
e
3
3

donde y los coeficientes l , l y l estn dados por

1 x11
2 = 1 x12
1 x13

x31
x32 = 1 2 2 1

(4.26)

3
3

1 = x12 x33 x13 x32 ; 1 = x32 x33 ; 1 = x13 x12


2 = x13 x31 x11 x33 ; 2 = x33 x31 ; 2 = x11 x12
3 = x11 x32 x12 x31 ; 3 = x31 x32 ; 3 = x12 x12

(4.27)

Obsrvese que es numricamente igual al rea del tringulo en cuestin. De las


ecuaciones anteriores, interesa conocer las primeras derivadas espaciales de las

85

funciones de coordenadas locales, las cuales se pueden obtener a partir de la ecuacin


(4.25):
le bl le cl
;
=
=
x1 2 x3 2

(4.28)

De la misma manera, se puede demostrar la siguiente frmula de integracin para


elementos triangulares lineales:

( ) ( ) ( )
e a
i

e b
j

e c
k

d = 2

a !b!c !
( a + b + c + 2 )!

(4.29)

Valindose de las ecuaciones (4.29) y (4.28), se puede resolver las integrales definidas en
(4.18) a (4.21), y definir las matrices elementales para el tringulo.
11
K
[ A] = 2 1
4
3 1

1 2
2 2
3 2

[F ]

13 1 1 1 2 1 3

2 3 + 2 1 2 2 2 3
3 3 3 1 3 2 3 3

(4.30)

2 1 1

= 1 2 1
12
1 1 2

(4.31)

1
K
= 2
2
3

(4.32)

{B}

L12V12 + L13V13
1
{Q } = 2 L12V12 + L23V23
L23V23 + L13V13
e

(4.33)

Lij y Vij representan la longitud de la cara del tringulo que une los puntos i y j , y el flujo

especfico a travs de dicha cara, respectivamente. K = ( K1 + K 2 + K 3 ) 3 es el promedio de


la conductividad hidrulica en los nodos del tringulo. Si el flujo especfico a travs de
alguna de las caras del elemento no est prescrito, esto es, no est definido como
condicin de frontera, entonces se toma igual a cero.

4.5.3. Elemento rectangular

Otra forma geomtrica comnmente utilizada para definir elementos finitos es el


cuadriltero, en particular el rectngulo regular de lados paralelos al sistema de

86

coordenadas. El elemento finito rectangular puede apreciarse en la Figura 4.8. Siendo


consistentes con la convencin usada para el tringulo, las cuatro esquinas del rectngulo
estn numeradas en sentido contrario al de las manecillas del reloj y tienen asociadas
coordenadas espaciales xi1 , xi2 , xi3 y xi4 , respectivamente; la base del rectngulo es
m = x12 x11 = x13 x14

y su altura
l = x33 x32 = x34 x31

Figura 4.8.

Elemento rectangular

Puede hacerse sobre el rectngulo un anlisis similar al del elemento triangular con
funciones de coordenadas lineales para obtener las matrices elementales. Los detalles de
dicho anlisis, que se omite en la presente tesis, se pueden encontrar en Lewis, et al.,
2006. Las frmulas resultantes se encuentran consignadas en las ecuaciones
2 2 1 1
2 1 1 2

K m 2 2 1 1 l 1 2 2 1
e
+
[ A] =
6 l 1 1 2 2 m 1 2 2 1

2
2 1 1
1 1 2 2

87

(4.34)

lm 2
e
[ B] =
36 1

(4.35)

1

l 1
=K
2 1

1

(4.36)

L12V12 + L14V14

1 L V + L23V23
= 12 12
2 L23V23 + L34V34

L34V34 + L14V14

(4.37)

{F }

{Q}

2 1 2
4 2 1
2 4 2

1 2 4

Lij y Vij representan la longitud de la cara del tringulo que une los puntos i y j , y el flujo

especfico a travs de dicha cara, respectivamente. K = ( K1 + K 2 + K 3 + K 4 ) 4 es el


promedio de la conductividad hidrulica en los nodos del rectngulo. Si el flujo especfico
a travs de alguna de las caras del elemento no est prescrito, esto es, no est definido
como condicin de frontera, entonces se toma igual a cero.
Conocidas las matrices y vectores elementales se pueden construir las matrices y
vectores globales de la ecuacin (4.23) usando las relaciones de conectividad entre nodos
y elementos de la malla. El sistema de ecuaciones diferenciales ordinarias resultante se
puede resolver utilizando alguno de los esquemas estudiados en la seccin 3.4.

4.5.4. Condiciones de frontera

Las condiciones de frontera que pueden manejarse en la presente implementacin del


mtodo de elementos finitos son las mismas que se han trabajado en el caso de
diferencias finitas. En MEF, las condiciones de frontera estn definidas en el vector {Q}
en (4.23).

4.5.4.1. Condiciones de Neumann

El significado fsico del vector

{Q} se

puede deducir a partir de las integrales que lo

definen. Si determinado nodo n pertenece a uno o varios elementos en cuyas fronteras el


flujo especfico est prescrito, la integral (4.20) indica que el n -simo elemento de {Q} ,

Qn , representa la contribucin n al flujo total que ingresa al dominio, y se calcula como el

88

flujo a travs de la frontera propia de n , ponderado usando las funciones de forma. El


elemento Qn se calcula como la suma de los Qne elementales dados por (4.20).

Habindose calculado {Q} , se aplica cualquiera de los esquemas de integracin temporal

estudiados en la seccin 3.4. La integridad de las matrices [ A] y [ F ] no se ve afectada


en este caso.

4.5.4.2. Condiciones de Dirichlet

Si la presin est prescrita para cierto nodo i y es constante en el tiempo, debe


asegurarse en el esquema de integracin temporal a utilizar que se cumpla i j +1 = i j .
Esto puede lograrse de dos maneras, el mtodo tradicional de eliminacin de filas, y un
mtodo alternativo, las cuales son descritas a continuacin. Para tales efectos, el sistema
de ecuaciones resultante de cualquier esquema de integracin puede escribirse como

[U ]{ } = {d }

(4.38)

Los dos mtodos implican modificaciones a la estructura de los elementos de la ecuacin


anterior:
-

Eliminacin de filas: Este mtodo consiste en eliminar las filas de [U ] y {d } que


correspondan a los nodos que pertenecen a fronteras D con condiciones de borde
tipo Dirichlet. Para que el sistema de ecuaciones siga siendo cuadrado, hace falta
eliminar adems las columnas de [U ] correspondientes a D y pasar a restar los
trminos de la combinacin lineal [U ]{ } , eliminados a la izquierda para que el

resultado sea equivalente a (4.38). Por ejemplo, considrese el sistema


u11 u12
u
21 u22

u p1 u p 2
uq1 uq 2

u
N1 uN 2

u1 p

u1q

u2 p

u2 q

u pp

u pq

uqp

uqq

u Np

u Nq

u1N
u2 N

u pN
uqN

u NN

N N

1j +1
d1
j +1
d
2
2


p = dp ,

dq
q


j +1

N N 1 d N N 1

donde p y q son los nodos de la malla que pertenecen a una frontera D .


Recurdese que p y q son constantes en el tiempo. Despus de la eliminacin de
filas, se tiene

89

u11 u12
u
21 u22

u N 1 u N 2

u1 p
u2 p

u1q
u2 q

u Np

u Nq

u1N
u2 N

u NN
N ND N

1j +1
j +1
2
d1

2
p =


q
d N N N D 1

j +1
N N 1

Luego de la eliminacin de columnas y la resta de elementos a la izquierda, se


obtiene el siguiente conjunto de ecuaciones:
u11 u12
u
21 u22

u N 1 u N 2

u1N
u2 N

u NN N N N N
D
D

1j +1
u1 p p + u1q q
d1
j +1
u + u
d
2p p
2q q
2
= 2


j +1


N N N D 1 d N N N D 1 u Np p + u Nq q N N D 1

El sistema de ecuaciones resultante es equivalente a (4.38). La ventaja de esta


aproximacin es que reduce efectivamente el orden del sistema de ecuaciones, lo
cual facilita su resolucin.
-

Mtodo alternativo: En el enfoque tradicional, los valores de p y q en el nivel


temporal j + 1 son excluidos del vector de incgnitas, pues son valores conocidos.
En el enfoque alternativo, estos valores se conservan como incgnitas, y en cambio
se escriben ecuaciones adicionales de la forma pj +1 = pj y qj +1 = qj . Para tales
fines, se hacen todos los elementos de las filas correspondientes a los nodos de las
fronteras D de la matriz [U ] iguales a cero, excepto los elementos de la diagonal
principal, los cuales se hacen igual a uno. Los elementos del vector

{d }

correspondientes a los nodos de las fronteras D se hacen se hacen iguales a la


presin de poros en esos nodos, de modo que se conserve la relacin i j +1 = i j . A
modo de ilustracin, la forma matricial del sistema de ecuaciones del ejemplo
anterior luego de aplicar el mtodo alternativo sera:
u11 u12
u
21 u22

0
0
0
0

u
N1 uN 2

u1 p

u1q

u2 p

u2 q

u Np

u Nq

u1N
u2 N

0
0

u NN

90

NN

1j +1
d1
j +1
d
2
2


j +1
j
p = p
j +1
qj
q


j +1

N N 1 d N N 1

Como se puede observar, en este mtodo no se reducen las dimensiones del


sistema, lo cual es una desventaja frente al enfoque tradicional en cuanto a esfuerzo
computacional invertido para su solucin, pero es tambin una ventaja en cuanto a
facilidad de implementacin pues su aplicacin no requiere modificaciones al
tamao o estructura de los elementos de la ecuacin (4.38), y es en esencia muy
similar a la manera como se han trabajado las condiciones de Dirichlet en el mtodo
de diferencias finitas (Seccin 3.3.2.1).
Bien sea que las fronteras del dominio de flujo tengan condiciones de borde tipo Neumann
o Dirichlet, Qi es nulo para los nodos i de la malla que no pertenecen a la frontera.

4.5.5. Estructura de las matrices de coeficientes

De manera similar a la matriz de coeficientes

[ A]

del mtodo de diferencias finitas,

descrita en la seccin 3.3.3, las matrices globales de coeficientes [ A] y [ F ] derivadas de


la formulacin del mtodo de diferencias finitas, poseen cierta estructura y caractersticas
de las que se puede hacer uso para facilitar la solucin de (4.23). Estas son:
-

Simetra: Las matrices [ A] y [ F ] son simtricas, esto es


Aij = Aji , Fij = Fji para todo i, j .

Este hecho se puede apreciar de manera clara en las ecuaciones (4.18) y (4.19).
-

Definidas positivas: Las matrices [ A] y [ F ] son definidas positivas. Esta propiedad


implica que ambas matrices son no singulares, y por tanto invertibles; adems, la
matriz [ M ] = [ A] + [ B ] es tambin definida positiva, con > 0 y > 0 . Una
demostracin detallada de este hecho se puede encontrar en olin, 2006.
Esparcida: En cada fila i de las matrices [ A] y [ F ] , los nicos elementos no nulos
son aquellos correspondientes a los nodos inmediatamente vecinos al nodo i , tal
como puede observarse en la Figura 4.9. Esta caracterstica es resultado de las
ecuaciones (4.22), (4.23) y la propiedad delta de Kronecker de las funciones de
coordenadas de cada nodo, lo que hace que las matrices en cuestin sean
altamente esparcidas, esto es, tengan muchos elementos nulos. Las matrices [ A] y

[F ]

pueden manejarse usando un sistema de almacenamiento similar al descrito en


la seccin 3.3.3 gracias a la cantidad relativamente reducida que los compone, y al
hecho de que las posiciones de stos en las matrices de coeficientes obedecen a
relaciones geomtricas. En la Figura 4.10 se puede apreciar la ilustracin de esta
metodologa para el caso de la matriz de coeficientes mostrada en la Figura 4.9.

91

Figura 4.9.

La estructura de las matrices globales y las conectividades entre nudos de la malla de elementos finitos

Figura 4.10.

Metodologa de almacenamiento de las matrices globales de conductancia y capacitancia

De nuevo, la matriz

[ A]

se ha divido en dos matrices,

contiene los coeficientes Aij no nulos reorganizados, y


relacin entre la estructura de [ A] y [ A '] est dada por
Ai , j = A 'i , k , con j = PA,i ,k

92

[ A ']
[ PA ]

(Figura 4.10.a) que


(Figura 4.10.b). La

El nmero de columnas de [ A '] y [ PA ] es igual al nmero mximo de vecinos que


puede tener un nodo de la malla ms uno. Si un cierto nodo i tiene menos vecinos
que el mximo, quedarn algunos elementos vacos en la fila i de [ A '] y [ PA ] , los

cuales se llenan con ceros a modo de convencin. Para la matriz [ F ] se puede


proceder de una manera similar.

4.5.6. Forma basada en la presin de la ecuacin de Richards

Para reescribir la ecuacin de Richards en trminos de la presin, recurdese que

,
= C ( )
t
t

donde C ( ) es capacidad especfica de humedad. Reemplazando la relacin anterior en


(4.23), tinese

= {Q}N + { B} N
t

[ A]N N { } + [G ]N N

(4.39)

La matriz [G ] es la combinacin de varias matrices elementales [G ] cuyos elementos


estn dados por
e

e
Gmn
=

C ( )

e e
m n

Ee

La variacin espacial de la capacidad especfica de humedad se aproximar de manera


similar a la presin y a la conductividad hidrulica, esto es,
C = Cl le ,

(4.40)

donde el subndice l representa de nuevo las esquinas de un elemento finito. Usando


esta aproximacin, se obtiene
e
Gmn
= Cl le me ne d .

(4.41)

Ee

Otra forma de manejar la variacin espacial de la capacidad especfica es tomar C


constante sobre todo el elemento e igual a la capacidad en el centroide del elemento, lo
que equivale al promedio de los valores de C en las esquinas si se asume una variacin
lineal de C en el espacio. De esta manera,
e
Gmn
= C

d ,

e e
m n

93

(4.42)

donde C es la capacidad especfica en el centroide del elemento.


Para elementos triangulares, usando la ecuacin (4.41), la matriz elemental [G ] estar
dada por
e

6C1 + 2C2 + 2C3



[G ] = 2C1 + 2C2 + C3
60
2C1 + C2 + 2C3

2C1 + 2C2 + C3

2C1 + 6C2 + 2C3


C1 + 2C2 + 2C3

2C1 + C2 + 2C3
C1 + 2C2 + 2C3
2C1 + 2C2 + 6C3

(4.43)

donde C1 , C2 y C3 son los valores de C en las esquinas del elemento. Usando la


ecuacin (4.42) se obtiene una expresin diferente:

[G ]

= C [F ]

2 1 1
C
1 2 1
=
12
1 1 2

(4.44)

Obsrvese que si C es igual en todas las esquinas, las expresiones (4.43) y (4.44) son
equivalentes.
De manera similar a los elementos triangulares, para elementos rectangulares, la matriz
e
elemental [G ] estar dada por las ecuaciones (4.45) y dependiendo de si se usa el
enfoque de (4.41) o (4.42), respectivamente:
9C + 3C + C + 3C
lm 3C + 3C + C + C
e
[G ] = C + C + C + C
144
3C + C + C + 3C

[G ]

3C1 + 3C 2 + C 3 + C 4

C1 + C 2 + C 3 + C 4

3C1 + C 2 + C 3 + 3C 4

3C1 + 9 C 2 + 3C 3 + C 4

C1 + 3C 2 + 3C 3 + C 4

C1 + C 2 + C 3 + C 4

C1 + 3C 2 + 3C 3 + C 4

3C1 + 3C 2 + 9 C 3 + 3C 4

C1 + C 2 + 3C 3 + 3C 4

C1 + C 2 + C 3 + C 4

C1 + C 2 + 3C 3 + 3C 4

3C1 + 3C 2 + 3C 3 + 9 C 4

= C [F ]

4
lm C 2
=
36 1

2 1 2
4 2 1
2 4 2

1 2 4

(4.45)

(4.46)

4.6. INTEGRACIN TEMPORAL


La similitud entre las ecuaciones (3.28), (3.29), (4.23) y (4.39) hace posible utilizar los
mismos esquemas de integracin estudiados en la seccin 3.4 tanto con la formulacin
del mtodo de diferencias finitas como con el de elementos finitos; slo hace falta
reescribir algunas ecuaciones para que se tenga en cuenta el cambio en las matrices de

94

coeficientes. En esta seccin se presentan los algoritmos y ecuaciones reescritos para el


caso del mtodo de elementos finitos.

4.6.1. Esquema 1

La expresin de integracin temporal para este esquema y el mtodo de elementos


finitos, es:
1
1
j +1 2
j +1 2
j +1
+
[ A]
[G ] { } =

t
2
j

{Q}

j +1 2

+ {B}

j +1 2

(4.47)

1
1
j +1 2
j +1 2
j
[ A]

[G ] { }
2
t j

Las matrices y vectores de coeficientes deben ser de nuevo evaluados en el nivel de


tiempo j + 1 2 . La frmula de extrapolacin usada para determinar la primera estimacin
de { }

j +1 2

es la misma utilizada en el mtodo de diferencias finitas:

{ }

j +1 2

= { }

j +1 2

t j
2t j 1

({ }

{ }

j 1

(4.48)

En el algoritmo 4.1 se presenta detallado el proceso iterativo para mejorar la estimacin


de la presin de poros en el siguiente nivel temporal.

4.6.2. Esquema 2

La frmula de recurrencia de este esquema de integracin es:

[ A]

j +1 2

{ }

j +1 2

1
1
j +1, k
j +1, k +1
j +1, k
j +1, k
j
{ }
+
[G ] { }
[ F ] { } { }
t j
t j

= {Q}

El clculo de los trminos


seccin 3.4.2.:

[ A]

j +1 2

{ }

j +1 2

j +1 2

+ { B}

, {Q}

95

(4.49)

j +1 2

j +1 2

{B}

j +1 2

se realiza igual que en la

Algoritmo 4.1.

Manejo de la no linealidad del problema en el esquema de integracin temporal 1

1.

Calcular { }

2.

Tomar k = 0

3.

Reemplazar { }

4.

Para k = 0 hasta kmax

5.

Calcular un nuevo { }

j +1 2,0

usando la ecuacin (4.48)

j +1 2, k

en (4.47) y calcular { }

j +1 2, k +1

{ }

usando { }

j +1 2, k +1

j +1, k

Reemplazar { }

7.

Calcular el error relativo segn (3.33)

8.

Si r tol , terminar el ciclo; si no, continuar

9.

Siguiente k

[ A]

j +1 2

, segn

en (4.47) y calcular { }

{ }

j +1 2

1
j +1, k
j
{ } + { }
2

6.

j +1 2, k +1

j +1, k

(4.50)

j +1, k +1

1
j +1
j
j +1, k +1
j
[ A] { }
[ A] { }
2

(4.51)

(4.52)

(4.53)

{Q}

j +1 2

1
j +1, k +1
j
+ {Q}
{Q}
2

{B}

j +1 2

1
j +1, k +1
j
+ { B}
{B}
2

Reemplazando (4.51) en (4.49) y tomando factores comunes, se obtiene a la ecuacin de


integracin temporal
1
1
1
j +1, k
j +1, k
j +1, k
j +1, k +1
j +1 2
j +1 2
j +1, k
+
= {Q}
+ { B}
+
[ A]
[G ] { }
[G ] { }
t j
t j
2

1
1
j
j
j +1, k
j
[ A] { }
[ F ] { } { } , para k = 0,1, 2,
t j
2

(4.54)

La estimacin inicial de los valores de presin de poros en el nivel j + 1 se realiza usando


la frmula de extrapolacin lineal

96

{ }

j +1,0

= { } +

t j

({ }

t j 1

{ }

j 1

(4.55)

La aplicacin de esta ecuacin se realiza segn el Algoritmo 4.2.:

Algoritmo 4.2.

Manejo de la no linealidad del problema en el esquema de integracin temporal 2

1.

Calcular { }

2.

Tomar k = 0

3.

Calcular { }

4.

Para k = 1 hasta kmax

5.

Calcular { }

6.

Calcular el error relativo segn (3.33)

7.

Si r tol , terminar el ciclo; si no, continuar

8.

j +1,0

usando (4.55)

j +1, k +1

a partir de { }

j +1, k +1

j +1, k

a partir de { }

usando (4.54)

j +1, k

usando (4.54)

Siguiente k

= { } pues en este nivel no hay valores precedentes con los


Para j = 0 , se toma { }
cuales practicar una extrapolacin lineal.
j +1,0

4.6.3. Esquema 3

Para este esquema de integracin, se modifica la ecuacin (3.44) para adaptarla al


mtodo de elementos finitos, y se obtiene

1
1
j +1, k
j +1, k
j +1, k
j +1, k +1
j +1
j +1
j +1, k
+
= {Q} + {B} +
[ A]
[G ] { }
[G ] { }
t j
t j

1
j +1, k
j

[ F ] { } { }
t j

(4.56)

El algoritmo para la aplicacin del mtodo indicado en (4.56) se presenta a continuacin

97

Algoritmo 4.3.

Manejo de la no linealidad del problema en el esquema de integracin temporal 3

1.

Calcular { }

2.

Tomar k = 0

3.

Calcular { }

4.

Para k = 1 hasta kmax

5.

Calcular { }

6.

Calcular el error relativo segn (3.33)

7.

Si r tol , terminar el ciclo; si no, continuar

8.

j +1,0

usando (3.42)

j +1, k +1

a partir de { }

j +1, k +1

j +1, k

a partir de { }

usando (3.44)

j +1, k

usando (3.44)

Siguiente k

4.7. CONCENTRACIN ARTIFICIAL DE MASA


Es de inters estudiar el efecto de la estructura de las matrices de conductancia y masa
en la solucin del problema de flujo en medio poroso, especialmente la de las matrices de
masa. Se puede deducir a partir de la propiedad delta de Kronecker de las funciones de
forma, que las matrices de conductancia y masa que resultan de la aplicacin del mtodo
de elementos finitos al problema en cuestin, poseen la misma estructura de elementos
no nulos. Esta estructura, tal como se ha discutido con anterioridad, obedece a las
relaciones de vecindad establecidas entre los nodos, durante el proceso de discretizacin
del dominio de flujo. Las matrices elaboradas de esta forma se dice son consistentes con
la formulacin del mtodo de elementos finitos.
Considrese la solucin del estado de flujo en un dominio rectangular como el de la
Figura 3.11. Los parmetros de simulacin, las condiciones iniciales y de frontera, y las
propiedades de suelo utilizados para la simulacin se encuentran consignados en la Tabla
4.1. Las Figuras 4.11 y 4.12 muestran el perfil de presin de poros de la columna central
de suelo para los grupos de datos A y B, respectivamente. Las soluciones mostradas se
han calculado para diferentes valores de t y se presentan junto a una solucin obtenida
usando una discretizacin espacial y temporal densa, la cual se considera la solucin
exacta para estos problemas.
Para el grupo de datos A, se intent calcular una solucin para t = 7.5 s, 10 s, 30 s y
120 s. Los nicos casos en los que se logr cumplir la condicin de presiones lmite
fueron los dos primeros. De la misma manera, se intent obtener una solucin para el
grupo de datos B con t = 0.3 min, 0.6 min, 1.2 min, 2.4 min y 6 min, pero slo se logr
cumplir la condicin de presiones lmite en los primeros tres casos. Estos ejemplos
ilustran el hecho de que, al usar el esquema de matrices consistentes de masa, es
necesario usar valores de incremento temporal relativamente pequeos.

98

Tabla 4.1.

Grupos de datos de entrada para las simulaciones 2A y 2

Simulacin 2
Propiedad

Grupo de datos A

Grupo de datos B

Ancho, W

40.00 cm

40.00 cm

Profundidad, L

60.00 cm

100.00 cm

Condicin inicial

0 = -61.50 cm

0 = -1000.00 cm

Flujo constante:

Presin constante:

q = 13.69 cm/hora

= 75.00 cm

Frontera superior

Presin constante:

Presin constante:

Frontera inferior

= 61.50 cm

= 1000.00 cm

Perfil de suelo

Arena Haverkamp

Suelo Nuevo Mxico

Tiempo mximo de
simulacin

0.30 horas

24 horas

x1

2.50 cm

2.50 cm

x3

1.50 cm

2.50 cm

Otra caracterstica importante de la solucin se puede apreciar en la Figura 4.12.


Obsrvese que en el extremo seco del frente hmedo, los valores de cabeza de presin
oscilan espacialmente alrededor de la presin inicial del perfil. Dichas oscilaciones,
propias del uso de matrices consistentes de masa, han sido observadas y estudiadas
ampliamente por varios autores, entre ellos Bouloutas (1989), Celia (1990) y Pan (1996),
para soluciones del problema de flujo en una dimensin. Su existencia no obedece a un
comportamiento fsico real reproducible en laboratorio, sino a las propiedades de la
implementacin del mtodo de elementos finitos para la solucin numrica del problema
de flujo en medio poroso.
Es del inters del presente trabajo estudiar estas oscilaciones para el caso bidimensional,
para lo cual se discute el efecto que tiene sobre ellas la discretizacin espacial y temporal
usada para la solucin. La magnitud de dichas oscilaciones no parece depender del valor
de t siempre y cuando se alcance convergencia en la solucin, tal como se puede
observar en la Figura 4.12, pues para diferentes valores de t , la magnitud y extensin
de las oscilaciones en el frente hmedo son iguales. La discretizacin espacial, en
cambio, parece tener efecto sobre las oscilaciones. En la Figura 4.13 se muestran
diferentes soluciones del perfil de presin para la columna central del grupo de datos B,
calculadas con t constante y variando x3 . A medida que disminuye x3 , las
oscilaciones se hacen ms pequeas y se extienden menos sobre la longitud del perfil.

99

Figura 4.11.

Perfil de presin en la columna central de suelo luego de 0.3 horas de infiltracin, usando matrices de masa
consistentes. Grupo de datos 2A

-20
Malla densa

t = 7.5 s
t = 10 s

-25

-30

-35

[cm]

-40

-45

-50

-55

-60

-65

Figura 4.12.

10

20

30
z [cm]

40

50

60

Perfil de presin en la columna central de suelo luego de 24 horas de infiltracin, usando matrices de masa
consistentes. Grupo de datos 2B

0
Malla densa

t = 1.2 min
t = 0.6 min
t = 0.3 min
-200

[cm]

-400

-600

-800

-1000

-1200

10

20

30

40

50
z [cm]

100

60

70

80

90

100

Figura 4.13.

Perfil de presin en la columna central de suelo luego de 24 horas de infiltracin, usando matrices de masa
consistentes. Grupo de datos 2B. t =1.2 min

0
Malla densa

x3 = 5.0 cm
x3 = 2.5 cm
x3 = 1.25 cm

-200

[cm]

-400

-600

-800

-1000

-1200

10

20

30

40

50
z [cm]

60

70

80

90

100

A primera vista parece que la solucin para el grupo de datos A est exenta de estas
oscilaciones. Para indagar ms en este comportamiento, se ha trazado la variacin de la
cabeza de presin a diferentes profundidades sobre la columna central de suelo, para
ambos grupos de datos. Los resultados numricos (lnea a trazos) se comparan contra los
resultados obtenidos usando una malla densa (lnea continua) y se presentan en las
Figuras 4.14 y 4.15. Los resultados hacen evidentes las oscilaciones, especialmente para
el grupo de datos B; menos evidentes son para el grupo de datos A, pero se puede
observar que la presin alcanza valores menores a la presin de campo a profundidades
pequeas (alrededor de 6 cm) sobre la columna central.
Dado que las oscilaciones en el frente hmedo no representan un comportamiento real
del agua en el suelo, su existencia es un problema para la solucin numrica y se debe
mejorar para obtener resultados acordes con la realidad fsica. Una alternativa de solucin
para ste problema, se deduce a partir de la comparacin de la estructura de las matrices
de conductancia y masa elaboradas usando el mtodo de elementos finitos (MEF) y el
mtodo de diferencias finitas (MDF). Para el caso de MDF, la estructura de elementos no
nulos de la matriz de conductancia, obedece a las relaciones de vecindad entre nudos, tal
como es el caso para MEF; en cambio, la estructura de la matriz de masa para MDF es
diagonal, mientras que para MEF todava obedece las relaciones de vecindad. Lo anterior
significa que el mtodo de elementos finitos distribuye espacialmente la aproximacin de
la derivada temporal de la ecuacin de Richards (Celia, 1990).

101

Figura 4.14.

Variacin de la cabeza de presin a diferentes profundidades para el grupo de datos 2A, usando matrices de
masa consistentes. t = 7.5 s. Profundidades en cm

-20

-25

-30

-35

[cm]

-40

-45

-50

-55
z=0
z=6
z=12
z=18
z=20
z=24
z=30

-60

-65

Figura 4.15.

0.05

0.1

0.15
Tiempo [h]

0.2

0.25

0.3

Variacin de la cabeza de presin a diferentes profundidades para el grupo de datos 2B, usando matrices de
masa consistentes. t = 1.2 min. Profundidades en cm

-200

-400

[cm]

-600

-800

-1000

-1200
z=0
z=10
z=20
z=30
z=40
z=50
z=60

-1400

-1600

10

15
Tiempo [h]

102

20

Para saber si es sta caracterstica particular del mtodo de elementos finitos el que
produce las oscilaciones observadas, se introduce el concepto de concentracin o
diagonalizacin artificial de masa, una tcnica utilizada para manejar este tipo de
comportamiento en la solucin de todos los problemas del tipo difusin mediante
elementos finitos. La concentracin artificial de masa consiste en concentrar todos los
elementos de las matrices de masa en su diagonal principal. Una forma de lograr esto es
sumar todos los elementos de determinada fila de la matriz de masa y colocar el resultado
en la diagonal principal. Expresndolo formalmente, los trminos de la matriz elemental de
e, L
masa concentrada [G ] estn dados por

(G )

e L
ij

N e
G
= i =1 ij
0

si i = j

(4.57)

si i j

La tcnica anterior se ha aplicado para la solucin del problema de flujo en medio poroso,
tanto con elementos finitos triangulares como rectangulares. Las matrices de masa
elementales concentradas para elementos triangulares son

[G ]

e, L

[F ]

e, L

2c1 + c2 + c3

=
0
12

0
1 0 0

= 0 1 0
3
0 0 1

c1 + c2 + 2c3

0
c1 + 2c2 + c3
0

0
0

(4.58)

y para elementos rectangulares,

[G ]

e, L

[F ]

e, L

4c

lm
=
36

lm 0
=
4 0

+ 2c + c + 2c
2

0
1
0
0

4c + 2c + c + 2c

4c + 2c + c + 2c

0
0
1
0

0
0
0

4c + 2c + c + 2c
1

(4.59)

Se vuelven a solucionar los grupos de datos para la arena Haverkamp y el suelo Nuevo
Mxico usando matrices concentradas de masa. Los resultados se pueden apreciar en las
figuras 4.16 a 4.19

103

Figura 4.16.

Perfil de presin en la columna central de suelo luego de 0.3 horas de infiltracin, usando matrices de masa
concentradas. Grupo de datos 2A. x3 =1.5 cm

-20
Malla densa

t = 7.5 s
t = 30 s
t = 120 s

-25

-30

-35

[cm]

-40

-45

-50

-55

-60

-65

Figura 4.17.

10

20

30
z [cm]

40

50

60

Perfil de presin en la columna central de suelo luego de 24 horas de infiltracin, usando matrices de masa
concentradas. Grupo de datos 2B. x3 =2.5 cm

0
Malla densa

t = 1.2 min
t = 2.4 min
t = 6.0 min
-200

[cm]

-400

-600

-800

-1000

-1200

10

20

30

40

50
z [cm]

104

60

70

80

90

100

Figura 4.18.

Variacin de la cabeza de presin a diferentes profundidades para el grupo de datos 2A, usando matrices de
masa concentradas. t = 7.5 s. Profundidades en cm

-20

-25

-30

-35

[cm]

-40

-45

-50

-55
z=0
z=6
z=12
z=18
z=20
z=24
z=30

-60

-65

Figura 4.19.

0.05

0.1

0.15
Tiempo [h]

0.2

0.25

0.3

Variacin de la cabeza de presin a diferentes profundidades para el grupo de datos 2B, usando matrices de
masa concentradas. t = 1.2 min. Profundidades en cm

-200

[cm]

-400

-600

-800

z=0
z=10
z=20
z=30
z=40
z=50
z=60

-1000

-1200

10

15
Tiempo [h]

105

20

Obsrvese las diferencias entre los resultados obtenidos usando matrices consistentes de
masa, y los resultados obtenidos usando matrices concentradas. En el segundo caso ya
no se presentan las oscilaciones alrededor de la presin inicial observadas en el primero,
y los resultados obtenidos son consistentes con los obtenidos para el caso unidimensional
por Haverkamp (1977) y Bouloutas (1989). La explicacin para este fenmeno radica en
que la solucin numrica obtenida con el uso de matrices de masa consistentes tal como
se ha estudiado en el presente documento no satisface el principio discreto del mximo y
por tanto permite valores de presin de poros ms all de los lmites establecidos por las
condiciones iniciales y las condiciones de frontera, en cambio que la solucin obtenida
usando matrices concentrados s cumple dicho principio y por tanto no permite
oscilaciones (Bouloutas, 1989).
Los resultados anteriores indican que el uso de matrices de masa concentradas tiene
mejor comportamiento que el uso matrices de masa consistentes, pero esto no significa
que lo primero sea un enfoque definitivo, pues la concentracin de masa es un
procedimiento artificial que no resulta de la formulacin del problema con elementos
finitos por el mtodo de Galerkin; esto implica que la aplicacin de la concentracin
artificial de masa puede tener otros efectos en la solucin final, de hecho, tal como
algunos autores han observado, la concentracin de las matrices de masa puede producir
frentes hmedos poco definidos (Pan et al., 1996). Existe la posibilidad de elaborar
esquemas basados en matrices de masa consistentes que satisfagan el principio discreto
del mximo (Pan et al.). Dichos esquemas son preferibles a los aqu estudiados, pues
estn libres de los problemas numricos mencionados; an as, su anlisis se escapa del
alcance del presente documento y se reserva para investigaciones futuras.

4.7.1. Esfuerzo computacional y convergencia

Otra ventaja de la aplicacin del esquema de matrices de masa concentradas es que la


solucin de cada nivel temporal requiere menos iteraciones para lograr la convergencia,
tanto en los primeros niveles como en el resto del dominio temporal (Figuras 4.20 y 4.21).
De estas figuras se puede observar adems que es en los primeros niveles temporales
donde se presentan mayores dificultades para la convergencia, sea o no que se use
concentracin artificial de masa, de manera similar a lo que ocurre en el mtodo de
diferencias finitas (Seccin 3.5). El comportamiento anterior se puede observar con detalle
en la Figura 4.22, donde se grafica la variacin de la cabeza de presin en la superficie
del dominio de flujo para el grupo de datos A, solucionado usando matrices de masa
concentradas para diferentes valores de incremento temporal. En esta figura se aprecia
que para incrementos temporales relativamente altos, la solucin alcanza valores de
presin alejados de la presin real en los primeros niveles temporales, tambin conocidos
como picos o disparos, los cuales son producto de la falta de convergencia del mtodo
de integracin temporal en el nivel temporal en cuestin.

106

Figura 4.20.

Nmero de iteraciones como funcin del nivel temporal y la estructura de las matrices de masa. Grupos de
datos 2A. t = 7.5 s. 10 primeros niveles temporales

20
Concentrado
Consistente
18

16

14

No. de iteraciones

12

10

10

Nivel temporal

Nmero de iteraciones como funcin del nivel temporal y la estructura de las matrices de masa. Grupos de
datos 2B. t = 1.2 min. 50 primeros niveles temporales

20
Concentrado
Consistente
18

16

14

12
No. de iteraciones

Figura 4.21.

10

10

15

20

25
Nivel temporal

107

30

35

40

45

50

Con el fin de ilustrar con mayor detalle las afirmaciones anteriores, se presenta en las
Figuras 4.23 a 4.24 el proceso de convergencia en el clculo de la presin en un punto del
dominio, esto es, cmo la presin vara desde un estimado inicial (posicin 0) hasta
cumplir la condicin de paro del proceso iterativo. El punto cuya presin de poros se
desea calcular es el ubicado en la superficie del dominio, sobre la columna central de
suelo; los niveles temporales en los cuales se calcula dicha presin son el primero y el
segundo, aquellos donde generalmente se consume el mayor nmero de iteraciones para
alcanzar la convergencia.
Los resultados de la Figura 4.23, calculados usando un incremento temporal de 7.5 s,
muestran un proceso de convergencia satisfactorio, desde una estimacin razonable
hasta alcanzar el valor de presin deseado en pocas iteraciones. El resultado para el
primer nivel temporal de la Figura 4.24, calculado con t = 30 s, muestra en cambio un
caso en que la presin empieza a oscilar y no se alcanza la convergencia en el nmero
lmite de iteraciones; ste comportamiento se debe a una estimacin inicial deficiente de
la presin en el punto (obsrvese que este estimado da una presin positiva, lo cual no
tiene sentido fsico), y tiene como consecuencia final el disparo observado en la Figura
4.22. Esta presin de poros irreal obtenida es corregida en el nivel temporal siguiente,
aunque a un costo de 10 iteraciones.
A pesar de lo anterior, no se puede asegurar que todo proceso de convergencia con una
mala estimacin inicial est condenado a fallar, pues como se muestra en la Figura 4.25,
una estimacin deficiente puede ser corregida en las iteraciones subsecuentes, incluso
con un incremento temporal relativamente alto de 120 s. Lastimosamente, la regla general
es que valores de t relativamente altos producen malas estimaciones iniciales de la
presin, tan malas que, o bien produzcan disparos que violen la condicin de presiones
lmites, o no permitan alcanzar la convergencia en la solucin.
Cuando se habla e incrementos temporales relativamente altos, es claro que este
concepto depende de la naturaleza del problema, las condiciones iniciales, las
condiciones de frontera, y las propiedades de los materiales involucrados. Un t de 2
minutos puede ser pequeo para un suelo poco permeable, pero muy grande para un
suelo altamente permeable. La eleccin del incremento temporal a utilizar queda pues en
manos del modelador, el cual debe tener en cuenta todas las variables anteriormente
mencionadas para elegir un valor que le permita obtener buenos resultados con un
esfuerzo computacional razonable.
La discusin anterior se efectu sobre clculos usando matrices de masa concentradas.
Si, como se ha dicho, se requiere un nmero mayor de iteraciones para alcanzar la
convergencia con el esquema de masa consiste que con el esquema de masa
concentrada, es claro que el primero de los dos no funcionar para valores de incremento
temporal relativamente altos, lo cual est de acuerdo con todos los resultados obtenidos
hasta el momento. La concentracin artificial de masa, en contraste, alivia
significativamente el proceso de convergencia, y por tanto permite el uso de incrementos
temporales mayores (Figuras 4.16 y 4.17). Este hecho representa una ventaja prctica
significativa, pues implica la reduccin del nmero de sistemas de ecuaciones a resolver,
y por tanto del esfuerzo computacional necesario para determinar el estado de flujo para
un problema determinado.

108

Figura 4.22.

Variacin de la presin de poros en la superficie del dominio de flujo en funcin del tiempo, usando matrices
de masa concentradas. Grupo de datos 2A

10
Malla densa

t = 7.5 s
t = 30 s
t = 120 s

-10

[cm]

-20

-30

-40

-50

-60

0.1

0.15
Tiempo [h]

0.2

0.25

0.3

Proceso de convergencia en la solucin de la presin en la superficie del dominio de flujo, usando matrices
de masa concentradas. Grupo de datos 2A. t =7.5 s

-36
Nivel temporal j=1
Nivel temporal j=2

-38

-40

-42

[cm]

Figura 4.23.

0.05

-44

-46

-48

-50

5
Iteracin

109

10

Figura 4.24.

Proceso de convergencia en la solucin de la presin en la superficie del dominio de flujo, usando matrices
de masa concentradas. Grupo de datos 2A. t =30 s

30
Nivel temporal j=1
Nivel temporal j=2
20

10

[cm]

-10

-20

-30

-40

-50

-60

10
Iteracin

12

14

16

18

20

Proceso de convergencia en la solucin de la presin en la superficie del dominio de flujo, usando matrices
de masa concentradas. Grupo de datos 2A. t =120 s

200
Nivel temporal j=1
Nivel temporal j=2

150

100

[cm]

Figura 4.25.

50

-50

10
Iteracin

110

15

Un comportamiento que vale la pena notar es la visible sobreestimacin del avance del
frente hmedo para la solucin numrica del grupo de datos B, sea que se usen matrices
de masa consistentes o concentradas (Figuras 4.12 y 4.17). Este comportamiento se debe
a que la discretizacin espacial usada no es lo suficientemente fina para aproximar un
frente hmedo tan definido como el presentado en la infiltracin en suelo Nuevo Mxico
(Bouloutas, 1989); de hecho, se puede observar una visible mejora en la aproximacin de
la ubicacin del frente cuando se disminuye el valor de x3 (Figura 4.14).

111

5. MTODO DEL GRADIENTE CONJUGADO


La aplicacin de los algoritmos de integracin temporal estudiados en las secciones 3.4 y
4.6, implica la solucin de un sistema de ecuaciones lineales para cada iteracin del
mtodo. Tal como se ha observado anteriormente, la solucin de un problema especfico
puede requerir un nmero significativo de avances temporales, cada uno de los cuales
requiere a su vez cierta cantidad de iteraciones para lograr la convergencia. Est claro
entonces que hace falta resolver una gran cantidad de sistemas de ecuaciones lineales
para conocer el flujo de agua y el estado de saturacin en un dominio de flujo en
particular, y si se quiere plantear soluciones numricas competitivas al problema de flujo,
debe disponerse de un mtodo de solucin de sistemas de ecuaciones muy rpido.
Otra caracterstica importante de los sistemas de ecuaciones que resultan de intentar
integrar la ecuacin de Richards es su tamao. Considrese un dominio de flujo
bidimensional rectangular de 1 m de alto por 1 metro de profundidad, el cual ser
analizado discretizndolo con x = 1 cm y z =1 cm. Si se considera la posibilidad que la
presin vare en las fronteras de la regin, tendremos en total (100 1 + 1) = 10201
puntos en los cuales hay que determinar la variacin de en el tiempo, lo cual no es un
nmero excesivamente alto, pero da una idea de qu tan grandes pueden ser los
sistemas de ecuaciones a resolver en cada iteracin.
2

Algunos de los mtodos de solucin de sistemas de ecuaciones lineales utilizados en la


prctica son:
-

Mtodos directos, como el mtodo de Gauss o el de Gauss-Jordan. El nmero de


operaciones de punto flotante (FLOP, por sus siglas en ingls) requerido es del
orden de 2 n3 3 y 2 n3 2 , respectivamente (Chapra et al., 2003).

Mtodos iterativos como el mtodo de Gauss-Seidel, el mtodo de Jordan o el


mtodo de sobrerrelajacin sucesiva. El nmero de FLOP requerido por iteracin en
estos mtodos es del orden de 2nz , donde nz es el nmero de elementos no nulos
de la matriz de coeficientes. En general son ms recomendables que los mtodos
directos cuando n es mayor a 3 veces el nmero de iteraciones requerido para
alcanzar la convergencia (Universidad Politcnica de Valencia [UPV], 2007).

Una alternativa a estos mtodos clsicos es el que se conoce como el mtodo del
gradiente conjugado, el cual hace uso de las propiedades particulares de las matrices de
coeficientes de los sistemas de ecuaciones para agilizar la convergencia de la solucin.

112

El mtodo del gradiente conjugado (CG) es un mtodo iterativo de solucin de sistemas


de ecuaciones lineales de la forma [ A]{ x} = {b} , donde [ A]nn es una matriz simtrica
definida positiva. El algoritmo CG alcanza una solucin exacta (en ausencia de todo error
de redondeo) para el sistema en cuestin en n iteraciones, lo cual es poco prctico pues,
como se ha dicho, n puede llegar a ser bastante grande. Una mejor forma de ver este
algoritmo es como mtodo iterativo, en el que se efectan las iteraciones hasta que se
alcanza cierta condicin de terminacin.
Antes de estudiar el mtodo del gradiente conjugado, es necesario introducir algunos
conceptos y nomenclatura:

5.1. CONCEPTOS BSICOS


En notacin matricial, un sistema de ecuaciones lineales puede ser escrito de la forma

Ax = b
donde A es una matriz no singular n n y b
por

x* = A 1b

La sucesin {x k }

k 0

. La solucin de este sistema est dada

denota la secuencia de soluciones aproximadas obtenidas en cada

paso de un mtodo iterativo.


El residuo del sistema es

r = b - Ax ,
de modo que {r k }

k 0

denota la secuencia de residuos

r k = b - Ax k .
n
n
es una funcin, , de
a
que cumple ciertas
Una norma vectorial en
propiedades que se escapan del alcance del presente trabajo, y para las cuales se remite
al lector a un texto de lgebra lineal. Dos tipos de normas son de inters, la norma
euclidiana l2 , y la norma mxima o uniforme l :

n
x 2 = xi2 ; x
i =1

113

= max xi ,
1 i n

donde x = ( x1, , xn ) (Burden et al., 2002). El nmero de condicin de A relativo a la


t

norma se define como

( A ) = A A 1
Donde ( A ) es finito y mayor a 1 para matrices no singulares. Se dice que una matriz
est bien condicionada si su nmero de condicin es cercano a 1, y mal condicionada si
es significativamente mayor a 1 (Burden et al., 2002).
Puede demostrarse que x * es una solucin del sistema de ecuaciones lineales Ax = b si
y slo si x * minimiza la funcin
1
2

( x ) = xT Ax xT b
en un subconjunto S

. El gradiente de ( x ) est dado por

( x ) = Ax b = r
De esta manera, la solucin de un sistema de ecuaciones lineales puede verse como un
problema de minimizacin. El mtodo del gradiente conjugado consiste esencialmente en
partir de x 0 , una suposicin de la solucin x * e ir mejorando sucesivamente esta
aproximacin usando la frmula
x k = x k 1 + k p k ,

(5.1)

donde p k +1 es el vector direccin de bsqueda y k +1 es un escalar que determina qu


tanto se avanza en la direccin de p k +1 . Las relaciones entre , p y r se obtienen
usando la propiedad de minimizacin de la iteracin del mtodo del gradiente conjugado,
pero el trabajo presente se limitar a presentarlas sin ahondar en las demostraciones. Los
detalles completos de estas deducciones se encuentran en (Kelley, 1995).

(r ) r
=
( p ) Ap
k 1 T

k 1

k T

k 1

(p )

k T

(5.2)

Ap k

r k = r k 1 k Ap k

(5.3)

p k +1 = r k + k p k

(5.4)

(r )
=
(r )

(5.5)

k T

k 1 T

rk
r k 1

114

k
k 1

donde k = ( r k ) r k . Se puede observar que las ecuaciones (5.1) a (5.5) indican un


T

algoritmo, el cual se presenta con detalle a continuacin:

Algoritmo 5.1.

Mtodo del gradiente conjugado

1.

r 0 = b Ax 0

2.

p1 = r 0

3.

Para k = 1 hasta kmax

4.

Calcular k usando (5.2)

5.

Calcular x k usando (5.1)

6.

Calcular r k usando (5.3)

7.

Si r tol , terminar el ciclo; si no, continuar

8.

Calcular k con (5.5) y p k +1 con (5.4)

9.

Siguiente k

Las iteraciones en el algoritmo 5.1 se realizan hasta que la norma del vector residual r k
sea menor o igual a cierta tolerancia tol . Si el nmero de iteraciones efectuadas excede
el lmite kmax , el proceso iterativo se finaliza.
Si se observa con detenimiento el algoritmo anterior, puede notarse que para la aplicacin
del mtodo del gradiente conjugado no se necesita almacenar o modificar la matriz A , tan
slo hace falta una rutina que multiplique A por un vector determinado. Este hecho
representa una gran ventaja para el manejo de matrices grandes con un alto nmero de
elementos nulos, como las obtenidas en la solucin de la ecuacin de Richards. Los
detalles de la implementacin del mtodo del gradiente conjugado en el contexto del
presente trabajo se presentan en la seccin 5.3.
Puede demostrarse que el mtodo del gradiente conjugado converge en un nmero de
iteraciones proporcional a O

( A ) , lo cual implica una convergencia lenta para

sistemas mal condicionados (Burden, 2002).

115

5.2. PRECONDICIONAMIENTO
Se desea resolver un sistema de ecuaciones lineales cuya matriz de coeficientes A est
mal condicionada. Sea M una matriz de precondicionamiento tal que ( M 1 A ) ( A ) .
Entonces, al aplicar el mtodo del gradiente conjugado sobre el sistema precondicionado,
se llega a
M 1Ax = M 1b ,

y se obtendr una convergencia mucho ms rpida. El algoritmo 5.1 puede ser modificado
de manera que la multiplicacin del sistema algebraico original por M 1 est implcita en
el procedimiento y no tenga realmente qu hacerse. El algoritmo resultante se presenta
es el 5.2, mientras que para detalles se remite al lector a Kelley (1995) y Burden (2002):
La cuestin ahora radica en la seleccin de la matriz M de precondicionamiento tal que
satisfaga las siguientes condiciones (Saukh, 2003):
-

M debe ser una buena aproximacin de A

M puede obtenerse a partir de A de manera sencilla y usando estrategias


efectivas de manejo de memoria.

El sistema de ecuaciones Mx = b debe ser ms fcil de resolver que el sistema


Ax = b . Esta condicin nace del algoritmo 5.2, donde hay que resolver varias veces
sistemas de ecuaciones del primer tipo, y no tendra ningn sentido que para
resolver cierto problema haya que resolver otro problema ms complicado.

Una de las alternativas ms populares en el ejercicio de la ciencia e ingeniera, y la opcin


que se ha decidido usar para el presente trabajo, es tomar M igual a L , el resultado de la
factorizacin incompleta de Cholesky LLT de A . En la siguiente seccin se describe con
detalle el proceso de clculo de dicha factorizacin para su aplicacin en el problema de
flujo en medio poroso.

5.3. FACTORIZACIN INCOMPLETA DE CHOLESKY


La factorizacin de Cholesky es un procedimiento para descomponer una matriz simtrica
definida positiva en una matriz triangular inferior , L , y su transpuesta, LT . En el contexto
de la construccin de la matriz de precondicionamiento para el mtodo del gradiente
conjugado, este mtodo de factorizacin generalmente se aplica de manera incompleta,
esto es, slo se calcula el valor Li , j para aquellas posiciones i, j en las que A es no
nulo.

116

Algoritmo 5.2.

Mtodo del gradiente conjugado precondicionado

1.

r 0 = b Ax 0

2.

Mz 0 = r 0

3.

Mp1 = z 0

4.

0 = ( z0 ) z0

5.

Para k = 1 hasta kmax

6.

k = k 1 ( p k ) Ap k

7.

x k = x k 1 + k p k

8.

r k = r k 1 k Ap k

9.

Si r tol , terminar el ciclo; si no, continuar

10.

Mz k = r k

11.

k = ( zk ) zk

12.

k = k k 1

13.

p k +1 = M 1z k + k p k

14.

Siguiente k

15.

Repetir los pasos del 6 al 13.

A modo de ilustrar este concepto, considrese la matriz A :


0.2 0.1 1
0.1 4 1

A = 1 1 60

1
0
1
0 1 2

1 0
1 1
0 2

8 4
4 700

Las factorizaciones completa e incompleta de Cholesky estn dadas por las matrices B y
C , respectivamente:

117

0
0
0
0
0.4472
0.2236 1.9875
0
0
0

B = 2.2361 0.7547 7.3777


0
0 ; BBT = A

0
2.2361 0.2516 0.6520 1.5848
0
0.5032 0.3226 2.4711 26.3351
0
0
0
0
0.4472
0.2236 1.9875
0
0
0

C = 2.2361 0.7547 7.3777


0
0 ; CCT A

0
1.7137
0
2.2361 0.2516
0
0.5032 0.3226 2.4080 26.3409
Obsrvese las diferencia entre B y C . El elemento B4,3 es diferente de cero, mientras
que C4,3 es igual a cero, y las columnas 4 y 5 no coinciden numricamente. Esto se debe
a que el algoritmo de factorizacin de Cholesky no garantiza que aquellas posiciones
nulas en la matriz original seguirn sindolo en la matriz factor, mientras que en la
factorizacin incompleta se obliga a que sea as. Esta primera diferencia entre las
matrices B y C produce las diferencias entre las columnas 4 y 5 que se haban
mencionado. La idea de la aplicacin de la factorizacin incompleta de Cholesky es
obtener una matriz de precondicionamiento cumpliendo las condiciones mencionadas
anteriormente, por eso sta resulta una mejor opcin que la factorizacin normal pues de
este modo la matriz M consumir no ms que la misma cantidad de recursos de memoria
que A .
El algoritmo 5.3 presenta el proceso para convertir la parte triangular inferior de la matriz
A en la matriz L . Este algoritmo se puede modificar para que haga uso de la
metodologa de almacenamiento [ A '] , [ PA ] y devuelva un par [ L '] , [ PL ] que utilice la
misma estrategia de reduccin del uso de memoria.
Con el fin de ilustrar el funcionamiento del mtodo del gradiente conjugado
precondicionado, considrese el sistema bidimensional
4.0000 4.0000 x1 8.1472
2.0000 2.0000 x = 9.0579 ,

La funcin a minimizar asociada a este problema est dada por

1
2

( x ) = xT Ax xT b = 2.0000 x12 + 2.0000 x1 x2 + 1.5000 x2 2 8.1472 x1 9.0579 x2

118

Algoritmo 5.3. Factorizacin incompleta de Cholesky sin relleno

1.

Tome n igual al tamao de A en cada una de sus dimensiones.

2.

Para j = 1 hasta n ,

3.

Aj , j = Aj , j

4.

Para k = 1 hasta j 1 ,

5.

Si Aj ,k 0 , ejecutar las lneas 6 a 8; si no, pasar a 9:


Para i = j + 1 hasta n ,

6.

Si Ai , k 0 y Ai , j 0 , hacer Ai , j = Ai , j Ai , k Aj , k

7.
8.

Siguiente i

9.

Siguiente k

10.

Para i = j + 1 hasta n ,

11.

Si Ai , j 0 , ejecutar las lneas 12 y 13; si no, pasar a 14

12.

Ai , j = Ai , j Aj , j

13.

Ai ,i = Ai ,i ( Ai , j )

14.
15.

Siguiente i
Siguiente j

El sistema de ecuaciones se ha resuelto utilizando la factorizacin incompleta de


Cholesky de la matriz de coeficientes como precondicionador. Se inicia la bsqueda de la
T
solucin con la suposicin x = [ 2 5] y se usa como criterio de paro que la norma del
residuo sea menor a 1x10-5. La solucin final x = [ 0.7907 2.4922] se encuentra despus
T

de 2 iteraciones. En la figura 5.1 se presenta la sucesin de valores x k junto a un


diagrama de contornos de ( x ) . Se puede observar fcilmente que la solucin del
sistema de ecuaciones minimiza la funcin asociada, adems que dicha solucin se
alcanza en un nmero de iteraciones relativamente bajo.

119

Figura 5.1. Aplicacin del mtodo del gradiente conjugado a un problema bidimensional

5 -8

-8

4.5 -1 0

2
0

-6

-1 0

-2

-4

-6

-4

-8

-12
-1 2

-6

-1 0

-8

3.5
-1 4

-1 0

-1 4

-14

3
x2

-1 2

2.5

-1
2

-1 4

1.5

-1 2

-8
-6

0.5
0
0

-1 4

-2

-1 0

-1 2

-12

-1 0

-8
-6

-4

0.5

-1 0

1
x1

-8
1.5

5.4. IMPLEMENTACIN DEL MTODO DEL GRADIENTE CONJUGADO


Tal como se mencion en las secciones 3.3.3 y 4.5.5, la naturaleza del problema de flujo
de agua en medio poroso confiere propiedades a los sistemas de ecuaciones lineales
asociados, que pueden explotarse para facilitar su solucin. Entre estas caractersticas
est el hecho que las matrices [ A] , [ F ] y [G ] derivadas tanto del mtodo de diferencias
finitas como del mtodo de elementos finitos sean definidas positivas. Los sistemas de
ecuaciones lineales a resolver en los algoritmos de integracin temporal 3.1 a 3.3 y 4.1 a
4.3 pueden escribirse todos de la forma

[U ]{ } = {d } ,
donde

[U ] = [ A] + [G ]

t , [U ] = [ A] 2 + [G ] t o [U ] = [ A] 2 + [ F ] t , y dado que

t > 0 , en virtud de las propiedades de las matrices definidas positivas mencionadas en


3.3.3 y 4.5.5, se puede asegurar que [U ] es tambin definida positiva. El mtodo del
gradiente conjugado es por tanto aplicable para la integracin temporal de la ecuacin de

120

Richards. Como precondicionador se puede utilizar la factorizacin incompleta de


Cholesky de la matriz [U ] .
La posibilidad de expresar las matrices

[ A]

[F ]

por medio de un par

[ A '] , [ PA ]

se

puede usar para realizar las multiplicaciones entre matrices y vectores indicadas en el
algoritmo 5.2 de manera ms eficiente. Sea {r} = [ A]{ p} , entonces los elementos de {r}
pueden calcularse segn

ri = A 'ik pij , donde j = PA,i ,k


k

Dado que la fila i de [ A '] contiene menos elementos que la fila i de [ A] , la operacin
anterior consume menos operaciones que la multiplicacin normal entre matrices y
vectores.

121

6. SOLUCIN NUMRICA DEL PROBLEMA DE FLUJO EN


MEDIOS POROSOS
La ecuacin de Richards es, ante todo, una expresin matemtica que modela un
problema real, por tanto, cualquier solucin analtica o aproximada que se obtenga de ella
debe satisfacer todos los principios fsicos que rigen su comportamiento para ser
considerada vlida. Aunque la afirmacin anterior puede sonar obvia, la verdad es que es
un punto en el que se debe poner especial nfasis. Cualquier mtodo de solucin
numrica introduce ciertos trminos de error que pueden resultar en la violacin de alguno
de los principios fsicos base, por esto es muy importante analizar el comportamiento de
cada uno de los esquemas numricos estudiados en los captulos anteriores, para as
poder determinar cules estn ms de acuerdo con la realidad fsica.
En el presente captulo se sometern a evaluacin los mtodos de discretizacin espacial
(mtodo de diferencias finitas y mtodo de elementos finitos) e integracin temporal
(Esquemas 1 a 3 de las secciones 3.4 y 4.6) discutidos en los captulos anteriores, en
virtud de su comportamiento en cuanto a conservacin de masa y variacin de la presin
en estado saturado, dos de los principios fsicos violados ms comnmente al intentar
obtener una solucin de la ecuacin de Richards. Se analizar tambin cmo la
descripcin de las propiedades de los materiales afecta la solucin numrica.

6.1. CONSERVACIN DE MASA


En la seccin 2.2.1 se describieron las diferentes formas de escribir la ecuacin de
Richards y sus caractersticas, y se explic porqu tanto la forma mixta como la forma
basada en la presin son tiles en la prctica para obtener soluciones numricas del
estado de flujo de determinado problema; an as, diversos autores (Celia, et al. 1990;
Bouloutas, 1989) advierten que el uso de la forma basada en la presin de la ecuacin de
Richards produce soluciones que violan el principio fsico de conservacin de masa. Para
comparar el comportamiento de estos dos enfoques en trminos de balance de masa,
defnase el siguiente ndice de la calidad del balance de masa de cierta solucin numrica
de la ecuacin de Richards (Celia, et al. 1990):
BM ( t ) =

Cambio en la masa acumulada en el dominio, M 1 ( t )


Masa neta que ingresa al dominio, M 2 ( t )

(6.1)

A continuacin se presenta la descripcin de cmo se calcula este ndice, bien sea que se
use el mtodo de elementos finitos o el mtodo de diferencias finitas.

122

El cambio en la masa adicional acumulada en el dominio desde el inicio de la simulacin


hasta el nivel temporal J , M 1J , se calcula numricamente como la sumatoria de la
diferencia entre el contenido de humedad final e inicial, multiplicado por el rea aferente
de cada uno de los nodos de la discretizacin espacial, esto es

M 1J = ( nJ n0 ) ( Ae ,n )
N

(6.2)

n =1

donde N es el nmero total de nodos, y Ae ,n es el rea aferente correspondiente al n simo nodo de la malla. Si se est usando el mtodo de diferencias finitas, las reas
aferentes se calculan como en la Figura 3.5; pero si se usan elementos finitos, se calculan
como en la Figura 1.3.
La masa neta que ingresa al dominio en le periodo comprendido desde el inicio de la
simulacin hasta alcanzar el nivel temporal J , M 2J , se calcula como el flujo a travs de la
frontera del dominio multiplicado por el incremento temporal. Si toda la frontera estuviese
sometida a un cierto flujo prescrito a travs de ella como condicin de borde, se podra
calcular M 2J incluso antes de iniciar la simulacin; pero si existen segmentos de la
frontera con condiciones de borde del tipo Dirichlet, el flujo a travs de las fronteras
depender del estado de flujo en el dominio y variar con el tiempo, lo cual lo hace objeto
de clculo. La forma como se realiza la aproximacin de estas cantidades depende del
tipo de discretizacin espacial utilizado para la solucin del problema bidimensional, bien
sea una grilla de diferencias finitas o una malla de elementos finitos. A continuacin se
presenta la metodologa de clculo para ambos enfoques de solucin.

6.1.1. ndice de balance de masa para el mtodo de elementos finitos

Recordando que el n -simo elemento del vector {Q} (donde n es un nodo de la frontera)
representa el aporte de n al flujo a travs de su permetro aferente, podemos calcular
M 2 ( t ) en el nivel temporal J como la suma de todos los elementos de {Q} en dicho nivel
temporal, multiplicado por el incremento temporal, esto es
M 2J = ( Qnj t )
J

(6.3)

j =1 n =1

La manera de calcular el vector {Q} , cuando ste no est definido por las condiciones de
frontera, est implcita en la formulacin del mtodo de elementos finitos. Supngase que
se ha utilizado el esquema 2 de integracin temporal para determinar el estado de flujo en
el nivel temporal j + 1 , para lo cual fue necesario realizar k + 1 iteraciones. El vector

{Q}

j +1 2

se puede entonces despejar directamente de la frmula de recurrencia del


esquema de integracin:

123

{Q}

j +1 2

1
1
1
j +1, k
j +1, k
j +1, k
j +1, k +1
j +1 2
j +1, k
= [ A]
+
+ { B}

G]
{ }
[
[G ] { }
2

t
t
j
j

1
1
j
j
j +1, k
j
+ [ A] { } +
[ F ] { } { } ,
t j
2

donde todos los vectores y matrices de coeficientes son los mismos que los usados para
calcular las iteraciones, slo que sin las alteraciones de la aplicacin del mtodo
alternativo para el manejo de las condiciones de Dirichlet. Recurdese que el propsito de
estas alteraciones es eliminar las ecuaciones relacionadas con los nodos que hacen parte
de la frontera D , y dado que es en estos nodos donde nos interesa determinar los
elementos de {Q} , es necesario recuperar estas ecuaciones.

6.1.2. ndice de balance de masa para el mtodo de diferencias finitas

La determinacin del flujo en las fronteras sometidas a condiciones de Dirichlet para el


caso del mtodo de diferencias finitas no es tan evidente como para el caso de elementos
finitos. Recordando la ley de Darcy, el flujo especfico de agua se puede escribir como el
producto de la conductividad hidrulica y la variacin espacial de la cabeza de presin;
por tanto, conocidos los valores de presin en los nodos de la grilla de diferencias finitas,
se puede aproximar el valor real del flujo especfico usando las frmulas de diferencias
finitas.
Sea n un nodo de la grilla de diferencias finitas que pertenece a la frontera y est definido
por el par ( i, j ) . Si este nodo est sometido a una condicin de borde de presin
prescrita, sobre l puede presentarse flujo especfico en la direccin x , en la direccin z ,
o en ambas al tiempo, dependiendo del tipo de nodo de frontera que sea (Figura 3.8). Las
aproximaciones en diferencias finitas para cada uno de los casos son:
Para nodos frontera tipo 1, 5 y 6,

i , j +1 i , j
qiz, j = Ki , j +1 2
z +

+ K i , j +1 2

(6.4)

i , j i , j 1
qiz, j = Ki , j 1 2
+ K i , j 1 2
z

(6.5)

Para nodos frontera tipo 2, 7 y 8,

Para nodos frontera tipo 3, 5 y 7,


i +1, j i , j
qix, j = K i +1 2, j
+ K i +1 2, j
x +

124

(6.6)

Para nodos frontera tipo 4, 6 y 8,


i , j i , j 1
qix, j = K i 1 2, j
+ K i 1 2, j
x

(6.7)

Una de las desventajas del mtodo de diferencias finitas es que, dependiendo de las
condiciones de borde, algunos nodos de las esquinas pueden o no participar en el clculo
de las cabezas de presin en el dominio. Para que una esquina en particular haga parte
del proceso de solucin, debe de contar entre sus vecinos con al menos un nodo de
frontera con condicin de borde tipo Neumann, de modo que participe en la ecuacin que
define la presin en dicho punto. Si la esquina en cuestin no cumple esta condicin, no
debe calcularse el flujo a travs de ella, pues el hecho que no aparezca en ninguna de las
ecuaciones del mtodo de diferencias finitas es numricamente equivalente a decir que
no se presenta ingreso de humedad al dominio a travs de l, y su inclusin traera
errores en el balance de masa por sobreestimacin de la masa que ingresa al dominio.
Conocidos los valores de flujo especfico, la masa neta que ingresa al dominio se calcula
como

M 2J = ( qnj , x lx ,n + qnj , z lz ,n ) t
J

(6.8)

j =1 n =1

donde qnj , z es la componente del flujo especfico en direccin z a travs del nodo n en el
nivel temporal j , qnj , x la componente de direccin x , y ln , z , ln , x las longitudes aferentes
asociadas al nodo en cuestin en direccin z y x , respectivamente.

6.1.3. Comparacin entre esquemas de integracin temporal

Para la evaluacin de la calidad del balance de masa entre la formulacin mixta y la forma
basada en la presin de la ecuacin de Richards, se han comparado los resultados
arrojados por la aplicacin de los esquemas 1 y 2 de integracin temporal a la solucin de
los problemas de flujo definidos en la Tabla 4.1, todos calculados usando MEF con
elementos rectangulares y matrices de masa concentradas. Se han calculado soluciones
para diferentes valores de incremento temporal, y en cada caso se ha determinado el
ndice de balance de masa. Los resultados se pueden apreciar en las Figuras 6.1 a 6.4.
Tal como puede observarse en la Figura 6.1, para la solucin del problema con el grupo
de datos 2A, no existe diferencia apreciable entre los resultados del perfil de presin
obtenidos tanto con el esquema 1 como con en esquema 2. Los ndices de balance de
masa obtenidos en cada simulacin son cercanos a la unidad, lo cual muestra que la
solucin arrojada por cada esquema es satisfactoria.
En cuanto al problema con el grupo de datos 2B, la Figura 6.3 muestra que el esquema
de integracin 1 subestima el avance del frente hmedo, mientras que el esquema de
integracin lo sobreestima. Este comportamiento ya haba sido explicado con anterioridad,

125

pero con el fin de determinar si el esquema de integracin utilizado afecta de algn modo
el resultado, se determin de nuevo el perfil de presiones con el esquema 1 usando un
x3 menor, igual a 1.25 cm. El nuevo perfil, observado en la Figura 6.5 muestra que, an
usando una malla ms densa, el esquema de integracin 1 predice todava de manera
errnea la ubicacin del frente hmedo. Con respecto al balance de masa, los ndices
calculados para cada simulacin, consignados en la Figura 6.4, muestran el
comportamiento claramente superior del esquema 2 de integracin, y una subestimacin
de alrededor del 20% del cambio de contenido de humedad en el dominio por parte del
esquema 1, incluso usando una malla ms densa (Figura 6.5). Cabe notar que no se logr
alcanzar una solucin usando el esquema 2 para t = 4.8 min debido a un error por
violacin del principio de presiones lmite.
De los resultados anteriores se puede concluir que las soluciones numricas obtenidas
usando el enfoque basado en la presin de la ecuacin de Richards no necesariamente
cumplen el principio de balance de masa, mientras que las soluciones basadas en el
enfoque mixto lo cumplen de manera satisfactoria. Esta conclusin est de acuerdo con
otros resultados encontrados en la literatura (Celia, et al. 1990), (Bouloutas, 1989). La
diferencia entre los dos enfoques se debe a la forma como se maneja la derivada
temporal de la ecuacin de Richards en cada uno de ellos (Celia et al.); en el primero, al
hacer la transformacin definida en (2.5) para eliminar la variable contenido humedad de
la ecuacin, se introduce un error adicional relacionado con la estimacin de la capacidad
especfica de humedad, mientras que en el segundo, aunque permanece la necesidad de
estimar C ( ) , el uso de series de Taylor se hace una aproximacin ms robusta de la
derivada temporal usando series de Taylor.

126

Figura 6.1.

Perfil de presin en la columna central de suelo luego de 0.3 horas de infiltracin, usando los esquemas 1 y
2 de integracin temporal y el mtodo de elementos finitos. Grupo de datos 2A. t =7.5 s

-20
Malla densa
Esquema 1
Esquema 2
-25

-30

-35

[cm]

-40

-45

-50

-55

-60

-65

10

20

30
z [cm]

40

50

60

Variacin del ndice de Balance de masa como funcin de t , para los esquemas 1 y 2 de integracin
temporal y el mtodo de elementos finitos. Grupo de datos 2A

Figura 6.2.

Esquema 1
Esquema 2
1.15

ndice de Balance de Masa

1.1

1.05

0.95

0.9

0.85

0.8

20

40

60

t [s]

127

80

100

120

Figura 6.3.

Perfil de presin en la columna central de suelo luego de 24 horas de infiltracin, usando los esquemas 1 y 2
de integracin temporal y el mtodo de elementos finitos. Grupo de datos 2B. t =0.6 min

0
Malla densa
Esquema 1
Esquema 2

-200

[cm]

-400

-600

-800

-1000

-1200

10

20

30

40

50
z [cm]

60

70

80

90

100

Variacin del ndice de Balance de masa como funcin de t , para los esquemas 1 y 2 de integracin
temporal y el mtodo de elementos finitos. Grupo de datos 2B

Esquema 1
Esquema 2

1.2

1.1

1
ndice de Balance de Masa

Figura 6.4.

0.9

0.8

0.7

0.6

0.5

t [min]

128

Figura 6.5. Perfil de presin en la columna central de suelo luego de 24 horas de infiltracin, usando el esquema 1 y el
mtodo de elementos finitos. Grupo de datos 2B. x3 =1.25 cm. ndice de Balance de Masa, BM = 0.8668

0
Malla densa
Esquema 1

-200

[cm]

-400

-600

-800

-1000

-1200

10

20

30

40

50
z [cm]

60

70

80

90

100

La discusin anterior aplica tanto para el mtodo de elementos finitos como el de


diferencias finitas. La Figura 6.6 es similar a la Figura 6.4, slo que en este caso se
compara la calidad del balance de masa de los resultados obtenidos usando MEF y MDF
para el problema del grupo de datos B. La grfica muestra que el comportamiento del
mtodo de diferencias finitas no es tan buena como el de elementos finitos, pero tiene la
tendencia a mejorar a medida que disminuye t . En general, la calidad del balance de
masa es similar independiente de que se use elementos finitos o diferencias finitas; el
factor realmente determinante es la forma de la ecuacin de Richards que se use para
elaborar el modelo (Celia, et al. 1990).
Vale la pena realizar una comparacin entre los valores de flujo a travs de las fronteras
calculados con el mtodo de elementos finitos y el mtodo de diferencias finitas. En la
Figura 6.7 se presentan los valores de flujo especfico a travs de la frontera superior del
problema con el grupo de datos 2B, calculados usando ambos mtodos, el esquema 2 de
integracin temporal, y un t igual a 0.6 min. De la grfica se puede apreciar que los
resultados obtenidos por ambos mtodos son muy similares, excepto en el primer nivel
temporal, donde la tendencia de la curva permite pensar que el mtodo de elementos
finitos ha sobreestimado el flujo.

129

Variacin del ndice de Balance de masa como funcin de t , para el esquema 2 de integracin temporal,
usando elementos finitos y diferencias finitas. Grupo de datos 2B

Figura 6.6.

Elementos Finitos
Diferencias finitas

1.2

1.1

ndice de balance de masa

0.9

0.8

0.7

0.6

0.5

t [min]

Flujo a travs de la frontera superior del dominio. Grupo de datos B. t =1.2 min

Figura 6.7.

-2

10

Elementos Finitos
Diferencias Finitas

-3

q [cm2/s]

10

-4

10

-5

10
-2
10

-1

10

10
Tiempo [h]

130

10

10

6.2. FLUJO EN MEDIO SATURADO


Durante un proceso de infiltracin, es posible que algunos puntos del dominio de flujo
alcancen el estado saturado antes que otros. Esta situacin es comn cuando el agua
pasa de un suelo permeable a uno menos permeable: En este caso, dado que el agua
viaja ms lentamente en el suelo menos permeable que en el permeable, habr una
tendencia a la acumulacin de agua en la interfase entre los dos suelos, y el suelo
permeable se saturar. La ecuacin de Richards tal como se presenta en (2.4) es vlida
tanto para flujo en un medio saturado como en un medio parcialmente saturado; por tanto,
el anlisis y la discusin de la solucin numrica realizados hasta ahora son tambin
vlidos en el estado saturado, siempre y cuando se tenga la precaucin de tener en
cuenta las particularidades del flujo en medio saturado.
Sea que un determinado punto del dominio de flujo pasa de estado no saturado a estado
saturado, esto es, ha alcanzado el contenido de humedad de saturacin. En este punto, la
conductividad hidrulica ser igual a la conductividad de saturacin, y la capacidad
especfica de humedad ser igual a cero. En virtud de lo anterior, el trmino diferencial
temporal en (2.4) desaparecer tambin, pues en estado saturado no hay variacin del
contenido de humedad, y la ecuacin de Richards pasar de ser una ecuacin parablica
a una elptica (Neuman, 1973). Este cambio sbito en la naturaleza de la ecuacin
diferencial que gobierna el fenmeno de infiltracin no es tenido en cuenta en los
esquemas de integracin temporal 1 y 2, los cuales toman la ecuacin diferencial en su
forma original para todo el intervalo de simulacin. Si se quieren obtener soluciones
acordes con esta realidad fsica para problemas con reas saturadas, es necesario
replantear el esquema a utilizar para el avance temporal.
Una posible forma de manejar esta dificultad, planteada por Neuman (1973), consiste en
utilizar un esquema de integracin completamente implcito, tal como el Esquema 3. Esta
aproximacin, an as, trae una desventaja evidente: Su implementacin implica pasar de
una aproximacin de la derivada temporal con error de truncamiento de orden O ( t 2 )
(Esquema 2), a una con error de orden O ( t ) (Esquema 3). Este aumento en el orden del
error de truncamiento puede manejarse si se pasa del esquema 2 de integracin al
esquema 3 slo cuando un rea del dominio alcanza la saturacin.
Para facilitar el paso de un esquema a otro, y aprovechando las similitudes entre los
esquemas 2 y 3, se puede escribir las ecuaciones (4.54) y (4.56) de la forma general

1
1
j +1, k
j +1, k
j +1, k
j +1, k +1
j +
j +
j +1, k
+
= {Q} 1 { B} 1 +
1 [ A]
[G ] { }
[G ] { }

t
t
j
j

1
j
j
j +1, k
j
2 [ A] { }
[ F ] { } { }
t j

(6.9)

Con la ecuacin de recurrencia escrita en esta forma, basta con cambiar los coeficientes
1 y 2 para pasar de un esquema de avance a otro. Si se hace 1 = 1 2 , 2 = 1 2 en (6.9)
, se llega al esquema 2, y si se hace 1 = 1 , 2 = 0 , se obtiene el esquema 3.

131

Supngase que desea determinarse la presin de poros en cierto nodo n de la


discretizacin espacial para el nivel temporal j + 1 . La condicin usada para definir el
esquema de integracin a utilizar depende de si se utiliza el mtodo de elementos finitos o
el mtodo de diferencias finitas:
-

Para el mtodo de diferencias finitas (MDF): La condicin en este caso es evidente.


Si nj 0 , se utiliza el esquema 2 de integracin para escribir la ecuacin asociada
al nodo n ; de lo contrario, se utiliza el esquema 3.

Para el mtodo de elementos finitos (MEF): Recurdese que en elementos finitos las
ecuaciones se escriben en grupo por cada elemento de la malla. Sea que el nodo n
pertenece a cierto elemento e junto con los nodos p , q y r . Si se cumple

max ( nj , pj , qj , rj ) 0 , se utiliza el esquema 2 para escribir las ecuaciones

asociadas a cada uno de los nodos de e ; de lo contrario, se utiliza el esquema 3.

Figura 6.8.

Geometra del dominio de flujo para la simulacin 3

Parmetros del Modelo vanGenutchen-Mualem:


Limo arcilloso:

r = 0.095
s = 0.410
= 0.019
n = 1.310
K s = 7.222 10

cm/s

Arena limosa:

r = 0.070
s = 0.360
= 0.005
n = 1.090
K s = 5.556 10

132

cm/s

La metodologa de combinar ambos esquemas se denomina en este documento como


esquema mixto de integracin temporal.
El efecto del tipo de mtodo de avance temporal utilizado se ha evaluado solucionando
numricamente el estado de flujo del problema definido en la Figura 6.8. Los clculos se
realizaron usando el mtodo MEF con matrices de masa concentradas y elementos finitos
rectangulares de dimensiones x3 = 1.5 cm y x1 = 2.5 cm. Las Figuras 6.9 y 6.10
muestran la variacin de la presin a diferentes profundidades sobre la columna central
de suelo, calculada usando el esquema 2 e incrementos temporales de 120 y 60 s,
respectivamente. En ellas se puede apreciar que, luego de pasar a estado saturado, la
cabeza de presin en los nodos del dominio presenta un comportamiento altamente
oscilatorio, presumiblemente alrededor del valor que alcanzara realmente. Al disminuir el
valor del incremento temporal, lo nico que se logra es aumentar la frecuencia de dichas
oscilaciones.
Este fenmeno oscilatorio claramente no corresponde a una realidad fsica, sino a un
comportamiento numrico directamente asociado con la forma como se trata el estado de
saturacin en la integracin temporal. Para mostrarlo, se realizan las mismas
simulaciones anteriores, ahora usando el esquema mixto descrito con anterioridad. Los
resultados, consignados en las Figuras 6.11 y 6.12, revelan que la solucin est libre de
estas oscilaciones, pero en cambio sufre de pequeas disminuciones sbitas de la
presin de poros, tambin conocidas como disparos, cuya magnitud se puede disminuir
utilizando un incremento temporal menor. Obsrvese adems la tendencia de la solucin
en el estado saturado a estabilizarse a medida que se avanza en la simulacin,
disminuyendo la magnitud y frecuencia de estos disparos.
El esquema mixto de integracin temporal, aunque an imperfecto, muestra claramente
resultados ms acordes con el comportamiento real del agua en el suelo que los
obtenidos usando nicamente el esquema de integracin 2. Se reserva para
investigaciones futuras la posibilidad de estudiar formas para alcanzar soluciones libres
de comportamientos numricos indeseables.
El algoritmo de solucin numrica de la ecuacin de Richards utilizando diferencias finitas
tambin ha sido adaptado al esquema mixto de integracin temporal. Las Figuras 6.13 y
6.14 muestran los resultados obtenidos usando diferencias finitas, los cuales son muy
similares a los obtenidos usando elementos finitos.

133

Figura 6.9.

Variacin de la cabeza de presin a diferentes profundidades para la simulacin 3, usando el esquema 2 de


integracin temporal y el mtodo de elementos finitos. t = 120 s. Profundidades en cm

60

40

20

-20

[cm]

-40

-60

-80

-100

z=10
z=20
z=30
z=40
z=50
z=60
z=70

-120

-140

-160

10

15

20

Tiempo [h]

Figura 6.10.

Variacin de la cabeza de presin a diferentes profundidades para la simulacin 3, usando el esquema 2 de


integracin temporal y el mtodo de elementos finitos. t = 60 s. Profundidades en cm

60

40

20

-20

[cm]

-40

-60

-80

-100

z=10
z=20
z=30
z=40
z=50
z=60
z=70

-120

-140

-160

10

15
Tiempo [h]

134

20

Figura 6.11.

Variacin de la cabeza de presin a diferentes profundidades para la simulacin 3, usando el esquema mixto
de integracin temporal y el mtodo de elementos finitos. t = 120 s. Profundidades en cm

60

40

20

-20

[cm]

-40

-60

-80

-100
z=10
z=20
z=30
z=40
z=50
z=60
z=70
z=80

-120

-140

-160

10

15

20

Tiempo [h]

Figura 6.12.

Variacin de la cabeza de presin a diferentes profundidades para la simulacin 3, usando el esquema mixto
de integracin temporal y el mtodo de elementos finitos. t = 60 s. Profundidades en cm

60

40

20

-20

[cm]

-40

-60

-80

-100
z=10
z=20
z=30
z=40
z=50
z=60
z=70
z=80

-120

-140

-160

10

15
Tiempo [h]

135

20

Figura 6.13.

Variacin de la cabeza de presin a diferentes profundidades para la simulacin 3, usando el esquema mixto
de integracin temporal y el mtodo de diferencias finitas. t = 120 s. Profundidades en cm

60

40

20

-20

[cm]

-40

-60

-80

-100
z=10
z=20
z=30
z=40
z=50
z=60
z=70
z=80

-120

-140

-160

10

15

20

Tiempo [h]

Figura 6.14.

Variacin de la cabeza de presin a diferentes profundidades para la simulacin 3, usando el esquema mixto
de integracin temporal y el mtodo de diferencias finitas. t = 60 s. Profundidades en cm

60

40

20

-20

[cm]

-40

-60

-80

-100
z=10
z=20
z=30
z=40
z=50
z=60
z=70
z=80

-120

-140

-160

10

15
Tiempo [h]

136

20

6.3. EFECTO DE LA DESCRIPCIN DE LAS PROPIEDADES DE LOS


MATERIALES
La metodologa de descripcin de las propiedades del suelo descrita en la seccin 2.3.2,
junto con un algoritmo de interpolacin usando splines cbicos, resulta satisfactoria para
determinar valores intermedios de las cantidades K ( ) y ( ) , pero puede ser
problemtica en el caso de la capacidad especfica de humedad, C ( ) ; la determinacin
de esta cantidad, con mayor intensidad que las dems, depende de la calidad con la que
el algoritmo de interpolacin aproxima el comportamiento de los materiales, pues para
alcanzar un valor aceptable no solo hace falta que el polinomio de interpolacin aproxime
satisfactoriamente los valores de K y , sino que tambin represente de manera
acertada la variacin de estas cantidades con respecto a la presin de poros. En virtud de
lo anterior, si la tabla de datos de propiedades no es lo suficientemente refinada (esto es,
i +1 i no es lo suficientemente pequeo), la calidad con la que la interpolacin aproxima
la variacin de con respecto a no ser buena, y por tanto no se pueden esperar
obtener valores C adecuados.
Figura 6.15.

Geometra del dominio de flujo para la simulacin 4

Parmetros del Modelo vanGenutchen-Mualem:


Suelo 1:

r = 0.0286
s = 0.3658
= 0.020
n = 1.60
K s = 540 cm/da

137

A modo de ilustrar las observaciones anteriores, se ha resuelto el estado de flujo para el


problema definido en la Figura 6.15, usando dos diferentes tablas de propiedades del
material en cuestin, cada una con un valor de i +1 i diferente. La solucin se ha
calculado usando tanto el mtodo de elementos finitos (con matrices de masa
concentradas) como el mtodo de diferencias finitas, combinados con el esquema mixto
de integracin temporal. La primera tabla de descripcin de propiedades (Ingrese nmero
de tabla aqu) ha sido calculada con i +1 i = 1.50, mientras que la segunda (Ingrese
nmero de tabla aqu) la sido calculada usando i +1 i =1.25.
Las Figuras 6.16 y 6.17 muestran la variacin de la presin de poros a diferentes
profundidades sobre la columna central del dominio, calculada usando la Tabla 1 de
descripcin de propiedades, y los mtodos de elementos finitos y diferencias finitas,
respectivamente. Se puede apreciar que las oscilaciones presentadas por la presin de
poros violan el principio discreto del mximo, de manera similar a como ocurre al usar
matrices de masa consistentes en la formulacin de MEF. Ya se ha discutido con
anterioridad que las oscilaciones en el caso de las matrices consistentes estn
relacionadas con el trmino temporal de la ecuacin de Richards; por tanto, dada la
similitud entre este comportamiento y el observado en las Figuras 6.16 y 6.17, surge la
sospecha de que estas nuevas oscilaciones se deben a una causa similar. Dicha causa
no sera de nuevo la forma como se distribuye espacialmente la aproximacin de la
derivada temporal (obsrvese que el comportamiento es el mismo tanto con MEF como
con MDF), sino los valores de capacidad especfica de humedad que se utilizan para
construir la matriz de masa del sistema.
Para dar mayor validez a la afirmacin anterior, se han trazado en las Figuras 6.18 y 6.19
los resultados obtenidos usando la Tabla 2. Estas figuras muestran que la variacin de la
presin de poros est libre de oscilaciones y cumple satisfactoriamente el principio
discreto del mximo, lo que nos permite concluir que las oscilaciones estn efectivamente
relacionadas con la resolucin de la tabla de descripcin de propiedades de materiales
usada para la simulacin. El uso de tablas con una resolucin insuficiente facilita la
estimacin errada de la capacidad especfica de humedad real del suelo, lo cual a su vez
produce resultados numricos alejados del comportamiento real del agua en el suelo.

138

Figura 6.16.

Variacin de la cabeza de presin a diferentes profundidades, usando la Tabla 1 de propiedades de


materiales y el mtodo de elementos finitos. t = 10 s. Profundidades en cm

-500

-1000

-1500

[cm]

-2000

-2500

-3000

-3500

z=2
z=4
z=6
z=8
z=10

-4000

-4500

Figura 6.17.

0.2

0.4

0.6

0.8

1
Tiempo [h]

1.2

1.4

1.6

1.8

Variacin de la cabeza de presin a diferentes profundidades, usando la Tabla 1 de propiedades de


materiales y el mtodo de diferencias finitas. t = 10 s. Profundidades en cm

-500

-1000

-1500

[cm]

-2000

-2500

-3000

-3500

z=2
z=4
z=6
z=8
z=10

-4000

-4500

0.2

0.4

0.6

0.8

1
Tiempo [h]

139

1.2

1.4

1.6

1.8

Figura 6.18.

Variacin de la cabeza de presin a diferentes profundidades, usando la Tabla 2 de propiedades de


materiales y el mtodo de elementos finitos. t = 10 s. Profundidades en cm

-500

-1000

[cm]

-1500

-2000

-2500

-3000

-3500

Figura 6.19.

z=2
z=4
z=6
z=8
z=10
0

0.2

0.4

0.6

0.8

1
Tiempo [h]

1.2

1.4

1.6

1.8

Variacin de la cabeza de presin a diferentes profundidades, usando la Tabla 1 de propiedades de


materiales y el mtodo de diferencias finitas. t = 10 s. Profundidades en cm

-500

-1000

[cm]

-1500

-2000

-2500

-3000

-3500

z=2
z=4
z=6
z=8
z=10
0

0.2

0.4

0.6

0.8

1
Tiempo [h]

140

1.2

1.4

1.6

1.8

7. RESULTADOS NUMRICOS
Habiendo analizado en detalle los detalles de la solucin numrica de la ecuacin de
Richards, se ha elaborado un conjunto de rutinas computacionales para la simulacin del
estado de flujo en dominios bidimensionales. Dichas rutinas componen SIMFLUX v0.1.,
un conjunto de funciones escrito para ser utilizado en el ambiente de computacin
numrica MATLAB, e implementan las observaciones y recomendaciones hechas en el
Captulo 6 y en la Seccin 4.7.
Las caractersticas del presente modelo de solucin numrica son:
-

Mtodos de elementos finitos y diferencias finitas: Es posible obtener una solucin


de determinado problema de flujo usando bien el mtodo de elementos finitos o de
diferencias finitas, suponiendo dicho problema satisfaga las condiciones de
aplicabilidad de cada mtodo estudiadas en los captulos 3 y 4.

Forma mixta de la ecuacin de Richards: El modelo est basado en la forma mixta


de la ecuacin de Richards (Ecuacin (2.4)), lo cual asegura que las soluciones
numricas obtenidas satisfacen de manera razonable el principio de balance de
masa (Seccin 6.1).

Esquema mixto de integracin temporal: El uso de este esquema mejora


significativamente el comportamiento oscilatorio de la solucin numrica de la
presin en estado saturado (Seccin 6.2).

Solucin de sistemas lineales usando PCG/IC: La solucin de los sistemas de


ecuaciones lineales resultantes se realiza utilizando el mtodo del gradiente
conjugado precondicionado (PCG), usando como precondicionador la factorizacin
incompleta de Cholesky (IC).

La solucin mediante MEF tiene las siguientes caractersticas adicionales:


-

Elementos rectangulares y triangulares lineales: La posibilidad de usar cualquiera de


estos tipos de elementos da la posibilidad de aproximar muchos tipos de geometra
de manera satisfactoria. Dado que las funciones elementales de forma usadas son
lineales, las integrales asociadas a MEF se pueden desarrollar a priori de manera
analtica con facilidad (Seccin 4.5).

Matrices concentradas de masa: El uso de matrices concentradas de masa, tal como


se estudi en la Seccin 4.7, elimina las oscilaciones asociadas a la distribucin
espacial de la aproximacin de la derivada temporal.

141

Las limitaciones del modelo son:


-

Materiales isotrpicos: Slo es posible simular problemas de flujo con dominios


compuestos por materiales isotrpicos.

Almacenamiento especfico despreciable: La formulacin de la ecuacin de Richards


en la que se basa el modelo asume que el trmino de almacenamiento especfico es
despreciable.

Condiciones de frontera: Slo puede resolverse el estado de flujo de problemas


sometidos a condiciones de frontera de tipo Dirichlet o Neumann, con funciones
prescritas independientes del tiempo.

El conjunto de rutinas SIMFLUX ha sido utilizado para obtener soluciones numricas del
estado de flujo de varios problemas, las cuales se ha comparado en lo posible con
resultados obtenidos por otros autores. Inicialmente se considerar la solucin de 2
problemas de flujo en medios homogneos, cuya geometra y parmetros de simulacin
estn descritos en la Figura 7.1 y la Tabla 7.1.
Las Figuras 7.2 y 7.3 presentan la variacin de la presin de poros para la simulacin 5, la
cual ha sido obtenida usando el mtodo de elementos finitos y el mtodo de diferencias
finitas, respectivamente. De estas figuras es posible observar que no existe diferencia
significativa entre el estado de flujo arrojado bien por MEF o MDF; adems, resultados
son acordes a los obtenidos para el mismo problema por Bouloutas (1989), tal como se
puede apreciar en la Figura 7.4. La solucin numrica de la presin de poros para este
problema muestra un frente de avance muy pronunciado, lo cual est de acuerdo con lo
observado por Bouloutas, y con simulaciones anteriores con arena Haverkamp
(Simulacin 2B, Seccin 4.7).

Figura 7.1.

Geometra del dominio de flujo para las simulaciones 5 y 6

142

Tabla 7.1.

Datos de entrada para las simulaciones 5 y 6

Propiedad

Simulacin 5

Simulacin 6

Ancho, W

200 cm

100 cm

Profundidad, H

100 cm

50 cm

Ancho L

30 cm

10 cm

Condicin inicial

0 = -1000 cm

0 = -60 cm

Condicin de frontera en
1

Flujo constante:

Presin constante:

q = 2 cm/da

= -20 cm

Perfil de suelo

Suelo Nuevo Mxico

Arena Haverkamp

Tiempo mximo de
simulacin

4 das

30 min

x1

2 cm

1 cm

x3

2 cm

1 cm

Los resultados obtenidos para la simulacin 6 se pueden apreciar en las Figuras 7.5 y 7.6.
De manera similar al ejemplo anterior, no existe una diferencia significativa entre las
soluciones arrojadas por MEF y MDF. El frente de avance de la presin de poros es en
este caso menos marcado que en el anterior, de manera consistente a lo observado en la
Simulacin 2A.

143

Figura 7.2.

Variacin de la presin de poros para la Simulacin 5. Mtodo de elementos finitos.

t = 1 da

t = 2 das

100

-100

100

90

-200

90

80

-100
-200

80

-300

70

-300

70
-400

-400

60

60
-500

-500

50

50
-600

-600

40

40
-700

30
20

0
-100

-50

50

100

-800

20

-900

10

-700

30

-800

-900

10

-1000

0
-100

-50

(a)

50

100

(b)

t = 3 das

t = 4 das

100

100

-100

90

-100

90

-200

80

-200

80

-300

70

-300

70
-400

-400

60

60
-500

-500

50

50
-600

-600

40

40
-700

30

-50

50

100

-800

20

-900

10

-700

30

-800

20

0
-100

-1000

-900

10

-1000

0
-100

(c)

-50

50

(d)

144

100

-1000

Figura 7.3.

Variacin de la presin de poros para la Simulacin 5. Mtodo de diferencias finitas

(a)

(b)

(c)

(d)

145

Figura 7.4.

Variacin de la presin de poros para la Simulacin 5. Figuras (a) y (c): Resultados publicados en Bouloutas
(1989). Figuras (b) y (d): Resultados obtenidos usando SIMFLUX y el mtodo de elementos finitos

t = 1.21 das
100

-100

90

-200

80
-300
70
-400

60
50

-500

40

-600

30
-700
20
-800

10
0
0

20

40

(a)

60

80

100

-900

(b)

t = 3.59 das
100

-100

90

-200

80
-300
70
-400

60
50

-500

40

-600

30
-700
20
-800

10
0
0

(c)

20

40

60

(d)

146

80

100

-900

Figura 7.5.

Variacin de la presin de poros para la Simulacin 5. Figuras (a) y (c): Resultados publicados en Bouloutas
(1989). Figuras (b) y (d): Resultados obtenidos usando SIMFLUX y el mtodo de elementos finitos

t = 7.5 min

t = 15 min

50
45
40

-20

50

-20

-25

45

-25

40

-30

35

-30

35

-35

-35
30

30
-40

-40
25

25
-45

-45

20

20
-50

15

-50

15

10

-55

10

-60

0
-50

0
-50

50

-55
-60
-65
0

(a)

50

(b)

t = 22.5 min

t = 30 min

50

-20

50

-20

45

-25

45

-25

-30

40

-30

35

-35

30

-40

40
35

-35

30

-40

25

25

-45

20

-45

20

-50

-50
15

15

-55

-55
10

10

-60

-60
5

5
-65

-65
0
-50

0
-50

50

(c)

50

(d)

147

Figura 7.6.

Variacin de la presin de poros para la Simulacin 6. Mtodo de diferencias finitas

t = 7.5 min

t = 15 min

50

-20

50

-20

45

-25

45

-25

40

40

-30

35

-30

35

-35

-35
30

30
-40

-40
25

25
-45

-45

20

20
-50

15

-50

15

10

-55

10

-60

0
-50

0
-50

50

-55
-60
-65
0

(a)

50

(b)

t = 22.5 min

t = 30 min

50

-20

50

-20

45

-25

45

-25

-30

40

-30

35

-35

30

-40

40
35

-35

30

-40

25

25

-45

20

-45

20

-50

-50
15

15

-55

-55
10

10

-60

-60
5

5
-65

-65
0
-50

0
-50

50

(c)

50

(d)

148

Las dos simulaciones anteriores se realizaron sobre dominios compuestos por suelos
homogneos, lo cual produce frentes regulares de avance de la humedad. Un ejemplo
ms elaborado se presenta en la Figura 7.7 (Simulacin 7), el cual consiste de un dominio
compuesto por dos tipos de materiales intercalados por capas. Las soluciones numricas
de este problema obtenidas usando SIMFLUX y los mtodos de elementos finitos y
diferencias finitas, se pueden observar en las Figuras 7.8 y 7.9, respectivamente. Estas
figuras muestran cmo la disposicin de los diferentes materiales afecta la forma del
frente hmedo: Dado que el agua se puede mover ms fcilmente a travs del material 2
que del 1, la humedad avanza de manera rpida hacia los costados del dominio, y de ah
hacia abajo, formando 3 frentes hmedos (Figura 7.8.b y 7.9.b). Al alcanzar en plenitud
el rea ocupada por el material 2, el frente hmedo se homogeniza, pero cambia
drsticamente de forma cuando supera los 2 metros de profundidad (7.8.c, 7.8.d, 7.9.c y
7.9.d). Los resultados obtenidos por SIMFLUX estn en general de acuerdo con los
publicados por Avellaneda (2003) (Figura 7.10), aunque presentan discrepancias en la
prediccin de la ubicacin del frente hmedo.

Figura 7.7.

Geometra del dominio de flujo para la Simulacin 7 (adaptado de Avellaneda (2003)).

Parmetros del Modelo van-Genutchen Mualem

Suelo 1:

Suelo 2:

r = 0.0286

r = 0.1060

s = 0.3658

s = 0.4686

= 0.020

= 0.010

n = 1.60

n = 1.20

K s = 540 cm/da

K s = 300 cm/da

149

0 = -3000 cm sobre todo el dominio

Figura 7.8.

Variacin de la presin de poros para la Simulacin 7. Mtodo de elementos finitos

t = 0.01 das

t = 2.10 das

300

300

250

-500

250

-500

-1000

200

-1000

200

150

-1500

150

-1500

100

-2000

100

-2000

50

-2500

50

-2500

-3000

-200

-100

100

200

-200

-100

(a)

100

200

(b)

t = 4.90 das

t = 7.00 das

300

300

-500

250

-1000

200

-500

250

-1000

200

150

-1500

150

-1500

100

-2000

100

-2000

50

-2500

50

-2500

-200

-100

100

200

(c)

-200

-100

100

(d)

150

200

Figura 7.9.

Variacin de la presin de poros para la Simulacin 7. Mtodo de diferencias finitas

t = 0.01 das

t = 2.10 das

300

300

-500

250

-1000

200

-500

250

-1000

200

150

-1500

150

-1500

100

-2000

100

-2000

50

-2500

50

-2500

-3000

-200

-100

100

200

-200

-100

(a)

100

200

(b)

t = 4.90 das

t = 7.00 das

300

300

-500

250

-1000

200

-500

250

-1000

200

150

-1500

150

-1500

100

-2000

100

-2000

50

-2500

50

-2500

-200

-100

100

200

(c)

-200

-100

100

(d)

151

200

Figura 7.10. Variacin de la presin de poros para la Simulacin 7. Resultados publicados en Avellaneda (2003)

152

En la seccin 2.2 se menciona que el mecanismo del movimiento de agua en medios


porosos es el gradiente hidrulico. En virtud de esto, si cierta rea de un dominio de
simulacin con bajo potencial est ubicada encima de otra con mayor potencial, el agua
empezar a ascender hacia el rea de menor potencial; ste fenmeno, el cual se debe a
la diferencia de potencial entre dos reas, no debe confundirse con el ascenso capilar.
Para ilustrar el efecto anterior, considrense los problemas de flujo planteados en la
Figura 7.11.a (Simulacin 8) y 7.11.b (Simulacin 9). El material que compone los
dominios de simulacin de estos dos casos es descrito usando el modelo analtico vanGenutchen Mualem con los siguientes parmetros:
Arena limosa: s = 0.40 [cm3 /cm3 ] , r = 0.04 [cm3 /cm3 ] , n = 1.23
K s = 0.0012 cms-1 , = 0.026 cm-1

Se ha usado SIMFLUX y el mtodo de elementos finitos para obtener soluciones


numricas de los problemas descritos en 7.11, las cuales se muestran en las Figuras 7.12
y 7.13, respectivamente. Para ambas simulaciones, la malla de elementos finitos ha sido
rectangular, con incrementos espaciales de 1 cm en ambas direcciones.

Figura 7.11.

Geometra del dominio de flujo para (a) la Simulacin 8, y (b) la Simulacin 9

(a)

(b)

La simulacin 8 ilustra el caso de un dominio cuya frontera inferior es el nivel fretico, y su


frontera superior se mantiene a una presin de poros constante de 1 cm. El contenido de

153

humedad asciende lentamente desde el fondo buscando alcanzar un perfil de presin de


poros como el de la Figura 2.3, y a la vez desciende desde arriba en virtud de la condicin
de frontera superior. Este estado de flujo con dos frentes hmedos se puede apreciar en
la Figura 7.12.
El flujo de agua desde una frontera lateral parcialmente sometida a estado de saturacin
se estudia en la simulacin 9. De manera similar al ejemplo anterior, en este caso la
humedad avanza hacia la superficie, buscando el estado de equilibrio entre la elevacin y
la presin de poros definido en la Figura 2.3.

Figura 7.12.

Variacin de la presin de poroso para la Simulacin 8

t = 0.5 min

t = 15 min
0

70

70
-10

-10

60

60
-20

-20

50

50
-30

-30

40

40
-40

30

-50

20

10

20

30

40

50

-50

20

-60

10

-40
30

-70

10

-80

-60
-70

10

20

(a)

30

40

50

(b)

t = 30 min

t = 45 min
0

0
70

70
-10

-10

60

60
-20

-20

50

50
-30

-30

40

40
-40

30

-40
30

-50

20

-50
20

-60

10

-80

-60
10

-70

10

20

30

40

50

(c)

-70

10

20

30

(d)

154

40

50

Figura 7.13.

Variacin de la presin de poros para la Simulacin 9

t = 0.5 min

t = 15 min

30

30

-10

25

-10

25

-20

-20

20

20
-30

-30

15

15
-40

-40

10

10
-50

-50
5

-60

10

15

20

-70

-60

10

(a)

15

20

(b)

t = 30 min

t = 45 min

30

30

-10

25

-10

25

-20

-20

20

20
-30

-30

15

15
-40

-40

10

10
-50

-70

-50
5

-60

10

15

20

-70

(c)

-60

10

15

(d)

155

20

-70

Finalmente, para ilustrar la capacidad de SIMFLUX de manejar mallas de elementos


finitos triangulares y fronteras no regulares, se ha calculado el estado de flujo permanente
para el suelo bajo la presa de la Figura 7.14. Las condiciones de frontera de la presin de
poros son de 10 m aguas arriba y 1 m aguas abajo.
En estado permanente, el dominio se encuentra saturado, por lo que la conductividad
hidrulica deja de ser funcin de la presin de poros y el contenido de humedad se hace
constante. La ecuacin de Richards en este caso toma la forma

xi

H
2

= H = 0.

x
i

Se ha obtenido una solucin para la ecuacin anterior usando el mtodo de elementos


finitos, con la malla triangular de 1888 elementos mostrada en la Figura 7.15.a. El
diagrama de lneas equipotenciales obtenido con SIMFLUX (Figura 7.15.b) se presentan
junto con el publicado por Avellaneda (2003) (Figura 7.15.c) para el mismo problema, y de
compararlos se puede asegurar que, aunque difieren ligeramente en la posicin de las
curvas equipotenciales, ambos son en general consistentes.

Figura 7.14.

Simulacin 10: Flujo permanente bajo una presa. Los niveles de agua son de 10 m aguas arriba y 1 m aguas
abajo (adaptado de Avellaneda (2003))

156

Figura 7.15.

Variacin del potencial de agua para la Simulacin 10. (a) Malla de elementos finitos utilizada para la
simulacin. (b) Resultados obtenidos usando SIMFLUX y el mtodo de elementos finitos. (c) Resultados
publicados en Avellaneda (2003)

p
(a)

(b)

ppppppppppppp
(c)

157

8. CONCLUSIONES
A lo largo del presente trabajo de investigacin se han analizado diferentes metodologas,
para desarrollar cada uno de los pasos del clculo de una solucin numrica para la
ecuacin de Richards, tal como se describen en la Seccin 2.1.1. Cada uno de estos
mtodos inicialmente se ha formulado de manera exhaustiva, y luego se ha evaluado su
comportamiento en trminos de convergencia, esfuerzo computacional, y cumplimiento de
las leyes fsicas en las que se basa la ecuacin de Richards.
En este captulo y el siguiente se presentan de manera resumida las conclusiones que se
han obtenido de la discusin anterior, junto con las recomendaciones que se dejan para
aquellos que deseen trabajar en un futuro, sobre lo avanzado en el presente trabajo.

8.1. ESQUEMAS DE DISCRETIZACIN ESPACIAL


La discusin de los esquemas de discretizacin espacial a considerar, se limit para
efectos del presente trabajo a los mtodos de elementos finitos y de diferencias finitas.
Las ventajas que ofrece el mtodo de elementos finitos (MEF) en comparacin a la
aproximacin ms tradicional con diferencias finitas (MDF) son varias y valiosas:
-

Manejo de las condiciones de frontera: La formulacin del mtodo de elementos


finitos trae implcito el manejo de las condiciones de frontera, bien sea de tipo
Dirichlet o de tipo Neumann. Este hecho se puede observar en las ecuaciones (4.20)
, (4.22) y (4.23). No hace falta hacer aproximaciones como las indicadas en la
seccin 3.3.2.2 para MDF.

Fronteras irregulares: El mecanismo de la malla de elementos finitos le da al mtodo


la flexibilidad necesaria para trabajar con fronteras irregulares, lo cual es difcil de
hacer con MDF, tal como se expuso en la seccin 3.2 y 3.3.2.2 (Feddes et al., 1988).

Aproximacin de las derivadas espaciales: La relacin entre los valores de presin


de los puntos de la malla en el caso de MDF estaba limitada a los vecinos superior,
inferior a la derecha y a la izquierda de un cierto punto. Esta relacin se extiende en
MEF a todos los nodos inmediatamente vecinos al nodo en cuestin segn las
conectividades entre nodos y elementos de la malla de elementos finitos, dndole
mayor fortaleza a la aproximacin de las derivadas espaciales.

158

Los tres factores anteriores hacen que, en opinin del autor, el mtodo de elementos
finitos no sea necesariamente mucho ms complicado de implementar que el mtodo de
diferencias finitas. An as, a pesar de las ventajas evidentes, el mtodo de elementos
finitos no es la solucin para todos los problemas relacionados con la solucin de la
ecuacin de Richards; de hecho, la implementacin de MEF consistente con su
formulacin trae consigo el problema de oscilaciones estudiado en la Seccin 4.7. En
cuanto a estas oscilaciones, los resultados obtenidos permiten concluir que:
-

Las oscilaciones estn relacionadas con el trmino temporal de la ecuacin de


Richards. El esquema consistente de MEF distribuye la aproximacin de la derivada
temporal de cada ecuacin diferencia ordinaria en varios puntos del dominio. Si se
usa una distribucin espacial del trmino temporal diferente a la del esquema
consistente (i.e., el esquema de concentracin de masa), el problema de las
oscilaciones desaparece.

La densidad de la malla de elementos finitos afecta la forma y el tamao de las


oscilaciones. Se pudo observar que al aumentar la refinacin de la malla, el efecto
de las oscilaciones se hace ms reducido.

8.2. ESQUEMAS DE INTEGRACIN TEMPORAL


La solucin numrica de la ecuacin de Richards no es por ningn motivo insensible al
esquema de integracin que se use para el avance temporal; de hecho, la forma como
estas metodologas afectan la solucin exige que se les estudie y seleccione de manera
cuidadosa. A partir de los resultados obtenidos en las secciones 6.1 y 6.2, se puede
concluir que:
-

La aproximacin de la derivada temporal de la ecuacin de Richards introduce


errores que pueden hacer que la solucin numrica obtenida as no cumpla el
principio de conservacin de la masa. La aproximacin del mtodo modificado de
Picard, basada en la forma mixta de la ecuacin de Richards (Esquema 2), produce
resultados con mejor calidad de balance de masa que aquellos obtenidos usando la
aproximacin de la forma basada nicamente en la presin de poros (Esquema 1).

La aplicacin del esquema mixto de integracin temporal planteado en la Seccin


6.2, el cual modifica la aproximacin de la derivada temporal para tener en cuenta el
estado de saturacin, disminuye las oscilaciones de la solucin numrica para
aquellos puntos que durante la simulacin alcanzan este estado, aunque no las
soluciona de manera definitiva.

159

8.3. ESFUERZO COMPUTACIONAL Y CONVERGENCIA


En cuanto al proceso de convergencia, el anlisis de los resultados obtenidos en las
secciones 3.5 y 4.7.1 permiten concluir que:
-

El tamao de los elementos de la discretizacin espacial, y el valor del incremento


temporal que se utilicen, deben cumplir cierta relacin para asegurar la estabilidad
de la solucin numrica. A partir de los resultados de las secciones 3.5 y 4.7.1, se
puede concluir que si se desea refinar la discretizacin espacial, es necesario
tambin reducir el incremento temporal a utilizar; de otro modo es posible que no se
logre la convergencia de solucin numrica en un cierto nivel temporal.

El tamao del incremento temporal utilizado para una simulacin afecta el proceso
de convergencia. El uso de incrementos temporales relativamente altos implica la
necesidad de un mayor nmero de iteraciones para alcanzar la convergencia de la
solucin en cierto nivel temporal, y por tanto la inversin de un mayor esfuerzo
computacional; adems, en virtud de la conclusin anterior, puede no asegurar la
estabilidad de la solucin, incluso hacer que se incurra en una violacin de las
presiones lmite.

Los primeros niveles temporales son en los que generalmente se invierte el mayor
nmero de iteraciones por nivel. Se concluye por tanto que en estos niveles es
necesario usar incrementos temporales pequeos para asegurar la convergencia de
la solucin.

8.4. SOLUCIN DE SISTEMAS DE ECUACIONES LINEALES


La limitacin ms significativa que representan los sistemas de ecuaciones lineales para
la solucin numrica de la ecuacin de Richards es, tal como se ha mencionado
anteriormente, el tamao que pueden adquirir en el caso de dominios grandes o con una
discretizacin espacial muy refinada. Este tamao limita la capacidad de simulacin de
dos formas: Sistemas de ecuaciones muy grandes toman mucho tiempo en resolverse
usando mtodos directos, y requieren recursos de memoria igualmente grandes para
almacenar los coeficientes del sistema. El anlisis del mtodo realizado en este
documento permite concluir que el mtodo PCG es una solucin valida a estos dos
problemas pues:
-

Es un mtodo iterativo, por tanto requiere mucho menos esfuerzo computacional


para obtener soluciones razonables (Secciones 5.1 y 5.2). Es incluso menos costoso
que otros mtodos iterativos (Burden y Faires, 2002; Bouloutas, 1989).

No requiere almacenar la matriz de coeficientes del sistema de ecuaciones lineales


completa, slo necesita conocer la estructura de sus elementos no nulos para
efectuar multiplicaciones de la matriz por un vector. Esta caracterstica hace que el
mtodo sea compatible con sistemas de almacenamiento de matrices que ahorren

160

espacio de memoria al no almacenar elementos no nulos, tales como los descritos


en las secciones 3.3.3 y 4.5.5. La operacin asociada de factorizacin incompleta de
Cholesky para el precondicionamiento tambin se puede adaptar fcilmente para
que utilice el sistema de almacenamiento de matrices propuesto.

8.5. REPRESENTACIN NUMRICA DE LAS PROPIEDADES DE LOS


MATERIALES
A partir de la discusin realizada en la Seccin 6.3 sobre el efecto que tiene la
representacin numrica de las propiedades de materiales en el proceso de simulacin,
es posible afirmar que la refinacin de la tabla de descripcin de propiedades de
materiales que se vaya a utilizar es un factor que afecta la estabilidad de la solucin final.
Si no se suministra una tabla lo suficientemente densa, esto es, con i +1 i lo
suficientemente bajo, se corre el riesgo de obtener soluciones numricas con
comportamiento oscilatorio. El modelador debe, por tanto, tener especial cuidado en
elaborar tablas descriptivas lo suficientemente detalladas para cada simulacin.

161

9. RECOMENDACIONES
El fenmeno del flujo de humedad en medios porosos en la zona no saturada es un
problema que cada ao atrae una mayor cantidad de trabajo e investigacin, y en el que
constantemente se logran nuevos avances y se hacen nuevos descubrimientos. Por estos
motivos, este trabajo de grado no pretende ser un tratado definitivo sobre el tema, sino
que desea sentar las bases para el estudio y discusin futuros alrededor del tema y otros
tpicos asociados en la Escuela de Ingeniera Civil de la Universidad Industrial de
Santander. En virtud de estas aspiraciones, se dejan consignadas las siguientes
recomendaciones para aquellos que quieran realizar investigaciones futuras alrededor del
problema fsico en cuestin:
-

Extender los alcances del modelo matemtico para que tenga en cuenta uno o
varios de los efectos asociados a la mecnica del flujo de agua en medios porosos,
entre ellos, la anisotropa de los suelos y la capacidad de almacenamiento
especfico de acuferos.

Implementar un algoritmo que modifique el tamao del incremento temporal en


funcin del proceso de convergencia de la solucin en cada nivel temporal, de modo
que use valores pequeos para los primeros niveles temporales con convergencia
difcil, y aumente el incremento a medida que se hace ms fcil alcanzar el criterio
de convergencia. De esta manera se reduce el tiempo necesario para completar una
simulacin.

Estudiar con mayor detalle cmo la relacin entre los diferentes parmetros de
simulacin afecta la estabilidad de la solucin numrica. El presente documento se
ha limitado a observar el efecto que tiene el tamao de los elementos de la
discretizacin espacial y el valor del incremento temporal, pero pueden extenderse
estas consideraciones para incluir tambin las propiedades de los materiales, y as
poder establecer un criterio general a partir del cual se puedan elegir los parmetros
de simulacin, conservando siempre la estabilidad.

Aplicar esquemas de masa consistentes con la formulacin del mtodo de


elementos finitos que no violan el principio discreto del mximo, tales como los
descritos por Pan et al. (1996), y evaluar su comportamiento en comparacin con el
esquema tradicional de concentracin de masa.

162

BIBLIOGRAFA
AVELLANEDA, P.M. Solucin numrica de la ecuacin de flujo bidimensional de agua en
suelos parcialmente saturados. Aplicacin para el caso de infiltracin. 2003, 124 p.
Trabajo de Grado (Magster en Recursos Hidrulicos). Departamento de Ingeniera Civil y
Agrcola. Universidad Nacional de Colombia.
CARNAHAN, B.; LUTHER, H.A. y WILKES, J.O. Clculo Numrico, Mtodos y
Aplicaciones. Madrid: Editorial Rueda, 1979. p. 456-480.
CASTAEDA, Mara Carolina y REYES, Henry. Solucin Numrica de la ecuacin de
Richards, Tesis de grado, Bucaramanga, 2003. 86 p. Trabajo de grado (Ingeniero Civil).
Universidad Industrial de Santander. Facultad de Ingenieras Fsico mecnicas. Escuela
de Ingeniera Civil.
CELIA, Michael A.; BOULOUTAS, Efthimios T. y ZARBA, Rebecca L. A General MassConservative Numerical Solution for the Unsaturated Flow Equation. Water Resources
Research, Vol. 26, No. 7, Julio 1990. p. 1486-1496.
CHAPRA, Steven C. y CANALE, Raymond P. Mtodos numricos para ingenieros.
Mxico, D.F.: McGraw-Hill Interamericana Editores, S.A. de C.V., 2003. p. 255-257, 854.
BASHA, H.A. Multidimensional linearized nonsteady infiltration with prescribed boundary
conditions at the soil surface. Water Resources Research, Vol. 35, No. 1, 1999. p. 75-93.
BASHA, H.A. Burgers equation: a general nonlinear solution of infiltration and
redistribution. Water Resources Research, Vol. 38, No. 11, 2002. p. 29-29.
BOULOUTAS, Efthimios T. Improved numerical approximations for flow and transport in
the unsaturated zone, 1989, 281 p. Trabajo de grado (Doctor of Philosophy). Department
of Civil Engineering. Massachusetts Institute of Technology.
BREBBIA, C.A. y WALER, S. 1980. Boundary Element Techniques in Engineering.
Londres: Newnes-Butterworths, p. 210.
BROADBRIDGE, P y WHITE, I. Constant rate rainfall infiltration: A versatile nonlinear
model 1. Analytic solutions. Water Resources Research, Vol. 24, No.1, 1988. p.145-154.
BURDEN, Richard L. y FAIRES, J. Douglas. Anlisis Numrico. Mxico, D.F.: Thomson
Learning, 2002. p. 465-477.
FEDDES, R.A.; KABAT, P.; VAN BAKER, P.J.T.; BRONSWIJK, J.J.B. y HALBERTSMA, J.
Journal of Hydrology 100, 1988. p. 69-111.
HAVERKAMP, R. y VAUCLIN, M. A Note on Estimating Finite Difference Interblock
Hydraulic Conductivity Values for Transient Unsaturated Flow Problems. Water Resources
Research, Vol. 15, No. 1, 1979. p. 181-187.

163

LEWIS, R.W.; NITHIARASU, P. y SEETHAMARU, K. Fundamentals of the Finite Element


Method for Heat and Fluid Flow. West Sussex: John Wiley & Sons, 2004.
HUYAKORN, P.S. y THOMAS, S.D. Techniques for Making Finite Elements Competitive in
Modeling Flow in Variably Saturated Porous Media.
KUTILEK, M. y NOVAK, V. Aspects of the development of soli physics in central and
eastern Europe and impact of a totalitarian ideology upon it. Advances in GeoEcology 29,
1997. p. 241-259.
MATHEWS, John T. y FINK, Kurtis D. Mtodos Numricos con MATLAB. Madrid: Pearson
educacin S.A., 2000. p. 305-316. Water Resources Research, Vol. 20, No. 8, 1984. p.
1099-1115.
NEUMAN, S.P. Saturated-unsaturated seepage by finite elements. Proceedings of ASCE,
Journal of Hydraulics, 1973. p. 2233-2250.
PAN, L.; WARRIK, A.W. y WIERENGA, P.J. Finite elements methods for modeling water
flow in variably saturated porous media: numerical oscillation and mass distributed
schemes. Water Resources Research, Vol. 32, 1996. p. 1883-1889.
PERAL, Ireneo A. Ecuaciones en derivadas parciales. Addison-Wesley / Universidad
Autnoma de Madrid, 1995. p. 15.
ROLSTON, D.E. Historical development of soli-water physics and solute transport in
porous media. Water Science & Technology: Water Supply, Vol. 7, No. 1, 2007. p. 59-66.
ROSS, P.J., 1990. Efficient numerical methods for infiltration using Richards equation.
Water Resources Research, Vol. 26, No. 2, 1990. p. 279-290.
SALVUCCI, G.D. An approximate solution for steady vertical flux of moisture through an
unsaturated homogeneous soil. Water Resources Research, Vol. 29, No. 11, 1993. p.
3749-3753.
IMUNEK, J; VAN GENUTCHEN, M. Th. y EJNA, M. The HYDRUS-1D Software
Package for Simulating the One-Dimensional Movement of Water, Heat, and Multiple
Solutes in Variably-Saturated Media. Department of Environmental Sciences. University of
California Riverside. 2005.
OLIN, Pavel. Partial Differential Equations and the Finite Element Method. New Jersey:
John Wiley & Sons, 2006.
SPOSITO, G. The Physics of soil water physics. Water Resources Research, Vol. 22,
1986. p. 83-88.
TADJERAN, Charles. Stability analysis of the Crank-Nicholson method for variable
coefficient diffusion equation. Communications in numerical methods in engineering, Vol.
23, No. 1, 2007. p. 29-34.

164

VARADO, N.; BRAUD, I. Y Ross, P.J., Haverkamp, R., 2003. Assessment of an efficient
numerical solution of the 1-D Richards equation on bare soil. Journal of Hydrology 323,
2006. p. 244-257.
WOODWARD, Carol S. y DAWSON, Clint N. Analysis of Expanded Mixed Finite Element
Methods for a Nonlinear Parabolic Equation Modeling Flow into Variably Saturated Porous
Media. SIAM Journal on Numerical Analysis, Vol. 37, No. 3, 2000, p. 701-724.
ZHU, J. y MOHANTY, P. Analytical solutions for steady state vertical infiltration. Water
Resources Research, Vol. 38, No. 8, 2002. p. 201-20-5.
ZIENKIEWICZ, O.C. y PARECK, C.J. Transient field problems: two dimensional analysis
by isoparametric finite element. International Journal for Numerical Methods in
Engineering 2, 1970. p. 61-71.
ZIENKIEWICZ, O.C. y TAYLOR, R.L. The Finite Element Method. v.1. Oxford:
Butterworth-Heinemann, 2000. v.1.

165

ANEXOS
ANEXO A: EJEMPLOS DE TABLAS DE PROPIEDADES DE MATERIALES
Considrese un suelo que puede ser descrito usando el modelo van-Genutchen Mualem
con los siguientes parmetros
Suelo de prueba:

s = 0.3658 [cm3 /cm3 ] , r = 0.0286 [cm3 /cm3 ] , n = 2.24


K s = 541 cm da-1 , = 0.028 cm-1

Para este suelo, se ha calculado la tabla de propiedades de materiales descrita en la


seccin 2.3.2, usando diferentes resoluciones. La Tabla A.1 ha sido elaborada usando un
incremento de la presin de poros i +1 i igual a 1.50, mientras que la Tabla A.2 se
construy usando una resolucin mayor, con i +1 i iguala 1.25.

Tabla A.9.1. Tabla de propiedades de materiales para el suelo de prueba. Resolucin i + 1 i = 1.50

[cm]

[cm3 /cm3 ]

K [cm/s]

[cm]

[cm3 /cm3 ]

K [cm/s]

30

-85222.6930

0.0286

1.1610E-20

15

-194.6195

0.0694

3.2474E-07

29

-56815.1287

0.0286

9.1717E-20

14

-129.7463

0.0948

2.4193E-06

28

-37876.7524

0.0287

7.2456E-19

13

-86.4976

0.1335

1.6645E-05

27

-25251.1683

0.0287

5.7240E-18

12

-57.6650

0.1869

9.6842E-05

26

-16834.1122

0.0288

4.5219E-17

11

-38.4434

0.2477

4.1898E-04

25

-11222.7415

0.0289

3.5723E-16

10

-25.6289

0.3005

1.2185E-03

24

-7481.8276

0.0290

2.8221E-15

-17.0859

0.3346

2.4128E-03

23

-4987.8851

0.0293

2.2294E-14

-11.3906

0.3522

3.6093E-03

22

-3325.2567

0.0298

1.7611E-13

-7.5938

0.3601

4.5451E-03

21

-2216.8378

0.0306

1.3912E-12

-5.0625

0.3635

5.1871E-03

20

-1477.8919

0.0319

1.0987E-11

-3.3750

0.3649

5.6002E-03

19

-985.2613

0.0341

8.6742E-11

-2.2500

0.3654

5.8579E-03

18

-656.8408

0.0377

6.8416E-10

-1.5000

0.3656

6.0162E-03

17

-437.8939

0.0437

5.3834E-09

-1.0000

0.3657

6.1127E-03

16

-291.9293

0.0534

4.2112E-08

0.0000

0.3658

6.2616E-03

166

Tabla A.9.2. Tabla de propiedades de materiales para el suelo de prueba. Resolucin i + 1 i = 1.25

[cm]

[cm3 /cm3 ]

K [cm/s]

[cm]

[cm3 /cm3 ]

K [cm/s]

63

-87581.1540

0.0286

1.0102E-20

31

-69.3889

0.1609

4.4601E-05

62

-70064.9232

0.0286

3.1506E-20

30

-55.5112

0.1925

1.1276E-04

61

-56051.9386

0.0286

9.8263E-20

29

-44.4089

0.2261

2.5952E-04

60

-44841.5509

0.0286

3.0647E-19

28

-35.5271

0.2591

5.3279E-04

59

-35873.2407

0.0287

9.5584E-19

27

-28.4217

0.2886

9.6516E-04

58

-28698.5925

0.0287

2.9812E-18

26

-22.7374

0.3126

1.5458E-03

57

-22958.8740

0.0287

9.2979E-18

25

-18.1899

0.3306

2.2181E-03

56

-18367.0992

0.0287

2.8999E-17

24

-14.5519

0.3431

2.9071E-03

55

-14693.6794

0.0288

9.0444E-17

23

-11.6415

0.3515

3.5505E-03

54

-11754.9435

0.0289

2.8208E-16

22

-9.3132

0.3569

4.1126E-03

53

-9403.9548

0.0289

8.7978E-16

21

-7.4506

0.3603

4.5815E-03

52

-7523.1638

0.0290

2.7439E-15

20

-5.9605

0.3625

4.9605E-03

51

-6018.5311

0.0292

8.5579E-15

19

-4.7684

0.3638

5.2606E-03

50

-4814.8249

0.0294

2.6691E-14

18

-3.8147

0.3646

5.4949E-03

49

-3851.8599

0.0296

8.3244E-14

17

-3.0518

0.3650

5.6762E-03

48

-3081.4879

0.0299

2.5962E-13

16

-2.4414

0.3653

5.8155E-03

47

-2465.1903

0.0304

8.0968E-13

15

-1.9531

0.3655

5.9221E-03

46

-1972.1523

0.0309

2.5251E-12

14

-1.5625

0.3656

6.0035E-03

45

-1577.7218

0.0317

7.8742E-12

13

-1.2500

0.3657

6.0656E-03

44

-1262.1774

0.0327

2.4553E-11

12

-1.0000

0.3657

6.1127E-03

43

-1009.7420

0.0340

7.6546E-11

11

-0.8000

0.3658

6.1486E-03

42

-807.7936

0.0357

2.3858E-10

10

-0.6400

0.3658

6.1758E-03

41

-646.2349

0.0379

7.4328E-10

-0.5120

0.3658

6.1965E-03

40

-516.9879

0.0409

2.3140E-09

-0.4096

0.3658

6.2122E-03

39

-413.5903

0.0448

7.1956E-09

-0.3277

0.3658

6.2241E-03

38

-330.8722

0.0499

2.2333E-08

-0.2621

0.3658

6.2332E-03

37

-264.6978

0.0566

6.9094E-08

-0.2097

0.3658

6.2400E-03

36

-211.7582

0.0654

2.1267E-07

-0.1678

0.3658

6.2452E-03

35

-169.4066

0.0768

6.4916E-07

-0.1342

0.3658

6.2492E-03

34

-135.5253

0.0915

1.9550E-06

-0.1074

0.3658

6.2522E-03

33

-108.4202

0.1101

5.7632E-06

0.0000

0.3658

6.2616E-03

32

-86.7362

0.1332

1.6436E-05

167

ANEXO B: INTERPOLACIN MEDIANTE SPLINES CBICOS


Supngase que se tiene un conjunto de pares ordenados ( xi , yi ) con i = 1, , n , los cuales
estn ordenados de forma creciente, esto es, x1 < x2 < < xn . El proceso de interpolacin
consiste en estimar el valor de la variable dependiente para cierto valor de la variable
independiente, x p , que no pertenece al conjunto de pares ordenados. Para lograr este
propsito, se busca encontrar una funcin S ( x ) a partir de la cual se pueda hacer la
estimacin y p = S ( x p ) . Un mtodo de interpolacin posible es el de splines cbicos, el
cual utiliza un polinomio de tercer orden a trazos como funcin de interpolacin.
Se dice que una funcin S ( x ) es un spline cbico interpolador de los pares ordenados si
existen m = n 1 polinomios cbicos S k ( x ) de la forma

S ( x ) = S k ( x ) = ak + bk ( x xk ) + ck ( x xk ) + d k ( x xk )
2

Para x [ xk , xk +1 ] y k = 1, , m . Estos polinomios cumplen las condiciones:


-

S ( xk ) = yk ,

para k = 1, , n

S k ( xk +1 ) = S k +1 ( xk +1 ) ,

para k = 1, , n 2

S 'k ( xk +1 ) = S 'k +1 ( xk +1 ) , para k = 1, , n 1

S ''k ( xk +1 ) = S ''k +1 ( xk +1 ) , para k = 1, , n 1

Estas limitaciones aseguran que el spline cbico sea una funcin a trazos continua hasta
la segunda derivada. Si adems se agregan las condiciones S '' ( x1 ) = 0 y S '' ( xn ) = 0 , se
obtiene lo que se conoce como spline cbico natural (Mathews y Fink, 1999).
Los coeficientes ak , bk , ck y d k se determinan a partir de las condiciones que se han
impuesto al polinomio de interpolacin. El proceso de clculo de estos coeficientes se
presenta en el algoritmo A.1, y para los detalles se remite el lector a Mathews y Fink
(2000) o a Castaeda y Reyes (2003).
En el contexto de la solucin numrica del problema de flujo en medios porosos, es
necesario construir dos splines cbicos que relacionen la presin de poros con la
conductividad hidrulica y el contenido de humedad, respectivamente. El modelo
numrico SIMFLUX realiza el proceso de interpolacin en dos etapas, cada una definida
por una funcin de MATLAB:
-

Clculo de los coeficientes del spline: Los coeficientes ak , bk , ck y d k se calculan


usando la funcin
[a,b,c,d]=splinecoef(x,y)

168

Donde x y y son los la representacin en vectores columna de los n pares


ordenados, y a,b,c y d son vectores columna n elementos que contienen los
coeficientes ak , bk , ck y d k , respectivamente. A modo de ser consistente con la
formulacin del spline cbico, se toma bn = d n = 0 .
-

Evaluacin del estimado: El clculo del estimado de y para un valor x p se realiza

con la funcin
y=keval(a,b,c,d,x,xp)

Los vectores a,b,c,d y x son los mismos definidos anteriormente. Esta funcin se
utiliza para calcular la conductividad hidrulica y el contenido de humedad que
corresponden a cierta presin de poros.
Adicional a las funciones anteriores, se ha escrito una tercera rutina que permite estimar
la derivada de y con respecto a x . Usando diferencias finitas centrales, es posible
escribir
dy
dx

S ( xi + x ) S ( xi x )

x = xi

2 x

La funcin ceval implementa la aproximacin anterior. Su sintaxis es


dy=Ceval(a,b,c,d,x,xp,dx),

donde dy es el estimado de la derivada de y en x p , y dx equivale al incremento x en la


frmula de diferencias. Esta funcin es usada por SIMFLUX para determinar la capacidad
especfica de humedad a partir de la relacin entre el contenido de humedad y la presin
de poros.

169

Algoritmo A.9.1. Clculo de los coeficientes del spline cbico de interpolacin

yi +1 yi
, para k = 1,
hi

1.

Calclese hk = xk +1 xk , y pi =

2.

Hgase ak = yk para k = 1,, n

3.

Tmese c1 = 0

4.

Calclense los coeficientes c2 , c3 , cm resolviendo el sistema de ecuaciones

2 ( h1 + h2 )
h2

2 ( h2 + h3 )
h2

0
0
hn 2

5.

c2 3 ( p2 p1 )

c3 = 3 ( p3 p2 )

hn 2

2 ( hn 2 + hn 1 ) cm 3 ( pn 1 pn 2 )
0
0

Determnense los coeficientes bk para k = 1, , m usando la frmula

bk =
6.

,m

1
3
( ak +1 ak ) + ( ci +1 + 2ci )
hk
hi

Determnense los coeficientes ck para k = 1, , m usando la frmula


di =

ci +1 ci
3hi

170

You might also like