Galo González

22/06/2020

Estabilidad de un esquema numérico

0
y = my
y(x0 ) = y0
separando variables
dy
= my
dx
dy
= mdx , ln y = mx + C , y = emx+C , y = Kemx
y
aplicando la condición inicial
y(x0 ) = Kemx0 = y0 , K = y0 e mx0

si x0 = 0
y(0) = K = y0 :

0
y = M y = f (x; y)
aplicando el método de Euler
yn+1 = yn + hf (xn ; yn )
yn+1 = yn + hM yn = (I + hM )yn
ym = (I + hM )ym 1

y1 = (I + hM )y0
y2 = (I + hM )y1 = (I + hM )2 y0
y3 = (I + hM )y2 = (I + hM )3 y0
::::
yn = (I + hM )n y0
0
y = qy ! yn = (1 + hq)n y0
estamos interesados en saber que sucede cuando n ! 1

lim yn =??
n!1

lim yn = y0 lim (1 + hq)n , j1 + hqj < 1

n!1 n!1

lim (x)n converge si y solo si jxj < 1

n!1
0 jxj < 1
1 x=1
lim (x)n =
n!1 1 jxj > 1
no existe x= 1

2
y

-2 -1 0 1 2
x

1
j1 + hqj < 1 , j1 + zj < 1; donde z 2 C con z = hq
j1 + zj < 1 región de estabilidad, donde converge la solución numérica
j1 + zj < 1 , j1 + x + iyj < 1 , (1 + x)2 + y 2 < 1
bola con centro ( 1; 0) y radio r = 1:
(1 + x)2 + y 2 < 1

5
y
4

-5 -4 -3 -2 -1 1 2 3 4 5
-1 x
-2

-3

-4

-5

j1 + hqj < 1 , 1 < 1 + hq < 1 , 2 < hq < 0

0 0
y = 50(y cos x) cuando linealizamos el problema y = 50y en este caso q = 50
2 2
2 < h( 50) < 0 , 50 > h > 0 , 0 < h < 50 :

Region de estabilidad para Runge Kutta

0 0 0 k1 = f (x0 ; y0 )
1 1 0 , k2 = f (x0 + h; y0 + hk1 )
1 1
2 2 y1 = y0 + h(( 12 k1 + 12 k2 )
1 1
y1 = y0 + h( f (x0 ; y0 ) + f (x0 + h; y0 + hf (x0 ; y0 )))
2 2
1 1
yn+1 = yn + h( f (xn ; yn ) + f (xn + h; yn + hf (xn ; yn )))
2 2
consideramos el test de Dalquist y 0 = M y , f (x; y) = M y
1 1
yn+1 = yn + h( f (xn ; yn ) + f (xn + h; yn + hM yn ))
2 2
1 1
yn+1 = yn + h( M yn + M (yn + hM yn )
2 2
1 1 1
yn+1 = yn + h( M yn + M yn + hM 2 yn )
2 2 2
h h2
yn+1 = yn + h(M yn + M 2 yn ) = (1 + hM + M 2 )yn
2 2
2
y1 = (1 + hM + h2 M 2 )y0
h2
y2 = (1 + hM + h2 M 2 )y1 = (1 + hM + 2 2
2 M ) y0
2
y3 = (1 + hM + h2 M 2 )3 y0
::::
2
yn = (1 + hM + h2 M 2 )n y0

2
Que pasa con yn cuando n es grande, para que converga nuestra sucesión debemos tener que

h2 2
j1 + hM + M j<1
2
si hM = x + iy = z
(x + iy)2
j1 + (x + iy) + j<1
2
(x2 + 2ixy + i2 y 2 )
j1 + x + iy + j<1
2
x2 y2
j1 + x + iy + + ixy )j < 1
2 2
x2 y2
j(1 + x + ) + i(y + xy)j < 1
2 2
x2 y2 2
(1 + x + ) + (y + xy)2 < 1
2 2
x2 y2 2
(1 + x + ) + (y + xy)2 < 1
2 2

2
y

-2 -1 1 2
x
-1

-2

dy
0
y =
= f (x; y)
dx
Z x1 Z x1
dy = f (x; y)dx
x0 x0
Z x1
y(x1 ) y(x0 ) = f (x; y)dx
x0
Z x1
y(x1 ) = y(x0 ) + f (x; y(x))dx;
x0

recordando el teorema de valor medio para integrales, Sea una función integrable entre [a; b], entonces existe
Rb
un punto c 2 [a; b] talque a g(x)dx = g(c)(b a)

y(x1 ) = y(x0 ) + (x1 x0 )f (x0 + h; y(x0 + h))dx;

y1 = y0 + hf (x0 + h; y0 + (y1 y0 ))
Cuando = = 0 (Euler explícito)

y1 = y0 + hf (x0 ; y0 ) ) yn+1 = yn + hf (xn ; yn ); n = 0; 1; 2; :::

3
 Cuando = = 1 (Euler implícito)

y1 = y0 + hf (x0 + h; y0 + (y1 y0 ))
y1 = y0 + hf (x1 ; y1 ) ) yn+1 = yn + hf (xn+1 ; yn+1 )
Este esquema se conoce como método de Euler implicito. Aplicando el test de Dalquist
0
y = qy = f (x; y)
yn+1 = yn + hqyn+1
(1 hq)yn+1 = yn
1
yn+1 = (1 hq) yn
1
y1 = (1 hq) y0
1 2
y2 = (1 hq) y1 = (1 hq) y0
n
yn = (1 hq) y0
1 n
yn = ((1 hq) ) y0
1
yn = ( )n y0
1 hq
1
entonces 1 hq < 1 , j1 hqj > 1
j1 zj > 1 , j1 x iyj > 1 , j(1 x) iyj > 1 , (1 x)2 + y 2 > 1

(región celeste) la parte exterior del circulo con centro (1,0) radio r = 1:
h 1
y1 = y0 + hf (x0 + ; y0 + (y1 y0 ))
2 2
y1 = y0 + hf (x0 + h; y0 + (y1 y0 ))
1
Cuando = = 2
h y0 + y1
y1 = y0 + hf (x0 + ; )
2 2
h yn + yn+1
yn+1 = yn + hf (xn + ; )
2 2
y1 = y0 + hf (x0 + h; y0 + (y1 y0 ))
Cuando = 21 ; =0
h
y1 = y0 + hf (x0 + ; y0 )
2
h
yn+1 = yn + hf (xn + ; yn )
2

4
y 0 = 50(y cos x);
y(0) = 0; 0 x 2
y(2) =?
h = 0:2
f (x; y) = 50(y cos x);
yn+1 = yn + hf (xn+1 ; yn+1 )
y1 = y0 + hf (x1 ; y1 )
y1 = 0 + hf (0:2; y1 )
y1 = 0:2 50(y1 cos 0:2),
9:8007
y1 = 10y1 + 10 cos 0:2 !! 11y1 = 9:8007 !! y1 = 11 = 0:89097
y2 = y1 + 0:2f (x2 ; y2 )
y2 = y1 0:2 50(y2 cos 0:4);
y2 = 0:89097 0:2 50(y2 cos 0:4);
y2 = 0:918 33
yn+1 = yn + 0:2f (xn+1 ; yn+1 )
yn+1 = yn 0:2 50(yn+1 cos xn+1 )
yn+1 = yn 10yn+1 + 10 cos xn+1
11yn+1 = yn + 10 cos 0:2 (n + 1)
yn+1 = yn +10 cos110:2 (n+1)
y3 = 0:83378
y 2 < e2x (1 + x)2