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

x x 1

S cte

Los mtodos aplicados se describen a continuacin.

Euler hacia adelante (explcito)

in 1 in
t

t
x

2 S t
n
i 1

n
i 1

x 2
i( n1) in1 1 2 in in1 S t

Sea

C.B.

i 1,....., N 1

0n 0 n
n Nn1

x1
x
i0

n 1

0 dado 0

Nn Nn1 x
0

1n1 0n 1 2 1n 2n S t

i 1
1<i<N

i N 1

Nn11 Nn2 1 2 Nn1 Nn S t

iN

Nn 1 Nn11 x

Por la C.B.

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

Cranck-Nicolson (implcito)

0 0

x 1

x,0 0
S cte

i( n1) i( n )

t
2x

n 1
i 1

2in1 in11 in1 2in in1 S t

in11 1 in1 in11 in1 1 in in1 S t

2
2
2
2
i 0 por la C.B. resulta

0n 1 0
1

Mtodos Numricos para la Resolucin de Ecuaciones Diferenciales

Ecuaciones en derivadas parciales

i 1

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

i N 1

Nn21 1 Nn11 Nn1 Nn2 1 Nn1 Nn S t

2
2
2
2

iN

Nn11 Nn1 x

Resulta el sistema tridiagonal :

1


2

1 1n 2n

n1

i in1 1 in in1 S t

2
2

2
x

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

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

ux, t ux 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

ut ax 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
du
dx
ut u x
dt
dt

; si se elige

dx
a x
dt

Ambas son EDO!!

As, por ejemplo, si a=cte, s=0,

dx
a
dt

x at x0

du
0 u cte
dt
u x, t u 0 x0

pasa a ser una

ec. ordinaria du

dt

S x, t

sobre las curvas caractersticas

u x,0 u 0 x

u 0, t 0

Rectas!!

sobre las caractersticas

para t=0 la

u 0 x at u x at,0

cte u 0 x 0
Ojo: slo vale para parte del dominio

Ec. caractersticas,

x0 0 t 0 xat!!

Problema
(Referencia : Nakamura 493)
Resolver

u t a x u x S x, t

ax 3x 0.1 ux,0 1
S x, t 1 x 2 0.1 t

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

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

ui

uin
uin uin1
a
0
t
x

t
t

u in 1 1 a u in a u in1
x
x

t
N de Courant
x
u01 est dado por la CB; ui0 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.
se usa

Es posible generalizar el esquema, hacindolo vlido para a de cualquier signo

u in 1 u in
u n u in1
u n 2u in u in1
a i 1
a i 1
0
t
2x
2x

Si

Si

a0

a0

se cancelan

n
ui 1 uin1 2uin uin1 uin1 uin uin1

2x
x

ok

se cancelan

n
n

n
a ui1 ui1 2ui uin1 uin1 a ui1 ui

ok

Se puede interpretar al segundo sumando, como una aproximacin por diferencias centrales de u x y al
tercer sumando como una aproximacin de a

x
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

uin E ( n) e ji

, k 1, 2, ,
k
Sustituyendo en el esquema para a>0,

E n1 e ji 1 E n e ji E n e ji e j

n 1

E
j
1
n 1 e
E
radio
centro

dividiendo entre

E n e ji

resulta

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
2x

se puede ver que

G 1 j sen

G G G 1 2 sen2 1

Incondicionalmente inestable.

BTCS: (Backward in Time, Centered in Space)

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

ux

u in11 u in11
2x

ut

u in 1 u in
t

u in 1 u in
u n 1 u in11
a i 1
0
t
2x

u in11 u in 1

u in11 u in

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

sea,

1
1
C

B n CU n Q
0

2U

I Q 0

0
1

GU n1 U n Q
Despreciando Q',
1 n

En gral., para

2
resulta

GU n 1 B n

u1n1
n1
u 2
B

1 u In1

U n1 G 1U n Q'

U n1 G 1 U 0 G 1

1 n

nmax

y deber ser

debe ser acotado; pero

max 1

(Hirsch, pp 296).

u in E n e j i

E n1 e j 1i E n1 e ji

E n1 e j i 1 E n e ji

dividiendo entre

E (n) e j i

n 1
1
1
j j
E
e

1
1
2
E n 1 G 1 j sen G
1 2 sen2

lo que hace al sistema incondicionalmente estable.