Опубликован: 25.10.2007 | Уровень: специалист | Доступ: платный | ВУЗ: Московский физико-технический институт
Лекция 8:

Численное интегрирование

7.3. Кратные интегралы

Рассмотрим, для примера двукратный интеграл по прямоугольной области \Omega (a\le x\le b, c\le y\le d). Аналогично одномерному случаю, в соответствии с формулой прямоугольников (со средней точкой) заменим функцию ее значением в точке пересечения диагоналей прямоугольника. В таком случае получим

$  I = \int\limits_{a}^{b} \int\limits_{c}^{d}f(x, y) dx dy  \approx  Sf (\frac{a + b}{2}, \frac{c + d}{2})  $,
где S = \tau _{x}\tau _{y}, \tau _{x} = (b - a), \tau _{y} = (d - c). Если разбить прямоугольник на прямоугольные ячейки Si, то получим аналог формулы прямоугольников со средней точкой в виде суммы по i: I  \approx  \sum\limits_i S_if(x_i, y_i), где Siплощадь i - ой прямоугольной ячейки, xi, yiкоординаты точки пересечения ее диагоналей.

Применим теперь формулу Симпсона для вычисления двукратного интеграла путем редукции к методу вычисления одномерного интеграла, зачем представим двойной интеграл как

I = \int\limits_{a}^{b}{\int\limits_{c}^{d} {f(x, y) dx dy = \int\limits_{a}^{b}{dx}} }
\int\limits_{c}^{d}{f(x, y)}  dy.

Сначала применим формулу Симпсона для вычисления внешнего интеграла:

$  I  \approx  \frac{{\tau_x}}{6}\left[{\int\limits_{c}^{d}{f(a, y)}  dy + 4\int\limits_{c}^{d}{f(\frac{{a + b}}{2}, y) dy + \int\limits_{c}^{d}{f(b, y) dy}} }\right]  . $

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

\begin{gather*}
I_1 = \int\limits_{c}^{d} f(a, y) dy  \approx  \frac{\tau_y}{6} \left[f(a, c) + 4f(a, \frac{c + d}{2}) + f(a, d)\right], \\ 
I_2 = \int\limits_{c}^{d} f(\frac{a + b}{2}, y) dy  \approx  \frac{\tau_y}{6}\left[f(\frac{a + b}{2}, c) + 4f(\frac{a + b}{2}, \frac{c + d}{2}) + f(\frac{a + b}{2}, d)\right], \\ 
I_3 = \int\limits_{c}^{d} f(b, y) dy  \approx  \frac{\tau_y}{6} \left[f(b, c) + 4f(b, \frac{c + d}{2}) + f(b, d)\right]  
\end{gather*}

Подставляя приближенные формулы для вычисления интегралов I1, I2, I3 в формулу для вычисления i, получим

\begin{gather*}
I  \approx  \frac{{\tau_x \tau_y}}{{36}}\left\{{f(a, c) + f(a, d) + f(b, c) + f(b, d) + }\right. \\ 
\left. {+ 4\left[{f(a, \frac{{c  +  d}}{2})  +  f(b, \frac{{c  +  d}}{2})  +  f(\frac{{a  +  b}}
{2}, c)  +  f(\frac{{a  +  b}}{2}, d)}\right] + 16f\left({\frac{{a  +  b}}{2}, \frac{{c  +  d}}
{2}}\right)}\right\}  
\end{gather*}

Если область интегрирования не является прямоугольной, то ее можно сделать подобластью большей по площади прямоугольной области, которую в свою очередь разбить на прямоугольные ячейки. Ячейки в этом случае разделяются на внутренние, к ним применяются приведенные формулы численного интегрирования, и граничные, не прямоугольные, площади которых вычисляются по более сложным алгоритмам. При этом приближенное значение интеграла, например, при использовании формулы средних, можно записать как I  \approx  \sum I^{i}_{\mbox{вн}} + \sum I^{j}_{\mbox{гр}}, где I^{i}_{\mbox{вн}} — приближенное значение интегралов по внутренним ячейкам, I^{j}_{\mbox{гр}}по граничным, i, j — номера ячеек с площадями Si и Sj.

7.4. Квадратурные формулы Гаусса

Поскольку формулы Ньютона - Котеса являются интерполяционными, очевидно, что они не могут успешно использоваться для получения формул высокой точности по причине неустойчивости интерполяционного процесса для многочленов высокого порядка. Как отмечалось выше, постоянные Лебега растут с увеличением количества узлов интерполяции для равномерной сетки как 2N. По этой причине обычно используются полиномы степени от нуля до трех (соответственно, формулы прямоугольников со средней точкой, трапеций, Симпсона, 3/8). Вычисление с их помощью интегралов от функций, обладающих высокой степенью гладкости, например, близким к полиномам высокой степени, представляется нерациональным. В выражение для погрешности этих формул входят первая, вторая или четвертая производные. Погрешность определяется низким порядком производной при высокой степени гладкости интегрируемой функции. Этих недостатков лишены квадратуры Гаусса.

Формулировка задачи построения квадратурных формул, поставленная Гауссом, такова.

Для заданного количества точек, а именно, для (N + 1) точки, найти такое расположение узлов и такие веса ci, чтобы квадратурная формула

\int\limits_{a}^{b}{f(t)dt = \sum\limits_{i = 0}^{N}{c_i}}f(t_i) + r_N (t)

была точной для полиномов как можно более высокой степени, т.е. чтобы rN(t) = 0.

Эдуард Макаров
Эдуард Макаров
Россия, Челябинск, Челябинский политехнический институт, 1966
Иван Кузнецов
Иван Кузнецов
Россия, г. Новосибирск