Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Iterando el procedimiento, podemos ver que<br />
2. ANÁLISIS DEL ERROR Y CONVERGENCIA 181<br />
n−1 <br />
A j .<br />
|en| ≤ (1 + A + A 2 + · · · + A n−1 )hτmáx = hτmáx<br />
j=0<br />
Ahora, usando la fórmula para suma de potencias tenemos<br />
es decir<br />
Como para α > 0 se tiene<br />
entonces,<br />
A<br />
|en| ≤ hτmáx<br />
n − 1<br />
A − 1 ,<br />
(1 + Kh)<br />
|en| ≤ hτmáx<br />
n − 1<br />
Kh<br />
(1 + α) n ≤ e nα<br />
|en| ≤ τmáx<br />
K (enKh − 1) = τmáx<br />
lo que concluye la demostración.<br />
= τmáx<br />
<br />
(1 + Kh)<br />
K<br />
n <br />
− 1 .<br />
K (eK(T −t0) − 1),<br />
Bajo las hipótesis del Teorema 8.10 se deduce, de la fórmula (8.20), que un método de un paso<br />
es convergente si lím τmáx = 0. El resultado que sigue, del cual omitimos demostración permite<br />
h→0<br />
verivicar facilmente si lím τmáx = 0.<br />
h→0<br />
Proposición 8.11. Para un método de un paso con función de incremento Φ continua en sus<br />
tres variables, se tiene que<br />
lím<br />
h→0 τmáx = 0 si y sólo si Φ(t, x, 0) = f(t, x).<br />
Observación 8.12. Los métodos de Euler, los de Taylor y de Rungge-Kutta son convergentes.<br />
Demostración. Para los métodos de Taylor se tiene<br />
x(ti + h) ∼ x(ti) + hx ′ (ti) + 1<br />
2 h2x ′′ (ti) + · · · + 1<br />
k! hkx (k) (ti),<br />
y por tanto<br />
Φ(t, x, h) = x ′ (t) + 1<br />
2 hx′′ (t) + · · · + 1<br />
k! hk−1x (k) (t).<br />
Al evaluar en h = 0 tenemos, Φ(t, x, 0) = x ′ (t) = f(t, x).<br />
En cuanto a los métodos de Runge-Kutta, sólo verificaremos los dados por las fórmulas (8.11) y<br />
(8.12). El método de orden 4 dado por (8.15) queda como ejercicio.