 
        
        - •МНОЖЕСТВА И ФУНКЦИИ. ДЕЙСТВИТЕЛЬНЫЕ ЧИСЛА
- •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
