Пусть f (x) |
0 при a |
x |
. Очевидно, что в этом |
|||
|
|
|
N |
|
|
|
случае |
интеграл |
Φ(N ) |
|
f (x)dx |
есть монотонно |
|
|
|
|
a |
|
|
|
возрастающая функция от переменной N: большему |
||||||
значению N соответствует большее значение площади |
||||||
фигуры. |
Если при этом функция Φ(N) |
M при N |
, |
|||
(ограничена), то она имеет предел (признак существования предела):
|
lim Φ(N ) A M , т.е. |
f (x)dx |
A. |
|
|
|||
|
N |
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
Интеграл сходится. |
|
|
|
|
|
|
||
|
Если Φ(N) неограниченна при |
x |
, |
то |
||||
несобственный |
интеграл |
расходится |
к |
бесконечности: |
||||
f ( x)dx |
. |
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
Теорема. |
Пусть |
для |
x a, |
|
выполняется |
||
соотношение: |
|
|
|
|
|
|
|
|
|
0 f (x) g(x) , |
|
|
|
|
(15) |
||
|
тогда: |
|
|
|
|
|
|
|
1. |
Если |
g(x)dx сходится, то сходится и |
f (x)dx . |
|
||||
|
a |
|
|
|
|
a |
|
|
2. |
Если |
f (x)dx |
расходится, |
то |
расходится |
и |
||
|
|
a |
|
|
|
|
|
|
g(x)dx .
a
81
Доказательство:
1. |
Пусть |
g(x)dx |
сходится, |
т.е. |
a
N
lim g(x)dx A
N
a
y
g(x)
f(x)
0 a
N
х
Рис. 22.
Таким образом, при возрастая ограничена сверху,
Проинтегрируем неравенство (15) в пределах от a до N:
N N
|
f (x)dx |
g(x)dx A , |
|
a |
a |
|
, т.е. Φ(N) |
A |
|
. |
|
N |
Φ(N) , |
монотонно |
поэтому существует предел:
N
|
lim Φ(N ) |
|
lim |
f (x)dx и |
f (x)dx сходится. |
||
N |
|
N |
|
|
|
|
|
|
|
|
|
a |
|
a |
|
2. |
Пусть |
f (x)dx расходится. Тогда |
|
||||
|
a |
|
|
|
|
|
|
|
|
|
N |
|
N |
|
|
|
G(N ) |
g(x)dx |
f (x)dx A . |
|
|||
|
|
|
a |
|
a |
|
|
Но |
Φ(N) |
|
, N |
, |
|
следовательно |
и |
G(N) |
, N |
|
и |
g(x)dx расходится. |
|
||
|
|
|
|
a |
|
|
|
82
Следствие 1. Если f(x) непрерывна на a,
, причѐм
0 |
f (x) |
|
A |
, где p>1, то |
f (x)dx сходится. |
||||||
|
|
|
|||||||||
|
|
|
x p |
|
a |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
Следствие 2. Если f(x) непрерывна на |
a, |
, f (x) 0 |
||||||||
и |
f (x) |
A |
, где |
p 1 , то |
f (x)dx расходится. |
||||||
|
|||||||||||
|
|
x p |
|
a |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
Примеры. |
|
|
|
|
|
|
||||
|
1.Исследовать сходимость интеграла |
|
|
dx |
|||||||
|
|
|
|
. |
|||||||
|
1 |
x2 |
1 e x |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
Сравним данный |
интеграл |
с известным |
сходящимся |
||||||||
интегралом |
|
dx |
. Так как при |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x |
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
p |
2 , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
x |
2 1 |
|
e x |
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
то |
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
dx |
|
. Следовательно интеграл сходится. |
|||||||||||||||||||||||
1 |
|
x2 1 e x |
1 |
|
x2 |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
2. Аналогично доказывается, что |
1 |
x |
|
dx расходится. |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
x |
x |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Действительно, при x |
1 |
1 |
x |
1 |
|
|
|
p |
|
1 |
. |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
||||||||||||||||||||||||||||||
|
x |
x |
|
|
x |
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
1 |
|
|
x |
|
dx |
|
|
dx |
|
, а |
|
|
dx |
расходится. |
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|||||||||||||||||
1 |
x |
|
x |
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
83
2.Несобственные интегралы от неограниченных функций (несобственные интегралы второго рода).
Непрерывная на отрезке функция интегрируема на
нѐм.
1. Пусть функция f(x) определена и непрерывна на конечном промежутке a, b за исключением конечного числа точек.
y |
|
|
|
|
|
|
|
|
Если f(x) на |
отрезке |
||
|
|
|
|
|
|
|
|
a, b |
имеет конечное |
|||
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
число |
|
|
только |
|
|
|
|
|
|
|
|
|
разрывов |
I |
рода |
|
|
|
|
|
|
|
|
|
|
(конечные скачки), то |
|||
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
||||
0 |
|
|
|
|
|
|
|
|
в этом случае отрезок |
|||
|
|
|
|
|
|
|
|
a, b |
точками |
с и d |
||
a |
c |
d |
|
b |
x |
|||||||
|
|
|||||||||||
можно разбить на три промежутка, в
Рис. 23. каждом из которых функция f(x) непрерывна. В этом случае интеграл в пределах от a до b на основании свойств аддитивности определяется как сумма интегралов от непрерывных функций:
b |
c |
d |
b |
f (x)dx |
f (x)dx |
f (x)dx |
f (x)dx |
a |
a |
c |
d |
(собственные интегралы).
2. Пусть функция f(x) определена и непрерывна при
a x |
b , а в точке b терпит бесконечный разрыв (разрыв II |
рода). |
В этом смысле определѐнный интеграл на a, b не |
может существовать, т.к. не существует предел интегральных сумм. Поступим следующим образом.
Возьмѐм произвольное число |
0 и рассмотрим отрезок |
|
a, b |
(рис. 24). |
|
84
|
|
y |
|
|
|
y=f(x) |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
a |
|
|
|
|
|
|
b- |
|
b |
|
|
х |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рис. 24. |
|
|
|
|
|
|
|
|
|
||||
Функция |
f(x) |
|
непрерывна |
на |
|
этом |
|
отрезке, |
значит |
|||||||||||||||
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
существует интеграл |
f (x)dx |
|
Φ( |
) . |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Если |
существует |
|
предел |
этого |
интеграла |
когда |
||||||||||||||||||
0, то этот предел называется несобственным |
||||||||||||||||||||||||
интегралом второго рода и обозначается: |
|
|||||||||||||||||||||||
|
|
b |
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
lim |
|
|
f (x)dx |
|
|
f (x)dx . |
|
|
|
|
|
|
|||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Если предел не существует или бесконечен, то несобственный интеграл называется расходящимся.
Аналогично определяется интеграл с особенностью на нижнем пределе. Пусть f(x) непрерывна на a x b , а при х=а имеет разрыв второго рода (рис. 25), тогда
y |
|
|
|
|
|
|
|
|
|
b |
|
b |
|||
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x)dx |
lim |
f (x)dx. . |
|
|
|
|
|
|
|
y=f(x) |
a |
0 |
a |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
х |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
a |
a+ |
|
|
|
|
|
b |
|
|
||||
Рис. 25.
85