1.

El Mtodo de Diferencias Finitas

Por Guillermo Hernndez Garca

El Mtodo consiste en una aproximacin de derivadas parciales por expresiones
algebraicas envolviendo los valores de la variable dependiente en un limitado nmero de
puntos seleccionados.
Como resultado de la aproximacin, la ecuacin diferencial parcial que describe el
problema es reemplazada por un nmero finito de ecuaciones algebraicas, escritas en
trminos de los valores de la variable dependiente en puntos seleccionados. Las ecuaciones
son lineales si las ecuaciones diferenciales parciales son tambin lineales.
El valor de los puntos seleccionados se convierten en las incgnitas, en vez de la
distribucin espacial continua de la variable dependiente. El sistema de ecuaciones
algebraicas debe ser resuelto y puede envolver un nmero largo de operaciones aritmticas.
Antiguamente todos estos clculos eran realizados manualmente, o por el uso de
dispositivos mecnicos. En la actualidad, con el advenimiento de las computadoras
electrnicas las operaciones son ejecutadas por medio de un programa de cmputo.

1.1. Flujo Estable

Para mostrar este mtodo vamos a considerar el caso de flujo bi-dimensional de un
fluido en un acufero homogneo, isotrpico confinado, sin fuentes o sumideros. Para este
caso, el flujo es descrito por la ecuacin de Laplace:
. 0
2
2
2
2
= +
y
h
x
h

(1.1.1)
Esta ecuacin debe ser satisfecha en todos los puntos dentro del dominio R del
acufero considerado. En la frontera de R el nivel del agua, h, debe satisfacer ciertas
condiciones de frontera. Vamos a asumir que las condiciones de frontera son:
(1.1.2)
en S h f
1
: , =
en S Q T
h
n
n 2
0 : = =

(1.1.3)
donde S
1
y S
2
son partes complementarias de la frontera, las cuales juntas forman la
frontera total de la regin R. En la primera la altura del nivel es prescrito y en la segunda la
frontera es impermeable.
Una retcula de cuadrados es trazada sobre la regin R (figura 1.1). El valor de la
variable h en un punto nodal de la retcula, o nodo, es expresada como h
i,j
, donde i indica
la posicin de una linea vertical de la retcula (la columna), y j la lnea horizontal de la
retcula ( el rengln).
En general, la aproximacin de la primera derivada con respecto a x de una funcin
F(x,y), es dada por:

( ) ( )
x
y x F y x x F
x
F

, ,

(1.1.4)
esta se dice que es la aproximacin de diferencia finita hacia adelante de la derivada
parcial.
La diferencia finita hacia atrs es obtenida de la forma siguiente:

( ) ( )
x
y x x F y x F
x
F

, ,

(1.1.5)
Existen pequeas diferencias entre las dos aproximaciones. La diferencia finita
central es a menudo ms exacta:

( ) ( )
x
y x x F y x x F
x
F

, ,
2
1
2
1

(1.2.6)
La segunda derivada es la derivada de la primera derivada; y si utilizamos una
aproximacin de diferencia finita central, obtendremos:

( ) ( ) ( )
( )
( )
2
2 2
1, , 1,
2
, 2 , ,
2
i j i j i j
F x x y F x y F x x y
F
x
x
F F F
x

+
+ +

+
=

(1.1.7)
La frmula se ilustra en la figura 1.2, donde la funcin mostrada tiene segunda
derivada positiva, por el incremento de la pendiente en la direccin x.
La aplicacin de (1.1.7) a las derivadas parciales el (1.1.1) nos da la aproximacin
del operador de Laplace. Si por razones de simplicidad se asumen intervalos iguales en las
direcciones de x e y:

2
, , 1 , 1 1 , 1 ,
2
2
2
2
4

+ + +
+
+ + j i j i j i j i j i
h h h h h
y
h
x
h

(1.1.8)
como la parte izquierda de la ecuacin se reduce a cero segn lo indica la ecuacin
diferencial bsica (1.1.1), se puede hacer la aproximacin requiriendo que:
( )
j i j i j i j i j i
h h h h h
, 1 , 1 1 , 1 , 4
1
, + +
+ + + = (1.1.9)
Los nodos en la frontera requieren atencin especial para acomodar las condiciones
de frontera. Una posible condicin de frontera es la condicin de Dirichlet (1.1.2), la cual
establece que el nivel del agua subterrnea sea el especificado a lo largo de parte de la
frontera. En este caso sta se prescribe a priori y ya no es una incgnita.

En un nodo de una frontera impermeable, a lo largo de la cual una condicin de
frontera de Neumann (1.1.3) es aplicada, el nivel es una incgnita y la ecuacin para ese
nodo debe reflejar la condicin de no flujo en la frontera.

Para un nodo en una frontera vertical por la izquierda esto puede ser expresado por
la condicin de que h =h . La sustitucin en el algoritmo general nos da:
i-1,j i+1,j

(
1
, , 1 , 1 4
2
i j i j i j i j
h h h h
+ +
= + +
)
1,
(1.1.10)
Un ejemplo simple de una regin rectangular es mostrada en la figura 1.3. A lo
largo del lmite superior el nivel se especifica como 100. En la esquina inferior izquierda
es especificado el nivel cero. La estimacin inicial para los nodos con valor desconocido se
considera con el valor promedio de 50.
2
En la primera parte de la figura se muestran las condiciones iniciales. Estas no
satisfacen la ecuacin (1.1.9). Son corregidas aplicando la aproximacin en una siguiente
iteracin del programa, y el resultado se muestra en la parte central de la figura. Tampoco
se satisface la ecuacin (1.1.9).
Despus de un nmero dado de iteraciones, en cada una de las cuales todos los
valores son actualizados, la solucin correcta es obtenida y representada en la parte derecha
de la figura.
El mtodo descrito es denominado de relajacin, porque en cada paso los errores
son relajados. En terminologa matemtica el mtodo de relajacin es tambin conocido
como el mtodo de Gauss-Seidel.

Como un ejemplo, el programa BV9-1 puede ser utilizado para resolver el problema
ilustrado en la figura 1.4. En esa figura las condiciones de frontera son un nivel prescrito de
h = 1, a lo largo de las fronteras superior y derecha y un nivel dado de h = 0, en la esquina
inferior izquierda.

El programa inicia preguntando el nmero de lineas en las direcciones x e y; aqu el
nmero 6 debe ser dado. A continuacin el programa pregunta las coordenadas x de las
lneas verticales; ese debe responder 0, 1, 2, 4, 8, 16, sucesivamente. Para las coordenadas
en y, la respuesta debe ser la misma secuencia. A continuacin las condiciones de frontera
deben ser dadas. Para el caso de la figura 1.4 existen 12 nodos que especificar; por
ejemplo, para i=1, j=1: h=0, para i=6, j=6: h=1, etc.

Los datos de salida para 36 iteraciones para los nodos en la frontera impermeable
son:
h = 0.000, 0.363, 0.530, 0.686, 0.839, 1.000.


3
1.2. Flujo no estable.

La ecuacin diferencial parcial bsica para flujo no estable en un acufero
homogneo e isotrpico, con la posibilidad de suministro de agua por infiltracin, puede
ser escrita como:
I
y
h
x
h
T
t
h
S +

+ =
2
2
2
2

(l.2.l)
donde I es una funcin fuente, representando la infiltracin (negativa para
evapotranspiracin). T es la transmisividad y S es el almacenamiento. La formulacin
completa requiere especificar condiciones de frontera e iniciales como en el caso de flujo
estable. En parte de la frontera el nivel es dado y en el resto es impermeable, esto es,
(1.2.2)
en S h f
1
: , =
en S Q T
h
n
n 2
0 : = =

(1.2.3)
Las condiciones iniciales son:
(1.2.4) t h = = 0
0
: h
donde, es una funcin conocida, especificada a travs de todo el dominio R.
0
h
La derivada en el tiempo es aproximada por una diferencia finita hacia adelante,
porque el problema es predecir los valores futuros de los niveles a partir de los valores
iniciales. Por lo tanto, se introduce la aproximacin:

h
t
h h
t
i j i j
=

,
0

,
(1.2.5)
donde delta t es la magnitud del paso de tiempo y h' es el valor del nivel al final del
paso de tiempo.


1.2.1. Mtodo explcito.

La opcin de aproximacin ms simple de las derivadas espaciales es asumir que en
(l.l.8) todos los valores de niveles se consideran en el inicio del tiempo. Despus de la
sustitucin de varias aproximaciones en (1.2.1) se obtiene
( ) ( )
0
,
0
1 ,
0
1 ,
0
,
0
, 1
0
, 1
0
, ,
2 2 /
j i j i j i j i j i j i j i j i
h h h h h h S t I h h + + + + + =
+ +
(1.2.6)
donde las constantes se definen por:
( ) [ ]
2
/ x S t T = (l.2.7)
( ) [ ]
2
/ y S t T = (l.2.8)
La ecuacin (1.2.6) expresa el nuevo valor del nivel en trminos de valores iniciales
en ese nodo y en sus vecinos inmediatos. Como todos estos valores son conocidos el
proceso es llamado explcito.

El programa BV9-2 se puede usar considerando el ejemplo de una regin cuadrada
de dimensiones l00 m. por l00 m., teniendo una transmisividad T = 10 m/d, un
4
almacenamiento S = 0.4 y una infiltracin de 0.001 m/d. Para este caso el programa
propone un paso de tiempo de un da.

Una posible malla para el problema se muestra en la parte izquierda de la figura l.5.
El orden en el cual los datos deben ser introducidos es: 100, 10, 100, 10, 0, 0.001, 10, 0.4,
1, 100. El resultado para el nivel en el centro como funcin del tiempo se muestra en la
parte derecha de la figura.

l.2.2. Mtodo implcito.

Como una aproximacin alternativa, podemos tomar la derivada espacial al final del
paso de tiempo, a la mitad del paso de tiempo, o en general, en algn punto intermedio:
(l.2.9) ( )
j i j i j i
h h h
,
0
, ,
1 + =
donde es un parmetro de interpolacin de valor entre 0 y 1. Cuando = 0 el valor
de h
i,j
equivale al valor al final del paso del tiempo, h'
i,j
. En ese caso la aproximacin de
la ecuacin bsica (l.2.l) es:
( ) ( )
j i j i j i j i j i j i j i j i
h h h h h h S t I h h
, 1 , 1 , , , 1 , 1
0
, ,
2 2 / + + + + + =
+ +
(1.2.10)
Esta es la ecuacin para el mtodo completamente implcito. El uso del mtodo
iterativo de Gauss-Seidel, sugiere que se puede utilizar para formular la ecuacin en la
forma:
( ) ( ) [ ] ( ) 2 2 1 / /
1 , 1 , , 1 , 1
0
, ,
+ + + + + + + =
+ + j i j i j i j i j i j i
h h h h S t I h h (l.2.11)

El proceso iterativo definido por el algoritmo (1.2.11) produce un nmero de
clculos por paso de tiempo mayores comparados con el mtodo explcito. Sin embargo,
esto es balanceado por el hecho de que el proceso es estable para todos los tamaos del
paso de tiempo. As, stos pueden ser ms largos cuando el proceso se hace ms lento.

El programa BV9-3 realiza los clculos para el mtodo completamente implcito.
Para resolver el problema ilustrado en la figura 1.5, los datos de entrada deben ser: 100, 10,
100, 10, 0, 0.001, 10, 0.4, 1, 10, 20, 1.5, si el nmero de iteraciones en cada paso de tiempo
es 20 y el factor de relajacin es l.5.

Si en lugar de tomar = 0, se toma = 1/2, resultar una formulacin ms exacta
conocida como el Esquema Crank-Nicholson, sta es muy exacta e incondicionalmente
estable. El mtodo completamente implcito tiene la importante ventaja de que tambin
puede ser usado para estudiar problemas de flujo estable.
5
1.3 Convergencia y Estabilidad

1.3.1 Convergencia

La condicin de convergencia es difcil de verificar, ya que esta condicin establece
que la solucin de la ecuacin numrica se aproxima a la solucin con ecuacin diferencial
parcial original si todos los intervalos finitos tienden a cero. Esto puede ser demostrado en
forma general en algunos casos simples, como los problemas en una dimensin, para los
cuales la solucin numrica puede ser expresada en forma cerrada. En muchas aplicaciones
en la prctica de ingeniera, es imposible probar la convergencia en forma rigurosa. De all
que es usualmente considerado suficiente si el procedimiento numrico ha sido verificado
con respecto a una variedad de soluciones analticas.

1.3.2 Estabilidad

Una condicin necesaria para la convergencia es que los errores, por ejemplo los
debidos al redondeo, no se incrementen con en tiempo. Esta es la llamada la condicin de
estabilidad. Es una condicin tan importante que implica ciertas restricciones al tamao del
paso de tiempo en un proceso explcito.

El primer caso a considerar es el mtodo explcito para problemas de flujo inestable
descrito en (1.2.6),
( ) ( )
0
,
0
1 ,
0
1 ,
0
,
0
, 1
0
, 1
0
, ,
2 2 /
j i j i j i j i j i j i j i j i
h h h h h h S t I h h + + + + + =
+ +
(1.3.1)
donde las y se definen por:
( ) [ ]
2
/ x S t T = (l.3.2)
( ) [ ]
2
/ y S t T = (l.3.3)
Como el sistema de ecuaciones es lineal, es suficiente investigar la propagacin de
la distribucin del error, considerado como la desviacin de la solucin particular h = 0 de
la ecuacin homognea (con I = 0). Para acentuar el efecto se asume que en cierto tiempo
los errores son:
= = = = =
+ +
0
.
0
1 .
0
1 .
0
. 1
0
. 1
,
j i j i j i j i j i
h h h h h
de (1.3.1), (l.3.4) ( . 4 4 1
,
=
j i
h )
Para que los errores no crezcan, este resultado debe ser menor que , y mayor que -
. De otra manera cada error ser mayor que el previo y crecer sin lmite en el tiempo. Con
(1.3.2) y (1.3.3) esto conduce a la siguiente condicin para el valor del paso de tiempo t

( ) ( )
( ) ( )
.
2
1
0
2 2
2 2
y x
y x
T
S
t
+

< < (l.3.5)
6

El proceso implcito presentado en la seccin 1.2 es incondicionalmente estable, lo
cual significa que para todos los valores (positivos) del paso de tiempo, los errores se
disiparn con el tiempo. Esto puede ser demostrado probando que la amplitud de cualquier
componente de una serie de Fourier decrecer con el tiempo. El caso Ms simple es el del
equivalente en una dimensin de la ecuacin (1.2.10), en ausencia de infiltracin,
( )
j i j i j i j i j i
h h h h h
, , 1 , 1
0
, ,
2 + + =
+
(l.3.6)
Ahora considrese un componente del error, el cual puede ser descrito por
(l.3.7) ( ) ( x i B h x i A h exp , exp
0
= = )
donde es la frecuencia de esta componente de la representacin en series de Fourier del
error, A es su amplitud inicial, y B es su amplitud despus del paso de tiempo.
Substituyendo (1.3.7) en (1.3.6) nos da
( [ . cos 1 2 1 x
B
A
+ = )] (l.3.8)
Este cociente es siempre mayor que 1, para todos los valores de la frecuencia o de
la dimensin de tiempo , sin dimensiones. De aqu podemos concluir que el proceso es
siempre estable.

El criterio de estabilidad (1.3.5) ha sido incorporado en el programa BV9-2, donde
es usado para sugerir al usuario un valor para el paso de tiempo. En el programa BV9-3, es
usado para sugerir un valor para el primer paso de tiempo.



7





8





9