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.!"-!#
$l diferencial total de una funci%n diferencia&le de 'arias 'aria&les se define por:
du
u
t
dt
u
x
dx
u
y
dy
u
z
dz + + + +

..........
(as ecuaciones diferenciales ordinarias 'inculan las deri'adas de funciones de una 'aria&le. (os mtodos
estudiados para $)*s no son en +eneral aplica&les a las ecuaciones en deri'adas parciales ,$)-).
(a soluci%n numrica de las $)- es toda una disciplina. los pro&lemas de mec/nica de los fluidos,
transmisi%n de calor, c/lculo de tensiones 0 deformaciones en s%lidos, etc. son expresados en trminos
de una $)-.
(as +randes exi+encias planteadas al hardware en la resoluci%n de $)-s ha pro'ocado 1ue los mtodos
0 al+oritmos traten de explotar al m/ximo las particularidades del pro&lema.
-or ello, existen textos completos so&re tcnicas particulares, trucos, etc. mu0 'inculadas al pro&lema
espec2fico. $sta situaci%n, 1ue podr2a interpretarse como ne+ati'a, muestra el inters 0 la 'i+encia de
las in'esti+aciones so&re el tema.
)el con3unto de todas las posi&les $)-, destacan las $)- de se+undo orden, por por modelar un +rupo
importante de fen%menos. 4u forma +eneral es ,en el caso &idimensional)
A
x
B
x y
C
y
D
x
E
y
F S

2
2
2 2
2
+ + + + +
)efiniciones
4i A,B,C,...S, etc. no son funciones de

la ecuaci%n se dice lineal.
5omplementariamente, la $)- se califica de acuerdo a relaciones entre sus coeficientes,
4i
elptica 0 4
2
< AC B
parablica 0 4
2
AC B
a hiperblic 0 4
2
> AC B
(as $)- el2pticas aparecen en pro&lemas estacionarios de transmisi%n de calor, difusi%n de part2culas o
'i&raci%n de una mem&rana.
(as ecuaciones para&%licas t2picamente resultan de anali6ar la e'oluci%n temporal de los pro&lemas
mencionados para ecuaciones el2pticas, 0 otros.
(as ecuaciones de tipo hiper&%lico son comunes en el an/lisis de transporte de masa en fluidos,
fen%menos ondulatorios 0 otros procesos.
2Error! Utilice la pestaa Inicio para aplicar Heading 1 al texto que desea que aparezca aqu.
APROIMACI!N DE "A# DERI$ADA# PARCIA"E#
Referencia : Hirsh, pp 787-79:
-ara la soluci%n de las $)- pueden utili6arse una +ran 'ariedad de tcnicas. $ntre otras tcnicas pueden
mencionarse, los mtodos de diferencias finitas, los mtodos de elementos finitos, los mtodos de
'ol;menes finitos, los mtodos espectrales, etc.
<odos ellos tienen defensores 0 detractores, en al+unos casos irreconcilia&les. $n realidad, cada uno de
ellos puede ser el me3or se+;n la aplicaci%n 1ue se considere. -or ser el m/s sencillo, 0 no re1uerir
transformar la $)-, se anali6ar/ el mtodo de las diferencias finitas ,M)=).
$l M)= se &asa en propiedades de la expansi%n en serie de <a0lor. Re1uiere cierta re+ularidad en la
+rilla de tra&a3o, lo 1ue complica de cierta manera el tratamiento de +eometr2as irre+ulares.
(a idea &/sica 0a fue presentada. 5onsiste en aproximar la deri'ada parcial por cocientes incrementales.
( ) ( )
x
x u x x u
lim
x
u
u
x
x

+

0

-ara x finito, 0 ( ) x u suficientemente re+ular

( ) ( )
.....
2
+

+ x
u u
x
x u x x u
xx x
(a aproximaci%n de
x
u se dice de primer orden, 0 se denota ( ) x 0 si
( ) ( )
( ) x
x
x u x x u
u
x
+

+
0
$l uso del cociente incremental no es m/s apropiado 1ue otras opciones. -or e3emplo:
( ) ( )
( )
2
0
2
x
x
x x u x x u
u
x
+

M/s en +eneral, 0 para una funci%n definida so&re una red ,tam&in denominada +rilla, ret2cula, etc.)
uniforme ,o sea, con x constante), podr2a escri&irse
( )
x
u c u b au
u
i i i
i x

+ + +

......
2 1
( )
p
x + Error
4up%n+ase 1ue se utili6an s%lo los primeros tres sumandos.
)esarrollando por <a0lor 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
+

+


$n este caso, la &;s1ueda se orient% a una expresi%n expl2cita. -odr2a ha&erse intentado una expresi%n
impl2cita
( ) ( ) ( )
2 1
1
0 2 x
x
u u
u u
i i
i x i x
+

+
+
+
1ue es de dos puntos 0 de se+undo orden.
-or lo 1ue los 'alores de ( )
x
u resultan de resol'er un sistema, en el cual todos los 'alores funcionales
de la +rilla inter'ienen.
5on tres puntos, se puede lo+rar una estimaci%n 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
+

+ +
+
+
(os es1uemas impl2citos tienen como 'enta3a el ma0or orden de aproximaci%n frente a un e1ui'alente
expl2cito. 5omo contraparte, exi+en resol'er un sistema de ecuaciones intermedio. (os es1uemas
impl2citos tam&in son denominados Hermitianos.
AN%"I#I# DE "O# E#&UEMA# NUM'RICO#
Referencia: Hirsch, pp. >8?->9#.
Error! Utilice la pestaa Inicio para aplicar Heading 2 al texto que desea que aparezca aqu.
3
Hasta el momento, se ha insistido en la forma de aproximar al ma0or orden posi&le una ecuaci%n
diferencial con una ecuaci%n en diferencias. $llo no +aranti6a 1ue el resultado sea @acepta&le@, en un
sentido amplio.-ara precisar conceptos, es necesario formular al+unas definiciones:
)efiniciones
CON#I#TENCIA: An es1uema en diferencias se dice consistente si la ecuaci%n discreti6ada tiende a la
ecuaci%n diferencial cuando x ,
y
, t , etc. tienden a cero.
$sto es relati'amente f/cil de 'erificar, dado 1ue plantear el desarrollo en serie de <a0lor es siempre
posi&le.
E#TA(I"IDAD) $l es1uema se dice esta&le si la diferencia entre la soluci%n exacta 0 la numrica
permanece acotada
n t
, con t fi3o, 0 siendo adem/s la cota independiente de n.
$s decir,
( ) fijo , t k t n x u u n
i
n
i

$sta condici%n +aranti6a 1ue los errores ,por e3emplo, los iniciales) no se amplifican con el tiempo. $s
una condici%n para el es1uema, 0 no para la ecuaci%n diferencial. N%tese 1ue esto es mu0 parecido a
decir 1ue las soluciones de la $)- homo+nea son acotadas en el tiempo.
$n realidad, lo 1ue interesa ase+urar es 1ue la soluci%n exacta 0 la aproximada se pare6can. por ello se
define un nue'o concepto, el de con'er+encia.
CON$ER*ENCIA) $l es1uema ser/ con'er+ente, si
x t ,
,fi3os)
( ) t n t x i x t n x i u u
n
i
n i
t
x

+


, para 0 , lim
,
0
0 fi3os
4e pueden 'incular las dos primeras condiciones con la tercera, mediante el as2 llamado <eorema de
e1ui'alencia de (ax. @-ara un pro&lema de 'alor inicial well posed con un es1uema de discreti6aci%n
consistente, la esta&ilidad es 5N 0 4 para la con'er+encia@.
-or @well posed@ se entiende un pro&lema en el cual la soluci%n en todo punto del dominio depende en
forma continua de las condiciones iniciales 0 de &orde. ello implica 1ue pe1ueBas pertur&aciones en
stas, producen pe1ueBas discrepancias en la soluci%n.
ECUACIONE# PARA(!"ICA#
Referencia : Nakamura, pp. "!-"9. 9>-9.
4on e3emplos de este tipo de ecuaci%n los fen%menos transitorios de transmisi%n de calor en s%lidos, o
de difusi%n molecular.
(a forma m/s simple ,unidimensional) del pro&lema ser2a:
( )

,
_

+
t x der
t x S
x t
,
,
2
2

4e estudiar/n a continuaci%n los es1uemas t2picamente aplicados a esta tipo de $)-.
4Error! Utilice la pestaa Inicio para aplicar Heading 1 al texto que desea que aparezca aqu.
Euler +acia adelante ,expl2cito):
( ) ( )
( )
n i
n i n i
t x der
t
t x t x
,
, ,
1

+

Nota: 4e indica con un c2rculo ne+ro los 'alores inc%+nita, 0 con un c2rculo &lanco los 0a conocidos.
Euler +acia atr,s ,impl2cito):
( ) ( )
( )
1
1
,
, ,
+
+

n i
n i n i
t x der
t
t x t x
Cran-.Nic+olson ,impl2cito)
)iscreti6a en
( )
2
1
,
+ n
i
t x
. es de se+undo 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
+

+
+

$n cual1uiera de los es1uemas, de&e 3ustificarse la con'er+encia. 5omo ello es dificultoso, se intenta
3ustificar la esta&ilidad.
-ara ello se puede aplicar el criterio de Con Neumann. $l mismo es aplica&le a ecuaciones lineales con

. el dominio de&e ser no acotado, x Dcte. 0 1ue los coeficientes de la $)- sean tam&in constantes.
$n estas hip%tesis, si la condici%n inicial es com&inaci%n lineal de otras funciones, la soluci%n de la $)-
ser/ a su 'e6 com&inaci%n lineal de soluciones.
Error! Utilice la pestaa Inicio para aplicar Heading 2 al texto que desea que aparezca aqu.
5
Ana descomposici%n apropiada es la de series de =ourier ,en 'aria&le comple3a)
-.e3 1 ..... 1
1
1
2 2
< + + + +

e e e
z
mi m i i
5ada sumando de la serie est/ formado por un NE real 1ue multiplica a las funciones &ase
,denominadas @modos@ o @arm%nicos@) ( )
( ) ( )
N
m
ji
N
m
n
m
n
i n i
e E t x

1
,
Fs2, para el m-simo arm%nico ( )
1 j e
E
N
m
ji
n
m
n
i

-ara 1ue el es1uema sea esta&le, todos 0 cada uno de los modos de&e permanecer acotado en el
tiempo, o sea, llamando
( )
( )
E
E
G
n
m
n
m
1 +

se tiene 1ue
( )
( )
N
m
E
E
G
n
m
n
m


+
1
1
G es llamado factor de amplificaci%n, 0 es en +eneral, un n;mero comple3o. G depende de
x t , ,
, etc.
Fs2, por e3emplo, para el es1uema de $uler hacia adelante.
( ) ( ) ( ) ( ) ( )
solucin la
a n perturbaci la estudia se pues
homo!nea, ecuacin la anali"a #e
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 di$idiendo % 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
$n este caso, G es real, 0 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
<
4e o&ser'a 1ue, a;n tendiendo a cero, no cual1uier com&inaci%n de t , x es admisi&le. el es1uema
con'er+e s%lo si se cumple la condici%n.
$l criterio de Con Neumann no es una 5N % 54. 4e podr2a decir, a los fines pr/cticos, 1ue se usa como
5N 0 4, pero ha0 casos 1ue no la cumplen 0 sin em&ar+o son con'er+entes ,0 no es 54 por los efectos
de no linealidad, etc. no considerados).
6Error! Utilice la pestaa Inicio para aplicar Heading 1 al texto que desea que aparezca aqu.
-ara el caso de $uler hacia atr/s
( ) ( )
( ) ( ) ( )
[ ]
1
1
1 1
1
2
1
2
+
+
+ +

+
+

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


Nue'amente, se estudia un ;nico arm%nico
( ) ( )
( )
( ) ( ) ( )
[ ]


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 di'ide entre
( )
t
e E
i j n

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

1
]
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
esta&le.
4e puede 'er 1ue, para 5rank-Nicholson,
G
t
x
t
x

+

1 1
1 1
1
2
2

cos
cos
$n +eneral, G es un n;mero comple3o.