Lesn3_Integraly
.pdfГлава II. Определенный интеграл
2.Метод парабол (Симпсона)
Воснове метода парабол лежит замена функции f(x) на малом отрезке некоторой квадратичной функцией.
Отрезок [a; b] разбивается на n = 2m равных отрезков
длины |
x |
1 |
(b a) точками a = x0, …, xi, ... , xn = b. |
|
|||||||
|
|
||||||||||
|
|
|
n |
|
|
|
|
||||
Вычисляются значения функции в этих точках: yi |
f (xi ) . |
||||||||||
Рассматривается отрезок двойной |
длины |
[x2i 2; x2i]. |
|||||||||
y |
|
|
|
|
|
y = f(x) |
На нем функция |
y = f(x) |
|||
|
|
|
|
|
заменяется квадратичной |
||||||
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
y x2 x , |
|
|
|
|
|
|
|
|
|
|
график которой (парабола) |
||
|
|
|
|
|
|
|
|
|
проходит через |
точки |
|
|
|
|
|
|
|
|
|
|
A2i-2, A2i-1, A2i. Коэффици- |
||
O |
a |
|
|
|
|
b |
x |
||||
|
|
|
|
енты |
, , определяются |
||||||
|
|
|
|
|
|
|
|
|
|||
однозначно. Сначала доказывается равенство |
|
||||||||||
|
x2i |
|
|
|
|
||||||
|
|
( x2 x )dx 13 x( y2i 2 4 y2i 1 y2i ) . |
|
x2i 2
Затем суммированием по всем отрезкам получается равенство:
b |
|
|
m 1 |
m |
|
|
|
f (x)dx |
b a |
y0 |
yn 2 y2i 4 y2i 1 |
. |
(5) |
||
3n |
|||||||
a |
|
i 1 |
i 1 |
|
|
||
|
|
|
|
Формула (5) называется формулой парабол (Симпсона).
Пусть |
M |
4 |
sup | f (4) |
(x) | . Тогда абсолютная погреш- |
|
|
|
x [a; b] |
|
ность Rn приближенного равенства (5) оценивается неравенством
|
| R | |
|
|
(b a) |
5 |
M |
|
. |
(6) |
|
|
|
|
|
4 |
||||||
|
|
|
|
|||||||
|
n |
|
|
180n4 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
||
|
Оценка погрешности формулы парабол пропорциональна |
|||||||||
1 |
, а формулы трапеций - |
1 |
. Поэтому при больших значениях |
|||||||
n4 |
n2 |
|||||||||
|
|
|
|
|
|
|
|
n метод Симпсона дает более точное приближение интеграла.
50
§6. Несобственные интегралы
Лекция 6
§6. Несобственные интегралы
Вычисляя определенный интеграл, мы предполагали, что функция f(x) непрерывна на конечном отрезке [a; b]. Исследуем случаи, когда эти условия нарушаются. Рассмотрим сначала интеграл с бесконечным промежутком интегрирования.
1. Несобственные интегралы I рода
(Интегралы с бесконечным промежутком интегрирования)
ачнем с рассмотрения промежутков вида [a; + ). Как возникают несобственные интегралы в этом случае, нам поможет понять решение следующей задачи.
Задача о площади плоской области.
Вычислить площадь S области, заключенной между осью Ox и графиком функции y x12 на промежутке [a; + ), где a > 0.
Область такого вида будем также называть криволинейной трапецией функции f(x) на промежутке [a; + ).
◄ Возьмем на оси Ox произвольную точку b > a и построим криволинейную трапецию функции f(x) на отрезке [a; b]. Вычислим площадь Sb этой трапеции:
b |
|
|
|
|
b |
|
|
|
|
Sb |
dx |
1 |
1 |
|
1 |
. |
|||
|
a |
b |
|||||||
2 |
x |
||||||||
a |
x |
|
|
|
a |
||||
|
|
|
|
|
|
|
|
|
y
O a |
b x |
Переходя в этом равенстве к пределу при b , получим
S lim |
S |
|
lim |
1 |
1 |
|
1 |
. |
Итак, S |
1 |
, задача решена. ► |
|
|||||||||||
b |
b |
|
b a |
b |
|
a |
|
a |
|
Задача решена, по сути дела, вычислением предела опре-
51
Глава II. Определенный интеграл
b
деленного интеграла S lim 1 dx . Предельный переход тако- b a x2
го вида встречается во многих прикладных задачах. Это обстоятельство послужило причиной следующего обобщения понятия определенного интеграла.
Определение 1. Пусть функция f(x) определена на промежутке [a; + ) и интегрируема на любом конечном отрезке [a; b].
|
|
b |
Тогда предел определенного интеграла |
lim |
f (x)dx |
|
b a |
называется несобственным интегралом первого рода.
Если предел существует и конечен, то несобственный интеграл называется сходящимся; в противном случае -
расходящимся.
Обозначение: f (x)dx . a
Таким образом,
|
|
b |
|
|
|
f (x)dx = |
lim |
f (x)dx . |
(1) |
a |
|
b a |
|
налогично определяются несобственные интегралы и для бесконечных промежутков двух других видов:
b |
|
|
|
b |
|
|
|
f (x)dx |
= |
lim |
f ( x)dx ; |
(1') |
|
|
|
a a |
|
|
||
|
|
|
c |
|
|
|
|
f (x)dx |
= |
f (x)dx + |
f (x)dx . |
(1'') |
|
|
|
|
|
c |
|
|
В последнем случае точка |
c R берется произвольно и |
интеграл f (x)dx считается сходящимся, когда сходятся оба
несобственных интеграла из правой части равенства.
52
§6. Несобственные интегралы
Наряду с такой сходимостью для интеграла f (x)dx рас-
сматривают еще сходимость в смысле главного значения:
|
|
|
a |
|
|
f (x)dx = |
lim |
f (x)dx . |
(2) |
|
a |
a |
|
ходящийся несобственный интеграл I рода обладает основными свойствами определенного интеграла: линейности, аддитивности, монотонности. Это вытекает из того, что данными свойствами обладают и определенный интеграл, и предел функции, которые согласно равенствам (1), (1'), (1'') задают несобственный интеграл I рода.
Сходящийся несобственный интеграл от неотрицательной функции равен площади криволинейной трапеции этой функции на промежутке интегрирования.
Для него имеет место аналог формулы Ньютона-Лейбница. Действительно, пусть F(x) – любая первообразная для f(x). Тогда
|
b |
f (x)dx lim F(b) F(a) = F( ) F(a) . |
|
|
f (x)dx = lim |
|
|
a |
b a |
b |
|
|
Таким образом, |
|
|
|
|
|
|
|
f (x)dx = F( ) F(a) . |
(3) |
a
Формула (3) называется формулой Ньютона-Лейбница
для несобственного интеграла I рода.
Аналогичные формулы имеют место и для несобственных интегралов вида (1'), (1'').
Пример 1.
Вычислим интеграл a xdx , где a, R, a > 0.
Рассмотрим сначала случай, когда = 1. Тогда
53
Глава II. Определенный интеграл
dx |
|
dx |
|
|
|
ln | a | . |
||
|
|
|
||||||
|
x |
|
|
x |
= ln | x | |
|
a |
|
|
|
|
||||||
a |
|
|
a |
|
|
|
|
|
Следовательно, в данном случае интеграл расходится.
При 1 интеграл расходится:
|
|
|
|
|
|
|
x1 |
|
|
|
|
a1 |
|
|||||||||||||
|
|
|
dx |
|
x dx |
|
|
|
|
|||||||||||||||||
|
|
|
|
1 |
|
|
|
|
|
|
1 |
. |
||||||||||||||
|
|
a |
x |
|
a |
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Если же > 1, то интеграл сходится: |
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
dx |
|
|
|
1 |
|
|
|
|
|
|
1 |
|
1 |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
(1 )x 1 |
|
|
= 0 |
(1 )a 1 |
|
|
( 1)a 1 |
. |
||||||||||||
a |
|
x |
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Итак, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
, если |
1; |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
|
1 |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
( 1)a |
|
|
|
|
|
|
(4) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
a |
x |
, |
|
|
|
|
|
если 1. |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Другими словами, при a > 0 |
|
интеграл (4) сходится тогда и толь- |
||||||||||||||||||||||||
ко тогда, когда |
> 1. Интеграл (4) называют эталонным интегралом. |
2. Признаки сходимости несобственных интегралов I рода
При решении прикладных задач часто возникают ситуации, когда относительно несобственного интеграла I рода достаточно знать, что он сходится, а конкретное его значение не важно. Для исследования сходимости несобственного интеграла используются различные признаки.
Рассмотрим некоторые признаки для случая, когда функция f(x) определена на промежутке [a; + ) и интегрируема на любом конечном отрезке [a; b]. В двух других случаях они рассматриваются аналогично.
Отметим предварительно свойства интеграла, вытекающие из свойств линейности и аддитивности.
54
§6. Несобственные интегралы
Для любого числа c 0 имеет место эквивалентность
|
|
|
|
интеграл c f (x)dx |
сходится сходится интеграл |
f (x)dx . |
|
a |
|
|
a |
Для любого числа b > a выполняется эквивалентность |
|||
|
|
|
|
интеграл f (x)dx |
сходится сходится интеграл |
f ( x)dx . |
|
a |
|
b |
|
|
|
|
Второе свойство означает, что если функция f(x) удовлетворяет на промежутке [a; + ) указанным условиям, то сходимость интеграла не зависит от выбора нижнего предела интегрирования и определяется свойствами функции при x + .
Рассмотрим теперь необходимое условие сходимости.
Теорема 1. (Необходимое условие сходимости).
Пусть функция f(x) непрерывна и монотонна на проме-
|
|
|
жутке |
[a; + ). Тогда если интеграл |
f (x)dx сходится, |
|
|
a |
то f(x) |
является бесконечно малой при x + . |
Доказательство опустим.
Исследуем некоторые признаки сравнения несобственных интегралов I рода.
Теорема 2. (Признак сравнения в конечной форме).
Пусть функции f(x), g(x) непрерывны на промежутке [a; + ) и удовлетворяют на нем неравенству
|
0 f(x) g(x). |
|
(5) |
|
|
|
|
Тогда если |
g(x)dx сходится, то сходится и |
f (x)dx . |
|
|
a |
|
a |
|
|
|
|
Если f (x)dx расходится, то расходится и |
|
g(x)dx . |
|
a |
|
|
a |
Доказательство |
вытекает из геометрического смысла несоб- |
55
Глава II. Определенный интеграл
ственного интеграла от неотрицательной функции и сравнения
y
|
|
|
|
|
y = g(x) |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
y = f(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
O |
a |
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
площадей криволинейных трапеций функций f(x) |
и g(x). |
|
|
|
|
|||||||||||||||||
Пример 2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
||||
Исследуем на сходимость интеграл |
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|||||||
(1 x) |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
x 2 |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
Сравним функцию |
f ( x) |
|
|
|
|
с функцией |
|
g(x) |
|
|
|
. |
||||||||||
(1 x) |
x 2 |
|
|
x3 / 2 |
||||||||||||||||||
На промежутке |
[1; + ) |
имеет место неравенство |
0 f (x) g(x) . |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Интеграл g(x)dx |
dx |
является эталонным с |
3 |
1 . Так как |
||||||||||||||||||
x3/ 2 |
2 |
|||||||||||||||||||||
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
он сходится, то сходится и интеграл от меньшей функции |
|
dx |
|
|
. |
|||||||||||||||||
(1 x) |
|
|
||||||||||||||||||||
x 2 |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
Теорема 3. (Признак сравнения в предельной форме).
Пусть функции f(x) и g(x) непрерывны на промежутке [a; + ), и существует конечный ненулевой предел
|
|
|
|
|
|
lim |
f (x) |
c . |
|
(6) |
||
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
x g(x) |
|
|
||||
|
|
|
|
|
|
|
|
|||||
|
Тогда интегралы |
f (x)dx |
и g(x)dx оба сходятся или |
|||||||||
|
|
|
|
a |
|
a |
|
|
||||
|
оба расходятся. |
|
|
|
|
|
|
|
|
|||
|
Доказательство. Рассмотрим |
сначала |
случай, |
когда |
||||||||
g(x) > 0 на [a; + ) |
и c |
положительно: 0 c . |
|
|||||||||
|
Согласно определению предела (6) имеем: 0 |
0 |
||||||||||
|
|
|
f ( x) |
|
|
|
|
|||||
x | |
x U ( ) |
|
c |
. |
Последнее |
неравенство рав- |
||||||
|
||||||||||||
|
|
|
g( x) |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
56
§6. Несобственные интегралы
носильно такому |
f ( x) |
c , то есть |
c |
f (x) |
c . |
|
|
||||
|
g( x) |
|
g(x) |
Так как g(x) 0 в окрестности U ( ) , то в этой окрестности выполняется неравенство
(c )g(x) f (x) (c )g(x) . |
(*) |
|
Не умаляя общности, можем считать |
U ( ) [a; ) . |
|
Выберем таким, чтобы выполнялось неравенство с 0 . |
||
|
|
|
Предположим теперь, что интеграл |
g(x)dx |
сходится. |
a
Тогда сходится и интеграл (c )g(x)dx . Из второго неравен- a
ства в (*) и теоремы 2 следует сходимость интеграла f (x)dx . a
Если же g(x)dx расходится, то расходится и интеграл a
(c )g(x)dx . Из первого неравенства в (*) и теоремы 2 следу- a
ет расходимость интеграла f (x)dx . a
В случае, когда c , сначала проводятся аналогичные рассуждения относительно сходимости интеграла
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) dx , а затем - интеграла |
f (x)dx . |
|
|
► |
||||||
a |
|
|
a |
|
|
|
|
|
|
|
|
Пример 3. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
. |
||
|
Исследуем на сходимость интеграл |
|
|
|
|||||||
|
|
|
|
|
|
|
|||||
|
(1 x) |
x 2 |
|||||||||
|
|
|
|
1 |
|
|
|
|
|
|
|
|
Подынтегральная функция |
f ( x) |
1 |
|
|
|
при x являет- |
||||
|
(1 x) |
|
x 2 |
57
Глава II. |
Определенный интеграл |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
ся бесконечно |
малой функцией, эквивалентной |
бесконечно |
малой |
||||||||||||||||||||||||
g(x) |
1 |
|
. То есть, имеет место предел |
lim |
|
f ( x) |
1 . Так как инте- |
||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||
|
x3 / 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x g( x) |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
. |
|||
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
грал |
g ( x)dx |
|
|
|
сходится, то сходится и интеграл |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||
3/ 2 |
|
|
|
|
|
||||||||||||||||||||||
1 |
|
|
|
1 |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
(1 x) |
|
x 2 |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Следствие. |
Пусть функция |
f(x) |
|
|
непрерывна на промежутке |
||||||||||||||||||||||
|
[a; + ) , a > 0, и при |
x является бесконечно малой |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
порядка |
|
относительно |
|
1 |
. |
Тогда интеграл |
|
f (x)dx |
||||||||||||||||||
|
|
x |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
сходится при > 1 и расходится при |
1. |
|
|
|
|
|
|
|||||||||||||||||||
Доказательство. |
Согласно условию следствия для некоторого |
||||||||||||||||||||||||||
R + |
существует предел |
lim |
|
f (x) |
c , где |
c 0, |
c . |
||||||||||||||||||||
|
1 |
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
||||
|
Функция |
g(x) |
1 |
непрерывна и положительна на про- |
|||||||||||||||||||||||
|
x |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
межутке [a; + ). Поэтому все условия теоремы 3 выполнены.
Эталонный интеграл dx сходится при > 1 и расходит- a x
ся при 1. Тогда согласно теореме 3 интеграл f (x)dx также
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
сходится при > 1 и расходится при |
1. |
|
|
|
► |
||||||||
Пример 4. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Исследуем на сходимость интеграл |
|
|
x2dx |
|
. |
|
|
||||||
|
|
|
|
||||||||||
2 x3 |
x 1 |
|
|
||||||||||
|
|
|
|
1 |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Подынтегральная функция |
f ( x) |
x2 |
|
|
|
при x является |
|||||||
2 x3 x 1 |
|
||||||||||||
бесконечно малой порядка |
1 |
относительно бесконечно малой |
1 |
. |
|||||||||
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
x2dx |
|
|
|
|
|
|
|
|
|
|
|
|
Следовательно, интеграл |
|
расходится. |
|
|
|
|
|
|
|||||
2 x3 x 1 |
|
|
|
|
|
|
|||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Перейдем к исследованию несобственных интегралов от неограниченных функций.
58
§6. Несобственные интегралы
3. Несобственные интегралы II рода
(Интегралы от неограниченных функций)
Прежде, чем обратиться к интегралам этого вида, рассмотрим пример.
Пример 5.
При вычислении определенного интеграла получен такой удиви-
|
2 |
dx |
1 |
|
|
2 |
2 0 . |
|
|
|
|||||||
|
|
|
|
|
||||
тельный результат: |
|
( x 1)2 |
|
x 1 |
|
|
0 |
|
|
0 |
|
|
|
||||
|
|
|
|
|
|
|
|
Что явилось причиной возникновения ошибки?
В данном примере причиной возникновения ошибки стало неправомерное использование формулы Ньютона-Лейбница для вычисления определенного интеграла от функции, которая не является непрерывной на отрезке интегрирования.
Рассмотрим, как в этом случае исследуются интегралы.
усть функция f(x) |
непрерывна на полуинтервале [a; b) и |
||||||
неограниченна в окрестности |
|
|
|
|
|
|
|
точки b. Тогда функция |
f(x) |
y |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|||
для любого : 0 b a |
не- |
|
|
|
|
|
|
прерывна на отрезке [a; |
b ] |
|
y=f(x) |
|
|
|
|
и, следовательно, существует |
|
|
|
|
|
|
|
определенный интеграл |
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
f (x)dx . |
|
|
|
|
|
|
|
|
O |
a b- b |
x |
||||
a |
|
Определение 2. Пусть функция f(x) непрерывна на полуинтервале [a; b) и неограниченна в окрестности точки b.
|
|
b |
Тогда предел |
lim |
f (x)dx называется несобственным |
|
0 |
0 |
|
|
интегралом второго рода.
Если предел существует и конечен, то несобственный интеграл называется сходящимся; в противном случае -
расходящимся.
59