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

Числовые и функциональные ряды. Учебно-методическое пособие

.pdf
Скачиваний:
0
Добавлен:
15.08.2026
Размер:
995 Кб
Скачать

Решение. Так как x 0, то

 

 

 

 

 

 

 

 

lim arctg nx

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

2

 

 

 

 

 

 

 

 

 

 

 

и предельная функция

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) lim (x arctg nx) x.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

Отметим, что y 0

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

arctg y arcctg

1

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

arctg y arcctg y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

и неравенство arctg y y. Используя эти соотношения,

x X

и

n получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fn (x) f (x)

 

 

 

x arctg nx x

 

 

x x arctg nx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

1

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

arctg nx x arcctg nx

x arctg

 

x

 

 

 

.

 

2

nx

nx

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначим

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x X

и

an n ,

 

 

n . Тогда

 

fn (x) f (x)

 

an ,

 

 

 

 

 

 

 

 

 

 

 

n , причем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

an lim

1 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n n

 

 

 

 

 

 

 

 

 

 

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

fn (x) x arctg nx X f (x) 2 x.

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

fn (x) xn xn 1, 0 x 1.

71

Решение. Очевидно, что предельная функция

f (x) lim fn (x) lim (xn xn 1 ) 0,

x X [0,1].

 

 

 

 

n

 

 

n

 

 

 

 

 

 

 

 

 

 

Найдем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sup

 

fn (x) f (x)

 

sup

 

xn xn 1

 

max (xn xn 1 ).

 

 

 

 

 

 

 

 

 

 

 

0 x 1

 

 

 

 

0 x 1

 

 

 

 

 

0 x 1

 

 

 

Обозначим r (x) xn

xn 1. Тогда

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

rn (x) nxn 1 (n 1)xn xn 1(n (n 1)x) 0

 

 

 

в точках

x 0 (при

n 2 ) и

x

n

 

. В точке x

n

 

(0,1)

 

 

 

1

 

 

 

 

 

2

n 1

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

функция rn (x) достигает абсолютного максимума на отрезке [0, 1]. Следовательно,

sup

0 x 1

откуда

fn (x) f (x)

 

 

n

n

 

n

n 1

 

1

 

1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

,

 

 

 

 

 

 

 

 

 

 

n 1

 

n 1

 

 

n 1

 

 

n

 

 

 

fn (x) f (x)

 

lim

1

 

 

 

1 n

0.

 

 

lim sup

 

 

 

1

 

 

 

 

n 0 x 1

 

 

n n 1

 

 

n

 

Поэтому согласно теореме 5.2 получаем, что

X

fn (x) xn xn 1 f (x) 0.

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

 

 

 

fn (x) xn x2n ,

0 x 1.

Решение. Очевидно, что предельная функция

f (x) lim

fn (x) lim (xn x2n ) 0, x X [0,1].

 

 

n

 

 

n

 

 

 

Найдем

 

 

 

 

 

 

 

 

sup

 

fn (x) f (x)

 

sup

 

xn x2n

 

max (xn x2n ).

 

 

 

 

 

 

0 x 1

 

 

 

 

0 x 1

 

 

 

 

0 x 1

72

Обозначим r (x) xn x2n . Тогда

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

rn (x) nxn 1 2nx2n 1 nxn 1(1 2x n ) 0,

если

x 0

(при n 2 ),

x 2

 

1

 

 

 

 

 

 

x

2

 

1

 

n. В точке

 

n (0,1) функция

rn (x)

1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

достигает абсолютного максимума на отрезке [0, 1]. Имеем

 

 

sup

 

 

xn x

2n

 

1

 

1

 

1 ,

 

 

 

 

 

 

 

 

 

 

 

откуда

0 x 1

 

 

 

 

 

 

 

2

 

 

4

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

lim

sup

 

xn x2n

 

 

0.

 

 

 

 

 

 

 

 

 

 

 

 

n

0 x 1

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому согласно теореме 5.2 получаем, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

fn (x) xn x2n

f (x) 0.

 

 

 

Задача 5.6. Доказать, что функциональная последовательность

fn (x) xn , n , сходится равномерно на [0, q], где

0 q 1, и

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

 

Решение. Сначала найдем предельную функцию:

 

x [0,1) lim

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

 

n

n

 

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

 

 

 

 

1. Пусть X [0, q],

0 q 1.

Тогда x X

и n имеем

 

fn (x) f (x)

 

xn qn .

 

 

 

 

Обозначим an qn , n . Тогда

fn (x) f (x) an , x X и n ,

причем

lim an lim qn 0.

n n

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

X

fn (x) xn f (x) 0.

73

2. Пусть X (0,1). Покажем, что

X

fn (x) f (x).

Полагаем 0

13. Для каждого n выберем

 

 

 

 

m n,

x 2

 

1

 

 

 

 

 

 

 

 

n (0,1).

 

Тогда

 

 

 

n

 

n

 

 

 

 

 

 

 

 

 

 

 

 

xn 1

 

 

1 .

 

 

f

n

(x ) f (x

n

)

 

 

0

 

 

 

 

 

 

n

 

 

 

n

2

 

3

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда согласно определению 5.3 следует, что

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

fn (x) xn

f (x)

0.

 

5.2. Функциональные ряды

Определение 5.4. Если функциональный ряд un (x) сходится

n 1

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

S (x) lim Sn (x),

x X .

 

n

 

 

 

Функция

 

 

 

 

 

 

 

rn (x) S(x) Sn (x)

uk (x),

x X ,

k n 1

называется n остатком сходящегося функционального ряда (см.

также определение 1.1).

Определение 5.5. Говорят, что функциональный ряд un (x)

n 1

равномерно сходится на множестве X, если последовательность его

74

частичных сумм Sn (x) равномерно сходится к функции S(x) на этом множестве, т.е.

X

Sn (x) S(x).

Теорема 5.3 (критерий равномерной сходимости функцио-

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

X

rn (x) 0,

или, что равносильно,

lim sup rn (x) 0.

n x X

Теорема 5.4 (достаточный признак Вейерштрасса равномерной сходимости функционального ряда). Пусть функции un (x),

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

n 1

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

ществует числовой ряд cn , такой, что:

n 1

1) n и x X : un (x) cn ;

2) ряд cn сходится.

n 1

Замечание 5.1. В случае, когда выполняется первое условие

теоремы 5.4, говорят, что функциональный ряд un (x) мажори-

n 1

руется числовым рядом cn .

n 1

При доказательстве равномерной сходимости ряда un (x) на

n 1

множестве X полезно использовать следующие утверждения.

75

Теорема 5.5 (критерий

 

Коши

равномерной

сходимости

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

функционального ряда). Для того чтобы ряд un (x) равномер-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

но сходился на множестве X необходимо и достаточно, чтобы вы-

полнялось условие: 0 N ( ) : n N

 

p

 

 

 

 

 

 

 

 

 

 

 

 

n p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x X

Sn p (x) Sn (x)

 

 

 

uk (x)

.

 

 

 

 

 

 

 

 

 

 

 

k n 1

 

 

 

 

Если условие из критерия Коши нарушается,

т.е. 0

0 N

n N p x

 

 

X

 

n p

u

 

(x

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

x

N

 

 

k

N

 

0

, то ряд не облада-

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k n 1

 

 

 

 

 

 

 

 

 

 

 

ет на множестве X свойством равномерной сходимости.

Теорема 5.6 (необходимый признак равномерной сходимости

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

n 1

сходится равномерно на множестве X, то последовательностьun (x) членов этого ряда равномерно сходится к нулю на X.

Следствие 5.1. Из последней теоремы вытекает, что если

X

 

 

 

un (x)

0,

то ряд

un (x) не обладает свойством равномерной

n 1

сходимости на множестве X.

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

Теорема 5.7 (признак Дирихле). Пусть функции an (x) и bn (x),

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

множестве

E.

Функциональный

ряд

 

 

 

 

 

an (x)bn (x) равномерно

сходится

на

множестве X E,

если

n 1

 

 

 

 

выполняются следующие условия:

 

1) последовательность an (x) монотонна при каждом

x X и

равномерно стремится к нулю на X;

 

76

2) последовательность частичных сумм ряда bn (x) ограни-

 

 

 

 

 

n 1

 

чена на множестве X, т.е. M 0 x E и

 

 

 

n

 

 

 

 

 

 

 

 

 

n

bk (x)

 

M .

 

 

 

k 1

 

 

 

 

Теорема 5.8 (признак Абеля). Пусть функции an (x) и bn (x),

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

множестве

E. Функциональнй

ряд

 

 

 

 

 

 

 

an (x)bn (x) равномерно

сходится на

множестве X E,

если

n 1

 

 

 

 

 

 

выполняются следующие условия:

1) последовательность an (x) ограничена на множестве X (т.е.

M 0

x E и n

 

an (x)

 

M ) и монотонна при каждом

 

 

x E;

 

 

 

 

 

2) ряд bn (x) равномерно сходится на множестве X.

n 1

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

 

xn

 

xn 1

 

 

 

 

 

 

 

 

, 1

x 1.

n

n 1

n 1

 

 

 

 

Решение. Найдем n-ю частичную сумму ряда:

 

S (x) x

 

x2

, S

2

(x) x

x2

 

 

x2

 

x3

x

 

x3

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

2

 

 

 

2

 

 

2

 

 

3

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x4

 

 

 

 

n

 

xk

 

 

 

xk 1

 

 

 

xn 1

 

S3

(x) x

 

 

, …,

Sn (x)

 

 

 

 

 

 

 

 

 

 

x

 

 

 

.

4

 

 

k

 

 

k 1

 

n 1

 

 

 

 

 

 

k 1

 

 

 

 

 

 

 

 

 

Тогда сумма ряда

 

 

 

 

 

xn 1

x, x X [ 1,1].

S(x) lim

Sn (x) lim x

 

 

 

 

 

n

 

 

n

 

n 1

 

 

 

 

Поэтому

 

 

 

 

 

 

 

 

 

 

 

sup

 

Sn (x) S(x)

 

sup

 

rn (x)

 

 

 

 

 

 

 

 

x X

 

 

 

x X

 

 

 

 

77

sup

 

x

xn 1

 

x

 

sup

 

xn 1

 

 

 

1

.

 

 

 

 

 

n 1

 

 

n 1

 

n 1

x X

 

 

 

 

x X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку

lim sup

 

Sn (x) S(x)

 

lim

1

 

0,

 

 

 

 

 

 

n x X

 

 

 

n n 1

 

то по теореме 5.3 функциональный ряд сходится равномерно на множестве X [ 1,1].

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1 x)xn , 0 x 1.

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Найдем n-ю частичную сумму ряда:

 

 

 

S

0

(x) 1 x, S (x) 1 x x(1 x) 1 x2 , …,

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Sn (x) (1 x)xk 1 xn 1.

 

 

 

 

 

 

 

 

 

 

 

k 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда сумма ряда при x X [0,1] вычисляется так:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1, если0 x 1;

S (x) lim Sn (x) lim (1 xn 1)

 

 

 

 

 

 

 

 

n

 

n

 

 

 

 

 

 

 

 

0, если x 1.

Отсюда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sup

 

Sn (x) S(x)

 

sup

 

Sn (x) S(x)

 

 

 

 

 

 

 

 

 

 

x X

 

 

 

 

 

 

 

 

 

x [0,1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 xn 1 1

 

 

sup

 

xn 1

 

 

 

 

 

xn 1 1.

 

sup

 

 

 

 

 

lim

Вычислим

x [0, 1)

 

 

 

 

 

 

 

 

 

x [0, 1)

 

 

 

 

 

 

x 1 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim sup

 

Sn (x) S(x)

 

lim sup

 

 

rn (x)

 

 

1 0.

 

 

 

 

n x X

 

 

 

 

 

 

 

n x X

 

 

 

 

 

 

 

 

По теореме 5.3 функциональный ряд сходится неравномерно на множестве X [0,1]. В связи с задачей 5.8 отметим следующее.

Замечание 5.2. Если функциональный ряд непрерывных на отрезке функций сходится на этом отрезке к разрывной функции, то такая сходимость не является равномерной.

78

Задача 5.9. Пользуясь признаком Вейерштрасса, доказать абсолютную и равномерную сходимость функционального ряда

un (x) на множестве X, если:

n 1

а) un (x)

arctg nx

,

 

X ;

 

 

 

 

 

 

 

 

 

 

 

 

x4 n3 n

 

 

 

 

 

 

 

 

 

 

 

 

 

б) un (x) sin

1

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln

1

 

,

X (0; );

 

 

 

nx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

в) un (x)

 

 

 

x

 

 

 

,

 

X [0; ).

 

 

 

 

 

 

 

 

 

 

1

n4 x2

 

 

 

 

 

 

 

 

 

 

 

Решение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 , то при тех же x и n име-

а) Так как x n

 

arctg nx

 

 

 

 

 

 

ем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un (x)

 

 

 

 

arctg nx

 

 

 

 

/ 2

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x4 n3 n

 

x4 n3

n

2n 3 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Мажорантный числовой ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4/3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

2 n 1

 

 

n

 

 

 

 

 

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

X .

б) Воспользуемся

известными

неравенствами

 

sin y

 

y

и

 

 

ln (1 y) y, выполняющимися

 

y 0.

Получим,

что x 0

и

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un (x)

 

 

 

1

 

 

 

x

 

 

 

 

1

 

x

 

1

 

 

 

 

 

 

 

sin

 

ln 1

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

nx

 

 

 

 

nx

 

 

n3/2

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

n

 

 

 

 

 

Мажорантный числовой ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

3/ 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

79

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

X(0, ).

в) Найдем

sup

 

u

n

(x)

 

sup

 

 

x

 

.

 

 

 

 

 

 

 

 

 

 

 

 

1

n4 x2

 

0 x

 

 

 

 

0 x

 

 

Решаем задачу на нахождение глобального максимума функции

u

n

(x)

 

 

 

x

 

 

на промежутке X [0, ). Запишем (здесь x

 

 

 

 

 

 

 

 

 

1

n4 x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

точка экстремума)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

(x)

1 n4 x2

xn4 2x

 

 

 

 

1 n4 x2

0,

 

 

 

 

 

 

 

 

(1 n4 x2 )2

 

 

 

(1 n4 x2 )2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

если x

1

.

Получаем, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sup

 

 

 

 

 

 

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 n4 x2

 

 

2n2

 

 

 

 

 

 

 

 

 

 

 

 

0 x

 

 

 

 

 

 

 

Мажорантный числовой ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cn 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

2 n 1

 

n

 

 

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

изводной, если заметить, что

1 n4 x2 2 1 n4 x2 2n2 x при всех x 0 и n .

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

 

 

 

1

 

 

мость функциональный

ряд

 

:

а) X1 (0,1],

1 n3 x

 

 

n 1

 

 

б) X2 (1, ).

Решение. Заметим, что функциональный ряд сходится абсолютно на множествах X1 и X2 . В самом деле, x 0

80

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