Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Иванов Матан

.pdf
Скачиваний:
31
Добавлен:
03.06.2015
Размер:
2.95 Mб
Скачать

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

dx

 

сх дитсяПример.

1. Найти все значения , при которыхb

интеграл

 

R1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

1

 

 

 

 

1

 

1 .

ешение. При =6 1 имååì

R

 

 

 

 

=

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

оэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 x

1

 

 

1 b

 

 

 

 

 

 

lim

R

 

=

 

 

 

 

1 dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

> .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

валек [a; b0

 

[a; b)

Í ñî ñò нным инт р лосмыслеR f(x) dx называется

 

 

 

 

 

b!+1

b

dx

 

 

 

 

+1

 

 

 

 

ïðè

 

< 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ïри = 1 получаем

b

dx

 

= ln b ! +1

 

 

 

(b ! +1). Ñëå îâàòåëüíî,

R

 

 

 

 

ïðè > 1

 

 

 

R

 

dx

õ äèòñÿ, à ïðè 1 ðàñõ

 

äèòñÿ.

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[a; b) интегралтегрирПуåма в собственномопределена любом отрез-

Опpеделе ие.

1

 

 

ь ункция f(x)

 

 

 

 

b

 

 

 

 

на п луинтер

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

b

f(x) dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b0!b 0

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

f(x) dx äëÿ

Аналогично определяется

 

 

 

 

 

 

 

 

 

 

 

ый интеграл

 

 

 

 

 

 

 

 

 

 

 

R

ункции f(x), интегрируемойнесобственíном смысле на любом от-

резке [a0; b (a; b :Zb f(x) dx =

a0

lim

 

 

 

Zb

f(x) dx:

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

!a+0

a0

 

 

 

 

 

 

 

 

 

 

 

 

b

f(

) dx, òî

Лемма 1. Если существует собственный интеграл

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ин егралы

 

lim

 

 

 

f(x) dx

 

 

lim

 

 

f(x) dx ñóùå

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

f

R

-

Доказа ельство.

 

 

 

Поскольку

 

 

 

ункция

 

 

 

 

 

 

 

 

 

 

 

 

 

несобственныествуютма венном

смысле на

 

[a; b ,

 

 

îíà

ограничена,нтегриру.å.

 

 

и равны

 

 

 

 

 

b0

!b 0

a

 

 

 

 

 

 

 

 

 

 

a0

!a+0

a

0

 

 

 

 

 

 

 

 

 

 

 

 

 

обственному интегралу.

Поэтому

 

 

 

R

 

f(x) dx

 

9M 2 R : 8x 2 [a; b ,!

 

jf(x)j

 

 

 

 

 

M.

 

 

 

 

 

 

M jb b0j ! 0 ïðè b0

! b 0.

 

223

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b0

 

 

 

 

 

 

 

 

 

 

Следовательно,

 

 

b0!limb 0

b

0

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

b

f(x) dx =

 

 

R f(x) dx =

Ra f(x) dx b0!limb 0

bR0

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

b

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

= R f(x) dx.

 

 

 

 

 

 

 

 

 

 

 

0

 

R

f(x) dx = R f(x) dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a !a+0

 

a

[a; b0

 

a

 

 

 

ункция f(x) инте-

отрезк [a; b Аналогично,любом отрезк

 

 

[a; b)

 

 

Ò

 

 

 

1.

 

Пусть ункция f(x)

определена

R

ограничена на

грируеоpема. Тогда существует

собствен

ый интеграл

f(x) dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

Доказательство. Поскольку уíкция f огранè÷åíà íà [a; b , òî

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

9M 2 R : 8x 2 [a; b ,! jf(x)j M. Çà èêñ ðóåì ïðîизвольное чис

[a; b , составленное из

òрезкоче

разбиения

T, попавших на отрезок [a; b

ло " > 0 и определим b

0

2 [a; b) так, чтобы b b

0

<

"

 

 

 

 

 

ðàç-

 

 

8M .

 

 

 

биениюточки b0

:

 

T0

= fx0

; x1

; : : : ; xj 1

; b0g, где j определеноЛюбомуиз словия

 

 

 

0

 

T

= fx

gI

 

î

 

 

 

 

 

 

 

а [a; b сопостав м разбиение

T

0

трезка

x

 

 

 

 

 

.

i

 

i=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

j 1

< b0 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

азобьем разность сумм Даpбу (f; T) на два слагаемых:

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ãäå

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ [xj 1;b ;

 

 

 

 

(f; T) = i=1(xi xi 1)!i(f) = [a;xj 1

 

 

[a;xj 1

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

);

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

= i=1(xi xi 1)!i

 

 

 

 

 

[xj 1;b = i=j (xi xi 1)!i(f):

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

÷òî [a;xj 1

 

(f; T0). Кроме того, поскольку !i(f)

Заметим,2M то [xj 1;b

2M (b xj 1) =

 

 

 

(b b0

 

+ b0 xj 1) 2M (b

b0

 

+ `(T)) < 2M

"

 

 

+ `(T)) =

"

 

+ 2M

`(T).

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

8M

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

"

+ 2M `0(T):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(f; T) (f; T0) +

4

 

 

 

 

 

 

 

 

 

Поскольку ункöèя f интегрируема на [a; b , то в силу критерия

интегрируемости

> 0 8T

: `(T0) Æ0

 

 

 

 

 

 

 

"

:

 

 

 

 

T отрезк

 

9Æ0

! (f; T0) 4

 

 

 

 

[a; b òàê

 

 

÷òî `(T) ïолучаем,Ж выполняетсдля`(T ) `(T) Ж

 

 

Определив Ж = minfЖ

0

 

 

 

"

 

g,

 

 

 

 

 

 

 

÷òî

 

 

 

любого разбиения

 

 

 

8M

 

 

 

 

 

 

 

 

 

 

Æ0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

" . Поэтому

 

 

 

 

 

0

 

 

 

 

 

, следовательнîãî, (f; T0)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

224

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(f; T)

"

+ " + 2M `(T)

" + 2M

 

"

 

= "

+ "

 

< ":

 

 

 

 

 

 

 

 

 

4

 

4

 

 

 

 

 

2

 

 

8M

 

2

4

 

 

 

 

 

 

Èòàê, 8" > 0 9Æ > 0 8T :

`(T) Æ ,!

 

(f; T) b". Отсюда

по критерию интегриðуемости полу÷аем существованиå

 

R

 

f(x) dx â

 

a

 

собственном смысле.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ограничен-

 

З мечание. Аналогично можно доказаòü,

 

 

 

íàÿ

(a; b óíêция интегрируема на любом

 

трезкесли[a ; b (a; b ,

то этна ункция интегрируема на [a; b . В

частности,

ункция

f(x

=

 

 

 

 

1

 

 

2

 

; 1 ;

 

 

sin(1=x)

 

0

 

 

 

 

 

sin x ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

смысле)

 

0;

 

 

 

 

x = (0

 

 

 

 

ограничена

 

íà

отрезке

[a; b x

íà [0; 1..

 

Если ункция f

 

интегрируема

 

 

собственном

 

 

 

 

 

 

 

 

 

 

 

 

также из

 

Следствиеинтег ала

по отрезкисключениемна

ê

 

 

 

 

ïðåð

вна на э ом отрезк

 

çà

 

[a; b .

 

 

 

 

 

 

 

числа то

÷ ê,

ункц я f интегрируема

íà

 

сл дует из свойства

т оремыивности1

нтегрируемости

 

 

 

 

 

онечногозк ункции. За-

аддим т м, что при этом ункция непрерывнойf некотинтегрирования,разрыварыхЭто чках

может

íå

иметь предела, в значит, не б

òü

кусочно-непрерывной.

 

 

 

Опpеделение. Точка a

называетс

осо ой точкой несобствен

ного интеграла

 

 

 

 

 

 

 

 

b

a è

 

 

 

 

f

 

 

еограни

R f( ) dx, åñ

 

 

 

 

 

 

 

 

чена в любой окрестности точки a.

Äëÿ

не обственных

интегралов

R

f(x) dx,

R

 

f(x) dx символы 1

всегда

ñчитаютсункцияособыми точ-

 

 

 

+1

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

êàìè.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

225

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следствиеb. Из леммы 1 и теоремы 1 следует, что несобствен

 

 

интеграл Ra f(x) dx без особых точек всегда

 

ходится. Более то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

íåñîá-

íûé íåñîбственному. Поэтому не имеет смысла рассматриватьa

ãî,

ýò

 

 

 

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

f(x) dx, ðàâ

ственные

интегралы без особых точек.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

Пример 2. Найти все значения , при которых интеграл

 

 

 

 

 

R

 

 

 

сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

ешение. При 0

 

 

 

 

 

 

 

 

 

огра ичена на (0; 1), и, сëåäî

íûé

интегðàë

 

имеет особенункцостьèÿâ òîсобчк å x = 0, поэтому

R

 

 

 

 

 

 

 

 

=

ватель о, д нный интеграл

 

 

 

 

 

 

x

 

 

 

 

 

ííîñòåé. Ïðè > 0 äàí-

 

е имеет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

=

b!+0

 

1

dx

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

1

 

 

 

 

1

1

 

 

 

1

 

 

 

.

 

 

Ïðè =6 1, b 2 (0; 1) èìååì

 

 

=

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

R

dx

 

 

 

 

b

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

1 x

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

ïðè

 

< 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b!+0 b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

оэтому

 

 

 

lim

 

 

R

 

 

=

 

+

 

 

 

 

 

 

 

 

 

 

 

>

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ïðè = 1

 

 

 

1

 

dx

 

= ln b ! +1

 

 

(b ! +0).

 

 

 

 

 

 

 

 

 

 

 

 

 

ïðè

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

R

 

 

 

 

 

 

 

 

 

 

 

íî,

 

< 1 интеграл

 

 

 

 

 

сходится,

 

 

 

при 1 расхСледовательèòñÿ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Лемма 2.

 

 

1

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 R è

 

 

 

ðинцип локализации.) Пусть заданы a; a1

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

< b. Пусть на промежутк

[a; b) определе-

b 2 R Sf+1g, a < a

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

собственном смысле на любом

на ункция f(x), интегрируемая

 

R

f(x) dx

 

ходятся или расходятсобственныея дновременно,тегралыв случае их схо-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

отрезке [a; b0

 

[a; b). Тогда не

 

 

 

 

 

 

 

 

è

 

 

 

 

 

R

f(x) dx è

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

димости справедлива ормула

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a1

 

 

 

 

 

 

 

 

 

 

Z

b

f(x) dx =

 

a1

f(x) dx + Z

b

f(x) dx:

 

 

 

 

 

 

 

 

 

 

 

 

(1)

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

a

 

 

 

226

 

 

 

 

a1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

Док т льст о. Поскольку

ïðè

b

0

 

2

 

 

 

[a; b)

имеет

 

место

b

 

 

 

 

 

 

 

 

 

 

1

f

 

 

 

 

 

 

 

 

b

0

f(

 

) dx, то конечные0

 

 

 

 

 

 

 

 

b

 

 

 

Ra

 

f(x) dx =0 Ra

 

 

) dx + aR1

 

 

пределы Ra f(x) dx =

 

 

 

 

 

 

 

 

 

 

b

 

 

 

(1).

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ëèâà îðìóëà

 

 

 

R f(x)dx =

 

lim

R f(x) dx существуют или

=

 

b0

lim

 

R

f(x

 

dx è

 

b0

 

 

 

!b 0

 

a

 

 

 

 

 

 

 

 

a1

 

 

 

 

 

 

 

 

 

 

 

!b 0

a1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

не существ ют одновременно,

 

в случае их

 

 

 

 

 

 

том, чтосправедходи

 

 

 

 

З м ч ни . Принцип

 

 

 

 

 

 

 

 

 

состоит

 

логичное утверждение

справедливоализациидля несобссуществованиявенного нтеграла

 

 

 

 

 

 

 

несобстве ного

 

 

 

нтеграл

 

опреде

åòñ

 

 

поведением подынте

грал ной ункции лишь

 

 

 

окрестности

особой точки. В лемме 2

ормулирован

 

принцип

локонце

 

 

 

 

 

а интегрировегрирования.

 

мостьособенностью на

левом

 

 

 

 

 

. Àíà-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

правом

îíöå

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

До сих пор мы ра смат ивалипромежуткнесобс венные интегралы с одной

 

 

 

 

 

 

 

 

 

 

 

 

 

. Дадим

 

теперь

определение несобстве ного

 

 

 

 

особенностьюконечным числом

особенностей.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

интеграла

 

 

 

 

Опp л ни . Пусть на

 

 

онечном или беск

 

 

 

 

 

 

 

ственном смысле на любом

отрезкисключением[ ; (a; bонечном), содерпромежуткащем то-

(a; b) задана ункция f(x)

 

çà

 

 

 

 

 

 

 

точек x

 

 

(i = 0; :::; I):

= 1; :::; I). Будем гîворить,

 

÷òî

 

 

 

 

 

 

 

 

 

 

 

 

и теграл

R

f(x) dx

a = x

 

 

< x

 

 

< ::: < x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

0

1

 

I

 

= b. Пусть ункция f интегрируема в соб

÷åê x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 (x

 

 

; x )

 

(i =

 

. Выберем пр извол ным образом точки

i

i 1

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

âñå

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

несобственныйинтегралы одной

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

особенностью

 

 

 

 

 

f(x) dxåñëè

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

i

 

 

f(x)несобственныеdx х дятс . В противном случае будем гово-

 

 

 

 

 

 

 

 

 

 

 

 

xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

рить, что интеграл R f(x) dx схо ится. Если интеграл R f(x) dx

xi

 

1

 

 

 

 

 

 

 

 

 

i

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

дится, то его значе ие определим как сумму несобственных инте-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

схограловитсяодной особенностью:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

0

Z

i

 

 

 

 

 

xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(x) dx =

 

 

 

B

 

 

 

f(x) dx +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

i=1

 

 

 

 

i

 

f(x) dxA:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi 1227

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

Èç

леммы

2

 

 

 

следует, что

 

 

х димость

значение

интеграла

R

f(x) dx зависит от выбора точек

.

 

òü

 

 

àëû

 

 

 

 

 

a

 

В д льнейшем

 

мы будем рассм

 

 

 

i

 

 

 

 

ия рассмат-

ос бенностью

 

 

 

лев м конце

 

 

 

 

 

 

 

 

 

 

 

интегрир

âà

риваются аналогичнонце. Интегралыпромежуткечным числ м особенностей

ñâîдятся к конечному числу интеграловтегрированиядной особенностью.

 

 

òüþ

 

правом к

промежутк

 

òðèâ

 

 

 

 

 

. Интегралы с

öèè f

è g

интегрируемы в

собственном смысле на любом от-

 

 

Т оp м 2. (Линейность не

 

 

 

 

 

 

 

 

 

го интеграла.) Если унк

резке

èç

 

 

 

 

 

 

 

 

 

 

à [a; b) è

несобственные

интегралы

 

R f(x) dx,

 

g(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

b

 

схпромежуткдятся, то для любых чисел ; несобственныйaинтеграл

 

f(dx) + g(x)

 

dx сходится

 

ðàâ

 

 

 

 

 

b

 

 

 

 

 

b

 

 

 

 

 

R

 

 

 

 

R

f(x) dx + R g(x) dx.

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

линейности собственного интеграла

 

 

Äîê ò ëüñò î. Â ñèëó

 

для любого b0

2 [a; b) справедлива ормула

 

0

 

 

 

 

 

 

 

 

 

 

 

b

0

 

 

 

 

 

 

 

 

 

 

 

 

 

b

0

 

 

 

 

 

b

g(x) dx:

 

 

 

 

 

 

 

Z

 

f(x) + g(x) dx = Z

 

 

f(x) dx + Z

 

 

 

 

 

 

 

 

a

 

 

 

b

0

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

a

 

 

 

выражения,

Поскольку

 

 

 

 

 

 

! b 0 существует к

 

 

 

 

 

 

 

стоящего в

ïðавой части равенства, то,

онечныйперех дяпредк åäåëó ïðè b

0

!

! b

0, получаем требуемое утверждение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

Если интеграл

R

 

f(x) dx

расходится,

à

 

интеграл

b

 

 

 

 

 

 

 

 

 

a

 

 

g(Слx) dx стх дится,и

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

R

(f(x) + g(x)) dx расходится.

 

 

a

то интеграл a

 

 

 

 

Док т льст о. Если бы интеграл a

(f(x) + g(x)) dx сходился,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

228

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

òî

 

 

ольку f(x) = (f(x) + g

)) g(x

по теореме 2 мы бы получи-

ли поскх димость

 

 

 

 

 

 

b f(x) dx, ÷òî íå

 

 

 

по условию.

Следовательно,интеграла Ra

(f(x) + g(x)) dxвыполняетсрасх дитс .

 

 

то интеграл

R (f x) + g(x)) dx может быть как сх

дящимся, дятсак и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

b

 

 

 

 

Замечание. Если интегралы

R

 

 

R

 

 

ÿ,

 

a f(x) dx è

a g(x) dx расхо

 

Ò

 

 

b

(Замена переменной.) Пусть непрерывно ди ерен

 

 

 

3.

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

расх дящимся.

; b). Тогда справедлива ормула

 

 

 

промежуткоpема[x0

 

 

 

циру мая, строго возрастающая ункция x(t) переводит промежу-

òîê [t

0

; ) в промежуток [x

0

; b). Пусть

ункция f(x) непрерывна на

 

 

 

 

 

Z

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

f(x(t)) x0(t) dt;

 

 

(2)

 

 

 

 

 

 

x0

 

f(x) dx = t0

 

 

 

 

означающ я, что если хотя бы

 

 

дин из указан ых интегралов

õ

 

Доказательство. По

теореме

об одностороннем пределе возрас-

 

я, то другой интеграл сх дится и их значения равны.

 

дитсающей ункции

 

x(t) =

 

 

sup

 

 

x(t) = sup [x0; b) = b:

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

Поскольку t! 0

 

 

 

x(tt)2(t0; )

 

 

и строго возрастает, то су

ществует обратнаяункцияней непрерывнаястрого возрастающая унк-

ция t(x), причем

 

t(x) =

 

 

 

sup

 

 

t(x) = sup [t

 

; ) = :

 

 

 

 

 

 

lim

 

 

 

 

 

 

0

 

 

 

 

 

 

x!b 0

 

 

 

 

 

x2(x0

;b)

 

 

 

 

 

 

 

 

В силу теоремы о

 

 

 

 

 

 

 

 

 

 

 

 

0

замене переменной в собственном интеграле

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

Z

 

 

f(x(t)) x0(t) dt;

 

 

 

 

 

 

 

 

 

x0

 

f(x) dx = t0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

229

 

 

 

 

 

 

ãäå

 

b0

= x( 0) 2 (x0; b),

0

 

= (b0) 2 (t0; ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

f(x) dx сходится, то

 

 

 

 

0

 

 

 

 

 

 

 

 

Если интеграл xR0

 

 

 

Z

f(x) dx =

 

 

 

 

 

 

 

 

lim

 

 

Z

 

f(x(t)) x0

(t) dt = lim

 

 

 

 

 

 

 

 

 

 

0

! 0

 

 

 

 

 

 

 

0

 

0! 0

 

 

( )

 

 

 

 

 

 

 

 

 

 

 

 

t0

 

 

 

 

 

b

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

lim

 

 

 

f(x) dx =

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b0

 

Z

 

Z f(x) dx;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

!b 0

x0

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

. .

 

несобственный

 

 

 

 

 

R

f(x(t)) x0

(t) dt

х дится

âû

 

интеграл t0

полняется ормула (2).

 

 

 

 

 

 

 

åñëè

 

 

 

 

 

 

 

-

ãðàë t0

f(x(t)) x0

(t) dt

ходится,Аналогично,то сх дится

несобственныйинтеграл

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

R

 

 

 

справедлива ормула (2).

 

 

 

 

 

 

 

 

 

 

 

 

f(x) dx

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

Ïðèìåð 3.

 

 

Найти все

 

 

значения

,

ïðè

 

которых интеграл

x0

 

 

 

 

 

 

+1

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

сходитñÿ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x ln

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

ешение.

1

Выполнив

 

замену перменной x = e

 

 

R

 

 

dx

 

=

R .

 

 

 

ясь резуль атами примера 1, получаем,

что исходный интегралПользух дится при > 1

 

 

расходится при

1.

Ÿ 2.

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

от знакопостоянных ункций

 

от ункций,

 

 

В этом парагра е будем

 

 

 

 

 

 

интегралыд я

принимаåò

ëèøü

 

неполож

 

цательныезна

 

 

 

 

õ

 

 

 

 

 

 

 

 

ëà

 

 

рассматриватьf(x) достаточно

исследоватьисследованиях -

 

 

 

 

 

þù õ ëèøü

 

 

 

 

 

 

 

çíà

 

 

 

. Åñ

 

ункция f(x)

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

неотрункции f(x)чения,которая принимает лишь

неотрицательные

значения.

 

 

 

230

 

 

 

 

 

 

 

 

 

 

 

 

 

неотрицательнойТ оp м 1. (Критерийункции.)схПустьдимостиункциянесобствеf интегрируеманого

в собот

ственном смысле на любом отрезк

 

из промежуткb

[a; bинтеграла) f(x) 0

8x 2 [a;

 

). Тогда сходимость интеграла R f(x) dx эквивалентна усло-

âèþ

b0

2[a;b)

 

a

f(x) dx < +1.

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

0

 

 

sup

 

b

 

 

 

 

 

 

 

 

0, то ункция F (b ) =

 

Док т льст о. Поскольку f(x)

 

 

= b0 f(x) dx нестрого в зрастает на [a; b). По те реме

дносторонили беск -

 

м пределе

монотонной ункции существует конеч

íåчный предел

 

lim

 

F (b0) =

 

 

sup

 

F (b0). Несобственный интеграл

b

a

 

 

 

 

 

 

 

 

b0 !b 0

 

 

 

b0

2[a;b)

 

 

 

 

 

 

 

 

 

 

 

 

a

f(x) dx сходится,

 

да и только тогда, когда существует конечный

предел

 

lim

 

F (b0),тог. . когда

 

 

sup

 

F (b0) < +1.

 

 

 

 

g интегрируемы

(Первыйсобственном

смысле

 

 

à

бом отрезк из проме-

 

 

 

 

b0

!b

 

 

0

 

 

 

 

 

 

 

 

 

0

2[a;b)

 

 

 

 

 

 

 

 

 

 

 

 

Ò

 

 

 

 

 

2.

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

признак

 

рав ения.) Пусть ункции f и

жутка [a; b)

 

 

для любого x 2 [a; b)

выполняются неравенства

 

0

f(x)îp gì(x). Ò äà

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b g(x) dx следует схо-

 

à) èç

õ

 

димости

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

 

Док несобственногольстобственного. Изнесобственногонерав нства

 

f(x)

 

 

g( )

ëå óåò ÷

димость

 

 

 

 

 

 

 

 

 

интеграла

b f(x) dx;

 

 

a

b f(x) dx следует

 

б) из расх димос и

 

 

 

 

 

 

a

 

 

интеграла

расх димос

 

 

 

 

 

 

 

 

 

 

инт грала

 

b g(x) dx.

a

 

 

 

 

 

 

 

b0 f(x) dx

 

 

0sup

 

 

 

 

 

 

 

 

 

 

a

 

b g(x) dx

ñходится, òî

 

sup

 

 

 

b0 g(x) dx. Åñëè

 

b0

2[a;b)

a

 

 

 

 

 

 

 

b 2[a;b)

a

 

 

 

 

 

 

 

 

b0 2[a;b)

 

a

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

231

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следуеттеореме из1 интегрпункта (а)ab f.

(x) dx х дится. Пункт (а) доказан. Пункт (б)

 

 

 

 

 

 

 

 

ни . Будем

говорить,

÷òî íåî

 

 

 

 

ельные ункции

f(x) è g(x) ýê

 

 

 

 

 

 

 

 

 

ñõ.

 

смысл

 

 

 

 

 

 

 

 

 

 

íò ð ëî ïðè x !

m > 0, M > 0,иb <л нтныb акие, что для любого x 2 [b ; b) выполняются

! bОпp0 и писатьл

 

f(x)

 

 

 

 

 

g(x) ïðè x ! b

 

0, еслрицасуществуют числа

неравенства

 

 

 

1

 

 

 

 

 

 

m g(x) f(x)схоMимостиg(x):

 

 

1

 

 

 

 

â

 

Заметим, что неотрицат льные

 

 

 

 

 

 

 

 

f

 

è g

 

 

 

 

смысле

 

х димости интегралов тогдаункциитолько тогда,эквèâàогдалентныодно-

времен

 

 

выполняются

 

 

словия f(x) = O(g(x)) и g(x) = O(f(x)).

Â

частности,х.

åñëè

 

существует конечный предел

x!b 0

g(x)

= C =6 0,

 

 

 

 

 

 

 

 

lim

f

 

òî f(x)

 

 

 

g(x) ïðè x ! b 0.

 

 

 

 

 

[a; b) заданы неотрицательные

 

Л мм 1. Пусть

 

на пр межутк

 

ункции f (x), g (x),

 

 

 

=

1; 2; 3,

 

причем

8x 2 [a; b)

,!

 

f (x) >

> 0; g3(x) > 0. Тогда из условия

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

i

 

 

 

 

i

ñõ.

 

 

i

 

 

 

ïðè x ! b 0;

i = 1; 2; 3

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) g (x)

 

 

 

следует условие

 

 

 

 

 

(x)

 

 

 

 

g

(x) g

 

(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

1

(x) f

2

 

ñõ.

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Äîê

 

 

 

 

 

f

 

(x)

 

 

 

 

 

 

g (x)

 

 

 

ïðè

x ! b 0:

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

. По опре3 елению эквивалентных ункций в

смысле

х димостит льст интегралово

äля любого i = 1; 2; 3

 

 

 

 

9bi 2 [a; b); mi

>0; Mi

>0 : 8x 2 [bi; b) ,!

 

mi

fi(x) gi(x) Mi fi(x):

Следователüíî, ñóùå òâóåò b0 =

 

 

 

 

fb ; b

 

; b

g òàêîå, ÷òî äля любого

 

0

 

M

 

 

 

 

f (x)

 

 

 

 

 

g (max)

 

 

2

m

3

 

 

 

f (x)

:

 

 

x 2 [b

; b) âûполняютñÿ неравенства

 

 

 

M1 M2

f1

(x) f2(x)

 

 

 

 

m1 m2

f1(x) f2

(x)

 

 

g1(x) g2

( )

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

3

232

 

 

 

 

 

 

3

 

 

 

 

3

 

 

 

 

отрныеТзкеоpемаункциииз промежутка3f. и(Второйg интегрируемы[a;признакb) эквивалентнысравнениясобственномсмысле.) Пусть неотрицательхнаbдимостилюбом-

нтегралов при x ! b 0. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

f(x) dx

несобственныех.

интегралы a

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

g(x) dx

 

х дятся или расх дятся

дновременно.

 

 

 

 

 

 

 

 

 

 

 

 

è a

 

 

 

 

! b 0, òî

 

Доказательство. Поскольку f(x)

 

 

 

 

ïðè

 

 

9m; M > 0; 9b

 

2 [a; b) : 8x 2 [b

1

; b) ,! m g(x)

f(x) M g(x):

 

 ñèëó

 

 

 

 

 

1локализац

 

 

 

 

2 Ÿ 1) х димость или

 

 

 

àñõ äè

 

 

 

 

 

àëîâ

R f(x) dx

R(леммаg x) dx не

 

 

зменится, если пðомежу

ок интегрипринципа

 

b

[a; b)

заменить

на промежуток [

1

; b). Пусть ин

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

интеграл b1

g(x) dx, è, ñëå

мостьеграл a g(x)ованияdx х дится, тогда сходится

 

 

b

 

 

 

 

 

a

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

сх дится интеграл bR1

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M g(x) dx. Отсюда в силу призна-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

f(x) dx,

значит, и

довательно,к сравнения получаем сх димость интеграла bR1

интеграла a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

интеграла a

 

f(x) dx

f(x) dx. Аналогично, из сходимости

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

b

g(x) dx.

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

следует сходимость интеграла R

 

 

 

 

óíêöèé f(x)

è g( )

 

Замечание. Усëîâèå

 

a

 

 

 

 

 

 

 

 

 

что интеграл

 

 

p

 

dx схнеотрицательностидится, интеграл

 

 

 

p

 

 

 

1 +

 

 

p

 

dx

â

 

 

3 существенíо. В следующем парагра е будет покàçàíî,

расхтеоремед тся, хотя 1 +

 

p

1 ïðè x ! +1.

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

sin x

 

 

 

 

sin x

 

 

 

 

 

 

 

 

1

 

x

sin x

ñõ.

 

 

 

 

 

 

 

 

 

 

 

 

1

x

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ïpèìåp. Èññëåäовать на сходимîñòü

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

2+ os

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z ar tg x sin

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

(ex + 1) x

 

 

 

dx:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

233

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

эквивалентностиешение. Заметим,в смыслечтосõîпридимостиx ! +интегралов:1 имеют ìесто следующие

 

 

 

 

 

lim

 

ar tg x =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ar tg

x

ñõ.

 

1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

x!+1

 

 

x

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

x

 

 

 

ñõ.

 

 

 

 

 

 

 

 

 

2+ os

 

 

 

 

 

 

 

 

2 + os x 2+ os + os x

2+ os

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

sin t t

ïðè

 

t =

 

 

 

 

 

! 0

 

 

 

)

 

 

 

in

ñõ.

 

 

 

 

ñõ.

 

x2 ;

 

;

1 2 + os x 3

 

 

 

)

 

 

 

 

sin

 

 

 

 

 

x2

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

(ex + 1)

 

= 1

 

 

 

 

)

 

 

 

 

(ex + 1)

ñõ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

x

 

 

 

 

 

 

 

 

 

 

e x:

 

 

 

 

 

 

 

 

x!+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда и èç леммы 11ïîлучаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ar tg x sin

 

2

ñõ.

 

 

 

 

1

 

 

 

 

ïðè

x ! +1:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(ex

+ 1) x

 

 

 

 

 

x2 e

x

 

 

 

 

+1

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

e

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

Ïðè 0

 

 

 

 

 

 

 

 

ÿ

 

 

 

 

 

 

 

8x 1. Поскольку

R

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

Ïðè < 0

 

выполняåòñ x2 ex

! +1 (x ! +1), следовательн ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

x

 

 

 

 

2

 

 

 

 

 

 

 

 

 

1

 

 

2

ходится, то при 0 исх дíûé èíòåãðàл сходится в силу признаêà

ñравнения.

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

9x0 1 : 8x x0

 

 

 

 

 

 

1. Поскольку интеграл

R

dx ðàñõî-

 

,! x2 ex

 

1

дится, то в силу признака сравнения при < 0 исходный интеграл

ходится.

 

 

 

Ïусть ункция f : [1; +1) !

 

; +

) нестрого убы

 

Задача 1.

 

 

 

âèåì f(x) = o

 

 

x

при x ! +1димости, . .

lim x f(0x) = 0 ?

 

 

 

 

 

 

 

 

раст. Как связано условие схо

 

 

 

 

 

 

 

 

интеграла

+1

f(x) dx óñëî-

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

ственный интеграл(КритерийR f опеременныхx) dxКошис дится тогдаункциятолько тогда, когда

Ÿ 3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x!+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

îò çíàê

 

 

 

 

 

 

 

 

 

.) Пусть

ункций

 

 

 

 

 

 

 

 

Òåîpåìà 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f интегрируема

выполняется условие Коши:

 

 

 

 

 

234

 

 

 

из промежутка [a; b). Несоб-

собственном

 

 

мысле на любом отрезк

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8" > 0 9 2 (a; b) : 8b1; b2 2 ( ; b) ,!

 

 

b2

f(x) dx

 

 

< ":

 

 

 

 

 

 

Z

 

 

 

 

 

Док т льст о. Определим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b1

 

F (t)

 

=

a

 

f(x) dx.

 

ункцию

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

R

 

 

 

Ïî

опр делению

есобственный интеграл

 

 

 

 

 

 

х дится,

åñ

R

f(x) dx

 

 

" > 0

существует левая

 

ункциирестностьо

( ; b)

 

точкисуществованиеb акая,любогочт

ëè

 

ствует

конечный предел

lim F (t). Èç

êðè åðèÿ Êîøè

существования

предела

 

 

 

äóåò,

÷òî

 

 

 

 

 

 

 

 

ê -

 

 

 

 

 

 

 

 

 

t!b 0

 

a

 

 

 

 

 

 

 

 

 

 

 

нечного предела

lim

F (t)

 

 

òîìó,

÷òî

 

äëÿ

 

 

 

ý â âàëåíòíî

 

 

 

 

 

 

 

 

 

t! 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F (b1) = R f(x) dx, получаем требуемое утверждение.

 

 

 

 

 

 

8b1; b2

2 ( ; b) ,! jF (b2) F (b1)j < ". Используя равенство F (b2)

 

 

 

b2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

З м ч ни . Кр терий Коши чаще всего используется д я до

ðасеменныхдимости интеграла

a fнесобственных(x) dx особенностьюинтеграловточк

 

 

b

 

точно

доказать, что

 

 

я отрицание к условию Кошиазательствадостх ди-

к зательства расход мости

 

 

 

 

 

 

 

 

 

 

 

от знакопе

 

 

 

ункций. Согласно критерию Коши, для док

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

мости этого интеграла,выполняетс. .

 

 

 

b2

f(x) dx

 

 

 

 

 

 

 

 

 

9" > 0 : 8 2 (a; b) 9b1; b2 2 ( ; b) :

 

 

 

 

":

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b1

 

 

 

 

 

 

 

b

 

 

Опp л ни . оворят, что несобственный интеграл

 

 

 

R f(x) dx

схо ится солютно,

 

åñëè

сходится

несобственный

a

 

 

интеграл

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R jf(x)j dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

îì ñìûñ

a

Т оp м 2. Пусть ункция f интегрируема

 

 

 

 

 

грал R f(x) dxотрезксх дится абсолютно, то этот

несобственныйинтеграл

ле на любом

 

е из промежутка [a; b). Если

 

 

 

 

 

 

ûé

-

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

235

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

jf(x)j dx сходится, то вы-

полняетсяДок условиет льст Кошио. Такегокаксходимости:интеграл Ra

 

8" > 0 9 2 (a; b) : 8b1; b2 2 ( ; b) ,!

 

b2

jf(x)j dx

 

< ":

 

 

Z

 

 

 

 

 

 

 

b2

 

 

 

 

 

 

 

 

b2

 

 

 

b1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

jf(

)j dx , òî

 

 

 

 

 

я условие

КошиПосколькух

 

R f(x) dx

 

 

 

R

 

 

 

 

 

 

интеграла

R

 

f(x) dx. Отсюдавыполняетскритерию Коши

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b1

 

 

 

 

 

b

b1

 

 

 

 

 

 

 

 

 

 

 

 

получаем димостих мость этого

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

модуля

 

 

 

 

е следуеòинтегралатегрируемость самой ункции.

Например,ункцииíêöèÿ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметим, что для собс ве ных интегралов из интегрируемости

 

 

 

 

f(x) =

1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

;

 

 

 

 

неинтегрируемой в

 

 

 

1;

åñëè x иpрациональное

 

 

 

 

 

 

 

 

смысле на любом отрезк ункцией,.

интегри

 

 

 

ема, а ее модуль jf(x)j = 1 является

 

 

 

 

ляется аб ëсобственномютно х дящимся, то говорят, что этот

несобственный

Опp ни . Если есобственный интеграл сходится, но яв-

 

 

ñõî èòñÿ óñëî íî.

 

 

 

 

 

 

ди еренц руема на промежутке

интегрална, ункция g(Признакx)

 

 

 

 

 

 

 

Ò îp ì 3.

 

 

 

 

 

Дирихле.) Пусть

 

 

 

 

f(x) непрерыв-

[a; b , b 2 R [ f+1g. непрерывноПусть вып лнены услов ункция

 

 

 

 

1)3 ункция g

 

строго

 

 

 

 

 

 

ограничена[a; b), т. .

g0

(x) 0 8x 2 [a; b).

 

первообраз ая ункции f

 

 

 

 

 

 

 

[a; b);

F (x) ункции

Äîê ò ëüñ î.

 

Поубываетсловию

первообразная

f(x) ограничена,несобственный. .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

lim

g(x) = 0;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x!b 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

f(x) g(x) dx сх дится.

 

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

интеграл R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

236

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9C 2 R : 8x 2 [a; b) ,! jF (x)j C:

 

 

(1)

рованияДля произвольногопо частям:

b0 2 (a; b) воспользуемся ормулой интегри-

 

b

0

 

 

 

 

 

 

 

b

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

0

 

 

 

 

 

b

0

 

 

 

 

Z

 

f(x) g(x) dx =

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

F (x) g0(x) dx: (2)

a

 

a

 

g(x) dF (x) = g(x) F (x) a

a

 

 

 

 

 

 

 

÷òî

 

 

â

 

 

 

 

ñèëó

ормулы

 

 

 

 

 

 

 

 

 

 

Заметим,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ньютона Лейбница

lim

b

0

g0(x) dx

 

=

 

 

 

lim

 

 

g(b0) g(a)

 

=

 

 

g(a), следовательно,

R

 

 

 

 

 

 

 

 

 

 

b0 !b 0

a

 

 

 

 

 

 

 

 

b0!b 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

g0

(x) dx сходится. Отсюда и из

 

несобственный интеграл a

 

 

 

сравнения получаем схо

 

 

 

 

 

 

 

интеграла a

 

jF

b

x) g0(x)j dxравенства. Отсюд

jg0

(x)j = g0

(x) следует сходимость интеграла

R

 

jg0(x)j dx,

÷èò,

a

 

инт грала

a C jg0

(x)j dx. Учитывая условие

 

 

 

 

 

 

 

 

в силу признак

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

(1),F x) g0(x) dx. Иными

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

R

по теореме 2 получаем схдимость интеграла

словами,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

 

 

 

lim

 

 

 

 

 

F (x) g0(x) dx 2 R:

 

 

 

 

 

 

 

(3)

 

 

 

 

 

 

 

 

 

 

b0

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

!b 0

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку ункция

 

 

 

 

 

ограничена

 

 

è

 

 

 

 

 

lim

g(x)

= 0,

 

 

 

F (x)

 

 

 

 

 

 

 

òî

 

 

lim

 

g(x) F (x)

 

 

=

 

 

0,

 

 

 

поэтому существует

 

 

x!b 0

 

предел

 

 

 

 

 

 

 

 

 

 

 

 

 

к нечный

lim g(x) F (x) b0

=

g(a) F (a). Отсюда и из условий

(3) ïî-

 

 

x!b 0

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

b0 !b 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

лучаем

 

уществование конечного предела

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R f(x) g(2),x dx, ò. å.

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

 

R

f(x) g(x) dx.

 

b0 !b 0

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ственныхнойИсследованиедимости при рàзличных значениях параметра).

 

 

 

 

 

 

 

 

 

 

 

íà

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х димость

 

 

 

 

 

 

 

 

 

 

 

х д мость и абсолютную

 

 

 

 

 

 

 

 

 

 

 

интералов

 

ñîñò èò

èç

 

этапов

(обоснование несобх ди

м сти, расх димости,

 

áñîлютнойчетырехсодимости и

отсутствия абсолют-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

237

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пpимеp+1. Исследовать на сх димость

 

àбсолютную сх димость

интеграл

R1

sinxx dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. 1) Покажем, что при > 0 дàíный интеграл сх дится

ïî ïризнаку Ди ихле. Действ

 

тельно, унêöèÿ sin x èìå

ограни-

[1; +1ешение) ñòðемитсÿ

 

 

 

нулю при x ! +1. Кроме того, ункции sin x

 

 

 

непрерывно ди еренцируемы на [1; +1). Следовательно, при

ченную первооб азную os x, а ункция

 

 

 

ïðè > 0

 

убывает на

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Ïîêàжем, чтопризнак 0 данный интеграл расходится в силу

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

критерия Коши. Действительно, при 0, n 2 N имеем

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а Дирихле выполнены и данный интеграл

> 0 все условия

 

 

 

 

 

 

 

сходитс .

 

 

 

 

 

 

2 n+

 

 

 

 

 

 

 

2 n+

 

 

 

 

 

 

 

 

 

 

 

 

2 n+

sin x dx

 

 

 

 

sin x dx

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

R

 

 

 

 

 

 

 

 

R

 

 

 

 

 

(2

)

 

R

 

 

 

sin x dx =

 

 

 

 

 

2 n

 

 

x

 

 

 

 

 

2 n

 

 

 

(2 n) =

 

2 n

 

 

 

 

(2 n) 2.

Следователь. . выполняетсяíî,

îò

 

öание условия Коши

 

õî

 

 

 

 

 

 

исх дного

9"0 = 1 : 8 9b1 = 2 n > ; b2 = 2 n + > :

 

 

b2

sin x dx

 

 

 

 

 

 

 

 

R

 

 

 

> "0;

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b1

хдимостиабсолютнодится

.

 

 

3) Покажем, что пðè > 1 данный èíтеграл

 

Поскольку sin x

 

 

 

1

 

, а интеграл

R

 

сходится при > 1, то при

интеграла.

 

x

 

 

 

 

 

 

 

x

 

 

 

 

 

+1

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

этих интеграл

 

 

R

 

 

dx сходится по признаку срав

 

 

 

íèÿ.

 

 

 

1

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

не является

 

 

4) Ïîêàæåì, что при 2 (0; 1 данный

 

 

 

 

 

 

 

sin

 

x =

 

 

 

 

 

 

 

 

 

. Ïðè 2 (0; 1

 

 

теграл

 

 

 

 

интегралсхоäèòñÿ, à èí-

абсолютно сходяùèìñя. Поскольку 0

j sin xj

 

 

1, òî j sin xj

 

 

 

2

 

 

 

1 os 2x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

dx

 

 

 

 

 

 

 

теграл

R

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

os 2x dx ñõ

 

 

 

я о призн ку Дирихëå (так как ункция

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

монотон

 

os 2x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ункция

 

 

 

 

 

 

еет огра иченную ïåð îîáðàçíóþ,

 

 

 

 

 

 

 

íîñòè

 

1

 

 

x

íногодитсеграла поëó÷àåì

 

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

 

 

 

 

 

 

 

 

 

 

óëþ). Î ñþäà â ñè

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

ñтремиòñÿ ê

 

 

 

 

 

следствия из свойства линей-

+1

1 несобствеos 2x dx, . е. интеграла

+1

sin x dx.

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

2 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 238x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ëà

Îòñ+1 þäà

 

 

 

из признак

сравнения следует расх димость интегра-

 

R

 

 

sinx x

 

dx ïðè 2 (0; 1 . Ïîñê

 

 

 

 

 

 

 

 

 

, как показано на первом

этапе,1 при > 0 исх

 

 

 

 

 

интегралолькусх дится, то при 2 (0; 1 этот

интеграë ñõî

 

тся условно.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

я абсолютно, при 2

 

 

Ответ:

ïðè

> 1

данный интеграл х

 

 

 

 

 

 

2 (0; 1 сходитсÿ условно, при 0

 

 

ðàñõ

 

 

 

 

 

ÿ.

 

 

 

 

 

 

 

 

 

 

èíòегралы

 

 

 

R

 

 

 

1 dx ðасх дится, то

 

äûíèñõ

òдныйегðàльноеинтеграл расДирихле,одит

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

Исследовать

 

 

 

íà

 

 

 

 

 

 

дитсх димость

 

 

 

интеграл

p Ïpèìåp

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

sin x

 

 

 

 

 

sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

x

 

 

1 +

 

 

px

 

 

 

 

dx.

 

 

 

 

 

 

 

 

 

 

ïî

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

выражени :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ешение.

 

 

 

 

 

 

 

Преобразóåì

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

 

 

 

 

sin x

 

 

 

 

 

 

 

 

 

sin x

 

 

 

sin

2

 

=

 

sin x

 

 

 

 

 

1

 

 

 

os 2x

. Поскольку

 

1 +

 

 

 

 

=

 

 

 

 

 

 

 

 

+

 

 

 

x

 

 

 

x

 

 

 

 

 

 

 

 

x

 

+1

 

x

 

 

 

 

 

 

 

x

 

 

2x

 

 

2x

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

sin x

 

 

 

 

 

 

R

 

os 2x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

dx

 

 

 

 

 

 

 

2x

 

dx сх дятся по признаку

 

 

 

 

í ê

 

èí

 

ãðàë

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

Действитdx х дитсåëüíэквивалея,о, инòåãðàë

 

 

 

 

 

 

 

1 +

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ñÿ.

 

 

 

 

 

 

 

 

 

+1

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ïðèìåð показывает что для знакоперåменных унк

ðàсхПоследнийдиòзмениться.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тную сходиìîñòü èíòåãðàëà

ций при заменå óíêöèè íà

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

ñõ.

 

 

 

 

 

 

 

 

 

 

 

может

 

 

 

 

 

 

 

 

 

 

 

 

 

ÿ.

 

 

 

 

 

 

 

 

 

 

 

 

 

1 +

 

 

p

 

 

 

 

 

 

 

ïðè x ! +1, îä-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

sin x

 

 

 

 

sin x

 

 

 

 

Òåîpåìà

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

p

 

 

 

 

3. (П изнак Абеля.) Пусть ункция f(x)

 

 

 

x

 

 

а ункция

 

 

 

 

 

 

1

 

 

 

 

x

 

âíî

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

x

 

 

 

 

 

 

 

(x) непрер

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ема на промежуткнепрåðû[a;âíà,b)

b 2 R [ f+1g. Пусть вû

 

 

 

ди еренцирусловия

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

интеграл

R

 

f(x) dxполненысх дится;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

íà [a;

 

);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. . g0

(x) 0 8x 2 [a; b).

 

 

1)3

 

ункция g ограничеубываетстрого

bíà [a; b),

 

 

 

Òîã

 

 

несобственный

интеграл

R

 

f(x)

 

(x) dx х дится.

 

îãðà-

 

 

Докдазательство. Так как ункция g

 

нестрогî убыва

 

ничена на [a; b), то существует

 

 

a

 

 

 

 

 

g(x) = g0 2 R. Çàìåòèì, ÷òî

 

lim

 

 

 

ункция g~(x) = g(x) g

 

 

 

 

 

 

 

x!b 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

g~(x) = 0.

0

нестрого убывает на [a; b) и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

239

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x!b 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

f(x) g~(x) dx сходится.

 

эт му в силу признака Дирихле интеграл Ra

 

 

ольку f(x) g(x) = f(x) g~(x) + f(x) g0, причем интеграл

b

f(x) dx

 

 

R

Поскх дится по у

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

в ю теоремы, то по свойству линейности интеграл

R

f(x) g(x) dx ñëõîдится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

Следствие. Пусть у кция f(x)

 

 

 

 

 

 

 

 

а ункция

 

(x)

a

 

 

 

 

 

 

 

 

 

 

=6 0. Тогда интеграл

a

f(x) g(x) dx

имеетнепрерывна,тот ж тип сходимости и

непрерыв о ди ере циру

 

на промежутк

 

[a; b), b 2 R [ f+1g.

Пусть ункция

g монотонíемана [a; b)

 

lim

 

 

g(x) = g

0

2 R, g

0

=6

 

 

 

 

 

 

b

 

 

 

 

 

 

x!b 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

f(

 

) dx.

 

 

 

 

 

 

 

 

 

 

 

абсолютной х димости, что и интеграл a

 

 

 

jf(dx)j ïðè

дятся илиазательстворасх дятся одновременно,

b

àê êàê jf(x) g(x)j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

Äîê

 

 

. Интегралы

R

jf(x) g(x)j dx è

R

 

jf(x)j

 

ñõî-

 

 

 

 

a

a

 

 

x ! +1. Докажем теперь, что интегралы a

 

 

 

 

 

 

ñõ.

 

 

f(x) dx

f(x) g(x) dx è a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

b

 

 

R

 

 

 

 

интеграла

R f(x) dx. Òàê êàê lim

g(x) = g

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

=6 0,следуто ществудимостьчис

õî

 

тся или расходятся о

 

 

 

 

 

. Если интеграл a

 

f(x) dx

 

õ

 

дится,

нтеграл a

f(x) gдновременно(x) dx сх дится по признаку Абеля. П ка-

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ëî a1

2 [a; b) ò

 

 

 

 

 

R

 

 

 

; b) ункция g(x) í îáðà

ое, что на промежутке [a1

æåì,

что из сходимости интеграла a

f(x) g(x) dx

 

åò

 

õî

 

 

 

 

 

 

 

 

b

 

 

 

x!b 0

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

òî â

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(x) g(x) dx

 

признакмонотоннаАбеля из сходимости èíòеграла a1

щается в нуль. Поэтому ункция g1

(x) =

 

 

1

 

непрерывно

äè å-

ренцируема

 

 

íà [a1

 

 

 

 

 

 

 

g(x)

 

 

 

 

 

 

 

 

 

 

(x),

 

 

; b). Поскольку f(x) = f(x) g(x) g1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

следуетсилух димость интеграла

b

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

R f(x) dx. Применяя принцип лока-

 

 

 

 

 

 

 

 

 

a1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

лизации, получаем требуемое утверждение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

240

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пpимеp+1. Исследовàть на сходимость и абсолютную сх димость

интегралешениеR1 x. Заметln 1 +м,x1 чтоsin x2lndx1. +

1

 

 

 

 

1

 

 

 

 

 

x ! +1. Следо-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

1

 

x

справåдливо рàâенство

вательно, для уíêöèè g(x) = x ln

 

 

 

 

 

 

 

 

 

 

 

1 + x

 

 

lim

g(x) = 1. Кроме того,

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

1

 

 

1

 

x!+1

 

 

 

 

 

 

1 +

 

1

 

 

 

 

1

 

 

=

 

 

 

 

 

2

1

+ o

=

g0(x) = ln

 

 

 

x

 

 

1 + x

 

x

 

2x

x

 

 

x

x

2

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

+ o

 

 

1

=

 

1

 

(1 + o(1));

 

 

x ! +1:

 

 

 

 

Поэтому

 

 

 

 

2x2

 

 

 

x2

 

2x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

åò ÷èñëî x

 

 

> 1

 

 

 

àêîå, ÷òî g0

(x) > 0 для любого

x > x .

 

 

 

 

 

 

 

 

 

 

 

 

ëàñíî

ñëедствèþ

 

 

из признака Абеля

принци-

абсолютнойПоэтосущехмуствäèумости, чтоинтегралинтеграл

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

пу локализации

 

 

îãõ äíûé

 

 

0

 

 

 

 

 

 

 

 

имеет тîт же тип сходимости и

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

2

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

x

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

Z

x 1 sin x2 dx =

 

 

 

 

 

 

t;

 

 

 

 

 

 

 

 

 

=

 

 

Z

 

 

1 =2 sin t dt:

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

2

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ÿ ïð ìåð,

 

 

 

 

 

 

 

 

 

 

 

 

 

2 t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷òî

 

ходный

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ííûé ðàíåå,

 

 

 

 

 

 

 

 

 

интеграл сход

 

òñÿ абсолютно при 1

 

 

 

> 1,получаем,т. . пðè < 0;исходится

Иссловноïользупри 1

2

 

2рассмотр(0; 1 , . å.

 

 

 

 

 

 

 

 

2 [0; 2) и расходится при

 

 

0 ò. å.

 

ïðè

2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2Задача 1.

 

 

 

 

 

 

ункции fпри g

 

 

епрерывны на луче [1; +1),

èí

Ïó

 

 

 

 

 

 

 

 

еграл

1

 

 

f(x) dxстьходится

абсолютно, а интеграл

1

g(x) dx ñõî-

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

äÿòñÿ ó

 

 

 

 

 

 

. Может ли интеграл

 

 

R

 

 

 

 

f(x) g(x) dx

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

à)á

рассловнох диться ?

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х диться условно,

 

 

 

 

 

241

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ëàâà 9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ÿ 1.

 

 

ЧИСЛОВ Е P Д

 

 

 

 

 

 

 

 

 

 

ÿ î

 

 

 

 

 

 

 

 

 

 

 

и н которы с ойст

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

 

 

 

 

 

 

последовательность

 

 

 

Опpеделение.

Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fa

 

g

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

уммой ря-

 

k=1

. ЧислоОпрS =

л aни зывданаетсчисловаяn-й ч стичной

 

k

 

 

 

 

 

n

 

k=1

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

g называются чл н ми

 

 

P a

 

. Элементы последовàтельности fa

 

 

k=1

 

k

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

этого ря . Суммой ряда k=1 ak называется предел частичных сумм:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Xa

 

 

= lim

 

 

n

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

Xa

 

 

 

 

 

 

 

ÿä

 

 

 

 

 

 

 

 

 

 

k=1

 

 

 

 

 

 

n!1 k=1

k

 

 

 

 

 

 

 

 

P ak называется сх ящимся, если существует конечн й пре-

 

 

 

 

k=1

 

 

 

 

 

 

 

 

 

 

ðÿäà,

 

 

 

 

 

 

 

 

 

 

случае р

называетс

дел частичных сумм

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ð

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

словие сх димости ряда.) Если ряд

P

 

Теоpема 1. (Необхэтогодимое

 

 

 

 

 

 

 

 

 

 

 

lim a

 

 

= 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

схоa ящимсядится, то

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=1

 

k

 

 

 

 

 

 

k!1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ÿ, òî

существует

Доказательство. Посколькупротивномяд сх

 

 

lim Sn

 

= S 2 R.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim Sn 1

=äèòñS

 

lim (Sn Sn 1) =

n!1

 

 

 

 

 

 

 

 

 

 

a

 

 

= S

 

 

n!1

 

, òî

lim a

!1

 

= S S = 0. Ïîñê

 

 

 

n

 

n

S

n 1

= 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!1

 

n

ой прогрес

 

 

 

Пpимеp. ПриСледовательно,олькуаких q сх дится ряд из

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

6!0 (kгеометрическ! 1), . . не выпол

ñèè k=1 qk?

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ешение. При jqj 1 имеем q

 

 

няется необх димое условие

 

õî

 

 

 

 

 

 

 

ÿäà, è,

 

следовательно, яд

расх дится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть jqj < 1. Воспользовавшись ормулой для суммы геометри-

÷åñêîй прогрессии

(которую легкдимостидоказать по индукции), получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

242