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

Теория рядов. Учебное пособие

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

мажорируется на множестве D сходящимся числовым рядом, то функциональный ряд (2.1) равномерно сходится на множестве D.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

ряд an

сходится,

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

для любого

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

n N ε

 

ε 0 существует номер

 

N ε такой, что

при

выполняется

неравенство:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ak

 

ε

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k n 1

 

 

 

 

 

 

 

 

или, в силу неотрицательности an ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ak

 

ε.

 

 

 

 

 

 

 

 

 

 

 

 

 

k n 1

 

 

 

 

 

 

 

 

Оценим остаток ряда (2.1):

 

 

 

из сходимости

 

 

 

 

 

 

 

условие

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

uk x

 

 

uk x

 

 

 

 

 

ak

 

 

 

ε.

 

 

 

 

 

 

 

 

 

 

k n 1

 

k n 1

 

 

 

 

 

теоремы

 

k n 1

 

ряда

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Получили,

что из сходимости числового ряда an следует равномерная

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

сходимость функционального ряда un (x).

n 1

Что и требовалось доказать.

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

Пример 12. Исследовать на равномерную сходимость ряд

 

arctgnx

на

n 1 (n x2 )3

 

 

множестве D ( ; ).

Решение. Исследуем равномерную сходимость по признаку Вейерштрасса. Найдем числовой ряд, мажорирующий исходный ряд.

При любых n и x имеет место оценка:

 

 

 

 

 

arctgnx

 

 

 

π

 

 

 

π

 

 

 

 

 

 

 

 

 

un (x)

 

 

 

 

 

2

 

 

 

2

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n x2)3

(n x2)3

n3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

значит, ряд

 

 

мажорирует исходный ряд.

 

 

 

 

 

 

 

 

 

 

 

n 12n3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Числовой ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

π

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

n 12n3

 

 

2n 1n3

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

61

Таким образом, по признаку Вейерштрасса ряд

 

arctgnx

сходится

n 1 (n x2 )3

равномерно на множестве D ( ; ). ◄

 

 

 

 

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

 

 

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

un (x) равномерно сходится на

 

n 1

 

 

множестве D и v(x) - ограниченная на

D функция, то ряд v(x) un (x)

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

n 1

 

Доказательство. Функция v(x) ограничена на D, следовательно, v(x) M ,

где M – некоторое положительное число. Ряд un (x) равномерно сходится,

n 1

значит, для любого ε 0 существует номер N ε не зависящий от x такой, что при n N ε справедливо неравенство:

n x ε

uk x ε.

kn 1

Всилу произвольности ε данное неравенство справедливо, если в роли ε

взять ε :

M

 

 

uk x

 

ε .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k n 1

 

 

 

M

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Оценим остаток ряда v(x) un (x):

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

M ε

 

 

v(x) uk

(x)

v(x)

uk (x)

ε.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k n 1

 

 

 

 

 

 

 

 

k n 1

 

M

 

 

 

 

 

 

 

 

 

 

 

То есть для любого ε 0

существует номер N ε , что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v(x) uk (x)

ε.

 

 

 

 

 

k n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, имеет место равномерная сходимость ряда v(x) un (x).

n 1

Что и требовалось доказать.

xn

Пример 13. Доказать, что ряд n 1 2 x равномерно сходится на интервале

62

 

0,

1

 

 

 

.

2

 

 

 

 

x

n

 

 

 

1

 

 

 

 

 

 

 

 

Решение. Имеем

 

 

 

 

xn .

 

 

 

 

 

 

2 x

2 x

 

 

 

 

 

 

n 1

 

 

n 1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

n

Так как на интервале 0,

 

 

функция v(x)

 

ограничена, а ряд

x

 

 

 

 

 

 

2

 

 

 

 

2 x

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

n

 

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

(см. пример

6),

значит,

по теореме 4 ряд

 

 

2 x

 

 

 

 

 

 

 

 

1

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

0,

 

. ◄

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

Задачи для самостоятельного решения.

171.-184. С помощью признака Вейерштрасса доказать равномерную сходимость функциональных рядов на заданном интервале:

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

171.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на

(0, ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

(x n)(x n 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

173.

n 1

 

 

 

 

 

 

 

на [1, ).

 

 

en2x nx2

 

 

 

 

 

 

 

 

 

n2x

 

 

 

 

 

 

 

 

 

 

 

x

 

175.

 

 

 

 

 

 

 

 

 

 

 

 

arctg

 

 

 

на

[0,1].

 

x

3

n

2

 

 

n

2

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin nx 2

 

 

 

 

 

 

 

177.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на

 

( , ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

5

x

2

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

179.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на

( , ).

1 x

2

n

6

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

181.

x2e nx

 

 

 

на

[0, ).

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 1)n

 

 

 

 

 

 

 

 

 

 

 

 

 

183.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на

 

10,10 .

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

x

n

2

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

172.

 

cosπnx

 

 

 

на

( , ).

 

n

 

 

n 1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

174.

ln 1

 

 

 

 

 

 

 

 

 

 

 

 

на [0,4].

 

 

 

2

 

 

 

 

 

 

 

n

 

 

 

n

 

 

n 1

 

 

 

 

 

 

 

 

2

 

 

 

 

cosnx

 

 

 

 

 

176.

 

 

 

 

 

на [1, ).

n(1 ln

2

nx)

 

n 1

 

 

 

 

 

 

 

 

arctgnx

 

 

 

 

 

 

 

 

178.

 

 

 

 

 

 

 

 

 

 

 

 

на ( , ).

 

4

 

3

 

 

 

 

 

 

 

x

n

 

 

n

 

 

n 1

 

 

 

 

 

 

 

 

 

 

180.

n 1

182.

n 1

n2(xn x n )

 

 

1

 

 

 

 

 

 

на

 

 

,2 .

 

 

 

 

 

 

 

n!

 

 

2

 

arctg

2x

 

на

( , ).

x2 n2

 

 

 

 

 

 

 

 

(n 1)2(3x)2n

 

 

1 1

 

184.

 

 

 

на

 

 

,

 

.

4x

2

5n 2

 

 

n 1

 

 

 

9 9

 

§2.4 Почленное интегрирование и дифференцирование функциональных рядов

Рассмотрим некоторые свойства равномерно сходящихся рядов.

63

Теорема 5.

 

 

 

 

 

 

непрерывности

 

суммы

 

равномерно

сходящихся

функциональных рядов). Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)

Функциональный ряд (2.1) равномерно сходится на множестве D;

2)

Все функции un (x), n 1,2, , непрерывны в точке х0

D,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тогда S(x) un (x) непрерывна в точке х0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. При любом х D имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S(x) Sn(x) n(x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В частности, при x х0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S(x0) Sn(x0) n(x0).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как функциональный ряд (2.1)

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

любого ε 0

существует номер N ε такой, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n (x)

 

 

 

 

ε

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при всех х D и n N ε . Очевидно, что также справедливо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

(x

0

)

 

 

 

ε

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если n фиксировано,

 

то Sn(x) является суммой конечного числа функций,

непрерывных в точке

 

 

х0, поэтому

Sn(x) также

 

непрерывна в точке х0, а

значит, для любого ε 0

 

 

 

 

найдется δ 0,

что при

 

x x0

 

δ выполняется

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

n

(x) S

n

(x

0

)

 

 

ε

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S(x) S(x0)

 

 

 

 

Sn (x) n(x) Sn(x0) n (x0)

 

 

 

Sn (x) Sn (x0 )

 

 

 

 

n (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

(x )

 

 

ε

 

ε

 

ε

ε,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x x0

 

 

 

 

 

0

 

 

 

 

 

 

3

 

 

3

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

если

δ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

непрерывна в точке х0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, S(x)

 

 

 

 

 

Что и требовалось доказать.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 14. Исследовать

 

 

 

 

 

 

 

 

 

на

 

непрерывность

 

 

 

 

функцию

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) arcsin

 

 

 

 

 

 

 

 

 

 

 

 

 

на множестве ( ; ).

 

 

 

 

 

 

 

 

 

 

n

2

 

 

x

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. 1) Докажем, что данный ряд равномерно сходится.

 

 

 

 

 

 

 

 

 

Очевидно, что 0 arcsin

 

 

 

 

 

1

 

 

 

arcsin

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

x4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

2

 

 

n2

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть an

 

arcsin

 

 

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

 

, который

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

n 1

n

64

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

 

 

 

 

1

 

 

 

an

lim

arcsin

 

 

 

lim

n2

 

1.

 

 

 

 

n bn

n

1

 

 

 

 

 

 

 

 

n2

 

 

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

 

 

1

 

 

 

 

 

 

аn

arcsin

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

 

 

 

 

 

2

 

 

 

 

 

n 1

n 1

n

 

 

 

 

 

 

 

 

 

 

 

1

 

 

Значит, по

признаку Вейерштрасса ряд arcsin

 

 

 

сходится

n

2

x

4

 

 

 

n 1

 

 

 

равномерно на множестве ( ; ).

2) Функции un (x) arcsin

1

 

непрерывны на множестве ( ; )

 

 

для любых n 1,2, .

n2 x4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

3) По теореме 5 функция f (x) arcsin

 

 

 

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

 

n

2

 

4

 

 

 

n 1

 

x

 

 

 

Условие равномерной сходимости функционального ряда (2.1) в теореме 5

существенно. В доказательство этого приведём следующий пример.

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 15. Исследовать на непрерывность сумму ряда (xn xn 1)

на

множестве D 0,1 .

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

Решение. Все члены ряда

un (x) xn xn 1,

n 1,2, , непрерывны

на

отрезке D 0,1 , то есть выполняется второе условие теоремы 5.

 

Найдем сумму ряда S(x) по определению.

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

вид:

 

 

 

 

 

 

 

 

 

 

 

Sn (x) x x2 x2 x3 xn xn 1 x xn 1.

 

Найдём предел частичных сумм при n :

 

 

 

 

S(x) limSn

(x) lim(x xn 1)

x,

если 0 x 1 .

 

n

n

 

0,

если x 1

 

Предельная функция S(x)

разрывна в точке x0 1. Это связано с тем,

что

 

 

 

 

 

 

 

 

 

 

 

нарушается первое условие теоремы 5, то есть ряд (xn xn 1) не является

n 1

равномерно сходящимся на D 0,1 . Действительно, оценим остаток ряда

65

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сумма бесконечной

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n x

 

 

 

S x Sn x

 

 

 

 

 

 

(xk

xk 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

геометрической прогрессии

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn 1

 

 

xn 2

 

 

 

 

 

xn 1(1 x)

 

 

 

 

xn 1

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 x

1 x

 

 

 

 

 

 

 

 

1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как

 

остаток

ряда n (x) xn 1 при

x 1

стремится

к нулю

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

неравномерно (пример 5 главы 2), то ряд (xn

xn 1)

не имеет равномерной

сходимости на D 0,1 . ◄

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметим также, что условие равномерной сходимости в теореме 5 является достаточным, но не является необходимым для непрерывности суммы ряда. Например, ряд из примера 15 на множестве D 0,1 будет иметь непрерывную сумму S(x) x, хотя сходится неравномерно.

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

Теорема 6. (о почленном интегрировании функциональных рядов). Пусть

1)Функциональный ряд (2.1) равномерно сходится на a, b ;

2)Все функции un (x), n 1,2, , непрерывны на a, b ,

тогда функциональный ряд можно почленно интегрировать на a, b :

b

 

 

b

 

un

(x) dx un (x)dx.

a n 1

 

n 1 a

Доказательство. Пусть S(x) un (x). Из условий теоремы следует, что S(x)

n1

непрерывная функция на a, b (согласно теореме 5), а значит, S(x)

интегрируема на a, b . Возьмем произвольное ε 0 и по значению

ε

0

 

 

b a

найдем номер N ε

такой, что для любого n N ε выполняется неравенство:

 

Sn

(x) S(x)

 

 

ε

(для любого x a;b ).

 

 

 

 

b a

 

 

 

 

 

 

Это сделать возможно, так как из условия равномерной сходимости

следует, что Sn (x)

равномерно сходится к S(x)

на a, b .

 

 

 

Рассмотрим оценку:

 

 

 

 

 

 

 

 

 

b

n b

 

 

 

 

b

b

 

n

 

 

b

 

 

 

 

 

 

 

 

S(x)dx uk (x)dx

 

 

 

S(x)dx

uk

(x) dx

 

(S(x) Sn (x))dx

 

 

 

a

k 1 a

 

 

 

 

a

a

k 1

 

 

a

 

 

66

 

b

 

ε

b

 

 

S(x) Sn (x)

dx

 

dx

 

 

a

 

b a a

Получили, что для любого ε 0 n N ε справедливо неравенство:

ε (b a) ε. b a

существует номер N ε такой, что при

 

 

 

 

b

 

 

 

n b

 

 

 

 

 

 

 

S(x)dx uk (x)dx

ε.

Значит,

 

 

 

a

 

 

 

k 1 a

 

 

 

 

 

 

n b

 

 

 

 

b

 

 

 

 

 

 

u

 

(x)dx

S(x)dx

 

 

 

 

lim

k

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

k 1 a

 

 

 

 

a

 

 

 

 

 

 

b

 

 

 

b

 

 

 

 

 

 

 

un (x)dx S(x)dx.

 

 

 

 

k 1 a

 

 

 

a

 

 

 

b

 

 

 

 

 

 

b

 

 

 

Таким образом,

 

un

(x) dx un (x)dx.

a

n 1

 

 

n 1 a

 

 

Что и требовалось доказать.

 

 

 

 

 

 

 

 

 

 

 

Замечание. Пусть

выполнены

условия теоремы 6. Рассмотрим

 

 

 

x

 

 

 

 

x a;b . Из доказательства теоремы 6

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

 

 

un (t)dt при

 

n 1 a

x

следует, что этот функциональный ряд сходится равномерно на a, b к S(t)dt

a

и, в частности, имеет место равенство:

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un (t)dt S(t)dt.

 

 

 

 

 

 

 

 

 

 

 

 

n 1 a

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 16. Доказать,

что

 

функция

S(x) ne nx непрерывна при

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

x ln2;ln3 и вычислить

ln3

 

 

 

 

 

 

 

 

 

 

 

 

 

S(x)dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln2

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. 1) Оценим un (x) при x ln2;ln3 :

 

 

 

 

un (x)

 

 

 

ne nx

 

 

n

 

n

 

n

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

enx

enln2

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Ряд

n

сходится по признаку Даламбера, так как

n

 

 

 

n 1 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

n

 

1

 

 

n 1 1

 

 

 

 

 

 

 

 

 

 

lim

 

 

:

 

 

 

 

lim

 

 

 

 

 

1.

 

 

 

 

 

 

 

 

 

 

 

 

2n

 

 

2

 

 

 

 

 

 

 

 

 

 

n 2n 1

 

 

2n n

 

67

3) По признаку Вейерштрасса ряд ne nx равномерно сходится на

n 1

ln2;ln3 .

4) Функции un (x) ne nx

непрерывны при любом n 1,2, .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5) По

теореме 5

функция

 

S(x) ne nx

 

 

непрерывна

 

и по

 

теореме 6

получаем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln3

 

 

ln3

 

nx

 

 

 

 

 

 

ln3

 

 

nx

 

 

 

 

 

 

 

 

 

n ln3

nx

 

 

 

 

 

 

S(x)dx

ne

 

 

 

 

 

 

 

 

 

 

 

 

ne

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

d( nx)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

dx

 

 

 

 

 

 

 

 

ln2

 

 

ln2

n 1

 

 

 

 

 

 

 

 

 

 

n 1 ln2

 

 

 

 

 

 

 

 

n 1

 

 

 

nln2

 

 

 

 

 

 

 

 

 

 

 

nx

 

ln3

 

 

 

 

nln3

 

 

 

 

nln2

 

 

 

 

 

1

 

 

 

1

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

e

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln2

 

 

 

 

 

 

 

 

 

n

 

 

n

 

 

n

 

n

 

 

n 1

 

 

 

 

n 1

 

 

1

 

 

 

 

 

1

 

 

 

 

n 1

3

 

2

 

 

 

 

n 1

2

 

 

n 1 3

 

 

 

 

 

сумма бесконечной

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

3

 

 

1

 

. ◄

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

геом.прогрессии

 

 

 

 

 

 

1

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

1

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 7. (о почленном дифференцировании функциональных рядов).

Пусть

1)Функциональный ряд (2.1) сходится на a, b ;

2)Все функции un (x) дифференцируемы на a, b и un (x) непрерывны на

a, b , n 1,2, ;

3) Функциональный ряд un (x) сходится равномерно на a, b ,

n 1

тогда

S (x)

n 1

 

 

 

 

 

 

 

 

un (x)

 

 

 

(x),

 

 

un

 

 

 

n 1

 

то есть функциональный ряд можно почленно дифференцировать на a, b .

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

 

По

теореме 5 функция T(x)

Пусть T(x) un (x).

 

n 1

 

 

 

 

 

a, b , так как по условию

 

 

 

 

непрерывна на

 

 

(x)

un (x)

- непрерывны и un

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

 

 

n 1

 

 

 

 

 

Функция T(x) непрерывна, следовательно,

интегрируема, при этом ряд

 

 

 

 

 

 

 

 

до x:

 

 

un (x) можно интегрировать почленно от a

 

 

n 1

68

x

x

 

 

x

 

 

 

 

 

 

 

 

 

 

(t)dt

 

(un (x) un (a))

 

T(t)dt un

(t) dt

un

 

 

a

a n 1

 

 

n 1 a

 

 

n 1

 

 

 

 

рядысходятся

 

 

 

 

 

 

 

 

 

un (x) un (a)

 

 

S(x) S(a).

 

n 1

n 1

 

по условию теоремы

 

 

Получили, что

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S(x) S(a) T(t)dt.

 

 

 

 

 

 

 

 

 

a

x

 

 

 

 

 

 

 

 

 

Данная

функция

непрерывна

и

 

 

T(t)dt

 

S (x) T(x), так как

a

дифференцируем по теореме Ньютона-Лейбница как функция верхнего предела

[10, стр.115], то есть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

 

 

 

 

 

 

 

 

 

 

(x)

 

 

 

 

 

 

 

 

 

 

 

 

(x) un

 

 

 

 

 

 

 

 

 

 

при x a;b .

 

n 1

 

 

 

 

 

n 1

 

 

Что и требовалось доказать.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cosnx

 

 

 

 

 

 

Пример 17. Доказать, что

функция

 

f (x)

 

 

дифференцируема

5 2

при x R.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. 1) При x R и n 1,2, имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cosnx

 

 

 

 

 

1

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n5 2

 

 

n5 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При этом числовой

ряд

 

 

1

сходится

по

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

признаку

 

 

 

 

 

n 1 n5 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cosnx

 

 

 

 

 

 

 

 

 

 

 

 

 

Коши. По признаку Вейерштрасса ряд

n 1

 

 

 

 

 

 

 

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

 

n5 2

 

 

 

cosnx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Функции un (x)

 

дифференцируемы

для любых n 1,2, и

 

 

n5 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2 sinnx

cosnx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

(x)

 

 

 

 

 

 

 

 

 

.

 

 

имеют непрерывные производные un

 

 

n7 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2 sinnx

cosnx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

ряд

 

 

 

 

 

(x)

 

 

 

 

 

 

 

2

 

 

 

сходится

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

 

 

 

 

n

7 2

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

равномерно по признаку Вейерштрасса, так как

69

n2 sinnx

5

cosnx

 

4

 

 

2

 

 

 

 

 

 

n7 2

n3 2

1

иряд 4 n3 2 сходится по интегральному признаку Коши.

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4) Условия

теоремы

7

выполняются,

 

 

 

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

функция

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)

cosnx

дифференцируема при x R и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2 sinnx

cosnx

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. ◄

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7 2

 

 

 

 

 

 

 

 

 

 

 

 

 

(x) un (x)

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 18. Найти сумму ряда

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. 1) Так как

 

 

 

 

n 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

(n 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un 1

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

x

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

un

 

 

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то по признаку Даламбера ряд сходится, если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

x 1.

 

( 1)

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При

x 1

получаем

числовой

ряд

 

 

,

 

который

сходится

 

по

 

 

n

 

 

 

признаку Лейбница.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При

x 1 получаем

числовой

ряд

 

 

,

 

 

который

расходится

как

 

 

 

 

гармонический ряд.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Область сходимости ряда: 1 x 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1;1

 

 

 

 

n 1

2) Функции

un (x)

 

дифференцируемы

на

 

и

(x) x

 

 

 

un

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

непрерывны на 1;1 , n 1,2, .

3)Функциональный ряд un (x) xn 1 сходится равномерно на δ;δ

n 1

n 1

при любом 0 δ 1 (но имеет

неравномерную сходимость на 1;1 , см.

пример 6 этой главы). Действительно,

70

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