Лекции 6.2 (ПМБД+ПМПМИ, 02.03.

2022) (1)
Математический анализ

НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ 1-го и 2-го РОДА

(интегралы с «особенностями»)
Определение:
А) Пусть функция ( ) [ ] Символ

∫ ( )

называется несобственным интегралом 1-ого рода от функции ( ).

Этот символ означает следующее:
1) если

( ) (∫ ( ) )

то говорят, что несобственный интеграл ∫ ( ) сходится к числу .

2) если

(∫ ( ) )

то говорят, что несобственный интеграл ∫ ( ) расходится.

Б) Пусть функция ( ) [ ] Символ

∫ ( )

называется несобственным интегралом 1-ого рода от функции ( ).

Этот символ означает следующее:
1) если

( ) (∫ ( ) )

то говорят, что несобственный интеграл ∫ ( ) сходится к числу .

2) если

(∫ ( ) )

то говорят, что несобственный интеграл ∫ ( ) расходится.


1
EXAMPLES: Исследовать сходимость x
1
p
dx ( ).
A
1
1) p  1 ,  x dx  ln x  ln A ,
A
1
1
 Лекции 6.2 (ПМБД+ПМПМИ, 02.03.2022) (2)
Математический анализ
A
1
при A    x dx  ln A  
1

1
 при p  1 x
1
p
dx – расходится.

A
1
A
1 1  1 
2) при p  1  p dx  x  p 1   1 p  1 .
1
x  p 1 1
1 p  A 

1 1 1
а) если 1  p  0 , то
A
 0 . Тогда
1 p A x
1
p
dx 
p 1
.

1 1
б) если p  1  0 , то
A
  
1 p A x
1
p
dx – расходится.

 1

1  , при p  1
 xp
dx   p  1
1 расходится при p  1

Замечание: Нижний предел можно заменить на любое число , это не
влияет на его сходимость.

2) (ВАЖНО!!!)

∫ ⏞ √ |
√
НО(!) как интеграл Римана определить нельзя, т.к. функция не является
√
ограниченной на [ ] т.е., на самом деле,

∫ √ | ( √ )
√
Определение:
А) Пусть функция ( ) [ ]
Тогда символ

∫ ( )

называется несобственным интегралом 2-ого рода,

1) если

(∫ ( ) )

то говорят, что ∫ ( ) сходится к числу и ∫ ( ) .

2) если
 Лекции 6.2 (ПМБД+ПМПМИ, 02.03.2022) (3)
Математический анализ

(∫ ( ) )

то говорят, что ∫ ( ) расходится.

Б) Пусть функция ( ) [ ]
Тогда символ

∫ ( )

называется несобственным интегралом 2-ого рода,

1) если

(∫ ( ) )

то говорят, что ∫ ( ) сходится к числу и ∫ ( ) .

2) если

(∫ ( ) )

то говорят, что ∫ ( ) расходится.

ЗАДАЧА: Исследовать сходимость

СВЕДЕНИЕ НЕСОБСТВЕННОГО ИНТЕГРАЛА 2-ОГО РОДА

К НЕСОБСТВЕННОМУ ИНТЕГРАЛУ 1-ГО РОДА
Пусть f  x  – интегрируема на  a; b  . Для исследования сходимости интеграла
b

 f  x  dx
a
сделаем замену:

1
t ,
xa
При x  a t   ,
1
при x  b t  ,
ba
1 1
x   a  dx   2 dt
t t
 Лекции 6.2 (ПМБД+ПМПМИ, 02.03.2022) (4)
Математический анализ
1
ba 
  1 
b
1 1 1

 f  x  dx   f   a    2  dt   f   a  2 dt .
a  t  t  1 t t
ba

 Таким образом, для исследования сходимости несобственного интеграла

2-го рода достаточно исследовать сходимость несобственного интеграла
1- го рода.

КРИТЕРИЙ КОШИ СХОДИМОСТИ

НЕСОБСТВЕННОГО ИНТЕГРАЛА 1-ОГО РОДА

Теорема 6.1: Пусть ( ) [ ] Тогда

∫ ( )

|∫ ( ) |

 A

Доказательство:  f  x  dx – сходится   lim  f  x  dx , то есть  lim F  A , где

A A
a a

( ) ∫ ( )

По критерию Коши существования предела : вы-

полняется | ( ) ( )| , но

( ) ( ) ∫ ( ) ∫ ( ) ∫ ( )

□
ПРИЗНАК СРАВНЕНИЯ СХОДИМОСТИ НЕСОБСТВЕННЫХ ИНТЕГРАЛОВ

Так как можно свести интеграл 2-ого рода к интегралу 1-ого рода, то поэтому
сформулируем основные свойства только для интеграла 1-ого рода.

Теорема 6.2 (мажорантный признак Вейерштрасса): Пусть ( ) ( )

[ ] и f  x   g  x  x   a;   .
Тогда
 

если 
a
g  x  dx – сходится, то сходится и  f  x  dx .
a
 Лекции 6.2 (ПМБД+ПМПМИ, 02.03.2022) (5)
Математический анализ

Замечание: аналогичный признак справедлив и для несобственных интегра-

лов второго рода.


Доказательство: Убедимся, что для  f  x  dx

a
выполняется критерий Коши.


Так как  g  x  dx
a
– сходится, то |∫ ( ) | .

Поскольку (см. Л.5.2) из интегрируемости ( ) следует интегрируемость

| ( )| справедливо

|∫ ( ) | ∫| ( )|

A2 A2 A2

и т.к. по условию теоремы  f  x  dx   f  x  dx   g  x  dx  

A1 A1 A1
( g  x   0 следует из

f  x  g  x )

 |∫ ( ) | то есть для  f  x  dx
a
выполня-

ется критерий Коши.

□
Следствие: Пусть f  x  и g  x  – непрерывны на  a;   и 0  f  x   g  x 
x   a;   .
 

Тогда если  f  x  dx
a
– расходится, то  g  x  dx
a
также расходится.
 

Доказательство: От противного: если 

a
g  x  dx сходится, то  f  x  dx
a
тоже схо-

дится, что противоречит условию.

□
EXAMPLES: Исследовать сходимость интегралов:
1)

∫
( )

dx
( )
[ ) и известно 
1
x2
– сходится  по признаку срав-

нения ∫ – сходится.
( )
2)
√
∫

Заметим, что
 Лекции 6.2 (ПМБД+ПМПМИ, 02.03.2022) (6)
Математический анализ

√
√
√
Но ∫ – расходится  по следствию из теоремы ∫ – расхо-
√
дится.

3)

[ )

∫ |

Значит, сходится.
4)

Значит, расходится.
5)

| |
Значит, сходится.

Признаки Абеля-Дирихле сходимости несобственных интегралов

Теорема 6.3 (б/д): Пусть для функций f  x  и g  x  выполняются условия

пункта (а) или (б):


а) (Абель)  f  x  dx
a
– сходится, g  x  – монотонная и ограниченная на  a;   ,
A

б) (Дирихле) функция F  A   f  x  dx – ограничена на  a;   и g  x  x

 0 , g  x –
a

монотонна.


Тогда  f  x  g  x  dx
a
– сходится.
 Лекции 6.2 (ПМБД+ПМПМИ, 02.03.2022) (7)
Математический анализ

АБСОЛЮТНАЯ И НЕАБСОЛЮТНАЯ СХОДИМОСТЬ

НЕСОБСТВЕННЫХ ИНТЕГРАЛОВ

 

Определение: Если  f  x  dx сходится, то говорят, что  f  x  dx сходится аб-

a a
 

солютно. Если же  f  x  dx
a
– сходится, но  f  x  dx
a
– расходится, то говорят,


что  f  x  dx
a
сходится неабсолютно (условно).

 

Утверждение 6.4: Если  f  x  dx – сходится, то  f  x  dx сходится.

a a

Доказать самостоятельно.

ВАЖНО(!!!): обратное утверждение – неверно.



COUNTEREXAMPLE (из сходимости несобственного интеграла  f  x  dx

a
не


следует сходимость интеграла  f  x  dx ):

a

sin x
Исследовать сходимость 
1
x
dx .

1
Для f  x   sin x и g  x   выполняются условия пункта (б).
x

( ) ∫ |

| ( )|

1 1 sin x
0 и

монотонна на 1;     dx – сходится.
x x x 1
x

sin x
Докажем, что 
1
x
dx – сходится неабсолютно.

 
sin x cos x
Аналогично сходимости 
1
x
dx доказывается сходимость 
1
x
dx .

  
sin x 2
1  cos 2 x 1 1 cos 2 x 
Рассмотрим 1
x
dx  
1
2x
dx 
2   x 
1
x 
 dx .
 2
sin x
Покажем, что 
1
x
dx – расходится.

   
sin x dx sin 2 x cos 2 x
Предположим, что 
1
x
dx сходится, тогда  1
x
 2
1
x
dx   1
x
dx ,

сходится сходится
 Лекции 6.2 (ПМБД+ПМПМИ, 02.03.2022) (8)
Математический анализ

dx
тогда 
1
x
– сходится. Значит, получаем противоречие.

sin 2 x
 
1
x
dx – расходится.

sin 2 x sin x
Так как sin 2 x  sin x   .
x x

sin 2 x
И по признаку сравнения из расходимости 
1
x
dx следует расходимость


sin x

1
x
dx .

EXAMPLE: (обобщение вышерассмотренных примеров)

(1) при сходится абсолютно (по Th 6.2)

(2) при сходится неабсолютно, поскольку по Th 6.3:
( ) ( )
Тогда
( ) ∫ – ограничена.
Функция ( ) монотонно стремится к 0 при
(3) Доказать, что при этот интеграл НЕ сходится абсолютно.
(4) Доказать, что при интеграл расходится.

Замечание: все утверждения, сформулированные для несобственных инте-

гралов 1-го рода, справедливы в соответствующей формулировке и для несоб-
ственных интегралов 2-го рода.

НЕСОБСТВЕННЫЙ ИНТЕГРАЛ В СЛУЧАЕ

НАЛИЧИЯ КОНЕЧНОГО ЧИСЛА «ОСОБЕННОСТЕЙ»

(А) («особенность» внутри промежутка) Пусть ( ) [ ] ( )

[ ] , где Тогда

∫ ( ) ∫ ( ) ∫ ( )

где каждый из двух полученных интегралов рассматриваем как несобствен-

ные интегралы 2-го рода. Тогда, если оба интеграла сходятся, то по определе-
нию считаем, что сходится и интеграл ∫ ( )
 Лекции 6.2 (ПМБД+ПМПМИ, 02.03.2022) (9)
Математический анализ

(Б) («особенность» на обоих концах промежутка) Пусть ( ) [ ]

, где Тогда ( )

∫ ( ) ∫ ( ) ∫ ( )

где каждый из двух полученных интегралов рассматриваем как несобствен-

ные интегралы 2-го рода. Тогда, если оба интеграла сходятся, то по определе-
нию считаем, что сходится и интеграл ∫ ( )
(В) (две «бесконечные особенности») Пусть ( ) [ ] То-
гда

∫ ( ) ∫ ( ) ∫ ( )

где каждый из двух полученных интегралов рассматриваем как несобствен-

ные интегралы 1-го рода. Тогда, если оба интеграла сходятся, то по определе-
нию считаем, что сходится и интеграл ∫ ( )
(Г) (конечное число «особенностей») Если ( ) определена на промежутке
( ) (причем возможно или ) и имеет конечное число «осо-
бенностей» , то интеграл

∫ ( )

представляется в виде суммы несобственных интегралов с одной «особенно-

стью», и тогда он сходится, если сходится каждый интеграл. Т.е. если суще-
ствуют и конечны все соответсвующие пределы при

EXAMPLE:

{
Значит, интеграл расходится.
Задача: Исследовать сходимость интеграла

∫
√
Указание: надо рассмотреть 6 случаев:
) ) ) ) ) )
Лекции 6.2 (ПМБД+ПМПМИ, 02.03.2022) (10)
Математический анализ