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

Лекции / Metodichka_Grishina (1)

.pdf
Скачиваний:
5
Добавлен:
17.05.2024
Размер:
6.66 Mб
Скачать

Пример

7. Вычислить по формуле Грина криволинейный интеграл:

Pdx Qdy

для поля

 

 

 

 

 

 

 

 

L

F e

x

sin y y; e

x

cos y 1 по верхней полуокружности x

2

y

2

2

 

 

 

 

A(2;0)

до точки O(0;0)

 

 

 

 

 

 

 

x

 

x

 

 

 

Qx

Py

e

 

cos y e

 

cos y 1

1

. Тогда по формуле Грина

 

Pdx Qdy 1dxdy

 

Pdx Qdy Pdx Qdy

 

L1 L2

 

D

2

L1

L2

 

Интеграл по L2

(отрезку) равен: Pdx Qdy 2

P(x, 0)dx 0

и Pdx

 

 

 

 

L2

0

 

L

5. Теорема Гаусса-Остроградского

x

, проходимой от точки

Qdy

 

.

2

 

 

f

,g

(x, y, z) R

3

: (x, y) D, g(x, y) z f (x, y) стандартная по оси z

Пусть область GD

 

 

ограниченная цилиндрической поверхностью с направляющей

D и образующей, параллельной

оси oz , и двумя поверхностями z g(x, y) (нижняя) и z f (x, y) (верхняя). Поверхность,

 

 

 

 

 

f

, g

, ориентирована внешней нормалью.

ограничивающая область GD

 

Вычислим тройной интеграл

 

 

 

 

 

 

R

 

f ( x, y )

R

 

 

 

 

dxdydz dxdy

 

dz R(x, y, f (x, y))dxdy R(x, y, g(x, y))dxdy

z

 

z

G

D

g ( x, y )

 

D

D

 

 

 

 

 

 

 

R(x, y, z)dxdy R(x, y, z)dxdy

 

 

 

S

2

S

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

Поверхностный интеграл по плоскость xoy в границу D

боковой поверхности S3 равен нулю, поскольку она проектируется на

, имеющую меру ноль. Тогда интеграл по поверхности

S S

S

S

1

2

3

равен

R(x, y, z)dxdy R dxdydz

(2)

S

G

z

 

 

 

Аналогичные формулы справедливы для других осей

ox

и oy :

Q(x, y, z)dxdz

Q

dxdydz,

P(x, y, z)dydz

P

dxdydz

y

x

S

G

 

S

G

 

 

 

 

 

(2)*

Объединяя (2) и (2)*,получим формулу ГауссаОстроградского:

 

Pdydz Qdxdz Rdydz Px Qy Rz dxdydz

(3)

S G

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2 y

 

 

6 yz2 ; 2xarctgy;

2xz(1 y) 1 y2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 6. Вычислить поток поля F

 

 

 

 

 

 

 

 

 

через

 

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 y

 

 

 

внешнюю сторону поверхности параболоида z 1 x

2

y

2

, z 0

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

Q

 

R

 

 

2xy

 

2x

 

 

2x(1 y)

0

. Тогда поток по замкнутой поверхности S S S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

y

 

 

z

 

 

1 y

2

 

1 y

2

 

 

1 y

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(параболоид + круг) равен нулю. Поток по кругу x

2

y

2

1

на плоскости xoy равен:

 

 

 

 

 

 

 

 

 

 

x2 y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

z 0

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F

 

 

 

1

y

 

 

; 2xarctgy; 1

, n

0; 0; 1

 

 

 

 

F, n

 

 

1 П

 

1ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S2

 

 

 

 

Тогда поток по поверхности параболоида

 

F, ne ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Циркуляция векторного поля

Циркуляцией векторного поля называют интеграл

F P;Q; R

вдоль замкнутой ориентированной кривой

L

 

 

 

 

Ц Pdx Qdy Rdz F , dr

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

 

y

2

 

 

 

 

 

 

 

 

 

 

 

3

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

вдоль эллипса

 

 

 

 

 

 

1

Пример 8. Вычислить циркуляцию векторного поля F y

; x

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

проходимого в положительном направлении.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

a cos

, 0; 2 ,

dr dx; dy a sin d ;b cos d

Параметризация эллипса

 

 

 

 

 

 

 

 

y

a sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Pdx Qdy (ab

3

sin

4

ba

3

cos

4

)d Pdx Qdy ab

(b

2

sin

4

a

2

cos

4

)d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

ab

2

 

 

 

 

 

 

 

 

 

3 ab(a

2

b

2

)

 

(b

2

(1

cos 2 )

2

a

2

(1 cos 2 )

2

)d

 

 

4

 

 

 

 

4

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ротор векторного поля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

j

Ротором векторного поля F P;Q; R называется вектор rotF

 

/ x

/ y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

Q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 9. Найти ротор поля F x z; y z; x

2

z

 

 

 

 

 

 

 

 

 

 

 

i

j

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

rotF

/ x

/ y

/ z

 

1;1

2x; 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y z

x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

x z

 

z

 

 

 

 

 

 

 

 

Свойства ротора

1. линейность

k

 

 

 

/ z

 

 

R

 

 

.

rot F1 F2

2.

rot( (x, y,

 

 

 

 

 

 

rot( F )

 

 

 

 

 

 

 

 

 

Q

 

x

x

 

 

 

 

 

rotF1 rotF2 ,

rot( F ) rotF

z) F ) rotF grad , F

 

 

 

 

i

j

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/ x

/ y

 

/ z

 

R

 

R Q Q i R

R P P j

 

 

 

 

 

 

y

 

 

y

 

z

z

 

 

x

x

z

z

 

P

Q

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

j

 

k

 

 

 

 

 

 

Q P

P k rotF

 

/ x

/ y

/ z

 

rotF grad , F

 

 

 

 

y

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

Q

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. Если a , b постоянные поля (векторы), r

 

 

x; y; z

 

 

 

 

 

 

 

 

 

 

 

 

, то rot

 

r , a

 

b

 

 

 

a, b

 

Если F b , (r , a ) xa1 ya2

za3

, то по свойству 2

 

 

 

 

 

 

 

 

 

 

rot r , a b grad , b

a , b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4. Пусть r x; y; z , r

x

2

y

2

z

2

,

f (r)

дифференцируемая функция. Тогда

 

 

 

rot( f (r) a )

f (r)

r , a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Действительно, по свойству 2 для F a

имеем:

 

 

 

 

 

 

 

 

 

 

 

rot( f (r) a ) gradf (r), a

 

f

r , a

 

 

f

 

r , a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5. Для полей

F , F

1

2

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

div F , F

 

 

 

F

, rotF

 

(F , rotF )

1

2

 

 

2

1

1

2

Действительно,

rotF

F

1

1

 

 

;

 

;

 

, где

 

 

 

- оператор Гамильтона

 

 

 

 

x

 

y

 

z

2

1

 

2

1

 

 

1

2

 

 

1

2

 

 

1

2

 

 

1

2

(F

, rotF )

 

F

, F

bac cab

 

, F

F

 

 

F

, F

 

 

div F , F

 

 

F , rotF

Теорема Стокса

 

 

 

 

 

 

Циркуляция поля F

 

P;Q; R

по замкнутому, положительно ориентируемому контуру

поверхности S равна потоку поля rotF

через поверхность S .

L

на

 

Pdx Qdy Rdz

 

e

 

 

 

rotF, n

dS

L

 

S

 

 

(7)

 

x x(u, v)

Док. Пусть поверхность S

 

задана параметрическими уравнениями y y(u, v) , (u, v) Du,v

 

 

 

z z(u, v)

 

Pdx

 

u

v

 

 

 

 

 

 

 

 

v

 

 

 

 

u

 

 

dudv

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P x du x dv формула Грина

 

u

Px

v

Px

 

L

 

 

D

 

 

 

 

 

 

D

 

 

 

 

 

 

 

 

 

uv

 

 

 

 

 

uv

 

 

 

 

 

 

 

 

 

 

 

 

 

x

u

y u

z u

v

uv

x v

y v

 

z

v

u

 

uv

 

 

 

 

 

 

 

(P x

P y

P z )x Px

((P x P y

 

P z )x

 

Px

)

 

dudv

 

 

D

 

 

 

 

 

uv

 

 

 

 

 

 

z

u v

 

v u

 

 

P (z x z x

 

D

 

 

 

 

 

uv

 

 

 

 

 

 

 

 

 

 

Напоминаем, что ru

Аналогично,

 

Qdy

 

) P (x y x

y

u v

v

rv A; B;C

Qx cos

u

 

 

 

 

z

y

 

 

 

 

z

 

y

y )

 

dudv

 

(P B P C)dudv

 

(P cos P cos )ds

 

 

 

D

 

 

 

 

 

 

S

 

 

 

 

 

 

uv

 

 

 

 

 

 

 

 

 

 

, cos

A

 

; cos

B

 

; cos

C

 

 

 

 

 

 

 

r r

 

 

r r

 

 

 

r r

 

 

u

 

v

 

 

u

v

 

 

 

u

v

 

cos ds и

 

Rdz

 

 

 

 

 

 

cos ds .

Qz

 

 

Ry

cos Rx

L

S

L

S

Складывая интегралы, получим

 

 

 

y

z

x

z

x

y

 

 

 

e

 

 

Pdx Qdy Rdz

 

(R

Q ) cos (R P ) cos (Q P ) cos

 

ds

 

rotF, n

ds

L

S

Пример 10. Вычислить циркуляцию векторного поля F y

а) непосредственно; б) по формуле Стокса

 

x 2 cos

dx 2 sin d

2

 

 

 

 

 

dy zdz y 2 sin dy 2 cos d

Ц ydx x

L

 

z 3

 

dz

0

 

 

 

 

 

 

 

По формуле Стокса:

; x2

 

; z

2

 

 

2

0

 

S

по контуру L :

sin

2

8 cos

3

 

 

x

2

y

2

4

 

 

 

 

 

z 3

 

 

d 4

 

 

 

i

j

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

e

 

rotF

/ x

/ y

/ z

 

0; 0; 2x 1 ,

n

 

0; 0;1

 

 

rotF, n

2x 1

 

 

 

y

x

2

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

cos dr 4 0 4 4

Ц (2x 1)ds 2xdxdy 4 2 d r

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

 

 

 

 

 

 

 

 

 

 

 

Вопросы к экзамену

1.Формула Грина для сведения криволинейного интеграла к двойному.

2.Формула Остроградского-Гаусса для сведения поверхностного интеграла к тройному.

3.Ротор векторного поля. Свойства ротора

4.Циркуляция векторного поля. Формула Стокса для сведения криволинейного интеграла к

поверхностному

Ф-03-Лекция -11. Ряды с положительными членами. П.1 Понятие числового ряда. Основные понятия.

Рассматривается числовая последовательность an вещественных (или комплексных)

чисел. Сумма первых k

ее членов называется k

ой частичной суммой:

k Sk an

n 1

числового ряда.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ОПР. Числовой ряд an

(1) называется сходящимся, если существует конечный предел

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

частичных сумм, т.е. S lim

an - сумма числового ряда.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Член an последовательности an называют общим членом числового ряда. Если предела

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

не существует или он бесконечный, то соответствующий

числовой ряд называют расходящимся.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ПРИМЕР 1. Исследовать на сходимость числовой ряд с общим членом

an

q

n

 

 

 

(ряд геометрической прогрессии).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

РЕШЕНИЕ. Воспользуемся формулой суммы

k членов геометрической прогрессии:

 

a (1 q

k

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a (1 q

k

)

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Sk

1

 

 

 

 

. Если

q

 

1 , существует предел S lim Sk

lim

1

 

 

=

 

1

.

1 q

 

 

 

1 q

 

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

k

 

 

1

 

 

 

 

 

 

для любого n ,

 

 

 

 

 

 

 

 

 

 

 

 

 

При

q 1

an

1

Sk

k и соответствующий ряд расходится.

 

 

 

При q 1

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

 

1

 

 

k

1 ограничена, но не имеет предела, и ряд

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

также расходится. Расходимость ряда при

 

q 1

следует из неограниченности

 

 

 

 

 

 

 

 

 

 

 

 

q(1 q

k

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

и, как следствие, отсутствие у нее предела.

 

 

1 q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применяя к Sk

критерий Коши для последовательности, получим

 

 

 

 

 

 

КРИТЕРИЙ КОШИ для числового ряда.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Числовой ряд

an сходится в том и только в том случае, если

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

N

 

: m N

 

и n m a

m 1

a

m 2

... a

n

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ДОКАЗАТЕЛЬСТВО. Последовательность

Sk сходится в том и только в том случае,

если к ней применим критерий Коши:

0 N

 

: m N

и n m S

n

S

m

a

m 1

a

m 2

... a

n

 

.

 

 

 

 

 

 

 

 

Замечание. Из критерия следует, возможность предельного перехода в неравенстве:

Ряд

0

am

k 1

N

k

 

: m N

 

a

m 1

 

 

 

 

называют остатком

 

 

am 2 ... am k

 

k 1

 

ряда (1). Он содержит все члены ряда (1) с номерами n m .

Для сходящегося ряда (1) сумма остатка равна S Арифметические свойства сходящихся рядов.

1.Если два ряда an (1) и bn (2) сходятся, то

n 1

n 1

Sm

и она стремится к нулю с ростом m .

ряд an bn также сходится и

n 1

an bn an bn

n 1

n 1

n 1

 

 

 

 

2.

Если ряд an

сходится, то ряд an

 

n 1

n 1

 

 

 

 

 

 

 

an

 

 

 

n 1

 

 

 

 

 

3.

Сходимость и расходимость ряда an

 

 

n 1

также сходится для любого

an

n 1

илюбого его остатка am k

k 1

и

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

4. Для любой подпоследовательности номеров nk

 

, nk 1

k 1

 

 

 

 

где bk an

1 an 2 ... an

. Тогда из сходимости ряда (1)

k

k

k 1

 

 

имеют одинаковые суммы.

 

 

Заметим, что между частичными суммами рядов (1) и (3)

k

 

 

 

рассмотрим ряд

k

(3),

n

b

 

 

k 1

 

следует сходимость (3) и они

справедливо соотношение:

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

3

 

 

b

(a a

... a

) (a

 

a

 

... a

 

) ... (a

 

 

 

a

 

... a

) S

1

m

 

1

2

n

n

1

2

n

 

 

k

1

2

n

n

n

 

 

 

n

n

 

 

 

 

 

 

 

 

1

1

 

1

 

 

 

2

 

m 1

 

 

m 1

 

m

 

m

 

 

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т.е. S 3

является подпоследовательностью S 1

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

означает существование

 

 

 

m

 

 

 

 

 

 

 

 

n

 

 

 

n

 

 

 

 

 

 

такого же предела для любой подпоследовательности. ТЕОРЕМА1. (НЕОБХОДИМОЕ УСЛОВИЕ сходимости ряда)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если ряд an

сходится, то lim an

0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ДОКАЗАТЕЛЬСТВО. По критерию Коши 0 N

: n N

Sn

Sn 1

an

Существуют расходящиеся ряды, для которых lim an

 

0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

ПРИМЕР 2. (гармонический ряд).

Доказать, что ряд

 

расходится.

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

РЕШЕНИЕ. Действительно, S

n S

 

 

 

1

 

 

 

1

 

 

...

 

1

 

 

2

n 1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

n 1

 

n 1

 

 

 

n 1

 

n 1

 

 

 

n

 

2

 

2

 

 

2

1

2

2

2

2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для любого n , и критерий Коши для последовательности

Sk не выполняется, т.е.

расходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П2. Ряды с положительными членами.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если an

0

для любого n , то ряд (1) называют рядом с положительными членами.

.

1

2

ряд

ТЕОРЕМА 2. Для сходимости числового ряда с положительными членами необходимо и достаточно, чтобы последовательность его частичных сумм Sk была ограниченной.

ДОКАЗАТЕЛЬСТВО. Если ряд

an

n 1

(1) сходится, то последовательность

S

k

 

имеет

предел и является ограниченной. Если ряд an с положительными членами, то

n 1

Sn 1 Sn an 1 Sn для любого n , т.е. последовательность Sk монотонно возрастает. Если Sk ограничена, то она, как известно, имеет предел и ряд (1) сходится. Применение этого простого (необходимого и достаточного!) условия сходимости рядов с положительными членами затруднено тем, что нахождение частичных сумм Sk не всегда

возможно.

ТЕОРЕМА 3. (Признак СРАВНЕНИЯ 1 для рядов с положительными членами)

 

 

Если ряды an

(1) и bn (2) с положительными членами удовлетворяют условию:

n 1

n 1

an bn для всех n N , то из сходимости ряда (2) следует сходимость ряда (1) и из расходимости ряда (1) следует расходимость ряда (2).

ДОКАЗАТЕЛЬСТВО. По свойству 3 можно полагать, что неравенство an

bn

 

 

 

 

частичные суммы рядов (1) и (2), то

выполняется для любого n. Если Sk

и Sk

 

 

и из ограниченности частичных сумм ряда (2) следует ограниченность частичных

Sk

Sk

сумм ряда (1) и на основании теоремы2 сходимость ряда (1). Если ряд (1) расходится, то

 

 

неограниченны. Тогда на основании теоремы 2 ряд (2)

Sk

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

расходится.

ТЕОРЕМА 4. (Признак СРАВНЕНИЯ 2 для рядов с положительными членами)

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

Если ряды

 

a

 

(1) и

 

b (2) с положительными членами удовлетворяют условию:

 

 

 

 

n 1

 

 

 

n 1

 

 

 

 

 

lim

a

n

 

, то при 0

сходимость и расходимость рядов (1) и (2) одновременная.

 

 

 

n b

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если 0

, то из сходимости ряда (2) следует сходимость ряда (1), а из расходимости ряда

(1) следует расходимость ряда (2).

 

 

ДОКАЗАТЕЛЬСТВО. Пусть 0.По определению предела, для

/ 2 N : n N an

3

bn и bn

2

an . Тогда на основании теоремы 3 из

2

 

 

 

 

 

 

 

 

 

 

 

 

 

сходимости (1) следует сходимость (2) и наоборот. Из расходимости (1) следует

расходимость (2) и наоборот. Пусть 0

. Тогда 0 N : n N an bn . Из

последнего неравенства утверждения теоремы 4 следуют из теоремы 3. Теорема 5 (Интегральный признак сходимости)

Если y f (x) монотонно убывающая на D 1; функция, f (x) 0

и интеграл

 

 

 

 

 

 

 

 

 

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

с общим членом an

 

 

1

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

1

 

 

 

 

ДОКАЗАТЕЬСТВО. Из монотонности:

f (n 1) f (x) f

f

(

(n)

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

n) для всех x n; n 1 . Тогда

 

n 1

 

f (n 1)

 

f (x)dx

 

n

 

f

(n)

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

1

f (x)dx

, то

0 N : n N, m n m f (x)dx f (n) f (n 1) ... f (m) m f (x)dx

n 1 n 1

и для ряда (1) выполняется критерий Коши и ряд сходится. Если интеграл расходится, то

 

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

f (x)dx неограниченная и частичные суммы

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

3

 

 

 

 

k 1

 

k 1

 

Sk f (1) f (2) ... f (k)

 

f (x)dx

 

f (x)dx

...

 

f (x)dx

 

f (x)dx также

 

 

 

 

 

 

 

 

1

 

 

 

 

2

 

 

 

 

k

 

1

 

неограниченны. Последнее свидетельствует о расходимости ряда (1).

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

ПРИМЕР 3. Исследовать на сходимость ряд

 

в зависимости от параметра p.

p

 

 

 

 

 

 

 

 

 

 

 

1

n

 

 

 

 

 

 

РЕШЕНИЕ. Если p 0

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

Пусть p 0 . Тогда функция f (x)

1

 

монотонно убывает на 1; и интеграл

 

 

 

 

 

 

 

x

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

1

 

 

 

 

 

 

 

 

x

1 p

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

f (x)dx lim

 

 

dx lim

 

 

 

 

 

 

x n

 

 

 

 

 

. Если p 1, то интеграл сходится

 

 

p

 

 

 

 

 

 

 

 

x 1

 

lim

 

p 1

1

1

 

 

 

 

 

n

 

1

 

x

 

 

 

 

 

 

 

n 1 p

 

 

 

 

 

1 p n

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и по интегральному признаку сходится ряд. Если 0 p 1, то интеграл расходится и по

 

интегральному признаку расходится ряд. При p 1 (гармонический ряд) расходимость

 

ряда была доказана в примере 2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ТЕОРЕМА 6. (Признак ДАЛАМБЕРА для рядов с положительными членами).

 

 

 

1. Если общий член an

0

ряда (1) удовлетворяет условию: существует константа

 

 

 

: 0 1, для которой an 1

an

n n0 , то ряд (1) сходится;

 

 

 

 

 

 

2. Если выполняется противоположное неравенство an 1

an , n n0 , то ряд (1)

 

 

 

расходится;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

1

 

 

 

 

3. Если существует предел lim

 

 

n 1

1, то ряд (1)

сходится. Если lim

n

1, то ряд

 

 

a

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

1

 

(1) расходится. Существуют сходящиеся и расходящиеся ряды (1), для которых lim

n

1

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ДОКАЗАТЕЛЬСТВО.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.Перемножим неравенства ak 1

ak , k n0 , n0 1,..., n 1 . Тогда

 

 

 

 

 

 

an 1

an 2 ... an 1

an

 

n n

an

an 1 ... an 1

an

an

 

n n

.

 

 

 

 

 

 

 

 

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

Ряд с общим членом bn

 

an

 

n n

при 0 1

является сходящимся (ряд геометрической

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

прогрессии), поэтому по признаку сравнения 1 ряд (1) сходится.

 

 

 

 

 

 

2. Ряд (1) расходится по невыполнению необходимого признака сходимости.

 

 

 

3. Если lim

an 1

 

1,

то для

1

существует

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

n0 : n n0

 

 

 

 

n

 

 

 

 

 

an 1

an ,

 

 

 

 

1 и для ряда (1) выполнено условие

 

 

a

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

пункта 1 теоремы и ряд сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если lim

n

1, то для

 

 

 

 

 

 

 

 

существует

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n : n n

 

 

an 1

 

1 1 a

a , 1 1 и ряд (1) расходится по

 

 

 

 

 

 

0

 

 

 

 

0

 

 

 

 

 

an

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

n 1

 

 

n

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

невыполнению необходимого признака.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

Для всех обобщенных гармонических рядов с общим членом an

 

 

 

 

 

 

 

 

n p

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

n

p

 

 

 

 

 

 

 

 

 

n

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

n

lim

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

1, p , но среди них есть расходящиеся (пример 2) и

 

a

 

(n 1)

p

 

 

 

 

 

 

 

n

 

 

 

n

 

 

n

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходящиеся (пример 3, p 1).

ТЕОРЕМА 7. (РАДИКАЛЬНЫЙ признак КОШИ)

Пусть an ряд с положительными членами, для которого

n 1

1.общий член an 0 удовлетворяет условию: существует n0 , для которого

nan 1, n n0 .

Тогда ряд (1) сходится.

2.

Если общий член an ряда(1) удовлетворяет условию: существует возрастающая

подпоследовательность номеров nk , для которой

n

k

 

ank

1, то ряд (1) расходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.

Если lim

n

an

1, то ряд (1) сходится. Если lim

n

an

1, то ряд (1) расходится.

 

 

 

 

 

 

 

 

 

 

 

При lim

n

 

1

 

 

n

 

 

 

 

n

an

существуют ряды сходящиеся и расходящиеся.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

1.

Из условия теоремы следует, что an

n

, n n0

 

и сходимость ряда (1) следует из

 

 

признака сравнения 1, поскольку ряд геометрической прогрессии (пример 1) при 1 сходящийся.

2. При выполнении условия теоремы an

 

 

n

и при

1

не выполняется необходимый

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

признак сходимости, т.е. ряд (1) расходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

n

3. Если lim

 

an

1, то для

n0

: n n0

 

an

(

)

n

 

n

 

 

 

 

 

 

 

 

и ряд (1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

мажорируется рядом сходящейся геометрической прогрессии.

 

 

 

nk

, для которой

Если lim

n

an

1, то существует подпоследовательность номеров

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

3 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

 

k

 

 

 

 

 

 

n

, 1,

k

, то ряд (1) расходится по невыполнению

 

 

2

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

необходимого признака.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

p ln n

 

 

 

 

 

 

 

 

 

 

Для обобщенно гармонических рядов lim

n

lim e

n

1

при любых p 0

и среди них

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

n

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

существуют сходящиеся и расходящиеся ряды.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 4 Исследовать на сходимость ряд

 

 

 

 

 

(4) при

a 1

и различных значениях

n log

p

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 2

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

параметра p .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применим интегральный признак Коши:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)

 

 

 

1

 

 

 

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

2;

 

и интеграл для p 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x log p

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

du

 

 

 

 

 

u

1 p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln

p

a

 

u ln x ln

p

a

 

 

 

 

 

p

a

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

p

 

 

 

p ln

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

x log

a

x

 

 

 

 

 

2

x ln

 

x

 

 

 

 

 

 

 

 

 

ln 2

u

 

 

 

 

 

1 p

u ln a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходится при p 1 расходимость ряда

При p 1

интеграл

ирасходится при p 1. По интегральному признаку Коши это означает

(4)при p 1и его сходимость при p 1.

 

dx

 

 

dx

 

du

 

 

 

 

ln a

u ln x ln a

 

 

x log

a

x

x ln x

u

ln a ln(ln x)u ln a

2

2

ln 2

 

 

 

 

 

 

 

 

 

1

 

расходится и поэтому ряд

расходится

n loga n

n 2

 

Следующий признак помогает разобраться с ситуацией 1 .

ЛЕММА. Ряды

an

n 1

(1) и bn (2) с положительными членами удовлетворяют условию

n 1

n0 : n n0 an 1 bn 1 (5) , то an bn

1.из сходимости ряда (2) следует сходимость ряда (1);

2.из расходимости ряда (1) следует расходимость ряда (2).

ДОКАЗАТЕЛЬСТВО. Перемножим неравенства (5) для n n0 , n0 1,..., n 1

. Тогда

an 1 an 2 ... an

 

 

bn 1

bn 2

... bn

 

0

 

0

 

 

 

 

0

0

 

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

an

an 1 ...an 1

 

 

bn bn 1

...bn 1

 

 

 

 

0

 

0

 

 

 

 

 

0

0

 

 

a

 

b

 

 

a

 

 

 

 

 

 

 

 

 

n

 

 

 

 

n

 

n

an

 

 

0

bn

, n n0 . Тогда утверждения леммы следуют из признака

a

b

b

 

 

 

 

 

 

 

 

 

 

 

n

 

n

 

 

n

 

 

 

 

0

 

0

 

 

 

0

 

 

 

 

сравнения 1.

Рассмотрим несколько достаточных признаков сходимости и расходимости, связанных с этой леммой.

ТЕОРЕМА 8. (Признак сходимости РААБЕ)

 

 

 

 

 

 

 

 

 

 

 

Пусть ряд an (1) с положительными членами и

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

1. существует число p 1, для которого n

n

 

1 p, n n0

. Тогда ряд (1) сходится.

a

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

n

 

 

2. найдется n

 

. для которого n

an

1

1, n n . Тогда ряд (1) расходится.

0

 

 

 

 

 

 

 

 

0

 

 

 

an 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. существует lim n

n

1 p . Тогда при p 1

ряд (1) сходится, при p 1

-

 

 

 

 

 

 

n

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

расходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Возьмем любое

q 1; p

. Рассмотрим замечательный предел lim

 

 

 

 

n

 

 

q .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1/ n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

Для p q существует

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n0 : n n0 q 1 1/ n q 1 q 1 1/ n q (q ( p q))

1

 

p

.

 

 

 

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1/ n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из условия теоремы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

p

 

 

 

 

 

q

 

 

a

 

 

 

 

1

 

q

 

 

n 1 q

 

a

 

 

1/ (n

1)

q

 

 

 

 

 

1

 

 

1 1/ n

1,

 

1

 

 

 

 

 

 

 

 

 

,

n

n

 

n

 

 

 

n

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

n

 

 

 

 

 

 

 

 

n 1

 

 

 

n

 

 

 

n

q

 

a

n

 

1/ n

q

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначая через b

 

 

1

 

,

приходим к условию леммы an 1

bn 1

при q 1. Тогда из

 

 

 

 

 

 

 

 

 

n

 

nq

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

 

bn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходимости ряда bn следует сходимость ряда an .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. Из условия следует

a

n

1

1

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

1

 

n

 

n

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряда bn

следует расходимость ряда an

n 1

 

 

 

 

 

 

n 1

a

1

n

a

n

 

.

 

bn 1 bn

, где bn 1n . Тогда из расходимости

 

 

a

n

 

 

3. Условие теоремы перепишем в виде

n

 

1

p o(1)

 

 

 

 

 

 

 

 

 

an 1

 

 

Соседние файлы в папке Лекции