You are on page 1of 6

1.

1 Mtodos numricos de solucin de EDP: malleo y


driscretizacion, Diferencias finitas para EDP elpticas y
diferencias finitas acoplada a mtodos de Rungekutta para
EDP parablicas.

El proceso de obtencin de la solucin computacional consiste en 2 pasos que se


pueden esquematizar como muestra la figura 2.1

Figura 2.1

Esquema de proceso de resolucin de una EDP.

En el primer paso las ecuaciones que gobiernan el proceso de interes, as como


las condiciones de borde, son convertidas a un sistema discreto de ecuaciones
algebraicas; este proceso se denomina discretizacin. Al reemplazar los trminos
diferenciales individuales de la EDPs por expresiones algebraicas que conectan
valores en nodos de una red finita se introduce un error de truncamiento. En este
captulo veremos cmo elegir expresiones algebraicas que produzcan los menores
errores.

El segundo paso requiere de un mtodo de resolucin del sistema de ecuaciones


algebraicas. Este paso tambin puede introducir un error (de solucin) pero es
generalmente despreciable comparado con el error de truncamiento introducido
durante la discretizacin, a menos que el mtodo sea inestable. En los prximos
captulos discutiremos mtodos apropiados para resolver sistemas de ecuaciones
algebraicos.
2.1 Discretizacin

Hay varios mtodos para convertir las ecuaciones en derivadas parciales a un


sistema de ecuaciones algebraicas. Los ms comunes son el mtodo de
diferencias finitas, mtodo de elementos finitos y el mtodo espectral. En la
prctica las derivadas temporales son discretizadas casi exclusivamente usando el
mtodo de diferencias finitas. Las derivadas espaciales son discretizadas usando
diferencias finitas, elementos finitos o usando el mtodo espectral.

La discretizacin se puede dividir en dos categoras: una forma, que da lugar a los
mtodos de diferencias finitas, es representar la funcin por su valor en un
conjunto discreto de puntos de grilla. La otra forma es el mtodo de los residuos
pesados (WRM por su sigla en ingls). Este mtodo es conceptualmente diferente
del mtodo de diferencias finitas pues asume que la solucin puede ser
representada por un conjunto de funciones de prueba. Cuando el conjunto de
funciones de prueba forma un conjunto ortogonal esta discretizacin da lugar al
mtodo espectral. Cuando las funciones de prueba son diferentes de cero
solamente en una pequea parte del dominio este mtodo da lugar al mtodo de
elementos finitos. Tcnicas hbridas usando ambos tipos de discretizacin tambin
existen, por ejemplo el mtodo pseudo-espectral.

Primero describiremos la formulacin general del mtodo de residuos pesados de


forma de demostrar la conexin entre elementos finitos y el mtodo espectral. El
primer paso de un WRM es asumir una solucin aproximada de la forma

T x , y ,z,t =T0 x , y ,z ,tj=1Jajt j x , y ,z (2.1)

donde T0 se elige para satisfacer las condiciones de borde e iniciales. Las


funciones de prueba, o base, j x , y ,z son conocidas. Los coeficientes aj(t)
son desconocidos y deben ser determinados resolviendo el sistema de ecuaciones
generado de las EDPs.

Se asume que la ecuacin puede ser escrita de la forma

L(T*)=0 (2.2)

donde T* es la solucin exacta. Si se sustituye la solucin aproximada 2.1 en 2.2


habr un residuo R, de tal forma que la ecuacin queda

L(T)=R (2.3)
R es una funcin continua de x,y,z y de t en el caso general. Si J es lo
suficientemente grande es posible en principio elegir los coeficientes aj(t) de tal
forma que R sea pequeo en el dominio computacional. Los coeficientes aj(t) se
determinan requiriendo que la integral del residuo pesado en el dominio
computacional sea cero, o sea

W m x , y ,zRdxdydz=0 (2.4)

m=1...M, lo cual resulta en un sistema de ecuaciones para los aj(t). Diferentes


elecciones de las funciones Wm da lugar a diferentes mtodos de residuos
pesados. El ms usual es el Mtodo de Galerkin

Mtodo de diferencias finitas

En esta seccin ilustraremos el mtodo de discretizacin por diferencias finitas


considerando la ecuacin de difusin en 1D. T / t = 2T/ x2 0 x 1

Condiciones de borde: T 0,t =b , T 1,t =d

Condiciones iniciales: T x ,0=T0 x, 0x1(2.5)

Para discretizar es necesario primero definir una grilla. La figura 2.3 muestra una
grilla en el espacio x-t. Los pasos t y x y el significado del subndice j y
superndice n estn indicados en la figura y Tnj es el valor de T en el nodo (j,n).

El primer paso en desarrollar un algoritmo para calcular valores de T que aparecen


en (2.5) es expresar las derivadas temporales y espaciales de T en el nodo (j,n) en
trmino de los valores de T en los nodos cercanos. Para ello se usan series de
Taylor. Estas series pueden ser truncadas en cualquier punto; el error de
truncamiento resultante est dominado por el siguiente trmino en la expansin si
x<<1 o t<<1.

Mtodos de RungeKutta de orden dos

Este mtodo se basa en la ecuacin integral asociada al problema de condiciones


iniciales

y0= f(t,y), y(t0) = y0,

que se construye de la siguiente manera. Como y(t;t0,y0) es solucin

y(t;t0,y0)y(t0;t0,y0) = y(t;t0,y0)y0=Z tt0y(s;t0,y0)ds =Z tt0f(s,y(s;t0,y0))ds.


Entonces, dicha funcin puede calcularse a partir de la ecuacin integral

y(t)y0=Z tt0f(s,y(s))ds.

Los mtodos de RungeKutta se basan en obtener aproximaciones de la integral

Z tt0f(s,y(s))ds

mediante algn mtodo de integracin numrica apropiado. A modo de primer


ejemplo, supongamos que dicha integral se aproxima mediante el mtodo del
trapecio, esto es

Z tft0f(s,y(s))ds h2[f(t0,y(t0)) +f(tf,y(tf))],siendo h = tft0. El valorf(t0,y(t0)) =


f(t0,y0) es conocido. Sin embargo f(t

f,y(tf)) es desconocido dado que y(tf) = y(tf;t0,y0) es precisamente el valor que


tenemos que aproximar mediante elmtodo. Para obtener un valor aproximado de
dicho valor para poder aplicar el mtodo, obtenemos ste por un algoritmo de los
estudiados anteriormente para tamao de paso h, por ejemplo

y1= y0+hf(t0,y0),

que es el mtodo de Euler. Entonces

y1= y0+h2[f(t0,y0) +f(tf,y1)],

ser la aproximacin de y(tf;t0,y0) que buscbamos.

En general, un mtodo de RungeKutta explcito de m etapas es de la forma

Dnde:
Siendo :

APLICACIN

Modelos de la qumica descritos por una ecuacin

1.4.1 Descomposicin radioactiva

Consideremos un istopo radioactivo del cual tenemos una cantidad y(t) que vara
con el tiempo

t. Una sustancia radioactiva tiende a descomponerse con el tiempo formando


nuevas sustancias y liberando a su vez una gran cantidad de energa. Se ha
comprobado experimentalmente que la velocidad con que una sustancia
radioactiva se descompone es directamente proporcional a la cantidad de
sustancia existente en dicho instante, es decir, satisface la ecuacin diferencial

y0= Ky

donde K es una constante que depende de la sustancia considerada. Esta


ecuacin es de variables separadas, y proporciona las soluciones

y(t) = CeKt

con C la constante proveniente de la integracin.

Se dene la vida media de una sustancia radioactiva tm, como el tiempo necesario
para que unacantidad de dicha sustancia se reduzca a la mitad. Si tenemos una
cantidad inicial de una sustancia N0, su vida media puede calcularse resolviendo
primero el problema de condiciones iniciales

Que proporciona la solucin

Y posteriormente la ecuacin
Con lo que la vida media es

Como podemos observar, la vida media de la sustancia depende de la constante


K, que es intrnseca de cada sustancia.

You might also like