Mtodos Numricos para la Resolucin de Ecuaciones Diferenciales

Ecuaciones en derivadas parciales

Referencias:
Nakamura - Mtodos numricos aplicados con software)
Hirsh - Numerical computation of internal and external flows. I)
INTRODUCCION
Referencia: Nakamura, pp.407-409
El diferencial total de una funcin diferenciable de varias variables se define por:
du
u
t
dt
u
x
dx
u
y
dy
u
z
dz + + + +

..........
Las ecuaciones diferenciales ordinarias vinculan las derivadas de funciones de una variable. Los mtodos
estudiados para EDOs no son en general aplicables a las ecuaciones en derivadas parciales (EDP).
La solucin numrica de las EDP es toda una disciplina; los problemas de mecnica de los fluidos,
transmisin de calor, clculo de tensiones y deformaciones en slidos, etc. son expresados en trminos
de una EDP.
Las grandes exigencias planteadas al hardware en la resolucin de EDPs ha provocado que los mtodos
y algoritmos traten de explotar al mximo las particularidades del problema.
Por ello, existen textos completos sobre tcnicas particulares, trucos, etc. muy vinculadas al problema
especfico. Esta situacin, que podra interpretarse como negativa, muestra el inters y la vigencia de
las investigaciones sobre el tema.
Del conjunto de todas las posibles EDP, destacan las EDP de segundo orden, por por modelar un grupo
importante de fenmenos. Su forma general es (en el caso bidimensional)
A
x
B
x y
C
y
D
x
E
y
F S

2
2
2 2
2
+ + + + +
Definiciones
Si A,B,C,...S, etc. no son funciones de

la ecuacin se dice lineal.
Complementariamente, la EDP se califica de acuerdo a relaciones entre sus coeficientes,
Si
elptica 0 4
2
< AC B
parablica 0 4
2
AC B
a hiperblic 0 4
2
> AC B
Las EDP elpticas aparecen en problemas estacionarios de transmisin de calor, difusin de partculas o
vibracin de una membrana.
Las ecuaciones parablicas tpicamente resultan de analizar la evolucin temporal de los problemas
mencionados para ecuaciones elpticas, y otros.
Las ecuaciones de tipo hiperblico son comunes en el anlisis de transporte de masa en fluidos,
fenmenos ondulatorios y otros procesos.
2 Ecuaciones en derivadas parciales
APROXIMACIN DE LAS DERIVADAS PARCIALES
Referencia : Hirsh, pp 161-183
Para la solucin de las EDP pueden utilizarse una gran variedad de tcnicas. Entre otras tcnicas pueden
mencionarse, los mtodos de diferencias finitas, los mtodos de elementos finitos, los mtodos de
volmenes finitos, los mtodos espectrales, etc.
Todos ellos tienen defensores y detractores, en algunos casos irreconciliables. En realidad, cada uno de
ellos puede ser el mejor segn la aplicacin que se considere. Por ser el ms sencillo, y no requerir
transformar la EDP, se analizar el mtodo de las diferencias finitas (MDF).
El MDF se basa en propiedades de la expansin en serie de Taylor. Requiere cierta regularidad en la
grilla de trabajo, lo que complica de cierta manera el tratamiento de geometras irregulares.
La idea bsica ya fue presentada. Consiste en aproximar la derivada parcial por cocientes
incrementales.
( ) ( )
x
x u x x u
lim
x
u
u
x
x

+

0

Para x finito, y ( ) x u suficientemente regular

( ) ( )
.....
2
+

+ x
u u
x
x u x x u
xx x
La aproximacin de
x
u se dice de primer orden, y se denota ( ) x 0 si
( ) ( )
( ) x
x
x u x x u
u
x
+

+
0
El uso del cociente incremental no es ms apropiado que otras opciones. Por ejemplo:
( ) ( )
( )
2
0
2
x
x
x x u x x u
u
x
+

Ms en general, y para una funcin definida sobre una red (tambin denominada grilla, retcula, etc.)
uniforme (o sea, con x constante), podra escribirse
( )
x
u c u b au
u
i i i
i x

+ + +

......
2 1
( )
p
x +Error
Supngase que se utilizan slo los primeros tres sumandos.
Desarrollando por Taylor cada una de las expresiones
( ) ( ) ( ) .......
6 2
3 2
1
+

+
i xxx i xx i x i i
u
x
u
x
u x u u
( ) ( ) ( ) .......
3
4
2 2
3 2
2
+ +
i xxx i xx i x i i
u x u x u x u u
( )
( ) ( ) ( ) ( ) ( ) ( )
x
x u
x
b c u x b c u c b a
u
i xx i x i
i x

+ + + + +

3
2
0
2
4 2
Imponiendo a b c + + 0; 2 1 c b + ;
5 . 0 , 2 , 5 . 1 0 4 + c b a b c
( ) ( )
2 2 1
0
2
4 3
x
x
u u u
u
i i i
i x
+

+


En este caso, la bsqueda se orient a una expresin explcita. Podra haberse intentado una expresin
implcita
( ) ( ) ( )
2 1
1
0 2 x
x
u u
u u
i i
i x i x
+

+
+
+
que es de dos puntos y de segundo orden.
Por lo que los valores de ( )
x
u resultan de resolver un sistema, en el cual todos los valores funcionales
de la grilla intervienen.
Con tres puntos, se puede lograr una estimacin de cuarto orden
( ) ( ) ( ) ( )
4 1 1
1 1
0 3 4 x
x
u u
u u u
i i
i x i x i x
+

+ +
+
+
Los esquemas implcitos tienen como ventaja el mayor orden de aproximacin frente a un equivalente
explcito. Como contraparte, exigen resolver un sistema de ecuaciones intermedio. Los esquemas
implcitos tambin son denominados Hermitianos.
ANLISIS DE LOS ESQUEMAS NUMRICOS
Referencia: Hirsch, pp. 265-289.
ECUACIONES PARABLICAS 3
Hasta el momento, se ha insistido en la forma de aproximar al mayor orden posible una ecuacin
diferencial con una ecuacin en diferencias. Ello no garantiza que el resultado sea "aceptable", en un
sentido amplio.Para precisar conceptos, es necesario formular algunas definiciones:
Definiciones
CONSISTENCIA: Un esquema en diferencias se dice consistente si la ecuacin discretizada tiende a la
ecuacin diferencial cuando x ,
y
, t , etc. tienden a cero.
Esto es relativamente fcil de verificar, dado que plantear el desarrollo en serie de Taylor es siempre
posible.
ESTABILIDAD: El esquema se dice estable si la diferencia entre la solucin exacta y la numrica
permanece acotada
n t
, con t fijo, y siendo adems la cota independiente de n.
Es decir,
( ) fijo , t k t n x u u n
i
n
i

Esta condicin garantiza que los errores (por ejemplo, los iniciales) no se amplifican con el tiempo. Es
una condicin para el esquema, y no para la ecuacin diferencial. Ntese que esto es muy parecido a
decir que las soluciones de la EDP homognea son acotadas en el tiempo.
En realidad, lo que interesa asegurar es que la solucin exacta y la aproximada se parezcan; por ello se
define un nuevo concepto, el de convergencia.
CONVERGENCIA: El esquema ser convergente, si
x t ,
(fijos)
( ) t n t x i x t n x i u u
n
i
n i
t
x

+


, para 0 , lim
,
0
0 fijos
Se pueden vincular las dos primeras condiciones con la tercera, mediante el as llamado Teorema de
equivalencia de Lax. "Para un problema de valor inicial well posed con un esquema de discretizacin
consistente, la estabilidad es CN y S para la convergencia".
Por "well posed" se entiende un problema en el cual la solucin en todo punto del dominio depende en
forma continua de las condiciones iniciales y de borde; ello implica que pequeas perturbaciones en
stas, producen pequeas discrepancias en la solucin.
ECUACIONES PARABLICAS
Referencia : Nakamura, pp. 470-478; 482-484.
Son ejemplos de este tipo de ecuacin los fenmenos transitorios de transmisin de calor en slidos, o
de difusin molecular.
La forma ms simple (unidimensional) del problema sera:
( )

,
`

.
|
+
t x der
t x S
x t
,
,
2
2

Se estudiarn a continuacin los esquemas tpicamente aplicados a esta tipo de EDP.
4 Ecuaciones en derivadas parciales
Euler hacia adelante (explcito):
( ) ( )
( )
n i
n i n i
t x der
t
t x t x
,
, ,
1

+

Nota: Se indica con un crculo negro los valores incgnita, y con un crculo blanco los ya conocidos.
Euler hacia atrs (implcito):
( ) ( )
( )
1
1
,
, ,
+
+

n i
n i n i
t x der
t
t x t x
Crank-Nicholson (implcito)
Discretiza en
( )
2
1
,
+ n
i
t x
; es de segundo orden en t
( ) ( )
( ) ( ) [ ]
n i n i
n i n i
t x der t x der
t
t x t x
, ,
2
1 , ,
1
1
+

+
+

En cualquiera de los esquemas, debe justificarse la convergencia. Como ello es dificultoso, se intenta
justificar la estabilidad.
Para ello se puede aplicar el criterio de Von Neumann. El mismo es aplicable a ecuaciones lineales con

; el dominio debe ser no acotado, x =cte. y que los coeficientes de la EDP sean tambin constantes.
En estas hiptesis, si la condicin inicial es combinacin lineal de otras funciones, la solucin de la EDP
ser a su vez combinacin lineal de soluciones.
ECUACIONES PARABLICAS 5
Una descomposicin apropiada es la de series de Fourier (en variable compleja)
P.ej 1 ..... 1
1
1
2 2
< + + + +

e e e
z
mi m i i
Cada sumando de la serie est formado por un N real que multiplica a las funciones base
(denominadas "modos" o "armnicos") ( )
( ) ( )
N
m
ji
N
m
n
m
n
i n i
e E t x

1
,
As, para el m-simo armnico ( )
1 j e
E
N
m
ji
n
m
n
i

Para que el esquema sea estable, todos y cada uno de los modos debe permanecer acotado en el
tiempo, o sea, llamando
( )
( )
E
E
G
n
m
n
m
1 +

se tiene que
( )
( )
N
m
E
E
G
n
m
n
m


+
1
1
G es llamado factor de amplificacin, y es en general, un nmero complejo. G depende de
x t , ,
, etc.
As, por ejemplo, para el esquema de Euler hacia adelante.
( ) ( ) ( ) ( ) ( )
solucin la
a n perturbaci la estudia se pues
homognea, ecuacin la analiza Se
2
2
1 1
1
x t
n
i
n
i
n
i
n
i
n
i

+
+

( ) ( )

i j n
m
n
i
e E
( ) ( )
( )
( ) ( ) ( )
[ ]
( )
t
e E
e
e
e E
x t
e E E
i j n
i j i j i j n
m
i j n n

+
+

por dividiendo ; 2
1 1
2
1
( )
( )
[ ] [ ]

,
`

.
|

+ +

2
2
2 2
1
2
1 cos 2 1 2 1

sen
j j
n
m
n
m
x
t
G e e
x
t
E
E
En este caso, G es real, y cumple

,
`

.
|
1 4 1
2
2 2 1
2 2
2
x
t
x
t
sen G

1 4 1 2 4
2 2

t
x
t
x

t
x
2
1
2
<
Se observa que, an tendiendo a cero, no cualquier combinacin de t , x es admisible; el esquema
converge slo si se cumple la condicin.
El criterio de Von Neumann no es una CN CS. Se podra decir, a los fines prcticos, que se usa como
CN y S, pero hay casos que no la cumplen y sin embargo son convergentes (y no es CS por los efectos
de no linealidad, etc. no considerados).
6 Ecuaciones en derivadas parciales
Para el caso de Euler hacia atrs
( ) ( )
( ) ( ) ( )
[ ]
1
1
1 1
1
2
1
2
+
+
+ +

+
+

n
i
n
i
n
i
n
i
n
i
x t


Nuevamente, se estudia un nico armnico
( ) ( )
( )
( ) ( ) ( )
[ ]


1 1 1
2
1
2
+ +
+
+

i j i j i j n i j
n n
e e e E
x
e
t
E E
;
si de divide entre
( )
t
e E
i j n

resulta:
( )
( )
( )
( )
( )
( )
( )
( ) 1 1 cos 2 1 1 cos 2 1
2
1 1
2
1

]
]
]

+ + +

x
t
E
E
E
E
x
t
E
E
n
n
n
n
n
n
( )
<

1
1 cos 2 1
1
0
2

x
t
G
es
incondicionalmente estable.
Se puede ver que, para Crank-Nicholson,
G
t
x
t
x

+

1 1
1 1
1
2
2

cos
cos
En general, G es un nmero complejo.