M etodo de vol umenes nitos.

Ecuaci on de difusi on unidimensional

1. Introducci on

El m etodo de vol umenes nitos es un procedimiento de discretizaci on en el que se recorre el camino inverso al utilizado en la obtenci on de las ecuaciones diferenciales de transporte. En estas se parte de las relaciones integrales en un volumen uido (nito), obteni endose las relaciones para una part cula uida al reducir el volumen de integraci on hasta el asociado a esta (innitesimal). El m etodo de vol umenes nitos recorre el sentido deductivo contrario obteniendo balances nitos a partir de los asociados a part culas innitesimales. Para ello integra la ecuaci on diferencial original sobre un volumen nito, es decir, un trozo de intervalo (1D), supercie (2D) o volumen (3D) cuya forma concreta depende de la malla y del sistema coordenado que se est e empleando. Independientemente de la dimensionalidad del problema se sigue hablando de vol umenes nitos cuando uno se reere a los trozos en los que se ha subdividido el dominio. Lo que se acaba teniendo es un balance [entrada+aportaci on() salida] en cada una de las zonas discretas en las que se ha subdividido el dominio global. De aqu que el proceso comience con la decisi on sobre el troceado del dominio, es decir, n umero, tama no, y ratio de expansi on/contracci on de los vol umenes de discretizaci on. Despu es de la integraci on el procedimiento postula variaciones internodales de la soluci on que permiten sustituir las derivadas por relaciones algebraicas entre valores nodales. La mayor parte de estas notas describen dominios unidimensionales por lo que en este apartado se incidir a particularmente en la disposici on de nodos en dominios-l nea. Se describir a la malla en la que el tama no de vol umenes es constante, x, aunque la generalizaci on a tama no variable no entra na ninguna dicultad, y se trabajar a con la ecuaci on de difusi on de un escalar gen erico , la disposici on de otras variables aparte de los escalares se comentar a posteriormente. Existen dos modos fundamentales de inserci on de nodos en dominios-l nea que dieren en d onde se colocan los nodos despu es del troceado. Si los nodos se colocan en los centros de los trozos se habla de disposici on centrada en las celdas (cell-centered grid), mientras que si se colocan en los puntos de corte se denomina disposici on centrada en los v ertices (cell-vertex grid). La distinci on afecta sobre todo a la imposici on de condiciones de contorno. En la gura se observan las dos disposiciones.

11 00 00 11 00 11 00 11

1 0 0 1 0 1 0 1

11 00 00 11 00 11 00 11

1 0 0 1 0 1 0 1

Figura 1: Distribuci on de nodos en un dominio unidimensional Para describir el proceso de integraci on sobre los vol umenes utilizaremos la disposici on centrada en las celdas. La ecuaci on del escalar es d d =0 (1.1) dx dx siendo el coeciente din amico de difusi on, estrictamente positivo. En ocasiones se utiliza el coeciente cinem atico, , cuya relaci on con el anterior es = . Las unidades de son m2 s1 y las de , kg m1 s1 . 1

Sea un nodo gen erico i colocado en el centro de su volumen correspondiente. La integraci on de la ecuaci on diferencial entre los extremos del intervalo proporciona
i+1/2 i1/2

d dx

d dx

dx =

d dx

i+1/2

d dx

i1/2

= Ji+1/2 + Ji1/2 = 0 = Ji+1/2 = Ji1/2

(1.2)

El ujo difusivo a trav es de las caras del volumen se denota por J , de unidades kg m2 s1 por las unidades de . Si es la fracci on de mezcla de una sustancia, cuyas unidades son kgr de sustancia por kgr de mezcla, el ujo J son kg de sustancia por m2 y por segundo. Colocando un cuadrado imaginario de 1m2 en la interfase entre dos vol umenes consecutivos, J representa los kgr de sustancia que pasan a trav es de ese cuadrado unidad por segundo, debido al mecanismo de difusi on (choques moleculares). La expresi on general del ujo difusivo de una variable gen erica es J = y su particularizaci on en una dimensi on Jx = d on (1.2) establece que en ausencia de dx . La ecuaci fuentes internas el ujo de salida de un volumen ha de ser igual al de entrada. Para nalizar el proceso de discretizaci on deberemos sustituir las derivadas en las caras por relaciones algebraicas entre valores nodales. El modo m as f acil de hacerlo es sustituyendo las derivadas por variaciones por unidad de x, es decir, d dx i+1 i x d dx i i1 x (1.3)

i+1/2

i1/2

y la ecuaci on para el nodo gen erico i es

A i i = Ai+1 i+1 + Ai1 i1

A i =

i1/2 i+1/2 + = A i+1 + Ai1 x x

(1.4)

En la expresi on anterior todos los coecientes son positivos porque el coeciente de difusi on lo es, y el tama no del volumen nito es esencialmente positivo (es decir, xi+1 > xi ). La positividad de los coecientes es una condici on necesaria para que la ecuaci on discretizada reproduzca el comportamiento f sico del proceso de difusi on. Este proceso es multidireccional y normalmente isotr opico, es decir, se propaga en todas las direcciones con la misma velocidad, por lo que cualquier cambio positivo(negativo) en un punto i debe reejarse en cambios positivos(negativos) en los nodos adyacentes. Esta circunstancia s olo se cumple si los coecientes son todos positivos1 . La ecuaci on (1.4) es la asociada al nodo gen erico i, el problema completo contiene tantas ecuaciones como n umero de trozos (vol umenes) de divisi on. Es intuitivo pensar que la precisi on ser a tanto mayor cuanto menor sea el tama no del volumen, algo que se fundamentar a en el pr oximo apartado, por lo que interesar a dividir el dominio en el mayor n umero posible de trozos. El precio a pagar es que la matriz de coecientes del sistema que hay que resolver posteriormente es de tama no nod *nod, siendo nod el n umero total de nodos, por lo que el coste computacional de resoluci on puede elevarse en demas a si nos pasamos en el n umero de nodos. En una o incluso en dos dimensiones es dif cil que el coste no sea asumible, pero en tres dimensiones es m as que probable que tengamos que esperar d as en obtener una soluci on si el n umero de nodos es muy alto. El punto de compromiso se alcanza encontrando la malla con el menor n umero de nodos posible2 que proporciona una soluci on independiente de esta, es decir, una malla en la cual no var a signicativamente la soluci on si el espaciado se reduce. En sucesivos temas se desarrollar a esta idea. 2. Imposici on de condiciones de contorno Un problema sico cuya soluci on conlleva la resoluci on de una ecuaci on diferencial no est a completamente especicado hasta que no se incluyen las condiciones de contorno (c.c.). Existen dos tipos de condiciones de contorno
1O 2 El

todos negativos, pero es m as agradable trabajar con positivos espaciado mayor posible

aplicables a las ecuaciones de convecci on difusi on que vamos a tratar: valor jado o de Dirichlet, y gradiente jado o de VonNewmann. La primera ser a t pica de las entradas de uido en las que hay que especicar los valores de entrada de todas las variables y tambi en de las paredes. La segunda est a asociada habitualmente a las salidas de uido y a los ejes de simetr a. Hay tambi en variables peculiares como la presi on que precisa de condiciones tipo VonNewmann en todos los contornos. En el caso del escalar , puede haber combinaciones de ambos tipos de c.c.. Estudiaremos primero condiciones de tipo Dirichlet en ambos extremos. Sin p erdida de generalidad consideraremos el caso de = ci = 0 a la izquierda del dominio y = cd = 1 a la derecha. Para otro par de valores se denir a una nueva variable = ( ci )/(cd ci ), la ecuaci on diferencial ser a la misma y las c.c. ser an las anteriores. Describiremos el procedimiento a seguir dependiendo de las dos disposiciones de nodos. En la primera necesitamos un nodo extra3 exterior al dominio utilizado para imponer la condici on. La ecuaci on para el nodo 1 ser a
A 1 1 = A2 2 + A0 0

(2.1)

Como el nodo 0 es un nodo cticio no debe aparecer en el sistema de ecuaciones nal. Lo m as sencillo es considerar una dependencia lineal de la soluci on en el entorno del contorno izquierdo, de ese modo 0 + 1 = ci 2 y la ecuaci on queda
(A 1 + A0 )1 = A2 2 + 2A0 ci

0 = 2ci 1

(2.2)

(2.3)

Del mismo modo se actuar a con el contorno derecho

(A N +1 + AN )N = AN 1 N 1 + 2AN +1 cd

(2.4)

El efecto de la imposici on de c.c. es la aparici on de t erminos fuente en ambos nodos extremos y el incremento del t ermino de la diagonal en la matriz de coecientes. Este u ltimo efecto es favorecedor de la estabilidad si se necesita utilizar un proceso iterativo en la resoluci on del sistema de ecuaciones. En el caso de la segunda disposici on de nodos el valor de los nodos 0 y N + 1 es conocido por lo que las ecuaciones 1 y N son
A 1 1 = A2 2 + A0 ci A N N = AN 1 N 1 + AN +1 cd

(2.5)

Por lo descrito hasta el momento se puede colegir que si las condiciones son del tipo Dirichlet la segunda disposici on da mejores resultados porque no es necesario suponer ning un tipo de dependencia de la soluci on en el entorno del lado derecho, pero la situaci on se invierte si las condiciones a aplicar son del tipo VonNewmann. La comprobaci on se deja al lector. 3. Errores asociados a la discretizaci on En toda la descripci on anterior la u nica hip otesis que se ha adoptado es que la soluci on es lineal entre nodos. Es lo que nos ha permitido sustituir la derivada de en la entrefase por la variaci on unitaria de internodos, sustituci on s olo exacta si la soluci on es una l nea recta. Si es constante el procedimiento funcionar a bien porque la soluci on exacta es una l nea recta, pero si es variable hay que estimar el error que se comete al suponer linealidad donde
3 En

ocasiones se denomina nodo fantasma (ghost node)

no la hay. Uno de los procedimientos m as extendidos para la valoraci on de los errores cometidos es la de la ecuaci on modicada (Warming and Hyett, 1984). La ecuaci on modicada se obtiene desarrollando en serie de Taylor los valores de en la ecuaci on discretizada en torno al nodo i. De tal modo que x (x)2 |i+1/2 + 2 8 x (x)2 |i+1/2 + i = i+1/2 2 8 x (x)2 i1 = i1/2 |i1/2 + 2 8 x (x)2 i = i1/2 + |i1/2 + 2 8 i+1 = i+1/2 + (x)3 48 (x)3 |i+1/2 48 (x)3 |i1/2 48 (x)3 |i1/2 + 48 |i+1/2 + (x)4 IV |i+1/2 + 384 (x)4 IV |i+1/2 |i+1/2 + 384 (x)4 IV |i1/2 |i1/2 + 384 (x)4 IV |i1/2 + |i1/2 + 384 |i+1/2 + (x)5 V |i+1/2 + O(x6 ) 3840 (x)5 V |i+1/2 + O(x6 ) 3840 (x)5 V |i1/2 + O(x6 ) 3840 (x)5 V |i1/2 + O(x6 ) (3.1) 3840

Las diferencias entre valores nodales ser an i+1 i (x)2 = |i+1/2 + |i+1/2 + x 24 i i1 (x)2 = |i1/2 + |i1/2 + x 24 Sustituyendo en la ecuaci on discretizada se tiene i+1 i i i1 i1/2 = x x = i+1/2 |i+1/2 i1/2 |i1/2 + i+1/2 + (x)4 (x)2 i+1/2 |i+1/2 i1/2 |i1/2 + i+1/2 V |i+1/2 i1/2 V |i1/2 + O(x6 ) (3.3) 24 1920 (x)4 V |i+1/2 + O(x6 ) 1920 (x)4 V |i1/2 + O(x6 ) 1920

(3.2)

El error cometido son todos los t erminos que est an en la u ltima l nea ya que la ecuaci on que se deber a resolver es i+1/2 |i+1/2 i1/2 |i1/2 = 0 y la que realmente se est a resolviendo es i+1/2 |i+1/2 i1/2 |i1/2 + + (x)4 (x)2 i+1/2 |i+1/2 i1/2 |i1/2 + i+1/2 V |i+1/2 i1/2 V |i1/2 + O(x6 ) = 0(3.5) 24 1920 (3.4)

La ecuaci on anterior se denomina ecuaci on modicada y la diferencia entre esta y la ecuaci on original son los llamados errores de discretizaci on. La ecuaci on modicada tambi en puede emplearse para la determinaci on de la ecuaci on de transporte del error. Llamemos a la soluci on exacta que cumple la ecuaci on (3.4), siendo el error e = . Si restamos (3.5) de (3.4) se tiene i+1/2 e |i+1/2 i1/2 e |i1/2 = = (x)4 (x)2 i+1/2 |i+1/2 i1/2 |i1/2 + i+1/2 V |i+1/2 i1/2 V |i1/2 + O(x6 ) (3.6) 24 1920