EL MTODO DE DIFERENCIAS FINITAS

POR GUILLERMO HERNNDEZ GARCA

1. El Mtodo de Diferencias Finitas

El Mtodo consiste en una aproximacin de las derivadas parciales por expresiones algebraicas con 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, en trminos de los valores de la variable dependiente en puntos seleccionados. El valor de los puntos seleccionados se convierten en las incgnitas. El sistema de ecuaciones algebraicas debe ser resuelto y puede llevar un nmero largo de operaciones aritmticas.

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, el flujo es descrito por la ecuacin de Laplace: 2h 2h (1.1.1) 2 0 2 x y Esta ecuacin debe ser satisfecha en todos los puntos 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) enS1 h f
(1.1.3) en S 2 h Qn T 0 n

1.1. Flujo Estable

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 hi,j, donde i indica la posicin de una lnea vertical de la retcula (la columna), y j la lnea horizontal de la retcula (el rengln).

1.1. Flujo Estable

En general, la aproximacin de la primera derivada con respecto a x de una funcin F(x,y), es dada por: (1.1.4) F F x x, y F x, y
x x

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: F F x, y F x x, y (1.1.5)
x x

1.1. Flujo Estable

Existen pequeas diferencias entre las dos aproximaciones. La diferencia finita central es a menudo ms exacta: 1 x , y F x F F x 1 2 2 x, y (1.1.6) x x La segunda derivada es la derivada de la primera derivada; y si utilizamos una aproximacin de diferencia finita central, obtendremos: 2 F F x x, y 2 F ( x, y ) F x x, y (1.1.7) 2 2
x

Fi 1, j 2 Fi , j Fi 1, j

x 2

1.1. Flujo Estable

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.

1.1. Flujo Estable

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 h 2 h hi , j 1 hi , j 1 4hi , j hi 1, j hi 1, j 2 2 (1.1.8) x y 2 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: hi , j 1 (1.1.9) 4 hi , j 1 hi , j 1 hi 1, j hi 1, j

1.1. Flujo Estable

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.

1.1. Flujo Estable

Para un nodo en una frontera vertical por la izquierda esto puede ser expresado por la condicin de que h i-1,j=h i+1,j. La sustitucin en el algoritmo general nos da: hi , j 1 (1.1.10) 4 hi , j 1 hi , j 1 2hi 1, j 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.

1.1. Flujo Estable

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

1.1. Flujo Estable

Figura 1.3 Ejemplo del mtodo de diferencias finitas