Capítulo 2.

Formulación y solución de la ecuación en diferencias finitas de volumen de

control

La ecuación de flujo de agua subterránea en MODFLOW 6 se discretiza utilizando un método

de diferencia finita de volumen de control (CVFD). Este capítulo describe las ecuaciones
matemáticas discretizadas en el modelo de flujo de agua subterránea, las opciones de
discretización, las formas isotrópicas y anisotrópicas generales de las ecuaciones en diferencias
finitas utilizadas para simular el flujo de agua subterránea horizontal y vertical, y ecuaciones en
diferencias finitas para flujos dependientes de altura y en condiciones de contorno
especificadas. En MODFLOW 2005, las ecuaciones en diferencias finitas se formulan en
términos de términos de conductancia entre celdas, conductas de condiciones de contorno y
flujos especificados. En este informe, esta formulación tradicional de MODFLOW se denomina
"formulación estándar".

El método de Newton Raphson es otro método ampliamente utilizado para resolver problemas
de flujo de agua subterránea no confinada que ha demostrado ser una alternativa útil a la
formulación estándar para muchos problemas (Painter y otros, 2008; Keating y Zyvoloski,
2009). En general, el método Newton-Raphson puede mejorar la convergencia de la solución y
evitar problemas con el secado y rehumectación de las células. Las ecuaciones de Newton
Raphson (a las que se hace referencia como la "formulación de Newton Raphson" en este
documento) que se pueden utilizar para simular el flujo de agua subterránea no confinada
también se presentan junto con los procedimientos generales de solución utilizados para
resolver las ecuaciones discretizadas.

En gran parte, los enfoques numéricos utilizados en MODFLOW 6 se basan en MODFLOW-NWT

(Niswonger y otros, 2011), MODFLOW-USG (Panday y otros, 2013) y MODFLOW-2005
(Harbaugh, 2005). Los enfoques numéricos también se basan en los conceptos resumidos en
los libros de texto populares de modelado de aguas subterráneas (Remson y otros, 1971; Bear,
1979; Wang y Anderson, 1982; Anderson y Woessner, 1992; Anderson y otros, 2015).

Modelo matemático

El movimiento tridimensional del agua subterránea de densidad constante a través del

material terrestre poroso se describe mediante la Ley de Darcy:

donde q es un vector de descarga específica (L / T), o vector de flujo de fluido, K es la

conductividad hidráulica o (L / T); Kxx, Kyy y Kzz son valores de conductividad hidráulica a lo
largo de los ejes de coordenadas x, y y z, que se supone que son paralelos a los ejes principales
de conductividad hidráulica (L / T); h es la cabeza potenciométrica (L); y Vh es el vector de
gradiente de cabeza. Cuando se combina con un balance de agua en un volumen de control
pequeño, la Ley de Darcy conduce a una ecuación diferencial parcial que describe la
distribución de la carga hidráulica: ec. 2-2

donde Q’s es el flujo volumétrico por unidad de volumen que representa fuentes y sumideros
de agua, siendo Q’s negativo para el flujo fuera del sistema de agua subterránea y Q’s positivo
para el flujo hacia el sistema (T-1); SS es el almacenamiento específico del material poroso (L-1);
y t es el tiempo (T)

Para un ejemplo de una derivación de la ecuación 2-2, véase, por ejemplo, Rushton y Redshaw
(1979). En general, SS, Kxx, Kyy y Kzz pueden ser funciones del espacio (SS "SSpx, y, zq, Kxx"
Kxxpx, y, zq, etc.) y Q1 puede ser una función del espacio y el tiempo (Q1 " Q1px, y, z, tq). La
ecuación 2-2 describe el flujo transitorio de aguas subterráneas en un medio heterogéneo y
anisotrópico, siempre que los ejes principales de conductividad hidráulica estén alineados con
las direcciones de coordenadas. La ecuación 2-2, junto con la especificación de las condiciones
de caudal y altura en los límites de un sistema acuífero y la especificación de las condiciones de
altura inicial, constituye una representación matemática de un sistema de flujo de agua
subterránea. Una solución de la ecuación 2-2, en un sentido analítico, es una expresión
analgebraica que da hpx, y, z, tq tal que, cuando las derivadas de h con respecto al espacio y el
tiempo se sustituyen en la ecuación 2 2, la ecuación y su inicial y se satisfacen las condiciones
de contorno. Una distribución de altura variable en el tiempo caracteriza el sistema de flujo, ya
que mide tanto la energía del flujo como el volumen de agua almacenada; También se puede
utilizar para calcular direcciones y velocidades de movimiento.

Método de diferencia finita de volumen de control

A excepción de los sistemas muy simples, la solución analítica de la ecuación 2-2 rara vez es
posible, por lo que se deben emplear varios métodos numéricos para obtener soluciones
aproximadas. Uno de estos enfoques es el método CVFD, en el que el sistema continuo
descrito por la ecuación 2-2 se reemplaza por un conjunto finito de puntos discretos en el
espacio y el tiempo, y las derivadas parciales se reemplazan por términos calculados a partir de
las diferencias en los valores de cabeza en estos puntos. . El proceso conduce a un sistema de
ecuaciones en diferencias algebraicas lineales simultáneas; la solución produce valores de
altura en momentos y momentos específicos. Estos valores constituyen una aproximación a la
distribución de altura variable en el tiempo que daría una solución analítica de la ecuación
diferencial parcial de flujo.

El análogo CVFD de la ecuación 2-2 puede derivarse aplicando las reglas del cálculo de
diferencias; sin embargo, en la discusión que se presenta aquí, se utiliza un enfoque
alternativo con el objetivo de simplificar el tratamiento matemático y explicar el
procedimiento computacional en términos de conceptos físicos familiares con respecto al
sistema de flujo.

En MODFLOW 6, los volúmenes de control discretos que componen el dominio del modelo se
denominan "celda" modelo. Dentro de cada celda hay un punto llamado "nodo" en el que se
calcula la altura. Se podrían utilizar muchos esquemas para localizar nodos en celdas; sin
embargo, la ecuación en diferencias finitas desarrollada en la siguiente sección utiliza la
formulación centrada en bloques en la que los nodos están en el centro de las celdas. La
comunicación hidráulica entre celdas se conceptualiza en términos de conexiones conductoras
entre nodos. El conjunto de celdas modelo y su red asociada de conexiones se denomina
"cuadrícula" del modelo.

Estructura de una celda modelo

Una celda modelo MODFLOW 6 es un prisma con lados verticales y una parte superior e
inferior horizontales (fig. 2–1). En versiones anteriores de MODFLOW (con la excepción de
MODFLOW USG), el contorno de una celda, visto desde la parte superior, era rectangular. En
MODFLOW 6, el contorno de una celda puede ser cualquier polígono convexo, incluido un
polígono rectangular. Un polígono convexo se define como uno en el que todos los ángulos
interiores son menores de 180 grados. Los puntos en los que se unen los bordes de un
polígono se denominan "vértices". Debido a que los lados de una celda son verticales, el
mismo polígono define la forma de la parte superior e inferior de la celda. El área del polígono
se llama "área horizontal" de la celda. El volumen de una celda se puede calcular como el
producto del área de la celda horizontal y la diferencia entre las elevaciones de la parte
superior e inferior de la celda.

Conexiones entre celdas

Una conexión entre los nodos de dos celdas indica que las celdas están en comunicación
hidráulica donde el agua subterránea puede fluir entre las celdas bajo la influencia de un
gradiente hidráulico. Una conexión puede ser “horizontal” o “vertical” (fig. 2 2). MODFLOW 6
calcula las conexiones de las celdas utilizando información sobre la cuadrícula o las
proporciona el usuario como parte de la entrada del modelo. Asimismo, el tipo de conexión
(horizontal o vertical) se determina a partir del tipo de cuadrícula o lo especifica el usuario
como entrada.

Figura 2-1. Diagrama que muestra las celdas del modelo MODFLOW 6 con nodos ubicados en
sus centros. A, celda rectangular, vista oblicua; B, contorno de celda rectangular visto desde
arriba; C, celda hexagonal, vista oblicua; D, contorno de la celda hexagonal vista desde arriba.
Figura 2-2. Diagrama que muestra las conexiones entre los nodos de tres celdas modelo. Las
celdas 1 y 2 tienen una conexión horizontal que cruza su lado vertical compartido (verde). Las
celdas 1 y 3 tienen una conexión vertical que cruza su parte inferior / superior horizontal
compartida (azul).
Figura 2-3. Diagrama que muestra ejemplos de dos tipos diferentes de conexiones de celda. A,
una línea que conecta los centros de las celdas adyacentes pasa a través de la cara compartida
en ángulo recto; y B, una línea de conexión no interseca la cara compartida en ángulo recto.
Figura modificada de Panday y otros (2013).

Las conexiones horizontales son a menudo horizontales en un sentido estrictamente

geométrico; es decir, a menudo se encuentran dentro del plano de coordenadas (x, y), como
parece ser el caso en la figura 2-2. Del mismo modo, las conexiones verticales suelen ser
estrictamente verticales; es decir, a menudo están alineados con la dirección de la coordenada
z. Sin embargo, en general, los términos "horizontal" y "vertical", tal como se aplican a una
conexión, no implican necesariamente una orientación horizontal o vertical estricta de la
conexión. Más bien, indican (indirectamente) el tipo y la orientación de la interfaz con la que
está asociada una conexión. Una conexión horizontal cruza una interfaz vertical formada por
los lados de la celda, y una conexión vertical cruza una interfaz horizontal formada por una
parte superior y una parte inferior de la celda.

Para obtener soluciones precisas con el método CVFD, existen requisitos geométricos con
respecto a las conexiones de las celdas. Primero, una línea dibujada entre los centros de dos
celdas conectadas debe intersecar la cara compartida en ángulo recto (fig. 2-3). En segundo
lugar, el punto de intersección debe coincidir con una posición media apropiada en la cara
compartida (Narasimhan y Witherspoon, 1976). Cuanto menor sea la desviación de estos
requisitos de conexión CVFD, menor será la pérdida de precisión en la solución de flujo de
agua subterránea.

Explicación

----- Límite del acuífero Celda activa Celda inactiva

Dimensión de la celda a lo largo de la dirección de la fila: El subíndice indica el número de la columna.

Dimensión de la celda a lo largo de la dirección de la columna: El subíndice indica el número de la fila

Dimensión de la celda a lo largo de la dirección vertical: El subíndice (k) indica el número de la capa

Figura 2-4. Ilustración que muestra un sistema acuífero hipotético discretizado utilizando una
cuadrícula MODFLOW regular. Figura modificada de Harbaugh (2005)
Cuadrículas de modelos

La colección de todas las celdas modelo y sus conexiones se denomina "cuadrícula" del
modelo. Con la excepción de MODFLOW-USG, las versiones anteriores de MODFLOW solo
admitían cuadrículas "regulares" compuestas por filas, columnas y capas de celdas prismáticas
rectangulares. Además de las cuadrículas MODFLOW regulares, MODFLOW 6 también admite
cuadrículas “no estructuradas” cuyas celdas no necesitan ser rectangulares y cuya conectividad
no está restringida a filas, columnas o capas. La conectividad no estructurada ofrece al usuario
una flexibilidad considerable para construir cuadrículas que se ajustan a los dominios del
modelo con geometría irregular y geología compleja.

Cuadrículas MODFLOW regulares

La Figura 2-4 muestra la discretización espacial de un sistema acuífero usando una cuadrícula
MODFLOW regular. Una cuadrícula MODFLOW regular es una cuadrícula rectilínea de celdas,
cuyas ubicaciones se describen en términos de filas, columnas y capas. Se utiliza un sistema de
indexación de capas, filas y columnas. Por ejemplo, la figura 2-4 muestra un sistema con cinco
filas, nueve columnas y cinco capas. Al formular las ecuaciones del modelo, se asumió que las
capas corresponderían generalmente a unidades o intervalos geohidrológicos horizontales. Por
tanto, en términos de coordenadas cartesianas, el índice de capa denota cambios a lo largo de
la vertical, z. Como la convención seguida en este modelo es numerar las capas de arriba hacia
abajo, un incremento en el índice de capa corresponde a una disminución en la elevación. De
manera similar, las filas se considerarían paralelas al eje x, de modo que los incrementos en el
índice de la fila corresponderían a disminuciones en y; y las columnas se considerarían
paralelas al eje y, de modo que los incrementos en el índice de la columna corresponderían a
incrementos en x. Estas convenciones se siguieron al construir la figura 2-4; sin embargo, la
aplicación del modelo solo requiere que las filas y columnas caigan a lo largo de direcciones
ortogonales consistentes dentro de las capas y no requiere la designación de ejes de
coordenadas x, y o z.

En tres dimensiones, la discretización de un sistema acuífero con una cuadrícula MODFLOW

regular da como resultado una conectividad estructurada de siete puntos para el conjunto
discretizado de ecuaciones. Esto significa que una sola celda modelo está conectada, como
máximo, a seis celdas modelo circundantes. Debido a que el número de conexiones
permanece constante en el espacio (excepto a lo largo de los límites), una cuadrícula
MODFLOW regular también se considera una cuadrícula estructurada, porque el número de
conexiones es el mismo para todas las celdas.

Cuadrículas estructuradas y no estructuradas generalizadas

El término "cuadrícula no estructurada" simplemente significa que el número de conexiones

puede ser variable para cada celda dentro de una cuadrícula. Esta variabilidad da como
resultado un sistema de ecuaciones no estructurado. En el método CVFD, la conectividad de
una celda depende del número de caras compartidas, que puede variar para cada celda. Una
cuadrícula estructurada, en la que el número de caras compartidas es constante en toda una
cuadrícula, se considera un subconjunto de cuadrículas no estructuradas.

La Figura 2-5 muestra ejemplos de diferentes tipos de cuadrículas estructuradas y no

estructuradas que pueden definirse para el Proceso GWF en MODFLOW 6. La parte superior de
la Figura 2-5 muestra cuadrículas de modelos estructurados en las que el número de
conexiones es el mismo para todas las celdas (excepto a lo largo de los límites). Para
cuadrículas rectangulares estructuradas (fig. 2-5A), la metodología CVFD es idéntica a una
aproximación en diferencias finitas convencional o estándar (por ejemplo, Peaceman 1977 y
Moridis y Pruess 1992). Las cuadrículas estructuradas simples que constan de hexágonos,
triángulos equiláteros y rectángulos cumplen con los requisitos de conexión CVFD. Las
cuadrículas triangulares y cuadriláteros que se muestran en la figura 2-5F y G están
estructuradas, pero las cuadrículas se han deformado para ajustarse a un contorno de
dominio. Deformar una cuadrícula puede ser una forma efectiva de discretizar eficientemente
un dominio irregular, pero al deformar la cuadrícula, a menudo se violan los requisitos de
conexión CVFD.

Para las cuadrículas no estructuradas que se muestran en la parte inferior de la figura 2-5, el
número de conexiones para cada celda es variable en toda la cuadrícula. La capacidad de las
redes no estructuradas para soportar aumentos locales de resolución puede ser útil y eficiente
cuando la escala de interés o la magnitud del gradiente hidráulico varía en todo el dominio.
Con la excepción de la rejilla radial (fig. 2 5J), las rejillas no estructuradas de la figura 2-5 no
cumplen con los requisitos de conexión CVFD

Flujos entre celdas (flujos internos) Los flujos entre celdas se denominan "flujos internos". Las
expresiones matemáticas para los flujos internos son formas discretas de la ley de Darcy. En
determinadas condiciones, que se analizan más adelante en este capítulo, el flujo entre dos
celdas se puede expresar con precisión como el producto de una conductancia hidráulica y la
diferencia de altura entre las dos celdas. Esto se denomina expresión de flujo "basada en
conductancia".

Para simplificar el siguiente desarrollo, los flujos se consideran positivos si entran en la celda n;
el signo negativo generalmente incorporado en la Ley de Darcy se ha eliminado de todos los
términos. Siguiendo estas convenciones, el flujo horizontal hacia la celda n desde la celda m
(figura 2-6) viene dado por la ley de Darcy como

donde Qn, m es el caudal en la celda n desde la celda m, Kn, m es la conductividad hidráulica

efectiva entre los nodos (los detalles para calcular Kn, m se describen en el capítulo 4), Δwn, m
es el ancho de la cara a través qué flujo ocurre, Δvn, m es la altura de la cara a través de la cual
ocurre el flujo, hm es la altura en el nodo m, hn es la altura en el nodo n, Ln, m es la distancia
desde el centro de la celda n a su cara compartida con la celda m, y Lm, n es la distancia desde
el centro de la celda m hasta su cara compartida con la celda n.

La ecuación 2-3 proporciona el flujo exacto para un caso de estado estable unidimensional a
través de un bloque de acuífero que se extiende desde el nodo m al nodo n y que tiene un área
de sección transversal Δwn, mΔvn, m. Kn, m es la conductividad del material entre los nodos
nym, que es la conductividad hidráulica efectiva para toda la región entre los nodos,
normalmente calculada como una media armónica, como lo describe Collins (1961), por
ejemplo. Se pueden escribir expresiones similares aproximando el flujo hacia la celda n desde
todas sus m celdas vecinas.
Figura 2-5. Ilustración que muestra ejemplos de diferentes tipos de cuadrículas estructuradas y
no estructuradas. Figura modificada de Panday y otros (2013)

Figura 2-6. Diagrama que muestra el flujo hacia la celda n desde la celda m. Figura modificada
de Harbaugh (2005).
La ecuación 2-3 expresa el flujo de entrada a través de una cara de la celda n en términos de
altura, dimensiones de la rejilla y conductividad hidráulica. Esta notación se puede simplificar
combinando las dimensiones de la cuadrícula y la conductividad hidráulica en una sola
constante, la "conductancia hidráulica" o, más simplemente, la "conductancia". Por ejemplo,

donde Cn, m es la conductancia entre los nodos nym (L2T ´1). Por lo tanto, la conductancia es
el producto de la conductividad hidráulica y el área de flujo de la sección transversal dividida
por la longitud de la trayectoria del flujo (en este caso, la distancia entre los nodos). El Capítulo
4 describe el cálculo de la conductancia para flujo horizontal y vertical tanto para condiciones
confinadas como parcialmente saturadas.

Sustituyendo la conductancia de la ecuación 2-4 en la ecuación 2-3, se obtiene la expresión de

flujo basada en la conductancia,

Formulación de ecuaciones de Newton-Raphson para la solución

La formulación de Newton-Raphson es una alternativa a la formulación estándar. Primero se

presentó en el contexto MODFLOW en MODFLOW-NWT (Niswonger y otros, 2011) para redes
regulares y luego en MODFLOW-USG (Panday y otros, 2013) para redes no estructuradas. La
formulación de Newton-Raphson tiene muchas ventajas para los problemas del nivel freático
y, a menudo, convergerá cuando la formulación estándar no converja debido a dificultades de
humectación y secado.

El método de Newton Raphson se puede aplicar a un sistema de ecuaciones no lineales como

las que resultan de la discretización de la ecuación de flujo de agua subterránea no confinada.
Al igual que la formulación estándar, la formulación de NewtonRaphson también utiliza la
iteración, que implica la solución repetida de un sistema linealizado de ecuaciones, para
manejar problemas no lineales. Para un sistema de ecuaciones, la siguiente ecuación matricial
expresa el método de Newton-Raphson

donde J es la matriz jacobiana calculada usando las cabezas de la iteración anterior, k -1, Δhk es
el vector de mejora de la cabeza que es igual a la diferencia de la cabeza entre la iteración k y
k-1, y r es el vector residual calculado usando la ecuación CVFD y las cabezas de la iteración k-1.
La solución de la ecuación 2-25 requiere encontrar un nuevo vector de mejora de la cabeza,
que cuando se multiplica por el jacobiano (calculado a partir de una iteración anterior)
compensará los residuales calculados para la iteración anterior.

Como muestran Niswonger y otros (2011) y Panday y otros (2013), la ecuación 2-25 se puede
reorganizar en términos de hk para dar
La ecuación 2-26 proporciona una expresión para la ecuación linealizada de flujo de agua
subterránea de Newton Raphson en términos de altura, en lugar de la mejora de la altura. Al
escribir la ecuación de esta manera, es más fácil escribir el programa de modo que la ecuación
del flujo de agua subterránea se pueda resolver usando la formulación estándar o la
formulación de Newton-Raphson sin necesidad de tener implementaciones significativamente
diferentes. La ecuación 2-26 tiene una forma similar a la ecuación 2-24 en que se conocen la
matriz jacobiana del lado izquierdo y los términos del lado derecho, y esa cabeza es la variable
dependiente para la que se busca una solución.

La aplicación de la ecuación 2-26 requiere una expresión para el residual de la celda n El

residual de la celda n se calcula como la suma de las entradas y salidas en cada cara

las entradas y salidas de fuentes y sumideros (Qn, s) y cambios en el almacenamiento (QSTO):

La matriz jacobiana es una matriz dispersa que contiene la derivada parcial del residuo rn con
respecto a la cabeza. La diagonal de la matriz jacobiana contiene términos que representan el
cambio en el residual de la celda n con el cambio en la cabeza de la celda n,

Las posiciones fuera de la diagonal en la matriz jacobiana contienen el cambio en el residual de

la celda n con respecto al cambio en la cabeza en las celdas conectadas, expresado como,

La aplicación de la ecuación 2-26 a las ecuaciones 2-27 a 2-29 produce la siguiente expansión
de Newton-Raphson de la ecuación CVFD para la celda n,

La ecuación 2-30 está escrita de modo que los términos estén en correspondencia directa con
los términos de la ecuación 2-26. Los términos del lado izquierdo de la ecuación 2-30
representan Jk-1 hk; el primer término en el lado derecho de la ecuación 2-30 representa el
residuo negativo, ´rk´1, que es simplemente la suma de las entradas y salidas calculadas
usando las cabezas de la iteración anterior; y, los dos últimos términos en el lado derecho de la
ecuación 2-30 representan Jk-1 hk-1.
Los términos de la ecuación 2-30 se ensamblan en las ecuaciones matriciales utilizando un
enfoque de paquete. La forma de la ecuación 2-30 está diseñada para mostrar cómo un
paquete agrega sus términos individuales a las ecuaciones matriciales. Como ejemplo, el
término QST O se muestra en tres lugares en la ecuación 2-30 una vez en el coeficiente de hk y
dos veces n en el lado derecho