Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Высшая матем. Учебник.pdf
Скачиваний:
65
Добавлен:
19.02.2016
Размер:
12.77 Mб
Скачать

Часть I. Теория

Глава 4. Теория интегрирования 4.5. Несобственные интегралы.

Меню

Назад Вперёд

4.5. Несобственные интегралы.

4.5.1.Несобственный интеграл с бесконечными пределами интегриро- вания.

4.5.2.Несобственные интегралы от неограниченных функций.

Определенный интеграл ( ) рассматривался при двух условиях:

а) промежуток [ ; ] конечен, б) функция ограничена на [ ; ].

Если хотя бы одно из этих условий не выполняется, то данное в разде-

ле 4.3 определение интеграла ( ) не имеет смысла. Если, например,

промежуток интегрирования бесконечный, то его нельзя разбить на частей конечной длины. Если же функция неограничена на [ ; ], то не существует конечного предела интегральных сумм. Обобщим понятие интеграла и на эти случаи.

Часть I. Теория

Глава 4. Теория интегрирования 4.5. Несобственные интегралы.

4.5.1. Несобственный интеграл с бесконечными пределами интегриро-

Меню вания.

Назад Вперёд

4.5.1.Несобственный интеграл с бесконечными пределами интегрирования.

Пусть не выполняется условие а), например, функция определена на промежутке [ ; +∞). Предположим, что она интегрируема на любом отрезке [ ; ], т.е. существует интеграл ( ) .

Определение. Несобственным интегралом первого рода или несобственным интегралом с бесконечным пределом интегрирования

 

( )

 

 

+∞

 

 

называется предел

 

 

 

 

 

 

 

 

(4.39)

 

→∞

 

 

lim

( ) ,

 

т.е.

( ) = →∞

 

 

+∞

 

 

 

 

 

lim

( ) .

 

Определение. Если предел (4.39) существует и конечен, то говорят, что несобственный интеграл сходится, если же этот предел не существует или бесконечен, то интеграл +∞ ( ) называется расходящимся.

Чтобы лучше понять идею этого обобщения, рассмотрим его геометрическую интерпретацию. Пусть, например, функция является неотрицательной и невозрастающей на [ ; +∞) (рисунок 4.13).

Интеграл ( ) числено равен площади заштрихованной криволинейной трапеции. При возрастании эта площадь будет увеличиваться. При

Часть I. Теория

Глава 4. Теория интегрирования 4.5. Несобственные интегралы.

4.5.1. Несобственный интеграл с бесконечными пределами интегриро-

Меню вания.

 

 

Назад Вперёд

y

 

 

 

 

 

y = f (x)

 

O

a

A

x

 

 

Рисунок 4.13

 

этом она может неограниченно возрастать либо оставаться ограниченной и стремиться к какому-то пределу. Этот предел и есть +∞ ( ) . Подчеркнем, что площадь фигуры, заключенной между графиком функции = ( ) и осью вправо от точки = , может быть конечной, не смотря на то, что эта фигура является неограниченной.

Геометрический смысл несобственного интеграла первого рода состоит в том, что он численно равен площади полубесконечной фигуры, ограниченной графиком неотрицательной функции, прямой = 0 и частью оси

[ ; +∞].

Пример 4.32. Вычислить несобственный интеграл (или установить его расходимость):

+∞

.

0

Решение. По определению (см. (4.39)) имеем:

 

= →+∞

 

= →+∞ (

 

0 )

=

 

 

 

 

+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

lim (1

) = 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Часть I. Теория

Глава 4. Теория интегрирования 4.5. Несобственные интегралы.

4.5.1. Несобственный интеграл с бесконечными пределами интегриро-

Меню вания. Назад Вперёд

Пример 4.33. Вычислить несобственный интеграл (или установить его рас-

ходимость):

 

 

 

 

 

 

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

 

 

 

 

 

 

 

 

 

 

 

Решение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= →+∞

 

= →+∞ (ln

1 ) =

→+∞ ln = +∞.

 

 

 

+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

lim

 

 

 

 

 

lim

Следовательно, этот интеграл расходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание 4.4. Несобственный интеграл

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

,

̸= 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

 

 

 

 

 

 

 

 

 

 

 

 

сходится при > 1 и расходится при 6 1.

 

 

 

 

 

[Доказательство]

 

Этот пример свидетельствует о том, что функция ( ) =

1

в случае

 

 

> 1 достаточно быстро стремиться к нулю при +

→ +∞, и это обеспе-

чивает существование несобственного интеграла

 

 

 

. Если же 6 1,

 

1

 

 

( ) =

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то

 

 

стремиться к нулю медленно при

→ +∞ или совсем не

 

 

стремиться к нулю, и поэтому рассматриваемый интеграл расходится.

 

Аналогично вводится понятие несобственного интеграла по промежут-

ку (−∞; ),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( ) = →−∞

 

( ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Часть I. Теория

Глава 4. Теория интегрирования 4.5. Несобственные интегралы.

4.5.1. Несобственный интеграл с бесконечными пределами интегриро-

Меню вания.

Назад Вперёд

Пусть функция определена на всей числовой прямой (−∞; +∞). Те-

перь рассмотрим интеграл

+∞

( ) . (4.40)

−∞

Зафиксируем произвольное число R. Разобъем этот интеграл на два

( ) =

( ) +

( ) ,

(4.41)

+∞

 

 

+∞

 

−∞

 

−∞

 

 

 

 

где — произвольное число.

Интеграл (4.40) называют сходящимся, если оба интеграла в правой части равенства (4.41) сходятся и расходящимся — в противном случае.