- •МНОЖЕСТВА И ФУНКЦИИ. ДЕЙСТВИТЕЛЬНЫЕ ЧИСЛА
- •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.2 НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ ОТ НЕОТРИЦАТЕЛЬНЫХ ФУНКЦИЙ
Пусть f(x) |
|
0 на [a; b] и |
b |
f(x)dx имеет единственную |
|
|
Ra |
||||
|
|
b0 |
особенность в точке b. Тогда функция F (b0) = R f(x)dx (a < b0 <
a
b) от b0 не убывает, и, следовательно, если F (b0) M 8 b0 2 (a; b), то существует интеграл
Za |
b |
!b |
b0 |
|
|
f(x)dx = b0 |
Za |
M: |
|||
|
lim |
f(x)dx |
|
Если же F (b0) не ограничена, то интеграл расходится:
Za |
b |
!b |
b0 |
1 |
|
f(x)dx = b0 |
Za |
: |
|||
|
lim |
f(x)dx = + |
|
При этом пишут (только в случае f(x) 0 на [a; b) ):
b
Z
f(x)dx < 1; если интеграл сходится;
a
b
Z
f(x)dx = +1; если интеграл расходится;
a
Теорема 1. Пусть интегралы
b b
ZZ
|
f(x)dx; '(x)dx |
a |
a |
имеют единственную |
особенность в точке b и на [a; b) |
справедливо неравенство
0 f(x) '(x):
166
Тогда из сходимости |
b |
|
|
|
|
|
b |
|
'(x)dx следует сходимость f(x)dx и |
||||||||
|
|
a |
|
|
|
|
|
a |
справедливо |
неравенство |
|
|
|
|
|
R |
|
|
R |
|
|
|
|
|
||
|
|
b |
b |
|
|
|
|
|
|
Z |
Z |
|
|
|
|
|
|
|
|
f(x)dx '(x)dx; |
|
|
|
|||
|
a |
|
a |
|
|
|
|
|
|
b |
|
|
|
|
|
b |
|
|
f(x)dx |
|
расходимость '(x)dx. |
|||||
а из расходимости Ra |
|
следует |
|
f(x) |
|
'(x)Ra |
|
|
Доказательство. Из неравенства |
|
следует, что |
||||||
для любых b0 2 (a; b): |
b0 |
b0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
ZZ
|
|
|
|
|
f(x)dx |
'(x)dx: |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
a |
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
b0 |
|
b |
|
|
|
|
|
|
|
Еслиb0 |
теперь Ra |
'(x)dx сходится, то Ra |
f(x)dx Ra |
'(xb)0 |
dx, а так |
|||||||||||||||
как |
Ra |
|
f(x)dx при возрастании b0 не убывает, то lim |
f(x)dx = |
||||||||||||||||
b |
|
|
|
b |
|
Если |
|
b |
|
b0!b |
Ra |
|
|
|
|
|
||||
f(x)dx |
|
'(x)dx |
|
|
Ra |
f(x)dx |
расходится, |
|
|
|||||||||||
Ra |
b0 |
|
|
|
Ra |
. |
|
|
b0 |
же |
1. |
b |
|
|
|
|
|
т. е. |
||
blim0 b |
|
f(x)dx = +1, то blim0 b |
'(x)dx b |
|
|
|
|
|
|
|
||||||||||
! a |
|
|
|
|
|
! a |
|
= + |
|
|
|
|
|
имеют |
||||||
|
RТеорема 2. Пусть |
|
интегралы |
|
f(x)dx; |
'(x)dx |
||||||||||||||
|
|
|
|
R |
|
a |
|
a |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
на |
|
|
|||
единственную особенность в точке Rb; f(x); '(R |
> 0 |
[a; b) |
||||||||||||||||||
и существует предел |
|
|
|
|
|
|
|
x) |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
lim |
f(x) |
= A > 0: |
|
|
|
|
|
|
(1) |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
x!b '(x) |
|
|
|
|
|
|
|
|
|
|
|
Тогда эти интегралы одновременно сходятся или одновременно расходятся.
Доказательство. Из (1) следует, что для8 " > 0 9 c 2 [a; b) такое, что
A " < f(x) < A + "; (c < x < b): '(x)
167
Отсюда, так как '(x) > 0, следует |
|
|
(A ")'(x) < f(x) < (A + ")'(x); (c < x < b): |
(2) |
|
b |
b |
|
Из сходимости R '(x)dx ) сходимость R '(x)dx; ) сходимость
|
|
|
a |
|
|
|
|
|
|
c |
|
|
|
|
|
b |
(A + ")'(x) |
b |
|
) (по |
теореме |
1)) сходимость |
b |
) |
|||||||
Rc |
|
Rcb |
|||||||||||||
|
dx; |
|
|
|
|
|
|
|
|
|
|
f(x)dx; |
|
||
сходимость |
Rab |
f(x)dx |
|
|
|
|
|
сходится |
|
f(x)dx; |
|
||||
сходимость |
|
|
. |
|
Далее, |
пусть |
b |
|
|
|
Ra |
) |
|||
|
f(x)dx; |
|
|
сходимость |
Rc |
(A |
|
")'(x)dx; |
|
||||||
|
bRc |
|
|
|
) |
|
b |
|
|
|
|
) |
сходимость R '(x)dx; ) сходимость R '(x)dx.
c a
Замечание 1. Теорема 2 может быть обобщена следующим образом. Пусть f(x) и '(x) удовлетворяют условиям теоремы 2 и (x) – непрерывная и неотрицательная на [a; b) функция. Тогда
интегралы |
b |
b |
'(x) (x)dx одновременно сходятся |
||
f(x) (x)dx и |
R |
||||
или |
|
R |
|
|
|
|
|
a |
a |
|
|
|
одновременно расходятся. |
|
|||
|
Доказательство замечания 1 следует из неравенства |
||||
|
(A ")'(x) (x) f(x) (x) (A + ")'(x) (x); |
||||
которое вытекает из неравенства (2). |
|
||||
|
Замечание 2. Если в |
теореме 2 |
A = 0, то сходимость |
||
b |
|
|
|
b |
|
'(x)dx влечет сходимость |
f(x)dx. |
|
|||
Ra |
Доказательство. Из (2) |
a |
получаем |
||
Rпри A = 0 |
f(x) < " '(x); (c < x < b):
Из этого неравенства следует утверждение замечания 2.
Замечание 3. В теореме 2 можно считать, что только одна из функций f(x) или '(x) положительна на [a; b).
Доказательство. Из (2), так как " < A, следует, что если '(x) > 0, то и f(x) > 0, а также наоборот: если f(x) > 0, то и
'(x) > 0.
168
§ 8.3 ИНТЕГРИРОВАНИЕ ПО ЧАСТЯМ
Пусть на [a; 1) заданы непрерывные функции '(x); (x), причем (x) имеет непрерывную производную. Нас интересуют
достаточные признаки существования интеграла |
1 |
|||
'(x) (x)dx, |
||||
|
|
|
|
a |
для вычисления которых мы проделаем |
следующее: |
|||
|
R |
|||
N |
|
|
N |
|
Za |
'(x) (x)dx = |
(N) (N) (a) (a) Za |
0(x) (x)dx; |
где (x) – произвольная первообразная от '(x); a < N < 1. Очевидно, что если существует несобственный интеграл
1
Z
0(x) (x)dx = A |
(1) |
a
и существует предел
lim (x) (x) = B; |
(2) |
x!+1
то существует несобственный интеграл
1
Z
'(x) (x)dx = B (a) (a) A: |
(3) |
a
Теорема 1 (I-й признак). Если функция (x) ограничена
1
(j (x)j M const), (x) ! 0 при x ! +1 и R j 0(x)jdx < 1,
a
то интеграл (1) и предел (2) существуют. Доказательство. Интеграл (1) сходится абсолютно:
1 |
1 |
|
Za |
j 0(x) (x)jdx M Za |
j 0(x)jdx < 1: |
Выполняется также и условие (2):
j (x) (x)j Mj (x)j ! 0 при x ! +1;
169