- •МНОЖЕСТВА И ФУНКЦИИ. ДЕЙСТВИТЕЛЬНЫЕ ЧИСЛА
- •1.2 ПОНЯТИЕ ФУНКЦИИ
- •1.4 ТОПОЛОГИЯ ЧИСЛОВОЙ ПРЯМОЙ. РАСШИРЕННАЯ ЧИСЛОВАЯ ПРЯМАЯ
- •ПРЕДЕЛ ПОСЛЕДОВАТЕЛЬНОСТИ
- •2.1 ПРЕДЕЛ ЧИСЛОВОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
- •2.2 ЛЕММА О ВЛОЖЕННЫХ ОТРЕЗКАХ. ТЕОРЕМА ВЕЙЕРШТРАССА
- •2.3 МОНОТОННЫЕ ОГРАНИЧЕННЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ
- •2.4 КРИТЕРИЙ КОШИ
- •ПРЕДЕЛ ФУНКЦИИ
- •3.1 ПРЕДЕЛ ФУНКЦИИ. СВОЙСТВА ПРЕДЕЛОВ ФУНКЦИИ. ПЕРВЫЙ ЗАМЕЧАТЕЛЬНЫЙ ПРЕДЕЛ
- •3.2 КРИТЕРИЙ КОШИ СУЩЕСТВОВАНИЯ ПРЕДЕЛА ФУНКЦИИ
- •3.3 МОДИФИКАЦИЯ ПОНЯТИЯ ПРЕДЕЛА ФУНКЦИИ В ТОЧКЕ
- •3.4 ВТОРОЙ ЗАМЕЧАТЕЛЬНЫЙ ПРЕДЕЛ
- •3.5 ПОРЯДОК ФУНКЦИИ. ЭКВИВАЛЕНТНОСТЬ (АСИМПТОТИКА)
- •НЕПРЕРЫВНЫЕ ФУНКЦИИ
- •4.2 ТОЧКИ РАЗРЫВА
- •4.3 СВОЙСТВА ФУНКЦИЙ, НЕПРЕРЫВНЫХ НА ОТРЕЗКЕ
- •4.4 РАВНОМЕРНАЯ НЕПРЕРЫВНОСТЬ. ПРОДОЛЖЕНИЕ ПО НЕПРЕРЫВНОСТИ
- •4.5 НЕПРЕРЫВНОСТЬ ОБРАТНОЙ ФУНКЦИИ
- •4.6 ПОКАЗАТЕЛЬНАЯ ФУНКЦИЯ. ЛОГАРИФМИЧЕСКАЯ, СТЕПЕННАЯ, ГИПЕРБОЛИЧЕСКИЕ ФУНКЦИИ
- •ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
- •5.2 ДИФФЕРЕНЦИРУЕМЫЕ ФУНКЦИИ. ДИФФЕРЕНЦИАЛ ФУНКЦИИ
- •5.3 ТЕХНИКА ДИФФЕРЕНЦИРОВАНИЯ
- •5.5 ОСНОВНЫЕ ТЕОРЕМЫ
- •5.6 ПРАВИЛО ЛОПИТАЛЯ
- •5.7 ФОРМУЛА ТЕЙЛОРА
- •5.8 ФОРМУЛА ТЕЙЛОРА ДЛЯ НЕКОТОРЫХ ЭЛЕМЕНТАРНЫХ ФУНКЦИЙ
- •5.9 ЛОКАЛЬНАЯ ФОРМУЛА ТЕЙЛОРА
- •5.10 РЯД ТЕЙЛОРА
- •ПЕРВООБРАЗНАЯ И НЕОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
- •6.3 ОТЫСКАНИЕ ПЕРВООБРАЗНЫХ ДЛЯ РАЦИОНАЛЬНЫХ ФУНКЦИЙ
- •ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
- •7.2 ВЕРХНИЕ И НИЖНИЕ ИНТЕГРАЛЬНЫЕ СУММЫ
- •7.3 НЕОБХОДИМОЕ И ДОСТАТОЧНОЕ УСЛОВИЕ ИНТЕГРИРУЕМОСТИ ФУНКЦИИ ПО РИМАНУ
- •7.4 НЕКОТОРЫЕ КЛАССЫ ИНТЕГРИРУЕМЫХ ФУНКЦИЙ
- •7.5 ОСНОВНЫЕ СВОЙСТВА ИНТЕГРАЛА РИМАНА
- •7.6 СВОЙСТВА ИНТЕГРАЛА РИМАНА, В КОТОРЫХ ФИГУРИРУЮТ НЕРАВЕНСТВА
- •7.7 ИНТЕГРАЛ КАК ФУНКЦИЯ ВЕРХНЕГО ПРЕДЕЛА
- •7.8 ФОРМУЛА НЬЮТОНА-ЛЕЙБНИЦА
- •7.9 ОБЩИЕ ПРИЕМЫ ИНТЕГРИРОВАНИЯ
- •7.10 НЕКОТОРЫЕ ПРИЛОЖЕНИЯ ИНТЕГРАЛА РИМАНА
- •НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ
- •8.2 НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ ОТ НЕОТРИЦАТЕЛЬНЫХ ФУНКЦИЙ
- •8.3 ИНТЕГРИРОВАНИЕ ПО ЧАСТЯМ
- •8.4 НЕСОБСТВЕННЫЙ ИНТЕГРАЛ И РЯД
Глава 8 НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ
§8.1 Определения несобственных интегралов и некоторые общие свойства несобственных интегралов.
§8.2 Несобственные интегралы от неотрицательных функций.
§8.3 Интегрирование по частям.
§8.4 Несобственный интеграл и ряд.
§8.5 Несобственный интеграл с особенностями в нескольких точках.
§8.1 ОПРЕДЕЛЕНИЯ НЕСОБСТВЕННЫХ ИНТЕГРАЛОВ И НЕКОТОРЫЕ ОБЩИЕ
СВОЙСТВА НЕСОБСТВЕННЫХ ИНТЕГРАЛОВ
Определение 1. |
Выражение |
b |
называется |
R f(x)dx |
a
интегралом (от f) с особенностью в точке b, если выполняются следующие условия:
1.b – конечная точка; функция f интегрируема на [a; b0] при любом b0 2 (a; b); f не ограничена в окрестности точки b.
2. b = +1; функция f интегрируема на [a; b0] при любом b0 > a.
b
Замечание. Аналогично интегралу R f(x)dx, с особенностью в точке b, определяется интеграл сaособенностью
вточке a. Только теперь:
1.a – конечная точка; если a < b, то f интегрируема на любом [a0; b], где a < a0 < b и не ограничена в окрестности точки a.
2.a = 1; f интегрируема на любом [a0; b]; a0 < b.
161
b
Определение 2. Если R f(x)dx имеет особенность в точке
b (согласно определениюa 1(1)) и если существует предел
b0
lim R f(x)dx, то этот предел называется несобственным
b0!b a
интегралом от f на [a; b] и записывается в виде:
+ |
1 |
b0 |
|
Za |
Za |
|
|
f(x)dx = b0!b |
|
||
|
lim |
f(x)dx; |
|
|
|
+1 |
f(x)dx сходится |
при этом говорят, что интеграл R |
a
(существует). В противном случае говорят, что он расходится (не существует).
Замечание. Функция f в обычном смысле (Римана) не интегрируема на [a; b], так как она не определена в окрестности точки b.
b
Определение 3. Если R f(x)dx имеет особенность в точке
b (согласно определениюa 1(2)) и если существует предел
b0
lim R f(x)dx, то этот предел называется несобственным
b0!+1 a
интегралом отf на [a; +1) и записывается в виде:
b |
b0 |
Za |
f(x)dx = b0!+1 Za |
|
lim f(x)dx; |
1
при этом говорят, что интеграл R f(x)dx сходится (существует).
a
В противном случае говорят, что он расходится (не существует). Замечание. Аналогичным образом определяется несобственный интеграл с особенностью в точке a (a – конечная
точка, a = 1):
b |
f(x)dx = a0 |
b |
Z |
!a Z |
|
|
lim f(x)dx; |
|
a |
|
a0 |
162
b |
b |
Z |
f(x)dx = a0! 1 Z |
|
lim f(x)dx: |
1 |
a0 |
Для определения везде в дальнейшем мы будем рассматривать
b
R f(x)dx с единственной особенностью в точке b, конечной или
a
бесконечной. Все выводы по аналогии могут быть перенесены на случай интеграла с единственной особенностью в точке a.
Примеры.
1. |
1 |
dx, |
где |
|
> |
|
0 |
постоянное |
число. Данный |
интеграл |
||||||||||||||||||
R |
|
|
||||||||||||||||||||||||||
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
имеет единственную особенность в точке x = 0. Вычислим |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
предел |
"!0 |
x |
= |
"!0 |
1 |
x 1 |
"= |
|
|
|
1 |
|
|
|
|||||||||||||
|
" |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
lim |
R |
dx |
|
|
lim |
1 |
|
|
1 |
|
|
|
lim |
|
|
1 |
(1 |
|
"1 ) = |
||||
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
; |
|
если < 1; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
= |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
если > 1: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
+1; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
lim |
dx = |
|
lim ln " = + |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
"!0 R" |
x |
|
"!0 |
1 |
dxx |
1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
Таким образом, |
0 |
сходится при < 1 и равен ( 1) 1 и |
|||||||||||||||||||||||||
|
расходится при |
R |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N |
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
; |
если > 1; |
|||||
2. |
x |
|
|
|
|
|
= |
1 N!1 |
|
|
|
+ |
|
|
||||||||||||||
1 |
= N!+1 1 |
x |
|
|
|
|
; |
если < 1: |
||||||||||||||||||||
|
R |
dx |
|
lim |
NR |
dx |
|
1 |
|
lim |
x1 |
|
= |
|
1 |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|||||||||
|
1 dx |
= |
lim |
|
dx |
= lim ln N = + |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
R1 |
x |
|
|
x |
. |
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
N!1 R1 |
|
|
|
N!1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
1
Таким образом, R dxx сходится при > 1 и равен ( 1) 1 и
1
расходится при 1.
b
Теорема 1 (Критерий Коши). Пусть задан R f(x)dx с
a
единственной особенностью в точке b. Для существования данного интеграла необходимо и достаточно выполнение
163
следующего условия: 8 " > 0 9 b0 < b 8 b0; b00
(b0 < b0 < b00 < b):
b00
Z
f(x)dx < ":
|
|
|
|
|
b0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
f(t)dt; |
|
|
|
|
|
Рассмотрим функцию F (x) = |
|||||||
Доказательство. |
|
|
|
b |
|
Ra |
|
|
|||
a < x < b. Существование |
|
|
f(t)dt эквивалентно существо- |
||||||||
ванию lim |
F (x), |
что, в |
Ra свою очередь, |
эквивалентно |
|||||||
|
x!b 0 |
|
|
|
|
|
|
|
b8 b0; b00 |
|
|
выполнению условия Коши: 8 " > 0 9 b0 < |
(b0 < |
||||||||||
b0 < b00 < b): |
|
|
jF (b00) F (b0)j < ": |
|
|
|
|||||
|
|
|
|
|
|
|
|||||
Так как |
|
|
|
|
b00 |
|
b |
, то теорема доказана. |
|
|
|
|
|
|
b0 |
|
|
|
|||||
|
F (b00) |
|
F (b0) = f(t)dt |
|
|
|
|
||||
Замечание. Пусть |
задан |
|
f(x)dx, имеющий единственную |
||||||||
R |
Ra b |
|
|
|
|
||||||
|
|
|
|
|
|
f(x)dx, где a < c < b, также |
|||||
особенность в точке b. Тогда |
|
||||||||||
|
|
|
|
|
|
|
c |
|
|
|
|
имеет единственную |
особенность в точке b, и так как условие |
||||||||||
|
|
|
R |
|
|
|
|
критерия Коши для приведенных интегралов формулируется совершенно одинаково, то они или одновременно сходятся или одновременно расходятся.
Теорема 2. Если |
интегралы |
b |
|
|
b |
|
|
||||
f(x)dx; |
|
'(x)dx |
|||||||||
сходятся |
(особенность |
в точке |
b), |
Raто |
|
сходитсяRa |
также |
||||
|
|
b |
B'(x))dx |
|
A; B |
|
постоянные) |
|
|||
|
|
(Af(x) + |
|
|
|
||||||
интеграл |
Ra |
b |
( |
|
|
– |
|
b |
|
и |
|
справедливо равенство |
(Af(x) + B'(x))dx = A |
Ra |
f(x) + |
||||||||
b |
|
|
Ra |
|
|
|
|
|
|
|
|
+B Ra |
'(x)dx. |
|
|
|
|
|
|
|
|
|
164
Доказательство. |
b |
|
|
b0 |
||
(Af(x)+B'(x))dx = lim |
(Af+B')dx = |
|||||
b0 |
|
Rb0 |
b |
b |
R |
|
b0!b Ra |
|
a |
Ra |
b0!b a |
||
b0!b Ra |
Ra |
|
|
|||
= A lim |
fdx + B lim |
'dx = A f(x) + B |
'(x)dx. |
|
b
Определение 4. R f(x)dx (имеющий особенность в точке b)
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
сходится абсолютно, если сходится интеграл a jf(x)jdx. |
|
|
|
||||||||||||
|
Теорема 3. Абсолютно сходящийся |
интеграл сходится. |
|||||||||||||
|
|
R |
|
|
|
|
|
||||||||
|
Доказательство. Из |
сходимости |
b |
|
dx следует: |
|
|
|
|||||||
|
Ra |
f |
|
" > |
|||||||||||
0 9 b0 2 (a; b)8 b0; b00(b0 < b0 < b00 < b): |
j j |
|
|
|
8 |
|
|
||||||||
|
|
|
|
|
b00 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z |
jf(x)jdx < ": |
|
|
|
|
|
|
|
||
|
|
bb000 |
|
b0 |
|
|
|
|
|
f(x)dx < ". |
|||||
Отсюда, так как |
f(x)dx bb000 jf(x)jdx, следует bb000 |
||||||||||||||
|
|
R |
|
|
b |
|
R |
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Мы получили, что |
для |
f(x)dx выполняется условие |
критерия |
||||||||||||
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сходится. |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Коши, а значит, он |
|
|
R |
|
|
|
|
|
|
|
|
|
|
||
|
Замечание. |
Для |
|
абсолютно |
сходящегося |
интеграла |
|||||||||
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ra |
f(x)dx справедливо неравенство: |
|
|
|
|
|
|
|
|
bb
ZZ
fdx jfjdx:
aa
Действительно, |
b0 |
fdx b0 |
jfjdx: После перехода к пределу при |
|
|
R |
|
R |
|
|
|
|
|
|
|
a |
|
a |
|
b0 ! b получим нужное |
неравенство. |
165