Mtodos Numricos para la Resolucin de Ecuaciones Diferenciales Ecuaciones en derivadas parciales

ECUACIONES PARABLICAS CON CONDICIONES DE BORDE

Son ecuaciones del tipo

2
2 S
t x
0, t 0 0 x,0 0
x, t
S cte
x x 1

Los mtodos aplicados se describen a continuacin.

Euler hacia adelante (explcito)

t
i n 1 i n
x 2
n
i 1
2 i n in1 S t
t
Sea
x 2
i( n1) in1 1 2 i n in1 S t i 1,....., N 1

C.B. 0 n 0 n
n n
N N
1
N n N n1 x
x 1
x

i0 0 dado 0 n 1 0

i 1 1 n1 0 n 1 2 1 n 2 n S t
1<i<N

i N 1 N n11 N n 2 1 2 N n1 N n S t
iN N n 1 N n11 x Por la C.B.

es posible calcular el paso (n+1) completo.

Cranck-Nicolson (implcito)

0 0 x ,0 0

S cte
x1

i( n 1) i( n )
2x 2
i 1 2i n1 in11 in1 2i n in1 S t
t n1

in11 1 i n 1 in11 in1 1 i n in1 S t
2 2 2 2

1
Mtodos Numricos para la Resolucin de Ecuaciones Diferenciales Ecuaciones en derivadas parciales

i 0 por la C.B. resulta 0 n 1 0

i 1

0 1 1 n 1 2 n 1 0 1 1 n 2 n
2 2 2 2

n 1
i N 1 N 2 1 N n11 N n1 N n 2 1 N n1 N n S t
2 2 2 2
iN N n11 N n 1 x

Resulta el sistema tridiagonal :

1
2 1 n n
2

1
2

1 0

2 2

n1


i in1 1 i n in1 S t

2

2
0


1
2 2 x
1 1

La matriz del sistema es del tipo de diagonal dominante siempre, pues 0 y

1
2 2
lo cual habilita a utilizar tcnicas de resolucin especiales, que mejoran la performance del algoritmo.
Mtodos Numricos para la Resolucin de Ecuaciones Diferenciales Ecuaciones en derivadas parciales

ECUACIONES HIPERBLICAS

Referencia: Nakamura 489-508

Es posible demostrar que la resolucin de ecuaciones en derivadas parciales de segundo orden

hiperblicas implica resolver ecuaciones de primer orden del tipo

u t au x S x , t x 0;t 0

Los MDF tienen un mejor funcionamiento para el caso de soluciones suaves; sin embargo, las EDP
hiperblicas admiten soluciones discontinuas.

Ejemplo

1 0 x 1
CI : u x ,0
0 x 1
a cte S 0

CB : u 0, t 0 t 0

La solucin exacta (analtica) es u x, t u x at ,0

A continuacin se presentan algunos esquemas y mtodos para este tipo de ecuacin.

MTODO DE LAS CARACTERSTICAS

Es un mtodo muy popular. Consiste en determinar familias de curvas en el plano (x,t) sobre las cuales
el problema se reduce a una EDO.

As, si u t a x u x S x, t en x 0; t 0
Mtodos Numricos para la Resolucin de Ecuaciones Diferenciales Ecuaciones en derivadas parciales

du u Q u P u t dt u x dx

pasa a ser una

du dx
dx ec. ordinaria du
a x S x, t
ut u x ; si se elige sobre las curvas caractersticas
dt dt

dt dt
Ambas son EDO!!
u x,0 u 0 x
As, por ejemplo, si a=cte, s=0,
u 0, t 0
dx
a x at x0 Rectas!!
dt

du
0 u cte sobre las caractersticas para t=0 la cte u 0 x 0
dt

u x, t u 0 x0 u0 x at u x at,0

Ec. caractersticas, Ojo: slo vale para parte del dominio

x0 0 t0 xat!

Problema

(Referencia : Nakamura 493)

Resolver u t a x u x S x, t
a x 3 x 0.1 u x,0 1
S x, t 1 x 0.1 t
2

Buscar solucin analtica, para el caso en que se busque la solucin que pasa por x=0.2, t=0.
Mtodos Numricos para la Resolucin de Ecuaciones Diferenciales Ecuaciones en derivadas parciales
Mtodos Numricos para la Resolucin de Ecuaciones Diferenciales Ecuaciones en derivadas parciales

ESQUEMAS DE PRIMER ORDEN

Se analizar la ecuacin
ut a u x 0 a cte > 0

FTBS (Forward in Time, Backward in Space)

Es un mtodo explcito
n 1 n
ui ui u i n u i n1
u i n 1 1 a
t n t n
a 0 ui a u i 1
t x x x
t
se usa a N de Courant
x
u 0 1 est dado por la CB; ui 0 est dado por la CI la Ecuacin permite calcular todos los puntos.
Si a 0 , la molcula de clculo no contiene informacin propagada sobre la caracterstica.
Es posible generalizar el esquema, hacindolo vlido para a de cualquier signo

u i n 1 u i n u i n1 u i n1 u i n1 2u i n u i n1
a a 0
t 2 x 2 x

se
cancelan

Si uin1 u in1 2ui n u in1 u in1 u i n u in1 ok
a0
2x x
se
cancelan n n
Si a 0 a ui 1 ui 1 2ui uin1 uin1 a ui 1 ui
n n n
ok
x

Se puede interpretar al segundo sumando, como una aproximacin por diferencias centrales de u x y al
x
tercer sumando como una aproximacin de a u xx ; se denomina al trmino como viscosidad
2
numrica.
El esquema slo operara si se le suministran las condiciones iniciales y de borde apropiadas.

Estabilidad del esquema

Aplicando Von Neumann, resultando que

u i n E ( n ) e j i

, k 1, 2, ,
k

Sustituyendo en el esquema para a>0,

E n 1 e j i
1 E n e j i
E n e j i
e j
dividiendo
n j i
entre E e resulta
n 1
E
1
e
j
1
E n
centro radio
Mtodos Numricos para la Resolucin de Ecuaciones Diferenciales Ecuaciones en derivadas parciales

Figura: Regiones de estabilidad del mtdo FTBS

FTCS (Forward in Time, Centered in Space)

uin1 uin1
ux se puede ver que G 1 j sen
2x
G G G 1 2
sen 2 1 Incondicionalmente inestable.

BTCS: (Backward in Time, Centered in Space)

Es un mtodo implcito. Se discretiza mediante derivada central hacia atrs.

u i n11 u i n11
ux
2x
u i n 1 u i n
ut
t
u i n 1 u i n u n 1 u i n11
a i 1 0
t 2x
n 1
u i 1 u i n 1 u i n11 u i n
2 2

Se forma un sistema tridiagonal. Para i=0, se usa la CB.

Mtodos Numricos para la Resolucin de Ecuaciones Diferenciales Ecuaciones en derivadas parciales

Para la derecha, es necesario especificar algo, de forma de hacer posible la solucin del sistema. Sea I
el ndice extremo a la derecha. Se debe imponer alguna CB, que puede ser u I 1 2u I u I 1
(extrapolacin lineal)

El sistema luce el aspecto

1 u1 n1
n1
1 0 u 2
1 B

0
1 u I
n 1

sea, GU n 1
B n B n CU n Q

1 0
2U
C
1 I Q 0


1 0

GU n 1 U n Q U n 1 G 1 U n Q'

Despreciando Q', U n 1 G 1
n
U 0
G 1
n
debe ser acotado; pero
G 1 n
G 1 n
n
max y deber ser max 1 (Hirsch, pp 296).
En gral., para u i n E n e j i

E n 1 e j 1 i
E n 1 e j i
E n 1 e j i 1
E n e j i

2 2

dividiendo entre E (n) e j i

resulta
E n 1
e j
e j 1 n 1 G

1
j sen
G
2 E 1 1
lo que hace al sistema incondicionalmente estable.