
Лекції та практичні з МатАналізу / 2. Лекції / Лекція 19
.pdf
Лекція 19. Невластиві інтеграли з нескінченними межами інтегрування та від необмежених функцій. Дослідження на
збіжність, ознаки збіжності. Інтеграли, залежні від параметра, теорема Лейбніца. Гама-функція Ейлера
При означенні інтеграла ∫b |
f (x)dx вимагалось, щоб: 1) проміжок інтегрування [a;b] був |
|||||
|
|
a |
|
|
|
|
скінченним; 2) підінтегральна функція f (x) була визначена та обмежена на [a; b]. Якщо хоча |
||||||
б одна з цих умов порушується, то інтеграл ∫b |
f (x)dx |
називається невласним інтегралом. |
||||
|
|
|
a |
|
|
|
1. Інтеграли з необмеженими границями |
|
|||||
1.1. Означення інтеграла з необмеженими границями |
||||||
Нехай функція |
f (x) визначена в інтервалі [a;+∞) і інтегровна на довільному відрізку |
|||||
[a, b] [a;+∞), так, що має зміст інтеграл I (b) = ∫b |
f (x)dx , який є неперервною функцією від b . |
|||||
|
|
|
|
a |
|
|
Означення 1.1. Якщо існує скінченна границя lim ∫b |
f (x)dx , то вона називається невласним |
|||||
|
|
|
|
b→+∞ a |
|
|
інтегралом першого роду від функції f (x) |
на інтервалі [a;+∞) і позначається |
|||||
+∞∫ f (x)dx . |
|
|
|
|
|
|
a |
|
|
|
|
|
|
Отже, |
|
|
|
|
|
|
+∞∫ f (x)dx = lim ∫b |
f (x)dx . |
|
|
(1.1) |
||
a |
b→+∞ a |
|
|
|
|
|
У цьому випадку кажуть, що невласний інтеграл існує або збігається. Якщо границя (1.1) дорівнює безмежності або не існує, то говорять, що інтеграл не існує або розбігається.
Геометричний зміст невласного інтеграла першого роду: оскільки ∫b f (x)dx для
a
невід’ємної функції f (x) виражає площу області, обмеженої лінією y = f (x) , віссю Ox і
прямими x = a , x = b , то природньо вважати, що невласний інтеграл виражає площу необмеженої області, обмеженої лініями y = f (x) , y = 0 , x = a (рис.1).
Наприклад, якщо f (x) = |
1 |
, то +∞∫ |
dx |
задає площу трапеції в межах [1;+∞) , яка, як буде |
|||||
x2 |
x 2 |
||||||||
|
|
1 |
|
|
|
|
|
||
показано у прикладі 1.3, дорівнює 1 (рис.1). |
|
||||||||
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
y=1/x2 |
|
|
|
|
1 |
|
|
x |
||||
|
|
|
|
||||||
|
|
0 |
|
|
|||||
|
|
1 |
|||||||
|
Рис.1. Геометричний зміст невласного інтеграла першого роду |
||||||||
За аналогією визначаються невласні інтеграли і для інших безмежних інтервалів: |
|||||||||
∫b |
f (x)dx = lim ∫b |
f (x)dx ; |
|
|
(1.2) |
||||
−∞ |
a→−∞ a |
|
|
|
|
|
|
|
|

+∞∫ f (x)dx = ∫c |
f (x)dx + +∞∫ f (x)dx . |
(1.3) |
|
−∞ |
−∞ |
c |
|
Останню рівність слід розуміти так: якщо кожен із невласних інтегралів, розміщених справа, існує, то існує і інтеграл, що стоїть зліва; він не залежить від вибору точки c .
1.2. Застосування основної формули інтегрального числення
При обчисленні невласних інтегралів можна використовувати формулу Ньютона-Лейбніца.
Дійсно, ∫b |
f (x)dx = F (b) − F (a) |
і |
|
|
a |
|
|
|
|
lim ∫b |
f (x)dx = lim (F (b) − F (a)) = lim F (b) − F (a) . |
(1.4) |
||
b→+∞ a |
|
b→+∞ |
b→+∞ |
|
Очевидно, що невласний інтеграл (1.4) існує тоді, і лише тоді, коли існує скінченна границя
lim F(b) = F (+∞) , звідки
b→+∞
+∞∫ f (x)dx = F (x) +a∞ = F (+∞) − F (a) .
a
Аналогічно можна записати і інтеграли (1.2), (1.3):
∫b f (x)dx = F (x) −b∞ = F (b) − F (−∞) ;
−∞
+∞∫ f (x)dx = F (x) +− ∞∞ = F (+∞) − F (−∞) .
−∞
Прикладом невласного інтеграла першого роду є так званий інтеграл Ейлера-Пуассона
+∞ |
− |
x2 |
|
∫e |
|
dx , що зустрічатиметься у курсі теорії ймовірностей. Доведено, що цей інтеграл |
|
2 |
−∞
збіжний і
Крива y =
+∞ |
− |
x2 |
|
|
|
|
1 |
+∞ |
− |
x2 |
|
||
∫e |
|
dx = |
2π або |
∫e |
|
dx =1. |
(1.5) |
||||||
2 |
2 |
||||||||||||
−∞ |
|
|
|
|
|
|
|
2π |
−∞ |
|
|
|
|
1 |
|
e |
− |
x 2 |
|
називається кривою Гауса (рис. 2), а площа S під кривою на інтервалі |
|||||||
2π |
2 |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
(−∞;+∞) , згідно з (1.5), дорівнює одиниці.
y
|
|
|
|
|
|
|
|
|
0 |
|
|
x |
|
|
|
|
|
||
|
|
|
|
|
|
Рис.2. Графік функції Гауса |
|
|
|
|
|||||||||
Приклад 1.1. Обчислити: а) +∞∫ |
|
dx |
; б) ∫0 |
dx |
; |
в) +∞∫ |
dx |
. |
|
|
|
|
|||||||
1 + x 2 |
1 + x 2 |
1 + x 2 |
|
|
|
|
|||||||||||||
|
|
|
|
|
0 |
|
|
|
|
−∞ |
−∞ |
|
|
|
|
|
|||
|
|
а) Так як первісна підінтегральної функції F (x) = arctg x |
та F (0) = 0 , F (+∞) = |
π |
, то |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π |
|
π . |
2 |
|
+∞ |
dx |
b |
dx |
|
|
b |
= lim (arctg b −arctg 0) = |
−0 = |
|
|
|||||||||
∫ |
|
= lim ∫ |
= lim arctg x |
|
|
|
|||||||||||||
|
|
|
|
||||||||||||||||
|
2 |
2 |
|
|
|
||||||||||||||
0 1 |
+ x |
b→+∞ 0 |
1 + x |
b→+∞ |
0 |
b→+∞ |
|
|
2 |
|
2 |
|
|
б) За аналогією з попереднім пунктом, враховуючи що F (−∞) = −π2 , матимемо
0 |
|
|
dx |
|
|
|
|
|
|
|
0 |
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π ) |
|
|
|
π . |
|
|
|
||||||||||||
∫ |
|
|
|
|
= lim ∫ |
|
|
|
= lim arctg x |
|
|
|
= lim (arctg 0 − arctg a) = = 0 −(− |
= |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
2 |
|
|
|
|
|
|
|
2 |
a |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
−∞ 1 + x |
|
|
|
a→−∞ a |
1 + x |
|
|
|
a→−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
a→−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
2 |
|
|
|
|
|||||||||||||||||||||||||||
в) При обчисленні інтеграла |
|
+∞ |
|
dx |
|
|
за точку c |
зручно вибрати 0 . Тоді, враховуючи результати |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
∫ |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1 |
+ x |
2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
а) і б), матимемо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
+∞ |
|
dx |
0 |
|
|
|
dx |
|
|
|
|
+∞ |
dx |
|
|
|
π |
|
|
|
π |
=π . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
∫ |
|
|
|
= ∫ |
|
|
+ |
∫ |
|
|
= |
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
1 + x |
2 |
|
|
2 |
|
+ x |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
−∞ |
|
|
|
−∞ 1 + x |
|
|
|
0 1 |
|
|
|
2 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
Приклад 1.2. Обчислити |
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
∫cos xdx . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
∫cos xdx = lim |
∫cos xdx = lim sin b . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
π |
|
|
|
|
|
|
|
b→+∞ |
π |
|
|
|
|
|
|
|
|
b→+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Оскільки останньої границі не існує, то інтеграл є розбіжним. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Приклад 1.3. Встановити, при яких значеннях α інтеграл +∞∫ |
|
dx |
|
|
|
збігається і при яких |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
xα |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
розбігається. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
а) Нехай α ≠1 . Тоді |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
+∞ dx |
|
|
|
|
b |
|
−α |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1−α |
|
b |
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
|
α = lim |
∫x |
|
|
dx = |
|
|
|
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
α−1 −1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
1 |
|
x |
|
|
|
b→+∞ |
1 |
|
|
|
|
|
|
|
|
|
1 − |
α b→+∞ |
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
−α b→+∞ b |
|
|
|
|
|
+∞ dx |
|
|
|
|
1 |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
Якщо |
α −1 > 0 , то |
|
|
|
|
|
|
lim |
|
|
|
|
|
− |
1 |
= |
|
|
|
|
|
|
(0 |
−1) = |
|
|
|
|
, тобто |
∫ |
|
|
|
|
|
|
= |
|
|
|
і інтеграл збіжний. |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
α−1 |
|
1 −α |
α − |
1 |
|
x |
α |
|
|
α −1 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 −α b→+∞ b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
+∞ dx |
|
|
|
|
|
|
||||||||||||||||
Якщо |
α −1 < 0 |
|
то |
|
|
|
|
|
|
lim |
|
|
|
|
− |
1 |
= |
|
|
|
|
|
|
|
(∞ −1) = +∞ , |
тобто |
|
∫ |
|
|
|
|
|
|
– |
розбіжний. |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
α−1 |
1 |
−α |
|
|
x |
α |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 −α b→+∞ |
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
б) При α =1 |
|
матимемо |
∫dx |
= lim ∫dx = lim (ln b − ln1)= +∞ , тобто інтеграл розбіжний. Отже, |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
x |
|
|
|
b→+∞ 1 |
|
x |
|
|
b→+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
+∞ |
dx |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
∫ |
|
|
|
|
|
,α |
>1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
= |
α − |
1 |
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
xα |
α ≤1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
1 |
|
|
|
|
|
+ ∞, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.Ознаки збіжності невласних інтегралів першого роду
Убагатьох випадках немає необхідності обчислювати невласний інтеграл, а достатньо лише встановити, чи є він збіжним і оцінити його. Сформулюємо ознаки збіжності невласного
інтеграла першого роду.
Теорема 1.1. Нехай для всіх x > a функції f (x) і g(x) неперервні і задовольняють нерівність
0 ≤ f (x) ≤ g(x) . Тоді |
|
|
|
|
|
||
а) якщо інтеграл +∞∫g(x)dx |
збігається, то інтеграл +∞∫ f (x)dx також збігається і |
|
|
||||
|
a |
|
|
a |
|
|
|
0 ≤ +∞∫ f (x)dx ≤ +∞∫g(x)dx ; |
|
|
|
|
|
||
a |
a |
|
|
|
|
|
|
б) якщо інтеграл +∞∫ f (x)dx |
розбігається, то інтеграл +∞∫g(x)dx також розбігається. |
||||||
|
a |
|
|
a |
|
|
|
Теорема 1.2. Якщо існує скінченна границя lim |
f (x) |
|
+∞ |
|
|||
= c і 0 < c < +∞ , то інтеграли |
∫ |
f (x)dx |
|||||
|
|||||||
|
|
x→+∞ g(x) |
|
|
|||
|
|
|
|
|
a |
|
та +∞∫g(x)dx збігаються або розбігаються одночасно.
a

На практиці для дослідження на збіжність невласного інтеграла першого роду його порівню-
ють з іншим, збіжність чи розбіжність якого відома. Часто таким інтегралом є |
+∞∫ |
|
dx |
. |
|||||||||||||||||||||
|
|
α |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
x |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Приклад 1.4.. Дослідити на збіжність і оцінити +∞∫ |
dx |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
x 2 (1 + ln 2 |
x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Для всіх x ≥1 виконується нерівність 1 + ln2 x ≥1 , а отже нерівність |
|
0 ≤ |
|
|
1 |
|
|
≤ |
1 |
. |
|||||||||||||||
|
x 2 (1 |
+ ln 2 |
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x) |
|
x 2 |
||||||||
Інтеграл |
+∞∫ |
dx |
=1 збіжний (див. приклад 1.3), тому інтеграл +∞∫ |
|
dx |
також збіжний і |
|||||||||||||||||||
x 2 |
x 2 |
(1 + ln 2 x) |
|||||||||||||||||||||||
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 < +∞∫ |
dx |
≤1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
x 2 (1 + ln 2 x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Приклад 1.5. Дослідити на збіжність інтеграл +∞∫ |
x +3 |
2 dx . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
1 |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Оцінимо знизу підінтегральну функцію для x ≥1 : |
x + 2 = |
x + |
2 |
|
= |
= |
1 + |
2 |
|
> 1 |
. Оскільки |
||||||||||||||
|
|
|
|
|
|
x |
3 |
x |
3 |
|
x |
3 |
|
|
|
x |
x |
3 |
x |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
інтеграл +∞∫dxx є розбіжним (див. приклад 1.3.), то розбігається і |
+∞∫ |
|
x +3 |
2 dx . |
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
1.4. Абсолютна збіжність невласного інтеграла першого роду
Сформульовані вище ознаки збіжності не можуть бути застосовані до знакозмінної функції f (x) . У цьому випадку поступають так: будують невід'ємну функцію f (x) і встановлюють
збіжність інтеграла +∞∫ |
|
f (x) |
|
dx . Якщо цей інтеграл збіжний, то кажуть, що функція |
f (x) |
||||||||||||||||||||
|
|
||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
абсолютно інтегрована. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Теорема 1.3. Якщо інтеграл +∞∫ |
|
f (x) |
|
dx є збіжним, то збігається і +∞∫ f (x)dx . |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
||
У цьому випадку інтеграл +∞∫ f (x)dx називається абсолютно збіжним. |
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞cos x |
|
|
|
|
|
|
|
|
||
Приклад 1.6. Дослідити на збіжність інтеграл |
∫ x3 |
dx . |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
Підінтегральна функція |
cos x |
є знакозмінною. Оцінимо зверху її модуль |
|
cos x |
|
≤ |
1 |
|
при x ≥1 і |
||||||||||||||||
|
|
|
|||||||||||||||||||||||
x3 |
|
x3 |
x3 |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
знайдемо відповідний невласний інтеграл +∞∫dxx3 |
= |
1 |
– збіжний. Отже, збігається і інтеграл |
||||||||||||||||||||||
2 |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
+∞ |
|
cos x |
|
|
|
|
|
|
|
|
+∞cos x |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
∫ |
|
x3 |
dx , звідки випливає, що ∫ x3 |
dx є абсолютно збіжним. |
|
|
|
|
|
|
|
||||||||||||||
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Зауваження. Твердження, аналогічні до теорем 1.1, 1.2, 1.3 справедливі і для інших безмежних проміжків інтегрування.
Очевидно, для знакозмінної функції за допомогою сформульованої теореми 1.3 можна встановити лише абсолютну збіжність інтеграла. Якщо ж інтеграл розбігається або збігається неабсолютно, то розрізнити цих два випадки з допомогою теореми 1.3. неможливо.
2.Інтеграли від розривної функції
2.1.Означення інтеграла від необмеженої функції
Розглянемо функцію f (x) , визначену на проміжку [a,b), але необмежену на цьому проміжку. Нехай на довільному проміжку вигляду [a, b −ε] ( ε > 0 ) функція обмежена і інтегровна, а на кожному проміжку [b −ε,b) є необмеженою (рис.3).

y
|
|
|
|
|
|
|
y=f(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
b- |
b |
x |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
0 |
a |
|
ε |
|||
|
Рис.3. Геометричний зміст невласного інтеграла другого роду (особливість у т. b ) |
||||||||||
Точка b тоді називається особливою, а інтеграл ∫b |
f (x)dx |
визначається: |
|||||||||
|
|
|
|
|
|
|
a |
|
|
|
|
|
∫b |
f (x)dx = lim b∫−ε f (x)dx . |
|
|
|
|
|
(2.1) |
|||
|
a |
|
|
ε→0 a |
|
|
|
|
|
|
|
Якщо в (2.1) існує скінченна границя, то інтеграл ∫b |
f (x)dx |
називається збіжним невласним |
|||||||||
|
|
|
|
|
|
|
|
a |
|
|
|
інтегралом другого роду, в іншому випадку інтеграл є розбіжним. |
|||||||||||
За аналогією, якщо функція f (x) має розрив у лівому кінці проміжку [a,b), то |
|||||||||||
∫b |
f (x)dx = lim ∫b |
f (x)dx (рис.4). |
|
|
|
|
|
|
|||
a |
|
ε→0 a+ε |
|
|
|
|
всередині відрізка [a;b] (рис.5), то |
||||
Якщо функція |
f (x) має розрив у деякій точці x = c |
||||||||||
∫b |
f (x)dx = ∫c |
f (x)dx + ∫b |
f (x)dx , якщо обидва інтеграли у правій частині існують. |
||||||||
a |
|
a |
|
c |
|
|
|
|
|
|
|
y
y=f(x)
0 a a+ε |
b |
x |
Рис.4. Геометричний зміст невласного інтеграла другого роду (особливість у т. a )
y
y=f(x)
0 |
a |
c |
b |
x |
Рис.5. Геометричний зміст невласного інтеграла другого роду (особливість у т. c )
Приклад 2.1. Обчислити ∫1 |
dx |
2 . |
|
|
0 |
1 − x |
|
Функція y = 1 |
має розрив 2-го роду в точці x =1 , яка є правим кінцем відрізка |
||
1 − x2 |
|
|
|
інтегрування. Тому

1 |
|
dx |
|
=lim |
1−ε |
|
|
|
dx |
|
|
|
|
=lim(arcsin(1 −ε) − arcsin 0) = arcsin1 = |
π . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
∫ |
2 |
∫ |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
0 1 − x |
|
|
ε→0 0 |
|
1 − x |
|
|
|
|
ε→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Приклад 2.2. Обчислити ∫ |
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
sin |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
Функція y |
= |
|
|
|
|
|
1 |
|
|
|
|
|
|
не має змісту при x = 0 . Отже, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
sin 2 |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
0 |
|
|
|
dx |
|
|
|
|
|
0−ε |
|
dx |
|
|
|
|
= lim (− ctg x) |
|
0 −ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
– |
|
інтеграл розбіжний. |
||||||||||||||||||||||||||||||||||||||||
∫ |
|
|
|
= lim ∫ |
|
|
|
|
|
|
|
|
= lim (−ctg(−ε) + +ctg(−1)) = ∞ |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
2 |
|
|
2 |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
−1 sin |
x |
|
|
ε→0 |
−1 |
|
sin |
|
x |
|
|
|
|
ε→0 |
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
ε→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
Приклад 2.3. Обчислити ∫2 |
|
|
dx |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
x 2 −4x +3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Функція y = |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
має розрив у точці x =1 – внутрішній точці відрізка інтегрування. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
x2 −4x +3 |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
dx |
|
|
|
1 |
|
|
|
dx |
|
|
|
2 |
|
|
|
dx |
|
|
Тому розіб’ємо інтеграл на суму двох інтегралів ∫ |
|
|
|
|
|
|
= ∫ |
|
|
|
|
|
+ |
∫ |
|
|
|
. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
x |
2 |
− 4x + 3 |
x |
2 |
− 4x + 3 |
|
x |
2 |
− 4x + 3 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
1 |
|
|
|
||||||||||||
Обчислимо кожен з інтегралів з правої частини цієї рівності: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1 |
|
|
|
|
|
dx |
|
|
|
|
|
|
|
1−ε |
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
(x − 2) −1 |
|
|
|
−ε |
|
|
|
|
1 |
|
|
|
− 2 −ε |
|
|
|
|
|
|
1 |
(+∞ − ln 3) = +∞ . |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
∫ |
x |
2 |
− 4x |
+ |
3 |
= lim ∫ |
|
(x − |
2) |
2 |
|
−1 |
=lim |
|
2 |
|
ln |
(x − 2) +1 |
|
|
|
0 |
|
= |
= |
2 |
lim ln |
|
−ε |
− ln 3 |
|
= |
2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
0 |
|
|
|
|
ε→0 |
0 |
|
|
|
|
|
|
|
ε→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
ε→0 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
2 |
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
(x − 2) −1 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
x |
2 |
− 4x |
+ |
3 |
= lim ∫ |
|
(x − |
2) |
2 |
|
−1 |
= lim |
|
2 |
|
ln |
(x − 2) +1 |
|
|
1 |
−ε |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
1 |
|
|
|
|
ε→0 1−ε |
|
|
|
|
|
|
ε→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
− 2 −ε |
|
|
|
|
|
|
|
1 |
(0 − ∞) = −∞ . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
2 |
lim ln1 − ln |
|
−ε |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
ε→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Отже, інтеграл ∫2 |
|
|
dx |
розбіжний як сума двох розбіжних інтегралів. |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
x 2 −4x +3 |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Приклад 2.4. Дослідити на збіжність інтеграл ∫1 |
dx |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
xα |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Оскільки x = 0 – точка розриву підінтегральної функції, то при α ≠1 матимемо |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1−α |
|
1 |
|
|
|
|
|
|
|
lim (1 −ε |
|
|
)= |
|
1 |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
|
dx |
|
= lim ∫ |
|
dx |
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
1 |
|
|
|
1−α |
|
|
|
, |
α |
<1 |
. |
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= lim |
|
|
|
|
|
= |
|
|
|
|
|
|
|
1 − |
α |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
α |
|
|
x |
α |
|
1 −α |
|
ε |
1 −α |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ε→0 |
|
|
|
|
|
|
|
|
|
ε→0 |
|
|
|
|
ε→0 |
|
|
|
|
|
|
|
∞, α >1 |
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 dx |
|
|
0 |
|
|
|
|
|
|
1 dx |
|
ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Якщо α =1 , то ∫ |
|
|
|
|
= lim |
∫ |
|
|
|
|
= lim |
|
|
|
|
x |
|
|
= lim (0 − ln a) |
= ∞ – інтеграл розбіжний. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
ln |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
x |
|
|
|
|
|
a |
→0+ a |
|
x |
|
a→0+ |
|
|
|
|
|
|
a |
a→0+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
1 |
|
dx |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Отже, |
∫ |
|
|
|
|
|
|
|
|
|
, |
|
|
|
α |
<1 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
= |
1−α |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
x |
α |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
∞, |
|
α ≥1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Якщо функція |
|
f (x) , визначена на відрізку [a;b], має всередині цього відрізка n точок |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
розриву a1, a2 ,..., an |
|
другого роду, то інтеграл від функції |
f (x) |
на відрізку [a;b] визначається: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
b |
|
|
|
|
|
|
|
|
a1 |
|
|
|
|
|
|
|
|
|
|
|
a2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
∫f (x)dx = ∫f (x)dx + |
|
|
∫ |
|
f (x)dx +... + |
∫ f (x)dx , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
a |
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
a1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
якщо кожен з невласних інтегралів у правій частині збігається.
Якщо хоча б один з цих інтегралів є розбіжним, то інтегал ∫b f (x)dx теж розбіжний.
a
2.2. Ознаки збіжності невласних інтегралів другого роду
Для встановлення збіжності невласних інтегралів від розривних функцій і оцінки їх значень можна сформулювати теореми, аналогічні до теорем 1.1, 1.2, 1.3.

Теорема 2.1. Якщо на інтервалі [a; b) функції |
f (x) і g(x) неперервні, а в точці x = b мають |
|||||||||||||||||||||||
розрив і 0 ≤ f (x) ≤ g(x) , то |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
а) якщо інтеграл ∫b g(x)dx збіжний, то збігається і інтеграл ∫b |
f (x)dx ; |
|
|
|||||||||||||||||||||
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
б) якщо інтеграл ∫b |
f (x)dx розбіжний, то інтеграл ∫b g(x)dx також розбіжний. |
|
|
|||||||||||||||||||||
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
Теорема 2.2. Якщо |
f (x) – знакозмінна на відрізку [a, c] функція, розривна лише у точці c і |
|||||||||||||||||||||||
невласний інтеграл ∫c |
|
f (x) |
|
dx від абсолютної величини цієї функції збігається, то |
||||||||||||||||||||
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
збігається і інтеграл ∫c |
f (x)dx від самої функції. |
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
За функції, з якими зручно порівнювати функції, що стоять під знаком інтеграла, часом |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
c |
|
|
|
зручно брати |
1 |
. Легко переконатись (перевірити самостійно), що інтеграл ∫a |
dx |
|
||||||||||||||||||||
(c − x)α |
(c − x)α |
|||||||||||||||||||||||
збігається при α <1 і розбігається при α ≥1 . |
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Приклад 2.5. Дослідити на збіжність ∫1 |
3 |
x |
2 dx |
2x |
2 . |
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
+ |
|
|
|
|
|
|
|
||
Підінтегральна функція розривна в точці x = 0 . Тому, порівнюючи її з функцією |
1 , |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
x2 |
||
матимемо 3 |
|
|
1 |
|
2 < |
3 1 |
|
|
і інтеграл ∫1 |
3 dx2 |
= |
|
1 |
|
= 3 є збіжним (див. приклад 2.4.). Отже, |
|||||||||
|
2 |
|
|
|
2 |
|
|
2 |
||||||||||||||||
|
|
x |
|
+2x |
|
x |
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
0 |
|
|
1− 3 |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
збіжним є і ∫1 |
3 |
|
2 dx |
2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
0 |
|
x |
+ 2x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. Інтеграли, залежні від параметра. Гамма-функція |
|
|
|
|
||||||||||||||||||||
Нехай дано інтеграл I (α) = ∫b |
f (x,α)dx , в якому підінтегральна функція залежить від деякого |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
параметра α . Якщо змінюється параметр α , то буде змінюватись і значення визначеного
інтеграла. Таким чином, визначений інтеграл ∫b |
f (x,α)dx |
є функцією від α , тому ми |
a |
|
|
позначимо його через I (α) . Прикладом такого інтеграла є Гамма-функція. |
||
Розглянемо інтеграл, що залежить від параметра α : |
|
|
+∞∫xα−1e−x dx . |
|
(3.1) |
0 |
|
|
Покажемо, що при α > 0 цей інтеграл збіжний. Для цього подамо його у вигляді суми двох інтегралів
+∞∫xα−1e−x dx = ∫1 xα−1e−x dx + +∞∫xα−1e−x dx .
0 |
0 |
1 |
Для першого з інтегралів e−x |
≤1 при x [0;1], тому 0 ≤ xα−1e−x ≤ xα−1 і |
|
0 ≤ ∫1 xα−1e−x dx < ∫1 xα−1dx = 12 . |
||
0 |
0 |
|

Переконаємось, що збігається і інтеграл +∞∫xα−1e−x dx . Нехай n – ціле число, таке, що n >α −1 .
1
Тоді, очевидно, що
0 < +∞∫xα−1e−x dx < +∞∫xne−x dx < ∞.
1 1
Останній інтеграл обчислюють інтегруванням частинами n разів з врахуванням того, що
lim xk = 0 , k N .
x→+∞ ex
Отже, інтеграл (3.1) визначає деяку функцію, що залежить від α . Він позначається Γ(α) і
називається Гамма-функцією:
Γ(α) = +∞∫xα−1e−x dx .
0
Ця функція часто застосовується у спеціальних розділах математики. Покажемо зв'язок Гамма-функції Γ(n) та факторіала n!.
Інтегруючи частинами формулу (3.1), отримаємо
+∞ |
|
+∞ |
+∞ |
Γ(α) = ∫xα−1e−x dx = − xα−1e−x |
|
+(α −1) ∫xα−2e−x dx = |
|
|
|||
|
0 |
||
|
|||
0 |
|
|
0 |
= 0 +(α −1)+∞∫x(α−1)−1e−x dx = (α −1)Γ(α −1) , |
|||
0 |
|
|
|
або |
|
|
|
Γ(α) = (α −1)Γ(α −1) . |
|
|
(3.2) |
Повторно застосована для α = a + n , де 0 ≤ a <1, n N , ця формула дає
Γ(a + n) = (a + n −1)(a + n − 2)...(a +1)aΓ(a) ,
тобто значення Гамма-функції для довільного великого аргумента α може бути зведеним до значення функції для аргумента a з інтервалу 0 ≤ a <1, n N .
Якщо α набуває натуральних значень, то Гамма-функція має значення:
+∞
Γ(1) = ∫e−x dx =1,
0
та, згідно з (3.2):
Γ(2) =1 Γ(1) =1 ; Γ(3) = 2Γ(2) = 2 ; Γ(4) =3Γ(3) = 6 =3! ;… Γ(n) = (n −1)! .
Очевидно, що ця функція є в певному розумінні розширенням – на область довільних додатних значень аргумента – факторіала n!, визначеного лише для натуральних чисел.