Profesor: Luis Andrs Prez Vergara Ayudante: Damaris Ortiz Fernndez

Universidad de Santiago de Chile

Facultad de Ciencias
Departamento de Matemticas y Ciencia de la Computacin



TPICOS MATEMTICOS I

MTODO DE LAS DIFERENCIAS FINITAS PARA
ECUACIONES DIFERENCIALES PARCIALES
PARABLICAS

Introduccin

Existen 4 frmulas para el desarrollo de ecuaciones diferenciales por el mtodo de las
diferencias finitas a conocer en ste curso, las cuales son:

Diferencia Progresiva:

( ) ( ) ( ) dy x y x h y x
dx h
+ +
=

Diferencia Regresiva:

( ) ( ) ( ) dy x y x y x h
dx h
+
=

Diferencia Centrada:

( ) ( ) ( )
2
dy x y x h y x h
dx h
+ +
=


Diferencia Finita segunda derivada:

( ) ( ) ( ) ( )
2
2 2
2 d y x y x h y x y x h
dx h
+ +
=

Con estas discretizaciones podemos reemplazar cualquier derivada y llevar los problemas
de derivadas y/o derivadas parciales a un problema discreto e iterativo.

MTODO DE LAS DIFERENCIAS FINITAS PARA ECUACIONES DIFERENCIALES
PARCIALES PARABLICAS



Profesor: Luis Andrs Prez Vergara Ayudante: Damaris Ortiz Fernndez

Ecuaciones Diferenciales Parciales Parablicas

Estas son las ecuaciones con derivadas parciales que tienen la forma:

( )
2
2
2
, 0 u x t a
t x

=



Este problema tiene condiciones mixtas, o sea de borde e inicial, las cuales se plantean

( )
( )
( )
0,
,
, 0 ( )
u t
u l t
u x f x

=
=
=


Donde las 2 primeras condiciones son las de borde y la ltima es la condicin inicial.

Para ste tipo de problemas podemos elegir cualquiera de las 3 discretizaciones de la
primera derivada.
Usando en mtodo Progresivo se tiene

( ) ( ) ( ) ( ) ( )
2
2
, , , 2 , ,
0
u x t k u x t u x h t u x t u x h t
a
k h
+ + +
=

Multiplicando por k y llevando la expresin a la forma de iteracin se tiene:

( )
2
, 1 , 1, , 1, 2
2 0
i j i j i j i j i j
a k
u u u u u
h
+ +
+ =

Que se puede llevar a una matriz del tipo

( )
( )
( )
( )
1 2 0 0
1 2
0
0
1 2
0 0 1 2
A

(
(

(
(
=
(
(
(

(









Donde
2
2
a k
h
= y ( ) ( ) ( )
0
1 2 1
, , ,
T
n
w f x f x f x

= (

, por lo que este mtodo se puede
escribir matricialmente como
1
A
j j
w w

= , el cual es un mtodo explcito.

MTODO DE LAS DIFERENCIAS FINITAS PARA ECUACIONES DIFERENCIALES
PARCIALES PARABLICAS



Profesor: Luis Andrs Prez Vergara Ayudante: Damaris Ortiz Fernndez

Si al presentar los datos iniciales ( ) ( ) ( )
0
1 2 1
, , ,
T
n
w f x f x f x

= (

se genera un error e,
ste se ira traspasando a la siguiente iteracin debido a que

( )
( ) ( ) ( )
( )
1 0 0
2 1 0 0 2 0 2 0
1 0 0
A
A A A A A
A A A
n n n n
w w e
w w w e w e
w w w e

= +
= = + = +
= = +

En consecuencia el mtodo presentado ser estable si y solo si
0 0
A
n
e e que puede ser
simplificado como A 1
n
y esta condicin requiere que el radio espectral de A
n
sea
menor que 1, por lo tanto, los valores propios de A
n
deben ser menor que 1, as:

( )
2
2
1 1
2
2
1 4
2
A 1 4 1
2
0 1 4 1
2
1
0
2 2
i
i m
i
sen
m
i
mx sen
m
i
sen
m
i
sen
m

| | | |
=
| |
\ \
| | | |
=
| |
\ \
| | | |

| |
\ \
| | | |

| |
\ \


Como
2
2
i
sen
m
| | | |
| |
\ \
siempre ser mayor que 0 y menor que 1 se reduce la condicin a
2
2
1
2
1
2
a k
h

Esta ltima se conoce como la condicin de estabilidad del mtodo progresivo.

Con la discretizacin regresiva pasa algo muy similar, dando lugar a una matriz de iteracin
del tipo:

MTODO DE LAS DIFERENCIAS FINITAS PARA ECUACIONES DIFERENCIALES
PARCIALES PARABLICAS



Profesor: Luis Andrs Prez Vergara Ayudante: Damaris Ortiz Fernndez

( )
( )
( )
( )
1 2 0 0
1 2
0
A
0
1 2
0 0 1 2

+ (
(
+
(
(

= (

(
(
+
(
+
(









Dando lugar a un mtodo del tipo
1
A
j j
w w

= . Este es un mtodo implcito y no tiene los
problemas de estabilidad planteados anteriormente, sin importar el valor de , pero
conlleva errores de redondeo del orden O(k+h
2
). Como la matriz A es tridiagonal, diagonal
dominante, puede ser resuelta por el mtodo de descomposicin de Crout.

Mtodo de Crank-Nicolson

Como se vio anteriormente, con ambos mtodos se tiene un contratiempo. Para el mtodo
explicito se tiene una restriccin en
2
2
1
2
a k
h
pero se gana velocidad y en el mtodo
explicito se tiene el problema de que el error de redondeo tiene orden O(k+h
2
), por lo que
se deben elegir pequeos pasos en el tiempo.

Una solucin es usar la discretizacin centrada para la primera derivada, lo cual da como
resultado el Mtodo de Richardson, pero lamentablemente ste mtodo tambin presenta
los mismos problemas de estabilidad que el mtodo implcito, por lo que no ser estudiado
en este curso.

Para dar una solucin a estos inconvenientes es que aparece ste mtodo que consiste en
tomar el mtodo explicito e implcito y promediarlos. Para ello tomamos la discretizacin
del problema con el mtodo explicito (progresivo) en t

( ) ( )
2
, 1 , 1, , 1, 2 2
2 2
2
, ,
i j i j i j i j i j
u u u u u
u x t a u x t a
t x k h

+ +
+

Y el mtodo implcito (mtodo regresivo) en el tiempo j+1 para hacerlos coincidir en el
mismo punto temporal

( ) ( )
2
, 1 , 1, 1 , 1 1, 1 2 2
2 2
2
, ,
i j i j i j i j i j
u u u u u
u x t k a u x t k a
t x k h

+ + + + +
+

+ + =

Y promediamos ambas expresiones (sumar y multiplicar por ), luego se multiplic por k

MTODO DE LAS DIFERENCIAS FINITAS PARA ECUACIONES DIFERENCIALES
PARCIALES PARABLICAS



Profesor: Luis Andrs Prez Vergara Ayudante: Damaris Ortiz Fernndez

( )
2
, 1 , 1, 1 , 1 1, 1 1, , 1, 2
2 2 0
2
i j i j i j i j i j i j i j i j
a k
u u u u u u u u
h
+ + + + + +
+ + + =

El cual puede llevarse de forma matricial a
1
A B
j j
w w
+
= con
1, 2, 1,
, , ,
T
j
j j n j
w u u u

( =

y

( )
( )
( )
( )
1 0
0
2
1
2 2
0
2
A
0
2
1
2 2
0
0 1
2

(
+
(
(

(
+
(
(

(
(
( =
(

(
(
(

+
(
(

(
+
(

( )
( )
( )
( )
1 0
2
0
1
2 2
0
2
B
0
2
1
2 2
0
0 1
2

(
(
(

(
(
(
(
=
(
(
(
(

(
(
(

Ambas tridiagonales, definidas positivas y estrictamente diagonal dominantes. Por lo tanto
es un mtodo que se puede resolver por el Mtodo de Crout o Doolittle.