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

Sumin_Chislovye_i_funktsionalnye_ryady_2021

.pdf
Скачиваний:
9
Добавлен:
17.05.2024
Размер:
947.59 Кб
Скачать

 

 

x

un (x) (x 3) tg

n

n 1

n 1

2

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

Отметим, что при x {0, 3} все члены исходного ряда равны нулю. Кроме того, при фиксированном x E \ {0, 3} найдется номер n0 , такой, что un (x) 0 при всех n n0 . Впрочем, отдельно проверяется, что для любого фиксированного x E \ {0, 3} все чле-

ны ряда не равны нулю в точке x.

Применим теорему 2.5 (признак Даламбера) в точках x E \ {0, 3} . Имеем

 

 

 

un (x) (x 3)n tg

 

 

x

,

 

 

 

un 1(x) (x 3)n 1 tg

 

 

x

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un 1 (x)

 

 

 

 

(x 3)n 1 tg

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

tg

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n 1

 

 

 

 

(x 3)

 

2n 1

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un (x)

 

 

(x 3)

n

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

откуда

 

 

 

 

 

 

 

 

tg

2n

 

 

 

 

 

 

 

 

 

 

 

tg 2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un 1 (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

tg

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

lim

 

x 3

 

 

 

2n 1

 

 

 

x

3

 

 

lim

2n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

n

un (x)

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

tg

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q(x) ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

tg

 

 

при n .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ряд сходится абсолютно, если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q(x)

 

x 3

 

 

 

1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т.е.

x (1, 5). Напомним, что при x 3 все члены ряда равны нулю,

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

61

ления, исключаем x (1, 5). Таким образом, ряд сходится абсолютно при x (1, ) ( , 5) и расходится при x E \ [1, 5].

В точках x1 1,

 

x2 5,

определяемых

уравнением q(x) 1,

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

 

 

При x 1 получаем знакочередующийся ряд

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

cn ( 2)n tg

.

 

 

 

 

n

 

 

 

 

n 1

n 1

2

 

 

 

Так как

 

 

 

 

 

1

 

 

 

1

 

lim

 

c

 

lim 2n tg

lim 2n

1 0,

 

 

 

 

 

 

n

 

n

 

n

 

2n

n

2n

 

 

то по следствию 1.1 из теоремы 1.3 ряд расходится. При x 5 получаем ряд с положительными членами

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

cn

2n tg

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

n 1

n 1

2

 

 

 

(отметим, что tg

5

 

 

0

при n 2 ). Так как

 

 

2n

 

 

 

 

 

5

 

 

 

 

5

 

lim c

n

lim 2n tg

 

lim 2n

5 0,

2n

2n

n

n

n

 

то этот ряд расходится. Следовательно, исходный функциональный ряд сходится абсолютно при x (1, ) ( , 5) и расходится при

x E \ (1, 5), т.е. множество сходимости X (1, ) ( , 5).

Задча 4.6. Найти множество сходимости функционального ряда

 

 

 

n

 

x

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

.

 

2

 

 

 

 

n

3

 

x

 

 

 

n 1

 

 

 

 

 

Решение. Запишем общий член ряда

u

 

(x)

 

 

n

 

x

 

n

n

 

 

 

 

 

 

 

.

 

2

 

 

 

 

 

 

n

3

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

62

Отметим, что E \ {0} и

 

x

 

1,

x 0;

 

 

 

 

 

 

x

 

x 0.

 

 

1,

Рассмотрим два случая.

1-й случай. При фиксированном x 0 запишем

un (x)

 

 

n

 

x

 

n

 

 

 

n

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

n

3

 

x

 

 

 

n

3

 

n

 

 

 

 

 

 

 

 

при n . Числовой ряд

1

n 1 n

является гармоническим и, как мы знаем, расходится (см. задачу 1.5). По теореме 2.3 (2-й признак сравнения) ряд

un (x)

n 1

при фиксированном x 0 расходится.

Таким образом, исходный функциональный ряд расходится при

x 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2-й случай. Зафиксируем

x 0.

Тогда получаем знакочередую-

щийся числовой ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

x

 

 

n

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

u

n

(x)

 

2

 

 

 

 

 

 

 

 

( 1)n

2

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1 n 3

 

x

 

 

n 3

n 1

 

 

 

 

 

 

 

 

n 1

 

 

Ряд из модулей расходится (см. 1-й случай). Покажем, что числовой ряд

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

( 1)n bn ( 1)n

 

 

 

 

 

 

 

 

 

n

2

3

 

 

 

 

 

 

 

n 1

n 1

 

 

 

 

 

удовлетворяет

признаку

Лейбница.

В

самом деле, во-первых,

bn

n

 

0

n ;

во-вторых,

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

n

 

 

 

 

 

 

n2

3

 

 

 

 

 

 

 

 

 

 

n2 3

 

убывает.

Для доказательства этого свойства рассмотрим при t 1

функцию

 

 

 

 

 

 

 

 

 

 

 

 

63

 

 

 

 

 

 

 

f (t)

 

t

 

,

 

 

 

 

 

 

 

 

 

t2 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где f (n)

n

 

,

n . Так как

 

 

 

 

 

 

 

n2 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 t2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (t)

 

 

0

 

 

 

 

 

 

 

 

 

(t2 3)2

 

 

при t

3,

то

f (t)

убывает при t

3, . Отсюда следует, что

n 2,

n ,

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

 

 

 

n

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2

3

В-третьих,

lim

b

lim

n

 

 

0.

 

Следовательно, исходный

 

3

 

 

 

n

n

n n2

 

 

 

 

 

 

 

 

функциональный ряд сходится условно при x ( , 0) и расходится при x (0, ), т.е. множество сходимости X ( , 0).

Задача 4.7. Найти множество сходимости функционального ря-

да

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

a .

n

n! 1 a

2n

x

2

n 1

 

 

 

 

 

 

Решение. Отметим, что при любом значении параметра a

члены ряда

 

 

 

1

 

 

 

1

 

 

un

(x)

 

 

 

 

 

n n! 1 a2n x2

 

 

 

 

 

определены при всех x , т.е.

E .

Применим признак Далам-

бера (см. формулу (4.2)) для нахождения множества абсолютной сходимости функционального ряда.

Если

 

a

 

1,

то

ряд

сходится

абсолютно

при

 

 

x ( , 0) (0, ). В самом деле,

un (x)

1

 

1

, un 1(x)

1

 

1

,

n n! 1 a2n x2

n 1 (n 1)! 1 a2n 2 x2

 

 

 

64

 

 

 

 

 

 

 

 

 

 

un 1 (x)

 

 

 

 

 

n n! (1 a2n x2 )

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un (x)

 

 

n 1 (n 1)! (1 a2n 2 x2 )

 

 

 

 

 

 

откуда для x 0,

 

a

 

 

 

1,

 

имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

un 1 (x)

 

 

lim

 

 

 

 

 

 

 

 

n n! a2n x2

 

 

 

lim

 

 

 

ne

 

 

1

q(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)a2

a2

n

 

 

 

n n 1 (n 1)! a2n 2 x2

 

n e (n

 

 

 

 

(согласно формуле (2.4)

n n! n при n ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

Ряд сходится абсолютно, если

q(x)

 

1,

 

т.е.

 

a

 

 

1. Отме-

 

 

 

a2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тим, что при x 0

получается числовой ряд

,

который рас-

 

 

 

ходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1 n n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если

 

a

 

1, то при фиксированном x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

 

 

 

 

e

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un (x)

 

 

 

 

 

 

 

 

 

 

 

при

.

 

 

 

 

 

 

 

 

 

 

 

 

n n!

1 a2n x2

n

 

 

 

 

 

Так как 1,

то согласно теореме 2.4 (частный признак сравне-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ния) ряд un (x)

расходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично, при

 

a

 

1 получаем функциональный ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n! 1 x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

который расходится.

Таким образом, множество сходимости определяется следую-

щим образом:

 

 

 

если

 

a

 

1,

то исходный функциональный ряд расходится при

 

 

любом x (т.е.

X );

 

если

 

a

 

1,

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

x 0 и рас-

 

 

ходится при x 0

(т.е. X ( , 0) (0, ) ).

 

65

Задача 4.8. Найти множество сходимости функционального ря-

да

 

ln (1 xn )

, x 0,

 

a .

 

 

n

a

 

 

n 1

 

 

 

 

 

 

Решение. Данный функциональный

ряд с параметром

a

рассматривается на множестве E { x : x 0}.

 

Рассмотрим три случая.

 

 

 

 

 

 

1-й случай. Пусть

0 x 1.

Тогда

ln (1 xn ) xn при

n .

При фиксированных x и a получаем числовой ряд

 

 

 

 

n

 

 

vn (x)

x

.

 

 

a

 

 

n 1

n 1 n

 

Исследуем его на абсолютную сходимость. Применим теорему 2.6 (признак Коши):

lim n

 

v

n

(x)

 

lim

n

xn

 

lim

 

x

 

x q(x)

 

 

 

 

na

 

 

 

n

 

 

 

 

n

 

n n na

 

 

 

 

 

 

 

 

(здесь lim n n 1 ). Так как q(x) x 1,

 

то ряд vn (x) сходится

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

абсолютно ( a ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

По теореме 2.3 (2-й признак сравнения) ряд

 

 

 

 

 

 

 

 

ln (1 xn )

 

 

 

 

 

un (x)

n

a

 

 

 

 

 

n 1

 

n 1

 

 

 

 

 

сходится абсолютно при 0 x 1

для любого a . Отметим, что

 

 

 

 

при x 0 все члены ряда

un (x)

равны нулю, ряд сходится, и

его сумма равна нулю.

n 1

 

 

 

 

 

Таким образом, исходный ряд сходится абсолютно при 0 x 1,

a .

 

 

 

2-й случай. Пусть x 1. Тогда получаем ряд

 

 

 

 

 

lna2

,

 

n 1

n

 

66

который при фиксированном

 

 

a является обобщенным гармо-

ническим рядом (см. задачу 2.13) и сходится только при a 1.

 

Таким образом, ряд сходится абсолютно при

x 1,

a 1.

При

x 1, a 1 ряд расходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3-й случай. Пусть x 1.

Фиксируя x и a, получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

n

 

 

 

 

1

 

 

 

 

 

n

 

 

 

 

 

1

 

 

 

 

 

 

ln (1 x

 

 

)

ln x

 

1

 

 

 

 

 

 

ln x

 

 

ln 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

n

 

 

 

x

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n ln x

 

 

 

 

o

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

n

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при n . Запишем тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln (1 xn )

 

 

 

 

 

ln x

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

o

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

a 1

x

n

n

a

 

n

n

a

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

n 1

 

n

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

ln x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ряд

 

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

 

x 1,

если

 

a 2, и расхо-

a 1

 

 

 

n 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

дится при x 1, если a 2.

На рассматриваемом множестве ряд

 

 

1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

o

 

 

 

 

 

 

 

сходится при любом a . Поэтому (см.

 

n

 

a

 

 

n

 

 

a

 

n

 

x

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln (1 xn )

 

 

сходится абсолютно при x 1,

если

теорему 1.5) ряд

 

 

n

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a 2, и расходится при x 1,

 

если a 2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, множество сходимости определяется следующим образом:

если a 1, то исходный ряд сходится абсолютно при 0 x 1

(т.е. X [0, 1) ) и расходится при 1 x ;

 

если 1 a 2,

то ряд сходится абсолютно при 0 x 1

(т.е.

X [0,1] ) и расходится при 1 x ;

 

если a 2, то

ряд сходится абсолютно при 0 x

(т.е.

X [0, ) ).

 

 

67

5. Равномерная сходимость функциональных последовательностей

ифункциональных рядов

5.1.Функциональные последовательности

Определение 5.1. Пусть функции

fn (x) , n , определены на

множестве E. Говорят, что функциональная последовательность

fn (x)

сходится к функции

f (x)

на множестве X E, если

0

x X

n0 ( , x) :

n n0 ( , x)

 

fn (x) f (x)

 

.

 

 

В этом случае

f (x) , заданную на

X E, называют предельной

функцией последовательности fn (x) на множестве X и пишут:

 

 

 

X

 

 

 

X

 

 

 

 

lim fn (x) f (x)

или

fn (x) f (x).

 

 

 

 

n

 

 

 

 

 

 

Определение 5.2. Пусть функции

fn (x) ,

n , определены на

множестве E. Говорят, что функциональная последовательность

fn (x)

равномерно сходится

к функции

f (x) на

множестве

X E,

если

0

n0 ( ) :

n n0 ( )

x X

 

 

 

 

 

 

 

 

X

 

 

fn (x) f (x)

. В этом случае пишут:

fn (x) f (x).

 

Определение 5.3. Если

 

X

 

 

 

 

fn (x) f (x),

но нарушено условие из

предыдущего определения,

то

говорят,

что

fn (x)

сходится к

f (x) на множестве X неравномерно. Другими словами, тот факт, что последовательность fn (x) сходится к своей предельной функции f (x) неравномерно на множестве X, выражается усло-

68

вием 0 0

n mn n xn ( xn X

fmn (xn ) f (xn )

0 ).

X

В таком случае будем использовать запись fn (x) f (x).

Теорема 5.1 (достаточное условие равномерной сходимости

последовательности функций). Пусть функции

fn (x) , n ,

определены на множестве E. Функциональная последовательность

fn (x)

равномерно сходится к функции f (x)

на

множестве

X E,

если существует числовая последовательность

an , удо-

влетворяющая следующим условиям:

 

 

1) найдется n0 , такое, что n n0 и x X

выполнено не-

равенство

 

fn (x) f (x)

 

an ;

 

 

 

 

 

 

2) nlim an 0.

Теорема 5.2 (критерий равномерной сходимости последова-

тельности функций). Для того чтобы функциональная последовательность fn (x) равномерно сходилась к функции f (x) на множестве X, необходимо и достаточно, чтобы выполнялось условие

lim sup fn (x) f (x) 0.

n x X

Задача 5.1. Исследовать на сходимость функциональную после-

довательность fn (x) xn , n .

 

 

Решение. Функции fn (x) xn

определены на всей числовой оси,

т.е. x E .

 

 

 

Справедливы утверждения:

 

 

а) если

 

 

x

 

 

 

1,

то lim xn 0;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) если

 

x 1,

то lim xn 1;

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

в) если

 

 

 

x

 

1

или x 1, то

lim xn

не существует ( x 1 ) или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

равен (

 

 

x

 

1).

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, функциональная последовательность fn (x) xn , n , сходится на множестве X ( 1,1]. Предельная функция разрывна и имеет вид

69

0, если 1 x 1; f (x)

1, если x 1.

Задача 5.2. Исследовать функциональную последовательность на равномерную сходимость в указанном промежутке

fn (x)

x2

1

,

X .

n2

 

 

 

 

Решение. Найдем предельную функцию данной последовательности. Для любого x имеем

 

 

 

 

f

(x) lim

 

 

 

x2

 

1

 

 

x

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При всех x и n запишем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fn (x) f (x)

 

 

 

x2

1

 

 

 

x

 

 

 

 

x2

1

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2

 

 

n2

 

 

 

 

 

 

 

 

2

 

1

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

x

 

 

 

 

 

1 / n

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 / n

 

n .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

1

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x ,

Обозначим

,

 

 

 

 

 

 

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an n

 

n .

 

 

 

 

 

 

 

fn (x) f (x)

 

an ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n , причем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim an lim 1 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Согласно теореме 5.1 получаем, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

1

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fn (x)

 

x

 

 

 

 

 

 

 

 

f (x)

 

x

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задача 5.3. Исследовать функциональную последовательность на равномерную сходимость в указанном промежутке

fn (x) x arctg nx,

X (0, ).

70