You are on page 1of 51

CAPTULO 6.

SOLUCIN NUMRICA DE PROBLEMAS DE


VALOR INICIAL PARA ECUACIONES
DIFERENCIALES ORDINARIAS
INTRODUCCIN
Este captulo se dedicar al estudio de algunos mtodos numricos para encontrar una
aproximacin discreta de la solucin ( ) y t de un problema de valor inicial (P.V.I.) de primer
orden, con solucin nica, del tipo
( )
( )

'


inicial) (condicin y t y
T t t , y , t f
dt
dy

0 0
0
(6.1)
Los mtodos numricos que estudiaremos se podrn aplicar a sistemas de ecuaciones
diferenciales de primer orden con condiciones iniciales, con solucin nica, de la forma
( )
( )
( )
( ) ( ) ( ) ( )

'

inicial condicin y t y ,..., y t y , y t y


, y ,..., y , y , t f
dt
dy


T t t , y ,..., y , y , t f
dt
dy

, y ,..., y , y , t f
dt
dy

0 , n 0 n 0 , 2 0 2 0 , 1 0 1
n 2 1 n
n
0 n 2 1 2
2
n 2 1 1
1
! (6.2)
En este caso se aplicar el mtodo a cada ecuacin del sistema.
Los mtodos numricos que veremos tambin se podrn aplicar a problemas generales de
n-simo orden con condicin inicial, de solucin nica, de la forma
( ) ( )
( )
( ) ( )
( )
( ) ( )

'

inicial condicin y t y ,..., y t y , y t y


T t t , y ,..., y , y , t f
dt
y d
y
0 , n 0
1 n
0 , 2 0 0 , 1 0
0
1 n
n
n
n
(6.3)
Esta vez, para aplicar el mtodo numrico, empezamos transformando el P.V.I. dado en un
sistema equivalente del tipo (6.2), introduciendo las variables y y
1

, y y
2

, y y
3

,
,
( )
y y
d y
dt
n
n
n
n

1
1
1
. Derivando miembro a miembro cada una de estas ltimas ecuaciones
con respecto a t, obtenemos el sistema equivalente
274 MTODOS NUMRICOS
__________________________________________________________________________________
( )
( ) ( ) ( ) ( )

'






inicial condicin y t y ,..., y t y , y t y
, y ,..., y , y , t f y

, y y
T t t , y y
, y y

0 , n 0 n 0 , 2 0 2 0 , 1 0 1
n 2 1 n
4 3
0 3 2
2 1
!
Existencia de solucin: Ser que todo P.V.I. de la forma (6.1) tiene una solucin?
La respuesta es no, hay que imponer algunas condiciones sobre la funcin ( ) f t y , , y an
satisfechas tales condiciones, es posible que la solucin exista solamente en una vecindad
de t
0
. Como ejemplo, consideremos el P.V.I.
( )

'

y
t
y
1
1 1
La solucin general de la ecuacin diferencial ordinaria (E.D.O.) y
t
1
, es ( ) y t t c + ln , c
constante arbitraria. Para la condicin inicial dada la solucin del P.V.I. es
( ) y t t + ln 1
,
pero no hay solucin para una condicin inicial en t 0.
Para el P.V.I.
( )
+

'

y y
y
1
0 0
2
( ) y t tant es la solucin, pero no est definida para t t t

2
3
2
, ,... . As que la solucin
es vlida nicamente para

_
,


2 2
, o cualquier intervalo contenido all y que contenga al
nmero
0
.
Con respecto a la existencia se tiene el siguiente teorema:
Teorema 6.1 Si ( ) f t y , es continua en el rectngulo
( ) { }
R + t y t t t a y y b , / ,
0 0 0
entonces existe un intervalo t t t
0 0
+ en el cual existe una solucin ( ) y t
del P.V.I.
( )
( )

'

y f t y
y t y
,
0 0
(Un resultado anlogo se tiene para t t
0
).
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 275
__________________________________________________________________________________
Unicidad de la solucin: Puede que, aunque ( ) f t y ,
sea continua, el P.V.I. (6.1) tenga ms
de una solucin. Un ejemplo es el P.V.I.
( )

'

y y
y
1
3
0 0
para el cual ( ) y t
1
0 y ( ) y t t
2
3
2 2
3

_
,
son soluciones.
Para asegurar que el P.V.I. (6.1) tiene una nica solucin en una vecindad de t t
0
, se
requiere algo ms que la continuidad de la funcin ( ) f t y ,
. Una de las formas ms usuales de
presentar el teorema que garantice existencia y unicidad de solucin del P.V.I. (6.1), es la
siguiente.
Teorema 6.2 Si ( ) f t y , y
( )

f t y
y
,
son continuas en un rectngulo
( ) { }
R t y t t t a y y b + , / ,
0 0 0
entonces existe un intervalo t t t
0 0
+ en el cual existe una nica solucin ( ) y t del
P.V.I.
( )
( )

'

y f t y
y t y
,
0 0
(6.4)
(Un resultado anlogo se tiene para t t
0
).
Para la demostracin del teorema 6.2, se transforma el P.V.I. (6.4) en otro problema
equivalente, como se indica a continuacin:
Supongamos que existe una funcin ( ) y t que satisface (6.4), es decir,
( ) ( )
dy
dt
f t y t ,
y
( ) y t y
0 0

Entonces integrando a ambos lados de la E.D.O. dada, se tiene


( )
( ) ( )
dy s
ds
ds f s y s ds
t
t
t
t
0 0

,
o sea
( ) ( ) ( ) ( )
y t y t f s y s ds
t
t
+

0
0
,
(6.5)
276 MTODOS NUMRICOS
__________________________________________________________________________________
Recprocamente, si ( ) t y satisface (6.5) y es continua, entonces derivando en (6.5), con
respecto a t, obtenemos ( ) ( )
dy
dt
f t y t , . Adems es claro que ( ) y t y
0 0
.
Por lo tanto, ( ) t y es una solucin del P.V.I. (6.4) si y slo si ( ) t y es una solucin continua de
la ecuacin integral (6.5).
Ahora, un mtodo para probar que la ecuacin integral (6.5) tiene una nica solucin, es el
mtodo de aproximaciones sucesivas o iteraciones de Picard (Emilio Picard, matemtico
francs (1856-1941)), el cual describimos a continuacin:
Se inicia el mtodo con una solucin tentativa (aproximacin inicial) de (6.5). La eleccin
ms simple es
( ) y t y
0 0

la cual satisface la condicin inicial.


Ahora se calcula
( ) ( ) ( )
y t y f s y s ds
t
t
1 0 0
0
+

,
Si ( ) y t y
1 0
, entonces ( ) y t y
0
es una solucin de (6.5). Si n, se utiliza ( ) y t
1
como la
siguiente aproximacin, y se calcula
( ) ( ) ( )
y t y f s y s ds
t
t
2 0 1
0
+

,
En general, calculada ( ) y t
n1
, si ella no es solucin de (6.5), se calcula la siguiente
aproximacin
( ) ( ) ( )
y ,
n n
t
t
t y f s y s ds +

0 1
0
Las funciones ( ) t y
n
son llamadas aproximaciones o iteraciones de Picard.
Se completa la prueba del teorema, demostrando que la sucesin
( ) { }
y t
n
n
converge
uniformemente, en un determinado intervalo, a una solucin ( ) y t de (6.5), y luego se
demuestra la unicidad de la solucin.
Ejemplo 6.1 Para ilustrar el mtodo iterativo de Picard, consideremos el siguiente P.V.I.
( )

'

y y
y 0 1
en el cual ( ) f t y y , .
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 277
__________________________________________________________________________________
La ecuacin integral equivalente, correspondiente al P.V.I. dado, es
( ) ( ) y t y s ds
t
+

1
0
Iniciamos las iteraciones tomando ( ) y t
0
1 . Entonces
( ) ( ) ( ) y t y s ds ds t y t
t t
1 0
0 0
0
1 1 1 1 + + +

( ) ( ) ( ) ( ) y t y s ds s ds t
t
y t
t t
2 1
0 0
2
1
1 1 1 1
2
+ + + + +

( ) ( ) ( ) y t y s ds s
s
ds t
t t
t
t t
y t
t t
3 2
0
2
0
2 3 2 3
2
1 1 1
2
1
2 2 3
1
2 3
+ + + +

_
,

+ + +

+ + +

! !
y en general,
( ) ( )
( )
y t y s ds s
s s
n
ds t
t t t
n
n n
t
n
t
n
+ + + + + +

_
,

+ + + + +


1 1 1
2 1
1
2 3
1
0
2 1
0
2 3
!
...
! ! !
...
!
Sabemos que
...
!
...
!
+ + + + +
n
t
2
t
t 1 e
n 2
t
, as que ( ) limy t e
n
n
t

, lo que indica que las


iteraciones de Picard convergen a la funcin ( ) y t e
t
que es, claramente, la solucin del
P.V.I. dado.
Con base en algunos detalles adicionales en la prueba del teorema anterior, dicho teorema
puede ser expresado en los siguientes trminos:
Teorema 6.3 Si ( ) f t y , y
( )

f t y
y
,
son continuas en el rectngulo
( ) { }
R t y t t t a y y b + , , /
0 0 0
entonces el P.V.I.
( )
( )

'

y f t y
y t y
,
0 0
tiene una nica solucin ( ) y t en el intervalo t t t
0 0
+ , donde

_
,

Min a
b
M
, siendo
( )
( ) y , t f Mx M
R y , t

.
278 MTODOS NUMRICOS
__________________________________________________________________________________
Nota: Si en el teorema 6.3 se quita la condicin
( )

f t y
y
,
continua, entonces slo se puede
concluir la existencia de solucin en el intervalo indicado.
Ejemplo 6.2 Considere el P.V.I.
( )
( )
+

'

y y t
y
2 2
0 0
cos
y usemos el teorema 6.3 para demostrar que este P.V.I tiene una nica solucin en el
intervalo 0
1
2
,

1
]
1
. En efecto:
Sea
( ) R t y t y b

'

, / , 0
1
2
, entonces ( )
( )
f t y y t , cos +
2 2
y
( )

f t y
y
y
,
2 son
continuas en R .
Como
( )
( )
( )
( )
M Max f t y Max y t b
t y R t y R
+ +
, ,
, cos
2 2 2
1, entonces para que
1
2
1
2
1
2

+

_
,

Min
b
b
,
se requiere que
b
b 1
1
2
2
+

, pero dado que el mximo de la funcin
b
b 1
2
+
es
1
2
y ocurre en 1 b , entonces el P.V.I. dado tiene solucin nica para
2
1
t 0 , y
an ms, en este intervalo ( ) y t 1 ( porque b 1 ).
El siguiente teorema es de tipo diferente al del teorema 6.3, y nos permite concluir existencia
y unicidad de una solucin de un P.V.I. de la forma (6.1) en un intervalo prescrito [ ]
a b , .
Teorema 6.4 Si ( ) f t y , es continua en la franja
( ) { } + < < + y , a t t t / y , t
0 0
D
y satisface una desigualdad
( ) ( ) f t y f t y L y y , ,
1 2 1 2

(6.6)
para todo ( ) ( ) t y t y , , ,
1 2
D y alguna constante L, entonces el P.V.I.
( )
( )

'

y f t y
y t y
,
0 0
tiene una nica solucin ( ) y t en el intervalo
[ ]
t t a
0 0
, + .
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 279
__________________________________________________________________________________
Si la funcin ( ) f t y , satisface la desigualdad (6.6), decimos que ( ) f t y , satisface una
condicin de Lipschitz en la segunda variable y en D, y la constante L se llama constante
de Lipschitz para la funcin ( ) f t y , .
La condicin de Lipschitz se sigue si
( )

f t y
y
,
existe y est acotada en D. En general, se
tiene que: Si
( )

f t y
y
,
est definida en un conjunto convexo D R
2
y si existe una
constante L > 0 tal que
( )

f t y
y
L
,
para todo ( ) t y , D, entonces ( ) f t y , satisface una
condicin de Lipschitz en D para la variable y con constante de Lipschitz L .
En efecto:
Fijemos t y sean cualesquiera ( ) ( ) t y t y , , ,
1 2
D. Entonces aplicando el teorema del valor
medio a la funcin ( ) f t y , en la variable y, existe y
3
entre y
1 2
y y (aqu se necesita que D
sea convexo para garantizar la existencia de y
3
entre y
1 2
y y ) tal que
( ) ( )
( )
2 1 2 1
3
2 1
y y L y y
y
y , t f
y , t f y , t f


Luego ( ) f t y , satisface una condicin de Lipschitz en la variable y con constante de Lipschitz
L .
D R
2
se dice convexo si siempre que ( ) ( ) t y t y
1 1 2 2
, , , D, el punto
( ) ( ) ( )
1 1
1 2 1 2
+ + t y t y , D para 0 1 , es decir, el segmento de recta que une
los puntos ( ) ( ) t y t y
1 1 2 2
, , , D est totalmente contenido en D.
Las demostraciones de los teoremas anteriores, pueden consultarse en un texto sobre teora
de ecuaciones diferenciales ordinarias.
Ejemplo 6.3 El P.V.I.
( )

y
dy
dt t
y t e
t
+

'

2
1 0
2
tiene solucin nica en el intervalo
[ ]
12 , .
En efecto: Sea ( ) { }
D < < + / t y t y , , 1 2 . Entonces ( ) f t y
t
y t e
t
, +
2
2
es
continua en D, y como
280 MTODOS NUMRICOS
__________________________________________________________________________________
( ) ( )
( )
f
y y
t y f t y
t
y t e
t
y t e
t
y y
t
y y
t t
, ,
1 2 1
2
2
2
1 2 1 2 1 2
2 2
2 2
2
+

, para todo ( ) ( ) t y t y , , ,
1 2
D.
entonces ( ) f t y , satisface la condicin de Lipschitz con constante de Lipschitz L 2 .
Observe que esta vez fue fcil verificar la condicin de Lipschitz.
Como el dominio ( ) { }
D < < + / t y t y , , 1 2 es un conjunto convexo de R
2
, otra
forma de concluir sobre la condicin de Lipschitz en la segunda variable y en D es
estudiando
( )
D en
y
y , t f

.
Como
( )
t
2
y
y , t f

est definida en D y
( )
L 2
1
2
t
2
y
y , t f

para todo ( ) t y , D
entonces ( ) f t y , satisface una condicin de Lipschitz en la variable y con constante de
Lipschitz L 2.
Cul es la nica solucin del P.V.I. dado?
dy
dt t
y t e
dy
dt t
y t e
t t

_
,

+ +

_
,


2 2
2 2
: ecuacin diferencial ordinaria lineal de primer orden
con coeficientes variables.
( )
( )
t e e e t
t
x
dx
t
t

_
,


2
2 2
2
2
1
t ln
ln
es un factor integrante para la E.D.O. dada.
Multiplicando a ambos lados de dicha E.D.O. por
1
2
t
, obtenemos
1 2 1
2 3 2
t
dy
dt
t
y e
d
dt
t
y e
t t

_
,


Luego
1
2
t
y e dx
x
t

o sea
1
2
t
y e c
t
+ , c constante arbitraria
Por tanto la solucin general de la E.D.O.
dy
dt t
y t e
t
+
2
2
, es
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 281
__________________________________________________________________________________
( )
y t e c
t
+
2
c , constante arbitraria
Como ( )
( )
y e c 1 1 0
2 1
+ , entonces c e , y as ( )
( )
y t t e e
t

2
es la nica solucin del
P.V.I. dado.
Ejemplo 6.4 El P.V.I.
( )

'

y y t
y
2 0 1
0 0
1
2
,
tiene soluciones ( ) ( ) y t t t
1
2
0 y y
2
(Verifquelo). Por qu no contradice este hecho el
teorema 6.4?
Ejemplo 6.5 El P.V.I.
( )

y 0

'

y y e t
t
100 101 0 1
1
,
tiene solucin ( ) y t e
t


(Verifquelo). El problema perturbado
( )

y 0

+

'

y y e t
t
100 101 0 1
1
,

en el cual slo se ha modificado la condicin inicial en , tiene solucin ( ) y t e


t t
; +

e
100
(Verifquelo). Es claro que la solucin del problema perturbado y del problema original
pueden diferir mucho, an para valores pequeos de .
Los mtodos numricos que estudiaremos nos permitirn obtener valores aproximados de la
solucin ( ) y t de un P.V.I. de la forma
( )
( )

'


0 0
0
y t y
T t t , y , t f y
(6.7)
en puntos igualmente espaciados. Es decir, un mtodo numrico de los que estudiaremos
nos permitir obtener una aproximacin discreta de la solucin del P.V.I. dado (mtodo de
variable discreta), sto es, tomaremos valores t t t T
m 0 1
, ,..., igualmente espaciados,
digamos que m ,..., 1 , 0 k , h k t t
0 k
+ , y calcularemos, con la ayuda del mtodo numrico,
un valor Y
k
, el cual va a ser considerado como una aproximacin del valor de la solucin
exacta ( ) y t en t
k
, es decir,
( ) Y y t m
k k
, , ,..., k 01 . Luego lo que realmente obtendremos
ser una tabla de valores de la forma
282 MTODOS NUMRICOS
__________________________________________________________________________________
0
t
1
t
2
t ... t T
m

Y
0
Y
1
Y
2
... Y
m
TABLA 6.1
Para una tabla como la anterior podremos hacer una interpolacin segmentaria cbica u otro
tipo de aproximacin para obtener una solucin aproximada continua del P.V.I. dado.
En este contexto los nmeros m ,..., 1 , 0 k , h k t t
0 k
+ , se llamarn puntos de red, y el
nmero h se llamar tamao de paso.
En lo que sigue la solucin nica del P.V.I. (6.7) la notaremos ( ) t y .
Nuestro primer paso en un mtodo numrico es determinar
1
Y a partir de ( )
0 0
Y t
(condicin inicial) y de ( ) ( ) ( ) ( )
0 0 0 0 0
y , t f t , t f t (obtenida de la ecuacin diferencial
( ) y , t f
dt
dy
); conocido
1
Y determinamos
2
Y y as sucesivamente. Para determinar
2
Y
podemos usar el mismo mtodo que lleva de Y
0
a Y
1
o podemos aplicar un mtodo
diferente en el cual se use el conocimiento de Y
0
y Y
1
.
Los mtodos numricos que slo requieren del conocimiento de Y
k
para determinar Y
k+1
, es
decir, Y
k+1
depende nicamente de Y
k
, y el conocimiento de los valores aproximados
Y Y Y
k k 1 2 0
, ,..., no se usa, se conocen como mtodos de un escaln, de un paso o de
arranque. Si para calcular Y
k+1
se usan dos o ms valores previamente calculados,
digamos por ejemplo Y
k
, Y
k1
, Y
k2
, el mtodo se dice mtodo de varios escalones,
multipaso o prolongado.
Es claro que si se va a usar un mtodo prolongado que comprenda Y
k
y Y
k1
, debe usarse
un mtodo de arranque en el primer paso para determinar
1
Y , y entonces se usa el mtodo
prolongado para determinar Y Y
2 3
, ,... .
Observe la FIGURA 6.1 siguiente, donde aparece la grfica de la solucin exacta ( ) y t de
un P.V.I. del tipo (6.7) y los puntos ( ) t Y m
k k
, , , ,..., k 01 .
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 283
__________________________________________________________________________________
FIGURA 6.1
Una solucin aproximada obtenida por un mtodo numrico puede no darnos una buena
informacin acerca del comportamiento de la solucin exacta. Por una parte se tiene el
problema de la convergencia del mtodo: A medida que la distancia entre los puntos
t
m 0 1
, ,..., t t tiende a cero, los valores de la solucin numrica Y Y Y
m 0 1
, ,..., se aproximan a
los correspondientes valores de la solucin exacta? Tambin est el problema de la
consistencia y la estabilidad del mtodo numrico.
Estos temas no sern tratados aqu, pero pueden ser consultados en Kincaid, 1972, captulo
8.
Aqu nos preocuparemos del error de frmula asociado con el mtodo numrico usado para
calcular los valores Y Y Y
m 0 1
, ,..., .
Antes de estudiar algn mtodo numrico consideremos las siguientes notaciones.
Notacin: La solucin exacta del P.V.I., con solucin nica,
( )
( )

'


0 0
0
y t y
T t t , y , t f
dt
dy

se denotar por ( ) y t , como ya se haba indicado.
Para un mtodo numrico dado, los smbolos ( ) Y Y f t Y
k k k k
, , denotarn los valores
aproximados (obtenidos mediante la aplicacin del mtodo numrico) de la solucin exacta y
su derivada, respectivamente, en el punto de red t
k
, es decir, ( ) Y t
k k
, y
284 MTODOS NUMRICOS
__________________________________________________________________________________
( ) ( ) ( ) ( ) Y f t Y f t t t
k k k k k k
, , . Es claro que ( ) t Y
0 0
, pero en general,
( ) t Y
k k
, k 1, del mismo modo ( ) ( ) t Y f t Y
0 0 0 0
, , pero en general ( ) t Y
k k
, k 1.
En cualquiera de los mtodos numricos que estudiaremos, usaremos siempre un mismo
espaciamiento o tamao de paso h sobre el eje t, as que
t t kh m
k
+
0
01 , , ,..., k
6.1 MTODO DE EULER O DE LA RECTA TANGENTE
Este es un mtodo de un paso para obtener valores aproximados de la solucin ( ) t y de
un P.V.I., con solucin nica,
( )
( )

'


0 0
0
y t y
T t t , y , t f
dt
dy

y hace uso de la recta tangente.
Como se conocen t
0
, ( ) Y t
0 0
y ( ) ( ) ( ) ( ) Y t f t t f t Y
0 0 0 0 0 0
, , , tambin se conoce la
pendiente de la recta tangente a la curva solucin ( ) y t en t
0
, y obtenemos un valor
aproximado Y
1
de ( ) t
1
movindonos a lo largo de dicha recta tangente desde t
0
hacia t
1
(ver la FIGURA 6.2).
Como
( )
Y Y
t t
t
1 0
1 0
0


entonces despejando Y
1
de la ecuacin anterior, se obtiene
( ) ( )
( ) ( )
Y Y t t t
Y t t f t Y
1 0 1 0 0
0 1 0 0 0
+
+

,
Una vez determinado Y
1
, podemos calcular
( ) Y f t Y
1 1 1
, que es un valor aproximado de
( ) ( ) ( )
t f t t
1 1 1
, : pendiente de la recta tangente a la curva solucin exacta en el punto t
1
.
Usando esta aproximacin de la pendiente, obtenemos
Y Y
t t
Y
2 1
2 1
1


y despejando Y
2
, obtenemos
( )
( ) ( )
Y
2 1 2 1 1
1 2 1 1 1
+
+
Y t t Y
Y t t f t Y ,
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 285
__________________________________________________________________________________
FIGURA 6.2
En general, conocido ( ) Y t
k k
, obtenemos ( ) Y t
k k + +

1 1
mediante la frmula
( ) ( ) Y
k k k k k k
Y t t f t Y
+ +
+
1 1
,
y como el tamao de paso h entre los puntos de red t t t
m 0 1
, ,..., es uniforme, entonces
t t h
k k +
+
1
, y obtenemos la frmula de Euler:
( )
( ) ( )

t y y Y
1 m ,..., 1 , 0 k , Y , t hf Y Y

0 0 0
k k k 1 + k

'


+
Algoritmo 6.1 (Euler) Para encontrar una aproximacin discreta de la solucin del P.V.I., con
solucin nica,
( )
( ) ( ) ( )

'



0 0 0
0
t y y t y
T t t , y , t f y
en m+1 nmeros igualmente espaciados a partir del nmero inicial t
0
:
Entrada: La funcin ( ) f t y , , los valores iniciales t
0
y y
0
, un entero m y el tamao de paso h.
Salida: Aproximacin Y de la solucin ( ) y t en los m+1 puntos t t t h t t mh
m 0 1 0 0
, ,..., + + .
Paso 1: Hacer t t y
0 0
, Y .
286 MTODOS NUMRICOS
__________________________________________________________________________________
Salida: ( ) t Y , .
Paso 2: Para k m 12 , ,..., , seguir los pasos 3 y 4:
Paso 3: Hacer ( ) Y Y hf t Y + , (calcula Y
k
)
t t kh + (Calcula t
k
)
Paso 4: Salida: ( ) t Y , .
Paso 5: Terminar.
Ejemplo 6.6 Consideremos el P.V.I. con solucin nica
( )

'

+
0 1 y
2 t 1 , e t y
t
2
dt
dy

t 2
Usando la frmula de Euler con tamao de paso h .1, determinemos un valor aproximado
de la solucin ( ) y t en t 12 . .
Solucin: Como h .1, entonces t
0 1 2
10 11 12 . . . , t , t , as que necesitamos calcular
Y
2
. En este ejemplo ( ) f t y
t
y t e
t
, +
2
2
, por lo tanto
( ) ( ) Y t
0 0
1 0
( )
( )
( )
( )
Y Y hf t
f
1 0 0 0
0 1 100
12718282
2718282 11
+
+


,Y
,


. .
. .
. .
( )
( )
( )
Y Y hf t Y
f
2 1 1 1
2718282 1 11 2718282
6847556 12
+
+

,
,

. . . .
. .
Como la solucin exacta del P.V.I. dado es ( )
( )
t t e e
t

2
, entonces el valor exacto de
( ) 12 . es ( ) ( )
( )
12 12 8666425
2
12
. . .
.
e e , con lo cual el error real en la aproximacin
calculada es
( ) 12 8666425 6847556 1818869
2
. . . . Y
lo que no asegura alguna cifra decimal exacta de precisin en la aproximacin de ( ) 12 . .
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 287
__________________________________________________________________________________
Si reducimos el tamao de paso a la mitad, es decir, tomamos h .05, entonces para
aproximar ( ) 12 . , debemos tomar t
0 1 2 3 4
100 105 110 115 120 . . . . . , t , t , t , t , as que
debemos calcular Y
4
.
Y
0
0
( )
( )
( )
Y Y hf t Y
f
1 0 0 0
0 05 1000
1359141 105
+
+

,
,

. .
. .
( )
( )
( )
Y Y hf t Y
f
2 1 1 1
1359141 05 105 1359141
3063863 110
+
+

,
,

. . . .
. .
( )
( )
( )
Y Y hf t Y
f
3 2 2 2
3063863 05 110 3063863
5159917 115
+
+

,
,

. . . .
. .
( )
( )
( )
Y Y hf t Y
f
4 3 3 3
5159917 05 115 5159917
7696960 120
+
+

,
,

. . . .
. .
Obsrvese que el error real es ahora . . . 8666425 7696960 0969466 , que es
aproximadamente igual a la mitad del error en t 12 . , con h .1, as que el valor obtenido
disminuyendo el tamao de paso, h, es una mejor aproximacin del valor exacto ( ) 12 . . Si
se sigue disminuyendo el tamao de paso se obtienen mejores resultados. Hasta dnde se
puede disminuir el tamao de paso de modo que los resultados numricos obtenidos todava
sean tiles? La respuesta a esta pregunta la da el estudio de la regin de estabilidad
absoluta del mtodo de Euler, pero este tema no ser estudiado aqu. Hay otros
procedimientos que darn resultados mas satisfactorios sin usar un tamao de paso muy
pequeo.
Si usamos tamao de paso h.05, los valores aproximados de la solucin exacta en los
puntos de red
t
5 6 7 8 9 10 11 13
125 130 135 140 145 150 155 160 165 . . . . . . . . . , t , t , t , t , t , t , t , t
12
t , t , t , t , t , t , t
19 14 15 16 17 18 20
170 175 180 185 190 195 200 . . . . . . .
se dan en la TABLA 6.2. La grfica de la FIGURA 6.3, muestra la curva
( )
( )
y t t e e
t

2
, solucin del problema de valor inicial del ejemplo 6.1, y los puntos
( ) t ,Y , k 0,1,...,20
k k
correspondientes a las aproximaciones calculadas por el mtodo de
Euler con h t para . . . 05 10 20.
288 MTODOS NUMRICOS
__________________________________________________________________________________
k t
k
Y
k ( ) y t
k
Error
5 1.25 1.0728858 1.2063456 .1334598
6 1.30 1.4313997 1.6072151 .1758154
7 1.35 1.8515629 2.0760894 .2245265
8 1.40 2.3402236 2.6203596 .2801360
9 1.45 2.9047920 3.2480107 .3432187
10 1.50 3.5532824 3.9676663 .4143839
11 1.55 4.2943579 4.7886350 .4942771
12 1.60 5.1373786 5.7209615 .5835829
13 1.65 6.0924530 6.7754803 .6830273
14 1.70 7.1704927 7.9638735 .7933808
15 1.75 8.3832717 9.2987326 .9154609
16 1.80 9.7434894 10.7936247 1.0501353
17 1.85 11.2648372 12.4631628 1.1983256
18 1.90 12.9620715 14.3230815 1.3610100
19 1.95 14.8510897 16.3903179 1.5392282
20 2.00 16.9490133 18.6830971 1.7340838
TABLA 6.2
En esta tabla el error k-simo es ( ) y t Y
k k
.
Instruccin en DERIVE:
EULER( ( ) f t y t y t y h m , , , , , , ,
0 0
): aproXima los valores Y Y Y
m 0 1
, ,..., obtenidos al aplicar el
mtodo de Euler al P.V.I.
( )
( )
dy
dt
f t y
y t y

'

,
0 0
, con m pasos de tamao h. Si se grafica la matriz
resultante al aplicar el mtodo de Euler, se visualiza un conjunto de puntos que aproxima la
curva solucin del P.V.I. dado. Para el ejemplo anterior, aproXime la expresin
EULER(
2
10 005 20
2
t
y t t t y + exp( ), , , , , , . ).
Otra forma de deducir la frmula del mtodo de Euler par encontrar una aproximacin de la
solucin ( ) y t del P.V.I. con solucin nica
( )
( )

'


0 0
0
y t y
T t t , y , t f
dt
dy
es usando el desarrollo en serie de Taylor para la funcin
( ) y t .
Supongamos que la funcin ( ) y t tiene un desarrollo en serie de Taylor alrededor del
punto t
k
, entonces
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 289
__________________________________________________________________________________
( ) ( ) ( ) ( )
( )
( )
( )
( )
( ) t h
t
t h t
h
t
h
n
t
h
n
k
k
k k k
n
n
k
n
n
k
+ + + + + +
+
+
+
+
1
2 1
1
2 1
"# $ % $
!
...
! !
o bien
( ) ( ) ( ) ( ) ( )
( )
( )
( )
( )
( ) t t hf t t
h
t
h
n
t
h
n
k k k k k
n
n
k
n
n
k +
+
+
+ + + + +
+
1
2 1
1
2 1
,
!
...
! !
con
k
algn nmero entre t t h
k k k
y t
+
+
1
.
FIGURA 6.3
Si la serie de Taylor se termina despus de los dos primeros trminos, y ( ) t
k+1
, ( ) t
k
se
reemplazan por sus valores aproximados Y
k+1
y Y
k
, respectivamente, se obtiene
nuevamente la frmula de Euler
( ) Y Y hf t Y
k k k k +
+
1
,
Si se conservan ms trminos de la serie de Taylor se obtiene una frmula ms precisa.
Tambin podemos obtener la formula de Euler integrando a ambos lados de la ecuacin
( ) ( ) ( )
t f t t , con respecto a t entre t
k
y t
k+1
290 MTODOS NUMRICOS
__________________________________________________________________________________
( ) ( ) ( )

+ +

t dt f t t dt
t
t
t
t
k
k
k
k 1 1
,
lo que nos da
( ) ( ) ( ) ( )
( )
t t f t t dt
k k
t
t
k
k
+

1
1
,
" # $ % $$
y aproximamos la integral
( )
reemplazando ( ) ( )
f t t , por su valor en t t
k
, ( ) ( )
f t t
k k
, . La
FIGURA 6.4 muestra la situacin grfica correspondiente a la aproximacin de la integral.
FIGURA 6.4
Entonces
( ) ( ) ( ) ( )( )
( ) ( ) ( )


t t f t t t t
t hf t t
k k k k k k
k k k
+ +
+
+
1 1
,
,
y reemplazando ( ) t
k+1
y ( ) t
k
por sus valores aproximados Y Y
k k +1
y , respectivamente,
obtenemos
( ) Y Y hf t Y
k k k k +
+
1
,
Error en la frmula de Euler: Supongamos que la solucin ( ) y t del P.V.I. con solucin
nica
( )
( )

'


0 0
0
y t y
T t t , y , t f
dt
dy
tiene segunda derivada continua en el intervalo de inters, lo cual es equivalente a que
( )
( )
( )
( )
( ) f t y
f t y
t
f t y
f t y
y
f t y
t y
, ,
,
, ,
,
,

son continuas en la regin de inters, pues


( ) ( ) ( )
t f t t ,
y entonces
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 291
__________________________________________________________________________________
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
+
+


t f t t f t t t
f t t f t t f t t
t y
t y
, ,
, , ,
Usando la frmula de Taylor con residuo para ( ) t alrededor de t
k
, obtenemos
( ) ( ) ( )
( ) ( )
( )

t h
t
t h t
f t t
h
k
k
k k
k k
k
+ + +
+1
2
2
"# $ % $ "#%
,
!
donde
k
es algn nmero entre t
k
y t t h
k k +
+
1
, y entonces
( ) ( ) ( ) ( ) ( ) ( )
[ ]
( )
[ ]
( ) ( ) ( )
[ ]
( )


t Y t hf t t
h
Y hf t Y
t Y h f t t f t Y
h
k k k k k k k k k
k k k k k k k
+ +
+ +

1
]
1
1
+
+ +
1 1
2
2
2
2
, ,
, ,
Si suponemos que en el paso k-simo ( ) Y t
k k
(para poder cuantificar el cambio al pasar
de t
k
a t
k+1
), entonces el error local debido a la aplicacin de la frmula de Euler en el paso
de t
k
a t
k+1
, es
( ) ( ) , k=0,1,...,m 1
+ + + k k k k
t Y
h
1 1 1
2
2

El error acumulado (total) E
T
debido a la aplicacin de la frmula de Euler desde
0
t hasta
T t
m
, es decir, la acumulacin de todos los errores locales al aplicar la frmula de Euler en
todo el intervalo [ ]
t t T
m 0
, , es
( )
( )
( ) [ ]
( ) [ ]
( ) [ ]
E con
con
con
T k
k
m
k
k
m
h h
m t T
h T t
m
m t T
h
T t
t T

_
,

1
0
1
2
0
1
2
0
0
0
0
0
2 2
2
2



,
,
,
(La explicacin de la igualdad
( )
se debe a la aplicacin del teorema del valor intermedio
para funciones continuas)
Si
[ ]
( ) M Max t
t t t
m

0
,
(recuerde que estamos asumiendo que
( ) t
es continua en [ ]
t t
m 0
, ),
entonces
+ k
h
M
1
2
2
y M
2
t T
h E
0
T

para cualquier tamao de paso h, es decir,
( )

+ k
O h
1
2
, y ( ) E O h
T
.
El problema es estimar M; sin embargo observe que M no depende de h, as que si h se
reduce a la mitad, la cota del error total se reduce tambin a la mitad, es por esto que
292 MTODOS NUMRICOS
__________________________________________________________________________________
reduciendo el tamao de paso h, se reduce el error total (recuerde que t T
m
y m es el
nmero de pasos necesarios para alcanzar el valor T iniciando en t
0
, es decir, m
T t
h


0
).
En general se tiene que: si el error local en un mtodo numrico es
( )
O h
n+1
, entonces el
error total es
( )
O h
n
, ya que si
k independiente de h
+
k
n
Ch m con C
1
12 , , ,...,
entonces
E Ch mCh
T k
k
m
k
k
m
n
k
m
n


+

+

1 1
1
1
1
pero m
t t
h
T t
m
m


0 0
, as que
( ) E h
T t
m
mC h T t C
T
n n



0
0
lo que significa que
( )
E O h
T
n
.
Otro tipo de error que est presente en los clculos numricos es el error de redondeo y se
debe, como ya se ha mencionado antes, a la limitacin en la precisin de la herramienta de
clculo. El error de redondeo local en un mtodo numrico es el error en cada etapa
debido a la herramienta de clculo y el error de redondeo global o total es la acumulacin
de los errores locales. El error total es la suma del error global debido a la frmula y el error
de redondeo global.
Si el error total debido a la frmula (error de truncamiento total) en un mtodo numrico es
( )
E O h
T
n
, el mtodo numrico se dice de orden n.
De acuerdo con esta definicin el mtodo de Euler es de orden uno.
Apliquemos el mtodo de Euler a cada una de los problemas de valor inicial de los ejemplos
6.7 y 6.8.
Ejemplo 6.7 Para el P.V.I., con solucin nica,
( )

y
+

'

y t e t
t
sen , 0 1
0 0
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 293
__________________________________________________________________________________
los resultados obtenidos al aplicar el mtodo de Euler con h.1, para resolver el P.V.I. dado
en el intervalo
[ ]
01 , , se muestran en la TABLA 6.3 siguiente.
k t
k
Y
k ( ) y t
k
Error
0 0 0 0 0
1 .1 .1000000 .1001584
1584 10
4
.

2 .2 .2004671 .2012027
7356 10
4
.

3 .3 .3022071 .3038453
16382 10
3
.

4 .4 .4058409 .4086190
27781 10
3
.

5 .5 .5118148 .5158868
4072 10
3
.

6 .6 .6204104 .6258527
54423 10
3
.

7 .7 .7317558 .7385725
68167 10
3
.

8 .8 .8458361 .8539643
81282 10
3
.

9 .9 .9625046 .9718204
93158 10
3
.

10 1.0 1.0814943 1.0918183 .0103240
TABLA 6.3
El error k-simo que aparece en la TABLA 6.3 corresponde al error total, es decir, a la suma
del error debido a la frmula y el error de redondeo. La solucin exacta del problema de
valor inicial dado es ( ) y t t e
t
+

cos 2 . La grfica de la solucin exacta y los puntos


( ) t Y
k k
, obtenidos al aplicar el mtodo de Euler se muestran en la FIGURA 6.5 siguiente.
FIGURA 6.5
Ejemplo 6.8 El P.V.I. dado es
( )
( )
,
y 1
+

'

y
t
y y t
1
1 3
2
2
294 MTODOS NUMRICOS
__________________________________________________________________________________
y se pide aproximar su solucin exacta ( ) y t
t
t

2
1 2
en el intervalo
[ ]
13 , , usando el mtodo
de Euler con tamao de paso h.2.
Los resultados de los clculos se muestran en la TABLA 6.4 siguiente, y la FIGURA 6.6
muestra la grfica de la solucin exacta y los puntos ( ) t Y
k k
, correspondientes a las
aproximaciones calculadas.
k t
k
Y
k
0 1.0 20 .
1 1.2 16 .
2 1.4 144 .
3 1.6 13494857 .
4 1.8 12905325 .
5 `2.0 12488723 .
6 2.2 12177913 .
7 2.4 11936800 .
8 2.6 11744140 .
9 2.8 11586575 .
10 3.0 11455268 .
TABLA 6.4
FIGURA 6.6
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 295
__________________________________________________________________________________
6.2 UN MTODO DE EULER MEJORADO
Considere el P.V.I. bien planteado
( )
( )
t,y
y

'

y f
t y
0 0
Suponiendo que ( ) y t es la solucin exacta de este P.V.I. se tiene que ( ) ( ) ( )
t f t t , e
integrando a ambos lados con respecto a t, desde t
k
a t
k+1
, obtenemos
( ) ( ) ( ) ( )
( )
t t f t t dt
k k
t
t
k
k
+

+
+

1
1
,
" # $ % $$
Si aproximamos ahora la integral () de manera ms exacta a la aproximacin que se hizo en
el mtodo de Euler, aproximando el integrando por la media aritmtica de sus valores en los
extremos del intervalo (regla de los Trapecios, ver la FIGURA 6.7), es decir, por
( ) ( ) ( ) ( ) { }
1
2
1 1
f t t f t t
k k k k
, , +
+ +
obtenemos
( ) ( )
( )
( ) ( ) ( ) ( ) { }
t t
t t
f t t f t t
k k
k k
k k k k +
+
+ +
+

+
1
1
1 1
2
, ,
FIGURA 6.7
296 MTODOS NUMRICOS
__________________________________________________________________________________
Reemplazando ( ) t
k
por
Y
k
y ( ) t
k k + + 1 1
por Y , en la relacin anterior, y escribiendo el
resultado como una ecuacin, obtenemos
( ) ( )
[ ]
Y Y
h
f t Y f t Y
k k k k k k + + +
+ +
1 1 1
2
, , (6.8)
Como la incgnita Y
k+1
aparece como uno de los argumentos en el segundo miembro de la
ecuacin (6.8) (en este caso el mtodo se dice implcito), lo que har, por lo general, difcil
de resolver esta ecuacin para Y
k+1
, reemplazamos Y
k+1
en el segundo miembro de la
ecuacin (6.8) por el valor que se obtuvo usando la frmula de Euler sencilla (el mtodo se
convierte en explcito), con lo que obtenemos
( ) ( ) ( ) [ ]
( ) ( )

t y y Y
1 m 0,1,..., = k , Y , t hf Y , t f Y , t f
2
h
Y Y

0 0 0
k k k 1 k k k k 1 k

'


+ + +
+ +
(6.9)
o equivalentemente
( )
( ) ( ) [ ]
( ) ( )

t y y Y
Y , t f Y , t f
2
h
Y Y
1 m ,..., 1 , 0 k
Y , t hf Y Y

0 0 0
1 k 1 k k k k 1 k
k k k 1 k

'


+ +

+

+ + +

+
(6.10)
La ecuacin (6.9) o la ecuacin (6.10) dan una frmula para calcular ( ) Y t
k k + +

1 1
en
trminos de los datos en t
k
, y se conoce como frmula de Euler mejorada o mtodo
predictor-corrector de Euler.
Es mejorada, respecto a la frmula de Euler sencilla, porque se puede demostrar que el
error local de frmula es, en este caso,
( )
O h
3
como en la regla de los Trapecios, mientras
que en el de Euler es
( )
O h
2
, y el error total de frmula es
( )
O h
2
, mientras que en Euler es
( ) O h . De acuerdo con lo anterior, la frmula de Euler-mejorada es de orden dos.
Observe que en la frmula de Euler mejorada se obtiene una mayor exactitud a expensas de
un trabajo de clculo mayor, ya que para ir de t
k
a t
k+1
hay que evaluar dos veces la funcin
( ) f t y , .
Ejemplo 6.9 Consideremos el mismo P.V.I del ejemplo 6.6
( )

'

+
0 1 y
2 t 1 , e t y
t
2
y
t 2
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 297
__________________________________________________________________________________
y usemos el mtodo de Euler mejorado para aproximar ( ) 12 . , donde ( ) y t es solucin
exacta del P.V.I. dado.
Si h.1, entonces t
0 1 2
10 11 12 . . . , t y t , as que debemos calcular Y
2
.
( ) ( ) Y y t y
0 0
1 0
( ) ( )
( ) ( ) [ ] ( ) ( ) [ ] ( )

'

+ + + +
+ +

1 1 3423778 2718282 , 1 1 f 0 , 0 1 f
2
1
0 Y , t f Y , t f
2
h
Y Y
2718282 e 1 0 , 0 1 f 1 0 Y , t hf Y Y
1 1 0 0 0 1
0 0 0 1
. . . . .
.
. . . .
( ) ( )
( )
( )
[ ]
( ) ( )
[ ]
( )
Y Y hf t Y f
Y Y
h
f t Y f t Y f f
2 1 1 1
2 1 1 1 2 2
3423778 1 11 3423778 7681324
2
3423778
1
2
11 3423778 12 7681324
8583146 12 8666425

+ +
+ + + +

'

, ,
, , , ,

. . . . .
.
.
. . . .
. . .
El error real es ( ) y Y 12 83279 10 5 10
2
3 2
. . <

, lo que asegura una precisin de la
primera cifra decimal exacta en la aproximacin obtenida (8).
Para h .05, se obtienen los resultados que se muestran en la TABLA 6.5.
De acuerdo con los resultados que aparecen en la TABLA 6.5, el valor calculado
Y
4
8642907 . aproxima al valor exacto
( ) y 12 8666425 . . con dos cifras decimales exactas.
La FIGURA 6.8 muestra la grfica de la solucin del P.V.I. del ejemplo 6.9, junto con los
puntos ( ) t Y
k k
, correspondientes a las aproximaciones obtenidas usando el mtodo de Euler
mejorado, y que aparecen en la TABLA 6.5.
Compare los resultados obtenidos por el mtodo de Euler mejorado con los obtenidos por el
mtodo de Euler. Se observa alguna relacin en los clculos numricos con respecto a los
resultados tericos esperados?
Ejemplo 6.10 Para el P.V.I.
( )
sent ,
y
+

'

y e t
t
0 1
0 0
si usamos el mtodo de Euler mejorado con tamao de paso h.1 para resolver este P.V.I.,
en el intervalo indicado, se obtienen los resultados que se muestran en la TABLA 6.6. La
grfica de la solucin exacta de este P.V.I., ( ) y t e
t
+

cost 2, junto con los puntos


298 MTODOS NUMRICOS
__________________________________________________________________________________
( ) t Y
k k
, corespondientes a las aproximaciones calculadas que aparecen en la TABLA 6.6, se
muestran en la FIGURA 6.9.
k t
k
Y
k ( ) y t
k
Error
0 1.00 0 0 0
1 1.05 .1531932 .1536546
4614 10
4
.

2 1.10 .3449150 .3459199
10049 10
3
.

3 1.15 .5801485 .5817824
16339 10
3
.

4 1.20 .8642907 .8666425
23518 10
3
.

5 1.25 1.2031831 1.2063455
31624 10
3
.

6 1.30 1.6031459 1.6072151
40692 10
3
.

7 1.35 2.0710137 2.0760894
50757 10
3
.

8 1.40 2.6141742 2.6203596
61854 10
3
.

9 1.45 3.2406089 3.2480107
74018 10
3
.

10 1.50 3.9589377 3.9676663
87286 10
3
.

11 1.55 4.7784656 4.7886350 .0101694
12 1.60 5.7092339 5.7209615 .0117276
13 1.65 6.7620734 6.7754803 .0134069
14 1.70 7.9486627 7.9638735 .0152108
15 1.75 9.2815897 9.2987326 .0171443
16 1.80 10.7744178 10.7936247 .0192069
17 1.85 12.4417567 12.4631628 .0214061
18 1.90 14.2993372 14.3230815 .0237443
19 1.95 16.3640929 16.3903179 .0290861
20 2.00 18.6542453 18.6830971 .0288518
TABLA 6.5
Ejemplo 6.11 Para el P.V.I.
( )
( )
,
y
+

'

y
t
y y t
1
1 3
1 2
2
al usar el mtodo de Euler mejorado con tamao de paso h.2 para resolver este P.V.I. en
el intervalo indicado, se obtienen los resultados que aparecen en la TABLA 6.7 .
La FIGURA 6.10 muestra la grfica de la solucin exacta de este P.V.I., junto con los puntos
( ) t Y
k k
, , correspondientes a las aproximaciones obtenidas al aplicar el mtodo de Euler
mejorado y que aparecen en la TABLA 6.7.
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 299
__________________________________________________________________________________
FIGURA 6.8
k t
k
Y
k
0 0 0
1 .1 .1002335
2 .2 .2013371
3 .3 .3040240
4 .4 .4088279
5 .5 .5161126
6 .6 .6260831
7 .7 .7387960
8 .8 .8541704
9 .9 .9919994
10 1.0 1.0919618
TABLA 6.6
6.3 MTODO DE LOS TRES PRIMEROS TRMINOS DE LA SERIE DE TAYLOR
Si ( ) y t es la solucin exacta del P.V.I. con solucin nica
( )
( )

'


0 0
0
y t y
T t t , y , t f y
300 MTODOS NUMRICOS
__________________________________________________________________________________
y suponemos que ( ) t tiene al menos las tres primeras derivadas continuas en el
intervalo de inters
[ ]
t T
0
, (equivalentemente
( ) f t y , tiene segundas derivadas parciales
continuas), entonces usando la serie de Taylor con residuo para ( ) t alrededor de t
k
,
obtenemos
( ) ( ) ( ) ( ) ( ) t h t h t
h
t
h
k k k k k
+ + + +
2 3
2 3 ! !
(6.11)
donde t t h t
k k k k
< < +
+

1
.
FIGURA 6.9
k t
k
Y
k
0 1.0 0000000 2.
1 1.2 7200000 1.
2 1.4 5612725 1.
3 1.6 4595385 1.
4 1.8 3889051 1.
5 2.0 3370438 1.
6 2.2 2973648 1.
7 2.4 2660334 1.
8 2.6 2406693 1.
9 2.8 2197173 1.
10 3.0 2021193 1.
TABLA 6.7
Como ( ) ( ) ( )
t f t t , , entonces ( ) ( ) ( ) ( ) ( ) ( ) + t f t t f t t t
t y
, , , y por tanto
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 301
__________________________________________________________________________________
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
+
+


t f t t f t t t
f t t f t t f t t
k t k k y k k k
t k k y k k k k
, ,
, , ,
FIGURA 6.10
Reemplazando en la ecuacin (6.11), ( ) t
k
por su valor aproximado Y
k
, ( ) t
k
por su valor
aproximado ( ) f t Y Y
k k k
, y ( ) t
k
por su valor aproximado ( ) ( ) ( ) f t Y f t Y f t Y Y
t k k y k k k k k
, , , +
y despreciando el trmino de error ( )
h
k
3
3!
, obtenemos la siguiente frmula para el valor
Y
k+1
aproximacin de ( ) ( ) t h t
k k
+
+1
:
( ) ( )

t y y Y
1 m 0,1,..., k , Y
2
h
Y h Y Y

0 0 0
k
2
k k 1 k

'


+ +
+
(6.12)
que se conoce como frmula de los tres primeros trminos de la serie de Taylor.
El error local en la frmula (6.12) es
( ) ( ) con t t , k=0,1,...,m 1
k k+1
< <
+ + + k k k k k
t Y h
1 1 1
3
1
6
,
302 MTODOS NUMRICOS
__________________________________________________________________________________
por lo tanto el error local es proporcional a h
3
, como lo es para la frmula de Euler mejorada,
es decir,
( )

k
3
O h , k 1,2,...,m. Entonces el error total debido a la frmula (6.12) es
( )
O h
2
, as que este mtodo es de orden dos.
Nota: La frmula de los tres primeros trminos de la serie de Taylor requiere el clculo de
( ) f t y
t
, y ( ) f t y
y
, , y despus la evaluacin de estas funciones y de ( ) f t y , en el punto ( ) t Y
k k
, ,
cosa que en algunos problemas puede ser difcil o bastante tedioso de calcular. Si este es el
caso, puede ser mejor usar una frmula con precisin comparable, como la frmula de Euler
mejorada, que no requiere de ( ) f t y
t
, ni de ( ) f t y
y
, .
Ejemplo 6.12 Si aplicamos el mtodo de los tres primeros trminos de la serie de Taylor
para obtener valores aproximados de la solucin del P.V.I.
( )
dy
dt t
y t e t
y
t
+

'

2
1 2
1 0
2
,
con tamao de paso h.1, se obtienen los resultados que aparecen en la TABLA 6.8
siguiente.
k t
k
Y
k
0 1.0 0
1 1.1 .3397852
2 1.2 .8521434
3 1.3 1.5817695
4 1.4 2.5809966
5 1.5 3.9109846
6 1.6 5.6430810
7 1.7 7.8603816
8 1.8 10.6595145
9 1.9 14.1526821
10 2.0 18.4699945
TABLA 6.8
Instruccin en DERIVE:
TAYLOR3( ( ) f t y t y t y h m , , , , , , ,
0 0
): aproXima los valores Y Y Y
m 0 1
, ,..., obtenidos al aplicar el
mtodo de los tres primeros trminos de la serie de Taylor al P.V.I.
( )
( )
dy
dt
f t y
y t y

'

,
0 0
con m pasos
de tamao h. Para el ejemplo anterior, aproXime la expresin
TAYLOR3( ( )
2
10 0110
2
t
y t t t y + exp , , , , , , . ).
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 303
__________________________________________________________________________________
Compare el valor obtenido ( ) Y
2
8521434 12 . . , utilizando el mtodo de los tres primeros
trminos de la serie de Taylor, con el correspondiente valor obtenido por el mtodo de Euler
mejorado.
Veamos cul es la frmula de avance del mtodo de los tres primeros trminos de la serie de
Taylor para este ejemplo.
Como ( ) f t y
t
y t e
t
, +
2
2
, entonces ( ) f t y
t
y t e te
t
t t
, + +
2
2
2
2
,
( ) f t y
t
y
,
2
, as que la frmula
de avance en el mtodo de los tres primeros trminos de la serie de Taylor, para este caso,
es
Y Y hY
h
Y
Y
k k k k +
+ +

'

1
2
0
2
01 9
0 1
, , ,...,
,
k
h .
con
( ) + Y f t Y
t
Y t e
k k k
k
k k
t
k
,
2
2
( ) ( ) ( ) +
+ + +
Y f t Y f t Y f t Y
t
Y t e t e
t
Y
k t k k y k k k k
k
k k
t
k
t
k
k
k k
, , ,
2
2
2
2
2

Como ejercicio aplique la frmula de los tres primeros trminos de la serie de Taylor para
obtener valores aproximados de la solucin exacta en cada uno de los P.V.I. dados en los
ejemplos anteriores.
Si se toman ms trminos en la serie de Taylor de la funcin ( ) t alrededor del punto
t
k , se
obtienen frmulas de mayor precisin. Es posible desarrollar frmulas con la precisin de las
frmulas de tres o ms trminos de la serie de Taylor, en las que no aparezcan derivadas
parciales de ( ) f t y , . El desarrollo de estas frmulas lo inici Carl Runge (1.856-1.927) y lo
continu G. Kutta (1.867-1.944), matemticos aplicados alemanes.
6.4 MTODO DE RUNGE-KUTTA
El mtodo de Runge-Kutta se fundamenta en el mtodo de la serie de Taylor, buscando la
exactitud de este mtodo pero sin tener que calcular derivadas parciales de la funcin
( ) f t y , .
Existen mtodos de Runge-Kutta de diferentes ordenes, el orden lo define el orden de la
derivada en el trmino de la serie de Taylor donde sta se corte.
Consideremos el P.V.I.
( )
( )

'


0 0
0
y t y
T t t , y , t f y
304 MTODOS NUMRICOS
__________________________________________________________________________________
con solucin nica ( ) y t .
La frmula de los tres primeros trminos de la serie de Taylor es
( ) ( ) ( ) ( ) { }
( ) ( ) ( ) ( )
[ ]
Y Y hY
h
Y
Y hf t Y
h
f t Y f t Y f t Y
Y h f t Y
h
f t Y f t Y f t Y
k k k k
k k k t k k y k k k k
k k k t k k y k k k k
+
+ +
+ + +
+ + +

'

1
2
2
2
2
2
, , , ,
, , , ,
(6.13)
y consideremos la frmula
( ) ( ) ( ) { }
Y Y h af t Y bf t Y t Y
k k k k k k k k +
+ + + +
1
, , , h hf (6.14)
donde a, b, y son constantes arbitrarias.
Se puede ver que la frmula (6.14) es una generalizacin del mtodo de Euler mejorado.
La ecuacin (6.14) la podemos expresar en la forma
( )
( )
Y Y aK bK
hf t Y
hf t h Y K
k k
k k
k k
+
+ +

+ +

'

1 1 2
1
2 1
con
K
K
,
,
(6.15)
que se conoce como frmula general de Runge-Kutta de segundo orden.
El propsito es encontrar valores de las constantes a, b, y tales que la frmula (6.15)
tenga la exactitud del mtodo de los tres primeros trminos de la serie de Taylor (frmula
(6.13)) sin tener que calcular derivadas de orden superior de la funcin ( ) t .
Para esto procedemos as:
En la frmula (6.15), en la parte que corresponde a K
2
, hacemos el desarrollo en serie de
Taylor de orden dos para una funcin de dos variables, as
( )
( ) ( ) { ( )
( ) ( )( ) ( ) ( )
[ ] }
K hf t h Y K
h f t Y hf t Y K f t Y
h f t y h K f t y K f t y
k k
k k t k k y k k
t t t y y y
2 1
1
2 2
1
2
1
2
1
2
2
+ +
+ +
+ + +



,
, , ,
, , ,
para algn t entre t h
k k
y t + y algn y entre Y K
k k
y Y +
1
.
Sustituyendo K
1
y K
2
en (6.15), obtenemos
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 305
__________________________________________________________________________________
[ ]
Y Y ahf bh f hf hff h f h ff h f f
k k t y t t t y y y +
+ + + + + + +

'

1
2 2 2 2 2 2
1
2
2
y agrupando trminos, llegamos a
( ) ( ) ( )
Y
k k t y t t t y y y
Y a b hf bh f ff
bh
f ff f f
+
+ + + + + + +
1
2
3
2 2 2
2
2
(6.16)
( f y sus derivadas parciales de primer orden evaluadas en el punto ( ) t Y
k k
, ; f f
t t t y
, y f
y y
evaluadas en el punto
( )
t y , ).
Comparando la ecuacin (6.13) con la ecuacin (6.16), trmino a trmino, hasta h
2
,
obtenemos el siguiente sistema no-lineal de ecuaciones en las variables a, b, y :
a b +

'

1
1
2
1
2
b
b

sistema que tiene infinitas soluciones: a b


b b
1
1
2
1
2
0 , , , y b b R .
Recordando la frmula para el error local en el mtodo de los tres primeros trminos de la
serie de Taylor y observando el residuo en la serie de Taylor en la ecuacin (6.16), se tiene
que el error local en la frmula general de Runge-Kutta de segundo orden es
( )
O h
3
y
entonces el error total debido a la frmula es
( )
O h
2
.
Casos particulares:
1) Si b
1
2
, entonces a
1
2
, 1 , y obtenemos
( ) ( ) { }
Y Y K K Y t Y hf t h Y K
k k k k k k k +
+ + + + + +
1 1 2 1
1
2
1
2
1
2
hf , ,
o sea
( ) ( ) ( ) { }
( ) ( )

t y y Y
1 m ,..., 1 , 0 k , Y , t hf Y , t f Y , t f
2
h
Y Y

0 0 0
k k k 1 k k k k 1 k

'


+ + +
+ +
que es el mtodo de Euler mejorado.
2) Si b 1, entonces a 0,
1
2
, y entonces
Y Y K Y hf t h Y K
k k k k k +
+ + + +

_
,
1 2 1
1
1
2
1
2
,
o sea
306 MTODOS NUMRICOS
__________________________________________________________________________________
( )
( ) ( )

t y y Y
1 m ,..., 1 , 0 k , Y , t hf
2
1
Y , h
2
1
t hf Y Y

0 0 0
k k k k k 1 k

'



,
_

+ + +
+
que se conoce como mtodo de Euler modificado o del punto medio.
3) Si b
3
4
, entonces a
1
4
,
2
3
, y entonces
( )
( ) ( )
Y Y K K
Y hf t Y hf t h Y K
Y hf t Y hf t h Y hf t Y
k k
k k k k k
k k k k k k k
+
+ +
+ + + +

_
,

+ + + +

_
,

1 1 2
1
1
4
3
4
1
4
3
4
2
3
2
3
1
4
3
4
2
3
2
3
, ,
, , ,
o sea
( ) ( )
( ) ( )

t y y Y
1 m ,..., 1 , 0 k , Y , t hf
3
2
Y , h
3
2
t f 3 Y , t f
4
h
Y Y

0 0 0
k k k k k k k 1 k

'

'

,
_

+ + + +
+
que se conoce como mtodo de Heun.
Los anteriores mtodos estn clasificados como mtodos de Runge-Kutta de orden dos,
que es el orden de su error total de frmula.
Ejemplo 6.13 Si al P.V.I.
( )
,
y
dy
dt t
y t e t
t
+

'

2
1 2
1 0
2
le aplicamos el mtodo de Heun con h.05, para aproximar la solucin ( ) t y de este
P.V.I., obtenemos los resultados que se muestran en la TABLA 6.9.
Compare los resultados obtenidos por el mtodo de Heun, para este ejemplo, con los
correspondientes resultados obtenidos usando el mtodo de Euler mejorado.
En la FIGURA 6.11 aparece la grfica de la solucin exacta
( )
( )
y t t e e
t

2
del P.V.I. dado
en este ejemplo, junto con los puntos ( ) t Y
k k
, correspondientes a las aproximaciones
calculadas usando el mtodo de Heun, y que aparecen en la TABLA 6.9.
Ejemplo 6.14 Si al P.V.I.
( )
( )

y
+

'

y
t
y y t
1
1 3
1 2
2
,
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 307
__________________________________________________________________________________
le aplicamos el mtodo de Heun para calcular valores aproximados de la solucin exacta de
este P.V.I. con tamao de paso h.2, obtenemos los resultados que aparecen en la TABLA
6.10.
k t
k
Y
k ( ) y t
k
Error
0 1.00 0 0 0
1 1.05 .1530888 .1536546 .0005658
2 1.10 .3446870 .3459199 .0012329
3 1.15 .5797752 .5817824 .0020072
4 1.20 .8637476 .8666425 .0028949
5 1.25 1.2024431 1.20633456 .0039025
6 1.30 1.6021788 1.6072150 .0050362
7 1.35 2.0697864 2.0760894 .0063030
8 1.40 2.6126498 2.6203597 .0077099
9 1.45 3.2387469 3.2480106 .0092637
10 1.50 3.9566938 3.9676664 .0109726
11 1.55 4.7757914 4.7886353 .0128439
12 1.60 5.7060762 5.7209616 .0148854
13 1.65 6.7583744 6.7754803 .0171058
14 1.70 7.9443594 7.9638734 .0195140
15 1.75 9.2766136 9.2987328 .0221192
16 1.80 10.7686946 10.7936249 .0249303
17 1.85 12.4352056 12.4631624 .0279568
18 1.90 14.2918711 14.3230820 .0312109
19 1.95 16.3556171 16.3903179 .0347009
20 2.00 18.6446577 18.6830978 .0384402
TABLA 6.9
k t
k
Y
k
0 1.0 20 .
1 1.2 17317647 .
2 1.4 15731911 .
3 1.6 14700834 .
4 1.8 13980664 .
5 2.0 13450418 .
6 2.2 13044170 .
7 2.4 12723171 .
8 2.6 12463225 .
9 2.8 12248473 .
10 3.0 12068097 .
TABLA 6.10
308 MTODOS NUMRICOS
__________________________________________________________________________________
Procediendo de manera similar al caso de los mtodos de Runge-Kutta de orden dos, se
obtendr una frmula de Runge-Kutta de orden tres (3), tomando la frmula de los cuatro
primeros trminos de la serie de Taylor
Y Y hY
h
Y
h
Y
k k k k k +
+ + +
1
2 3
2 3 ! !
y considerando la frmula general de Runge-Kutta de orden tres
( )
( )
( )
Y Y aK bK cK
K hf t Y
K hf t h Y K
K hf t h Y K
k k
k k
k k
k k
+
+ + +

+ +
+ +

'

1 1 2 3
1
2 1
3 2
con
,
,
,


FIGURA 6.11
Una de las frmulas de Runge-Kutta de tercer orden viene dada por
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 309
__________________________________________________________________________________
( )
( )
( )
( ) ( )

t y y Y
K 2 Y , h t hf K
1 m ,..., 1 , 0 k , K
2
1
Y , h
2
1
t hf K
Y , t hf K
con K K 4 K
6
1
Y Y

0 0 0
2 k k 3
1 k k 2
k k 1
3 2 1 k 1 k

'

'

+ +

,
_

+ +

+ + +
+
La frmula clsica de Runge-Kutta y que ms se utiliza es equivalente a la frmula de los
cinco primeros trminos de la serie de Taylor, o sea un mtodo de Runge-Kutta de orden
cuatro, y viene dada as
( )
( )
( )
( ) ( )

t y y Y

K Y , h t hf K
K
2
1
Y , h
2
1
t hf K
1 m ,..., 1 , 0 k
K
2
1
Y , h
2
1
t hf K
Y , t hf K
con K K 2 K 2 K
6
1
Y Y

0 0 0
3 k k 4
2 k k 3
1 k k 2
k k 1
4 3 2 1 k 1 k

'

'

+ +

,
_

+ +

,
_

+ +

+ + + +
+
Este mtodo tiene error local de frmula de orden
( )
O h
5
y error total de orden
( )
O h
4
,
siempre y cuando la solucin ( ) t del P.V.I. dado tenga las primeras cinco derivadas
continuas.
Algoritmo 6.2 (Runge-Kutta de orden cuatro) Para encontrar una aproximacin discreta de
la solucin del P.V.I., con solucin nica
( )
( )
t
y t
0
0

'

y f t y t T
y
, ,
0
en m+1nmeros igualmente espaciados en el intervalo
[ ]
t T
0
, :
Entrada: La funcin ( ) f t y , , los valores iniciales t
0 0
, y , el tamao de paso h, y un entero m.
Salida: Aproximacin Y de la solucin ( ) y t en los m+1 nmeros
t t t h t t mh T
m 0 1 0 0
, ,..., + + .
Paso 1: Hacer t t y
0 0
, Y .
310 MTODOS NUMRICOS
__________________________________________________________________________________
Salida: ( ) t Y , .
Paso 2: Para k m 12 , ,..., seguir los pasos 3-5:
Paso 3: Tomar

( )
( )
K hf t Y
K hf t h Y K
K hf t h Y K
K hf t h Y K
1
2 1
3 2
4 3
1
2
1
2
1
2
1
2

+ +

_
,

+ +

_
,

+ +
, ,
, ,
,
,


,
.
Paso 4: Tomar ( ) Y Y K K K K + + + +
1
6
2 2
1 2 3 4
(calcula Y
k
)
t t kh + (Calcula t
k
)
Paso 4: Salida: ( ) t Y , .
Paso 5: Terminar.
Ejemplo 6.15 Usando el mtodo de Runge-Kutta de orden cuatro para encontrar una
aproximacin de la solucin del P.V.I., con solucin nica
( )
,
y
dy
dt t
y t e t
t
+

'

2
1 2
1 0
2
con tamao de paso h .1, obtenemos los resultados que se muestran en la TABLA 6.11
siguiente.
k t
k
Y
k ( ) y t
k
Error
0 1.0 0 0 0
1 1.1 .3459103 .3459199
96 10
6
.

2 1.2 .8666217 .8666425
208 10
5
.

3 1.3 1.6071813 1.6072151
338 10
5
.

4 1.4 2.6203113 2.6203596
483 10
5
.

5 1.5 3.9676019 3.9676663
644 10
5
.

6 1.6 5.7208793 5.7209615
822 10
5
.

7 1.7 7.9637718 7.9638735
1017 10
4
.

8 1.8 10.7935018 10.7936247
1229 10
4
.

9 1.9 14.3229357 14.3230815
1458 10
4
.

10 2.0 18.6829266 18.6830971
1705 10
4
.

TABLA 6.11
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 311
__________________________________________________________________________________
Instruccin en DERIVE:
RK( ( )
[ ] [ ] [ ]
f t y t y t y h m , , , , , , ,
0 0
): aproXima los valores Y Y Y
m 0 1
, ,..., obtenidos al aplicar el
mtodo de Runge-Kutta de cuarto orden al P.V.I.
( )
( )
dy
dt
f t y
y t y

'

,
0 0
en m pasos de tamao h.
Para el ejemplo anterior, aproXime la expresin RK( ( ) [ ] [ ]
2
10 0110
2
t
y t t t y +

1
]
1
exp , , , , , , . ).
Veamos cmo se calcula la primera aproximacin Y
1
, aplicando el mtodo de Runge-Kutta
de cuarto orden, al P.V.I. anterior.
( ) Y Y K K K K
1 0 1 2 3 4
1
6
2 2 + + + +
donde
Y
0
0
( ) ( ) K hf t Y f
1 0 0
1 100 27182818 , , . . .
K hf t h Y K f
2 0 0 1
1
2
1
2
1 105
27182818
2
3409444 + +

_
,

_
,

, , . .
.
.
K hf t h Y K f
3 0 0 2
1
2
1
2
1 105
3409444
2
3475269 + +

_
,

_
,

, . .
.
. ,
( ) ( ) K hf t h Y K f
4 0 0 3
1 11 3475269 4266908 + + , , . . . .
As que
( )( ) ( )( ) ( )
Y
1
0
1
6
2718281 2 3409444 2 3475269 4266908 3459103 + + + + . . . . .
De acuerdo con los resultados de la TABLA 6.11, Y
2
8666217 . aproxima al valor exacto
( ) y 12 8666425 . . con una precisin de cuatro cifras decimales exactas.
Una grfica de la solucin exacta del P.V.I. dado, junto con los puntos ( ) t Y
k k
,
correspondientes a las aproximaciones calculadas usando el mtodo de Runge-Kutta de
orden cuatro que aparecen en la TABLA 6.11, se muestran en la FIGURA 6.12.
Ejemplo 6.16 Para el P.V.I.
( )
( )
,
y
+

'

y
t
y y t
1
1 3
1 2
2
312 MTODOS NUMRICOS
__________________________________________________________________________________
el mtodo de Runge-Kutta de orden cuatro con h .2, produce los resultados que se
muestran en la TABLA 6.12.
Una grfica de la solucin exacta ( ) y t
t
t

2
1 2
del P.V.I. del ejemplo 6.16, junto con los
puntos ( ) t Y
k k
, correspondientes a las aproximaciones calculadas que aparecen en la
TABLA 6.12, se muestran en la FIGURA 6.13.
FIGURA 6.12
k t
k
Y
k
0 1.0 20 .
1 1.2 17142452 .
2 1.4 15555229 .
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 313
__________________________________________________________________________________
3 1.6 14545197 .
4 1.8 13845945 .
5 2.0 13333159 .
6 2.2 12941027 .
7 2.4 12631448 .
8 2.6 12380836 .
9 2.8 12173809 .
10 3.0 11999905 .
TABLA 6.12
FIGURA 6.13
Ejemplo 6.17 Use el mtodo de Runge-Kutta de orden cuatro para aproximar la
solucin exacta del P.V.I.
( ) ( )
t lnt ,
y ,
2 3
2 2 1 15
1 1 1 0
+

'

y ty y t t
y
.
tomando h.05.
Solucin: Empezamos despejando y en la ecuacin diferencial dada
t
2 3
2 2 + y ty y t t ln
314 MTODOS NUMRICOS
__________________________________________________________________________________
lo que nos da
t + y
t
y
t
y t t
2 2
0
2
ln ,
Ahora transformamos el P.V.I. dado en el siguiente sistema de ecuaciones
diferenciales de primer orden con condicin inicial, introduciendo las variables
y y y
1 2
, y :
( ) ( )




y y


+ +

'

y y
t
y
t
y
t
y t t
1 2
2
2
1 2
1 2
1 15
2 2
1 1 1 0
,
ln ,
,
.
(6.17)
Este sistema es de la forma
( )
( )
( ) ( )
,
t

y y
0



'

y f t y y
t T
y f t y y
t y t y
1 1 1 2
2 2 1 2
1 0 10 2 0 20
, ,
, , ,
,
, ,
con
( ) ( ) f f y , y
1,0 2,0 1 1 2 2 2 1 2
2
1 2
2 2
1 0 t y y y t y y
t
y
t
y t t , , , , , , ln + +
Ahora aplicamos el mtodo de Runge-Kutta de orden cuatro a cada una de las
ecuaciones del sistema, as:
Para ( ) ( )
y y f t y y
1 2 1 1 2
, , :
( )
Y
0
1
1 , que es la condicin inicial para la funcin incgnita y
1
Para ( ) ( )
+ + y
t
y
t
y t t f t y y
2
2
1 2 2 1 2
2 2
ln , , :
( )
Y
0
2
0
, que es la condicin inicial para la funcin incgnita y
2
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 315
__________________________________________________________________________________
En esta notacin el superndice hace referencia al subndice de la funcin incgnita,
es decir, superndice 1 para la funcin incgnita y
1
, y superndice 2 para la funcin
incgnita y
2
.
Para calcular la primera aproximacin
( )
Y
1
1
, para la funcin incgnita y
1
y
( )
Y
1
2
, para la funcin incgnita y
2
procedemos as:
( ) ( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( )
K hf t Y Y f
K hf t Y Y f
1
1
1 0 0
1
0
2
1
1
2
2 0 0
1
0
2
2
2
05 10 10 0 05 0 0
05 10 10 0 05
2
10
10
2
10
0 10 10 1

_
,

_
,

+ +

_
,


, , , ,
, , , , ln
. . . .
. . . .
.
.
.
. . .
( ) ( )
( )
( )
( )
( )
( ) ( )
( )
( )
( )
( )
K hf t
h
Y
K
Y
K
f
K hf t
h
Y
K
Y
K
f
2
1
1 0 0
1
1
1
0
2
1
2
1
3
2
2
2 0 0
1
1
1
0
2
1
2
2
2 2 2
05 1025 10 05 25 10
2 2 2
05 1025 10 05 098793992
+ + +

_
,


+ + +

_
,

, , , ,
, , , ,
. . . . .
. . . . .
( ) ( )
( )
( )
( )
( ) K hf t
h
Y
K
Y
K
f
3
1
1 0 0
1
2
1
0
2
2
2
1
3
2 2 2
05 1025 99875 049396996
24698498 10
+ + +

_
,




, , , , . . . .
.
( ) ( )
( )
( )
( )
( ) K hf t
h
Y
K
Y
K
f
3
2
2 0 0
1
2
1
0
2
2
2
2
2 2 2
05 1025 99875 049396996
09861618555
+ + +

_
,



, , , , . . . .
.
316 MTODOS NUMRICOS
__________________________________________________________________________________
( ) ( ) ( ) ( ) ( )
( )
( ) ( ) ( ) ( ) ( )
( )
K hf t Y K Y K f
K hf t Y K Y K f
4
1
1 1 0
1
3
1
0
2
3
2
1
3
4
2
2 1 0
1
3
1
0
2
3
2
2
05 105 9975301502 09861618555
4930809278 10
05 105 9975301502 09861618555
09730945925
+ +

_
,



+ +

_
,

, , , ,
, , , ,
. . . .
.
. . . .
.
Entonces
( ) ( ) ( ) ( ) ( ) ( )
( )
( ) ( ) ( )
9975215819
10 930809278 4 10 4698498 2 2 10 5 2 2 0
6
1
0 1
K K 2 K 2 K
6
1
Y Y
3 3 3
1
4
1
3
1
2
1
1
1
0
1
1
.
. . . .

+ + +
+ + + +

y
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
Y Y K K K K
1
2
0
2
1
2
2
2
3
2
4
2 1
6
2 2
0
1
6
1 2 098793992 2 099861618555 09730945925
09868830239
+ + + +

_
,

+ + +

. . . .
.
Si aplicamos el mtodo de Runge-Kutta de cuarto orden al P.V.I. dado, se obtienen
los resultados que se muestran en la TABLA 6.13 siguiente.
k
t
k
( )
Y
k
1 ( )
Y
k
2
0 1.0 1.0 0
1 1.05 .9975216
.09868830
2 1.10 .9901789
.1945121
3 1.15 .9781239
.2871223
4 1.20 .9615257
.3761856
5 1.25 .9405698
.4613824
6 1.30 .9154570
.5424067
7 1.35 .8864035
.6189642
8 1.40 .8536397
.6907718
9 1.45 .8174100
.7575566
10 1.50 .7779722
.8190555
TABLA 6.13
Las aproximaciones de la solucin exacta
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 317
__________________________________________________________________________________
( ) y t t
t
t t +
7
4 2
3
4
3
3
ln
del P.V.I. dado, corresponden a los valores
( )
Y
k
1
que aparecen listados en la tercera
columna de la TABLA 6.13.
Instrucciones en DERIVE:
RK( ( ) ( )
[ ] [ ] [ ]
f t y y f t y y t y y t y y h m
1 1 2 2 1 2 1 2 0 10 20
, , , , , , , , , , , , ,
, ,
): aproXima a una matriz de 3
columnas y m+1 filas, donde cada fila es de la forma
( ) ( )
t Y Y
k k k
, ,
1 2

1
]
1
, siendo
( )
( ) Y y t
k k
1
1
y
( )
( ) Y y t
k k
2
2
los valores obtenidos al aplicar el mtodo de Ringe-Kutta
de cuarto orden al sistema
( )
( )
( ) ( )


'

y f t y y
y f t y y
y t y t y
1 1 1 2
2 2 1 2
1 0 10 2 0 20
, ,
, ,
,
, ,
y
con m pasos de tamao h. Para el ejemplo anterior, aproXime la expresin
[ ] [ ]

,
_

1
]
1

+ 10 , 05 0 , 0 , 1 , 1 , z , y , t , t ln t y
t
2
z
t
2
, z RK
2
.
. Si desea graficar los puntos
( )
t Y
k k
,
1

_
,

y/o los puntos


( )
t Y
k k
,
2

_
,

, correspondientes a las aproximaciones obtenidas, la siguiente


instruccin puede ser utilizada:
EXTRACT_2_COLUMNS(M, j, l): Simplifica en una matriz formada por las
columnas j y l de la matriz M.
Es claro que cualquiera de los mtodos estudiados se puede aplicar para un sistema de
ecuaciones diferenciales de primer orden del tipo (6.2). Como ejemplo veamos como
se escribira el mtodo de Runge-Kutta de cuarto orden para el sistema (6.17):
( ) ( )



y y


+ +

'

y y
t
y
t
y
t
y t t
1 2
2
2
1 2
1 2
1 15
2 2
1 1 1 0
,
ln ,
,
.
Este sistema se puede escribir en forma vectorial como sigue
318 MTODOS NUMRICOS
__________________________________________________________________________________
( )
( )

_
,

+ +

_
,

_
,

_
,

'

y
y
y
t
y
t
y t t
t
y
y
1
2
2
2
1 2
1
2
2 2 1 15
1
1
1
0
ln
, .

( )
( )

,
_

'

,
_

0
1
1
5 1 t 1 , t,
Y
Y F Y . =
y entonces la forma vectorial del mtodo de Runge-Kutta de cuarto orden para
aproximar la solucin del P.V.I. vectorial del ejemplo 6.17, es
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )

'

,
_

,
_

,
_

,
_

,
_

,
_

+
+
+
% # " % # " % # " % # " % # " % # "
4
2
4
1
4
3
2
3
1
3
2
2
2
1
2
1
2
1
1
1
k
2
k
1
k
1 k
2
1 k
1
1 k
K
K
K
K
2
K
K
2
K
K
6
1
Y
Y
Y
Y

K K K K Y Y
donde
( )
( )
( ) ( )

,
_

+ +

k k
2
k
k
1
k
2
k
2
k
k k 1
t ln t Y
t
2
Y
t
2
Y
h , t h Y F K
( ) ( )
( ) ( ) ( ) ( )

,
_

,
_

+
,
_

+ +
,
_

,
_

+
+
,
_

,
_

,
_

+ +
h
2
1
t ln h
2
1
t K
2
1
Y
h
2
1
t
2
K
2
1
Y
h
2
1
t
2
K
2
1
Y
h
2
1
, h
2
1
t h
k k
2
1
2
k
k
1
1
1
k
2
k
2
1
2
k
1 k k 2
K Y F K
( ) ( )
( ) ( ) ( ) ( )

,
_

,
_

+
,
_

+ +
,
_

,
_

+
+
,
_

,
_

,
_

+ +
h
2
1
t ln h
2
1
t K
2
1
Y
h
2
1
t
2
K
2
1
Y
h
2
1
t
2
K
2
1
Y
h
2
1
, h
2
1
t h
k k
2
2
2
k
k
1
2
1
k
2
k
2
2
2
k
2 k k 3
K Y F K
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 319
__________________________________________________________________________________
( )
( ) ( )
( )
( ) ( )
( )
( )
( ) ( )
( ) ( ) ( )

,
_

+ + + +
+
+ +
+

+ +
h t ln h t K Y
h t
2
K Y
h t
2
K Y
h
, h t h
k k
2
3
2
k
k
1
3
1
k
2
k
2
3
2
k
3 k k 4
K Y F K

Como ejercicio use la forma vectorial del mtodo de Runge-Kutta de orden cuatro
para calcular las aproximaciones de la solucin exacta del P.V.I. del ejemplo 6.17.
TALLER 6.
1. Use el teorema 6.1 para demostrar que el P.V.I.
( )

'

y tany
y 0 0
tiene una solucin en el intervalo t

4
.
2. Use cada uno de los teoremas 6.1, 6.2, 6.3 y 6.4 para predecir dnde tiene solucin
el siguiente P.V.I., y luego resulvalo explcitamente para comparar la teora con
los hechos:
( )

'

y y
y
2
0 1
3. Demuestre que el P.V.I.
( )
+

'

y y
y
1
0 0
2
tiene una solucin en el intervalo [ ]
11 ,
. Pruebe que este ejemplo no satisface la
hiptesis del teorema 6.4. Explique por qu este ejemplo no contradice al teorema
6.4.
320 MTODOS NUMRICOS
__________________________________________________________________________________
4. Encuentre un intervalo para el cual se pueda asegurar que el P.V.I.
( )

'

y y
y
sec
0 0
tiene una nica solucin.
5. Use el teorema 6.4 para demostrar que cada uno de los siguientes P.V.I. tienen
solucin nica en el intervalo
[ ]
01 , :
i)
( )

'

y y t
y
cos
0 1
ii)
( )
( )
+

'

y t ty
y
1
0 0
sen
6. Verifique que ( ) y t
t
1
2
4
y ( ) y t t
2
1 son soluciones del P.V.I.
( )
2 4
2 1
2
+

'

y t y t
y
Por qu no contradice este hecho al teorema 6.2?
7. Para cada una de las funciones ( ) f t y , siguientes
i) ( ) f t y t y , +
2
1 ii) ( ) f t y tan y ,
1
iii)
( ) f t y ty ,
iv)
( ) f t y ty
t
y
, +
4
a) Satisface f una condicin de Lipschitz en la segunda variable y en el dominio
( ) { }
/ D < < t y t y , , ? 0 1
b) Determine si el P.V.I.
( )
( )

y

'

y f t y t , , 0 1
0 1
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 321
__________________________________________________________________________________
tiene solucin nica.
8. a) Demuestre que cada uno de los siguientes problemas de valor inicial tiene
solucin nica
a)
( )

y

'

y y t t cos , 0 1
0 1
b)
( )
( )

y
+

'

y t ty t 1 0 1
0 0
sen ,
b) Use dos pasos de los mtodos de Euler, Euler mejorado, Heun, Taylor de orden
dos y mtodo de Runge-Kutta de orden cuatro para aproximar ( ) y 02 . .
9. Considere el P.V.I.
( )

y

'

y y t 10 0 2
0 1
,
el cual tiene solucin exacta ( ) y t e
t

10
.
Qu pasa cuando el mtodo de Euler se
aplica a este problema con tamao de paso h .1?
10. Encuentre valores aproximados de la solucin de cada uno de los siguientes
problemas de valor inicial, usando el mtodo de los tres primeros trminos de la
serie de Taylor y el mtodo de Runge-Kutta de orden cuatro con tamao de paso
h . . 5 25 y h . Haga una grfica que muestre los puntos ( ) t Y
k k
, correspondientes
a las aproximaciones calculadas y la grfica de la solucin exacta. Discuta sus
resultados.
a)
( )

y

'

y y t
2
0 4
0 1
,
con solucin exacta ( ) y t
t

+
1
1
b)
( )

y
+

'

y y t t 2 0 4
0 1
cos ,
con solucin exacta ( ) y t t t + sen cos
c)
( )

y

'

y y t t 2 0 4
0 1
sen ,
con solucin exacta ( ) y t t t + sen cos
322 MTODOS NUMRICOS
__________________________________________________________________________________
11. Un proyectil de masa m 011 . Kgrs. se lanza verticalmente hacia arriba desde el
suelo con una velocidad inicial ( ) v m seg 0 8 ./ . y se va frenando debido a la fuerza
de la gravedad F mg
g
y a la resistencia del aire F kv
r

2
, donde
g m seg 98
2
. ./ . y k kg m 0002 . ./ .
a) Demuestre que la ecuacin diferencial para la velocidad
( ) t v
del proyectil en
cada instante t es
( )
( ) ( )
( ) ( )

'

+


bajando est proyectil el mientras , t v k mg
subiendo est proyectil el mientras , t v k mg
t v m
2
2
b) Demuestre que el problema de valor inicial
( ) ( )
( )

'


0 8 0 v
T t 0 , t v t v
m
k
g v
.
correspondiente a la situacin descrita en el enunciado tiene solucin nica en
el intervalo [ ] T , 0 , siendo T el tiempo que tarda el proyectil en caer.
c) Utilice el mtodo de Runge-Kutta de cuarto orden para estimar la velocidad del
proyectil en cada uno de los instantes .1, .2, .3,..., 1.0 segundos, tomando
tamao de paso 1 h . .
d) Estime el tiempo para el cual el proyectil alcanza la altura mxima y empieza a
caer.
e) Estime la altura mxima alcanzada por el proyectil.
12. a) Convierta cada uno de los siguientes problemas de valor inicial en un sistema
de ecuaciones diferenciales de primer orden con condicin inicial
i)
( ) ( ) ( )

y
+ + +

'

y y y y t t t
y y
4 5 2 4 2 0 1
0 1 0 0 0 1
sen cos ,
, ,
ii)
( ) ( )

y
+ +

'

y ty t y e t
y
t
2 0 1
0 1 0 1
2
,
,
Captulo 6. SOLUCIN NUMRICA DE P.V.I. PARA E.D.O. 323
__________________________________________________________________________________
b) Use el mtodo de Euler, el mtodo de los tres priemros trminos de la serie de
Taylor y el mtodo de Runge-Kutta de cuarto orden para aproximar la solucin
( ) y t de cada uno de los P.V.I. dados en i) y ii), usando tamao de paso h .1.
13. Considere el problema de valor inicial
( )

y

'

y e t
t
2
0 1
0 0
,
a) Demuestre que el P.V.I. dado tiene solucin nica.
b) Verifique que
( ) y t e ds
s
t

2
0
es la solucin del P.V.I. dado.
c) Use la regla de integracin numrica de los Trapecios con h .25 para
aproximar la solucin ( ) y t , dada en b), en los puntos
t
1 2 3 4
25 50 75 10 . . . . , , t t y t .
d) Use el mtodo de los tres primeros trminos de la serie de Taylor con tamao
de paso h .25 para aproximar la solucin ( ) y t , dada en b), en los puntos
t
1
025 . , t
2
050 . , t
3
075 . , y t
4
10 . .
e) Encuentre el polinomio interpolante de Newton (diferencias divididas) para la
funcin ( ) f x e
x


2
en [0,10] . usando como nodos 0, .25, .50, .75, 1.0 y selo
para aproximar
e dx
x

2
0
10 .

.
f) Compare los resultados obtenidos en c), d) y e).