Формула Симпсона

Формула Симпсона (также Ньютона-Симпсона^[1]) относится к приёмам численного интегрирования. Получила название в честь британского математика Томаса Симпсона (1710—1761).

Суть метода заключается в приближении подынтегральной функции на отрезке ${\displaystyle [a,b]}$ интерполяционным многочленом второй степени ${\displaystyle p_{2}(x)}$, то есть приближение графика функции на отрезке параболой. Метод Симпсона имеет порядок погрешности 4 и алгебраический порядок точности 3.

Формулой Симпсона называется интеграл от интерполяционного многочлена второй степени на отрезке ${\displaystyle [a,b]}$:

${\displaystyle {\int \limits _{a}^{b}f(x)dx}\approx {\int \limits _{a}^{b}p_{2}(x)dx}={\frac {b-a}{6}}{\left(f(a)+4f\left({\frac {a+b}{2}}\right)+f(b)\right)},}$

где ${\displaystyle f(a)}$, ${\displaystyle f((a+b)/2)}$ и ${\displaystyle f(b)}$ — значения функции в соответствующих точках (на концах отрезка и в его середине).

При условии, что у функции ${\displaystyle f(x)}$ на отрезке ${\displaystyle [a,b]}$ существует четвёртая производная, погрешность ${\displaystyle E(f)}$, согласно найденной Джузеппе Пеано формуле, равна:

${\displaystyle E(f)=-{\frac {(b-a)^{5}}{2880}}{f^{(4)}(\zeta )},\ \ \ \zeta \in [a,b].}$

В связи с тем, что значение ${\displaystyle \zeta }$ зачастую неизвестно, для оценки погрешности используется следующее неравенство:

${\displaystyle \left|E(f)\right|\leqslant {\frac {(b-a)^{5}}{2880}}\max \limits _{x\in [a,b]}{\left|f^{(4)}(x)\right|}.}$

Формулу Симпсона можно представить в виде таблицы метода Рунге-Кутты следующим образом:

${\displaystyle {\begin{array}{c|ccc}0&&&\\{\frac {1}{2}}&{\frac {1}{2}}&&\\1&-1&2&\\\hline &{\frac {1}{6}}&{\frac {2}{3}}&{\frac {1}{6}}\end{array}}}$

Для более точного вычисления интеграла интервал ${\displaystyle [a,b]}$ разбивают на ${\displaystyle N=2n}$ элементарных отрезков одинаковой длины и применяют формулу Симпсона на составных отрезках. Каждый составной отрезок состоит из соседней пары элементарных отрезков. Значение исходного интеграла является суммой результатов интегрирования на составных отрезках:

${\displaystyle \int _{a}^{b}f(x)\,dx\approx {\frac {h}{3}}\left[f(x_{0})+2\sum _{j=1}^{N/2-1}f(x_{2j})+4\sum _{j=1}^{N/2}f(x_{2j-1})+f(x_{N})\right],}$

где ${\displaystyle h={\frac {b-a}{N}}}$ — величина шага, а ${\displaystyle x_{j}=a+jh}$ — чередующиеся границы и середины составных отрезков, на которых применяется формула Симпсона. Один подобный составной отрезок ${\displaystyle [x_{j-1},x_{j+1}]}$состоит из двух элементарных отрезков ${\displaystyle [x_{j-1},x_{j}],[x_{j},x_{j+1}]}$. Таким образом, если проводить параллели с простой формулой Симпсона, то в данном случае серединой отрезка, на котором применяется формула Симпсона, становится ${\displaystyle x_{j}}$.

Обычно для равномерной сетки данную формулу записывают в других обозначениях (отрезок ${\displaystyle [a,b]}$ разбит на ${\displaystyle N}$ отрезков) в виде

${\displaystyle \int _{a}^{b}f(x)\,dx\approx {\frac {h}{3}}{\bigg [}f(x_{0})+4f(x_{1})+2f(x_{2})+4f(x_{3})+2f(x_{4})+\cdots +4f(x_{N-1})+f(x_{N}){\bigg ]}.}$

Также формулу можно записать используя только известные значения функции, то есть значения в узлах:

${\displaystyle {\int \limits _{a}^{b}f(x)dx}\approx {\frac {h}{3}}\cdot \sum _{k=1,2}^{N-1}\left[f(x_{k-1})+4f(x_{k})+f(x_{k+1})\right]}$

где ${\displaystyle k=1,2}$ означает что индекс меняется от единицы с шагом, равным двум.

Общая погрешность ${\displaystyle E(f)}$ при интегрировании по отрезку ${\displaystyle [a,b]}$ с шагом ${\displaystyle x_{i}-x_{i-1}=h}$ (при этом, в частности, ${\displaystyle x_{0}=a}$, ${\displaystyle x_{N}=b}$) определяется по формуле^[2]:

${\displaystyle \left|E(f)\right|\leqslant {\frac {(b-a)}{2880}}h^{4}\max \limits _{x\in [a,b]}|f^{(4)}(x)|}$.

При невозможности оценить погрешность с помощью максимума четвёртой производной (например, на заданном отрезке она не существует, либо стремится к бесконечности), можно использовать более грубую оценку:

${\displaystyle \left|E(f)\right|\leqslant {\frac {(b-a)}{288}}h^{3}\max \limits _{x\in [a,b]}|f^{(3)}(x)|}$.

Составная формула Симпсона не проходит проверку на величину погрешности в случае узких (малое число точек на пик) пикоподобных функций, оказываясь значительно менее эффективной^[3], чем правило трапеций. Именно, для достижения той же погрешности, что и в случае правила трапеций, составному правилу Симпсона требуется в 1.8 раз больше точек. Интеграл по составному правилу Симпсона может быть разложен на суперпозицию двух интегралов: 2/3 интеграла по правилу трапеций с шагом h, и 1/3 интеграла по правилу центральных прямоугольников с шагом 2h, и погрешность составного правила Симпсона соответствует второму слагаемому. Можно построить удовлетворительную модификацию правила Симпсона путём усреднения схем этого правила, полученных со сдвигом рамки суммирования на одну точку, при этом получаются следующие правила^[3]:$${\displaystyle \int _{a}^{b}f(x)\,dx\approx {\tfrac {h}{24}}\left[-f(x_{-1})+12f(x_{0})+25f(x_{1})+24\sum _{i=2}^{n-2}f(x_{i})+25f(x_{n-1})+12f(x_{n})-f(x_{n+1})\right]}$$в котором используются значения, выходящие за границу интервала интегрирования, или$${\displaystyle \int _{a}^{b}f(x)\,dx\approx {\tfrac {h}{24}}\left[9f(x_{0})+28f(x_{1})+23f(x_{2})+24\sum _{i=3}^{n-3}f(x_{i})+23f(x_{n-2})+28f(x_{n-1})+9f(x_{n})\right]}$$в котором значения, находящиеся за границей интервала интегрирования, не используются. Приложение второго из правил к участку из трёх точек порождает правило Симпсона 1/3, к участку из 4 точек - 3/8.

В этих правилах веса точек внутри интервала интегрирования равны единице, отличия наблюдаются только на концах участка. Эти правила могут быть ассоциированы с формулой Эйлера-Маклорена, при условии учета первой производной и названы правилами Эйлера-Маклорена первого порядка^[3]. Разница между правилами состоит в способе вычисления первой производной на краях интервала интегрирования. Разница первых производных на краях участка интегрирования учитывает вклад второй производной в интеграл функции. Формула Эйлера-Маклорена аналогично приведённым выше правилам первого порядка может быть использована для конструирования правил интегрирования третьего, пятого и более высоких порядков.

• Метод прямоугольников
• Метод трапеций
• Список квадратурных формул

• Костомаров Д. П., Фаворский А. П. Вводные лекции по численным методам. М.: Логос, 2004. 184 с. ISBN 5-94010-286-7
• Петров И. Б., Лобанов А. И. Лекции по вычислительной математике. М.: Интуит, Бином, 2006. 523 с. ISBN 5-94774-542-9