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

Sumin_Chislovye_i_funktsionalnye_ryady_2021

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

 

un (x)

 

 

 

1

 

 

 

 

 

1

.

 

 

 

 

1 n3 x

 

 

x n3/ 2

 

 

 

 

 

 

 

 

 

При фиксированном x 0 числовой ряд

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x n

3/ 2

 

 

 

 

 

 

n 1

 

 

 

 

 

 

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

1 1n3 x

n 1

сходится как на X1 , так и на X2 .

а) Покажем, что на множестве X1 (0,1] ряд сходится неравно-

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

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

n 1

1 n3 x

 

Ясно, что

 

 

1

 

sup

 

un (x)

 

 

lim

 

1

 

 

 

 

 

 

 

1 n3 x

x X1

 

 

 

 

 

 

x 0

 

 

и

 

 

 

 

 

 

lim sup

 

 

un (x)

 

1 0.

 

 

 

 

n x X1

 

 

 

 

 

 

 

 

X

Отсюда следует, что un (x) 0. Так как нарушается необходимый

признак равномерной сходимости ряда (теорема 5.6), то исходный ряд сходится на множестве X1 неравномерно (см. следствие 5.1).

б) Запишем

un (x)

 

 

1

 

1

1

x (1, ) и n .

 

 

 

 

 

 

 

 

1 n3 x

n3 1

n3/2

 

 

На множестве X2 сходящийся числовой ряд

cn n13/ 2 n 1 n 1

81

является мажорантным для исходного ряда

 

1

 

 

.

1 n3 x

n 1

 

Поэтому, согласно признаку Вейерштрасса, исходный функциональнй ряд сходится равномерно на множестве X2 .

Задача 5.11. Исследовать на равномерную сходимость фукциональный ряд

 

( 1)n

xn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

X [1, ).

 

n x

n

1

 

n 1

 

 

 

 

 

 

 

 

Решение. Обозначим a

n

(x)

 

 

xn

 

,

b (x)

( 1)n

. Ряд

 

 

 

 

 

 

 

 

 

 

 

 

xn 1

 

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 1)

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

n

 

 

 

 

 

сходится равномерно на X, так как является сходящимся числовым рядом. Последовательность an (x) , во-первых, ограничена, так как x [1, ) и n

 

 

 

a (x)

 

 

 

 

xn

 

1

 

1

 

 

1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

xn 1

 

 

xn 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

во-вторых, монотонно возрастает x 1,

так как n

an 1

(x)

 

xn 1

 

 

 

1

 

 

 

1

 

 

1

 

 

1

 

 

an (x).

xn 1

1

 

xn

1 1

xn

1

 

 

 

 

 

 

 

 

 

Поэтому, согласно признаку Абеля, исходный ряд сходится равномерно на множестве X. Выясним дополнительно характер сходимости (абсолютная или условная) исходного функционального ряда.

Для любого x 1 ряд

 

 

1

 

 

xn

 

un (x)

 

n x

n

1

n 1

n 1

 

расходится, так как

82

 

 

un (x)

 

 

1

 

xn

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

xn 1

n

 

 

 

 

 

 

 

при n и фиксированном

x 1. Здесь

c 1, если

x 1, и

c 1 / 2, если

x 1.

 

 

 

 

 

 

 

 

Таким образом, исходный ряд сходится условно на заданном множестве X.

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

 

 

 

ональный ряд sin nx :

n 1

n

 

а) X1 [ , 2 ],

0 ;

б) X2 [0, 2 ].

Решение. Заметим, что заданный функциональный ряд сходится

на всей числовой оси. Обозначим a

(x)

1 ,

b (x) sin nx.

 

 

 

 

 

 

 

 

 

n

n

 

n

 

 

 

 

 

 

а) Частичные суммы ряда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

bn (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ограничены в совокупности на множестве

X1,

 

так как на этом

множестве верна оценка

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

sin nx sin n 1 x

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin kx

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

x

 

 

 

 

 

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin 2

 

 

 

 

 

sin 2

 

 

sin 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

(см. прил. 1, задача П1.2). Последовательность

 

an (x) n

,

n ,

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

X1

an (x) 0 при n .

Поэтому по признаку Дирихле исходный ряд сходится равномерно на множестве X1.

83

б) В этом случае последовательность частичных сумм

n

sin kx

k 1

не является ограниченной на заданном множестве, так как при

 

 

 

 

 

 

 

xn n

,

n , получим

 

 

 

 

 

n

 

 

 

 

 

 

sin k

ctg

при n .

 

 

2n

 

 

k 1

n

 

 

Поэтому признак Дирихле по схеме предыдущего пункта этой задачи неприменим на множестве X2 . Воспользуемся критерием

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

n p N ,

Коши (теорема 5.5). Взяв 0

 

0,1,

xN

 

 

 

[0, 2 ],

N

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Sn (x) sin kx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1

 

k

 

 

 

 

 

 

 

 

 

 

 

имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S2N (xN ) SN (xN )

 

 

S2 N

 

 

 

 

 

 

SN

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N

 

 

 

 

N

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

sin

1

 

 

 

 

 

sin 1

 

 

 

... sin 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N

 

 

 

 

 

 

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N 2

 

 

 

 

 

 

 

 

N 1

 

 

 

 

 

 

 

 

 

 

 

N

2N

 

 

sin1

 

1

 

 

 

 

 

1

 

...

1

 

sin1

 

 

sin1

0,1 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N 1

 

N

2

 

2N

2N

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку условие из критерия Коши нарушается, то исходный функциональный ряд сходится неравномерно на множестве X2 .

84

5.3.Свойства равномерно сходящихся последовательностей и рядов

Теорема 5.9 (о непрерывности предела функциональной по-

следовательности). Если функции fn (x), n , непрерывны на множестве X и

X

fn (x) f (x),

то функция f (x) непрерывна на X.

Теорема 5.10 (о непрерывности суммы функционального ря-

да). Если функции un (x), n , непрерывны на множестве X и ряд

un (x)

n 1

сходится равномерно на X, то его сумма

S (x) un (x)

n 1

непрерывна на X.

Теорема 5.11 (о перестановке пределов в функциональной последовательности). Если функциональная последовательность

fn (x), n , равномерно сходится в окрестности точки x0 , иn существует

lim fn (x) An ,

x x0

то последовательность чисел An , n ,

lim

lim f

 

(x)

 

lim lim

x x0

n

n

 

n x x0

также сходится и

fn (x) lim An .

n

Теорема 5.12 (о почленном переходе к пределу в функцио-

нальном ряде). Если функциональный ряд

un (x)

n 1

сходится равномерно в некоторой окрестности точки x0 и если существует

85

 

 

 

 

lim un (x) cn ,

 

 

 

 

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n ,

то числовой ряд сn

сходится и

 

 

 

 

n 1

 

 

 

 

 

 

 

 

u

 

(x)

 

lim u

 

(x)

 

c .

 

lim

n

 

n

 

 

x x

 

 

x x

 

n

 

0 n 1

 

 

 

n 1

0

 

 

n 1

 

Теорема 5.13 (о почленном интегрировании функциональной последовательности). Если функции fn (x), n , непрерыв-

ны на [a, b] и

 

 

 

[ a, b]

 

 

то

fn (x) f ( x),

 

 

 

 

 

b

 

 

 

b

 

lim

f

n

(x) dx

 

f (x) dx.

n

 

 

 

a

 

 

 

a

 

Теорема 5.14 (о почленном интегрировании функционально-

го ряда). Если функции un (x),

n ,

непрерывны на [a, b] и ряд

 

 

 

 

 

 

 

un (x)

 

 

 

n 1

 

сходится равномерно на [a, b] к функции S(x), то

b

 

 

b

b

 

un ( x) dx

un ( x) dx S( x) dx.

a

n 1

n 1

a

a

Теорема 5.15 (о почленном дифференцировании функциональной последовательности). Если функции fn (x), n ,

непрерывно дифференцируемы на [a, b] , функциональная последовательность fn (x) сходится хотя бы в одной точке отрезка [a, b] , а последовательность производных fn (x) сходится равномерно

на [a, b] , то существует функция

f (x), такая, что

[a, b]

 

[ a, b]

fn (x) f ( x)

и

fn (x) f (x).

86

Теорема 5.16 (о почленном дифференцировании функцио-

нального ряда). Если функции un ( x), n , имеют непрерывные производные на отрезке [a, b] , и выполняются условия:

1) существует хотя бы одна точка x0 [a, b], такая, что ряд

un ( x0 )

n 1

сходится; 2) ряд

un (x)

n 1

сходится равномерно на [a, b] . Тогда ряд

un (x)

n 1

сходится равномерно на [a, b] к дифференциремой на [a, b] функции

 

 

 

 

 

 

 

 

S (x) un ( x)

 

и

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

un ( x) S ( x),

x [a, b].

 

un ( x)

n 1

 

n 1

 

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

fn (x)

xn

n ,

1 xn ,

на равномерную сходимость на множестве X [0, ).

Решение. Функции

fn (x)

xn

n ,

1 xn ,

87

непрерывны на X. Найдем предельную функцию

 

0, 0 x 1;

 

 

1

 

f (x) lim

 

, x 1;

fn (x)

2

n

 

 

 

1, x 1.

 

 

 

 

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

Задача 5.14. Определить область существования функции

2

f(x) n 1 n2 ln2 nx

иисследовать ее на непрерывность, X (0, ). Решение. Члены функционального рядаarctg n x

 

 

un (x)

 

arctg n2 x

 

 

 

 

 

 

n2 ln2 nx

 

 

 

 

 

 

 

 

 

определены и непрерывны на

 

множестве

X (0, ), причем

x X

и n

 

 

 

 

 

 

 

 

 

 

 

 

un (x)

 

 

 

arctg n2 x

 

 

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2 ln2 nx

 

2 n2

Так как числовой ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

cn

 

 

 

 

 

 

 

2

 

 

 

 

 

 

n 1

 

 

 

2 n 1

n

 

 

 

 

сходится, то, согласно признаку Вейерштрасса, функциональный ряд сходится абсолютно и равномерно на множестве X. Согласно теореме 5.10 сумма исходного ряда

f (x) un (x)

n 1

определена и непрерывна на X (0, ).

88

Задача 5.15. Вычислить

 

 

 

1

 

 

 

lim

 

 

 

,

X [0, ).

2

n

x

x 0 n 1

n

 

 

 

Решение. Согласно признаку Вейерштрасса данный ряд сходится абсолютно и равномерно на множестве X ввиду оценки

un (x)

 

 

 

1

 

 

1

 

1

, x X ,

n .

 

 

 

 

 

 

 

 

2n nx

 

2n nx

2n

 

 

 

 

 

Кроме того,

 

 

 

 

 

lim

 

1

 

 

 

 

 

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x 0 2n nx

 

 

 

2n

 

 

 

 

 

 

Поэтому по теореме 5.12 имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

1

 

 

 

1 / 2

 

lim

 

 

lim

 

 

 

 

 

 

 

 

 

 

1.

2

n x

2

n

x

 

n

1

1 / 2

x 0 n 1

n

n 1 x 0

 

n

 

 

 

n 1

2

 

 

Задача 5.16. Вычислить

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 1)n 1

 

 

xn

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

, X [0, ).

 

 

n

x

n

 

1

 

x 1 0 n 1

 

 

 

 

 

 

 

 

 

 

 

Решение. Согласно признаку Абеля данный функциональный ряд сходится равномерно на множестве X, что несложно проверить, полагая

 

a

n

(x)

 

xn

, b (x)

( 1)n 1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn 1

 

 

n

 

 

 

 

 

n

 

 

 

 

 

 

 

 

Кроме того,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 1)n 1

 

 

xn

 

 

 

( 1)n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

xn

1

 

 

2n

 

 

 

 

 

 

 

 

x 1 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому согласно теореме 5.12 имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

( 1)

n 1

 

x

n

 

 

 

 

 

 

 

 

( 1)

n 1

 

 

x

n

 

lim

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

n

 

 

 

x

n

1

n

 

 

 

x

n

1

x 1 0 n 1

 

 

 

 

 

 

 

 

n 1

x 1 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

1 ln 2

 

 

 

 

 

 

 

 

 

 

 

 

 

1

( 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 n 1

 

n

 

 

 

2

 

 

 

 

 

 

 

 

 

 

(см. задачу 3.7).

89

Задача 5.17. Возможно ли почленное интегрирование функционального ряда

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos nx

 

 

 

 

 

 

 

2

n 1

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

на отрезке ,

 

?

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Члены ряда un (x)

 

1

 

cos nx непрерывны на множе-

2n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

стве . Кроме того, n и x

 

 

 

 

 

 

 

un (x)

 

 

 

1

 

cos nx

 

1

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

2n 1

2n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

т.е. члены функционального ряда мажорируются соответствующими членами сходящегося числового ряда

 

 

 

 

1

 

 

 

 

 

 

cn

 

.

 

 

 

 

 

2

n 1

 

 

 

 

 

n 1

 

n 1

 

 

 

 

 

 

 

Поэтому по признаку Вейерштрасса данный ряд

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

cos nx

 

 

 

 

 

2

n 1

 

 

 

 

 

n 1

 

 

 

 

 

 

а значит и на

сходится абсолютно и равномерно на множестве ,

любом отрезке [a, b] , в частности, на отрезке

 

,

 

 

. Соглас-

 

 

 

 

 

 

 

4

 

3

 

 

но теореме 5.14 исходный функциональный ряд можно почленно

интегрировать на отрезке

 

,

 

.

 

4

 

3

 

Задача 5.18. Возможно ли почленное дифференцирование функционального ряда

 

x

arctg

n n

n 1

на множестве .

Решение. Члены исходного функционального ряда определены и непрерывны на множестве X .

90