Лекции по Матанализу ч
.3.pdfНесобственные интегралы.
Определение несобственного интеграла 1-го рода.
Определение: Пусть функция f x определена и непрерывна на интервале [a, |
). |
|||
Тогда она интегрируема на любом отрезке a,b , |
b a . Несобственным интегралом 1-го |
|||
рода от функции f x на интервале [a, ) называется предел lim |
b |
|
||
f (x)dx . |
|
|||
|
|
b |
a |
|
|
|
|
|
|
b |
|
|
|
|
Обозначение: lim f (x)dx f (x)dx |
|
|
|
|
b |
|
|
|
|
a |
a |
|
|
|
Если этот предел существует и конечен, то говорят, что несобственный интеграл
сходится.
Если предел не существует или бесконечен, то несобственный интеграл расходится. Аналогичные рассуждения можно привести для несобственных интегралов вида:
b |
|
|
b |
f (x)dx lim |
f (x)dx |
||
|
|
a |
a |
|
|
||
|
c |
|
|
f (x)dx |
|
f (x)dx f (x)dx |
|
|
|
|
c |
Конечно, эти утверждения справедливы, если входящие в них интегралы существуют.
Теорема. (необходимое и достаточное условие сходимости несобственного интеграла 1-го рода) Для сходимости несобственного интеграла 1-го рода необходимо и достаточно, чтобы для любого числа 0 существовало положительное число A , такое, что неравенство
f ( x)dx
x
было справедливо всякий раз, когда x x A
Доказательство. Необходимость следует из условия существования предела
|
b |
|
|
|
|
|
|
lim f ( x)dx f (x)dx |
(*) |
|
|
||
b a |
a |
|
|
|
||
|
|
|
|
|
a n |
|
Для доказательства достаточности рассмотрим Sn |
f ( x)dx , где |
n a A . Тогда, в |
||||
|
|
|
|
|
a |
|
силу условия (*) |
|
|
|
|
||
|
Sn p Sn |
|
|
|
|
|
|
|
|
|
|
Согласно критерию Коши эта последовательность имеет предел, который обозначим через S , тогда, если x a n получим
x |
|
|
a n |
|
x |
|
S f (t)dt |
|
S |
f (t)dt |
|
f (t)dt |
2 |
a |
|
|
a |
|
a n |
|
Следовательно,
x
S lim f (t)dt . Теорема доказана.
x a
Пример.
|
b |
|
|
b |
|
|
cos xdx lim |
cos xdx lim sin x |
|
lim(sin b sin 0) lim sin b - не существует. |
|||
|
||||||
b |
|
b |
0 |
b |
b |
|
0 |
0 |
|
|
|
||
|
|
|
|
|
Несобственный интеграл расходится.
41
|
|
|
1 dx |
|
|
|
1 dx |
|
|
|
|
|
1 |
1 |
|
|
|
1 |
|
|
|
|
||||||||||||||
|
Пример. |
|
|
|
|
|
lim |
|
|
|
|
lim |
|
|
|
|
|
lim 1 |
|
|
|
1 - интеграл сходится |
||||||||||||||
|
|
2 |
|
|
|
2 |
|
b |
|
|||||||||||||||||||||||||||
|
|
|
x |
|
|
|
|
|
b x |
|
|
|
|
|
|
x |
|
|
|
b |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
b |
|
|
|
|
|
b |
|
|
|
|
1 |
|
|
|||||||
|
|
|
dx |
|
|
|
|
|
A dx |
|
|
|
|
|
|
|
|
|
A |
|
|
|
, 1 |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 a |
|
||||||||||||||||||
|
Пример. |
|
|
|
|
|
|
lim |
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
a x |
|
|
A a x |
|
b |
|
|
1 x a |
|
|
|
|
1 |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
||||
|
|
|
|
|
|
|
|
|
dx |
|
|
|
|
сходится , |
|
1 |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Таким образом, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
a x |
|
|
|
|
расходится, |
|
|
1 |
|
|
|
|
|
|
|
|
|
||||||||||
|
Случай 1 рассмотреть самостоятельно |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
Несобственные интегралы 1-го рода от знакопостоянных функций. |
|||||||||||||||||||||||||||||||||||
|
Теорема: (первая теорема сравнения) Если для всех х (x a) выполняется условие |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
0 f (x) (x) и интеграл |
(x)dx сходится, |
то f (x)dx тоже сходится и |
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
(x)dx f (x)dx . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
a |
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Теорема: Если для всех х (x a) выполняется условие |
0 (x) f (x) |
и интеграл |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
(x)dx расходится, то f (x)dx тоже расходится. |
|
|
|
|
|||||||||||||||||||||||||||||||
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Доказательство |
|
обеих |
|
теорем |
|
|
основано |
|
|
на |
интегрировании |
неравенства |
|||||||||||||||||||||||
0 (x) f (x) в промежутке |
a, A |
с последующим переходом к пределу при A |
||||||||||||||||||||||||||||||||||
|
Теорема: |
|
|
(вторая |
теорема |
|
сравнения) |
|
Если |
существует конечный предел |
||||||||||||||||||||||||||
|
f x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
lim |
k , то интегралы |
(x)dx |
и f (x)dx сходятся или расходятся одновременно |
|||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||
x x |
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e x
Пример. Исследовать на сходимость интеграл x dx .
1
Подинтегральная функция удовлетворяет неравенству |
e x |
e x , |
x 1. Интеграл |
|||||||
x |
||||||||||
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
||||
e x dx сходится (докажите) |
|
|
|
|
|
|
||||
1 |
|
|
|
|
|
|
|
|
|
|
Следовательно, искомый интеграл также сходится. |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
||||
Пример. |
dx |
|
|
|
|
|
|
|
|
|
ln x |
|
|
|
|
|
|
||||
2 |
|
|
|
|
|
|
|
|
|
|
Подинтегральная функция удовлетворяет неравенству |
|
1 |
|
|
1 |
, |
x 2 . Интеграл |
|||
|
ln x |
x |
||||||||
|
|
|
|
|
|
|
2 dxx расходится
Следовательно, искомый интеграл также рассходится.
42
Абсолютная и условная сходимость интегралов 1-го рода
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Теорема: Если |
|
f (x) |
|
dx сходится, то сходится и интеграл f (x)dx . |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
x |
|
f x |
|
|
|
|
|
Доказательство основано на интегрировании неравенства |
f |
|
|
в промежутке |
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
a, A с последующим переходом к пределу при A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
Обратное |
|
утверждение |
вообще |
|
говоря неверно, но |
|
если наряду с интегралом от |
|||||||||||||||||||||||||||||||||||||||||||||||
функции f x сходится и интеграл от |
|
f x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
, то в этом случае интеграл f (x)dx |
называется |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
||||
абсолютно сходящимся. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
sin x |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Пример. |
|
|
|
|
|
|
|
dx |
|
|
|
dx второй интеграл сходится, |
следовательно первый сходится |
|||||||||||||||||||||||||||||||||||||||||
x |
2 |
x |
2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||
абсолютно |
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Теорема. (Признак Абеля) Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
1) |
(t)dt |
|
|
сходится (хотябы и неабсолютно) |
|
|
|
|
|
|
|
(**) |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
a |
|
|
|
|
f x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f x |
|
C x a, |
|
|
|||||||||||||||||||||
2) Функция |
|
монотонна и ограничена, т.е. |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
Тогда, интеграл |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
f ( x) x dx сходится |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Доказательство. |
|
По второй теореме о среднем значении, |
при любых |
|
A a |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
будем иметь |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
f (x) x dx f A x dx f A |
x dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
где A A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Ввиду условия (**) для любого 0 существует число A0 |
A , такое, что при |
A A0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||
будет выполнено |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
x dx |
|
|
|
, |
|
|
|
|
|
|
x dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
A |
|
|
|
2C |
|
|
|
|
|
|
|
2C |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Так как функция |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
A0 находим |
|
|
||||||||||||||||||||||||
|
f x монотонно и ограничена при A |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
f (x) x dx |
|
|
f A |
|
x dx |
|
|
|
|
|
|
x dx |
|
C |
C |
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
f A |
|
|
2C |
2C |
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
что влечёт за собой сходимость интеграла |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
Теорема. (Признак Дирихле) Если f x 0 монотонно при x , и если |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
(t)dt |
C const |
|
при x |
|
|
(***) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Тогда, интеграл |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f ( x) x dx сходится
a
Доказательство. Пусть выполнено условие (***). Тогда для любого 0 существует число A , такое, что
43
|
f x |
|
при x |
A |
|
|
|
|
|
|
||||||||
|
2C |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A имеем |
|||
Следовательно, по теореме о среднем при A |
A |
|||||||||||||||||
|
A |
|
|
|
|
|
A |
|
|
|
|
|
|
A |
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
f (x) x dx |
|
|
|
f x dx |
|
|
|
f |
|
|
x dx |
x dx |
|
||||
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
2Af |
|||||||||||
|
A |
|
|
|
|
|
A |
|
|
|
|
|
|
a |
|
a |
|
|
что и является условие сходимости
Пример. sinx x dx сходится.
1
В самом деле f x 1x 0 монотонно
x
sin tdt cos1 cos x 2
1
Следовательно, по признаку Дирихле этот интеграл сходится. Для того, чтобы доказать, что этот интеграл сходится условно, надо доказать расходимость
|
|
|
|
sin x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sin 2 x имеем |
|
|
|
|||||
В самом деле, в силу неравенства |
|
sin x |
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
sin x |
|
|
sin 2 x |
|
1 |
|
1 |
|
|
|
cos 2x |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
dx |
|
|
dx |
|
|
|
|
dx |
|
|
|
|
dx |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
x |
|
|
1 |
|
x |
|
2 |
1 x |
|
1 |
x |
|
|
sin x |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
где первый интеграл расходится, а второй аналогичен |
dx . |
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sin x |
|
|
|
|
|
|
|
|
|
|
sin x |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Следовательно, |
интеграл |
|
|
|
|
|
dx |
расходится, |
а значит интеграл |
|
|
dx сходится |
||||||||||||||||||||
|
|
|
|
x |
x |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
условно.
Несобственные интегралы 2-го рода.
Определение. Если подынтегральная функция неограниченна на промежутке интегрирования, то интеграл
b
f (x)dx
a
называется несобственным интегралом второго рода.
Если в точке x b функция либо неопределена, либо разрывна, то указанный интеграл понимается в виде предела
b |
f (x)dx lim |
b |
|
|
f (x)dx |
||
a |
|
0 |
a |
|
|
|
b |
Если интеграл указанный предел |
существует и конечент, то интеграл f (x)dx - |
a
сходится, в противном случае - расходится.
Аналогично, если в точке x a функция терпит разрыв, то
b |
f (x)dx |
|
c |
|
lim |
f (x)dx . |
|
a |
|
0 a |
Если функция f(x) имеет разрыв в точке x с на промежутке a,b , то
44
b |
c |
b |
|
|
c 1 |
|
b |
|
|
f (x)dx |
f (x)dx |
f (x)dx |
lim |
|
f (x)dx |
lim |
f (x)dx |
a |
a |
c |
|
1 0 |
a |
|
2 0 c 2 |
Таких точек внутри отрезка может быть несколько. Если сходятся все интегралы, входящие в сумму, то сходится и суммарный интеграл.
|
|
|
|
|
|
|
|
|
b |
dx |
. Имеем, при 1 |
|||
Пример. Исследовать сходимость интеграла |
||||||||||||||
|
|
|||||||||||||
|
||||||||||||||
|
|
|
|
|
|
|
|
|
a |
x a |
|
|
||
b |
dx |
|
|
b |
dx |
|
|
|
1 |
|
b |
|
||
|
|
lim |
|
|
lim |
|
|
|
|
|||||
|
|
|
|
1 |
|
|||||||||
a |
x a |
|
0 |
a |
x a |
|
0 |
1 x a |
a |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
, |
||||||
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
||||||||||||
|
1 |
|
|
|
lim |
|
|
1 |
|
|
1 |
|
1 b a |
|
|||||||||||||||
|
|
0 |
b a |
|
|
|
|
|
|
1 |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|||||||
При 1, получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
b |
dx |
|
|
|
|
|
|
|
|
b |
dx |
|
|
|
|
|
ln |
|
x a |
|
b |
|
|
|
|||||
|
|
|
|
|
|
lim |
|
|
|
|
lim |
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
a x a |
|
|
|
0 a x a |
|
|
0 |
|
|
|
|
|
a |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
lim |
ln |
|
b a |
|
ln |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, рассматриваемый интеграл сходится
1
1
при 1 и расходится при
Применение основной формулы интегрального исчисления.
Пусть функция f x определена в промежутке |
a,b и интегрируема в собственном |
|||
смысле в любом прмежутке a,b , в то время как |
b , служит для неё особой точкой. |
|||
Тогда, если для f x в промежутке a,b |
существует первообразная F x , то |
|||
b |
|
|
||
f x dx F b F a F x |
|
b |
|
|
|
|
|||
|
|
a |
|
|
|
|
|
|
|
a |
|
|
и существование несобственного интеграла (с несобственностью в точке b ) равносильно существованию предела
lim F b0
Если этот предел существует, то его естественно принять за значение F b
первообразной функции при x b . Для вычисления несобственного интеграла имеем таким образом формулу обычного вида
b |
f x dx F b F a F x |
|
b |
|
|
||
a |
|
|
a |
|
|
|
|
Та же формула имеет место и вслучае если особая точка лежит внутри промежутка |
или при наличии нескольких особых точек при непременном условии, что первообразная |
||||||||||
F x является непрерывной на всём промежутке a,b |
|
|
|
|
||||||
8 |
dx |
|
|
|
|
|
||||
Пример. |
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
||
1 |
x |
|
|
|
|
|
|
|
||
|
F x |
3 3 |
|
|
||||||
Особая точка x 0 , но первообразная |
x2 |
- непрерывна в этой точке, |
||||||||
2 |
|
|||||||||
|
|
|
|
|
|
|
|
|
||
следовательно |
|
|
|
|
|
|
|
|
|
|
|
45 |
|
|
|
|
|
8 |
dx |
|
|
3 |
3 |
|
|
8 |
|
9 |
|
|
|
|
|
||
|
|
|
2 |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
||
3 |
|
|
2 |
|
|
2 |
|
|
|
|
|
||||||
1 |
x |
|
|
2 |
|
1 |
|
|
|
|
|
||||||
|
|
|
|
||||||||||||||
Пример. |
2xdx |
не существует, так как ln |
|
x2 1 |
|
обращается в бесконечность в |
|||||||||||
|
|
||||||||||||||||
|
|
|
|
|
|
|
|||||||||||
2 x2 1 |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||
особых точках x 1 |
|
|
|
|
|
|
|
|
Для несобственных интегралов можно сформулировать такие же признаки сходимости, как и для несобственных интегралов первого рода (предлагается сделать самостоятельно). Мы же рассмотрим ещё один пример
a sin xdx |
|
|
|
|||
Пример. |
|
|
|
|
|
|
x |
|
|
|
|||
0 |
|
|
|
|||
|
|
|
|
|
||
Особая точка x 0 , в окрестности этой точки |
sin x |
|
a |
|||
~ 1 и интеграл |
dx a сходится |
|||||
x |
||||||
|
|
|
|
0 |
||
|
|
|
|
|
Таким образом, используя аналог второй теоремы сравнения, приходим к выводу, что и исходный интеграл тоже сходится.
Упражнение. Доказать, что данный интеграл сходится абсолютно. Кроме того, ранее было установлено, что
sin xdx |
|
a 0 сходится |
||
|
|
, |
||
x |
||||
a |
|
|
||
|
|
|
Следовательно, интеграл
sin xdx
0 x
который является одновременно несобственным интегралом и 1-го и 2-го рода – тоже сходится.
Связь между несобственными интегралами 1-го и 2-го рода.
Между интегралами обоих типов существует связь. В самом деле, рассмотрим несобственный интеграл второго рода с несобственностью в точке b .
b |
f x dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Сделаем замену переменной t |
|
1 |
, тогда |
x b |
1 |
|
dx |
dt |
|||||||||
|
b x |
|
t |
|
t 2 |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
1 |
|
, верхний , получаем |
||||||||||
Нижний предел равен |
|
|
|||||||||||||||
b a |
|||||||||||||||||
b |
f x dx |
|
f t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dt |
|
|
|
|
|
|
|
|
|
|
|||
t 2 |
|
|
|
|
|
|
|
|
|
|
|||||||
a |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
b a
Полученная формула показывает связь между интегралами 1-го и 2-го рода. Аналогичную формулу можно получить и в случае если особая точка лежит внутри промежутка. Здесь несобственный интеграл 2-го рода сводится к сумме двух несобственных интегралов 1-го рода.
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
f t |
|
|
|
f t |
|
|||
b |
с |
b |
|
b a |
|
|||||||
f x dx f x dx f x dx |
|
|
|
dt |
|
|
|
dt |
||||
t 2 |
t 2 |
|||||||||||
a |
a |
с |
1 |
|
|
|
с a
46
где c - точка разрыва функции f x
Главные значения несобственных интегралов.
Пусть функция f(x) имеет разрыв в точке x с |
на промежутке a,b . В этом случае, |
||||||||||||||
как известно, несобственный интеграл определяется равенством |
|
|
|
||||||||||||
b |
|
|
|
c 1 |
|
|
|
b |
|
|
|
c 1 |
b |
|
|
|
f (x)dx |
lim |
f (x)dx |
|
lim |
f (x)dx |
|
lim |
|
f (x)dx |
f (x)dx |
||||
a |
|
1 |
0 |
a |
|
2 |
0 |
c 2 |
|
1 |
0 |
|
|
c 2 |
|
|
|
|
|
|
0 |
a |
|
|
|||||||
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где двойной предел должен, разумеется, существовать при независивом предельном
переходе по 1 и |
2 . В ряде случаев, |
когда указанный |
предел не существует, бывает |
|||||
полезным рассмотреть его при условии, что 1 и 2 |
сремятся к нулю оставаясь равными, т.е. |
|||||||
|
c |
|
b |
|
|
|
|
|
|
lim |
f (x)dx |
|
f (x)dx |
|
|
||
|
0 |
a |
|
c |
|
|
|
|
|
|
|
|
|
|
|||
Если этот предел существует, то его называют главным значением несобственного |
||||||||
b |
|
|
|
|
|
|
|
|
интеграла f (x)dx и обозначается символом |
|
|
|
|
|
|||
a |
|
|
|
|
|
|
|
|
|
b |
|
c |
|
b |
|
||
|
V .p. f (x)dx |
lim |
f (x)dx |
f (x)dx |
||||
|
a |
|
0 |
a |
|
|
c |
|
|
|
|
|
|
|
В этом случае говорят, что интеграл сходится в смысле главного значения (или в смысле главного значения по Коши). Сокращение V.p. происходит от французского «Valeur principal», что в переводе на русский как раз и означает «Главное значение»
Очевидно, что если интеграл существует как несобственный, то он существует и в смысле главного значения. Обратное, вообще говоря неверно.
2 dx
Пример. Рассмотрим интеграл
1 x
Этот интеграл как несобственный несуществует (особой точкой является x 0 ) . Однако этот интеграл существует в смысле главного значения
2
V .p.
1
dx |
|
|
|
|
|
lim |
|
|
|||
x |
|||||
|
0 |
|
|||
|
|
|
1 |
dx |
2 dx |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
lim ln ln1 ln 2 ln ln 2 |
||
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
lim |
ln |
|
x |
|
1 |
ln |
x |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
x |
x |
|
|
|
|
|
|
|
0 |
|||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Понятие главного значения определено также для несобственного интеграла первого
|
|
|
|
|
|
|
|
|
|
рода вида |
f (x)dx . |
Сходимость такомо |
интеграла понимается в виде |
существования |
|||||
|
|
|
|
|
|
|
|
|
|
двойного предела |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
A1 |
|
|
f (x)dx |
lim |
|
|
f (x)dx f (x)dx |
|
||||
|
A |
|
|
|
|
a |
|
|
|
1 |
|
|
A1 |
|
|
||||
|
A2 |
|
|
|
|
|
|
||
где a - произвольная точка числовой оси |
|
|
|||||||
Главное значение |
|
этого |
интеграла |
определяется как прередел |
при A1 и A2 |
||||
стремящимися к бесконечности оставаясь равными, т.е. |
|
||||||||
|
|
|
|
|
|
a |
A |
|
|
V .p. f (x)dx |
lim |
|
f (x)dx f (x)dx |
|
|||||
|
|
|
A |
|
a |
|
|
||
|
|
|
|
A |
|
|
47