Лекция 35

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

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

функции от переменной x :

u1 ( x)  u2 ( x)  u3 ( x)  u4 ( x)  ...un ( x)  ... =  un ( x) .
n 1

При каждом фиксированном значении x мы будем получать различные

числовые ряды.
Сумма первых n членов ряда Sn ( x )  u1 ( x )  u2 ( x )  ...  un ( x ) является
частичной суммой данного функционального ряда. Общий член un ( x ) есть
функция от х, определённая в некоторой области. Рассмотрим функциональный

ряд в точке x  x0 . Если соответствующий числовой ряд  u ( x ) сходится, т.е.
n 1
n 0

существует предел частичных сумм этого ряда lim Sn ( x0 )  S ( x0 ) , то точка

n

x  x0 называется точкой сходимости функционального ряда  u ( x ) . Если
n 1
n 0


числовой ряд u (x )
n 1
n 0 расходится, то точка x  x0 называется точкой

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


Определение. Областью сходимости функционального ряда u (x )
n 1
n 0

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

ряд сходится. Область сходимости, состоящая из всех точек сходимости,
обозначается D( x ) .
Функциональный ряд сходится в области D( x ) , если для любого
x  D( x) он сходится как числовой ряд, при этом его сумма будет некоторой
функцией S ( x) .
Для нахождения области сходимости функционального ряда можно
использовать признак, аналогичный признаку Даламбера.
Пример.
Найти область сходимости функционального ряда

x2 x3 xn
x    ...   .
2! 3! n 1 n !

1
Решение.
Пусть x ‒ фиксированное число, тогда данный ряд можно рассматривать как
числовой ряд, знакоположительный при x  0 и знакопеременный при x  0 .
Составим ряд из абсолютных величин членов данного ряда

x2 x3 xn
|x|   ...  
2! 3! n 1 n !

и применим к нему признак Даламбера:

U n1  x n1 n !   xn x n!  |x|
lim  lim   n   lim   n   lim 
n ( n  1)! x n ( n  1)n ! x n n  1
Un    
n

1
| x |  lim
| x | 0  0  1,
n n  1

т.е. для любого значения x этот предел меньше единицы, значит данный ряд
сходится, причем абсолютно (так как исследовали ряд из абсолютных величин
членов ряда) на всей числовой оси. Таким образом, областью абсолютной
сходимости является множество x  (, ) .
Определение. Функциональный ряд, сходящийся для всех x  D , где D ‒ это
некоторая область, называется равномерно сходящимся в этой области, если
  0 существует не зависящий от x номер N () , такой, что при n  N ()
выполняется неравенство Rn ( x )   для всех x из области сходимости, где

Rn ( x )  
k n 1
f k ( x ) ‒ остаток ряда.

Геометрический смысл равномерной сходимости:

если окружить график функции y  f ( x) « -плоской », определяемой

соотношением f ( x)    y  f ( x)   , то графики всех частичных сумм S k ( x ) ,

2
начиная с достаточно большого k , ∀x ∈[a, b] целиком лежат в этой «ε-полоске»,
окружающей график предельной функции y = f(x).

— называется мажорируемым в области , если существует такой

сходящийся числовой ряд un > 0, что для ∀x ∈ D fn(x) ≤ un, n = 1, 2, ….

Ряд называется мажорантой ряда

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

Доказать равномерную сходимость функционального ряда

Заменим общий член этого ряда общим членом числового ряда, но
превосходящего каждый член ряда по абсолютной величине. Для этого надо
определить , при котором общий член ряда будет максимальным.

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

Частный случай функционального ряда – степенной ряд вида:



c (x  x )
n 0
n 0
n
 c0  c1 ( x  x0 )  c2 ( x  x0 ) 2   cn ( x  x0 ) n  .

3
Определение. Областью сходимости степенного ряда называются такие
значения x, при которых получающиеся числовые ряды будут сходящимися.
Для нахождения области сходимости степенного ряда важную роль играет
следующая теорема.
Теорема (теорема Абеля). Если степенной ряд сходится при x  x0  0 , то он
абсолютно сходится при всех значениях х, удовлетворяющих
неравенству | x | | x0 | ; если же ряд расходится при x  x0  0 , то он расходится
при всех значениях x , удовлетворяющих неравенству | x | | x0 | .
Теорема Абеля дает ясное представление о структуре области сходимости
степенного ряда.
Для степенного ряда область сходимости будет иметь следующий вид:
x  ( x0  R, x0  R),
где R – радиус сходимости степенного ряда, который можно найти по одной из
формул:
cn 1
R  lim , R  lim .
n cn1 n n c
n

Пример. Найти радиус сходимости, интервал сходимости и область

 n n
3 x
сходимости степенного ряда 
n 1 n
.

Решение:
Найдем радиус сходимости данного ряда по формуле
an
R  lim .
n  an 1
В нашем случае
3n 3n 1
an  , an 1  .
n n 1
3n  (n  1)  1  1  1
Тогда R  lim 
 lim   1     .
n  n3 n 1
  n  3
n  3

 1 1
Следовательно, интервал сходимости данного ряда имеет вид   ,  .
 3 3
Исследуем сходимость ряда на концах интервала сходимости.
1
При x  исходный степенной ряд превращается в числовой ряд
3

4
 n
1

n
3   
3  1 1 1 1

n 1 n

n 1 n
 1    ...  (1) n   ... ,
2 3 n
который расходится как гармонический ряд.
1
При x   степенной ряд превращается в числовой ряд
3
n
 1
n
3   
 3    1  1  1  1  1  ...  (1) n  1  ... .
n
 


n 1 n

n 1 n 2 3 4 n
Ряд, приведенный выше является знакочередующимся. Его члены по
1
абсолютной величине и lim | an | lim  0 . Следовательно, по признаку
n  n  n

Лейбница этот числовой ряд сходится условно.

 1 1
Таким образом, промежуток   ,  – область сходимости данного степенного
 3 3
ряда.

Теорема. Степенной ряд можно почленно дифференцировать сколько угодно

раз в каждой точке x его интервала сходимости:

  
n n 
 cn ( x  x0 )    cn ( x  x0 )  .
 n 0  n 0
Теорема. Степенной ряд можно почленно интегрировать сколько угодно раз на
любом отрезке [а, b], целиком принадлежащем интервалу сходимости ряда

b   b

  c ( x  x ) dx    c ( x  x ) dx .
n n
n 0 n 0
a n 0 n 0 a

Пример. Рассмотрим степенной ряд

Область сходимости этого ряда, есть промежуток .

Почленно продифференцируем этот ряд:

5
 .(2.1)
По теоремео дифференцируемости степенного ряда интервал сходимости

полученного степенного ряда есть интервал .

Исследуем поведение этого ряда на концах интервала сходимости, т. е.

при и при .

При данный степенной ряд превращается в числовой ряд

.
Этот числовой ряд расходится, так как не выполняется необходимый признак

сходимости : , который не существует.

При степенной ряд превращается в числовой ряд

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

совпадает с интервалом .

Ряд Тейлора
Определение. Если функция y  f ( x)
бесконечное число раз
дифференцируема в окрестности точки 𝑥0 , то её можно разложить в ряд
Тейлора:

6
 f ( x0 ) f ( n ) ( x0 )
f ( x)  f ( x0 )  f ( x0 )( x  x0 )  ( x  x0 ) 
2
( x  x0 )n 
2! n!
Определение. Ряд Тейлора в окрестности точки 𝑥0 = 0 называется рядом
Маклорена:
f (0) 2 f ( n ) (0) n
f ( x)  f (0)  f (0) x  x  x 
2! n! .
Возможны случаи, когда ряд Тейлора функции сходится, однако его
сумма не равна .
Приведем достаточное условие сходимости ряда Тейлора функции к этой
функции.
Теорема.
Если в интервале функция имеет производные любого
порядка и все они по абсолютной величине ограничены одним и тем же числом,

т. е. , то ряд Тейлора этой функции сходится к для

любого х из этого интервала , т. е. имеет место равенство

.
Для выяснения выполнения этого равенства на концах интервала сходимости
требуются отдельные исследования.
Заметим, что если функция разлагается в степенной ряд, то этот ряд является
рядом Тейлора (Маклорена) этой функции, причем это разложение
единственно.
Алгоритм разложения функции f(x) в ряд Тейлора в окрестности точки 𝑥0 :
1. Находим производные функции f(x):
𝑓 ´ (𝑥 ), 𝑓 ´´ (𝑥 ), 𝑓 ´´´ (𝑥 ), … . , 𝑓 (𝑛) (𝑥 ), ….
2. Вычисляем значение функции и значения её производных в точке 𝑥0 :
𝑓 ´ (𝑥0 : ), 𝑓 ´´ (𝑥0 ), 𝑓 ´´´ (𝑥0), … . , 𝑓 (𝑛) (𝑥0 ), ….
3. Формально записываем ряд Тейлора и находим область сходимости
полученного степенного ряда.
4. Проверяем выполнение достаточных условий, т.е. устанавливаем, для
каких х из области сходимости, остаточный член Rn(x) стремится к нулю
при или .

7
Разложение функций в ряд Тейлора по данному алгоритму
называют разложением функции в ряд Тейлора по определению или
непосредственным разложением.
Пример.
Разложить в ряд Тейлора функцию y ( x)  x 2  4 x  1 в окрестности
точки x0  2 .
Найдем производные:

Итак, , , . Значение функции в точке

Таким образом,
8 2 0
y ( x)  11  ( x  2)  ( x  2)2  ( x  2)4  ... 
1! 2! 3!
 11  8( x  2)  ( x  2)2 .

Разложения в ряд Маклорена основных элементарных функций

x2 xn
e  1  x   
x

1) 2! n! (   x   ),
x2 x4 n x
2n
cos x  1    (1) 
2) 2! 4! (2 n )! (   x   ),
x3 x5 x 2 n1
3) sin x  x    ( 1) n
 (   x   ),
3! 5! (2n  1)!
x 2 x3 n1 x
n
ln(1  x)  x    (1) 
4) 2 3 n ( 1  x  1 ),
m(m  1) 2 m(m  1) (n  m  1) n
(1  x)m  1  mx  x   x 
5) 2! n! ( 1  x  1 ),
1
 1  x  x 2   x n  
6) 1  x ( 1  x  1 ),
2 n1
x3 x5 n x
arctg x  x    (1) 
7) 3 5 2 n  1 ( 1  x  1 ).

8
Пример. Разложить в ряд Маклорена функцию:
Разложим данную функцию на сумму простейших рациональных дробей:

Поскольку:

то

Т.к. ряд сходится при , а ряд

при , то полученный ряд сходится к данной

функции при .

Приложения степенных рядов

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

; ; ; ;

; .
Пример.

Вычислить с точностью 0,0001.

9
Решение. 1) Для разложения подынтегральной функции в ряд введем замену z=-
x2 .Тогда можно использовать приведенное выше разложение в ряд Маклорена
для функции вида y  e z

.
Возвращаясь к исходной переменной x , получим

, xÎ(-¥,+¥).
2) Проинтегрируем его почленно

3) Получили знакочередующийся ряд. Для обеспечения требуемой точности

достаточно взять сумму первых 7 членов, так как при n=6

,
при n=7

.
4) Вычислим приближенно интеграл

≈1-0,33333+0,1-0,02381+0,00463-0,00076+0,00011=1,10474-0,35790= =0,74684.

Округляя, получим .

10