Рис. 3. Иллюстрация интерполяционного многочлена первой степени L1, принимающего одинаковое с функцией f значение в точках a и b.
Заменяя под знаком интеграла Римана на отрезке [a, b] функцию f на L1, получим приближенное значение интеграла
b |
b |
b |
|
|
|
f x dx L1 |
x dx r1 f a x b f b x a dx r1 = |
a |
a |
a |
|
b a |
|
f a a b 2 f b b a 2 |
r1 |
f a f b |
b a r1 . |
|
2 b a |
2 |
|
|
|
Здесь значение (f(a) + f(b))/2(b a) является приближенным значением интеграла от функции f на отрезке [a, b], а r1 выражает погрешность приближения. Формула
|
|
b |
f a f b |
|
|
(3) |
f x dx |
b a + r1 |
|
2 |
|
|
a |
|
называется формулой трапеций приближенного вычисления интеграла.
Прежде чем найти оценку погрешности приближения, создадим более общую формулу трапеций. Для этого разобьем отрезок [a, b] на n отрезков равной длины. Пусть P = {x0, x1, x2, ..., xn 1, xn} - такое разбиение,
xk a b n a k, k 0,1,..., n.
На каждом из отрезков k = [xk 1, xk], k = 1, 2, ..., n, применим формулу (3).
Рис. 4. Иллюстрация интерполяционного многочлена первой степени L1, принимающего одинаковое с функцией f значение в точках xk.
В результате выводим формулу приближенного вычисления интеграла
ak 1 xk 1
|
|
n |
xk |
f xk 1 |
x xk |
|
|
f xk x xk 1 dx r1,n |
|
|
|
|
е |
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
k 1 xk 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
е f xk 1 f xk k r1n b a е f xk 1 f xk r1,n |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
k 1 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
n |
k 1 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b a |
1 f x |
f x |
|
f x |
f x ... f x |
k 1 |
f x |
k |
r |
n |
2 |
0 |
1 |
|
|
|
1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
1n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b a f a f b |
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
е |
f |
x |
|
|
r |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
2 |
|
|
|
|
|
|
|
|
|
k |
1n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
Здесь |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b a f a f b |
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
е |
f |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
n |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
является приближенным значением интеграла от функции f на отрезке [a, b], а r1n выражает погрешность приближения. Формула
|
|
b |
b a f a f b |
n 1 |
|
|
|
|
|
|
|
(4) |
f x dx |
n |
|
|
е f xk |
r1n |
|
2 |
|
|
a |
|
k 1 |
|
|
также называется формулой трапеций приближенного вычисления интеграла. Именно ее будем принимать основной формулой трапеций.
4. Оценка погрешности формулы трапеций
Оценим погрешность r1n формулы трапеций (4).
Теорема 2 Пусть функция f дважды дифференцируема на отрезке [a, b] и на этом отрезке выполняется неравенство f
(x) M. Тогда справедлива следующая оценка погрешности r1n формулы трапеций приближенного вычисления интеграла Римана
r1n M b a 3 .
12n2
Доказательство. Пусть сначала n = 1. Оценим погрешность r1 = r11 формулы трапеций (3). Применяя оценку
|
R x |
|
|
|
f x L x |
|
M x a x b , |
a x b, |
|
|
|
|
|
1 |
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|
|
|
погрешности приближения функции f ее интерполяционным многочленом Лагранжа первой степени L1, произведем оценивание
|
r |
|
|
b |
f x L x dx |
|
b |
R x dx |
b |
|
R x |
|
dx b |
M |
x a b x dx. |
|
|
|
|
|
|
|
|
|
|
2 |
|
11 |
|
|
1 |
|
1 |
|
|
1 |
|
|
|
|
|
|
|
a |
|
|
a |
|
a |
|
|
|
a |
|
|
В последнем интеграле совершим замену переменной по формуле
y x a b
2
Тогда
x a y b a |
, |
b x b a |
y, |
2 |
|
2 |
|
и интеграл легко вычисляется
|
b a |
b |
2 |
x a b x dx |
|
a |
b a |
|
2 |
|
|
b a |
|
b a 2 |
|
|
|
|
|
|
2 |
|
|
2 |
y dy = |
|
|
|
|
|
y |
|
dy = |
|
|
4 |
|
|
|
b a |
|
|
|
|
2 |
|
|
|
|
|
|
3 |
|
|
3 |
3 |
|
3 |
b a |
1 |
|
b a |
|
b a |
|
= b a . |
|
|
|
4 |
3 |
|
8 |
8 |
|
6 |
|
|
Подставляя вычисленный интеграл в предыдущую цепочку неравенств, получим оценку r11 12M b a 3 ,
что доказывает теорему 2 для n = 1.
Для произвольного n применим найденную оценку на каждой части k = [xk 1, xk], k = 1, 2, ..., n, отрезка [a, b] с заменой b a на длину k отрезка k, k = (b a)/n. Погрешность r1n формулы трапеций на отрезке [a, b] не превышает суммы погрешностей на каждом из отрезков k. Это соображение позволяет найти оценку
|
|
n |
M b a |
3 |
M b a 3 |
M b a 3 |
|
r1n |
е |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
12 |
n |
12 n |
3 |
12n |
2 |
|
|
k 1 |
|
|
|
|
|
|
что заканчивает доказательство теоремы 2.
Лекция 32.
1. Формула Симпсона приближенного вычисления интегралов
2. Оценка погрешности формулы Симпсона
1. Формула Симпсона приближенного вычисления интегралов
Опишем метод приближенного вычисления интегралов Римана, основанный на замене подынтегральной функции f ее интерполяционным многочленом Лагранжа второй степени.
Пусть функция f интегрируема на отрезке [a, b]. Середину отрезка [a, b] обозначим через c, c = (a + b)/2. Интерполяционный многочлен второй степени L2, принимающий одинаковые с функцией f значения в точках a, c и b, имеет вид
|
L x f a |
x c x b |
f c |
x a x b |
|
f b |
x a x c |
|
|
|
a c a b |
c a c b |
b a b c |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
f a x c x b 2 f c x c x b f b x a x c . |
|
|
b a 2 |
|
|
|
|
|
|
|
|
|
|
|
Рис. 1. Иллюстрация интерполяционного многочлена второй степени L2
Заменяя под знаком интеграла Римана на отрезке [a, b] функцию f на L2, получим приближенное значение интеграла
aa
|
2 |
b |
|
|
|
a f a x c x b 2 f c x a x b f b x a x c dx r2 . |
|
|
b a 2 |
|
Совершим в интеграле замену переменной y = x c. Тогда |
|
|
|
|
|
x a y b a |
и x b y b a |
, |
|
|
|
2 |
2 |
|
и вычисляем интеграл
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f a x c x b 2 f c x a x b |
|
f b x a x c dx = |
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
b a |
|
|
|
|
|
|
|
|
b a |
|
|
|
b a |
|
|
|
|
|
|
b a |
|
|
|
|
f (a)y y |
|
|
|
|
2 f (c) y |
|
|
|
2 |
y |
2 |
f |
(b) y |
|
2 |
y dy |
|
b a |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
b a |
3 |
|
|
b a |
|
3 |
|
|
|
b a |
|
|
b a |
2 |
|
b a |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (a) |
|
3 |
|
|
|
8 |
|
|
|
|
|
8 |
|
|
|
|
4 |
|
4 |
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
3 |
|
|
|
|
|
|
3 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 f |
|
|
|
|
b a |
|
b a |
|
|
b a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(c) |
3 |
|
|
8 |
|
|
|
|
|
|
8 |
|
|
4 |
|
|
b a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
b a 3 |
|
b a 3 |
|
|
b a |
|
|
b a 2 |
|
b a 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f b |
3 |
|
|
|
8 |
|
|
|
|
|
8 |
|
|
|
|
4 |
|
4 |
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f a |
b a 3 |
f |
c |
b a 3 |
f b |
b a 3 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
12 |
|
|
|
|
3 |
|
|
|
12 |
|
|
|
|
|
|
|
|
Подставляя вычисленный интеграл в предыдущее выражение, находим, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1) |
|
|
|
|
|
|
|
|
|
f x dx b a f a 4 f c f b r2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Формула (1) называется формулой Симпсона приближенного вычисления интеграла. Здесь значение
b a f a 4 f c f b
6
является приближенным значением интеграла от функции f на отрезке [a, b], а r2 выражает погрешность приближения.
Прежде чем найти оценку погрешности, создадим более общую формулу Симпсона. Для этого разобьем отрезок [a, b] на n отрезков равной длины. Пусть P = {x0, x1, x2, ..., xn 1, xn} - такое разбиение,
x a b a k, k 0,1,..., n .
Середину каждого из отрезков k = [xk 1, xk], k = 1, 2, ..., n, обозначим через ck,
|
x |
x |
|
b a |
1 |
|
|
ck |
k 1 |
k |
a |
n |
k |
|
|
, k 1,2,..., n , |
|
2 |
2 |
|
|
|
|
|
|
и на каждом из отрезков k применим формулу (1).
Рис. 2. Иллюстрация применения формулы Симпсона (1) на каждом из отрезков k
В результате выводим формулу приближенного вычисления интеграла
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
n |
xk |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f x dx е |
f |
x dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
k 1 xk 1 |
|
|
|
|
|
|
|
n |
2 |
|
|
|
xk |
f xk 1 x ck x xk 2 f ck x xk 1 x xk f xk x xk 1 x ck dx r2n |
е |
|
|
|
|
|
k |
|
|
2 |
|
|
k 1 |
|
|
|
|
xk 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
2 |
|
|
|
|
|
k |
|
3 |
|
f xk 1 4 f ck f xk |
r2 n |
|
b a |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
е |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
е f xk 1 4 f ck f xk r2 n |
|
|
|
k |
|
2 |
12 |
|
|
|
6n |
|
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
|
|
b a |
f x |
4 f c f x |
f x |
4 f c |
|
f x ... f x |
4 f c |
r |
|
|
|
|
|
2 |
|
|
|
|
|
|
6n |
|
|
|
|
|
0 |
1 |
|
1 |
1 |
|
|
|
|
2 |
|
n 1 |
n |
2 n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b a |
|
|
|
n 1 |
|
xk |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f a f b 2е f |
4е f ck r2n . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6n |
|
|
|
k 1 |
|
|
|
|
k 1 |
|
|
|
|
|
Здесь |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b a |
f |
a f |
b 2 |
n 1 |
f x |
4 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
е |
е |
f c |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6n |
|
|
|
|
k |
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k 1 |
|
|
|
k 1 |
|
|
|
|
является приближенным значением интеграла от функции f на отрезке [a, b], а r2n выражает погрешность приближения. Формула
|
b |
f x dx |
b a |
f a f b 2 |
n 1 |
f x |
|
4 |
n |
f c |
|
r |
, |
(2) |
|
|
|
е |
k |
е |
|
|
6n |
|
|
|
|
k |
2 n |
|
|
a |
|
|
|
k 1 |
|
|
|
k 1 |
|
|
|
|
xk |
a |
b a |
k, |
k 0,1,2,..., n, |
ck |
a |
b a |
1 |
|
k 1,2,..., n, |
n |
n |
k |
2 |
, |
|
|
|
|
|
|
|
|
|