§2. Н Е С О Б С Т В Е Н Н Ы Е И Н Т Е Г Р А Л Ы Интегралы с бесконечными пределами (I рода)
Пусть функция у = f(x) интегрируема на любом отрезке [а,Ь]. Тогда несобственные интегралы с бесконечными пределами (или I рода) определяются следующим образом:
+оо |
6 |
6 |
|
6 |
[ f(x)dx= |
lim [ f(x)dx, |
[ f(x)dx= |
lim [ f(x)dx, (2.1) |
J |
6-H-oo J |
J |
|
a—>-oo J |
а |
а |
—оо |
|
a |
+oo |
|
с |
|
6 |
f |
f(x)dx= lim |
f f(x)dx+ |
lim |
f f(x)dx, |
J |
a—y—oo J |
b—>+ooJ |
—оо |
|
а |
|
с |
где с — произвольное число (обычно с = 0).
^ Несобственные интегралы I рода называются сходящимися, если существуют конечные пределы, стоящие в правых частях равенств (2.1). Если же указанные пределы не существуют или
бесконечны, то несобственные интегралы называются расходя-
щимися.
Вот некоторые признаки сходимости и расходимости несобственных
интегралов I рода:
1. Если на промежутке [а;+оо) непрерывные функции f(x) и <р(х) удовлетворяют условию 0 ^ f(x) ^ <р(х), то из сходимости интеграла
+оо |
|
+оо |
|
|
J <р(х) dx следует сходимость интеграла |
J f(x) dx, |
а из расходимо- |
а |
+оо |
а |
|
+оо |
сти интеграла |
J f(x) dx следует расходимость интеграла |
J <р(х) dx |
|
а |
|
|
а |
(«признак сравнения»). |
|
|
|
2. Если при х € [a;+oo), f(x) > 0, ср(х) > 0 и существует конечный |
предел lim |
= fc ^ 0, то интегралы J |
f(x)dx и |
J |
ip(x) dx схо- |
|
a |
|
a |
|
дятся или расходятся одновременно, («предельный признак сравнения»).
|
+оо |
3. Если сходится интеграл |
J \f(x)\dx, то сходится и интеграл |
+оо |
а |
J f(x) dx, который в этом случае называется абсолютно сходящимися.
|
|
+оо |
9.2.1. |
Вычислить несобственный интеграл |
J Щ или установить |
|
его расходимость. |
i |
О По определению несобственного интеграла I рода (2.1) имеем
1 |
х |
—Уоо J1 |
X |
b—too |
|
|
|
|
|
2 |
6 |
2 |
|
\ X/ll |
|
|
|
|
|
|
|
|
= lim |
+ |
lim |
( \ ) = 1, |
|
|
|
|
|
6—Уоо \ |
Ь/ b—>-oo VI/ |
интеграл сходится и его величина равна 1. |
+оо |
|
|
|
|
|
|
|
|
|
Замечание. Можно показать, что интеграл |
J |
^ , сходит- |
ся при а > 1 и расходится при а ^ 1. |
|
1 |
• |
Найти значение несобственных интегралов или установить их расходимость:
9.2.2.
9.2.4.
9.2.6.
9.2.7.
9.2.8.
+оо |
|
+оо |
J |
е - 4 х dx. |
9.2.3. |
|
J хе~х* dx. |
о |
|
|
о |
|
+оо |
|
+оо |
[ |
X In х |
9.2.5. |
J |
[ - 4 е — - |
J |
|
xVln X |
13 |
|
|
|
|
Исследовать сходимость несобственного интеграла j х cos xdx.
—оо
ОПо определению несобственного интеграла I рода
о |
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
/ х cos xdx = |
lim |
/ х cos xdx = |
|
|
|
|
|
|
|
|
|
J |
a—oo У |
|
|
|
|
|
|
|
|
|
|
|
|
|
U = X |
du = dx 1 |
= |
lim |
/ |
. |
0 , |
|
|
|
|°\ |
= |
dv = cos x dx |
l? = sinxj |
|
xsinx |
a |
-I-cosx |
la/ |
|
a—oo \ |
|
|
|
|
|
|
|
= 0 — |
|
lim |
a sin a -I-1 — |
lim |
|
cos a, |
|
|
|
a-*—oo |
|
|
|
|
|
a-*— oo |
|
интеграл расходится, т.к. |
lim |
a sin a, |
lim |
cos a |
не сущест- |
вуют (задача 6.4.125). |
a—• — oo |
|
|
a-* — oo |
|
|
|
|
|
• |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
о |
|
|
|
Исследовать сходимость несобственного интеграла |
J |
cos3xdx. |
|
|
|
|
|
|
|
|
|
|
—оо |
|
|
|
|
|
|
|
|
|
+оо |
|
|
|
|
|
|
|
Вычислить несобственный интеграл |
|
J |
^ ^ 2 • |
|
|
|
|
|
|
|
|
|
|
—оо |
|
|
|
|
|
|
|
|
О Подынтегральная функция / ( х ) = |
|
^ |
2 |
определена и не- |
прерывна на всей |
числовой оси. Кроме того, |
|
она |
является |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
381 |
четной. Следовательно,
оооо
|
|
|
|
J |
f(x)dx |
= |
2 J |
f(x)dx. |
|
|
|
|
|
|
|
|
-оо |
|
|
|
О |
|
|
|
|
|
|
|
Исходя из определения несобственного интеграла (2.1), имеем |
|
|
+оо |
, |
_ |
а |
, |
|
_ |
|
|
|
|
|
|
|
[ |
dx |
г |
ах |
|
|
|
|
|
|
|
|
J |
1 -I- X2 |
"" а-++оо У |
1 + х2 |
~~ |
|
|
|
|
|
|
|
|
|
|
|
|
= |
lim |
arctg х |
а |
7Г |
Л |
7Г |
|
|
|
|
|
|
|
= — — 0 = — , |
|
V3 |
|
|
|
|
|
|
а->+оо |
0 |
2 |
|
2 |
|
интеграл сходится. Следовательно, исходный интеграл также |
|
|
|
|
сходится и равен 7г. |
|
|
|
|
|
|
|
|
• |
9.2.9.Найти значение или установить расходимость несобственного
+оо |
|
|
|
|
|
|
|
|
интеграла J |
|
|
^ . |
|
|
|
|
|
1 |
|
|
|
|
|
+оо |
|
|
|
|
|
|
|
|
|
|
|
|
9.2.10. Исследовать на сходимость интеграл J |
^ dx. |
|
|
О Здесь f(x) |
= |
х* |
> 0 при х Е [1; -boo), при этом |
хз |
> |
|
|
+оо |
|
|
|
|
|
|
|
|
|
|
|
|
|
> -V = </>(х). Но интеграл f |
v x |
расходится так как |
|
хз |
|
|
|
J |
2 |
|
|
|
|
dx |
|
|
i ^ |
= 3 |
1 |
_ з = оо. |
|
|
|
- г = = |
|
lim З х з |
lim 6з |
|
|
г |
V X 2 |
|
|
1 |
|
6 _ н х > |
|
|
|
|
|
|
|
|
|
|
+оо |
|
|
Поэтому, согласно признаку сравнения, интеграл f |
ХЛ ^ dx |
|
|
|
|
|
|
|
J |
ух2 |
|
расходится. |
|
|
|
|
|
|
1 |
|
• |
|
|
|
|
|
|
|
|
9.2.11. Вычислить несобственный интеграл или установить его расхо- |
+оо |
|
|
|
|
|
|
|
|
|
|
дамость: Оj |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+оо |
|
|
|
|
|
|
9.2.12. Исследовать на сходимость интеграл |
J |
f |
- |
dx |
5 |
. |
|
|
|
|
|
|
2 -I- х -I- «эх |
|
|
|
|
|
1 |
|
|
|
|
|
|
О Здесь /(х) = тг |
|
Рассмотрим функцию (р(х) = |
х |
2+х+ох |
|
|
|
|
|
|
|
|
|
|
+оо |
|
|
|
|
|
|
|
|
|
|
интеграл от которой J |
Щ сходится (см. пример 9.2.1). А так |
как существует предел |
lim |
— |
|
lim |
- — — г = А^О, то |
J |
J |
у |
х-*+оо(р(х) |
|
-++оо 2+х+Зх |
5 |
з^ |
|
|
ж |
|
|
|
|
|
+оо |
|
|
|
|
|
|
|
|
|
|
|
также сходится («предель- |
исходный интеграл Jf |
|
2» "I- х "I- ox |
|
|
|
|
dx |
|
|
|
|
|
|
|
|
l |
|
|
|
|
|
|
|
• |
ный признак сравнения»). |
|
+oo |
|
|
|
|
|
|
|
|
|
|
|
|
9.2.13. Исследовать сходимость интеграла |
/ |
х |
л х j" ^—- dx. |
|
|
|
|
|
|
|
|
J |
+ 2х + 2 |
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
Дополнительные задачи
Вычислить следующие несобственные интегралы или установить их расходимость:
|
+Р° |
, |
|
|
|
|
+оо |
|
|
|
|
|
9.2.14. |
/ |
>f |
. |
9.2.15. |
|
/ |
„ |
d \ Г . |
|
{ X V 1 - 1 - х 2 |
|
У |
|
(1 + х ) у / х |
|
|
2 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
+оо |
|
|
|
|
|
О |
|
|
|
|
|
|
9.2.16. |
J 2х sin xdx. |
9.2.17. |
|
J |
xexdx. |
|
|
|
О |
|
|
|
|
|
—оо |
|
|
|
|
|
|
|
+оо |
|
|
|
|
|
+оо |
|
|
|
|
|
9.2.18. |
[ |
- 2 — р — — . |
9.2.19. |
У |
[ |
2e~S*dx. |
|
|
У х2 -I- 6x -I-12 |
|
|
|
|
|
|
|
Контрольные вопросы и более сложные задачи |
|
|
|
|
|
Исследовать на сходимость |
интегралы: |
|
|
|
|
|
|
|
|
|
+оо |
|
|
|
|
|
+оо |
|
|
|
|
|
9.2.20. |
[ |
x d x . |
9.2.21. |
{ |
[ |
&&&dx. |
|
|
J |
y/x6 + 2 |
|
|
x |
|
|
|
|
|
+oo |
4 |
|
|
|
|
+00 |
|
|
|
|
|
9.2.22. |
у |
e~4x cos 2x dx. |
9.2.23. |
|
J |
|
|
|
|
|
|
|
о |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
+oo |
|
|
|
|
+oo |
|
|
|
|
|
9.2.24. |
f |
s - M |
. |
9.2. . |
f |
f |
|
2 2jL13 |
f ° |
s x |
dx. |
[ |
+ 8 |
|
. .25. |
|
|
+ |
x |
|
|
jf |
Vx 2 |
|
|
/ |
|
|
|
|
|
|
+ 00 |
|
|
|
|
+00 |
|
|
|
|
|
9.2.26. |
f |
V 2 -I- X3 |
9.2.27. |
[ |
|
|
— ^ |
|
|
У |
|
J |
|
x + cos* |
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
9.2.28. |
J |
Vx 2 |
+ 2x + x3 |
9.2.29. |
T ^ L t ^ L d x . |
|
|
/ |
|
|
x |
|
|
|
|
+оо |
|
|
|
|
|
|
|
+оо |
|
9.2.30. |
[ |
— |
|
Щ |
. |
9.2.31. |
|
f |
Щр-dx. |
|
J |
x2 + |
Vx 4 + 2 |
|
|
1 |
* |
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
+ 00 |
|
|
|
|
|
|
+00 |
|
9.2.32. |
f |
« + 2У5+1 da. |
9233 |
f |
dx, |
|
J/ |
x + |
V^^TTУх+1 |
' |
|
// |
Vл (/» -^2 )Г( ® - 3 ) ( ® - 4 ) |
|
|
22 |
|
2 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
5 |
|
9.2.34. |
+oo |
|
|
|
|
|
|
+oo |
|
J |
^fdx. |
|
|
|
|
9.2.35. |
|
J |
e~x sin xdx. |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
о |
|
|
+00 |
|
|
|
|
|
|
|
|
+oo |
|
9.2.36. |
J |
|
|
|
a. |
|
9.2.37. |
|
J |
^ arctg xdx. |
|
л/3 |
|
|
|
|
|
|
|
1 |
|
|
+00 |
|
|
|
|
|
|
|
|
+oo |
|
9.2.38. |
f |
l^bx |
|
dx. |
|
9.2.39. |
|
У |
f T^rdx. |
|
J |
1 + x4 |
|
|
|
|
|
1 + x2 |
|
о |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
+00 |
|
|
|
9.2.40. |
Доказать, что интеграл |
j sin(x2) dx сходится. |
|
|
|
|
|
|
|
|
о |
|
|
|
+oo
9.2.41. Доказать, что интеграл «вероятностей» J е~х2 dx сходится.
о
Исследовать |
сходимость |
следующих интегралов: |
|
+оо |
|
+оо |
9.2.42. |
J |
sin i d x . |
9.2.43. |
J xxe~x^ dx. |
|
о |
|
|
|
1 |
|
+oo |
|
|
9.2.44. |
Jf |
X |
,In x InЛIn X . |
|
|
e2 |
|
|
|
+00 |
|
|
|
|
|
9.2.45. |
При каких значениях а интеграл |
J xa dx сходится? |
Интегралы от неограниченных функций (II рода)
Если функция у = /(х) непрерывна в промежутке [а; Ь) и имеет разрыв П-го рода (см. Главу 6, § 5) при х = 6, то несобственный интеграл от неограниченной функции (II рода) определяется следующим образом:
ЬЬ-е
[f(x)dx= lim |
[ f(x)dx. |
(2.2) |
J |
6—J |
|
aa
^Если предел, стоящий в правой части равенства (2.2), существует, то несобственный интеграл II рода называется сходящимся] в противном случае — расходящимся.
Аналогично, если функция у = *у(х) терпит бесконечный разрыв в
точке х = а, то полагают
6 |
ь |
|
J f(x)dx = lim |
J f(x)dx. |
(2.3) |
a |
a+e |
|
Если функция у = f(x) терпит разрыв 11-го рода во внутренней точке
с £ [а; 6], то несобственный интеграл второго рода определяется форму-
лой |
b |
o |
b |
|
j |
f(x)dx = j f(x)dx + j f(x)dx. |
(2.4) |
а |
а |
|
с |
|
В этом случае интеграл называется сходящимся, если оба несобственных интеграла, стоящих справа, сходятся.
Приведем некоторые признаки сходимости и расходимости для несобственных интегралов второго рода.
1. Если на промежутке [а;Ь) функции f(x) и <р(х) непрерывны, при х — Ь терпят разрыв И-го рода и удовлетворяют условию 0 ^ f(x) ^ (р(х),
|
|
|
|
ь |
|
|
|
|
то из сходимости интеграла |
/ ip(x)dx |
следует |
сходимость интеграла |
Ь |
|
|
|
I |
|
ь |
|
|
J f(x)dx, а |
из |
расходимости |
интеграла |
j f(x)dx |
следует |
расходимость |
а |
р |
|
|
|
|
а |
|
|
интеграла |
/ ip(x)dx («признак сравнения»). |
|
|
а |
|
|
|
|
|
|
|
2) Пусть функции f(x) и ip(x) |
непрерывны на промежутке [а;Ь) и |
в точке х |
= |
b терпят разрыв П-го рода. Если существует предел |
lim |
= fc, 0 < А: < оо, то интегралы J f(x) dx и J ip(x) dx сходятся |
|
|
|
|
|
|
a |
a |
|
или расходятся одновременно («предельный признак сравнения»). |
3) Если функция /(х), знакопеременная на отрезке [а; 6], имеет раз- |
|
|
|
|
|
|
|
6 |
|
рыв в точке х |
= 6, и несобственный интеграл |
/ \f(x)\dx |
сходится, то |
|
|
|
6 |
|
|
|
а |
|
сходится и |
интеграл j f(x) dx. |
|
|
|
|
|
|
|
а |
|
|
|
|
|
Замечание. В качестве эталона для сравнения функций часто берут |
функцию (р(х) |
= |
^ — х)а ' М ° ж н о показать, что несобственный интеграл |
|
f |
d |
x |
|
сходится при а < 1 и |
|
|
J |
(Ь — х) |
|
расходится при а ^ 1. |
v 7 |
|
а |
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
Это же относится и к интегралам J |
^ |
• |
|
|
|
|
|
|
|
|
|
|
385 |
25-2361 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
9.2.58. |
Исследовать на сходимость интеграл J |
2 |
|
|
|
• |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
О |
Подынтегральная функция /(х) |
= |
|
д |
^ |
|
$ р а з р ы в н а в |
|
|
|
|
|
|
|
|
|
|
|
|
«Зх |
|
"у х |
|
|
точке х |
= 0. Сравним ее с функцией ip(x) |
= |
|
Так как |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
3 2 ^ |
|
|
^ |
нес°^ственны^ интвгр^ J |
|
о |
сходится |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(см. (2.5)). Следовательно, интеграл |
f |
|
д dx |
к |
|
|
по признаку |
|
|
|
|
|
|
|
|
|
|
J |
Зх + |
\/х |
|
|
сравнения также сходится. |
о |
|
|
|
|
|
# |
|
|
|
|
|
|
|
|
Исследовать |
сходимость |
несобственных интегралов: |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
9.2.59 |
[^ |
d—x . |
|
о9.о2.АП60. |
f ( ^dx_ |
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
J |
|
|
y\-x* |
|
|
|
|
у/х |
-х2 |
|
|
|
|
|
|
|
|
Дополнительные задачи
Вычислить несобственные интегралы или мость:
|
|
|
* |
|
|
|
|
|
|
|
9 - 2 - 6 1 ' |
|
/ 1 + f e s F |
|
|
9.2.62. |
|
3i |
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
2,5 |
|
|
|
|
|
|
|
9.2.63. |
|
J |
[ |
|
# |
|
-. |
|
9.2.64. |
|
|
|
x2 - 5x + 6 |
|
|
|
|
- l |
|
|
|
|
|
|
|
|
|
|
0 |
n |
|
|
|
|
|
|
9 . 2 . 6 5 . |
|
|
J |
eldx |
|
|
g 2 m |
|
-ЦГ2 |
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
9.2.67. |
/ |
[ |
|
, |
dx |
. |
9.2.68. |
|
|
xy/Sx2 |
- 2x - 1 |
|
установить их расходи-
f
6i / tg xdx.
2
У/ x2 - 1
_L_
In 2 1
J e|d£
0
2
[ , 2 d x
{y / ( x - l ) ( 2 - x )
Контрольные вопросы и более сложные задачи
Исследовать несобственные интегралы на сходимость:
|
|
1 X |
|
|
1 |
9.2.69. |
J |
f-^—dx. |
9.2.70. |
J |
[mMdx. |
|
sinf |
|
Vx2 |
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
9.2.71. |
[ „ dx |
. |
9.2.72. |
[ |
|
|
— cosx |
. |
|
|
v |
J |
t g x - x |
|
|
J e |
|
|
|
|
|
0 |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
3 |
|
|
|
7 |
|
|
|
|
|
|
|
|
9.2.73. |
[ |
|
|
9.2.74. |
[ -7 |
|
0 |
|
|
|
o 4 / - |
. |
|
У |
lnx |
|
|
y v x+ |
2 v z + |
3 v z |
|
|
1 |
|
|
|
о |
|
|
|
|
|
|
|
|
9.2.75. |
r c o s f x - т ) |
9.2.76. |
Г |
|
A<r |
|
|
|
|
|
|
/ |
\fi |
47 dx. |
/ ^ r ^ — • |
|
|
|
|
|
I |
|
|
J |
e ^ |
- 1 |
|
|
|
|
|
|
о |
|
|
|
о |
|
|
|
|
|
|
|
|
|
l |
|
|
|
|
l |
|
|
|
|
|
|
|
|
9.2.77. |
J |
a > 0. |
9.2.78. |
J |
|
|
|
|
|
|
|
|
|
o |
|
|
|
о |
|
|
|
|
|
|
|
|
9.2.79. |
J s i n ^ - J f . |
9.2.80. |
Jn |
= |
j (lnx)n dx, |
n G N. |
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
|
|
^ dx. |
|
|
.2.81. |
J= |
j In sin x dx. |
9.2.82. |
|
|
J |
^ |
^ |
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
9.2.83. |
Доказать, что интеграл J |
^ _ |
_ ^, где о < Ь, расходится. |
|
|
|
a |
|
7Г |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
9.2.84. |
При каких значениях а интеграл |
[ —гЩ— сходится? |
|
|
|
|
|
у sin |
X |
|
|
|
|
|
|
|
|
|
|
|
о |
|
|
+оо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
9.2.85. |
Доказать, что интеграл |
Эйлера |
Г(а) |
= |
j |
|
е~хха~1 dx, где |
о
a > 0, сходится.
§3. ПРИЛОЖЕНИЯ ОПРЕДЕЛЕННОГО ИНТЕГРАЛА Вычисление площадей плоских фигур
Все подынтегральные функции, встречающиеся в этом параграфе, предполагаются непрерывными.
Вычисление площадей плоских фигур основано на геометрическом смысле определенного интеграла. Площадь криволинейной трапеции, ограниченной сверху графиком функции у = /(х) ( / ( х ) ^ 0), слева и справа соответственно прямыми х = а и х = 6, снизу — отрезком [а; Ь] оси Ох (см. рис. 89), вычисляется по формуле