2.

6 UN MTODO NUMRICO

INTRODUCCIN Una ecuacin diferencial = (, ) es una fuente de informacin.

Comenzaremos este captulo observando que podramos recolectar informacin cualitativa de
una ED de primer orden respecto a sus soluciones aun antes de intentar resolver la ecuacin.
Entonces en las secciones 2.2 a 2.5 examinamos a las ED de primer orden analticamente, es
decir, desarrollamos algunos procedimientos para obtener soluciones explcitas e implcitas. Pero
una ecuacin diferencial puede tener una solucin aun cuando no podamos obtenerla
analticamente. As que para redondear el esquema de los diferentes tipos de anlisis de las
ecuaciones diferenciales, concluimos este captulo con un mtodo con el cual podemos resolver
la ecuacin diferencial numricamente; esto significa que la ED se utiliza como el principio bsico
de un algoritmo para aproximar a la solucin desconocida. En esta seccin vamos a desarrollar
nicamente el ms sencillo de los mtodos numricos, un mtodo que utiliza la idea de que se
puede usar una recta tangente para aproximar los valores de una funcin en una pequea
vecindad del punto de tangencia. En el captulo 9 se presenta un tratamiento ms extenso de los
mtodos numricos.

USANDO LA RECTA TANGENTE Suponemos que el problema con valores iniciales

= (, ), (0 ) = 0

tiene una solucin. Una manera de aproximar esta solucin es usar rectas tangentes. Por
ejemplo, sea que () denote la solucin incgnita para el problema con valores iniciales =
0.1 + 0.4 2 , (2) = 4. La ecuacin diferencial no lineal en este PVI no se puede resolver
directamente por cualquiera de los mtodos considerados en las secciones 2.2, 2.4 y 2.5; no
obstante, an podemos encontrar valores numricos aproximados de la incgnita (). En
concreto, supongamos que deseamos conocer el valor de (2, 5). El PVI tiene una solucin y
como el flujo del campo direccional de la ED en la figura 2.6.1a sugiere, una curva solucin debe
tener una forma similar a la curva que se muestra en azul.

a) campo direccional para 0. b) elemento lineal en (2, 4).

FIGURA 2.6.1 Amplificacin de una vecindad del punto (2, 4).

El campo direccional de la figura 2.6.1a se gener con elementos lineales que pasan por puntos
de una malla de coordenadas enteras. Puesto que la curva solucin pasa por el punto inicial
(2, 4), el elemento lineal en este punto es una recta tangente con pendiente dada por (2, 4) =
0.14 + 0.4(2)2 1.8. Como se muestra en la fi gura 2.6.1a y el zoom in (acercamiento) de la
figura 2.6.1b, cuando est cerca de 2, los puntos en la curva solucin estn cerca de los puntos
de la recta tangente (el elemento lineal). Utilizando el punto (2, 4), la pendiente (2, 4) = 1.8 y la
forma punto pendiente de una recta, encontramos que una ecuacin de la recta tangente es =
(), donde () = 1.8 + 0.4. Esta ltima ecuacin se llama linealizacin de () en = 2 que
se puede utilizar para aproximar los valores dentro de una pequea vecindad de = 2. Si 1 =
(1 ) denota la coordenada en la recta tangente y (1 ) es la coordenada de la curva solucin
correspondiente a una coordenada , 1 que est cerca de = 2, entonces (1 ) 1 . Si
elegimos, 1 = 2.1, entonces 1 = (2.1) = 1.8(2.1) + 0.4 = 4.18, entonces (2.1) 4.18.

MTODO DE EULER Para generalizar el procedimiento que acabamos de ilustrar, usamos la

linealizacin de una solucin incgnita () de (1) en = 0 :

() = 0 + (0 , 0 )( 0 ). (2)

La grfica de esta linealizacin es una recta tangente a la grfica de = () en el punto (0 , 0 ).

Ahora hacemos que sea un incremento positivo del eje , como se muestra en la figura 2.6.2.

FIGURA 2.6.2 Aproximacin de (1 ) usando una recta tangente

Entonces sustituyendo por 1 = 0 + en la ecuacin (2), obtenemos

(1 ) = 0 + (0 , 0 )(0 0 ) 1 = 0 + (1 , 1 ),

donde 1 = (1 ). El punto (1 , 1 ) en la recta tangente es una aproximacin del punto (1 , (1 ))

sobre la curva solucin. Por supuesto, la precisin de la aproximacin (1 ) (1 )) o 1 =
(1 ) depende fuertemente del tamao del incremento . Normalmente debemos elegir este
tamao de paso para que sea razonablemente pequeo. Ahora repetimos el proceso usando
una segunda recta tangente en (1 , 1 ).* Identificando el nuevo punto inicial como (1 , 1 ) en
lugar de (0 , 0 ) del anlisis anterior, obtenemos una aproximacin 2 = (2 ) correspondiendo a
dos pasos de longitud a partir de 0 , es decir, 2 = 1 + = 0 + 2, y

(2 ) = (0 + 2) = (1 + ) 2 = 1 + (1 , 1 ).

Continuando de esta manera, vemos que 1 , 2 , 3 , . . ., se puede definir recursivamente mediante

la frmula general

+1 = + ( , ), (3)

donde = 0 + , = 0, 1, 2, . .. Este procedimiento de uso sucesivo de las rectas tangentes

se llama mtodo de Euler.

*Esta no es una recta tangente real, ya que (1 , 1 ) est sobre la primera tangente y no sobre la curva solucin.

EJEMPLO 1 Mtodo de Euler

Considere el problema con valores iniciales = 0.1 + 0.4 2 , (2) = 4 Utilice el mtodo de
Euler para obtener una aproximacin de (2.5) usando primero = 0.1 y despus = 0.05.

SOLUCIN Con la identificacin (, ) = 0.1 + 0.4 2 la ecuacin (3) se convierte en

+1 = + (0.1 + 0.42 ).

Entonces para = 0.1, 0 = 2, 0 = 4 y = 0 encontramos

1 = 0 + (0.10 + 0.402 ) = 4 + 0.1(0.14 + 0.4(2)2 ) = 4.18

que, como ya hemos visto, es una estimacin del valor (2.1). Sin embargo, si usamos el paso de
tamao ms pequeo = 0.05, le toma dos pasos alcanzar = 2.1. A partir de

1 = 4 + 0.05(0.14 + 0.4(2)2 ) = 4.09

2 = 4.09 + 0.05(0.14.09 + 0.4(2.05)2 ) = 4.18416187

tenemos 1 (2.05) y 2 (2.1). El resto de los clculos fueron realizados usando un paquete
computacional. En las tablas 2.1 y 2.2 se resumen los resultados, donde cada entrada se ha
redondeado a cuatro lugares decimales. Vemos en las tablas 2.1 y 2.2 que le toma cinco pasos
con = 0.1 y 10 pasos con = 0.05, respectivamente, para llegar a = 2.5. Intuitivamente,
esperaramos que 10 = 5.0997 correspondiente a = 0.05 sea la mejor aproximacin de (2.5)
que el valor 5 = 5.0768 correspondiente a = 0.1.

En el ejemplo 2 aplicamos el mtodo de Euler para una ecuacin diferencial para la que ya hemos
encontrado una solucin. Hacemos esto para comparar los valores de las aproximaciones en
cada caso con los valores verdaderos o reales de la solucin ( ) del problema con valores
iniciales.

EJEMPLO 2 Comparacin de los valores aproximados y reales

Considere el problema con valores iniciales = 0.2, (1) = 01. Utilice el mtodo de Euler para
obtener una aproximacin de (1.5) usando primero = 0.1 y despus = 0.05.
SOLUCIN Con la identificacin (, ) = 0.2, la ecuacin (3) se convierte en

+1 = + (0.1 )

donde 0 = 1 y 0 = 1. De nuevo con la ayuda de un paquete computacional obtenga los valores

de las tablas 2.3 y 2.4.

TABLA 2.1 h _ 0.1

xn yn

En el ejemplo 1 se calcularon los valores verdaderos o reales de la solucin conocida =

2
0.1( 1) . (Compruebe.) El error absoluto se define como

| |. .

El error relativo y el error relativo porcentual son, respectivamente,

100.
| | | |

Es evidente de las tablas 2.3 y 2.4 que la precisin de las aproximaciones mejora conforme
disminuye el tamao del paso . Tambin nosotros vemos esto aun cuando el error relativo
porcentual est creciendo en cada paso, no parece estar mal. Pero no debe engaarse por un
ejemplo. Si simplemente cambiamos el coeficiente del lado derecho de la ED del ejemplo 2 de 0.2
a 2 entonces en = 1.5 los errores relativos porcentuales crecen dramticamente. Vase el
problema 4 del ejercicio 2.6.

UNA ADVERTENCIA El mtodo de Euler es slo uno de los diferentes mtodos en los que se
puede aproximar una solucin de una ecuacin diferencial. Aunque por su sencillez es atractivo,
el mtodo de Euler rara vez se usa en clculos serios. Aqu se ha presentado slo para dar un
primer esbozo de los mtodos numricos. En el captulo 9 trataremos en detalle el anlisis de los
mtodos numricos que tienen mucha precisin, en especial el mtodo de Runge-Kutta
conocido como el mtodo RK4.

SOLUCIONADORES NUMRICOS Independientemente de si se puede realmente encontrar una

solucin explcita o implcita, si existe una solucin de una ecuacin diferencial, sta se
representa por una curva suave en el plano cartesiano. La idea bsica detrs de cualquier mtodo
numrico para las ecuaciones diferenciales ordinarias de primer orden es de alguna manera
aproximar los valores de de una solucin para valores de preseleccionados. Comenzamos
con un punto inicial dado (0 , 0 ) de una curva solucin y procedemos a calcular en un modelo
paso por paso una secuencia de puntos (1 , 1 ) , (2 , 2 ) , , ( , ) cuyas coordenadas , se
aproximan a las coordenadas , ( ) de los puntos (1 , (1 )), (2 , (2 )), , ( , ( )) que
yacen sobre la grfica de la solucin normalmente desconocida (). Tomando las coordenadas
ms cercanas (es decir, para valores pequeos de ) y uniendo los puntos
(1 , 1 ) , (2 , 2 ) , , ( , ) con segmentos de recta cortos, obtenemos una curva poligonal cuyas
caractersticas cualitativas esperamos sean cercanas a las de una curva solucin real. El dibujo
de curvas es muy adecuado en una computadora. A un programa de cmputo escrito para
implementar un mtodo numrico o para mostrar una representacin visual de una solucin
aproximada que ajusta los datos numricos producidos por este segundo mtodo se le conoce
como un solucionador numrico. Comercialmente hay disponibles muchos solucionadores
numricos ya sea que estn integrados en un gran paquete computacional, tal como en un
sistema algebraico computacional o que sean un paquete autnomo. Algunos paquetes
computacionales simplemente dibujan las aproximaciones numricas generadas, mientras que
otros generan pesados datos numricos as como la correspondiente aproximacin o curvas
solucin numrica. En la figura 2.6.3 se presenta a manera de ilustracin la conexin natural
entre los puntos de las grficas producidas por un solucionador numrico, las grficas poligonales
pintadas con dos colores son las curvas solucin numrica para el problema con valores iniciales
= 0.2, (0) = 1 en el intervalo [0, 4] obtenidas de los mtodos de Euler y RK4 usando el
2
tamao de paso = 1. La curva suave en azul es la grfica de la solucin exacta = 0.1 del
PVI. Observe en la fi gura 2.6.3 que, aun con el ridculo tamao de paso de = 1, el mtodo RK4
produce la curva solucin ms creble. La curva solucin numrica obtenida del mtodo RK4 es
indistinguible de la curva solucin real en el intervalo [0, 4] cuando se usa el tamao de paso
usual de = 0.1.

FIGURA 2.6.3 Comparacin de los mtodos de Runge-Kutta (RK4) y de Euler.

USANDO UN SOLUCIONADOR NUMRICO No es necesario conocer los diferentes mtodos

numricos para utilizar un solucionador numrico. Un solucionador usualmente requiere que la
ecuacin diferencial se pueda expresar en la forma normal / = (, ). Los solucionadores
numricos que slo generan curvas requieren que se les proporcione (, ) y los datos iniciales
0 y 0 y que se indique el mtodo numrico deseado. Si la idea es aproximarse al valor numrico
de (), entonces un solucionador numrico podra requerir adems expresar un valor de o, del
mismo modo, dar el nmero de pasos que quiere tomar para llegar de = 0 a = . Por
ejemplo, si queremos aproximar (4) para el PVI que se muestra en la figura 2.6.3, entonces,
comenzando en = 0 le tomara cuatro pasos llegar a = 4 con un tamao de paso de = 1; 40
pasos son equivalentes a un tamao de paso de = 0.1. Aunque aqu no investigaremos todos
los problemas que se pueden encontrar cuando se intenta aproximar cantidades matemticas, al
menos debe estar consciente del hecho de que el solucionador numrico puede dejar de
funcionar cerca de ciertos puntos o dar una incompleta o engaosa imagen cuando se aplica a
ciertas ecuaciones diferenciales en la forma normal. La figura 2.6.4 muestra la grfica que se

obtuvo al aplicar el mtodo de Euler a un problema con valores iniciales de primer orden =
(, ), (0) = 1. Se obtuvieron resultados equivalentes utilizando tres diferentes solucionadores
numricos, sin embargo la grfica difcilmente es una posible curva solucin. (Por qu?) Hay
diferentes caminos de solucin cuando un solucionador numrico tiene dificultades; las tres ms
obvias son disminuir el tamao del paso, usar otro mtodo numrico e intentar con un
solucionador diferente.

FIGURA 2.6.4 Una curva solucin que no ayuda mucho.

EJERCICIOS 2.6

En los problemas 1 y 2 use el mtodo de Euler para obtener una aproximacin a cuatro decimales
del valor indicado, ejecute a mano la ecuacin de recursin (3), usando primero = 0.1 y despus
usando = 0.05.

1. = 2 3 + 1, (1) = 5; (1.2)
Solucin:
2. = + 2 , (0) = 0; (0.2)
Solucin:

En los problemas 3 y 4 use el mtodo de Euler para obtener una aproximacin a cuatro decimales
del valor indicado. Primero utilice = 0.1 y despus utilice = 0.05. Determine una solucin
explcita para cada problema con valores iniciales y despus construya tablas similares a las
tablas 2.3 y 2.4.

3. = , (0) = 1; (1.0)
Solucin:
4. = 2, (1) = 1; (1.5)
Solucin:

En los problemas 5 a 10 use un solucionador numrico y el mtodo de Euler para obtener una
aproximacin a cuatro decimales del valor indicado. Primero utilice = 0.1 y despus utilice =
0.05.
5. = , (0) = 0; (0.5)
Solucin:

6. = 2 + 2 , (0) = 1; (0.5)
Solucin:

7. = ( )2 , (0) = 0.5; (0.5)

Solucin:

8. = + , (0) = 1; (0.5)
Solucin:

9. = 2 , (1) = 1; (1.5)

Solucin:

10. = 2 , (0) = 0.5; (0.5)

Solucin:

En los problemas 11 y 12 utilice un solucionador para obtener una curva solucin numrica para
el problema con valores iniciales dado. Primero utilice el mtodo de Euler y despus el mtodo
RK4. Utilice = 0.25 en cada caso. Superponga ambas curvas solucin en los mismos ejes
coordenados. Si es posible, utilice un color diferente para cada curva. Repita, usando = 0.1 y
= 0.05.

11. = 2(cos ), (0) = 1

Solucin:
12. = (10 2), (0) = 1
Solucin:

Problemas para analizar

13. Use un solucionador numrico y el mtodo de Euler para aproximar (0.1), donde () es la
solucin de = 2 2 , (0) = 1. Primero use = 0.1 y despus use = 0.05. Repita, usando el
mtodo RK4. Analice qu podra causar que las aproximaciones a (1.0) difieran mucho.
Solucin:
Tarea para el laboratorio de computacin

14. a) Utilice un solucionador numrico y el mtodo RK4 para trazar la grfica de la solucin del
problema con valores iniciales = 2 + 1, (0) = 0.

b) Resuelva el problema con valores iniciales por uno de los procedimientos analticos
desarrollados en las secciones anteriores en este captulo.

c) Use la solucin analtica () que encontr en el inciso b) y un SAC para determinar las
coordenadas de todos los extremos relativos.
Solucin: