Fundamentos de ecuaciones diferenciales.

Una ecuacin diferencial es una ecuacin en la que intervienen derivadas de una o ms

funciones desconocidas. Dependiendo del nmero de variables independientes respecto de
las que se deriva, las ecuaciones diferenciales se dividen en Ecuaciones diferenciales
ordinarias: aquellas que contienen derivadas respecto a una sola variable independiente.

Si la ecuacin solo tiene una sola variable independiente recibe el nombre de ecuaciones
diferenciales Ordinarias (EDO). Si la ecuacin contiene ms de una variable independiente,
apareciendo as sus derivadas Parciales, recibe el nombre de ecuaciones diferenciales en
derivadas parciales.

Se llama orden de una ecuacin diferencial al orden de la mayor derivada que aparezca en
ella.

Se llama grado de una ecuacin diferencial al grado de la derivada de mayor orden que
aparezca en ella.

Se llama solucin general de una ecuacin diferencial a toda relacin entre las variables,
libres de derivadas, que satisface dicha ecuacin diferencial. Por lo comn, la solucin
general de una ecuacin diferencial de orden n tiene n constante. Integrar o resolver una
ecuacin diferencial es hallar su solucin general.

Se llama solucin particular de una ecuacin diferencial a aquella solucin que se obtienen a
partir de la solucin general, dando valores a las constantes.

Una ecuacin diferencial es una ecuacin que incluye expresiones o trminos que
involucran a una funcin matemtica incgnita y sus derivadas. Algunos ejemplos de
ecuaciones diferenciales son:

es una ecuacin diferencial ordinaria, donde representa una funcin no

especificada de la variable independiente , es decir, ,

es la derivada de con respecto a .

La expresin es una ecuacin en derivadas parciales.

A la variable dependiente tambin se le llama funcin incgnita (desconocida). La resolucin
de ecuaciones diferenciales es un tipo de problema matemtico que consiste en buscar una
funcin que cumpla una determinada ecuacin diferencial. Se puede llevar a cabo mediante
un mtodo especfico para la ecuacin diferencial en cuestin o mediante una transformada
(como, por ejemplo, la transformada de Laplace).
Orden de la ecuacin
El orden de la derivada ms alta en una ecuacin diferencial se denomina orden de la
ecuacin.
Grado de la ecuacin
Es la potencia de la derivada de mayor orden que aparece en la ecuacin, siempre y cuando
la ecuacin est en forma polinmica, de no ser as se considera que no tiene grado.
Ecuacin diferencial lineal
Se dice que una ecuacin es lineal si tiene la forma

es decir:
Ni la funcin ni sus derivadas estn elevadas a ninguna potencia distinta de uno o cero.
En cada coeficiente que aparece multiplicndolas slo interviene la variable independiente.
Una combinacin lineal de sus soluciones es tambin solucin de la ecuacin.
Ejemplos:

es una ecuacin diferencial ordinaria lineal de primer orden, tiene como

soluciones con k un nmero real cualquiera.

es una ecuacin diferencial ordinaria lineal de segundo orden, tiene como

soluciones con a y b reales.

es una ecuacin diferencial ordinaria lineal de segundo orden, tiene

como soluciones con a y b reales.
 Mtodo de Euler

El mtodo de Euler rara vez se utiliza en la prctica para obtener la solucin aproximada de
un problema de valor inicial, pero se estudia por su simplicidad en la derivacin de la
frmula y de la determinacin del error. Los mtodos de orden superior utilizan las mismas
tcnicas, pero el lgebra que requieren es mucho ms complicada.

Con el mtodo de Euler se obtiene una solucin aproximada de un problema de valor inicial
como el que se muestra en la ecuacin (1), en un conjunto finito de puntos.

(1)

Para empezar, se determina la malla {t0, t1, ... , tN} de paso h, donde t0 = a y tN = b. En
estos puntos es donde se va a obtener la aproximacin de la solucin.

Para determinar la frmula del mtodo, se parte de un desarrollo de Taylor de la funcin

solucin y(t), alrededor de un punto de la malla, ti, suponiendo que la funcin y(t) posee
derivadas primera y segunda continuas en (a, b):

(2)

Evaluando esta expresin en t = ti+1, para cualquier i, se tiene:

(3)

Pero como ti+1- ti = h, resulta:

(4)

Como y(t) satisface la ecuacin diferencial, en particular es y'(ti) = f(ti, yi), entonces
reemplazando en la frmula (4) resulta:

(5)

Si se elimina de la frmula anterior el trmino del error, se puede escribir:

 (6)

Resultando as la frmula del mtodo de Euler para aproximar la solucin en un punto de la

malla, teniendo una aproximacin en el punto inmediato anterior. Como la condicin en el
punto a del problema de valor inicial da el valor inicial y(t0)=, se tiene entonces la
solucin aproximada en todos los puntos de la malla. Si se llaman yi = y(ti), se tiene
entonces la frmula de Euler dada en la frmula (7):

(7)

Implementacin del mtodo

A continuacin se presenta el algoritmo del mtodo de Euler en pseudocdigo, para

resolver un problema de valor inicial del tipo (1). ste es un algoritmo para una ecuacin
particular, si se quiere generalizar para una ecuacin cualquiera, con f(t, y) arbitraria, se
debe ingresar tambin como argumento la ley de f. Esto se puede implementar en cualquier
lenguaje de programacin, o en particular, en programas simblicos o numricos que
permitan programar, como Maple, Mathematica, Scilab o Matlab.

Con los valores obtenidos mediante este algoritmo se puede lograr un grfico discreto de la
solucin aproximada, o tambin se puede aplicar un mtodo de interpolacin para obtener
una grfica continua en el intervalo. La lista de valores obtenida con el algoritmo se puede
utilizar para comparar resultados, o calcular errores relativos y absolutos respecto de la
solucin exacta, si se conoce.

Ejemplo

Consideremos el siguiente problema de valor inicial.

La frmula de Euler para este problema, tomando N puntos en el intervalo [1, 2] (sin contar
el punto de partida a = 1), resulta:

(8)

Aplicamos el mtodo de Euler para un paso h = 0,2.

Teniendo en cuenta que h = 0,2, la cantidad de puntos en el intervalo resulta ser N = 5, y

entonces la tabla de valores obtenida con la frmula dada en (8) resulta:

i t y
0 1,00 2,0000
1 1,20 2,4000
2 1,40 2,9760
3 1,60 3,8093
4 1,80 5,0282
5 2,00 6,8384

Ahora, aplicamos la frmula el mtodo de Euler con N = 20 y N = 50. Representamos

grficamente los puntos obtenidos, comparndolos con la solucin exacta, dada por la
funcin
Se ve en los grficos obtenidos, que a medida que nos alejamos del valor inicial, la solucin
aproximada pierde precisin (se aleja de la solucin exacta), para el paso h = 1/20. Cuando
se achica el paso, la solucin mejora (h = 1/50).

Anlisis del error

Al deducir la frmula de Euler para aproximar la solucin de un PVI tipo (1), al pasar de la
expresin (5) a la (6), se descart en la expresin el error, dado por
(9)

De esta frmula surge que el error local de truncamiento en el mtodo es O(h2).

Teniendo en cuenta que, por ser y'' continua,

(10)

y tambin que h = (tN t0)/N, se tiene que despus de N pasos, el error global acumulado
es:

(11)

Por lo tanto, el error global en el mtodo de Euler es O(h).

 El procedimiento anterior puede aplicarse a todos los mtodos estudiados. El orden del
error global resulta siempre uno menos que el orden del error local de truncamiento (el
error del clculo de yi+1 para un solo paso).

En el siguiente teorema se deriva una cota de error para el mtodo de Euler. Ciertas
condiciones necesitan verificarse para la funcin que interviene en la ecuacin diferencial.
Algunas son condiciones para que el PVI tenga solucin nica, otras son especficas para
obtener la cota.

Teorema:
Sea el conjunto D = {(t, y) | a t b,- y } y f(t, y) continua en D, tal que
satisface una condicin de Lipschitz en D en la variable y.
Sea y(t) la solucin nica del PVI y' = f(t, y), a t b, y(a) = , y supongamos
que existe una constante M tal que |y'' (t)| M t [a,b].
Sean w0, w1, , wN las aproximaciones generadas con el mtodo de Euler para N
entero positivo. Entonces, para cada i = 0, 1, , N, se cumple:

(12)

Observacin: Este teorema tiene como punto dbil el requisito de conocer una cota de la
derivada segunda de la solucin, ya que en general, la solucin exacta no se conoce.
Algunas veces, es posible obtener una cota del error de la derivada segunda sin conocer
explcitamente la funcin solucin. Por ejemplo, si existen las derivadas parciales de la
funcin f(t, y), aplicando la regla de la cadena, se tiene que:

(13)

Por lo tanto, si se conocen cotas de f y las derivadas parciales de f, se puede tener una cota
de y''.

La importancia principal de la frmula de cota de error del mtodo de Euler dada en (12)
consiste en que dicha cota depende linealmente del tamao del paso h. Esto implica que, al
disminuir el tamao del paso, las aproximaciones debern ser ms precisas.
Pero en el resultado del teorema anterior, no se tiene en cuenta el efecto que el error de
redondeo ejerce sobre el tamao del paso. A medida que h se hace ms pequeo, aumenta
la cantidad de clculos, y se puede predecir un mayor error de redondeo. Entonces, para
determinar una cota del error, se debe tener en cuenta el error de redondeo, y se puede
establecer el siguiente teorema:

Teorema:
Considere el PVI y' = f(t, y), a t b, y(a) = , con f continua y tal que satisface
una condicin de Lipschitz en la variable y con constante L, en el conjunto D =
{(t, y) | a t b,- y }.
 Sea y(t) la solucin nica del PVI, y supongamos que existe una constante M tal
que |y'' (t)| M t [a,b].
Sean w0, w1, , wN las aproximaciones generadas con el mtodo de Euler para N
entero positivo, donde cada una tiene un error de redondeo asociado i.
Si |i| para cada i de 0 a N, entonces, para cada i = 0, 1, , N, se cumple:

(14)

Euler Mejorado

Los fenmenos que estudia la ingeniera se pueden representar mediante modelos

matemticos, stos en algunos casos se reducen a una ecuacin diferencial, cuya
solucin es una funcin que representa el comportamiento del fenmeno.

En la prctica la gran mayora de las ecuaciones diferenciales no pueden

resolverse utilizando tcnicas analticas y se recurre a los mtodos numricos,
que permiten la utilizacin de una computadora para resolver el problema.

Una ecuacin diferencial es una ecuacin en donde aparecen funciones, sus

derivadas, una o mas variables independientes y una o mas variables
dependientes. El nombre es tradicional, sin embargo ecuaciones en derivadas
sera mas descriptivo. Estas se dividen en dos grupos:

1.- Ecuaciones Diferenciales Ordinarias (EDO) .- En donde aparece slo una

variable independiente (que se denota con x).

2.- Ecuaciones Diferenciales Parciales (EDP) .- En las que aparece mas de una
variable independiente.

Las EDO se clasifican y se estudian segn su orden el cual se define como el

entero igual al nmero mximo de veces que se deriva la variable dependiente de
la ecuacin.

La solucin de una ecuacin diferencial es una funcin que no contiene derivadas

o integrales de funciones y que al derivarla coincide con la ecuacin diferencial.
Como al momento de integrar, aparece una constante, entonces la solucin a una
ecuacin diferencial resulta ser una familia de curvas (una curva para cada valor
de la constante).

Para determinar una solucin particular, es necesaria una condicin inicial del
problema, con lo cual ser posible determinar el valor de la constante que
corresponde a ese caso particular y con ello seleccionar una sola curva que sea
solucin de la ecuacin diferencial dada.

La Ecuacin Diferencial Ordinaria (EDO) general de primer orden es:

El mtodo de Euler mejorado es una modificacin del mtodo de Euler para

resolver EDOs con condiciones iniciales. La solucin que ofrece este mtodo, es
una tabla de la funcin solucin, con valores de y correspondientes a valores
especficos de x.

Es por esto que uno de los requisitos para este mtodo es especificar el intervalo
de x.

Tambin se requiere de:

- Una ecuacin diferencial de primer orden.

y= f(x,y)

- La condicin inicial ,es decir, el valor de y en un punto conocido x0.

y(x0) = y0

El mtodo consiste en usar la ecuacin de Euler como una ecuacin predictora y

usar este resultado en la ecuacin correctora de Euler-Gauss.

Las ecuaciones del mtodo de Euler Mejorado son las siguientes:

Mtodos de Runge Kutta

Los mtodos de Taylor tienen la propiedad de un error local de

truncamiento de orden superior, pero la desventaja de requerir el
clculo y la evaluacin de las derivadas de f(t, y). Esto resulta algo lento
y complicado, en la mayora de los problemas, razn por la cual, en la
prctica casi no se utilizan. El mtodo de Euler, lamentablemente
requiere de un paso muy pequeo para una precisin razonable.

Los mtodos de Runge kutta tienen el error local de truncamiento del

mismo orden que los mtodos de Taylor, pero prescinden del clculo y
evaluacin de las derivadas de la funcin f(t, y).

Se presenta de nuevo el problema de valor inicial cuya solucin se

intenta aproximar:

(1)

Como en los mtodos anteriores, se determina primero la malla {t0, t1,

... , tN} de paso h, donde t0 = a y tN = b. En estos puntos es donde se
va a obtener la aproximacin de la solucin.

En esencia, los mtodos de Runge-Kutta son generalizaciones de la

frmula bsica de Euler yi+1 = yi + h f(ti, yi) en los que el valor de la
funcin f se reemplaza por un promedio ponderado de valores de f en el
intervalo ti t ti+1, es decir,

(2)

En esta expresin las ponderaciones wi, i = 1, ..., m son constantes para

las que en general se pide que su suma sea igual a 1, es decir, w1 +
w2 + ... + wm = 1, y cada kj es la funcin f evaluada en un punto
seleccionado (t, y) para el cual ti t ti+1. Se mostrar que los kj se
definen en forma recursiva.
Se define como orden del mtodo al nmero m, es decir, a la cantidad
de trminos que se usan en el promedio ponderado.

Runge-Kutta de primer orden

Si m = 1, entonces se toma w1 = 1 y la frmula (2) resulta

(3)

Igualando esta frmula al desarrollo de Taylor de orden 1 de la funcin

y(t), alrededor del punto ti, y calculado en el punto ti+1:

(4)

y teniendo en cuenta que yi y(ti), resulta k1= f(ti, yi), obteniendo as la

frmula de Euler yi+1 = yi + h f(ti, yi). Por lo tanto, se dice tambin que
el mtodo de Euler es un mtodo de Runge Kutta de primer orden.

Runge-Kutta de segundo orden

Ahora se plantea, con m = 2, una frmula del tipo:

(5)

donde

(6)

y las constantes a, b, , se deben determinar, de manera que la

expresin (5) coincida con el desarrollo de Taylor de y de orden ms
alto posible.

Para ello, utilizando un desarrollo de Taylor para funciones de dos

variables, tenemos que:

(7
)
donde el subndice i indica que todas las derivadas estn evaluadas en el
punto (ti, yi).

Reemplazando k1 y teniendo en cuenta la expresin de k2, usando (7)

tenemos que:

(8
)

agrupando los trminos de (8) por las potencias de h, y reemplazando

en la expresin (5) el valor de k1 y k2, resulta

(9
)

Reacomodando trminos en (9), resulta:

(10
)

Por otro lado, se hace un desarrollo de Taylor de orden 3 de la funcin

y(t), calculado en el punto ti+1, obteniendo:

(11)

Aplicando regla de la cadena para las derivadas de f, se tiene:

(12
)
Comparando las expresiones (10) y (12), e igualando los coeficientes de
h y h2, se tiene:

(13)

Sucede que se tienen cuatro incgnitas, pero tres ecuaciones, con lo que
queda un grado de libertad en la solucin del sistema dado en (13). Se
trata de usar este grado de libertad para hacer que los coeficientes de
h3 en las expresiones (10) y (12) coincidan. Esto obviamente no se logra
para cualquier f.

Hay muchas soluciones para el sistema (13), una de ellas es

(14)

obteniendo as la siguiente frmula, del mtodo de Runge Kutta de

orden 2:

(15)

para i desde 0 hasta N-1, tomando un mallado {ti, i = 0, .., N}

Este mtodo tiene un error local de O(h3), y global de O(h2).

Mejora entonces el mtodo de Euler, por lo que se espera poder usar

con este mtodo un paso mayor. El precio que debe pagarse en este
caso, es el de evaluar dos veces la funcin en cada iteracin.

De la misma manera que se realiz arriba, se pueden derivar frmulas

de Runge-Kutta de cualquier orden, pero estas deducciones resultan
excesivamente complicadas. Una de las ms populares, y ms utilizada
por su alta precisin, es la de orden 4, que se presenta a continuacin.
Runge-Kutta de cuarto orden

Si ahora m = 4, se obtiene, con un desarrollo del tipo del anterior, la

siguiente frmula, para i desde 0 hasta N-1:

(16)

Si bien con facilidad se pueden deducir otras frmulas, el algoritmo

expresado en (16) se denomina mtodo de Runge-Kutta de cuarto
orden, o mtodo clsico de Runge-Kutta, abreviado como RK4. Este
algoritmo es de uso extendido, y reconocido como una valiosa
herramienta de clculo, por la buena aproximacin que produce.

Esta frmula tiene un error de truncamiento local de O(h5), y un error

global de O(h4). De nuevo, el precio que se debe pagar por la mejora
en el error es una mayor cantidad de evaluaciones de la funcin,
resultando en un mayor tiempo de clculo si la funcin es complicada.
Tiene la ventaja, sobre el mtodo de Taylor de orden 4 (cuyo error
global es tambin O(h4), que no requiere el clculo de las derivadas de
f.
Mtodos de Adams

La frmula general de los mtodos multipasos est dada por:

(20)

Se puede demostrar que esta frmula da el valor exacto para y(tn+1)

cuando y(t) es un polinomio de grado menor o igual a k si se cumplen
las siguientes restricciones de exactitud:

(21)

Las restricciones de exactitud dadas en (21) suelen ser llamadas

restricciones de consistencia. Los mtodos numricos multipasos dados
por (20) que cumplen la condicin (21) se dicen "consistentes".Para un
polinomio dado de grado k, estas restricciones pueden ser satisfechas
por una amplia variedad de posibilidades. Muchas familias de mtodos
han sido desarrolladas predefiniendo algunas de las relaciones entre los
coeficientes.

La familia de los mtodos de Adams, por ejemplo, est definida

mediante la asignacin del valor 0 a los coeficientes a1, a2, ..., ap de la
frmula (20), quedando slo el coeficiente a0, que deber tomar el valor
1 para cumplir con la primera de las restricciones de consistencia (21), y
se toma p = k -1,. As, la frmula de los mtodos de Adams, queda
reducida a:
 (22)

Los mtodos de Adams, dados por la frmula (22), pueden ser

clasificados en dos grupos, explcitos o implcitos, segn cmo se haga
la eleccin del coeficiente b-1.

La clase de los mtodos explcitos de Adams, tambin llamados mtodos

de "Adams-Bashforth", se obtiene haciendo b-1 = 0 y los restantes bi, se
obtienen aplicando la segunda restriccin de consistencia de (21),
tomando p = k-1):

(23)

En forma matricial, el sistema dado en (23) resulta:

(24)

Seleccionando el valor de k deseado (y consecuentemente, el orden p

que es igual a k-1) y resolviendo el sistema (24), se obtienen los
restantes coeficientes bi de la frmula (23), para obtener la frmula de
el mtodo de Adams-Bashforth de orden p.

La versin implcita de los mtodos de Adams, llamados mtodos de

"Adams-Moulton", se obtiene con b-1 0 y los restantes bi, se obtienen
aplicando la segunda restriccin de consistencia de (21) (p = k-2):

(25)
En forma matricial, el sistema dado en (25) resulta:

(26)

Seleccionando el valor de k deseado (y consecuentemente, el orden p

que es igual a k-1) y resolviendo el sistema (26) se obtienen los
restantes coeficientes bi de la frmula (25), para obtener la frmula de
el mtodo de Adams-Moulton de orden p.

Se dan a continuacin los mtodos de Adams-Bashforth de cuatro

pasos, y el de Adams-Moulton de tres pasos.

Mtodo de Adams-Bashforth de cuatro pasos

Se calculan los valores iniciales w0 = 0, w1 = 1, w2 = 2, w3 = 3 (con

el mtodo de Runge-Kutta), y se aplica la frmula:

(27)

Se deja como ejercicio verificar, resolviendo el sistema dado en (24)

para p = 4, los coeficientes de la ecuacin (27).

Puede demostrarse que el error local de truncamiento |wi y(ti)| en el

mtodo de Adams-Bashforth de cuatro pasos est dado por la
expresin:

(28)

para algn i[ti-3, ti+1]. Es decir, este mtodo es del orden de h4.

Se muestra a continuacin el pseudocdigo del algoritmo de este

mtodo. Los parmetros de entrada de este algoritmo son: los extremos
del intervalo inicial a y b, el valor de la condicin inicial, , y la cantidad
de puntos a considerar en la malla, N.
Mtodo de Adams-Moulton de tres pasos

Se calculan los valores iniciales w0 = 0, w1 = 1, w2 = 2 (con el mtodo

de Runge-Kutta), y se aplica la frmula:

(29)

Se deja como ejercicio verificar los coeficientes de la frmula (29),

resolviendo el sistema de ecuaciones dado en (26).

Puede demostrarse que el error local de truncamiento |wi y(ti)| en el

mtodo de Adams-Moulton de tres pasos est dado por la expresin:
 (30)

para algn i[ti-2, ti+1]. Es decir, este mtodo tambin es del orden de
h4. Por ello se comparan siempre los resultados de aplicar el mtodo de
Adams-Bashford de n + 1 pasos, contra el mtodo de Adams-Moulton
de n pasos.

Se muestra a continuacin el pseudocdigo del algoritmo de este

mtodo.

Este mtodo requiere menos puntos y tiene la misma precisin que el

anterior, pero tiene la dificultad de tener que resolver en cada paso una
ecuacin, que puede ser no lineal, en cuyo caso se deber aplicar un
mtodo de aproximacin de soluciones de ecuaciones no lineales.
Ejemplo

Consideremos el siguiente problema de valor inicial:

y' = y - t2 + 1, 0 t 2, y(0) = 0,5 (31)

Se aplicarn los mtodos de Adams-Bashforth de cuatro pasos (A-B) y el

de Adams-Moulton de tres pasos (A-M), ambos con tamao de paso h =
0,2 para la malla en el dominio [0, 2]. Con este tamao de paso, la
malla de puntos resulta:

ti = 0,2.i, para i = 0, ..., 10. (32)

El mtodo de A-B aplicado a este problema, siendo f(t,y) = y - t2 + 1 y

tomando ti = 0,2 i, tiene por ecuacin de diferencias:

(33
)

Anlogamente, El mtodo de A-M aplicado a este problema, con la

misma expresin para f(t,y) y los mismos valores para los ti, tiene por
ecuacin de diferencias:

(34
)

Se ve claramente aqu que el mtodo de A-M tiene por ecuacin de

diferencias una expresin implcita para wi+1. Se puede despejar en este
caso la incgnita wi+1, para obtener la ecuacin:

(35
)

Los resultados que se obtuvieron aplicando estas ecuaciones, se

muestran en la siguiente tabla. Los valores exactos provienen de la
solucin exacta del PVI, y(t) = (t+1)2 - 0,5 et. No tiene sentido mostrar
la comparacin de estos valores en forma grfica, por la gran precisin
de los resultados obtenidos, que hace que los errores sean del orden de
10-3.

Tabla 1

En el ejemplo, el mtodo implcito de Adams-Moulton dio mejores

resultados que el mtodo explcito de Adams-Bashforth del mismo
orden. Generalmente ocurre esto, pero los mtodos implcitos tienen la
debilidad intrnseca de que primero deben convertir algebraicamente el
mtodo en una representacin explcita de wi+1. Este procedimiento no
siempre es posible, como ocurre por ejemplo en el siguiente problema
elemental de valor inicial:

(36)

Dado que f(t)= ey, el mtodo de Adams-Moulton de tres pasos tiene

como ecuacin de diferencia la siguiente:

(37)

y de esta ecuacin no se puede despejar wi+1. Para resolver la ecuacin

(37), se deber aplicar algn mtodo numrico.
Aplicaciones.-
Selecciona una ecuacin diferencial con un valor inicial y obtener

a) 2 puntos solucin por runge- kutta de cuarto orden

s y(0) = 1, utilizando h = 0.5

dy
dx

y x2 1

Cuarto Orden
yi+1 = yi + [1/6 (k1 + 2k2 + 2k3 + k4)] h

y i = y(0) = 1
k1 = f (xi, yi) = f (0, 1) = 1(02-1) = -1
k2 = f (xi+1/2 h, yi+ h k1)
xi+1/2 h = 0+1/2 (0.5) = 0.25
yi+1/2 h k1 = 1 +1/2 (0.5)(-1) = 0.75
k2 = f (0.25, 0.75) = 0.625(0.3752 - 1)
= -0.7031
k3 = f (xi + 1/2 h, yi + 1/2 hk2)
xi+1/2 h = 0+ 1/2 (0.5) = 0.25
yi+1/2 h k2 = 1 +1/2 (0.5)(-0.7031)
= 0.8242
k3 = f (0.25, -0.7031) = -0.7727
k4 = f (xi + h, yi + h k3)
xi+ h = 0+ (0.5) = 0.5
yi+ h k3 = 1 + (0.5)(-0.7727)
= 0.6136
k4 = f (0.5, 0.6136) = -0.4602
y i+1 = y (0.5)
= 1 + 1/6 [-1 + 2(-0.7031)
+ 2(-0.7727) + 4(-0.4602)] (0.5)
= 0.6323

y i = y(0.5) = 0.6323
k1 = f (0.5, 0.6323) = -0.4743
xi+ 1/2 h = 0.75
yi+ 1/2 h k1 = 0.5138
k2 = f (0.75, 0.5138) = -0.2248
xi+ 1/2 h = 0.75
yi+ 1/2 h k2 = 0.5761
k3 = f (0.75, -0.5761) = -0.2521
xi+ h = 1
yi+ h k3 = 0.5063
k4 = f (1, 0.5063) = 0
y i+1 = y (1) = 0.5133
y i = y(1) = 0.5133
k1 = f (1, 0.5133) = 0
xi+ 1/2 h = 1.25
yi+ 1/2 h k1 = 0.5133
k2 = f (0.75, 0.5138) = -0.2889
xi+1/2 h = 1.25
yi+ 1/2 h k2 = 0.5855
k3 = f (0.75, -0.5761) = 0.3294
xi+ h = 1.5
yi+ h k3 = 0.6780
k4 = f (1, 0.5063) = 0.8475
y i+1 = y (1.5) = 0.6870

y i = y(1.5) = 0.6870
k1 = f (1.5, 0.6870) = 0.8587
xi+1/2 h = 1.75
yi+ 1/2 h k1 = 0.9017
k2 = f (1.75, 0.9017) = 1.8597
xi+ 1/2 h = 1.75
yi+ 1/2 h k2 = 1.1519
k3 = f (1.75, 1.1519) = 2.3758
xi+ h = 2
yi+ h k3 = 1.8749
k4 = f (2, 1.8749) = 5.6248
y i+1 = y (2) = 1.933

b) Obtener 2 puntos mas por Adams- moulton de tercer orden.

Predictor yi+1 = yi + h (0 fi-0 + 1 fi-1 + 2 fi-2 + 3 fi-3)

55 59 37 9
y i 1 y i h fi f i 1 f i 2 f i 3
24 24 24 24

Corrector yi+1 = yi + h (0 fi+1-0 + 1 fi+1-1 + 2 fi+1-2 + 3 fi+1-3)

9 19 5 1
y i 1 y i h f i 1 fi f i 1 f i 2
24 24 24 24
Primer Paso

xi = 0, yi = 1

xi - 1 = -0.5, yi - 1 = 1.581052

xi - 2 = -1, yi - 2 = 1.947028

xi - 3 = -1.5, yi - 3 = 1.453834

Predictor

y (0.5) = 0.9709569

Corrector

y (0.5) = 0.5911456

y (0.5) = 0.6445565

y (0.5) = 0.6370456

y (0.5) = 0.6381018

y (0.5) = 0.6379533

y (0.5) = 0.6379742

Segundo Paso

xi = 0.5, yi = 0.6379742

xi - 1 = 0, yi - 1 = 1

xi - 2 = -0.5, yi - 2 = 1.581052

xi - 3 = -1, yi - 3 = 1.947028

Predictor

y (1) = 0.735548

Corrector

y (1) = 0.5319068