Глава II.

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

§ 1. Основные понятия
Определение. Пусть каждому натуральному n поставлена в соответствие функция f n ,
определенная на множестве E . Тогда говорят, что определена функциональная
последовательность  f n n 1 на множестве E .


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

множество функций, определенных на E .
Каждому x  E соответствует числовая последовательность  f n  x n1 . Если эта числовая


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

в точке x . Если сходимость имеет место для всех точек некоторого множества D , говорят
что функциональная последовательность сходится (поточечно сходится) на D .
Положим E0   x :  f n  сходится в точке x и определим функцию f соотношением
f  x   lim f n  x  для x  E0 . Множество E0 называется множеством сходимости, а f —
n 

 f n n1 ,

предельной функцией функциональной последовательности
f  lim f n , f n  f .
n  n 

 f n n1 , определенная на

Пример. Функциональная последовательность соотношением
n
 x
f n  x    1   для x  , n  имеет предельную функцию f : f  x   e x .
 n
Определение. Пусть  f n n 1 — функциональная последовательность на множестве E .


Построим последовательность частичных сумм

Sn n1 , Sn  f1   f n .



Последовательности  f n n 1 , Sn n 1 образуют функциональный ряд f
 
n на множестве E ,
n 1

при этом последовательности  f n n 1 , Sn n 1 называются последовательностью членов и

 


последовательностью частичных сумм функционального ряда f
n 1
n . Множество сходимости

функциональной последовательности Sn n 1 называется множеством сходимости




функционального ряда f
n 1
n , а предельная функция S  lim Sn — суммой функционального
n 

ряда:

S   fn .
n 1

1
 
Каждому x  E соответствует числовой ряд  f  x  . Для
n 1
n x из множества сходимости

S  x    fn  x  .
n 1

Примеры.
I. 1) f n  x   x n , x   0, 1 ;
0, x   0, 1 ,

f  x  
1, x  1.

1
2) f n  x   , x   0,    ;
1  nx
0, x   0,    ,

f  x  
1, x  0.

3) f n  x   e n x , x   ,    ;
2 2

0, x  0,
f  x  
1, x  0.
1
4) f n  x   2  0.
n  x 2 n 

x
II. 1)  x n  , x   1, 1 .
n 1 1 x
 1
n 1

2) 
n 1 x2  n
сходится при всех x   ,    .

 1
n 1

x2
3)  абсолютно сходится при всех x   ,    .
1  x 2 
n
n 1

Примеры показывают, что предельная функция последовательности непрерывных функций

может уже не быть непрерывной.
Функциональная последовательность f n  x   nx n  0 на  0, 1 , но
n 
1 1
n
 f  x  dx   nx dx  n  1  1 . Предельный переход под знаком интеграла оказался
n
n
n 
0 0

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

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

последовательностей и функциональных рядов
 f n n1 — функциональная последовательность, а

1  Пусть f — функция на множестве E .
Поточечная сходимость f n  f на E означает:
n 

x  E   0 N n  N f n  x   f  x    .

2
Здесь номер N зависит от x и  . Если можно найти номер N , не зависящий от x , говорят
что сходимость является равномерной.
Определение. Говорят, что функциональная последовательность  f n n 1 равномерно сходится


к f на множестве E и пишут f n 
 f на E , если
n 

  0 N n  N x  E f n  x   f  x    .
Теорема 1. Пусть  f n n 1 — функциональная последовательность, а f — функция на


множестве E .
Положим n  sup f n  x   f  x  .
xE

 f n n1 к

Тогда для равномерной сходимости f на множестве E необходимо и достаточно
условие
n  0 .
n 

Доказательство. Необходимость. Пусть f n 

 f . Возьмем   0 . В силу равномерной
n 

сходимости N n  N x  E f n  x   f  x    . Переходя в последнем неравенстве к

верхней грани, получим n  sup f n  x   f  x    . Итак,   0 N n  N n   , т.е.
xE

n  0 .
n 

Достаточность. Пусть теперь n  0 . Тогда   0 N n  N n   , так что

n 

x  E f n  x   f  x   n   . Последнее означает, что f n 

 f .
n 

Дополнение к теореме 1. Если x  E f n  x   f  x    n , а  n  0 , то f n 

 f на E .
n 
n 
Примеры.
x
1) f n  x  
, x   ;    . x f n ( x)  0 . Функциональная последовательность поточечно
n n 

x
сходится к нулевой функции. Однако  n  sup   ,  n не является бесконечно малой,
x  ;   n

сходимость неравномерная.
Если ту же функциональную последовательность рассматривать на отрезке   A; A , где
x A
A  0 , то  n  sup   0 , так что f n  0 на   A; A .
x  A; A n n n n 
1
2) f n  x   , x   0;    .
xn
1
При любом x   0;    f n  x   0 . Поскольку 0  f n  x    0 , то f n  0 на  0;    .
n  n n 

3
3) f n  x   x n , x   0; 1 . Здесь опять x f n ( x)  0 ,  n  sup x n  1 . Сходимость не является
n  x 0; 1

равномерной. На промежутках вида  0; 1    , где 0    1, сходимость окажется

равномерной: n  sup 1     0 .
n

x0; 1 

4) f n  x   x  x n n 1
, x   0; 1 . Функция f n на промежутке  0; 1 положительна и принимает
n
n  n   n  1 1
наибольшее значение в точке x0  . n  f n       0.
n 1  n 1   n 1 n 1 n 1
Функциональная последовательность  f n n 1 равномерно сходится к нулевой функции на


отрезке  0; 1 .
Теорема 2. Критерий Коши равномерной сходимости функциональной последовательности.
Для равномерной сходимости функциональной последовательности  f n n 1 на множестве


E необходимо и достаточно условие Коши:

  0 N m, n  N x  E f n  x   f m  x    .
Доказательство. Необходимость устанавливается стандартными рассуждениями. Пусть
fn 
 f на E . Возьмем произвольное   0 . По определению равномерной сходимости
n 

N n  N x  E f n  x   f  x   .
2
Теперь получается, что
 
n, m  N x  E f n  x   f m  x   f n  x   f  x   f m  x   f  x     ,
2 2
выполнено условие Коши.
Достаточность. Пусть выполнено условие Коши для функциональной последовательности.
Тогда при любом x  E числовая последовательность  f n  x n1 удовлетворяет условию


Коши, поэтому она сходится. Обозначим через f предельную функцию функциональной

последовательности  f n n 1 . Покажем, что последовательность  f n n 1 сходится к f
 

равномерно. Для произвольного   0 по условию можно найти такой номер N ,что

n, m  N x  E f n  x   f m  x    .
В последнем неравенстве зафиксируем n и перейдем к пределу при m   . Получается, что
n  N x  E f n  x   f  x   
Равномерная сходимость установлена.
 
2  Определение. Пусть  n 1
f n — функциональный ряд на множестве E . Ряд f n 1
n

называется равномерно сходящимся на E , если равномерно сходится его последовательность

частичных сумм Sn  f1  f 2   f n .
Теорема 3. Необходимое условие равномерной сходимости функционального ряда.

Если f n 1
n равномерно сходится на множестве E , то f n 
 0 на E .
n 
Доказательство теоремы 3 не вызывает трудностей и предоставляется слушателям.
4
 
Теорема 4. Пусть функциональный ряд S   f n поточечно сходится на множестве E ,
n 1
 
S   f n — его сумма, а rn   f k ( n  1, 2, ) — остатки.
n 1 k  n 1

Тогда для равномерной сходимости ряда f
n 1
n на множестве E необходима и достаточна

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

rn 
 0 на E .
n 

Действительно, равномерная сходимость равносильна условию Sn  S 

 0 , заметив, что
n 

rn  
k  n 1
f k  S  Sn , мы завершаем доказательство теоремы.

Теорема 5. Критерий Коши равномерной сходимости функционального ряда.


Для равномерной сходимости функционального ряда f
n 1
n на множестве E необходимо и

достаточно условие Коши:

n p
  0 N n  N p  1, 2, x  E  f  x  
k  n 1
k

Примеры.

x
1) Геометрический ряд x
n 1
n
сходится при x   0; 1 , имеет сумму
1 x
. Ряд не является

равномерно сходящимся на интервале  0; 1 , поскольку нарушено необходимое условие

равномерной сходимости.

2) Ряд  x
n 1
n
 x n 1  сходится при всех x   0; 1 . Выполнено необходимое условие

равномерной сходимости, но последовательность частичных сумм

Sn  x    x  x 2    x 2  x3     x n  x n1   x  x n1 , как мы видели, сходится неравномерно.
Ряд не является равномерно сходящимся.
 1
n 1

3) Ряд 
xn
n 1
при всех x   0;    сходится условно, при этом

1 1
rn  x     0 . Ряд равномерно сходится.
x  n  1 n  1 n 


  1  x  x n 1  равномерно сходится на

n 1
4) Те же рассуждения показывают, что ряд n

n 1

отрезке  0; 1 . Интересно отметить, что во всех точках ряд сходится абсолютно, но ряд из
абсолютных величин не является равномерно сходящимся (см. пример 2).

5
§ 3. Признаки равномерной сходимости рядов
10. Признак Вейерштрасса
Теорема 1


f
n 1
n — функциональный ряд на E ,

x  E , n  1, 2, f n  x   an , (1)

числовой ряд a
n 1
n сходится.

Тогда функциональный ряд (1) равномерно сходится на E .


Доказательство. Произвольным образом зафиксируем x  E . Числовой ряд  f  x
n 1
n

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

Если rn — остаток функционального ряда, то на основании условия (1) можем написать

x  E rn  x   a
k  n 1
k  0.
n 

 0 на E , функциональный ряд  f n равномерно сходится на E .

Следовательно, rn 
n  n 1

(Можно пользоваться критерием Коши:

n p
  0 N n  N p  1, 2, a
k  n 1
k 

Поэтому
n p n p
x  E 
k  n 1
fk  x   
k  n 1
fk  x   

и критерий Коши дает равномерную сходимость ряда).

Примеры и замечания.

1
1) Ряд  2 равномерно сходится на , поскольку
n 1 x  n
2

1 1
x  , n  1, 2, 0  2  2
x n 2
n

1
и ряд  2 сходится.
n 1 n
  
2) Если ряд  an абсолютно сходится, то ряды
n 1
 an cos nx,
n 1
a
n 1
n sin nx равномерно сходятся

на .
3) Признак Вейерштрасса — важнейшее средство исследования равномерной сходимости.
Однако, признак Вейерштрасса может сработать лишь в ситуации, где ряд абсолютно

сходится во всех точка, более того, равномерно сходится ряд 
n 1
fn .

В то же время, равномерно сходящийся ряд может сходиться условно:

6
  1
n 1


 n 1 x2  n

4) Может случиться, что функциональный ряд f n 1
n сходится абсолютно во всех точках и

равномерно на E , но ряд 
n 1
f n не является абсолютно сходящимся. Такая ситуация


  1  x  x n 1  на отрезке  0; 1 .
n 1
сложилась при рассмотрении ряда n

n 1
5) Наконец, можно построить равномерно сходящийся положительный ряд, не
удовлетворяющий условиям признака Вейерштрасса.
20. Признак Лейбница
Теорема 2.
Рассмотрим ряд


  1
n 1
gn (2)
n 1

1) x  E g1  x   g 2  x   0;
2) g n 
 0 на E .
n 
Тогда ряд (2) равномерно сходится на E .

Доказательство. При любом x  E ряд   1 g n  x  сходится по признаку Лейбница,
n 1

n 1

 0 , поскольку x  E rn  x   g n1  x  .
остаток rn 
n 
Мы фактически пользовались признаком Лейбница в примерах 3), 4) предыдущего
параграфа.
30. Признаки Дирихле и Абеля.
Здесь будут рассмотрены ряды вида


f
n 1
n g n на множестве E . (3)

Теорема 3. Признак Дирихле

n
1) Положим Fn   f k и предположим, что функциональная последовательность  Fn n 1


k 1
равномерно ограничена, т.е.
M x  E n  1, 2, Fn  x   M .
2) x  E g1  x   g 2  x   0; gn 
 0.
n 
Тогда ряд (3) равномерно сходится на E .
Теорема 4. Признак Абеля

1) Пусть ряд f n 1
n равномерно сходится на E .

2) x  E последовательность  g n  x  монотонна, функциональная последовательность

 g n  равномерно ограничена:
7
 L x  E n  1, 2, gn  x   L
Тогда ряд (3) равномерно сходится на E .
Доказательство теорем 3, 4 проведем на основе критерия Коши. Для определенности
считаем последовательность  g n  x  убывающей.
n p
Подвергнем сумму  f  x  g  x  преобразованию Абеля.
k  n 1
k k

Положив Ai  f n1   f ni для i  1, 2, , p и A0  0 , можем написать

n p p p

 f k  x  g k  x    f n i  x  g n i  x     Ai  x   Ai 1  x   g n i  x  
k  n 1 i 1 i 1
p 1
(4)
 Ap  x  g n  p  x    Ai  x   g n i  x   g n i 1  x  
i 1
Пусть
x  E i  0, 1, , p Ai  x   K g ni  x   L ,
тогда (учитываем условие g n i  x   g n i 1  x   0 )
n p p 1

 f k  x  g k  x   KL  L   g n i  x   g n i 1  x    KL  L  g n 1  x   g n  p  x   
k  n 1 i 1

 KL  2 KL  3KL
Пусть выполнены условия Дирихле. Поскольку Ak  Fn k  Fn , то x  E i Ai  x   2M и
мы можем взять K  2M .
Для произвольного   0 в силу равномерной сходимости g n 
 0 найдется такое N , что
n 

n  N x  E g n  x   .
6M

Мы берем L  и получаем неравенство
6M
n p

 f  x g  x   ,
k  n 1
k k

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

Пусть теперь выполнены условия Абеля. Для произвольного   0 в силу равномерной

сходимости ряда fn 1
n найдется такое N , что


n  N x  E i  1, 2, , p Ai  x   .
2L

Мы берем K  и еще раз получаем неравенство
2L
n p

 f  x g  x   ,
k  n 1
k k

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

Замечание. Роль f n или g n может выполнять числовая последовательность.

8
  
Пример. Пусть an 0 , тогда a n cos nx, a n sin nx равномерно сходятся на  , 2    ,
n 
n 1 n 1
Поскольку
n n
1 1 1 1
 cos kx 
k 1
x  k 1

x 
,,  sin kx  
sin sin sin sin
2 2 2 2
то равномерная сходимость следует из признака Дирихле.

cos nx
В частности, ряд  сходится на  0, 2  , равномерно сходится на  , 2    , но не
n 1 n
является равномерно сходящимся на  0, 2  .
(Допустим, ряд равномерно сходится, тогда найдется такой номер n , что
2n
cos kx 1
x   0, 2    .
k  n 1 k 2
2n
1 1 1
Переходя к пределу при x  0 , получаем противоречие:    ).
2 k  n 1 k 2

§ 4. Важнейшие теоремы
10. Непрерывность
Теорема 1.
Пусть  f n n 1 — функциональная последовательность на промежутке  ; f n 

 f на  .
n 

Пусть далее x0 — некоторая точка  и функции f n непрерывны в точке x0 .

Тогда f непрерывна в точке x0 .
Доказательство.
Возьмем произвольное   0 . Подберем такое n0 , что

f n0  x   f  x   при всех x  .
3
Получается что при любом x 
2
f  x   f  x0   f  x   f n0  x   f n0  x   f n0  x0   f n0  x0   f  x0    f n0  x   f n0  x0 
3
Поскольку f n0 непрерывна в точке x0 , то найдется такое   0 , что

x  x0    f n0  x   f n0  x0  
3
и, следовательно, f  x   f  x0    .
Теорема доказана.
Теорема 1'.
 
Пусть n 1
f n — функциональный ряд на промежутке  ; S   f n равномерно сходится на  .
n 1

Пусть далее x0 — некоторая точка  и функции f n непрерывны в точке x0 .

Тогда S непрерывна в точке x0 .

9
Теорема 2. Теорема Дини.
Пусть  f n n 1 — функциональная последовательность на отрезке  a, b  ;


1) f n  f на  a, b  поточечно;
n 

2) x  E последовательность  f n  x  монотонна;
3) функции f , f1 , f 2 , непрерывны на отрезке  a, b  .

 f на  a, b  .
Тогда f n 
n 

Доказательство. Положим  n  f n  f , тогда  n 0.

n 

Ввиду монотонности последовательности  n , достаточно показать, что

  0 n x   a, b   n  x    .
Допустим противное, для некоторого   0 и любого n найдется точка xn   a, b  , для
которой  n  xn    . Из последовательности  xn  извлечем сходящуюся
подпоследовательность xnk  x0   a, b  .
k 

По непрерывности функций  n при всех n справедливо соотношение

n  xn    x  n 0
k k 
Для достаточно больших k имеем
n  xn   n  xn   
k k k

.
Предельным переходом ( k   ) в неравенстве n xnk   получаем неравенство  
 n  x0    ,
противоречащее условию n  x0   0 ,
n 

Теорема 2'.

Пусть f n — функциональный ряд на отрезке  a, b  , состоящий из положительных,
n 1
непрерывных функций.

S   f n непрерывна на  a, b  .
n 1

Тогда ряд f n сходится равномерно на  a, b  .
n 1

20. Предельный переход

Теорема 3.
 f n n1 равномерно сходится на промежутке

Пусть функциональная последовательность к
предельной функции f .
n f n  x   An .
x  x0

10
Тогда последовательность  An n 1 сходится; предел A  lim An этой последовательности


n 

является и пределом для функции f ,

f  x  A .
x  x0

Иными словами, возможна перестановка предельных переходов:

lim lim f n  x   lim lim f n  x  .
x x0 n n x x0

Доказательство.
Возьмем произвольное   0 . Подберем такое N , что при m, n  N справедливо неравенство
x   f n  x   f m  x    .
Предельный переход при x  x0 дает неравенство
An  Am   .
Последовательность  An n 1 является фундаментальной и, следовательно, сходится. Положим


A  lim An .
n 

Установим соотношение f  x   A .
x  x0


Для произвольного   0 подберем такое n0 , что f n0  x   f  x   при всех x  и
3
 
An0  A  . Поскольку f n0  x   An0 , то найдется такое   0 , что f n0  x   An0  для всех
3 x  x0 3
x , удовлетворяющих неравенству 0  x  x0   .
Для таких x получаем неравенство
  
f  x   A  f  x   f n0  x   f n0  x   An0  An0  A     .
3 3 3
Теорема 3'.

S   f n равномерно сходится на промежутке  .
n 1

n f n  x   An .
x  x0

Тогда числовой ряд A   An сходится, S  x   A .
x  x0
n 1
Здесь оказалось возможным переставить операции суммирования и предельного перехода:
 
lim  f n  x    lim f n  x  .
x  x0 x  x0
n 1 n 1

30. Интегрирование
Теорема 4.
 f n n1 состоит из непрерывных функций и

Пусть функциональная последовательность
равномерно сходится на отрезке  a, b  . f n 
 f
n 
Тогда

11
 b b
lim  f n  x  dx   lim f n  x  dx ,
n  n 
a a

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

b b
I n   f n  x  dx  I   f  x  dx ,
n 
a a

Доказательство.
Существование всех интегралов обеспечено непрерывностью рассматриваемых функций.
Положим n  sup f n  x   f  x  . По условию n  0 , и мы можем написать
xa , b n 

b
I n  I   f n  x   f  x  dx   n   b  a   0 .
n 
a

Теорема доказана.
Дополнение к теореме 4. Рассмотрим интегралы с переменным верхним пределом:
x x
I n  x    f n  t  dt , I  x    f  t  dt
a a

 I на  a, b  .
Тогда I n 
n 
Действительно,
x
I n  x   I  x    f n  t   f  t  dt   n   x  a   n   b  a   0 .
n 
a

Теорема 4'.

Пусть S   f n — равномерно сходящийся ряд из непрерывных функций на  a, b  .
n 1
Тогда ряд можно почленно интегрировать:
b  b

 S  x  dx    f  x  dx .
a n 1 a
n

Замечание. Условия теорем 4,4' можно ослабить, потребовать только интегрируемости

функций. При этом следует доказать интегрируемость предельной функции (суммы ряда).
Предельный переход обосновывается так же, как в доказанной теореме.
Примеры. 1) f n  x   2nxe nx  0, x  0, 1 . Сходимость не является равномерной,
2

n

 1 
1 1

  2ne . I n   f n  x  dx  e
 nx 2
поскольку f n  1/2
 1  e  n  1  0 . Предельный переход
 2n  0
0 n 

под знаком интеграла оказался невозможным. Причина — отсутствие равномерной

сходимости.
2) Отметим, что равномерная сходимость все же не является необходимым условием для
nx
осуществимости предельного перехода. Так, f n  x    0, x   0, 1 , сходимость не
1  n 2 x 2 n 
1 1

является равномерной, но
ln 1  n2 x 2   ln 1  n 2   0 .
1 1
 f n  x  dx 
2n 2n n 
0 0

12
40. Дифференцирование
Теорема 5.
 f n n1 состоит из дифференцируемых функций

Пусть функциональная последовательность
на промежутке  . Сама последовательность сходится хотя бы в одной точке x0   , а
 f nn1 равномерно сходится на промежутке

последовательность производных  к некоторой
функции  .
 f n n1 сходится на всем промежутке

Тогда последовательность  (и даже равномерно, если
 — конечный промежуток), предельная функция f  lim f n дифференцируема и, наконец,
n 

f   .
Последнее равенство можно записать в виде

 lim f    lim f 
n  n 

Доказательство
f n  x   f n  x0 
Рассмотрим функциональную последовательность  n n 1 : n  x  

.
x  x0
(Последовательность рассматривается на  \  x0  ). Установим ее равномерную сходимость.
Возьмем произвольное   0 . Опираясь на равномерную сходимость последовательности
производных, мы можем найти такое N , что при всех n, m  N и при всех x  выполняется
неравенство
f n  x   f m  x   

Теперь запишем разность  n  x   m  x  

 f  x   f  x     f  x   f  x   , применяя
n m n 0 m 0

x  x0
теорему Лагранжа к функции f n  f m , в виде
 n  x   m  x   f n    f m   .
Мы приходим к неравенству  n  x   m  x    . По критерию Коши последовательность
 n n1 равномерно сходится на  \  x0  .


 f n n1 . Положим

Во-первых, отсюда следует сходимость последовательности f  lim f n .
n 

Во-вторых, последовательность  n n 1 удовлетворяет условиям теоремы о предельном



переходе.
f  x   f  x0 
Предельная функция lim n  x   имеет при x  x0 предел, равный
n  x  x0
lim f n  x0     x0  , т.е. функция f имеет в точке x0 производную f   x0     x0  .
n 

Рассуждение можно повторить с заменой точки x0 на произвольную точку промежутка  .

Функция f имеет во всех точках промежутка  производную, f    .
Теорема 5'.

13
  

f
n 1
n функциональный ряд из дифференцируемых на  функций, ряд T   f n равномерно
n 1

сходится, ряд f n сходится в некоторой точке x0   a, b  .
n 1

Тогда S   f n сходится,
n 1

S  T ,
   
 f n    f n .
 n 1  n 1

14