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

§1. Основные определения.

Опр1. Пусть X – некоторое числовое множество, X ⊂ R . Если каждому n ∈ Ν поставлена

в соответствие некоторая функция f n (x ) , определенная на множестве X , то говорят, что на
множестве X задана функциональная последовательность { f n (x)} .

Очевидно, что при каждом фиксированном x0 ∈ X функциональная

последовательность превращается в числовую последовательность { f n ( x0 )} .

Опр2. Пусть на множестве X задана функциональная последовательность { f n (x)} . Если при

некотором фиксированном x0 ∈ X числовая последовательность { f n ( x0 )} сходится
(расходится), то говорят, что функциональная последовательность { f n (x)} сходится
(расходится) в точке x0 .

Опр3. Если функциональная последовательность { f n (x)} , заданная на множестве X ,

сходится в каждой точке этого множества, то говорят, что функциональная
последовательность { f n (x)} сходится на множестве X .

Опр4. Пусть функциональная последовательность { f n (x)} сходится на множестве X и пусть

f ( x) = lim f n ( x) . Тогда f (x) называется предельной функцией функциональной
n →∞

последовательности { f n (x)} , заданной на множестве X .

Опр5. Пусть на множестве X задана функциональная последовательность { f n (x)} . Тогда

∞

∑f
n =1
n ( x ) (1), называется функциональным рядом. При этом, f n (x) называются членами
n
функционального ряда (1), а функции S n ( x) = ∑ f k ( x) называются частичными суммами
k =1
ряда (1).

Опр6. Функциональный ряд (1) называется сходящимся (расходящимся) в точке x0 ∈ X ,

∞
если сходится (расходится) числовой ряд ∑f
n =1
n ( x0 ) , т.е. сходится (расходится) числовая

последовательность S n ( x0 ) .

Опр7. Функциональный ряд (1) называется сходящимся на множестве X

, если он сходится
в каждой точке этого множества.

Опр8. Если функциональный ряд (1) сходится в каждой точке некоторого множества M ⊂ X
и расходится в каждой точке множества X \ M , то множество M называется областью
сходимости.

Опр9. Если функциональный ряд (1) сходится на , то предельную функцию S (x)

X

функциональной последовательности S n (x) называют суммой ряда (1).

Пример. f n ( x) = x , X = R
n
1) x < 1
f ( x) = lim x n = 0
n→∞

2) x = 1
f ( x) = lim 1n = 1
n→∞

3) x = −1
∃/ lim f n ( x)
n →∞

4) x < −1
lim f n ( x) = ∞
n →∞

5) x > 1
lim f n ( x) = +∞
n →∞

0, x ∈ ( − 1;1) ,
f ( x) = 
1, x = 1.

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

Пусть X ⊂R . f (x) сходится к предельной функции f (x) на

n X
поточечно, если
∀x0 ∈ X , ∀ε > 0 ∃N ε ( x0 ) : ∀n > N ε ( x0 ) ⇒ f n ( x0 ) − f ( x0 ) < ε

Опр1. Функциональная последовательность f (x) , определенная на множестве

n X
,
называется равномерно сходящейся к функции f (x) , если для
∀ε > 0 ∃N ε : ∀n > N ε и ∀x ∈ X ⇒ f n ( x) − f ( x) < ε
X
f n ( x) ⇒ f ( x )

Замечание. Перепишем последнее неравенство f ( x) − ε < f n ( x ) < f ( x) + ε

Геометрически это неравенство означает, что при фиксированном ε > 0 , графики всех
функций y = f n (x) , начиная с некоторого N ε , заключены в полосе y = f (x) − ε ,
y = f (x) + ε .

Опр1’. ∀ε > 0 ∃N ε : ∀n > N ε d n = sup f n ( x) − f ( x) < ε ⇔ d n → 0

n→∞
x
Утверждение. Если функциональная последовательность сходится равномерно, то она
сходится поточечно.

Пример1. f n ( x) = x
n
X = ( 0;1)
1) f ( x) = lim f n ( x) = 0
n→∞

2) d n = xsup
∈( 0;1)
xn − 0 = 1 →
/ 0, n → ∞

( 0;1)
xn ⇒
/ 0

f n ( x) = x n X = ( 0; α ] , 0 < α < 1
1) f ( x) = 0
2) d n = xsup
∈( 0;α ]
x n − 0 = sup 
( 0;α ]
→ 0
n→∞

( 0;α ]
xn ⇒ 0

1
Пример2. f n ( x) = X =R
n + x2
2

f ( x ) =lim f n ( x ) =0
1) n→∞

1 1
2) d n = sup − 0 = 2  → 0
n →∞
x∈R n +x
2 2 ( x =0 ) n

1 R
⇒ 0
n2 + x2

2nx
Пример3. f n ( x ) = X = [ 0;1]
1 + n2 x2
f ( x ) =lim f n ( x ) =0
1) n→∞

2nx 2
2) d n = xsup =1 = 1
∈[ 0;1] 1 + n x ( x = ) 2
2 2
n
 ′
 2nx  1 − n2 x2
  = 2 n ⋅
( )
x
1+ n x 
2 2 2
1 + n2 x 2

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

2nx
f n ( x) = [α ;1], 0 < α < 1
1 + n2 x2
2nx 2 nα
d n = sup = → 0
x∈[ α ;1] 1 + n x
2 2 ( x =α )
1 + n 2α 2 n→∞

2nx [ α ;1]
⇒0
1 + n2 x2

а) ( − l; l )
2
Пример4. f n ( x) = e − ( x −n )
б) R
1) f ( x) = 0
2 2

2а) d n = sup e − ( x−n ) = e − ( l −n )  → 0

n →∞
( −l ;l )
2
− ( x −n )
2б) d n = sup e =1→
/ 0 Нет равномерной сходимости
R

nx
Пример5. f n ( x ) = X = [ 0;1]
1+ n + x
1) f ( x) = lim
n→∞
f n ( x) = x

nx − x2 − x
2) d n = sup − x = sup =0
[ 0;1] 1 + n + x [ 0;1] 1 + n + x x =1
[ 0;1]
f n ( x) ⇒ x
Теорема1. (Критерий Коши равномерной сходимости функциональной последовательности.)
Функциональная последовательность f (x) равномерно сходится к f (x) на
n X

⇔ ∀ε > 0 ∃N ε : ∀n ≥ N ε , ∀p ∈ N и ∀x ∈ X ⇒ f n+ p ( x) − f n ( x) < ε .
►Необходимость. Пусть f n (x) равномерно сходится к f (x)
на X
.
ε
Тогда ∀ε > 0 ∃N ε : ∀n ≥ N ε и ∀x ∈ X ⇒ f n ( x) − f ( x) <
2
ε
∀p ∈ N : ∀(n + p ) ≥ N ε и ∀x ∈ X ⇒ f n+ p ( x) − f ( x) <
2
ε ε
+ =ε
f n+ p ( x) − f n ( x) ≤ f n+ p ( x) − f ( x) + f n ( x) − f ( x ) <
2 2
Достаточность. ∀ε > 0 ∃N ε : ∀n ≥ N ε , ∀p ∈ N и ∀x ∈ X ⇒ f n+ p ( x) − f n ( x) < ε
Т.к. это неравенство выполняется при любых значениях p , то переходя к пределу
lim f n+ p ( x) − f n ( x) = f ( x ) − f n ( x) < ε . Это и означает равномерную сходимость f n (x) .◄
p →∞

Теорема2. (О непрерывности предельной функции)

Пусть задана { f n ( x)} : ∀n f n ( x) ∈ C ( x0 ), x0 ∈ X и . Тогда f ∈ C ( x0 ) .
X
f n ( x ) ⇒ f ( x)

►Необходимо доказать, что ∀ε > 0 ∃δ > 0 : ∀x ∈ X : x − x0 < δ ⇒ f ( x) − f ( x0 ) < ε

∀ε > 0 ∃δ > 0 : ∀x ∈ X : x − x0 < δ ⇒ f ( x) − f ( x0 ) =
= f ( x ) − f ( x0 ) + f n ( x ) − f n ( x ) + f n ( x0 ) − f n ( x 0 ) ≤ f ( x ) − f n ( x ) + f ( x0 ) − f n ( x0 ) + f n ( x ) − f n ( x0 ) <
ε ε ε
< + + =ε
3 3 3
ε
( f ( x) − f n ( x) <
X
, т.к. f n ( x ) ⇒ f ( x) ,
3
ε
f ( x0 ) − f n ( x0 ) < , т.к.
X
,
f n ( x ) ⇒ f ( x)
3
ε
f n ( x) − f n ( x0 ) < , т.к. f n (x) непрерывна в точке x0 )◄
3

Теорема3. (Об интегрируемости предельной функции)

b b
[ a ;b ]
Пусть ∀n f n ∈ ℜ[ a;b], f n ( x ) ⇒ f ( x ) . Тогда f ∈ ℜ[ a; b] и lim
n→∞ ∫
f n ( x )dx = ∫ f ( x)dx .
a a
Р .С .
b b b b b
ε
►
∫
a
f n ( x)dx − ∫ f ( x)dx = ∫ ( f n ( x) − f ( x))dx ≤ ∫ f n ( x) − f ( x) dx ≤ ∫
a a a a
a−b
dx = ε ◄

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

Пусть все члены { f n (x)} непрерывно дифференцируемы на [ a; b] и f n′(x) равномерно
сходится на [ a; b] , а сама последовательность { f (x)} сходится хотя бы в одной точке
n

x0 ∈ [ a; b] . Тогда { f (x)} сходится равномерно на [ a; b] к некоторой функции f (x) , ее

n

можно почленно дифференцировать на [ a; b] и lim f n′( x) = f ′( x) . n →∞

►(Самостоятельно) 1) Зафиксируем произвольное положительное ε . По критериям Коши,

из сходимости { f n ( x0 )} и равномерной сходимости { f n′(x)} следует, что
 ε
∀n ≥ N ε и ∀p ∈ N ⇒ f n+ p ( x0 ) − f n ( x0 ) < 2 ,
∃N ε : 
∀n ≥ N ε , ∀p ∈ N и ∀x ∈ X ⇒ f n′+ p ( x) − f n′( x) < ε
.
 2( b − a )
Пусть x, t ∈ [ a; b] . При любых фиксированных n, p на [ t, x ] для функции ( f n+ p − f n )
выполнены все условия теоремы Лагранжа ⇒
⇒ ∃ξ ∈ [ t , x ] : ( f n+ p ( x) − f n ( x) ) − ( f n+ p (t ) − f n (t ) ) = ( f n′+ p (ξ ) − f n′(ξ ) ) ⋅ ( x − t ) (∗)
При t = x0 и, учитывая, что x − x0 ≤ ( b − a ) , получаем:
ε ε
f n+ p ( x) − f n ( x) ≤ f n′+ p (ξ ) − f n′(ξ ) ⋅ x − x0 + f n+ p ( x0 ) − f n ( x0 ) < x − x0 + ≤ ε .
2(b − a ) 2
По критерию Коши { f n (x)} сходится равномерно на [ a; b] к некоторой функции f (x) .

f (t ) − f ( x) f (t ) − f n ( x)
2) Пусть ϕ (t ) = , ϕ n (t ) = n , t ∈ X = [ a; b] \ { x} .
t−x t−x
Т.к. все члены { f n (x)} непрерывно дифференцируемы на [ a; b] , то lim t→x
ϕ n (t ) = f n′( x)
Применяя равенство (∗) , получаем
f (t ) − f n+ p ( x) f n (t ) − f n ( x) ( f n+ p (t ) − f n (t )) − ( f n+ p ( x) − f n ( x))
ϕ n+ p (t ) − ϕ n (t ) = n+ p − = =
t−x t−x t−x
= f n′+ p (ξ ) − f n′(ξ )
ε
ϕ n+ p (t ) − ϕ n (t ) < . Согласно критерию Коши {ϕ n } равномерно сходится на X
.
2(b − a)
Т.к. f n → f , то ϕ n → ϕ , lim ϕ n (t ) = ϕ (t ) и lim lim ϕ n (t ) = lim lim ϕ n (t ) ⇒
n→∞ n→∞ t → x t → x n→∞

⇒ lim ϕ (t ) = lim(lim ϕ n (t )) = lim lim ϕ n (t ) = lim f n′( x) .

t→x t → x n→∞ n→∞ t → x n→∞

Но из определения функции lim ϕ (t ) = f ′( x) , значит, lim f n′( x) = f ′( x ) .◄

t→x n→∞

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

Опр. Функциональный ряд ∑ f ( x) (1) называется равномерно сходящимся на

n =1
n
X
к

функции S (x) , если последовательность его частичных сумм равномерно сходится к S (x)
.
X
S n ( x) ⇒ S ( x)

∞
Пример1. ∑ x , [ − α ; α ], 0 < α < 1
n =1
n

x (1 − x n )
S n ( x) = x + x 2 +  + x n =
1− x
x(1 − x n ) x
S ( x) = lim =
n→∞ 1− x 1− x
α n+1
sup S n ( x) − S ( x) = → 0
[ −α ;α ] x =α 1 − α n→∞

x
Искомый ряд сходится равномерно к S ( x ) =
1− x
x n+1
sup =∞→
/ 0
[ −1;1] 1 − x
 ∞
Пример2. ∑ (1 − x) x , [ − α ; α ]
n =1
n

 1 ⋅ (1 − x n ) 
S n ( x) = (1 − x)  = 1 − x n
 1− x 
1, x ∈ [ 0;1) ,
lim S n ( x) = 
n →∞ 0, x = 1.
sup 1 − x n − S ( x) = sup 1 − x n − 1 = sup x n = 1 →
/ 0
[ 0;1] [ 0;1] [ 0;1]

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

X
Функциональный ряд (1) ⇒ S (x) ⇔
⇔ ∀ε > 0 ∃N ε : ∀n > N ε , ∀p ∈ N и ∀x ∈ X ⇒ S n+ p ( x) − S n ( x) < ε
∞

►(Самостоятельно) Необходимость. Пусть ∑ f n ( x) равномерно сходится к S (x) на X

, т.е.
n =1

X
последовательность частичных сумм S n ( x) ⇒ S ( x) , значит, выполняется критерий Коши
сходимости функциональной последовательности
∀ε > 0 ∃N ε : ∀n > N ε , ∀p ∈ N и ∀x ∈ X ⇒ S n+ p ( x) − S n ( x) < ε
Достаточность. ∀ε > 0 ∃N ε : ∀n > N ε , ∀p ∈ N и ∀x ∈ X ⇒ S n+ p ( x) − S n ( x) < ε , по критерию
X
Коши сходимости функциональной последовательности S n ( x) ⇒S ( x )

Это и означает равномерную сходимость ∑ f n ( x) .◄

n =1

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

X
1. Если ряд (1) сходится равномерно на X
, то f n ( x) ⇒ 0
∞ ∞

∑ g n ( x) сходятся равномерно на ∑( f
∞

2. Если ∑ f n ( x) и X
, то n ( x) + g n ( x)) сходится
n =1
n =1 n =1
равномерно.

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

Теорема1. (Признак Вейерштрасса)

∞

Функциональный ряд ∑ f n ( x) (1) задан на X

. ∀n ≥ n0 , ∀x : f n ( x) ≤ C n .
n =1

∞
Функциональный ряд ∑S
n =1
n ( x ) (2) – сходящийся числовой ряд с положительными

членами. Тогда ряд (1) равномерно сходится на . X

►Т.к. ряд (2) сходится, то по критерию Коши

∀ε > 0 ∃N ε : ∀n > N ε , ∀p ∈ N и ∀x ∈ X ⇒ Сn+1 + Сn+2 +  + Сn+ p < ε
f n+1 ( x) +  + f n+ p ( x) ≤ f n+1 ( x) +  + f n+ p ( x) ≤ Cn+1 +  + Cn+ p < ε по критерию Коши ряд (1)
сходится равномерно.◄
Замечание. Признак Вейерштрасса кратко может быть переформулирован:
Функциональный ряд (1) равномерно сходится на , если его можно мажорировать на X

этом множестве сходящимся числовым рядом.

∞
sin nx
Пример1. ∑n =1
3
n4 + x4
, R

sin nx 1
≤
3
n +x 4 4 3
n4
∞
1
∑
∞
sin nx
– сходится, значит, ∑ сходится равномерно.
n =1
3
n 4 n =1
3
n4 + x4

 x 
∞
sin  2 
Пример2. n  , R
∑n=1 n2 + x2
sin x < x
 x  x
sin  2 
n  ≤ n2 x 1 1
= = < - сходится
n2 + x2 n2 + x2 n2 n2 + x 2 n2 n2
n2 +1
x2
Теорема2. (Признак Дирихле)
∞
Рассмотрим функциональный ряд ∑ a ( x)b ( x) . Пусть выполнены условия:
n=1
n n

1) { bn (x)} монотонна для ∀x ∈ X

X
2) bn ( x ) ⇒ 0
n n
3) ∑ ak ( x) равномерно ограниченны на X
, т.е. ∃M > 0, ∀x ∈ X , ∀n : ∑ ak ( x) ≤ M
k =1 k =1

Тогда рассматриваемый ряд сходится равномерно на . X

►Доказательство аналогично доказательству соответствующей теоремы для числовых

рядов. ◄

(−1) n x n
∞
Пример3. ∑
n=1 n
. Найдем область сходимости функционального ряда.

an+1 ( x)
d = lim
n→∞ a ( x )
n

d < 1 – ряд сходится абсолютно,

d = 1 – признак не работает,
d > 1 – ряд расходится.

(−1) n+1 x n+1 n

d = lim ⋅ = x
n→∞ (n + 1) (−1) n x n+1

x < 1 – ряд сходится,

x > 1 – ряд расходится,
  ∞
(−1) n


x = 1, ∑
n =1 n
− сходится
x = 1
 x = −1, (−1) =
∞ 2n ∞
1
 ∑
n =1 n
∑n =1 n
− расходится

Область сходимости ( − 1;1] .

X = [ 0;1] . Исследовать на равномерную сходимость.

∞
(− 1) n x n
∑ n=1 n

1) По признаку Вейерштрасса:
(−1) n x n 1
≤ , ответа нет.
n n
2) По признаку Дирихле:
1
bn ( x ) =
n
an ( x) = ( −1) n x n
1
1. монотонно убывает;
n
1 [ 0;1]
2. ⇒ 0;
n
n
− x (1 − (− x ) n ) x(1 − (− x) n ) 2x
3. ∑ (−1) x = = ≤ < 2;
k k

k =1 1+ x 1+ x 1+ x
Таким образом, все условия теоремы Дирихле выполнены, и ряд сходится равномерно.

Теорема3. (Признак Абеля)

∞

∑a
n =1
n ( x)bn ( x) . Пусть выполнены условия:

1) {bn (x)}
монотонна для ∀x ∈X

2) ∃M > 0, ∀x ∈ X , ∀n ⇒ bn ( x) ≤ M
∞
3) ∑ a ( x) равномерно сходится на
n =1
n
X

Тогда рассматриваемый ряд сходится равномерно.

►Доказательство аналогично доказательству соответствующей теоремы для числовых
рядов. ◄

∞
(− 1) n x n
Пример4. ∑n=1 n
X = [0;1] .

(−1) n
an ( x ) =
n
bn ( x) = x n

4. { x } монотонна;
n

5. xn ≤ 1;
(−1) n
∞
6. ∑ – сходится равномерно.
n =1 n
По признаку Абеля ряд сходится равномерно на [ 0;1] .

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

Теорема1. (О переходе к пределу)

∞

Пусть функциональный ряд ∑ f n ( x) (1) равномерно сходится на X

к S (x) и
n =1

∞ ∞ ∞ ∞
∀n ∃ lim f n ( x ) =: an . Тогда
x → x0 ∑ an – сходится и xlim
n =1
→x
S ( x) = lim ∑ f n ( x) = ∑ lim f n ( x) = ∑ an
x→ x x→ x0 0
n =1 n =1 0
n=1
∞
►1) Докажем сходимость ряда ∑a
n =1
n .
∞

Т.к. ∑ f n ( x) равномерно сходится на X

, то выполнен критерий Коши равномерной
n =1

n+ p
ε
сходимости функционального ряда ∀ε > 0 ∃N ε : ∀n > N ε , ∀p ∈ N и ∀x ∈ X ⇒ ∑f
k = n +1
k ( x) <
2
.

ε n+ p
Перейдем к пределу xlim
→x
0
k = n +1 2
∑a
< ε . По критерию Коши ряд сходится.
k ≤

2) Покажем справедливость равенства.

∞
∀ε > 0 ∃δ > 0 : ∀x : 0 < x − x0 < δ ⇒ S ( x) − ∑ an < ε
n =1
∞ ∞ k ∞ ∞

∑n =1
f n ( x ) − ∑ an ≤ ∑ f n ( x ) − a n +
n =1 n =1
∑
n =k +1
f n ( x) + ∑a
n =k +1
n <
∞
ε
∑f
n =k +1
n ( x) <
3
– в силу равномерной сходимости,
∞ ∞ k
ε
∑ an =
n =k +1
∑ a n − ∑ an <
n =1 n =1 3
,

f n ( x) = an , то ∀ε > 0 ∃δ > 0 : ∀x ∈
0
ε
т.к. xlim
→ x0
( x0 ) ⇒ f n ( x) − an <
3k
k
ε ε ε
<∑ + + =ε ◄
n =1 3k 3 3

Теорема2. Пусть ряд (1) сходится равномерно на X

, и все функции f n (x) непрерывны в
точке x ∈ X . Тогда S (x) непрерывна в точке x0 .
0

►Следствие теоремы1.◄

Теорема3. (Об интегрировании ряда)

Пусть ряд (1) равномерно сходится на [ a; b] , ∀n f n ( x) ∈ ℜ[ a; b] . Тогда S ( x) ∈ ℜ[ a; b ] и
∞ b b
 ∞ 
∑ ∫ f n ( x ) dx = ∫  ∑ f ( x) dx .
n =1 a a  n =1 
►Без доказательства◄

 π
Пример1. f n ( x) = n sin x cos x,  0; , 0 < α ≤ 2
α n

 2
 nα ∞  α ⋅ nα −1
f ( x) = lim nα sin x cos n x = [ ∞ ⋅ 0] = sin x ⋅ lim =   = sin x ⋅ lim =0
n →∞ n →∞  1  ∞  n→∞ cos − n x ( − ln(cos x ))
 n 
 cos x 
π
2

∫ f ( x)dx = 0
0
π π π
2 2
α cos
n +1
x2 nα
∫0 ∫0
α α
n sin x cos n
xdx = − n cos n
xd (cos x ) = − n = 0 +
n +1 0 n +1
1, α = 1,
nα 
lim = 0,0 < α < 1,
n→∞ n + 1
∞,1 < α < 2.

α
sup n sin x cos n x = 
π
( 0; )
2

(sin x cos x )′ = cos

n n +1
x − n sin 2 x cos n−1 x = cos n−1 x (cos x − n sin 2 x )
cos 2 x = n sin 2 x
1 n
sin 2 x = , cos x =
2

n +1 n +1

n α 1
⋅
( n) n

→
nα
n +1 ( n +1 ) n n→∞
e ⋅ n +1
 1 1
 e , α = ,
2

 1
0, 0 < α < ,
 2
 1
∞, α > 2 .


Теорема4. (О дифференцировании функционального ряда)

Пусть все члены функционального ряда (1) непрерывно дифференцируемы на [ a; b] и
∞

∑ f ′( x) равномерно сходится на
n
[ a; b] , а ряд (1) сходится хотя бы в одной точке x0 ∈ [ a; b] .
n =1
∞
Тогда ряд (1) сходится равномерно и S ′( x) = ∑ f n′( x ) .
n=1
►Без доказательства◄

sin( n 3 x)
Пример2. f n ( x) = , R
n
sin(n 3 x)
1) lim =0
n→∞ n
sin( n 3 x) 1 R
2) sup =   → 0 ⇒ f n ⇒ 0
x∈R n n n→∞
n 3 cos(n 3 x)
f n′( x) = = n 2 cos(n 3 x)
n
lim f n ( x) = [ x = 0] = ∞ ≠ f ′(0) = 0
n→∞

Замечание. Требование равномерной сходимости в данных теоремах является достаточным,

но не необходимым.

nx
Пример3. f n ( x) = , [ 0;1]
1 + n2 x2
f ( x) = 0
[ 0;1]
См. ранее f n ( x) ⇒
/ 0
1 1 1
nx 1 d (1 + n 2 x 2 ) ln(1 + n 2 x 2 ) ln(1 + n 2 )
∫0 1 + n 2 x 2 dx = 2n ⋅ ∫0 1 + n 2 x 2 = 2n =
2n
→ 0
n→∞
0
1 1

∫
0
f ( x )dx = ∫ 0dx = 0
0

ln(1 + n 2 x 2 )
Пример4. f n ( x) = , [ 0;1]
2n
nx
f n′( x) =
1 + n2 x2
′ [ 0;1]
f n ( x) ⇒
/
f ′( x) = 0 = lim f n′( x)
n →∞

Степенные ряды.

§1. Понятие степенного ряда. Радиус сходимости.

∞
Опр1. Степенным рядом называется ряд вида ∑ a (x − x )
n=0
n 0
n
, где an – некоторые
действительные числа.
x − x0 = z
∞

∑a z
n=0
n
n
= a0 + a1 z + a2 z 2 + 
∞
Поэтому без ограничения общности будем рассматривать ряд ∑a x
n=0
n
n
(1).

Для степенных рядов, т.к. они являются функциональными, справедливы все

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

Теорема1. (Теорема Абеля)

Если степенной ряд (1) сходится в некоторой точке x0 , то он абсолютно сходится
при всех x : x < x0 .
n
x x
► an x = an x ⋅ n
≤ ε ⋅ q n , где q = , 0 ≤ q <1
x0 x0
 ∞

∑a x an x0 = 0 ⇔ ∀ε > 0 ∃N ε : ∀n > N ε : an x0 < ε и

n n
сходится ⇒ lim
n
n 0 n→∞
n=0
∞
Т.к. ∑q
n=0
n
сходится, то ряд (1) сходится абсолютно при всех x : x < x0 ◄

Следствие. Если ряд (1) расходится в некоторой точке x , то он расходится при ∀x : x > x0 0

.
►Пусть ∃~
x:~ x > x0 , в которой ряд сходится. Значит, по теореме Абеля получаем, что ряд (1)
сходится в точке x0 , что противоречит условию. Значит наше предположение было
неверным и ряд (1) расходится ∀x : x > x0 ◄

Опр2. Число R называется радиусом сходимости степенного ряда (1), если при всех x < R
ряд (1) сходится, а расходится при x > R . Если R = 0 , то область сходимости { 0} , а если
R = +∞ , то степенной ряд сходится ∀x ∈ R .

Теорема2. Для любого степенного ряда (1) существует радиус сходимости.

►Без доказательства◄

∞
Пример1. ∑ n! x
n=0
n

Найдем область сходимости.

( n + 1)! x n+1 = lim (n + 1) x = +∞
По признаку Д’Аламбера lim
n→∞ n! x n n→∞

Ряд сходится при x = 0 ⇒ R = 0

∞
Пример2. ∑x
n =0
n

lim n x = x n
n→∞

x < 1 − сходится 
 ⇒ R =1
x > 1 − расходится

∞
xn
Пример3. ∑
n =0 n!

n! x n+1 x
lim = lim = 0 < 1
n→∞ ( n + 1)! x n n→ ∞ n

Ряд сходится при любых x ⇒ R = +∞

Теорема3. Для вычисления радиуса сходимости справедлива формула:

1
R= lim f ( x) – верхний предел.
lim n an (2) – формула Коши – Адамара. n→∞ n
n→∞

►Применим обобщенный признак Коши для абсолютной сходимости ряда (1)

lim n an x n = x ⋅ lim n an = x ⋅ L
n→∞
   
n→∞
L
 Если L = 0 , то x ⋅ L = 0 и ряд (1) сходится на всей числовой оси и R = +∞ .
 x ⋅ L = 0, x = 0,
Если L = +∞ , то  , поэтому ряд (1) сходится только в одной точке
 x ⋅ L = +∞, x ∈ R \ { 0}.
x = 0 , а значит R = 0 .
Пусть L – конечное число, отличное от нуля.
1 1
Если x ⋅ L < 1 , то ряд сходится и x < , x ⋅ L > 1 – ряд расходится и x > .
L L
1
Таким образом, получаем, что R = ◄
L

an an
Следствие. Если ряд (1) такой, что для всех n an ≠ 0 и ∃ lim , то R = lim (3).
n→∞ an+1 n→∞ a
n +1

an+1
►(Самостоятельно) Пусть q = , очевидно, что 0 ≤ q ≤ +∞ .
an
Пусть 0 < q < +∞ . Возьмем произвольное 0 < ε < q . По определению предела:
a
∃m : ∀n ≥ m ⇒ q − ε < n+1 < q + ε (q − ε ) an < an+1 < an (q + ε ) , используя это
⇒

an
неравенство, выводим оценки для всех n > m
 an < ( q + ε ) an−1 < ( q + ε ) 2 an−2 <  < ( q + ε ) n−m am
 ⇒

 an > ( q − ε ) an−1 > ( q − ε ) an−2 >  > ( q − ε ) am

2 n−m

am am
(q − ε ) ⋅ n < n an < ( q + ε ) ⋅ n .
(q − ε ) m
(q + ε )m

am am n an n an
Поскольку n <n , то − q < ε ⇒ lim =q
(q + ε )m (q − ε )m am n→∞
am
n n
(q − ε )m (q − ε )m
am
= 1 , получаем lim n = q .
n a
Учитывая, что lim n
n→∞ (q − ε )m n→∞

n a = lim n a = q
an
Следовательно, в этом случае lim n n
⇒
R = lim .
n→∞ n→∞ n→∞ a
n +1

Пусть q = 0 . Возьмем произвольное ε > 0 . По определению предела:

an+1 am an
∃m : ∀n ≥ m ⇒ <ε ⇒ n an < ε ⋅ n , n > m ⇒ q = lim n a
n
⇒
R = lim
an ε m n→∞ n →∞ a
n +1

am
Если q = +∞ , то ∀A > 0 ∃m : ∀n ≥ m ⇒ an+1 > A ⋅ an ⇒ n an < A ⋅ n , n>m ⇒
Am
an
q = limn an ⇒
R = lim ◄
n→∞ n→∞ a
n +1
 ∞
( − 1) n−1 x n
Пример4.
n
∑
n=1
1) Найдем радиус сходимости:
(−1) n−1
an =
n

( −1) n−1 n + 1
R = lim ⋅ = 1 ⇒ интервал абсолютной сходимости ( − 1;1)
n→∞ n (−1) n

2) x = 1 , ∑
∞
( − 1) n−1 – сходится по признаку Лейбница.
n=1 n
−1 ∞
x = −1 , ∑ – ряд расходится.
n=1 n

Ответ: область сходимости ( − 1;1]

∞
( − 1) n x 2 n
Пример5. ∑ (n + 1)4
n =1
n

Первый способ. Т.к. не все an отличны от нуля, то формулой (3) воспользоваться нельзя.
1
R=
lim n an (2)
n→ ∞

0, n = 2k + 1,
(−1) n 
bn = bn =  (−1) n
(n + 1)4 n  (n + 1)4 n , n = 2k .

(−1) n
a2 n =
(n + 1)4 n

(−1) n 1
lim 2n = ⇒R=2
2 n →∞ (n + 1)4 n
2
−2< x<2
∞
( − 1) n

x = 2,
n =1
∑ n +1 

n
ряд сходится
x = −2, ∑
∞
( − 1) 
n =1 n + 1 

Область сходимости: [ − 2;2] .

∞
( − 1) n t n
Второй способ. x 2 = t ∑ (n + 1)4
n =1
n

an
(3) R = lim =4
n→∞ an+1
−4<t <4
− 4 < x2 < 4
−2 <x <2
, далее аналогично.
 n( x − 1) ( − 1) n( x − 1) ⋅ sin x
∞ n ∞ n n

Пример6. ∑ n
⋅ sin( x + πn ) = ∑
n =1 9 n =1 9n
1) sin x = 0
x = πk , k ∈ Z принадлежит области сходимости.
∞
( − 1) n n( x − 1) n
2) Рассмотрим ряд ∑
n =1 9n
(−1) n n( x − 1) n
an = , R=9
9n
− 9 < x −1 < 9
− 8 < x < 10
Интервал абсолютной сходимости: ( − 8;10 )
∞
3) x = −8, ∑n
n =1
– расходится,
∞
x = 10, ∑ (−1)
n =1
n
n – расходится, т.к. не выполнен необходимый признак сходимости.

Область сходимости: ( − 8;10 ) ∪ πk , k ∈ Z { }

§2. Основные свойства степенных рядов.

Теорема1. Рассмотрим ряд ∑ an x n (1). Пусть R

– радиус сходимости ряда (1). Тогда ряд
n =0

(1) сходится равномерно на любом отрезке [α ; β ] ⊂ ( − R; R ) .

► a n x ≤ an β
n n

∑a β – сходится, т.к. β ∈ ( − R; R ) – интервал абсолютной сходимости.

n
n
n =0
По признаку Вейерштрасса равномерной сходимости, функциональный ряд (1)
сходится равномерно на [α ; β ] ◄

Покажем равномерную сходимость на [ 0; R ] , если R

принадлежит области сходимости.
∞ n
x
∑a R
n =0
 
n
R
n

Воспользуемся признаком Абеля:

∞

∑a R
n =0
n
n
– сходится равномерно,
n

{ bn } =  x 
– монотонна и ограничена,
R
bn ≤ 1 , значит, ряд (1) сходится равномерно.
Т.к. нельзя гарантировать абсолютную сходимость в точке x = R , то признаком
Вейерштрассе воспользоваться нельзя.

Теорема2. Пусть – радиус сходимости ряда (1). Тогда сумма ряда (1) непрерывна на
R

интервале ( − R; R ) .
►По теореме о функциональных рядах:
если ряд сходится равномерно и функции f n (x) непрерывны, то S (x) – непрерывна.
an x n – непрерывна при любых x .
x0 ∈ ( − R; R ) , значит, ∃[α ; β ] : x0 ∈ [α ; β ], [α ; β ] ⊂ ( − R; R ) .
Тогда, т.к. по теореме1 ряд (1) сходится равномерно на [α ; β ] , то сумма данного ряда
непрерывна во всех точках отрезка [α ; β ] . Т.о. получаем непрерывность S (x) для
∀x ∈ ( − R; R ) ◄

Теорема3. Если – радиус сходимости ряда (1), то ряд (1) можно почленно интегрировать
R

на промежутке 0; x ( x < R ) , и справедлива формула

an x n+1
x
 ∞ n
∞

∫0  ∑
n =0
an t dt = ∑
 n =1 n + 1
(2), причем радиусы сходимости рядов (1) и (2) совпадают.

►(Самостоятельно) Т.к. x < R , то 0; x ⊂ ( − R; R ) и по теореме1 этот ряд сходится

равномерно на промежутке 0; x , а значит, выполнены все условия теоремы о почленном
интегрировании функционального ряда.
∞
an x n+1
В результате почленного интегрирования получится ряд ∑ , радиус сходимости
n =1 n + 1

an−1
которого является величиной, обратной верхнему пределу последовательности n . Т.к.
n
верхние пределы этой последовательности и последовательности n an равны, то радиусы
сходимости рядов (1) и (2) совпадают.◄

Теорема4. (О дифференцировании степенного ряда)

Если R
– радиус сходимости ряда (1), то внутри интервала сходимости ( − R; R )
степенной ряд можно почленно дифференцировать.
′ ∞
 ∞ n
 ∑ an x  = ∑ n ⋅ an x n−1 .
 n=0  n=0
При этом радиусы сходимости данного ряда и ряда, полученного почленным
дифференцированием, равны.
►Данный ряд сходится равномерно, а значит, выполнены все условия теоремы о почленном
дифференцировании функционального ряда.
R1 =
1
{
lim n an +1 ( n + 1)
= т.к. n n + 1 n}
→1 = R ◄
→∞
n→∞