|
Методы Адамса
Рассмотрим задачу Коши
y' = f(x,y) , aЈ xЈb |
(1) |
y(a) =y0 |
(2) |
В методах Рунге-Кутта значение yk+1 зависело только от информации в предыдущей точке xk . Кажется вполне вероятным, что можно добиться большей точности, если использовать информацию о нескольких предыдущих точках xk , xk-1 , … Именно так и поступают в многошаговых методах.
Большой и важный класс многошаговых методов возникает на основе следующего подхода. Если подставить в формулу (1) точное решение y(x) и проинтегрировать это уравнение на отрезке [xk , xk+1 ] , то получим
y(xk+1 )-y(xk )= y'(x)dx= f(x,y(x))dx ” p(x)dx, |
(3) |
где в последнем члене предполагаем, что p(x) -полином, аппроксимирующий f(x,y(x)) . Чтобы построить этот полином, предположим, что yk , yk-1 , … , yk-N -приближения к решению в точках xk , xk-1 , … , xk-N . Мы по-прежнему считаем, что узлы расположены равномерно с шагом h . Тогда fi є f(xi , yi ) (i = k, k-1, …, k-N) есть приближения к f(x,y(x)) в точках xk , xk-1 , … , xk-N , и мы в качестве p возьмём полином для набора данных (xi , fi ) (i = k, k-1, …, k-N) . Таким образом, p -полином степени N , удовлетворяющий условиям p(xi ) = fi , (i = k, k-1, …, k-N) . В принципе, можно проинтегрировать этот полином явно, что ведёт к следующему методу:
yk+1 =yk + p(x)dx |
(4) |
В простейшем случае, когда N=0 , полином p есть константа, равная fk ,и (4) превращается в обычный метод Эйлера. Если N=1 , то p есть линейная функция, проходящая через точки (xk -1 , fk -1 ) и (xk , fk ) ,т.е.
p(x)= -(x-xk ) fk -1 /h + (x-xk -1 ) fk /h .
Интегрируя этот полином от xk до xk +1 , получаем следующий метод:
yk+1 =yk + h(3 fk - fk-1 )/2 |
(5) |
который является двухшаговым, поскольку использует информацию в двух точках xk и xk -1 . Аналогично, если N=2 , то p есть квадратичный полином, интерполирующий данные (xk -2 , fk -2 ) , (xk -1 , fk -1 ) и (xk , fk ) , а соответствующий метод имеет вид
yk+1 =yk + h(23 fk -16 fk-1 +5fk -2 )/12 |
(6) |
Если N=3 , то интерполяционный полином является кубическим, а соответствующий метод определяется формулой:
yk+1 =yk + h(55 fk -59 fk-1 +37 fk-2 - 9 fk-3 )/24 |
(7) |
Отметим, что метод (6) является трёхшаговым, а (7) -четырёхшаговым.
Формулы (5)-(7) известны как явные методы Адамса (Адамса- Башфорта) , т.к. они для нахождения yk+1 не требуют решения никаких уравнений. Метод (5) имеет второй порядок точности, поэтому его называют методом второго порядка. Аналогично, методы (6) и (7) называют соответственно методами Адамса- Башфорта третьего и четвёртого порядков.
Методы Адамса- Башфорта используют уже сосчитанные значения в точке xk и в предыдущих точках. В принципе, при построении интерполяционного полинома мы можем использовать и точки xk+1 , xk+2 и т.д. Простейший случай при этом состоит в использовании точек xk+1 , xk , … , xk-N и построении интерполяционного полинома степени N+1 , удовлетворяющего условиям p(xi )= fi (I = k+1, k, …, k-N) . При этом возникает класс методов, изветных как неявные методы Адамса (Адамса- Моултона) . Если N=0 , то p - линейная функция, проходящая через точки (xk , fk ) и (xk+1 , fk+1 ) , и соответствующий метод
yk+1 =yk + h(fk+1 + fk )/2 |
(8) |
является методом Адамса- Моултона второго порядка. Если N=2, то p- кубический полином, построенный по точкам (xk+1 , fk+1 ) , (xk , fk ), (xk -1 , fk -1 ) и (xk -2 , fk -2 ), и соответствующий метод
yk+1 =yk + h(9 fk+1 +19 fk -5 fk-1 - fk-2 )/24 |
(9) |
является методом Адамса- Моултона четвёртого порядка.
Заметим теперь, что в формулах (8) и (9) значение fk+1 неизвестно. Дело в том, что для вычисления f(xk+1 , yk+1 )= fk+1 нужно знать значение yk+1 , которое само пока является неизвестным. Следовательно методы Адамса- Моултона определяют yk+1 только неявно. Так, например, соотношение (8) действительно является уравнением
yk+1 =yk + h[f(xk+1 , yk+1 ) + fk ]/2 |
(10) |
относительно неизвестного значения yk+1 . То же самое справедливо и относительно (9). В силу этого методы Адамса- Моултона называются неявными. В то же время методы Адамса- Башфорта называют явными, поскольку они для нахождения значения yk+1 не требуют решения никаких уравнений.
|
|