Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
Функциональные ряды
числовой ряд u (x )
n 1
n 0 расходится, то точка x x0 называется точкой
1
Решение.
Пусть x ‒ фиксированное число, тогда данный ряд можно рассматривать как
числовой ряд, знакоположительный при x 0 и знакопеременный при x 0 .
Составим ряд из абсолютных величин членов данного ряда
x2 x3 xn
|x| ...
2! 3! n 1 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 ) ‒ остаток ряда.
2
начиная с достаточно большого k , ∀x ∈[a, b] целиком лежат в этой «ε-полоске»,
окружающей график предельной функции y = f(x).
Тогда .
Полученный числовой ряд сходится, значит, функциональный ряд сходится
равномерно согласно признаку Вейерштрасса.
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 cn1 n n c
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 n3 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
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 .
1) 2! n! ( x ),
x2 x4 n x
2n
cos x 1 (1)
2) 2! 4! (2 n )! ( x ),
x3 x5 x 2 n1
3) sin x x ( 1) n
( x ),
3! 5! (2n 1)!
x 2 x3 n1 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 n1
x3 x5 n x
arctg x x (1)
7) 3 5 2 n 1 ( 1 x 1 ).
8
Пример. Разложить в ряд Маклорена функцию:
Разложим данную функцию на сумму простейших рациональных дробей:
Поскольку:
то
функции при .
; ; ; ;
; .
Пример.
9
Решение. 1) Для разложения подынтегральной функции в ряд введем замену z=-
x2 .Тогда можно использовать приведенное выше разложение в ряд Маклорена
для функции вида y e z
.
Возвращаясь к исходной переменной x , получим
, xÎ(-¥,+¥).
2) Проинтегрируем его почленно
,
при n=7
.
4) Вычислим приближенно интеграл
≈1-0,33333+0,1-0,02381+0,00463-0,00076+0,00011=1,10474-0,35790= =0,74684.
Округляя, получим .
10