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 [t i, 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 = a0, w1 = a1, w2 = a2, , wp-1 = ap-1. Se toma
generalmente de la condicin inicial el valor w0 = a(el dato de la condicin inicial) y los
dems valores necesarios para iniciar el mtodo se obtienen con un mtodo de RungeKutta 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 {f1, f2, ..., fk}
definidas por
(4)
y que resuelvan el conjunto de ecuaciones multipasos

(5)

para todo j = 0, 1, ..., k. (porque si fj es solucin de la ecuacin, entonces fj' = f(t, fj ),

y fj (tn-i)= wn-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:

f0(t) = 1, f1(t) = t

(6)

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

(7)

cuyas derivadas son:

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

f0(t) = 1, f1(t) = t, f2(t) = t2

(15)

f0'(t) = 0, f1'(t) = 1, f2'(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 "AdamsBashforth", 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 k1) y resolviendo el sistema (24), se obtienen los restantes coeficientes b i 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 k1) 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 = a0, w1 = a1, w2 = a2, w3 = a3 (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, a, y la cantidad de puntos a considerar en la malla, N.

Mtodo de Adams-Moulton de tres pasos

Se calculan los valores iniciales w0 = a0, w1 = a1, w2 = a2 (con el mtodo de RungeKutta), 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 AdamsMoulton 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 Adams-Bashforth 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
predictor-corrector mejora los resultados obtenidos con el mtodo de Adams-Bashforth.