Apuntes Modelos

Daniel Fernndez Garcia. Interacci Aiges Subt. i Obra civil. Enginyeria del Terreny. UPC.
MODELOS DE FLUJO Y TRANSPORTE
DanielFernndezGarcia
UniversitatPolitcnicadeCatalunya
DepartamentEnginyeriadelTerreny
<daniel.fernandez.g@upc.edu>
Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es
Powered by TCPDF (www.tcpdf.org)
ndice
1. Introduccin a los mtodos numricos ......................................................................3
2. El mtodo de Diferencias Finitas.............................................................................12

2.1. Condiciones de contorno .....................................................................................21
2.2. Clculo de conductancias en la interfaz...............................................................24
3. Modelos en elementos finitos ..................................................................................25
3.1. Mtodos numricos de resolucin del sistema lineal ...........................................36
3.2. Estructura tpica de un programa .........................................................................37
1. INTRODUCCIN A LOS MTODOS NUMRICOS

El proceso de formulacin en los distintos mtodos numricos consta de dos etapas:
A. Discretizacin: consiste en la sustitucin del medio continuo por un medio discreto,

constituido por un nmero finito de elementos o formas geomtricas sencillas (ver
apartado 11.2.2 de este tema). Consiste en discretizar el dominio, es decir en
superponer una malla de elementos con formas predeterminadas.
Ejemplo: Malla de Elementos Finitos de un modelo de flujo 3D.
Ejemplo: Malla de Diferencias Finitas de un modelo de flujo 3D alrededor de un tnel

(Mont Terri Rock Laboratory)
Ejemplo: Malla de elementos finitos 3D (El Berrocal)
Ejemplo: Malla de elementos finitos de un modelo multicapa de flujo (Delta del

Llobregat, Barcelona). Vista area.
B. Sustitucin de las ecuaciones en derivadas parciales (EDP) por ecuaciones en

forma algebraica (ecuaciones con operaciones sencillas, + - * / ) que pueden ser
resueltas mediante algoritmos de solucin de sistemas de ecuaciones. La
resolucin de estas ecuaciones se hace en los nudos, que se definen (es cuestin
del convenio adoptado) bien como los puntos de interseccin de la malla generada
o bien como los puntos centrales de los elementos.
Los rasgos distintivos de cada mtodo numrico residen en la forma de discretizar el
medio y en la forma de obtener el sistema de ecuaciones. Los principales mtodos
numricos son:
Diferencias Finitas
Diferencias Finitas Integradas
Elementos Finitos
Elementos de contorno
En este tema se expondrn los dos mtodos ms utilizados: Diferencias Finitas (DF) y
Elementos Finitos (EF). Empecemos viendo que se entiende por discretizar el espacio
en el Mtodo de las Diferencias Finitas y en el Mtodo de los Elementos Finitos. Para
ello, supongamos que estamos interesados en desarrollar un modelo de flujo del
acufero aluvial que se muestra en la Figura 1. Los contornos rallados significan
contornos impermeables. El acufero tiene un ro que le atraviesa de Norte a Sur en
toda su longitud. Hay 5 pozos de bombeo que estn extrayendo agua a caudal
constante (puntos A, B, C, D, E) y existen varios puntos en los que se han medido
niveles de agua. En la Figura 1, los puntos de observacin aparecen junto con el valor
del nivel piezomtrico (expresado en metros de columna de agua).
Figura 1. Acufero aluvial

La Figura 2 muestra una posible discretizacin espacial del acufero segn el Mtodo
de las Diferencias Finitas. Vemos que el domino se ha discretizado segn una malla
regular formada por filas y columnas. Cada fila y cada columna tienen un tamao fijo en
toda su longitud pero puede variar de una fila o columna a otra. Por ejemplo, vase que
alrededor de los pozos de bombeo (donde los gradientes piezomtricos son ms
importantes) la discretizacin espacial es mucho ms fina mientras que en zonas
donde los gradientes son pequeos la malla es mucha ms gruesa. A los elementos
rectangulares que forman la malla se les llama celdas. Las celdas que aparecen en
color gris residen fuera del dominio del acufero y, por tanto, no estamos interesados en
saber su piezometra. Se dice que son celdas inactivas.
Figura 2. Posible discretizacin espacial del acufero segn el mtodo de las

diferencias finitas. Las celdas con pozos de bombeo se muestran en color rojo.
Por el contrario, la Figura 3 nos muestra una posible discretizacin espacial del
acufero por el Mtodo de los Elementos Finitos. En este caso, ya no tenemos una
malla regular formada por filas y columnas sino que el dominio se ha discretizado
mediante tringulos de tamaos distintos. Dichos tringulos son los elementos de la
malla generada y los puntos de interseccin de la malla generada son los nodos. En las
zonas donde los gradientes son importantes como en el caso de pozos tenemos que
los tringulos son de tamao pequeo. A medida que nos alejamos de los pozos,
dichos tringulos van aumentando progresivamente su tamao.
Figura 3. Posible discretizacin espacial del acufero segn el mtodo de los

elementos finitos.
Del ejemplo anterior vemos pues que el Mtodo de las Diferencias Finitas, al
restringirse a una malla regular, tendr problemas geomtricos para definir bien el
contorno. Vase, por ejemplo, que el dominio numrico del acufero de la Figura 2 no
sigue el contorno real del acufero. Por el contrario, el Mtodo de los Elementos Finitos
es capaz de seguir fielmente el contorno de dicho acufero.
La ecuacin de flujo describe la evolucin temporal de los niveles piezomtricos
para cualquier punto del dominio. Puesto que no podemos plantearnos resolver una
ecuacin para un nmero infinito de puntos y tiempos se debe discretizar tanto el
espacio como el tiempo. As pues, la discretizacin slo sirve para definir un nmero
finito de puntos en los que estaremos interesados en resolver el sistema (los niveles).
En Elementos Finitos, dichos puntos son los nudos mientras que en Diferencias Finitas
son los centros geomtricos de las celdas de la malla. En otras palabras, la salida de
un programa de Elementos Finitos nos proporcionar los niveles en los nudos para una
serie de tiempos discretos mientras que un programa de Diferencias Finitas nos
proporcionar los niveles en los centros de las celdas para una serie de tiempos
discretos.
Por el contrario, las propiedades del acufero (transmisividad, coeficiente de
almacenamiento) son propiedades representativas de un cierto volumen del acufero y,
por tanto, no se pueden asociar a los nodos de la malla. Las propiedades del acufero
se entraran en el programa por celdas o elementos. A todo elemento se le deben
asociar valores de TODOS los parmetros. La forma ms habitual de hacerlo es
zonificando, es decir, dividiendo el dominio en zonas ms o menos homogneas.
Todos los elementos de la malla dentro de una misma zona se les asigna las mismas
propiedades. Por ejemplo, un modelo de flujo de elementos finitos (Barcelona) podra
tener la discretizacin espacial de la Figura 4:
Figura 4. Posible discretizacin espacial del acufero de Barcelona segn el mtodo de

los elementos finitos.

10
Para describir las propiedades del acufero (por ejemplo, la transmisividad) se

identificaron las siguientes zonas (ver Figura 5).
Figura 5. Posible zonificacin de los parmetros del modelo de flujo de Barcelona.
Resumen: El mtodo de las diferencias finitas o elementos finitos discretiza el dominio

en un nmero finito de celdas o elementos. Este proceso de discretizacin conduce a
un sistema de ecuaciones lineales cuya solucin son los valores de los niveles de agua
en los centros geomtricos de las celdas (DF) o en los nodos de los elementos (EF).

11
2. EL MTODO DE DIFERENCIAS FINITAS

En cualquiera de los mtodos, se parte de la ya conocida ecuacin de flujo:
h
Th W
t
(1)
donde S [-] es el coeficiente de almacenamiento, h [L] el nivel

piezomtrico, t [T] es el tiempo, T [L2T-1] es la matriz de
transmisividad, y W [LT-1] las fuentes externas. representa el
operador gradiente y el operador divergencia.
Dicha ecuacin se obtiene a partir de un balance de masas en cada elemento del
dominio y la aplicacin de la ecuacin de Darcy, conforme se ha visto en temas
anteriores.
En el caso del mtodo de Diferencias Finitas (DF), la discretizacin se hace mediante
segmentos (1-D), rectngulos (2-D) o paraleleppedos (3-D). Como se indica al
principio, hay dos formas de situar los nudos en la malla; no es un hecho esencial, pero
aqu se sigue el convenio del programa de diferencias finitas ms utilizado en el
mundo: MODFLOW, en cualquiera de sus variantes. Este cdigo situa los nudos en el
centro de cada elemento.
El segundo paso transformacin de la ecuacin de flujo en una ecuacin algebraica
para cada nudo se lleva a cabo aproximando la derivada en el nudo con la tangente.
Esto hay que hacerlo para todos y cada uno de los nudos, y para todos los tiempos en
que nos interese calcular la solucin.
La mejor forma de ver como se transforma la ecuacin de flujo en una ecuacin
algebraica, es decir, en un sistema lineal de ecuaciones, es a travs de un ejemplo
sencillo. Supongamos el caso de un acufero unidimensional en el cual se discretiza el
dominio en tres celdas (ver Figura 4). El acufero se considera impermeable en su
contorno inferior y en sus lados, y tiene un recarga uniforme en todo el acufero de
valor W y un bombeo en la celda central de valor Qp:

12
Qp
W
Q12
Q23
x1
Figura 4. Acufero unidimensional.
El mtodo de las diferencias finitas se puede interpretar como el resultado de imponer
dos principios bsicos:
La ley de Darcy (aproximada por diferencias finitas)
Conservacin de masa (volumen de agua) para cada celda.
La ley de conservacin de masa expresa que la cantidad de agua que entra dentro de
una de las celdas menos la cantidad que sale tiene que ser igual a la cantidad de masa
que se acumula en dicha celda. Cuantifiquemos pues el balance de agua para cada
celda.
Celda 1:
En esta celda el agua slo puede entrar por recarga a travs de su superficie y puede
salir a travs de la interfaz que existe entra la celda 1 y 2 con caudal Q12. El balance de
agua se escribe como:
W x Q12 S1V1
dh1
dt
Donde Q12 es el caudal de agua que fluye de la celda 1 a la 2. El trmino de la derecha

es la cantidad de agua almacenada por unidad de tiempo en la celda 1. S1 es el
coeficiente de almacenamiento especfico asociado a esa celda. Dicho coeficiente S1
se tiene que multiplicar por el volumen de la celda para determinar la cantidad total de
agua almacenada dentro de la celda. Esto se debe a que el coeficiente de
almacenamiento especfico expresa la cantidad de agua almacenada por unidad de
volumen de acufero cuando hay un cambio unitario en los niveles.
13
Para expresar el caudal que fluye de la celda 1 a la 2, es conveniente de introducir el

concepto de conductancia. En principio, el caudal de agua entre 1 y 2 viene expresado
a travs de la ley de Darcy por
Q12 K12
dh
A12
dx 12
Donde K12 es la conductividad hidrulica, A12 es el rea atravesada por el flujo de agua.
El subndice 12 indica que la propiedad del acufero en cuestin se refiere a la interfaz
entre dos celdas (la celda 1 y la 2). Sabiendo que la derivada se puede aproximar por
incrementos, es decir, por diferencias finitas tenemos que
h h
dh
2 1
dx 12 x2 x1
Donde h1 y h2 son los niveles en el centro geomtrico de las celdas 1 y 2, y x1 y x2 son
sus coordenadas respectivas. Definiendo la conductancia hidrulica como
C12 K12
A12
x2 x1
Podemos expresar el caudal como
Q12 K12
dh
A12 C12 h1 h2
dx 12
As pues, la conductancia no es nada ms que la conductividad hidrulica multiplicada

por el rea atravesada y dividida por la longitud recorrida por el agua, y sirve para
simplificar la dependencia de los caudales con los niveles. Utilizando dicha definicin
de conductancia podemos escribir el balance de agua de la celda 1 como
W x C12 h1 h2 S1V1
dh1
dt

14
(2)
Celda 2:
De la misma manera, el balance de agua en la celda 2 se expresa como
W x Q12 Q23 Qp S2V2
dh2
dt
Donde
Q12 K12
dh
A12 C12 h1 h2
dx 12
Q23 K 23
dh
A23 C23 h2 h3
dx 23
Y se obtiene
W x C12 h1 h2 C23 h2 h3 Qp S2V2
dh2
dt
(3)
Celda 3:
De la misma manera, el balance de agua en la celda 3 se expresa como
W x Q23 S3V3
dh3
dt
Donde
Q23 K 23
dh
A23 C23 h2 h3
dx 23
Y se obtiene
W x C23 h2 h3 S3V3
dh3
dt

15
(4)
Descripcin matricial de las ecuaciones:

Las tres ecuaciones de balance de agua, ecuaciones (2)-(3)-(4) se pueden escribir en
forma matricial como:
C12
C
12
0
C12
C12 C23
C23
0 h1 S1V1
C23 h2 0
C23 h3 0
0
S 2V2
0
0 dh1 / dt W x
0 dh2 / dt W x Q p
S3V3 dh3 / dt W x
Y en forma compacta como:
Ah D
dh
b
dt
(5)
donde:
A = matriz de conductancias
D = matriz de almacenamiento
b = trmino independiente = entradas y salidas del sistema, conocido tambin como
vector de esfuerzos
C12
A C12
0
C12
C12 C23
C23
0
C23 ,
C23
S1V1
D 0
0
0
S 2V2
0
0
0 ,
S3V3
W x
b W x Q p
W x
En resumen: por el simple hecho de discretizar el espacio en tres celdas y aproximar la

ley de Darcy por incrementos finitos se obtiene que la ecuacin de flujo se puede
expresar como un sistema algebraico de tres ecuaciones lineales con tres incgnitas.
Las incgnitas son los niveles en los centros geomtricos de las celdas, que se
agrupan dentro de un vector h. La matriz de conductancias A es una matriz formada
por tres diagonales. Todos los otros coeficientes son cero. La diagonal principal
(coeficientes A11, A22, y A33) est formada por la suma de las conductancias de la celda,
mientras que las diagonales perifricas, coeficientes (A21, A32) y (A12, A23), estn
formadas por las conductancias entre celdas contiguas, con signo negativo. Por
ejemplo, el coeficiente A23 es la conductancia asociada a la interfaz que existe entre la
celda 2 y 3, es decir, A23 = -C23.
16
Por el contrario, la matriz de almacenamiento D es una matriz diagonal. Slo tiene

coeficientes distintos de cero en su diagonal principal. Los coeficientes de la diagonal
se expresan como el coeficiente de almacenamiento especfico multiplicado por el
volumen de la celda. El vector b es un vector conocido que incluye todos los trminos
fuente y sumidero (recarga, bombeos,).
La discretizacin espacial por s sola nos lleva a la expresin algebraica
Ah D
dh
b
dt
Dicha expresin forma una ecuacin diferencial ordinaria (EDO) y por tanto an tiene
las derivadas temporales de los niveles. Se pueden emplear varios mtodos para
solucionar dicha ecuacin diferencia ordinaria:
Integracin analtica o semianaltica.
Diferencias finitas: aproximar las derivadas por incrementos.
La integracin analtica o semianaltica necesita de un mayor tiempo de cmputo y

solamente resulta ventajoso en modelos de optimizacin de demandas. La
aproximacin por diferencias finitas de las derivadas temporales es el caso ms tpico.
Por ejemplo, el utilizado por MODFLOW. Consiste en aproximar la derivada como:
dh ht 1 ht
t
dt

17
(6)
Al introducir esto en la ecuacin algebraica de la ecuacin del flujo tenemos el siguiente

dilema:
ht 1 ht
Ah D
b
t
Y es que para que el sistema est totalmente definido necesitamos decidir en que
tiempo evaluamos los niveles que multiplican la matriz de conductancias A. Es lgico
pensar que deberamos utilizar un valor representativo de los niveles presentes en un
tiempo intermedio entre los tiempos t y t+1. Dichos tiempo intermedio se representa
con el superndice "t+" en la ecuacin algebraica anterior
Ah
ht 1 ht
D
b
t
(8)
Matemticamente, este razonamiento lo podemos expresar como
ht ht 1 (1 )ht ,
0 1
El valor de es un valor comprendido entre 0 y 1 y determina la influencia que tienen

los niveles en los tiempos t y t+1 sobre el nivel representativo. El usuario puede decidir
cul es el tiempo en el que se evalua el nivel piezomtrico que acompaa al trmino de
las conductancias. Cuando se dice que el esquema de Diferencias Finitas es
explcito, puesto que slo hay una incgnita por ecuacin. En este caso, los niveles
futuros (tiempo t+1) se pueden calcular directamente mediante
ht 1 ht tD1 b Aht
Donde D-1 es la inversa de la matriz de almacenamiento:

18
(7)
(9)
0
0
1/ S1V1
D1 0
1/ S 2V2
0
0
0
1/ S3V3
Puesto que los niveles multiplicando la matriz de conductancias A se evalan en

el tiempo anterior, los esquemas explcitos asumen que los flujos de agua entre celdas
se mantienen constantes durante el intervalo de tiempo t. Su aplicacin es directa y
fcil de implementar en un programa pero sin embargo su resultado no siempre es

estable.
Se dice que un esquema numrico de Diferencias Finitas es estable si los errores
numricos que se cometen en un paso de tiempo no hacen incrementar el error (el
error est acotado) con el tiempo.
Algoritmo Inestable = los errores crecen con el tiempo y la solucin diverge
Algoritmo Estable = los errores decaen con el tiempo y la solucin converge
Segn el anlisis de estabilidad de Von Neumann, para que los errores esten acotados
en el tiempo se debe cumplir que:
T t 1
S x 2 2
En la prctica, esta condicin de estabilidad impone una restriccin adicional al paso de
tiempo t. Puesto que la malla est definida por una discretizacin previa del dominio
x es conocido y tenemos que:
1 S x 2
t
2 T
(10)
Esto quiere decir que normalmente un esquema explicito necesitar de pasos de

tiempo muy pequeos para resolver bien el sistema. Para resolver el flujo, la mayora
de programas tipo MODFLOW, obvian esta dificultad utilizando sencillamente un
esquema implicito con El esquema implcito es incondicionalmente estable y no
necesita de una condicin adicional de estabilidad para elegir el paso de tiempo.

19
En el esquema implcito aparecen varias incgnitas por ecuacin, cosa que complica la
resolucin del sistema, expresada como:
Ah
t 1
ht 1 ht
D
b
t
Se transforma en
D t 1
D
t
(1
)
A
h
b
A
h
t
t
Por lo que el sistema de ecuaciones matricial, para cada incremento de tiempo, es

reducido a un sistema lineal de ecuaciones del tipo
Ax b
La solucin del sistema se calcula de forma iterativa. Partiendo de una solucin
conocida (en t=0), condicionales iniciales del acufero, podemos calcular los niveles en
tiempos posteriores iterativamente mediante la ecuacin (11)
D 1
D
0
(1
)
A
h
b
A
t
h
t
D 2
D
1
(1
)
A
h
b
A
h
t
t
D 3
D
2
(1
)
A
h
b
A
h
t
t

20
(11)
2.1. CONDICIONES DE CONTORNO

En el ejemplo anterior, las condiciones de contorno son de borde impermeable. Las
condiciones de contorno de borde semipermeable (goteo) o de niveles prescritos se
imponen fcilmente modificando el sistema algebraico anterior. Vemoslo:
Niveles prescritos:
Supongamos que queremos imponer la condicin de contorno de nivel prescrito h=10
metros de agua en la celda 3 del acufero mostrado en el ejemplo anterior (Figura 4).
Supongamos tambien que se quiere resolver el flujo en condiciones de rgimen
permanente (dh/dt = 0). Entonces, el sistema de la ecuacin (7) se reduce a
Ah b
Ntese que en este caso no existen pasos de tiempo puesto que estamos interesados
en la solucin de los niveles en equilibrio, la cual es nica. El equilibrio se alcanza
cuando el agua que entra es igual a la que sale del sistema, de modo que no hay
acumulacin de agua en ningn punto.
Puesto que los niveles son conocidos en la celda 3 ya no necesitaremos resolver el
balance de agua en dicha celda y realmente el sistema solamente tiene dos incgnitas,
h1 y h2. Veamos los balances de la celda 1 y 2 dados por las ecuaciones (2) y (3) en
rgimen permanente.
Celda 1:
W x C12 h1 h2 0
Celda 2:
W x C12 h1 h2 C23 h2 h3 Qp 0
Imponer niveles prescritos en la celda 3 es equivalente a fijar h3=10 en el balance de

agua de las celdas activas (celda 1 y 2). As pues el sistema se reduce a un sistema de
2 incgnitas con 2 ecuaciones de la siguiente manera:
Celda 1:
C12 h1 C12 h2 W x

21
Celda 2:
C12 h1 C12 C23 h2 W x Qp 10C23
Y en forma matricial
C12
C
12
W x
C12 h1
W x Q 10C
C12 C23 h2
p
23
Con lo que imponer niveles prescritos es equivalente a reducir el sistema (eliminar las
ecuaciones de balance de las celdas prescritas), y aadir los coeficientes de la matriz A
asociados a celdas prescritas al vector de esfuerzos b.
Borde semipermeable:
Imponer un borde semipermeable es lo mismo que imponer una condicin mixta o de
Cauchy. En definitiva, lo que se impone es que exista un aporte de agua adicional al
acufero que depende de un nivel externo He segn Q=Ce(He-h). La conductancia Ce
correspondiente a borde semipermeable indica que las propiedades hidrulicas del
borde son peores que las del acufero. Cuando Ce est expresada por unidad de
longitud, se conoce como coeficiente de goteo. He es el nivel de agua externo y h el
nivel en el acufero. Puesto que el borde no es muy permeable, al agua le cuesta entrar
dentro del acufero y pierde energa en su paso a travs de l. Por ello, existe una
diferencia de nivel entre el agua del acufero y el agua externa a l. Este es el caso por
ejemplo de un ro, cuyo lecho puede tener permeabilidades ms bajas que las propias
del acufero.
Supongamos que el borde oeste del acufero de la Figura 5 sea semipermeable. Esto
equivale a decir que existe un aporte de agua adicional a la celda 1 que depende de un
nivel externo He segn Q=Ce(He-h). Por ejemplo, que el contorno oeste sea un ro con
nivel He y con conductancia Ce.

22
Q Ce ( H e h)
Qp
W
Q12
Q23
x1
En rgimen permanente las ecuaciones de balance de agua para cada celda se

escriben como:
Celda 1:
Ce ( H e h1 ) W x C12 h1 h2 0
Celda 2:
W x C12 h1 h2 C23 h2 h3 Qp 0
Celda 3:
W x C23 h2 h3 0
Y en forma matricial:
C12 Ce
C
12
C12
C12 C23
C23
0 h1 W x Ce H e
C23 h2 W x Q p
C23 h3 W x
As pues, introducir un borde semipermeable equivale a manipular el sistema matricial

de la ecuacin de flujo de la siguiente forma: Se suma la conductancia del borde Ce en
la celda donde existe el borde semipermeable (en la matriz A) y se suma el valor CeHe
al vector de esfuerzos b correspondiente.

23
2.2. CLCULO DE CONDUCTANCIAS EN LA INTERFAZ

Hemos visto que al discretizar el dominio del acufero la ecuacin de flujo se reduce a
un sistema matricial
Ah
ht 1 ht
D
b
t
Donde A contiene todas las conductancias entre celdas. Esas conductancias son
conductancias asociadadas a la interfaz entre dos celdas contiguas. Sin embargo, las
propiedades del acufero se conocen por zonas o reas del acufero Qu pasa cuando
dos celdas contiguas tienen propiedades distintas? Cmo evaluamos la conductancia
de su interfaz? Dicho problema se resuelve normalmente interpolando las propiedades
de las celdas contiguas. La interpolacin ms usual es utilizar la media armnica.
x1
x2

Se basa en el hecho de que la conductividad hidrulica equivalente de un medio
poroso formado por una serie de materiales con conductividades hidrulica distintas
(ver Figura 6) es la media armnica. Es decir, se puede demostrar que
Q Ke A
h1 h2
x1 x2
x1 x2 x1 x2
Ke
K1 K 2
As pues, la conductancia de la interfaz 12 en la figura 6 se calculara como.
C12
Ke A
x1 / 2 x2 / 2

24
3. MODELOS EN ELEMENTOS FINITOS
El Mtodo de los Elementos Finitos, al igual que el de las Diferencias Finitas, es un

mtodo general con el objetivo de resolver las ecuaciones diferenciales en derivadas
parciales. Los elementos bsicos del mtodo de los elementos finitos son tres:
Discretizacin espacial: arbitraria
Aproximacin de la solucin mediante funciones de forma: normalmente se

utiliza una aproximacin lineal.
Residuos ponderados: minimizar el error ponderado en un entorno
El elemento bsico es la discretizacin, se sustituye el medio continuo por uno discreto.

En general, la discretizacin es arbitraria. Cualquier discretizacin es vlida. Por
ejemplo:
ne
V V e
e 1
Nodos
Ve
Elemento
Figura 1. Discretizacin espacial posible segn el mtodo de los elementos finitos.

En la figura 1 se muestra una posible discretizacin espacial del dominio segn el
Mtodo de los Elementos Finitos. Vase que NO necesariamente todos los elementos
deben de ser tringulos. De hecho, el mtodo permite cualquier tipo de discretizacin.
En este caso, la discretizacin es un conjunto de tringulos y cuadrilteros.

25
Seguidamente, se debe sustituir, en cada nudo, la solucin exacta (desconocida) por

una aproximacin. Esto se basa en el hecho de que cualquier aproximacin a la
solucin exacta se puede escribir de la siguiente forma:
h( x, t ) h( x, t )
nodos
h (t)N (x)
j 1
(1)
Donde h(x,t) son los niveles en el punto x y en el tiempo t, el gorrito sobre h

indica que se trata de una aproximacin a la solucin exacta de h, hi son los valores en
los nodos (que pueden variar en el tiempo), y Ni(x) son las funciones de forma.
Normalmente, las funciones de forma solamente dependen de la posicin del espacio
aunque se puede generalizar al tiempo tambin. Veamos cmo surgen estas funciones
de forma para el caso ms sencillo, esto es, una aproximacin lineal a la solucin
exacta. Consideremos un acufero unidimensional discretizado en segmentos {e1, e2,
e3, } y nodos cuyas coordenadas son {x0, x1, x2,}.
Niveles reales
h3(t)
h1(t)
h(x, t)
h2(t)
t)
h(x,
Aproximacin
LINEAL
x0
e1
x1
e2
x2
e3
x3
x4
Figura 2. Aproximacin lineal a una solucin exacta.

Puesto que la aproximacin es lineal y sabemos que tiene que pasar por el valor de los
nudos hi, entonces dicha funcin aproximada es una suma de rectas truncadas que
pasan por los nodos. Fijmonos en lo que ocurre en un elemento:
26
Niveles reales
h(x, t)
h2(t)
h1(t)
Aproximacin
t)
h(x,
x1
x2
Figura 3. Interpolacin lineal dentro de un elemento.

La recta que pasa por h1 y h2 se puede escribir de forma matemtica como:
t) h (t) h 2 (t) h1 (t) x x

h(x, t) h(x,
1
1
x 2 x1
Agrupando trminos, vemos que esta ecuacin lineal se puede rescribir como:
t) h (t)N (x) h (t)N (x)

h(x, t) h(x,
1
1
2
2
(2)
Donde:
N1 (x) 1
x x1
x x
2
x 2 x1 x 2 x1
N 2 (x)
x x1
x 2 x1
Procediendo de la misma manera para el elemento contiguo, segmento comprendido

entre x2 y x3, llegamos a que
27
t) h (t)N (x) h (t)N (x)

h(x, t) h(x,
2
2
3
3
(3)
Donde:
N 2 (x)
x3 x
,
x3 x 2
N 3 (x)
x x2
x3 x2
Sumando (2) con (3) podemos decir que
t) h (t)N (x) h (t)N (x) h (t)N (x)

h(x, t) h(x,
1
1
2
2
3
3
Donde
N1 (x)
x2 x
x 2 x1
x x1
x x ,
2
1
N 2 (x)
x3 x ,
x 3 x 2
N 3 (x)
x1 x x 2
x 2 x x3
x x2
x3 x 2
Veamos como son estas funciones de forma Ni(x). Puesto que dependen
linealmente de x son rectas. Adems vemos que dichas rectas son tales que Ni(x=xi) =
1 y Ni(x=xj) = 0. Es decir, la funcin de forma asociada al nodo i es una recta que vale 1
en dicho nodo xi y cero en el resto de nodos. Si dibujamos estas funciones de forma en
funcin de x en el esquema del acufero tenemos que

28
h1(t)
N1
Niveles reales
h3(t)
h(x, t)
h2(t)
Aproximacin
LINEAL
N2
x0
x1
x2
x3
x4
Figura 4. Funciones de forma lineales en un acufero unidimensional.

En resumen, las funciones de forma lineales en un caso unidimensional son tringulos
cuyo valor es 1 en el nodo asociado a dicha funcin de forma y cero en el resto.
El siguiente paso es imponer residuos ponderados nulos en el entorno de cada nudo.
Veamos que se quiere decir con esto. Puesto que la solucin exacta no es en general
lineal tenemos que existe un error entre la funcin aproximada h ( x, t ) y la realidad h( x, t )
cuyo valor es
error h( x, t ) h ( x, t ) .
Para encontrar la mejor solucin posible al sistema se sugiere encontrar los valores en
los nodos {h1, h2, h3,} tales que dicho error sea pequeo en el entorno de los nudos.
En la figura 5 podemos ver un esquema sobre la interpretacin fsica de los residuos.

29
Niveles reales
h3(t)
h1(t)
Error
Aproximacin
LINEAL
W3
x0
h(x, t)
x1
x2
x3
x4
Figura 5. Interpretacin fsica de los residuos ponderados.

Se entiende que la mejor solucin de los niveles en los nudos {h1, h2, h3,} es
aquella que hace que dichos errores sean mnimos en un entorno. Para formular esto
matemticamente se impone lo siguiente:
W ( x, t )dx 0,
i
i=1,...,nudos
La funcin de peso pondera el error asociado a cada nodo. Puesto que estamos
interesados en encontrar los valores en los nudos del sistema, es lgico pensar que se
quiera mayor precisin cerca de dichos nodos. Para imponer esto se utiliza una funcin
de peso Wi cuyo objetivo es ponderar el error. Cerca del nodo se impone mayor peso
que lejos del nodo. En el caso de que la funcin de pesos Wi sea constante alrededor
del nodo, tenemos que la mejor solucin al sistema es aquella en que el rea amarilla
(ver figura 6) por encima de la solucin exacta y por debajo (rea verde) sean iguales.

30
Niveles reales
h3(t)
h1(t)
W3
x0
x1
h(x, t)
Aproximacin
LINEAL
x2
x4
x3
b
Figura 6. Interpretacin fsica de los residuos ponderados.
As pues tenemos que, en este caso, los residuos ponderados imponen que en
cada nudo:
xi b
( x, t )dx 0,
i=1,...,nudos
xi b
La funcin de peso Wi es una funcin que debe elegir el programador del mtodo.
Existen distintas posibles funciones de peso para implementar el mtodo de los
elementos finitos. Cada posible eleccin da lugar a un mtodo distinto. Por ejemplo, en
el caso ms comn, cuando se toma que la funcin de peso es igual a la funcin de
forma, Wi = Ni, tenemos el mtodo de Galerkin. La tabla 1 adjunta describe las
funciones de peso ms utilizadas.

31
Tabla 1: Funciones de peso posibles para ponderar los residuos en el mtodo de los
elementos finitos.
MTODO
wi
Wi N i
Standard Galerkin
Wi N i F
Petrov-Galerkin
siendo F un polinomio cbico o cuadrtico
Colocacin por subdominios
1 if x Bi
Wi
0 otherwise
Colocacin por puntos
1 if x x i
Wi
0 otherwise
Ejemplo en 1-D:
Wi p
Mnimos cuadrados
, p es una funcin positiva

h i
Resumiendo, habiendo discretizado el dominio y aproximado la solucin exacta

mediante funciones de forma, se impone que los residuos ponderados sean nulos en
un entorno de cada nudo. Esto nos proporciona un sistema de n ecuaciones con n
incgnitas. Donde n es el nmero de nudos en el sistema y las incgnitas son sus
niveles.
Llegados a este punto, nos encontramos con el dilema de que no sabemos como medir
los errores que se cometen por la aproximacin tomada. De hecho, uno piensa que
para conocer los errores deberamos conocer la solucin exacta al sistema, cosa que
desconocemos. Sin embargo, podemos medir el error de la siguiente manera.
Supongamos que queremos resolver la ecuacin de flujo por el mtodo de los
elementos finitos. Para hacerlo ms fcil cojamos el caso unidimensional
h h
T r
t x x
Definamos el operador L como:
h
h
L ( h) T r S
t
x x
32
Entonces, la solucin exacta a nuestro problema es aquella cuyos niveles cumplen que:
L ( h)
h
h
0
T r S
x x
t
Al sustituir h( x, t ) por su aproximacin h ( x, t ) la ecuacin deja de estar igualada a cero y
tenemos que:
~
~
~
h
h
r S
L(h ) T
0
x x
t
Por tanto, un medidor del error que se comete cuando utilizamos una aproximacin a la
solucin exacta es simplemente:
( x, t ) L(h )
Imponer residuos ponderados nulos en un entorno equivale a decir que para cada nudo
i se impone:
b
W ( x, t )dx 0,
i
i 1,..., nudos
Donde a y b son los puntos del contorno en el caso de un acufero unidimensional.

Utilizando la medida del error anterior se obtiene
~
~
h
h
Wi x T x dx Wi rdx Wi S t dx 0,
i 1,..., nudos

33
La primera integral se puede simplificar ms utilizando la regla de integracin por

partes (en trminos generales, para casos 2D o 3D, se utiliza el primer teorema de
Green) la cual nos permite escribir lo siguiente:
~
~ b
~
Wi h
h
h
Wi x T x dx WiT x x T x dx
a
El primero trmino de la derecha se puede simplificar aun ms. El flujo de agua que
entra dentro del acufero a travs de su contorno es
h
q T
x
De manera que la expresin anterior se puede escribir como
~
~
Wi h
h
b
Wi x T x dx Wi qa x T x dx
As pues, operando y reorganizando trminos:
~
~
Wi h
h
b
T
dx Wi q a Wi rdx Wi S
dx 0,
x x
t
i 1,..., nudos
Introduciendo ahora el hecho de que los niveles se pueden aproximar como
h( x, t ) h( x, t )
nodos
h (t)N (x)
j 1

34
Se obtiene que
nudos
j 1
nudos dh
Wi N j
j
b
hj
T
dx
Wi SN j dx Wi rdx Wi q a , i 1,..., nudos
x
x
j 1 dt
Aij
Dij
bi
es decir,
nudos
Aij h j
j 1
nudos
j 1
Dij
dh j
dt
bi ,
i 1,..., nudos
que en forma matricial es lo mismo que
Ah D
dh
b
dt
Vemos pues que el resultado de elementos finitos es el mismo que el de diferencias

finitas pero con unas matricies A, D, y h distintas. A partir de aqu se resuelve el
sistema tal y cmo se vi en el tema de diferencias finitas.

35
3.1. MTODOS NUMRICOS DE RESOLUCIN DEL SISTEMA LINEAL

Existen diferentes mtodos para la resolucin de
Ax b
1. Mtodos directos de resolucin de sistemas de ecuaciones lineales. Se basan en la

manipulacin de la matriz A para obtener x de forma inmediata:
Mtodos de eliminacin:
Gauss
Gauss-Jordan
Mtodos de descomposicin:
Crout
Cholesky
Estos mtodos son poco eficientes para sistemas de ecuaciones grandes (es decir,
con muchas incgnitas).
2. Mtodos iterativos. Parten de una solucin inicial y mediante iteraciones, es decir,
calculando cada solucin a partir de la anterior, van mejorando el resultado hasta
que el error en la verificacin es menor que un valor fijado como admisible:
Aplicndolo al valor de xk, donde k es el nmero de iteracin (no de tiempo):
A xk b = - rk 0 (no es cero, porque no se ha llegado an a la solucin)
Buscamos aadir algo xk a xk tal que el nuevo vector (xk+1 = xk +
la ecuacin actualizada, es decir, A xk+1 b = 0
Por tanto, queremos A xk+1 b = 0 A (xk +
rk = A
Por tanto,
xk) cumpla
xk) = b b - A xk = A
xk
xk
xk = A -1 rk
= A -1 [ b - A xk ]
con lo que se puede escribir xk+1 = xk +
xk = xk + A -1rk = xk + A -1[ b A xk]
Esto se repite hasta que rk sea menor que un valor predeterminado.

36
3.2. ESTRUCTURA TPICA DE UN PROGRAMA

Antes de acabar, conviene explicar cul es la estructura de un cdigo numrico para no
perder de vista la secuencia habitual de pasos. En realidad, lo que se ha visto en este
captulo es la forma interna de clculo del cdigo, cosa que no afecta al usuario normal.
La mayora de cdigos numricos se estructuran de acuerdo a la siguiente secuencia:
1. Lectura de datos:
Geometra, condiciones de contorno, niveles iniciales (h0), propiedades,
incrementos de tiempo, parmetros, etc. Es la malla que se le proporciona.
2. Clculos iniciales para evaluar la consistencia de la malla y de los datos (que todo lo
necesario est definido y no hayan huecos de informacin, por ejemplo)
3. Establecimiento de los intervalos de tiempo en los que se realizarn los clculos
4. Construccin de matrices y vector independiente (de esfuerzos)
A, D, b...
5.
Resolucin del sistema (utilizando mtodos numricos): El programa calcula

hn+1 y escribe (niveles, concentraciones, balance, lo que se le pida).
6. Si no ha terminado toma n = n+1 y vuelve a 5.

Si ha terminado, escribe el resultado final.
Desde el punto de vista de modelacin, la tarea del usuario se concentra en la primera

fase: recogida de los datos de campo y establecimiento del modelo conceptual de
partida (geometra, condiciones de contorno).

37

Apuntes Modelos

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Apuntes Modelos

Diunggah oleh

Hak Cipta:

Format Tersedia

Daniel Fernndez Garcia. Interacci Aiges Subt. i Obra civil. Enginyeria del Terreny. UPC.

MODELOS DE FLUJO Y TRANSPORTE

Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es

Powered by TCPDF (www.tcpdf.org)

1. Introduccin a los mtodos numricos ......................................................................3

2. El mtodo de Diferencias Finitas.............................................................................12

Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es

Powered by TCPDF (www.tcpdf.org)

1. INTRODUCCIN A LOS MTODOS NUMRICOS

A. Discretizacin: consiste en la sustitucin del medio continuo por un medio discreto,

Ejemplo: Malla de Elementos Finitos de un modelo de flujo 3D.

Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es

Powered by TCPDF (www.tcpdf.org)

Ejemplo: Malla de Diferencias Finitas de un modelo de flujo 3D alrededor de un tnel

Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es

Powered by TCPDF (www.tcpdf.org)

Ejemplo: Malla de elementos finitos 3D (El Berrocal)

Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es

Powered by TCPDF (www.tcpdf.org)

Ejemplo: Malla de elementos finitos de un modelo multicapa de flujo (Delta del

B. Sustitucin de las ecuaciones en derivadas parciales (EDP) por ecuaciones en

Diferencias Finitas Integradas

Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es

Powered by TCPDF (www.tcpdf.org)

Figura 1. Acufero aluvial

Powered by TCPDF (www.tcpdf.org)

Figura 2. Posible discretizacin espacial del acufero segn el mtodo de las

Powered by TCPDF (www.tcpdf.org)

Figura 3. Posible discretizacin espacial del acufero segn el mtodo de los

Powered by TCPDF (www.tcpdf.org)

Figura 4. Posible discretizacin espacial del acufero de Barcelona segn el mtodo de

Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es

Powered by TCPDF (www.tcpdf.org)

Para describir las propiedades del acufero (por ejemplo, la transmisividad) se

Figura 5. Posible zonificacin de los parmetros del modelo de flujo de Barcelona.

Resumen: El mtodo de las diferencias finitas o elementos finitos discretiza el dominio

Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es

Powered by TCPDF (www.tcpdf.org)

2. EL MTODO DE DIFERENCIAS FINITAS

donde S [-] es el coeficiente de almacenamiento, h [L] el nivel

Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es

Powered by TCPDF (www.tcpdf.org)

La ley de Darcy (aproximada por diferencias finitas)

Conservacin de masa (volumen de agua) para cada celda.

Donde Q12 es el caudal de agua que fluye de la celda 1 a la 2. El trmino de la derecha

Powered by TCPDF (www.tcpdf.org)

Para expresar el caudal que fluye de la celda 1 a la 2, es conveniente de introducir el

Podemos expresar el caudal como

As pues, la conductancia no es nada ms que la conductividad hidrulica multiplicada

Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es

Powered by TCPDF (www.tcpdf.org)

W x Q12 Q23 Qp S2V2

W x C12 h1 h2 C23 h2 h3 Qp S2V2

Jordi Girona 1-3, Barcelona/ Telf: +34-934011698/ Email: daniel.fernandez.g@upc.edu /www.h2ogeo.upc.es

Powered by TCPDF (www.tcpdf.org)

Descripcin matricial de las ecuaciones:

Y en forma compacta como:

En resumen: por el simple hecho de discretizar el espacio en tres celdas y aproximar la

Powered by TCPDF (www.tcpdf.org)

Por el contrario, la matriz de almacenamiento D es una matriz diagonal. Slo tiene

La discretizacin espacial por s sola nos lleva a la expresin algebraica

Integracin analtica o semianaltica.

Diferencias finitas: aproximar las derivadas por incrementos.