Подынтегральную функцию f(x) заменим интерполяционным полиномом второй степени Р2(х) — параболой, проходящей через узлы (рис. 4.5), тогда
где R— погрешность вычисления интеграла.
P |
x0 xi x2 X
Рис. 4.5. Метод Симпсона
Для записи полинома Р2(х) воспользуемся интерполяционной формулой Ньютона (2.6) для трех узлов:
, (4.26)
где и — разделенные разности, определяемые по формулам
h- расстояние между узлами.
Введем новую переменную , тогда и полином(4.26) принимает вид
. (4.27)
Теперь вычислим интеграл от полинома (4.27):
(4.28)
Последнее соотношение называют квадратурной формулой Симпсона или формулой парабол.
Формулу Симпсона можно получить и с помощью первой и второй формул Рунге, примененных к вычислению интеграла методом трапеций. Запишем два приближенных значения интеграла от функции f(x) на интервале [ , ] с шагами hи 2hпо формуле трапеций (4.19):
(4.29)
Интегралы (4.29) подставим в формулы (4.14) и (4.15) и получим уточненное значение интеграла
которое совпадает с формулой Симпсона (4.28).
Для оценки погрешности формулы Симпсона разложим подынтегральную функцию f(x) в ряд Тейлора около точки х1и проинтегрируем разложение почленно на интервале [ , ]:
(4.30) |
Суммируя разложения около точки х1для функции f(x) в узлах x0 иx2, получим, что
тогда интеграл (4.30) принимает вид
.(4.31)
Первое слагаемое в правой части формулы (4.31) совпадает с формулой Симпсона значит, второе слагаемое является главным членом погрешности для интеграла на интервале [ , х2]
(4.32)
Если интеграл вычисляется на интервале [ , ] путем разбиения его на четное число подинтегралов [ ], на каждой паре которых применяется формула Симпсона для узлов , то полная погрешность будет суммой правых частей соотношения (4.32). При малой величине шага hна основании метода средних прямоугольников получим
тогда полная погрешность запишется в виде
(4.33)
следовательно, формула Симпсона имеет четвертый порядок точности с очень малым численным коэффициентом в остаточном члене. Формула Симпсона позволяет получить высокую точность, если четвертая производная подынтегральной функции не слишком велика. В противном случае методы второго порядка могут дать большую точность, чем методСимпсона. Например,[17]дляфункции формула трапеций при n = 2 для интеграла в пределах [-1,1] дает точный результат, равный 4, тогда как по формуле Симпсона получим результат, не совпадающий даже по знаку (-8/3).