АЧМ - Алгоритмы и Численные Методы
Поиск  
АЧМ - Алгоритмы и Численные Методы  


Методы Адамса

Рассмотрим задачу Коши

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 не требуют решения никаких уравнений.


KDSW Logo  © Copyright 2005 KDSW Systems [ Kamaev Dmitry SoftWorks ]