1

( ) y t est en ambos lados

1 1
0 0
1
0
0 0
1 0
1 0
'( ) ( , ( )) [ , ] ( ) ..........(1)
( , ( )) '( ) ( ) ( )....................................(2)
( ) ( ) ( , ( )) ..............................................
t t
t t
t
t
y t f t y t en a b con y t y
f t y t dt y t dt y t y t
y t y t f t y t dt
= =
= =
= +
} }
}
............(3)

Si usamos la tcnica del trapecio con un incremento
1 0
h t t = , entonces el resultado es
1 0 0 0 1 1
( ) ( ) ( ( , ( )) ( , ( )))...................................(4)
2
h
y t y t f t y t f t y t ~ + +



Por lo que necesitamos estimar
1
( ) y t del lado derecho, para ste propsito la aproximacin de Euler es suficiente. Con lo que tenemos que:
1 0 0 0 1 0 0 0
( ( , ( )) ( , ( , ))).............................(5)
2
h
y y f t y t f t y hf t y = + + +


Mtodo de Euler
El paso general del mtodo de Heun es:
1
1 1 1
( , ), 1,...,
.................................(6)
( ( , ) ( , ))
2
k k k k k
k k k k k k
p y hf t y t kh k n
h
y y f t y f t p
+
+ + +
= + = =
= + +

Tamao de paso frente a error.
Por la regla del trapecio el error que se comete es
3
(2)
3
(2) (2) 2 2
1
( )
12
( ) ( ) ( )
12 12
k
M
k
k
h
y c
h b a
y c y c h h
=

~ = O

Precisin del mtodo de Heun
Para un tamao de paso h entonces el error final global es
2
( ( ), ) E y b h Ch ~
Y para un tamao de paso
2
h
entonces
2
2
1 1
( ( ), ) ( ( ), )
2 4 4 4
h h
E y b C Ch E y b h ~ = =
Error acumulado
Con lo que, mediante el mtodo de Heun, para
tamaos de paso cada vez ms pequeos el
error final global disminuye en una cuarta
parte!
Mtodo estndar, utilizado para comparar la precisin de otros mtodos numricos, y que puede ser construido de manera que tenga un grado
de exactitud fijado de antemano.

Teorema de Taylor. Supongamos que
1
0
( ) [ , ]
N
y t C t b
+
e y que ( ) y t tiene el desarrollo de Taylor de orden N alrededor de un punto
0
[ , ]
k
t t t b = e dado por
1
( )
1
,
1
(1) ( ) ( ) ( , ( )) ( )
( )
(2) ( ( ))
!
N
k k N k k
j N
j k
N k k
j
y t h y t hT t y t h
donde
y t
T t y t h
j
+

=
+ = + +O
=

E
( ) ( 1)
( ) ( , ( ))
j j
y t f t y t

= denota la derivada ( 1) j -sima de la funcin ( , ( )) f t y t con respecto a t . Las frmulas de estas derivadas pueden
calcularse recursivamente, usando la regla de la cadena:
(3) 2
2
(4) 2 3
2 3 2
(3)
'( )
''( ) ''
( ) ' ( ')
2 ( ) ( )
( ) 3 ' 3 ( ') 3 '' ''' 3 ' '' ( ')
( 3 ) ( 2 )
3(
t y t y
tt ty yy
tt ty yy y t y
ttt tty tyy ty y yy yyy
ttt tyy yyy y tt ty yyy
y t f
y t f f y f f f
y t f f y f y
f f f f f f f f f
y t f f y f y f y f y f y y f y
f f f f f f f f f f f
f
=
= + = +
= + +
= + + + +
= + + + + + +
= + + + + +
+
2
)( ) ( )
t y ty yy y t y
f f f f f f f f f + + + +

Y, en general,
( ) ( 1)
(4) ( ) ( , ( )
N N
y t P f t y t

=

Donde P es el operador de derivacin
P f
t dt o
c c | |
= +
|
\ .

El valor aproximado de la solucin del problema de valor inicial
0
'( ) ( , ) [ , ]
M
y t f t y en t t = se calcula usando la frmula (1) en cada
subintervalo de
1
[ , ]
k k
t t
+
, de manera que el paso general del mtodo de Taylor de orden N es
3 2
3 2
1 1
(5) ...
2! 3! !
N
N
k k
d h d h d h
y y d h
N
+
= + + + + +
Siendo
( )
( ) 1, 2,..., 0,1,..., 1
j
j k
d y t para j N en cada paso k M = = =

Con un error final global estimado de
( ( ), ) ( )
N
M
E y b h y b y h = = O
Con lo que, si fijamos el orden N , entonces tericamente es posible determinar el tamao de paso h , con lo que el error final ser tan
pequeo como queramos.
Precisin del mtodo de Taylor
Par un tamao de paso h y 4 N = tenemos
4
( ( ), ) E y b h Ch ~

Para un tamao de paso
2
h
tenemos
4
4
1 1
( ( ), ) ( ( ), )
2 16 16 16
h h
E y b C Ch E y b h ~ = ~


Con lo que, mediante el mtodo de Taylor, para tamaos
de paso cada vez ms pequeos el error final global
disminuye en una dieciseisava parte!
Dada la limitante del mtodo de Taylor, que requiere determinar a priori N y el clculo de las derivadas de orden superior, que puede ser
bastante complicado. Los mtodos de Runge-Kutta se construyen a partir de un mtodo de Taylor. Digamos de orden N , de tal manera que el
error final global sea del mismo orden ( )
N
h O , evitando la evaluacin de las derivadas parciales; esto se puede conseguir a cambio de evaluar,
en cada paso; la funcin en varios puntos. El mtodo Runge-Kutta de orden 4 N = es el ms popular, y en trminos generales es una buena
eleccin, ya que es bastante preciso, estable y fcil de programar.
El mtodo de cuarto orden de Runge-Kutta ( 4) RK , simula la precisin del mtodo de la serie de Taylor de orden 4 N = y que consiste en
calcular la aproximacin
1 k
y
+
de la siguiente manera
1 1 1 2 2 3 3 4 4
1 2 3 4
1 3 2 2 1 3 2
2 1 1 1 4 3 4 1 5 2 6 3
(1)
, ,
(2)
( , ), ( , )
( , ), ( , )
k k
k k k k
k k k k
y y wk w k w k w k
donde k k k y k son de la forma
k hf t y k hf t a h y b k b k
k hf t a h y b k k hf t a h y b k b k b k
+
= + + + +
= = + + +
= + + = + + + +




Emparejando estos coeficientes con los del mtodo de las series de Tylor de orden 4 N = de manera que el error local sea de orden
5
( ) h O ,
Runge y Kutta fueron capaces de obtener el siguiente sistema de ecuaciones:
1 1
2 3 2
4 5 6 3
1 2 3 4
2 1 3 2 4 3
2 2 2
2 1 3 2 4 3
3 3 3
2 1 3 2 4 3
3 1 3 4 1 5 2 6
3 1 2 3 4 3 1 5 2 6
2 2 2
3 1 3 4 1 5 2 6
4 1 3 6
(3)
1
1
2
1
3
1
4
1
( )
6
1
( )
8
1
( )
12
1
24
b a
b b a
b b b a
w w w w
w a w a w a
w a w a w a
w a w a w a
w a b w a b a b
w a a b w a a b a b
w a b w a b a b
w a b b
=
+ =
+ + =
+ + + =
+ + =
+ + =
+ + =
+ + =
+ + =
+ + =
=



Este sistema tiene 11 ecuaciones con 13 incgnitas, as que debemos aadir condiciones adicionales para resolverlo. La eleccin ms til resulta
ser
1 2
1
(4) 0
2
a y b = =
Entonces las soluciones para las dems variables son
2 3 1 3 4 5 6
1 2 3 4
1 1 1
; 1; ; ; 0; 0; 1
2 2 2
(5)
1 1 1 1
; ; ;
6 3 3 6
a a b b b b b
w w w w
= = = = = = =
= = = =


Sustituyendo en la expresin (1) y (2) los valores dados en (4) y (5), obtenemos la frmula para el mtodo de Runge-Kutta de orden 4 N =
estndar: A partir de la frmula inicial
0 0
( , ) t y se genera la sucesin de aproximacin usando la frmula recursiva
1 2 3 4
1
1
2 1
3 2
4 3
( 2 2 )
(6)
6
(7) ( , )
( , )
2 2
( , )
2 2
( , )
k k
k k
k k
k k
k k
hf f f f f
y y
donde
f f t y
h h
f f t y f
h h
f f t y f
f f t h y hf
+
+ + +
= +
=
= + +
= + +
= + +


Comparacin de las soluciones de las soluciones de ' ( ) / 2 [0,3] (0) 1 y t y en con y = = obtenidas con el mtodo RK4 para diferentes
tamaos de paso.
tk
y(tk)
h=1 h=.5 h=.25 h=.125 Exacta
0 1 1 1 1 1
0.125 0.9432392 0.9432392
0.25 0.8974915 0.8974908 0.8974917
0.375 0.8620874 0.8620874
0.5 0.83644258 0.8364037 0.8364024 0.8364023
0.75 0.8118696 0.8118679 0.8118678
1 0.8203125 0.8196285 0.819594 0.8195921 0.819592
1.5 0.9171423 0.91711021 0.9170998 0.9170997
2 1.1045125 1.1036826 1.1036408 1.1036385 1.1036383
2.5 1.3595575 1.3595168 1.3595145 1.3595144
3 1.670186 1.6694308 1.6693928 1.6693906 1.6693905









0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
1.8
0 0.5 1 1.5 2 2.5 3 3.5
h=1
h=.5
h=.25
h=.125
Exacta
BIBLIOGRAFA
JOHN H. MATHEWS, KURTIS D. FINK, MTODOS NUMRICOS CON MATLAB, PRENTICE HALL, MADRID, TERCERA EDICIN,
2000, CAPTULO 9.
DISPONIBLE EN: https://dl.dropboxusercontent.com/u/107767751/125940414-Metodos-Numericos-con-MATLAB-Mathews-
Fink.pdf