Mtodos multipasos

Los mtodos estudiados hasta ahora son llamados mtodos de un paso, porque la aproximacin de
la solucin en el punto i + 1 de la malla se obtiene con informacin proveniente de la aproximacin
obtenida en el punto i. Aunque hay algunos mtodos (Runge-Kutta) que utilizan informacin en
puntos interiores del intervalo [ti, ti+1], no la conservan para utilizarla directamente en
aproximaciones futuras. Toda la informacin que emplean se obtiene dentro del subintervalo en que
va a aproximarse la solucin.
Como, en el momento de calcular la aproximacin en el punto ti+1, la solucin aproximada est
disponible en los puntos to, t1, , ti de la malla, antes de obtener la aproximacin en ti+1, y como el
error |wi y(ti)| tiende a aumentar con i, parece razonable desarrollar mtodos que usen estos
datos precedentes ms precisos al obtener la solucin en ti+1. Se conocen como mtodos
multipasos a aquellos que emplean la aproximacin en ms de uno de los puntos de red
precedentes para determinar la aproximacin en el punto siguiente.

Definicin:
Un mtodo multipasos de p pasos para resolver el problema de valor inicial

(1)

es aquel mtodo cuya ecuacin de diferencias para obtener la aproximacin wn+1 en el punto tn+1 de
la malla definida por {tn = a + h n, n = 1, ..., N}, con h = (b-a)/N, puede representarse por medio
de la siguiente ecuacin, donde p es un entero mayor que 1:

(2)

para n = p-1, p, , N-1, donde h = (b-a)/N, a0, a1, , ap, b-1, , bp son constantes y se especifican
los valores iniciales w0 = 0, w1 = 1, w2 = 2, , wp-1 = p-1. Se toma generalmente de la condicin
inicial el valor w0 = (el dato de la condicin inicial) y los dems valores necesarios para iniciar el
mtodo se obtienen con un mtodo de Runge-Kutta u otro mtodo de un paso.
Cuando b-1= 0, el mtodo es explcito o abierto, ya que la ecuacin (2) da de manera explcita el
valor de wn+1 en funcin de los valores previamente determinados.
Cuando b-1 0, el mtodo es implcito o cerrado, ya que en la ecuacin (2), wn+1 se encuentra en
ambos lados, quedando especificado slo implcitamente. En la implementacin de un mtodo
implcito, se debe resolver la ecuacin implcita para wn+1. No es evidente que siempre se pueda

resolver esta ecuacin, ni que siempre se obtenga una solucin nica para wn+1. En caso que no se
pueda resolver la ecuacin, se deber recurrir a algn mtodo de aproximacin de ecuaciones no
lineales (Newton, por ejemplo).
Aproximacin polinomial
Para relacionar el mtodo de resolucin del PVI con la aproximacin polinomial, se debe establecer
una relacin entre los coeficientes. Un polinomio de grado k est determinado de manera nica por
k+1 coeficientes. El mtodo de resolucin del PVI planteado tiene 2 p + 3 coeficientes; por lo
tanto, los coeficientes deben ser elegidos de manera que:

2p+3 k+1

(3)

El orden del mtodo numrico es el grado ms alto k de un polinomio en t tal que la solucin
numrica coincide con la solucin exacta. Los coeficientes de la frmula del mtodo pueden
obtenerse eligiendo un conjunto base de funciones {1,2, ...,k} definidas por

(4)

y que resuelvan el conjunto de ecuaciones multipasos

(5)

para todo j = 0, 1, ..., k. (porque si

wn-i )

j es solucin de la ecuacin, entonces j' = f(t, j ), y j (tn-i)=

Este mtodo puede aplicarse para derivar varios mtodos de resolucin numrica de PVI de primer
orden.
Consideremos por ejemplo, el caso donde p = 0 y k = 1. Estos valores de p y k satisfacen la
ecuacin (3) (con el signo >), por lo tanto es posible determinar coeficientes que devuelvan como
solucin exacta un polinomio de grado 1. El conjunto base para k = 1 es:

0(t) = 1, 1(t) = t
cuyas derivadas son:

(6)

0'(t) = 0, 1'(t) = 1

(7)

y la ecuacin multipasos resulta:

(8)

Representando el mtodo multipasos de la ecuacin (6) en trminos de las funciones base, resultan
las siguientes ecuaciones:

(9)

Reemplazando en la ecuacin (9) la eleccin de las funciones base realizada en (6), se tienen las
ecuaciones:

(10)

De la primera ecuacin en (10), resulta a0 = 1. Teniendo esto en cuenta, y recordando que h =

tn+1 - tn, de la segunda ecuacin en (10) tenemos:

b-1 + b0 = 1

(11)

Esta eleccin de orden y grado, nos conduce entonces a dos ecuaciones con tres incgnitas:

a0 = 1
(12)
b-1 + b0 = 1

Eligiendo por ejemplo, a0 = 1, b-1 = 0 y b0 = 1, se obtiene el ya conocido Mtodo de Euler:

wn+1 = wn +h f(wn , tn )

(13)

Otra eleccin posible sera a0 = 1, b-1 = 1 y b0 = 0. En este caso, se obtiene otro mtodo para
aproximar PVI de primer orden:

wn+1 = wn +h f(wn+1 , tn+1)

(14)

En este caso, el mtodo resultante es llamado generalmente Euler hacia atrs, o Euler implcito,
puesto que wn+1est definido por la ecuacin (14) en forma implcita:
Si ahora se eligen los valores p = 0 y k = 2, se tiene que 2p + 3 = k + 1. En este caso, los
coeficientes pueden ser determinados de manera nica. Eligiendo como funciones base

0(t) = 1, 1(t) = t, 2(t) = t2

(15)

0'(t) = 0, 1'(t) = 1, 2'(t) = 2t,

(16)

sus derivadas son:

y la ecuacin multipasos, para cada una de ellas, resulta:

(17)

que, reemplazando por los valores en (15) y (16), resulta en el sistema:

(18)

Haciendo tn = 0, resulta tn+1 = h, por lo tanto, resolviendo el sistema, se tiene la solucin nica:
a0 = 1, b0 = 1/2, b-1 = 1/2, resultando entonces la frmula:

(19)

Esta frmula de segundo orden, implcita, se llama mtodo trapezoidal. Se llama as ya que el
segundo trmino de la ecuacin (19) puede interpretarse como el rea bajo un trapezoide. Esta
frmula es considerada de segundo orden, porque se requiere informacin en dos puntos: tn y tn+1.
Hasta aqu los ejemplos que se desarrollaron resultaron mtodos de un paso.
Segn cmo se eligen los coeficientes ai y bi en la frmula (2), resultan distintas frmulas
multipasos. Hay dos grandes familias de mtodos, los mtodos de Adams y los mtodos de Gear.
Ambas familias proveen frmulas de mtodos multipasos propiamente dicho, porque utilizan
informacin en ms de un punto previo de la malla. Veamos ahora los mtodos de Adams, los
mtodos de Gear son utilizados para ecuaciones rgidas, y se describen en la pestaa
correspondiente.
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 b i 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 =
y se aplica la frmula:

0, w1 = 1, w2 = 2, w3 = 3 (con el mtodo de Runge-Kutta),

(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 =
aplica la frmula:

0, w1 = 1, w2 = 2 (con el mtodo de Runge-Kutta), y se

(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.
Mtodo predictor-corrector
En la prctica, los mtodos multipasos implcitos no se emplean como se mostr aqu. Se utilizan
para mejorar las aproximaciones obtenidas con mtodos explcitos. La combinacin de un mtodo
explcito con uno implcito recibe el nombre de mtodo predictor-corrector: El mtodo explcito
predice una aproximacin, y el mtodo implcito la corrige.
Consideremos el siguiente mtodo de cuarto orden para resolver un problema de valor inicial. El
primer paso consiste en calcular los valores iniciales w0, w1,w2 y w3 para el mtodo de AdamsBashforth de cuatro pasos. Para ello, se puede usar el mtodo de Runge-Kutta. El siguiente paso

consiste en calcular una primer aproximacin w4(0)en el punto t4 de la malla usando como predictor
el mtodo de Adams-Bashforth:

(38)

Luego, se mejora esta aproximacin utilizando el mtodo de Adams-Moulton de tres pasos como
corrector, introduciendo el valor de w4(0) en el lado derecho:

(39)

En este procedimiento, la nica nueva evaluacin de la funcin que se necesita calcular es f(t4,
w4(0)) en la ecuacin del corrector. El resto de las evaluaciones de f ya haban sido calculadas para
la aproximacin anterior.
Luego, se utiliza el valor w4(1) como aproximacin de y(t4), y se repite la tcnica que consiste en
utilizar como predictor el mtodo de Adams-Bashforth y como corrector el de Adams-Moulton para
obtener w5(0) y w5(1), las aproximaciones inicial y mejorada de y(t5), y as sucesivamente.
A continuacin se presenta el pseudocdigo del mtodo predictor-corrector de Adams de cuatro
pasos.

Ejemplo
Dado el problema de valor inicial del ejemplo anterior:

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

(40)

aplicamos ahora el mtodo predictor-corrector de Adams dado en las frmulas (38) y (39),
habiendo aplicado previamente Runge-Kutta para determinar los valores de arranque para el
predictor-corrector, y se obtuvieron los valores que se muestran en la siguiente tabla. En la misma
se listan tambin los valores correspondientes de la solucin exacta, y el error de truncamiento
local.

Tabla 2
Se puede ver, comparando los resultados mostrados en las tablas 1 y 2, que el mtodo predictorcorrector mejora los resultados obtenidos con el mtodo de Adams-Bashforth.