Формула численного интегрирования метода трапеций имеет вид. Методы численного интегрирования

Ограниченной осью абсцисс, графиком интегрируемой функции и отрезками прямых x=a\,\! и x=b\,\! , где a\,\! и b\,\! - пределы интегрирования (см. рисунок).

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

Одномерный случай

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

I \approx \sum_{i=1}^{n} w_i\, f(x_i),

где n\,\! - число точек, в которых вычисляется значение подынтегральной функции. Точки x_i\,\! называются узлами метода, числа w_i\,\! - весами узлов. При замене подынтегральной функции на полином нулевой, первой и второй степени получаются соответсвенно методы , и (Симпсона). Часто формулы для оценки значения интеграла называют квадратурными формулами.

Метод прямоугольников

Метод прямоугольников получается при замене подынтегральной функции на константу. В качестве константы можно взять значение функции в любой точке отрезка \left\,\! . Наиболее часто используются значения функции в середине отрезка и на его концах. Соответсвующие модификации носят названия методов средних прямоугольников , левых прямоугольников и правых прямоугольников . Формула для приближенного вычисления значения определенного интеграла методом прямоугольников имеет вид

I \approx f(x) (b-a) ,

где x=\frac{\left(a+b\right)}{2} , a\,\! или b\,\! , соответсвенно.

Метод трапеций

Если через концы отрезка интегрирования провести прямую, получим метод трапеций . Из геометрических соображений легко получить

I \approx \frac{f(a)+f(b)}{2} (b-a) .

Метод парабол

Использовав три точки отрезка интегрирования можно заменить подынтегральную функцию параболой. Обычно в качестве таких точек используют концы отрезка и его среднюю точку. В этом случае формула имеет очень простой вид

I \approx \frac{b-a}{6}\left(f(a)+4f\left(\frac{a+b}{2}\right)+f(b)\right) .

Увеличение точности

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

Для уменьшения погрешности отрезок интегрирования разбивают на части и применяют численный метод для оценки интеграла на каждой из них.

При стремлении количества разбиений к бесконечности, оценка интеграла стремится к его истинному значению для любого численного метода.

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

Метод Гаусса

Описанные выше методы используют фиксированные точки отрезка (концы и середину) и имеют низкий (1, 1 и 3, соответственно). Если мы можем выбирать точки, в которых мы вычисляем значения функции f(x)\,\! , то можно при том же количестве вычислений подынтегральной функции получить методы более высокого порядка точности. Так для двух (как в методе трапеций) вычислений значений подынтегральной функции, можно получить метод уже не 1-го, а 3-го порядка точности:

I \approx \frac{b-a}{2}\left(f\left(\frac{a+b}{2} - \frac{b-a}{2\sqrt{3}} \right)+f\left(\frac{a+b}{2} + \frac{b-a}{2\sqrt{3}} \right) \right) .

В общем случае, используя n\,\! точек, можно получить метод с порядком точности 2n-1\,\! . Значения узлов метода Гаусса по n\,\! точкам являются корнями полинома Лежандра степени n\,\! .

Значения узлов метода Гаусса и их весов приводятся в справочниках специальных функций. Наиболее известен метод Гаусса по пяти точкам.

Метод Гаусса-Кронрода

Недостаток метода Гаусса состоит в том, что он не имеет легкого (с вычислительной точки зрения) пути оценки погрешности полученного значения интеграла. Использование правила Рунге требует вычисления подынтегральной функции примерно в таком же числе точек, не давая при этом практически никакого выигрыша точности, в отличие от простых методов, где точность увеливается в разы при каждом новом разбиении. Кронродом был предложен следующий метод оценки значения интеграла

I \approx \sum_{i=1}^{n} a_i\, f(x_i) + \sum_{i=1}^{n+1} b_i\, f(y_i) ,

где x_i\,\! - узлы метода Гаусса по n\,\! точкам, а 3n+2\,\! параметров a_i\,\! , b_i\,\! , y_i\,\! подобраны таким образом, чтобы порядок точности метода был равен 3n+1\,\! .

Тогда для оценки погрешности можно использовать эмпирическую формулу

\Delta = \left(200 |I - I_G|\right)^{1.5} ,

где I_G\,\! - значение интеграла, оценненое методом Гаусса по n\,\! точкам. Библиотеки [

Страница 1

Кафедра «Высшей математики»
Реферат:

Выполнил: Матвеев Ф.И.
Проверила: Бурлова Л.В.

Улан-Удэ.2002

1.Численные методы интегрирования

2.Вывод формулы Симпсона

3.Геометрическая иллюстрация

4.Выбор шага интегрирования

5.Примеры

1. Численные методы интегрирования
Задача численного интегрирования заключается в вычислении интеграла

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

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

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

Численные методы условно можно сгруппировать по способу аппроксимации подынтегральной функции.

Методы Ньютона-Котеса основаны на аппроксимации функции
полиномом степени . Алгоритм этого класса отличается только степенью полинома. Как правило, узлы аппроксимирующего полинома – равноотносящие.

Методы сплайн-интегрирования базируются на аппроксимации функции
сплайном-кусочным полиномом.

В методах наивысшей алгебраической точности (метод Гаусса) используются специально выбранные неравноотносящие узлы, обеспечивающие минимальную погрешность интегрирования при заданном (выбранном) количестве узлов.

Методы Монте-Карло используются чаще всего при вычислении кратных интегралов, узлы выбираются случайным образом, ответ носит вероятностный характер.



суммарная погрешность

погрешность усечения

погрешность округления

Независимо от выбранного метода в процессе численного интегрирования необходимо вычислить приближенное значение интеграла и оценить погрешность. Погрешность уменьшается при увеличении n-количества

разбиений отрезка
. Однако при этом возрастает погрешность округления

за счет суммирования значений интегралов, вычисленных на частичных отрезках.

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

Рассмотрим подынтегральную функцию
на отрезке
. Заменим эту подынтегральную функцию интерполяционным многочленом Лагранжа второй степени, совпадающим с
в точках :

Проинтегрируем
:

Формула:


и называется формулой Симпсона.

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

Оценим теперь погрешность интегрирования по формуле Симпсона. Будем считать, что у на отрезке
существуют непрерывные производные
. Составим разность

К каждому из этих двух интегралов уже можно применить теорему о среднем, поскольку
непрерывна на
и функция неотрицательна на первом интервале интегрирования и неположительна на втором (то есть не меняет знака на каждом из этих интервалов). Поэтому:

(мы воспользовались теоремой о среднем, поскольку
- непрерывная функция;
).

Дифференцируя
дважды и применяя затем теорему о среднем, получим для
другое выражение:

, где

Из обеих оценок для
следует, что формула Симпсона является точной для многочленов степени не выше третьей. Запишем формулу Симпсона, напрмер, в виде:

,
.

Если отрезок
интегрирования слишком велик, то его разбивают на
равных частей (полагая
), после чего к каждой паре соседних отрезков
,
,...,
применяют формулу Симпсона, именно:

Запишем формулу Симпсона в общем виде:

(1)

(2)

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

,
(3)

Так как метод Симпсона позволяет получить высокую точность, если
не слишком велика. В противном случае метод второго порядка может дать большую точность.

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

3. Геометрическая иллюстрация


На отрезке
длиной 2h строится парабола, проходящая через три точки
,
. Площадь под параболой, заключенная между осью OX и прямыми
, принимают равной интегралу
.

Особенностью применения формулы Симпсона является тот факт, что число разбиений отрезка интегрирования - четное.

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

(4)

Это формула Симпсона «трех восьмых».

Для произвольного отрезка интегрирования
формула (4) может быть «продолжена»; при этом число частичных отрезков должно быть кратно трем (
точек).

, m=2,3,... (5)

- целая часть

Можно получить формулы Ньютона-Котеса старших порядков:

(6)

- количество отрезков разбиения;

- степень используемого полинома;

- производная -го порядка в точке
;

- шаг разбиения.

В таблице 1 выписаны коэффициенты
. Каждая строка соответствует одному набору промежутков
узлами для построения многочлена k-ой степени. Чтобы воспользоваться этой схемой для большего количества наборов (например, при k=2 и n=6), нужно «продолжить» коэффициенты, а затем сложить их.


Таблица 1:

k

C0

A0

a1

a2

a3

a4

a5

a6

2



1

4

1

1

4

1

1

4

1

1

4

2

2

4

1


Алгоритм оценки погрешности формул трапеции и Симпсона можно записать в виде:
(7),

где - коэффициент, зависящий от метода интегрирования и свойств подынтегральной функции;

h - шаг интегрирования;

p - порядок метода.

Правило Рунге применяют для вычисления погрешности путем двойного просчета интеграла с шагами h и kh.

(8)

(8) - апостериорная оценка. Тогда Iуточн.= +Ro (9),
уточненное значение интеграла
.

Если порядок метода неизвестен, необходимо вычислить I в третий раз с шагом
, то есть:

из системы трех уравнений:

с неизвестными I,А и p получаем:

(10)

Из (10) следует
(11)

Таким образом, метод двойного просчета, использованный необходимое число раз, позволяет вычислить интеграл с заданной степенью точности. Выбор необходимого числа разбиений осуществляется автоматически. Можно при этом использовать многократное обращение к подпрограммам соответствующих методов интегрирования, не изменяя алгоритмов этих методов. Однако для методов, использующих равноотносящие узлы, удается модифицировать алгоритмы и уменьшить вдвое количество вычислений подынтегральной функции за счет использования интегральных сумм, накопленных при предыдущих кратных разбиениях интервала интегрирования. Два приближенных значения интеграла
и
, вычисляемые по методу трапеции с шагами и
, связаны соотношением:

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

,

(13)

4. Выбор шага интегрирования
Для выбора шага интегрирования можно воспользоваться выражением остаточного члена. Возьмем, например, остаточный член формулы Симпсона:

Если 

, то 

.

По заданной точности  метода интегрирования из последнего неравенства определяем подходящий шаг.

,
.

Однако такой способ требует оценки
(что на практике не всегда возможно). Поэтому пользуются другими приемами определения оценки точности, которые по ходу вычислений позволяют выбрать нужный шаг h.

Разберем один из таких приемов. Пусть

,

где - приближенное значение интеграла с шагом . Уменьшим шаг в два раза, разбив отрезок
на две равные части
и
(
).

Предположим теперь, что
меняется не слишком быстро, так что
почти постоянна: . Тогда
и
, откуда
, то есть
.

Отсюда можно сделать такой вывод: если
, то есть если
,
, а - требуемая точность, то шаг подходит для вычисления интеграла с достаточной точностью. Если же
, то расчет повторяют с шагом и затем сравнивают
и
и т.д. Это правило называется правилом Рунге.

Однако при применении правила Рунге необходимо учитывать величину погрешности вычислений: с уменьшением абсолютная погрешность вычислений интеграла увеличивается (зависимость
от обратно пропорциональная) и при достаточно малых может оказаться больше погрешности метода. Если превышает
, то для данного шага применять правило Рунге нельзя и желаемая точность не может быть достигнута. В таких случаях необходимо увеличивать значение .

При выводе правила Рунге вы существенно пользовались предположением, что
. Если имеется только таблица значений , то проверку
«на постоянство» можно сделать непосредственно по таблице Дальнейшее развитие приведенных алгоритмов позволяет перейти к адаптивным алгоритмам, в которых за счет выбора различного шага интегрирования в разных частях отрезка интегрирования в зависимости от свойств
уменьшается количество вычислений подынтегральной функции.

Другая схема уточнения значений интеграла - процесс Эйтнена. Производится вычисление интеграла с шагами
, причем
. Вычисление значений . Тогда
(14).

За меру точности метода Симпсона принимают величину:

5. Примеры
Пример 1. Вычислить интеграл
по формуле Симпсона, если
задана таблицей. Оценить погрешность.

Таблица 3.




0

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8




1

0.995

0.98

0.955

0.921

0.878

0.825

0.765

0.697

Решение: Вычислим по формуле (1) при
и
интеграл .

По правилу Рунге получаем
Принимаем .


Пример 2. Вычислить интеграл
.

Решение: Имеем
. Отсюда h=
=0.1. Результаты вычислений приведены в таблице 4.


Таблица 4.

Вычисление интеграла по формуле Симпсона


i









0

0

y0=1,00000

1

0.1

0,90909

2

0.2

0,83333

3

0.3

0,76923

4

0.4

0,71429

5

0.5

0,66667

6

0.6

0,62500

7

0.7

0,58824

8

0.8

0,55556

9

0,9

0,52632

10

1,0

0,50000=yn



3,45955(1)

2,72818(2)

По формуле Симпсона получим:

Подсчитаем погрешность полученного результата. Полная погрешность складывается из погрешностей действий и остаточного члена . Очевидно:-0,289687


4

2,35

-0,70271

-0,299026

2,4

-0,73739

-0,307246

2

2,45

-0,77023

-0,314380

2,5

-0,80114

-0,320465

4

2,55

-0,83005

-0,325510

2,6

-0,85689

-0,329573

2

2,65

-0,88158

-0,332672

2,7

-0,90407

-0,334841

4

2,75

-0,92430

-0,336109

 3.

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

Численное интегрирование (историческое название: (численная) квадратура ) - вычисление значения определённого интеграла (как правило, приближённое). Под численным интегрированием понимают набор численных методов отыскания значения определённого интеграла.

Численное интегрирование применяется, когда:

В этих двух случаях невозможно вычисление интеграла по формуле Ньютона-Лейбница . Также возможна ситуация, когда вид первообразной настолько сложен, что быстрее вычислить значение интеграла численным методом.

Одномерный случай

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

где - число точек, в которых вычисляется значение подынтегральной функции. Точки называются узлами метода, числа - весами узлов. При замене подынтегральной функции на полином нулевой, первой и второй степени получаются соответственно методы прямоугольников , трапеций и парабол (Симпсона). Часто формулы для оценки значения интеграла называют квадратурными формулами.

Частным случаем является метод построения интегральных квадратурных формул для равномерных сеток, известный как формулы Котеса . Метод назван в честь Роджера Котса . Основной идеей метода является замена подынтегральной функции каким-либо интерполяционным многочленом . После взятия интеграла можно написать

где числа называются коэффициентами Котеса и вычисляются как интегралы от соответствующих многочленов, стоящих в исходном интерполяционном многочлене для подынтегральной функции при значении функции в узле ( - шаг сетки; - число узлов сетки, а индекс узлов ). Слагаемое - погрешность метода, которая может быть найдена разными способами. Для нечетных погрешность может быть найдена интегрированием погрешности интерполяционного полинома подынтегральной функции.

Частными случаями формул Котеса являются: формулы прямоугольников (n=0), формулы трапеций (n=1), формула Симпсона (n=2), формула Ньютона (n=3) и т. д.

Метод прямоугольников

Пусть требуется определить значение интеграла функции на отрезке . Этот отрезок делится точками на равных отрезков длиной Обозначим через значение функции в точках Далее составляем суммы Каждая из сумм - интегральная сумма для на и поэтому приближённо выражает интеграл

Если заданная функция - положительная и возрастающая, то эта формула выражает площадь ступенчатой фигуры, составленной из «входящих» прямоугольников, также называемая формулой левых прямоугольников, а формула

выражает площадь ступенчатой фигуры, состоящей из «выходящих» прямоугольников, также называемая формулой правых прямоугольников. Чем меньше длина отрезков, на которые делится отрезок , тем точнее значение, вычисляемое по этой формуле, искомого интеграла.

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

Учитывая априорно бо́льшую точность последней формулы при том же объеме и характере вычислений её называют формулой прямоугольников

Метод трапеций

Если функцию на каждом из частичных отрезков аппроксимировать прямой, проходящей через конечные значения, то получим метод трапеций.

Площадь трапеции на каждом отрезке:

Погрешность аппроксимации на каждом отрезке:

где

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

где

Погрешность формулы трапеций:

где

Метод парабол (метод Симпсона)

Использовав три точки отрезка интегрирования, можно заменить подынтегральную функцию параболой. Обычно в качестве таких точек используют концы отрезка и его среднюю точку. В этом случае формула имеет очень простой вид

.

Если разбить интервал интегрирования на равных частей, то имеем

Увеличение точности

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

Для уменьшения погрешности отрезок интегрирования разбивают на части и применяют численный метод для оценки интеграла на каждой из них.

При стремлении количества разбиений к бесконечности, оценка интеграла стремится к его истинному значению для аналитических функций для любого численного метода.

Приведённые выше методы допускают простую процедуру уменьшения шага в два раза, при этом на каждом шаге требуется вычислять значения функции только во вновь добавленных узлах. Для оценки погрешности вычислений используется правило Рунге .

Метод Гаусса

Описанные выше методы используют фиксированные точки отрезка (концы и середину) и имеют низкий порядок точности (1 - методы правых и левых прямоугольников, 2 - методы средних прямоугольников и трапеций, 3 - метод парабол (Симпсона)). Если мы можем выбирать точки, в которых мы вычисляем значения функции , то можно при том же количестве вычислений подынтегральной функции получить методы более высокого порядка точности. Так для двух (как в методе трапеций) вычислений значений подынтегральной функции, можно получить метод уже не 2-го, а 3-го порядка точности:

.

В общем случае, используя точек, можно получить метод с порядком точности . Значения узлов метода Гаусса по точкам являются корнями полинома Лежандра степени .

Значения узлов метода Гаусса и их весов приводятся в справочниках специальных функций. Наиболее известен метод Гаусса по пяти точкам.

Метод Гаусса-Кронрода

Недостаток метода Гаусса состоит в том, что он не имеет лёгкого (с вычислительной точки зрения) пути оценки погрешности полученного значения интеграла. Использование правила Рунге требует вычисления подынтегральной функции примерно в таком же числе точек, не давая при этом практически никакого выигрыша точности, в отличие от простых методов, где точность увеличивается в несколько раз при каждом новом разбиении. Кронродом был предложен следующий метод оценки значения интеграла

,

где - узлы метода Гаусса по точкам, а параметров , , подобраны таким образом, чтобы порядок точности метода был равен .

Тогда для оценки погрешности можно использовать эмпирическую формулу :

,

где - приближённое значение интеграла, полученное методом Гаусса по точкам. Библиотеки gsl и SLATEC для вычисления определённых интегралов содержат подпрограммы, использующие метод Гаусса-Кронрода по 15, 21, 31, 41, 51 и 61 точкам. Библиотека использует метод Гаусса-Кронрода по 15 точкам.

Метод Чебышева

Интегрирование при бесконечных пределах

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

Методы Монте-Карло

Рисунок 3. Численное интегрирование функции методом Монте-Карло

Для определения площади под графиком функции можно использовать следующий стохастический алгоритм:

Для малого числа измерений интегрируемой функции производительность Монте-Карло интегрирования гораздо ниже, чем производительность детерминированных методов. Тем не менее, в некоторых случаях, когда функция задана неявно, а необходимо определить область, заданную в виде сложных неравенств, стохастический метод может оказаться более предпочтительным.

Методы Рунге-Кутты

Метод сплайнов

Многомерный случай

В небольших размерностях можно так же применять квадратурные формулы, основанные на интерполяционных многочленах . Однако в больших размерностях эти методы становятся неприемлемыми из-за быстрого возрастания числа точек сетки и/или сложной границы области. В этом случае применяется метод Монте-Карло . Генерируются случайные точки в нашей области и усредняются значения функции в них. Так же можно использовать смешанный подход - разбить область на несколько частей, в каждой из которых (или только в тех, где интеграл посчитать не удаётся из-за сложной границы) применить метод Монте-Карло .

Литература

  1. Каханер Д., Моулер К., Нэш С. Численные методы и программное обеспечение (пер. с англ.). М.: Мир, 2001, 575 c.

Идея численного интегрирования предельно проста и вытекает из геометрического смысла определенного интеграла – значение определенного интеграла численно равно площади криволинейной трапеции, ограниченной графиком функции y=f(x) , осью абсцисс и прямыми х=а, х=b . Находя приближенно площадь криволинейной трапеции, мы получаем значение интеграла. Формально процедура численного интегрирования заключается в том, что отрезок [а, b] разбивается на n частичных отрезков, а затем подинтегральная функция заменяется на нем легко интегрируемой функцией, по определенной зависимости интерполирующей значения подинтегральной функции в точках разбиения. Рассмотрим теперь простейшие из численных методов интегрирования.

Итак, функция у=f(x) интегрируема на сегменте и требуется вычислить ее интеграл . Составим интегральную сумму для f(x) на сегменте . Для этого разобьем сегмент на n равных между собой частей с помощью точек: x 1 , x 2 , … , x k , … , x n-1 .

Если длину каждой части мы обозначим через х , так что , то для каждой точки x k будем иметь: (k=0, 1, 2, …, n).

Обозначим теперь через y k значение подынтегральной функции f(x) при то есть положим (k=0, 1, …, n).

Тогда суммы будут интегральными для функции f(x) на отрезке . (При составлении первой суммы мы рассматриваем значения функции y=f(x) в точках, являющихся левыми концами частичных сегментов, а при составлении второй суммы – в точках, являющихся правыми концами этих сегментов.)

По определению интеграла имеем:

и

Поэтому в качестве приближенного значения естественно взять интегральную сумму ,т.е. положить:

т.е (1)

и (1")

Эти приближенные равенства называются формулами прямоугольников.

В том случае, когда f(x) 0 , формулы (1) и (1’) с геометрической точки зрения означают, что площадь криволинейной трапеции aABb , ограниченной дугой кривой y=f(x), осью Ох и прямыми х=а и х=b , принимается приближенно равной площади ступенчатой фигуры, образованной из n прямоугольников с основаниями и высотами: y 0 , y 1 , y 2 , …, y n-1 – в случае формулы (1) (рис.8) и y 1 , y 2 , y 3 , …, y n – в случае формулы (1") (рис.9).

Исходя из приведенного выше геометрического смысла формул (1) и (1") способ приближенного вычисления определенного интеграла по этим формулам принято называть методом прямоугольников .

Всякое приближенное вычисление имеет определенную ценность лишь тогда, когда оно сопровождается оценкой допущенной при этом погрешности. Поэтому формулы прямоугольников будут практически пригодны для приближенного вычисления интегралов лишь в том случае, если будет существовать удобный способ оценки получающейся при этом погрешности (при заданном n), позволяющий к тому же находить и число частей n разбиения сегмента, гарантирующее требуемую степень точности приближенного вычисления.

Будем предполагать, что функция f(x) имеет ограниченную производную на сегменте , так что существует такое число М>0 , что для всех значений х из выполняется неравенство |f"(x)|M . Качественный смысл этого неравенства заключается в том, что скорость изменения значения функции ограничена. В реальных природных системах это требование практически всегда выполнено. В этих условиях абсолютная величина погрешности R n , которую мы допускаем, вычисляя интеграл по формуле прямоугольников может быть оценена по формуле :

|R n | M(b-a) 2 /2n (2)

При неограниченном возрастании n выражение M(b-a) 2 /2n , а следовательно, и абсолютная величина погрешности R n будет стремиться к нулю, т.е. точность приближения будет тем больше, чем на большее число равных частей будет разделен сегмент . Абсолютная погрешность результата будет заведомо меньше заданного числа >0 , если взять

n > M(b-a) 2 /2 .

Следовательно, для вычисления интеграла с указанной степенью точности достаточно сегмент разбить на число частей, большее числа M(b-a) 2 /2 . .

Метод прямоугольников – это наиболее простой и вместе с тем наиболее грубый метод приближенного интегрирования. Заметно меньшую погрешность дает другой метод – метод трапеций.

Очевидно, что чем больше будет число n отрезков разбиения, тем более точный результат дадут формулы (3а) и (3б). Однако увеличение числа отрезков разбиения промежутка интегрирования не всегда возможно. Поэтому большой интерес представляют формулы, дающие более точные результаты при том же числе точек разбиения.

Простейшая из таких формул получается как среднее арифметическое правых частей формул (1) и (1"):

(4)

Легко усмотреть геометрический смысл этой формулы. Если на каждом отрезке разбиения дугу графика подинтегральной функции y=f(x) заменить стягивающей ее хордой (линейная интерполяция), то мы получим трапецию, площадь которой равна и следовательно, формула (4) представляет собой площадь фигуры, состоящей из таких трапеций (рис.10) . Из геометрических соображений понятно, что площадь такой фигуры будет, вообще говоря, более точно выражать площадь криволинейной трапеции, нежели площадь ступенчатой фигуры, рассматриваемая в методе прямоугольников.

Приведя в формуле (4) подобные члены, окончательно получим

Формулу (5) называют формулой трапеций .

Формулой трапеций часто пользуются для практических вычислений. Что касается оценки погрешности R n , возникающей при замене левой части (5) правой, то доказывается, что абсолютная величина ее удовлетворяет неравенству:

(6)

где М 2 – максимум модуля второй производной подинтегральной функции на отрезке , т.е.

.

Следовательно, R n убывает при по крайней мере так же быстро, как .

Абсолютная погрешность R n будет меньше наперед заданного числа > 0 , если взять .

Значительное повышение точности приближенных формул может быть достигнуто за счет повышения порядка интерполяции. Одним из таких методов приближенного интегрирования является метод парабол. Идея метода исходит из того, что на частичном промежутке дуга некоторой параболы в общем случае теснее прилегает к кривой y=f(x), чем хорда, соединяющая концы дуги этой кривой, и поэтому значения площадей соответствующих элементарных трапеций, ограниченных “сверху” дугами парабол, являются более близкими к значениям площадей соответствующих частичных криволинейных трапеций, ограниченных сверху дугой кривой y=f(x), чем значения площадей соответствующих прямолинейных трапеций. Сущность метода заключается в следующем. Отрезок делится на 2n равных частей. Пусть точки деления будут

х 0 =а, x 1 , x 2 , …x 2n-2 , x 2n-1 , x 2n =b, а для формулы парабол – пропорционально величине , т.е. метод парабол сходится значительно быстрее метода трапеций, тогда как с точки зрения техники вычислений оба метода одинаковы.