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

x,0 0

S cte

x 1

Los mtodos aplicados se describen a continuacin.

Euler hacia adelante (explcito)

i n 1 i n

t
x 2

n
i 1

2 i n in1 S t

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

Sea

C.B.

0 n 0

x
i0

i 1,....., N 1

n
n

n
N
1

x

N n N n1 x

0 dado 0 n 1 0

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

i 1
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

x1

x,0 0
S cte

i( n1) i( n )

t n 1

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

2
2x

in11 1 i n 1

in11
1

in1 1 i n

in1 S t

Mtodos Numricos para la Resolucin de Ecuaciones Diferenciales

i 0 por la C.B. resulta

Ecuaciones en derivadas parciales

0 n 1 0

i 1

0 1 1 n 1

2 n 1

0 1 1 n

2 n

n1

N 2 1 N n11 N n 1 N n 2 1 N n1 N n S t
2
2
2
2

i N 1

iN

N n11 N n 1 x

Resulta el sistema tridiagonal :

1


2

i




2
1

1
1

1 1 n 2 n

n 1

n 1 n n S t
i
i 1
2 i 1

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

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

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
0 x 1

CI : u x,0

a cte S 0

La solucin exacta (analtica) es

CB : u 0, t 0

t 0

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

ec. ordinaria du

du
dx
ut u x
; si se elige
dt
dt

dx
a x S x, t
dt
dt

Ambas son EDO!!

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

dx
a
dt

sobre las curvas caractersticas

u x ,0 u 0 x
u 0, t 0

x at x0 Rectas!!

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

S x, t 1 x

u x,0 1

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

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

se usa

u i n u i n1
a
0
x

ui
t

ui

t
t n

n
u i n 1 1 a
u i 1
ui a

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

a0

Si a 0

se
cancelan

u in1 u in1 2ui n u in1 u in1 ui n uin1

2x
x

ok

se
cancelan

n
n
n
n
n

a ui 1 ui 1 2ui uin1 uin1 a ui 1 ui

x

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

u i n E ( n ) e j i

k 1, 2, ,

Sustituyendo en el esquema para a>0,

E n 1 e
entre E

j i

j i

n 1

E
E n

E n

j i

E n e

j i

resulta

1

centro

j

e
radio

dividiendo

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)

ux

uin1 uin1
2x

se puede ver que

G G

G 1 j sen

sen 2 1

Incondicionalmente inestable.

BTCS: (Backward in Time, Centered in Space)

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

ux

u i n11 u i n11
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

sea,

B n

n 1

GU

B n CU n Q

GU

n 1

Despreciando Q', U n 1

G
1

En gral., para

n
max

2U

0
I Q

y deber ser

U
0

n 1

G 1 U

Q'

debe ser acotado; pero

max 1 (Hirsch, pp 296).

u i n E n e j i

E n 1 e

dividiendo entre
resulta

u1 n1
n1
u2
B

n 1

1 u I

j 1 i

E n 1 e

E (n) e
j

e j

j i

j i

E n 1 e

i 1

E n e

E n 1
1
1 G
E n
1 j sen

lo que hace al sistema incondicionalmente estable.

j i