Квадратурные формулы

1 Свойства и структура алгоритма

1.1 Общее описание алгоритма

Задача одномерного численного интегрирования состоит в приближенном вычислении определенного интеграла по отрезку: требуется вычислить

[math]I=\int\limits_a^b f(x)dx,[/math]

где [math]f(x)[/math] — интегрируемая функция, определенная на отрезке [math][a,b][/math].

Численное интегрирование оcуществляется с помощью квадратурных формул — приближенных равенств вида

[math]I\approx\sum\limits_{i=1}^n C_i f(x_i).[/math]

Сумма в правой части называется квадратурной суммой, различные точки [math]x_i[/math] отрезка [math][a,b][/math] называются узлами, а числа [math]C_i[/math] — коэффициентами квадратурной формулы.

Значение квадратурной суммы, принимаемое за приближенное значение интеграла, зависит от выбора узлов [math]x_i[/math] и коэффициентов [math]C_i[/math]. При вычислении значения квадратурной суммы основные временные затраты приходятся на вычисление значений подынтегральной функции в узлах.

Погрешностью квадратурной формулы называется разность

[math]R_n(f)=\int\limits_a^b\!f(x)\,dx-\sum\limits_{i=1}^n C_if(x_i).[/math]

Если функция [math]f(x)[/math] такова, что [math]R_n(f)=0[/math], то говорят,что квадратурная формула точна для функции [math]f(x)[/math].

Целое число [math]k\ge0[/math] называется алгебраической степенью точности квадратурной формулы, если квадратурная формула точна для любого многочлена степени не выше [math]k[/math] и не точна для многочлена степени [math]k+1[/math].

Если квадратурная формула с [math]n[/math] узлами имеет алгебраическую степень точности [math]k[/math], то [math]k\le 2n-1[/math].

Широко известны квадратурные формулы, полученные посредством замены подынтегральной функции [math]f(x)[/math] алгебраическим интерполяционным многочленом, значения которого совпадают со значениями функции в [math]n[/math] узлах [math]x_i[/math]; такие квадратурные формулы называются интерполяционными. Для погрешности интерполяционной квадратурной формулы справедлива оценка

[math]|R_n(f)|\le\frac{M_n}{n!}\int\limits_a^b|\,\omega_n(x)|\,dx,[/math]

где [math]M_n=\max\limits_{x\in[a,b]}|f^{(n)}(x)|[/math], [math]\omega_n(x)=\prod\limits_{i=1}^n (x-x_i)[/math].

Если интерполяционная квадратурная формула с [math]n[/math] узлами имеет алгебраическую степень точности [math]k[/math], то [math]k\ge n-1[/math].

1.1.1 Формулы Ньютона-Котеса

Формулами Ньютона-Котеса называются интерполяционные квадратурные формулы, [math]n[/math] узлов которых заданы равноотстоящими: [math]x_1=\frac{b-a}2[/math] при [math]n=1[/math] и [math]x_i=a+(i-1)\frac{b-a}{n-1}, 1\le i \le n[/math] при [math]n\gt 1[/math].

Свое название эти формулы получили в память того, что они в достаточно общей форме были рассмотрены Исааком Ньютоном, а их коэффициенты при [math]1\le n\le 10[/math] были найдены Роджером Котесом.

Наиболее известными формулами Ньютона-Котеса являются формула средних прямоугольников ([math]n=1[/math])

[math]I\approx(b-a)f(\frac{a+b}2)[/math]

и формула трапеций ([math]n=2[/math])

[math]I\approx\frac{b-a}2\,(f(a)+f(b));[/math]

алгебраическая степень точности каждой из них равна 1, а для их погрешностей справедливы оценки

[math]|R_1(f)|\le\frac{M_2}{24}\,(b-a)^3,\quad |R_2(f)|\le\frac{M_2}{12}\,(b-a)^3,[/math]

где [math]M_2=\max\limits_{x\in[a,b]}|f^{\prime\prime}(x)|[/math].

Формулами Ньютона-Котеса при [math]n=3[/math] и [math]n=4[/math] являются формула Симпсона

[math]I\approx\frac{b-a}6\,(f(a)+4f(\frac{a+b}2)+f(b)),[/math]

которую называют также формулой парабол, и формула трех восьмых

[math]I\approx\frac{b-a}{8}\,(f(a)+3f(\frac{2a+b}3)+3f(\frac{a+2b}3)+f(b)),[/math]

название которой происходит от коэффициента 3/8; алгебраическая степень точности каждой из них равна 3, а для их погрешностей справедливы оценки

[math]|R_3(f)|\le\frac{M_4}{2880}\,(b-a)^5,\quad |R_4(f)|\le\frac{M_4}{6480}\,(b-a)^5,[/math]

где [math]M_4=\max\limits_{x\in[a,b]}|f^{(4)}(x)|[/math].

Алгебраическая степень точности формулы Ньютона-Котеса с [math]n[/math] узлами равна [math]n-1[/math] при четном [math]n[/math] и равна [math]n[/math] при нечетном [math]n[/math].

Коэффициенты формул Ньютона-Котеса положительны при [math]1\le n\le8[/math] и [math]n=10[/math], а при [math]n=9[/math] и [math]n\ge11[/math] среди коэффициентов имеются как положительные так и отрицательные.

Положительность коэффициентов квадратурной формулы важна для ее практического применения. Дело в том, что при вычислении интегральной суммы влияние погрешностей округления на точность результата тем сильнее, чем больше [math]\sum\limits_{i=1}^n |C_i|[/math]. Для формул Ньютона-Котеса эта сумма неограниченно возрастает при [math]n\to\infty[/math]. Поэтому при больших [math]n[/math] формулы Ньютона-Котеса оказываются практически непригодными.

Таким образом, для того чтобы использовать квадратурные формулы с большим числом узлов, нужно отказаться или от того, чтобы квадратурная формула была интерполяционной, или от того, чтобы узлы задавались равноотстоящими.

1.1.2 Составные квадратурные формулы

Составными называются квадратурные формулы, построение которых осуществляется следующим образом. Отрезок интегрирования [math][a,b][/math] разбивается на [math]m[/math] отрезков равной длины [math]h=\dfrac{b-a}m[/math]. Тогда по свойству аддитивности интеграл может быть вычислен как сумма интегралов по отрезкам разбиения. Для приближенного вычисления каждого из слагаемых этой суммы применяется одна и та же квадратурная формула, называемая исходной.

Алгебраическая степень точности составной квадратурной формулы совпадает с алгебраической степенью точности исходной.

Если в качестве исходной квадратурной формулы выбрать формулу средних прямоугольников, формулу трапеций или формулу Симпсона, то будут получены следующие составные квадратурные формулы:

составная формула средних прямоугольников

[math]I\approx h\,(\sum\limits_{i=1}^m f(a+ih-\frac{h}{2}))[/math]

с числом узлов [math]m[/math] и оценкой погрешности

[math]|R_m(f)|\le\frac{M_2}{24}\,(b-a)h^2,[/math]

составная формула трапеций

[math]I\approx \frac{h}{2}\,(f(a)+f(b)+2\sum\limits_{i=1}^{m-1}f(a+ih))[/math]

с числом узлов [math]m+1[/math] и оценкой погрешности

[math]|R_{m+1}(f)|\le\frac{M_2}{12}\,(b-a)h^2,[/math]

составная формула Симпсона

[math]I\approx \frac{h}{6}\,(f(a)+f(b)+2\sum\limits_{i=1}^{m-1}f(a+ih)+4\sum\limits_{i=1}^m f(a+ih-\frac{h}{2}))[/math]

с числом узлов [math]2m+1[/math] и оценкой погрешности

[math]|R_{2m+1}(f)|\le\frac{M_4}{2880}\,(b-a)h^4.[/math]

1.2 Математическое описание алгоритма

Если квадратурная формула выбрана, то алгоритм приближенного вычисления интеграла состоит в вычислении квадратурной суммы, т.е. в вычислении значений функции в [math]n[/math] узлах, умножении их на соответствующие коэффициенты и суммировании полученных чисел.

Исходные данные: функция [math]f(x)[/math] и два одномерных массива [math]n[/math] чисел: массив узлов и массив коэффициентов.

Вычисляемые данные: число, являющееся значением квадратурной суммы и представляющее собой приближенное значение интеграла.