Esquemas de solucin numrica se conocen como ser explcito o implcito a menudo.

Cuando un clculo directo de las variables dependientes se puede hacer en trminos de cantidades conocidas, el clculo se dice que es explcita. Cuando las variables dependientes se definen por conjuntos de ecuaciones acopladas, y se necesita ya sea una matriz o una tcnica iterativa para obtener la solucin, se dice que el mtodo numrico para ser implcita. En dinmica de fluidos computacional, las ecuaciones que rigen son no lineales, y el nmero de variables desconocidas es normalmente muy grande. En estas condiciones ecuaciones formuladas implcitamente casi siempre se resuelven usando tcnicas iterativas. Las iteraciones se utilizan para avanzar en una solucin a travs de una secuencia de pasos de un estado inicial a un estado final, convergente. Esto es cierto si la solucin buscada es ya sea un paso en un problema transitorio o un resultado final en estado estacionario. En cualquiera de los casos, las etapas de iteracin se asemejan a un proceso de tiempo-como. Por supuesto, las etapas de iteracin generalmente no corresponden a un comportamiento dependiente del tiempo realista. De hecho, ste es el aspecto de un mtodo implcito que hace que sea atractivo para los clculos de estado estable, debido a que el nmero de iteraciones necesarias para una solucin es a menudo mucho ms pequeo que el nmero de pasos de tiempo necesarios para un transitorio precisa que se acerca asintticamente condiciones estables . Por otro lado, tambin es esta caracterstica "distorsionada transitoria" que lleva a la pregunta: "Cules son las consecuencias de la utilizacin implcita frente a un mtodo de solucin explcita para un problema que depende del tiempo?" La respuesta a esta pregunta tiene dos partes. La primera parte tiene que ver con la estabilidad numrica y la segunda parte con una precisin numrica. El problema de estabilidad La razn principal para el uso de mtodos de solucin implcitas, que son ms complejos de programar y requieren ms esfuerzo computacional en cada paso de la solucin, es para permitir que para grandes tamaos de paso de tiempo. Un modelo cualitativo sencilla ayudar a ilustrar cmo funciona esto. Sea Q una cantidad cuyo valor Qn +1 queremos calcular en el momento t = (n +1) dt, en trminos de su valor en el tiempo t = ndt, es decir, Qn +1 = Qn + dts, donde S es la tasa de cambio en Q. En un mtodo numrico explcito S podra ser evaluado en trminos de cantidades conocidas en la poca anterior paso n. Un mtodo implcito, por el contrario, sera evaluar algunos o la totalidad de los trminos en S en trminos de cantidades desconocidas en el nuevo paso de tiempo n +1. Dado que las nuevas cantidades aparecen tanto en el lado izquierdo y derecho de la ecuacin Q-, que se dice que es una definicin implcita de los nuevos valores de n 1. Por lo general, una matriz o solucin iterativa deben ser utilizados para calcular las nuevas cantidades. La estabilidad numrica tiene que ver con el comportamiento de la solucin a medida que aumenta el tiempo dt-paso. Si la solucin se mantiene de buen comportamiento para arbitrariamente grandes valores del paso de tiempo, se dice que el mtodo es incondicionalmente estable. Esta situacin no se produce con mtodos explcitos, que siempre son condicionalmente estable. Es fcil de ver esto dividiendo la ecuacin Q-por dt y luego dejar enfoque dt infinito. En este lmite no hay n +1 trminos restantes en la ecuacin de lo que no existe ninguna solucin para Qn 1, lo que indica que debe haber algn lmite en el tamao del paso de tiempo para que exista una solucin.

En una formulacin implcita, se puede obtener una solucin para las incgnitas en el nuevo tiempo de la etapa n +1 para cualquier tamao de paso de tiempo. Por supuesto, la solucin para muy grandes veces no puede ser realista a menos que la formulacin implcita ha sido cuidadosamente construida. Una solucin tpica iterativo para Qn 1 se construye mediante el clculo de la iteracin k 1 en trminos del valor de iteracin k-simo, donde se toma la primera iteracin para ser igual a Qn. La ecuacin para Qk 1 es a menudo una aproximacin de Newton (o aproximacin similar) que tiene la forma Qk Qk = 1 + A (Qn-Qk + dtSk). En esta expresin A es un factor de relajacin, y Sk es una aproximacin a S evaluado en trminos de la k-sima iteracin. Si A se elige correctamente, iteraciones sucesivas llamados a converger a Qn +1. El coeficiente de relajacin A debe tener la forma A = 1 / (1 + CDT) con el fin de asegurar los lmites apropiados en valores pequeos y grandes de dt. Es decir, en muy pequeos tamaos de paso de tiempo se recupera la ecuacin explcita, mientras que en tamaos muy grandes de tiempo a paso la ecuacin tiene un valor lmite independiente de dt. La cantidad de C debe ser un coeficiente positivo caracterizacin de todos los trminos en la ecuacin original (es decir, en S) que se han aproximado implcitamente. Por ejemplo, si Q es un componente de la velocidad gobernada por una ecuacin de momento con trminos viscosos implcitas, entonces C sera proporcional a la viscosidad cinemtica dividido por el cuadrado del tamao de la cuadrcula. La cuestin Precisin Cuando dt es suficientemente pequeo, slo una iteracin es necesario para la convergencia, lo que conduce a Qn 1 = Qn + dt / (1 + Cdt) Sn. Esto demuestra que la formulacin implcita aade un cambio ms pequeo a Q en un paso de tiempo de lo que ocurrira en un mtodo explcito por el factor de relajacin bajo-A = 1 / (1 + Cdt) que multiplica el paso de tiempo. Como regla general, se puede demostrar que la condicin Cdt 1 es casi equivalente a la condicin de estabilidad para una aproximacin explcita. Otra regla general es que los tamaos de paso de tiempo para la estabilidad y la precisin explcita son por lo general equivalente. Por lo tanto, cuando Cdt> 1, un mtodo explcito sera inestable, pero los mtodos implcitos simplemente bajo-relajarse ms para mantener la estabilidad de la solucin iterativa. Es este aumento de amortiguacin, con el aumento en el tamao de paso de tiempo, que produce inexactitudes en comportamiento transitorio. Para un mtodo implcito para tener un mnimo de bajo-relajacin (es decir, poca amortiguacin), un tamao de paso de tiempo mucho menor que el, valor explcito estable tendra que ser utilizado. De hecho, de acuerdo con el anlisis anterior, en el lmite de estabilidad explcita Cdt = 1 a la aproximacin implcita todava tiene un factor de bajo-relajacin significativa de A = 1/2. Para reducir este bajo-relajacin amortiguar el tamao de paso de tiempo tendra que ser mucho ms pequeo que el lmite de estabilidad explcita, pero esto tiene poco sentido ya que no se requiere un mtodo implcito. Un ejemplo fsico Un problema fsico elemental que implica la propagacin de una onda de presin se puede utilizar para ilustrar las diferencias entre los mtodos implcitos y explcitos. Imagnese un aumento de la presin se aplica a un extremo de un tubo de rgano que est cerrado en el extremo opuesto. Sabemos que una onda de presin se mover hacia abajo de la tubera y se refleja en el extremo cerrado. Dado el tiempo suficiente, las ondas de presin se desplazarn hacia atrs y adelante en el tubo varias veces antes de que la distribucin de la presin se establece con el valor constante aplicada en el extremo abierto. Si se desean slo los resultados de estado estable, a continuacin, un esquema de solucin implcita con una gran cantidad de amortiguacin de las ondas de presin se debe utilizar de manera que las condiciones de

rgimen se puede llegar lo ms rpidamente posible. En este caso la amortiguacin incorporados en el mtodo de iteracin implcita (es decir, el bajo-relajacin) es altamente deseable. Si, en cambio, las ondas de presin transitorios son para ser investigado, a continuacin, queremos que la menor cantidad de amortiguacin numricos para que muchas reflexiones de la onda se pueden seguir con precisin. Esta situacin se trata mejor con un mtodo de solucin explcita. Mtodos explcitas requieren un tamao de paso de tiempo que limita el avance de la etapa de presin a menos de una clula computacional por paso de tiempo. Sin embargo, esta restriccin est relacionada con precisin porque la mayora de las ecuaciones en diferencias implican cantidades a partir de las clulas vecinas slo. Una onda de presin que se propaga ms all de una clula en un paso de tiempo sera entonces estar en movimiento en regiones que no tienen una influencia definida sobre la presin. Esto no slo es fsicamente poco realista, sino que tambin conduce a la inestabilidad numrica. Mtodos implcitos, por otro lado, par todas las clulas juntos a travs de una solucin que permite que las seales de presin que se transmiten a travs de una rejilla iterativos. El precio de esta comunicacin entre las clulas del yacimiento lejano es una amortiguacin o alisado de las ondas de presin introducidos por los menores de relajacin necesaria para resolver las ecuaciones acopladas. La eleccin de si un mtodo implcito frente explcita se debe utilizar depende en ltima instancia el objetivo de la computacin. Cuando exactitud el tiempo es importante, mtodos explcitos producen una mayor precisin con menos esfuerzo computacional que los mtodos implcitos. Por esta razn, el flujo-3D utiliza tcnicas explcitas siempre que sea posible, pero las opciones implcitas estn disponibles cuando se necesitan.