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

Глава 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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]