- •НЕОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
- •Лекция 1
- •Определение неопределенного интеграла
- •Свойства неопределенного интеграла
- •Теорема об инвариантности формул интегрирования
- •Основная таблица интегралов
- •Лекция 2
- •Интегрирование методом замены переменной (метод подстановки)
- •Метод интегрирования по частям
- •Лекция 3
- •Универсальная тригонометрическая подстановка
- •Лекция 4
- •Интегрирование дробно-рациональных функций
- •Разложение рациональных дробей на простые
- •Лекция 5
- •Интегрирование некоторых иррациональных функций
- •ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
- •Лекция 6
- •Задача о вычислении площади криволинейной трапеции
- •Теорема существования определенного интеграла
- •Свойства определенного интеграла
- •Теорема о производной определенного интеграла по переменному верхнему пределу
- •Лекция 7
- •Формула Ньютона-Лейбница
- •Правило замены переменной в определенном интеграле
- •Лекция 8
- •Определенный интеграл в полярной системе координат
- •Определение полярной системы координат
- •Геометрические приложения определенного интеграла
- •Вычисление объёма тел вращения
- •Лекция 9
- •Несобственные интегралы
Лекция 9
Несобственные интегралы
Рассматривая определенный интеграл, мы полагали множество, на котором определена непрерывная функция, конечным, т. е. интеграл имеет конечные пределы.
Однако, нередко возникает необходимость распространить понятие определенного интеграла и на случаи, когда интервал интегрирования бесконечный (один или два предела бесконечны) или когда подынтегральная функция в пределах интервала интегрирования терпит разрыв.
Определение. Интегралы, пределы интегрирования которых не существуют или подынтегральная функция терпит разрыв на множестве точек интегрирования, называются
несобственными.
Назовем несобственные интегралы с
бесконечными пределами интегралами второго рода, а интегралы с разрывными функциями – первого рода.
Для того чтобы можно применить теорию интегрирования определенного интеграла к вычислению несобственных интегралов необходимо заменить бесконечный предел конечным и исключить точку разрыва, разбив интеграл на сумму двух интегралов.
73
Определение. Интеграл∞ 2 рода
( )
называется сходящимся, если существует предел lim ( ) ,
→∞
причем значение предела считается значением
интеграла. Если предел не существует, то
интеграл – расходящийся. |
|
|
|
|
|
|
||||||
|
Заметим, что на несобственные сходящиеся |
|||||||||||
интегралы |
распространяются |
все свойства |
||||||||||
определенного интеграла. |
|
|
|
|
|
|
||||||
Пример 9.1. |
|
|
|
|
|
|
|
|
|
|||
+∞ |
|
|
|
|
|
= |
|
lim |
= |
|||
|
1 + |
2 |
= lim |
1 + |
2 |
|
|
|||||
−∞ |
→+∞ |
|
→+ ∞ |
|
||||||||
|
|
|
− |
|
|
|
− |
|
|
|||
|
= lim |
|
( − ) = . |
|
|
|||||||
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
→+ ∞ |
|
|
|
|
|
|
|
|
||
Несобственный интеграл сходится и его
значение равно . Геометрически это можно трактовать как значение площади фигуры, ограниченной графиком функции и осью на
бесконечном интервале.
74
функция |
= ( ) |
терпит |
|
[ ; ] |
в точке |
= |
||
Пусть теперь на отрезке |
|
|
||||||
|
|
|
|
разрыв. |
|
|
|
|
Определение. Интеграл 1 рода |
|
|
||||||
|
|
( ) |
|
|
|
|
|
|
называется сходящимся |
, если существует предел |
|||||||
→0 |
− |
|
|
|
( ) , |
|
||
lim |
( ) + |
|
|
|||||
причем значение |
предела |
+считается |
значением |
|||||
интеграла. Если предел не существует, то интеграл – расходящийся.
Пример 9.2. |
|
|
|
1− |
|
|
|
|
2 |
|
|
|
||||||||
2 |
3 |
|
|
|
|
|
|
3 |
|
3 |
|
|||||||||
0 |
√1 − |
= lim |
0 |
|
√1 − |
+ |
1+ |
√1 − |
= |
|||||||||||
= − |
3 |
|
|
|
|
→0 |
|
|
|
|
0 |
+ |
(1 − ) |
1+ = |
||||||
|
lim (1 − ) |
|
||||||||||||||||||
|
|
|
→0 |
3 |
|
|
|
|
|
2 1− |
3 |
|
|
2 2 |
|
|||||
|
= − |
|
|
lim |
|
|
|
|
−1 + 1 − (− ) = 0 . |
|
||||||||||
|
2 |
|
|
|
||||||||||||||||
|
|
2 |
|
|
|
|
3 |
2 |
|
75 |
3 |
|
2 |
|
|
|||||
|
|
|
|
3 →0 |
|
|
|
|
|
|
|
|
||||||||
Несобственный интеграл сходится, так как предел существует.
Замечание. Во многих случаях требуется установить лишь сходимость несобственных интегралов, не отыскивая их значений. В этом случае используют признаки сравнения, которые здесь не приводятся.
76
