Академический Документы
Профессиональный Документы
Культура Документы
Рекомендовано советом
инженерно-экономического
факультета
РЯДЫ
Методические указания
Ярославль 2009
УДК 517(07)
Библиогр. 10.
2
1. ПОНЯТИЕ СХОДИМОСТИ РЯДА. СУММА РЯДА
u
n 1
n u1 u2 ... un ... , (1.1)
3
◄ Надо найти предел S последовательности частичных сумм ряда
1 1 1 1
Sn ... , n 1,2 , …
1 3 3 5 5 7 (2n 1)(2n 1)
1
Для преобразования S n к компактному виду разложим дроби
(2k 1)(2k 1)
(k =1, 2, …, n) на простейшие:
1 A B
.
(2k 1)(2 k 1) 2 k 1 2 k 1
Приведем к общему знаменателю слагаемые в правой части
1 A(2k 1) B(2k 1)
.
(2k 1)(2 k 1) (2k 1)(2k 1)
Две дроби с одинаковыми знаменателями равны, если их числители рав-
ны: A(2k 1) B (2k 1) 1 или (2 A 2 B )k ( A B ) 1. Это равенство
верно при всех k, если 2 A 2B 0, A B 1. Решая эти уравнения,
получаем A 1/ 2, B 1/ 2. Итак,
1 1 1 1 1 1
, k 1, 2,...n .
(2k 1)(2k 1) 2(2k 1) 2(2k 1) 2 2k 1 2k 1
1 1 1 1 1 1 1 1 1 1 1
Sn ... 1 .
2 1 3 3 5 5 7 2 n 1 2n 1 2 2 n 1
1 1 1
S lim Sn 1 lim .
n 2 n 2n 1 2
Таким образом, ряд сходится и его сумма S 0,5 . ►
3 3 3
1.2.2. Убедиться, что ряд 3 ... сходится, и найти его сумму.
2 4 8
2 3
1 1 1
◄ Ряд можно переписать в виде 3 3 3 3 ... , то
2 2 2
1
есть он представляет собой геометрический ряд со знаменателем q .
2
1 3
Так как | q | 1 , то ряд сходится и его сумма S 2. ►
2 1 ( 1/ 2)
n 1
1.2.3. Исследовать сходимость ряда .
n1 n
4
n 1
◄ lim un lim разделим числитель на знаменатель =
n n n
1
lim 1 1 0 . Согласно следствию из необходимого признака схо-
n
n
димости ряд расходится. ►
un1
lim l , то при l 1 ряд сходится, а при l 1 ряд расходится1.
n u
n
2. Корневой признак Коши. Если для ряда u
n1
n существует
1
Случай l 1 требует дополнительного исследования. Ряд может, как сходится, так и расходится.
5
2
сти) несобственного интеграла f ( x)dx следует сходимость (расхо-
1
димость) ряда u
n1
n , где un f (n) .
un
5. Предельный признак сравнения. Если lim c , где c 0 , c ,
n v
n
то есть un c vn , то ряды u n и v n сходятся или расходятся одно-
n1 n1
временно.
b
2
Напомним, что f ( x)dx lim f ( x)dx ; если существует конечный предел в правой части
0
b
a
lim f (u ( x )) f lim u ( x) .
x a x a
4. Замена функций на эквивалентные
Если f ( x) f1 ( x) , g ( x) g1 ( x) при x a , то
f ( x) f ( x)
lim lim 1 .
xa g ( x ) x a g ( x )
1
5. Правило Лопиталя
Если lim f ( x) lim g ( x ) 0 (или ), то
xa x a
f ( x) f ( x)
lim
lim
x a g ( x ) x a g ( x )
n 2 5n
2.2.1. Исследовать сходимость ряда 3 n 1 .
n 1 2
n 2 5n
◄ Применим признак Даламбера. Общий член ряда un 3n1 .
2
Поэтому
7
( n 1) 2 5(n 1) n2 3n 4
un1 .
23( n1)1 23 n 4
Составим отношение
un 1 n 2 3n 4 23n 1 1 n 2 3n 4
2
un 23n 4 n 5n 23 n 2 5n
и вычислим предел
числитель и знаменатель
un 1 1 n 2 3n 4 1 n2 1
lim lim 2 заменим на эквивалентные lim 2 1 .
n u 8 n n 5n n n
n n 2 3n 4 n 2 , n 2 5n n 2 8 8
Следовательно, по признаку Даламбера, ряд сходится. ►
n 1
2.2.2. Исследовать сходимость ряда .
n 1 (2n 1)!
◄ Применим признак Даламбера.
u n2 (2n 1)! n 2 (2n 1)!
lim n1 lim lim
n u n (2( n 1) 1)! n 1 n n 1 (2 n 3)!
n
n2 (2n 1)! n2
lim lim
n n 1 (2n 1)!(2n 2)(2 n 3) n ( n 1)(2 n 2)(2 n 3)
n 2 n, n 1 n n 1
lim 3 lim 2 0 1.
2n 2 2n, 2n 3 2n n 4n n 4n
Следовательно, по признаку Даламбера, ряд сходится. ►
2
3n
2.2.3. Исследовать сходимость ряда .
n 1 n !
◄ Применим признак Даламбера.
2 2 2 2
3n 3( n1) 3n 2n 1 3n 32 n1
Так как un , то un1 .
n! ( n 1)! (n 1)! n!(n 1)
Вычислим предел отношения:
2
un1 3n 32 n 1 n ! 32 n1 32 x 1
lim lim n2
lim lim
n u n n n 1 x x 1
n n !( n 1) 3
(Неопределенность . Применим правило Лопиталя)
2 x 1
(3 ) 32 x 1 ln 3 2
lim lim 1 .
x ( x 1) x 1
Следовательно, ряд расходится. ►
n/2
n
2.2.4. Исследовать сходимость ряда .
n 1 2 n 1
8
◄ Применим корневой признак Коши.
n/2 1/ 2
n n n
lim n un lim n lim lim
n n
2n 1 n 2n 1
n 2n 1
n n 1 1
lim lim lim 1.
n 2n 1 n 2 n n 2 2
Ряд сходится по корневому признаку. ►
1
2.2.5. Исследовать сходимость ряда 2
.
n 2 n ln n
◄ Попытка применить признак Даламбера не приводит к успеху,
un1
поскольку, как нетрудно убедиться, l lim 1 . Воспользуемся инте-
n u
n
1
гральным признаком Коши. Функция f ( x) , x [2, ) , удовлетво-
x ln 2 x
ряет условиям интегрального признака – она непрерывна, положительна и
1
убывает, а f (n) un .
n ln 2 n
Согласно интегральному признаку мы должны исследовать сходи-
мость следующего несобственного интеграла.
b b
dx
2 f ( x)dx blim lim ln 2 x d (ln x)
x ln 2 x b
2 2
1 b 1 1 1
lim lim .
b ln x 2 b ln b ln 2 ln 2
Поскольку предел оказался конечным, то несобственный интеграл сходит-
ся. Согласно интегральному признаку сходится и рассматриваемый ряд. ►
1
2.2.6. Исследовать сходимость ряда Дирихле p в зависимости от па-
n1 n
раметра p 0.
◄ Применим интегральный признак Коши.
1
Функция f ( x) p , x [1, ) , – непрерывная, положительная, убы-
x
1
вающая и f ( n) p un . Сходимость ряда равносильна сходимости инте-
n
dx
грала f ( x) dx p .
1 1
x
9
dx dx
Если p 1, то p lim ln | b | , то есть интеграл расходит-
1
x 1
x b
ся.
Если 0 p 1, то
b
dx p x p1 b b1 p 1
1 f ( x ) dx lim
1 x p b 1 x dx lim
b p 1 1
lim
b 1 p
,
1 p
то есть интеграл расходится.
Если p 1 , то
dx 1 1 1
1 f ( x ) dx 1 x p b p 1 ( p 1)b p1 p 1 ,
lim
3 un 1
Признак Даламбера применить нельзя, так как для рассматриваемого ряда l lim 1, а
n un
интегральный признак приводит к «неберущемуся» интегралу.
10
n
2.2.9. Убедиться, что ряд 5
n 1
n
сходится и найти его сумму с точностью
до 0,01.
◄ Так как
un 1 n 1 5n 1 n 1
n 1 , (2.2)
un 5 n 5 n
un 1 1
то lim 1 и ряд сходится по признаку Даламбера.
n u 5
n
Для приближенного вычисления суммы ряда заменим ее на частич-
ную сумму
1 2 N
S N u1 u2 ... u N 2 ... N ,
5 5 5
сделав при этом ошибку, равную
N 1 N 2 N 3
rN u N 1 u N 2 u N 3 ... N 1 N 2 N 3 ...
5 5 5
Из (2.2) следует, что при n 2
1 n 1 1 3 1
un1 un u n un .
5 n 5 2 3
Поэтому при N 1
1 1
rN u N 1 u N 1 2 u N 1 ... (это сумма геометрического ряда с q 1/ 3 )
3 3
u 3 3 N 1
N 1 u N 1 N 1 .
1 1/ 3 2 2 5
Уже при N 3
3 4 6
rN 4 0,01
2 5 625
и поэтому с точностью 0,01
n 1 2 3
n 1 5 n
S3
5 25 125
0, 283 .
3 N 1
Заметим, что lim N 1 0 и потому для любого числа 0 мож-
N 2 5
N
n n
но подобрать N так, чтобы rN , то есть n n с точностью ε. ►
n 1 5 n1 5
11
n2 n
n3
2.3.1. n . 2.3.2. .
n 1 2 n1 ( n 1)!
n2 2 n
2.3.3. n!e
n1
. 2.3.4. (n 1) e
n 1
.
(2n 1)! (2n 1)!
2.3.5. n 1 n 3
. 2.3.6.
n 1 n 2 n
.
12
Исследовать сходимость рядов.
n! 1
2.3.33. . 2.3.34. (2n 1) .
n1 2 n 1 n 1
n2 1
n
2.3.35.
n 1
. 2.3.36. 1 3 ... (2n 1) .
n1
n 1
n
1
3n 1
2.3.37. . 2.3.38. .
n 1 3n 2 n 1 4 n 2
1 3n 1
2.3.39. sin n . 2.3.40. .
n1 n n 1 4 n 2
n 1 1
2.3.41. . 2.3.42. n
.
n 1 2 4 ... (2 n ) n1 e n
n2
3n n
2.3.43. 3 . 2.3.44. .
n1 4n 1 n 1 (4 n 1)!
3. ЗНАКОПЕРЕМЕННЫЕ РЯДЫ.
АБСОЛЮТНАЯ СХОДИМОСТЬ
Ряд
u
n 1
n u1 u2 ... un ... (3.1)
| u
n 1
n | | u1 | | u2 | ... | un | ... , (3.2)
13
Признак Лейбница. Если для знакочередующегося ряда
cos n 1
◄ Поскольку | cos n | 1 , то 2
2 .
n n
1
Ряд 2 – ряд Дирихле с параметром p 2 1 – сходится согласно (2.1).
n 1 n
cos n
По признаку сравнения сходится и ряд 2 .
n1 n
cos n
Но это означает, что ряд 2 сходится абсолютно. ►
n 1 n
3.2.4. Исследовать на абсолютную и условную сходимость ряд
1 1 1 1
( 1) n 1 1 ... . (3.3)
n 1 n 2 3 4
1
◄ Ряд знакочередующийся, последовательность an | un | 0
n
(убывает и стремится к нулю). По признаку Лейбница ряд сходится. Ряд
14
1 1
из абсолютных величин 1/ 2 расходится (это ряд Дирихле (2.1)
n 1 n n1 n
1
с параметром p 2 1 ). Поэтому ряд (3.3) сходится условно. ►
1
3.2.5. Доказать, что ряд ( 1) n1 5 сходится. Найти сумму ряда с точно-
n 1 n
стью 0,01.
1
◄ Так как ряд знакочередующийся, а | un | 5 0 , то согласно признаку
n
Лейбница ряд сходится. Представим сумму ряда в виде
n 1 1 1 1 1 n1 1
(1)
n 1
n5
1 ...
25
35 45
( 1)
n5
...
S2 r2
По признаку Лейбница
1 1 1 1 1
r2 5 5 ... (1) n1 5 ... 5 0,01.
3 4 n 3 343
n 1 1 1
Поэтому с точностью 0,01 сумма ряда (1)
n 1 n 5
S2 1 5 0,97 . ►
2
n n n
3.3.1. ( 1)
n !
n
. 3.3.2. (1)
n1 3n
.
n 1
n n
n 1 n 2n
n
3.3.3.
n 1
( 1)
3 n 1
.
3.3.4. ( 1)
n 1 n 1
.
n 1 1
3.3.5. ( 1) . 3.3.6. ( 1) n .
n 1 n2 n 1 n ln n
1 1
3.3.7. ( 1) n 1 3 . 3.3.8. ( 1) n1 .
n1 2 n 1 n 1 n
sin n cos n
3.3.9. ( 1) n n
. 3.3.10. ( 1)n1 3 .
n 1 2 n1 n
n
3n 1 3.3.12. ( 1) n1 .
3.3.11. (1)n1
n 1 0,04n 5
. n 1 3n 1
15
4. ФУНКЦИОНАЛЬНЫЕ РЯДЫ.
РАВНОМЕРНАЯ СХОДИМОСТЬ
u ( x) u ( x) u ( x) ... u ( x) ... ,
n 1
n 1 2 n (4.1)
16
Признак Вейерштрасса равномерной сходимости. Пусть числовой
ряд
u ( x) сходится на
n 1
n J равномерно, то S ( x) также дифференцируема
1 1
мерной сходимости показать, что ряд сходится на промежутке ;
2 2
равномерно.
◄ Sn ( x) (1 x) x(1 x) x 2 (1 x) ... x n1 (1 x )
=1 x x x 2 x 2 x3 ... x n1 x n 1 x n .
17
1 при | x | 1 ,
0 при x 1 ,
S ( x) lim S n ( x)
не существует при x 1,
n
при | x | 1.
Поэтому область сходимости ряда – промежуток ( 1; 1] , в сумме ря-
1, при x ( 1; 1)
да – функция S ( x )
0, при x 1.
1 1 1
Для любого 0 при всех x ; | Sn ( x) S ( x) || x |n n ,
2 2 2
1
если n n0 ( ) , где n0 ( ) – следующее за log 2 целое число, то есть ряд
1 1
сходится равномерно на отрезке ; . ►
2 2
e nx
4.2.2. Для функционального ряда 2 : 1) найти область сходимости;
n 1 n
2) показать, что в этой области ряд сходится равномерно.
◄ 1) Члены ряда положительны x . Применим признак Далам-
бера.
e nx e( n 1) x e nx x
un 2 , un1 ,
n ( n 1) 2 ( n 1) 2
2
un1 e nx x n 2 n
l lim lim 2 nx
e x lim ex .
n u n ( n 1) e n n 1
n
При l e x 1, то есть при x 0 , ряд сходится.
При l e x 1 , то есть при x 0 , ряд расходится.
x 1
При l e 1 , то есть при x 0 , ряд имеет вид n
n 1
2
. Это ряд
18
e nx
Таким образом, на промежутке ( ;0] функциональный ряд 2 ма-
n 1 n
1
жорируется сходящимся числовым рядом 2 и, согласно признаку Вей-
n 1 n
ерштрасса, равномерно сходится на этом промежутке. ►
sin nx
4.2.3. Показать, что ряд сходится равномерно на всей числовой
n1 n n
прямой .
sin nx | sin nx | 1 1
◄ Имеем x 3/ 2 .
n n n n n n n
1 3
Ряд 3 / 2 сходится (это ряд Дирихле (2.1) с параметром p 1 ). По
n 1 n 2
sin nx
признаку Вейерштрасса ряд равномерно сходится на . ►
n1 n n
cos nx
4.2.4. Найти область определения функции f ( x) 3 . Убедится, что
n 1 n
/2
эта функция непрерывна и дифференцируема. Найти f ( x) и f ( x )dx .
0
◄ 1. Областью определения D ( f ) функции является область сходи-
cos nx 1
мости ряда, её задающего. Так как x , n 1, 2,... 3 то есть
n3 n
ряд мажорируется на всей числовой прямой сходящимся рядом Дирих-
1
ле 3 , то по признаку Вейерштрасса ряд сходится равномерно на .
n 1 n
Таким образом, D ( f ) .
cos nx
2. Так как члены ряда un ( x ) непрерывны на , а ряд схо-
n3
дится равномерно, то его сумма f ( x) непрерывная функция.
3. Равномерно сходящийся ряд можно почленно интегрировать:
2 2
cos nx sin nx 2 1 n 1
f ( x )dx 3
dx 4 4 sin ( 1)k 1 .
0 n 1 0 n n 1 n 0 n1 n 2 k 1 (2k 1) 4
19
cos nx
sin nx
3
n 1 n
n 1 n 2
. (4.4)
sin nx 1 1
Так как x n 1,2,... 2
2 а ряд Дирихле 2 сходится,
n n n 1 n
то согласно критерию Вейерштрасса ряд (4.4) сходится равномерно на .
Поэтому f ( x) дифференцируема и x
cos nx
sin nx
f ( x) 3 2 . ►
n 1 n n1 n
5. СТЕПЕННЫЕ РЯДЫ
20
Для любого степенного ряда существует такое R (0 R ) , что в
интервале ( x0 R , x0 R) {x : | x x0 | R} с центром в точке x0 и радиусом
R ряд сходится, а при | x x0 | R - ряд расходится.
Интервал ( x0 R , x0 R) называется интервалом сходимости, а R –
радиусом сходимости степенного ряда. На концах интервала сходимости
ряд может как сходиться, так и расходиться.
Радиус сходимости можно найти по одной из следующих формул
an
R lim (5.2)
n an1
или
1
R lim . (5.3)
n n | an |
если эти пределы существуют.
Заметим, что эти формулы получаются применением к степенному
ряду (5.1) соответственно признака Даламбера или корневого признака
Коши. Поэтому при нахождении интервала сходимости конкретного сте-
пенного ряда можно либо пользоваться одной из формул (5.2)-(5.3), либо
непосредственно применять признак Даламбера или признак Коши.
На любом отрезке [a, b] , принадлежащем интервалу сходимости, сте-
пенной ряд сходится равномерно и потому его сумму можно почленно ин-
тегрировать по этому отрезку. Внутри интервала сходимости сумму сте-
пенного ряда можно почленно дифференцировать.
n 1 xn
5.2.1. Найти область сходимости степенного ряда (1)
n 1 2n n
.
Решение 1.
◄ Применим признак Даламбера.
| x |n | x |n 1
| un | n , | un1 | n 1 .
2 n 2 n 1
n 1 n
|u | |x| 2 n | x| n |x|
l lim n1 lim n1 n
lim .
n | u | n 2 n 1 | x | 2 n n 1 2
n
21
| x|
По признаку Даламбера4 при l 1, то есть при | x | 2 ряд сходится,
2
| x|
а при l 1, то есть при | x | 2 ряд расходится. Решая неравенство
2
| x | 2 , получаем 2 x 2 . Таким образом, мы нашли интервал сходимо-
сти ( 2, 2) .
| x|
Рассмотрим случай l 1 | x | 2 x 2 или x 2 .
2
n 1 2n
n1 1
При x 2 ряд имеет вид ( 1) ( 1) .
n 1 2n n n 1 n
1
Это знакочередующийся ряд, | un | 0 . Следовательно, он сходится
n
по признаку Лейбница.
При x 2 ряд имеет вид:
n n n
n 1 ( 2) n 1 ( 1) 2 2 n 1 1 1
n 1
( 1)
2n n n 1
( 1)
2n n
n 1
( 1)
n
n1 n
1/ 2
.
1
Это ряд Дирихле с параметром p 1. Он расходится.
2
Таким образом, область сходимости – промежуток ( 2, 2] . ►
Решение 2.
◄ Используем формулу (5.2) для радиуса сходимости. Так как
n 1 an 2n1 n 1
an ( 1) n , то R lim lim n
2.
2 n n a n 2 n
n1
4
При x 0 ряд состоит из нулей и признак Даламбера применять нельзя, хотя ряд, конечно,
сходится.
22
Рассмотрим случай l | x 2 | 1 , то есть x 1 или x 3 . Ряд имеет
n
соответственно вид (1)
n 1
n или n . У обоих рядов lim u
n1
n
n 0 и,
Решение 1.
◄ Применим признак Даламбера.
| un 1 | ( n 1)!| x |2 n 2
При x 0 l lim lim 2 n
lim( n 1) | x |2 ,
n | u | n n! | x | n
n
то есть ряд расходится. При x 0 все члены ряда – нули и ряд сходится.
Поэтому область сходимости состоит из единственной точки x0 0 . ►
Решение 2.
◄ Применить формулу (5.2) для нахождения радиуса сходимости R
заданного ряда непосредственно нельзя, так как
n! при k 2n,
ak
0 при k 2n 1.
и поэтому предел в формуле (5.2) не существует. Сделаем замену пере-
2
менных z x . Для ряда n! z n
коэффициент an n ! , n , радиус схо-
n 1
димости
an n! 1
Rz lim lim lim 0.
n an1 n ( n 1)! n n 1
Радиус сходимости первоначального ряда, очевидно, R Rz 0 .
Область сходимости {0}.
n
1
5.2.4. Найти область сходимости степенного ряда n 1 ( x 2) n .
n 1 n
◄ Используем формулу (5.3) для нахождения радиуса сходимости5
1 ln n ln x
1 1
n
n
lim
x x
R lim lim lim n lim e e
n n | a | n
n 1 n n
n n 1
n
5
Можно также применить корневой признак Коши. Использование признака Даламбера или
формулы (5.2) приводит к более громоздким выкладкам при вычислении пределов.
23
(неопределенность . Применим правило Лопиталя)
(ln x ) 1
lim lim
e x
e x
e0 1 .
x x
24
Функция f ( x) , разлагающаяся в некоторой окрестности точки x0 в
степенной ряд:
f ( x) an ( x x0 ) n , | x x0 | R , (6.1)
n 0
называется аналитической в точке x0 .
Аналитическую функцию (6.1) на любом отрезке [a, b] содержащем-
ся в интервале сходимости ( x0 R, x0 R) можно приблизить с любой сте-
N
пенью точности ε многочленом S N ( x ) an ( x x0 )n , N N ( ) , и потому
n 0
найти ее приближенное значение также с любой степенью точности. Это
является актуальным даже для основных элементарных функций e x , sin x ,
cos x …, алгоритмы вычисления которых в программах для калькуляторов
и компьютеров основаны на их разложениях в степенные ряды.
Аналитическими являются также многие неэлементарные функции.
В виде степенных рядов можно представить различные интегралы,
зависящие от параметра (примеры 6.2.5, 6.2.6).
В виде степенного ряда y ( x) an ( x x0 )n можно представить реше-
n 0
для «хорошей» правой части6 f (пример 6.2.7), а также ряда других задач
для дифференциальных или функциональных уравнений (примеры 6.2.8 и
6.2.9).
6
В частности, если f - элементарная функция своих аргументов, определенная в некоторой
окрестности точки ( x0 , y0 , y0 ,..., y0( n 1) ) n 1 .
25
Этот ряд называется рядом Тейлора функции f ( x) в точке x0 (по степеням
x x0 ). В частном случае x0 0 разложение (6.2) в ряд Тейлора принимает
вид
f (0) 2 f ( n ) (0) n
f ( x) f (0) f (0) x x ... x ... . (6.3)
2! n!
x x 2 x3 xn
e 1 x ... ... , x . (6.4)
2! 3! n!
x3 x5 x 2 m1
sin x x ... (1) m1
... , x . (6.5)
3! 5! (2m 1)!
x2 x4 m x
2m
cos x 1 ... (1) ... , x . (6.6)
2! 4! (2m)!
m(m 1) 2 m(m 1)(m n 1) n
(1 x)m 1 mx x x ... , (6.7)
2! n!
| x | 1. .
x 2 x3 n 1 x
n
ln(1 x) x ... (1) ... , | x | 1. (6.8)
2 3 n
x3 3 x5 (2k 1)!! 2 k 1
arcsin x x x ... ., | x | 1. (6.9)
6 40 k !2 k (2k 1)
x3 x5 n1 x
2 n 1
arctgx x (1) ... ., | x | 1. (6.10)
3 5 2n 1
26
Поэтому с точностью до 0,01
1
1 1 1
e 2 1 2 3 1 ,000–0,500+0,125–0,021=0,604.
2 2 2! 2 3!
1
2
Округляя до сотых, получаем e 0,60. ►
6.2.2. Разложить в ряд по степеням x гиперболический синус sh x .
Решение 1.
◄ Используем достаточные условия разложения функции в степен-
ной ряд и формулу (6.2).
f ( x) sh x, f ( x) ch x, f ( x) sh x, f ( x) ch x,...
ch x, n 2 k 1, k ,
f ( n ) ( x)
sh x, n 2k , k .
На любом отрезке [ R, R] sh x и ch x ограничены:
e x e x R e x e x
x [ R, R] | ch x | e M , | sh x | eR M .
2 2
Поэтому
n 1,2,... x [ R, R] | f ( n ) ( x ) | M ,
то есть на отрезке [ R, R] выполняются достаточные условия разложения
функции в степенной ряд.
Подставляя f (0) sh 0 0 ,
ch 0 1, если n 2k 1, k ,
f ( n ) (0)
sh 0 0, если n 2k , k ,
в формулу (6.2), получаем, что x [ R, R] , а поскольку R – любое число,
то и x (, )
x3 x 2 n1
sh x x ... ... . ►
3! (2n 1)!
Решение 2.
◄ Используя стандартное разложение (6.4) функции e x в ряд Тейло-
ра, получаем
x 2 x3 x 4 x5
e 1 x ... , x ,
x
2! 3! 4! 5!
x 2 x3 x 4 x5
e 1 x ... , x ,
x
2! 3! 4! 5!
x x
e e x3 x5
sh x x ... , x . ►
2 3! 5!
6.2.3. Разложить в ряд по степеням x функцию f ( x) cos 2 x.
27
1
◄ Так как f ( x) cos 2 x (1 cos 2 x) , то, используя стандартное
2
разложение (6.6), получаем
z2 z4 n 1 z
2n
cos z 1 ... ( 1) ..., z .
2! 4! (2n)!
22 x 2 2 4 x 4 n1 2 x
2n 2 n
cos 2 x 1 ... (1) ..., x .
2! 4! (2n)!
1 22 x 2 2 4 x 4 2n 2 n
n1 2 x
f ( x) (2 ... (1) ...) ,
2 2! 4! (2 n)!
2 x 2 23 x 4 n1 2
2 n 1 2 n
x
f ( x) 1 ... ( 1) ..., x . ►
2! 4! (2n )!
1
6.2.4. Разложить в ряд по степеням x функцию f ( x) .
2
4 x
1
2
1 1 x 2
◄ Представим функцию в виде f ( x) 1 .
x2 2 4
2 1
4
1
Запишем (6.7) при m :
2
1 2
1 1 1 z
1 z 1 z 1 ...
2
2 2 2 2!
n
1 1 1 z
1 ... n 1 ...
2 2 2 n!
1 1 3 2 1 3 ... 2n 1 n
1 z 2 z ... ( 1) n z ... для | z | 1 .
2 2 2! 2n n !
x2
Подставляя сюда z , получаем
4
1/ 2 2n
x2 1 x2 1 3 x4 n 1 3... 2n 1 x
1 1 2 2
... 1 n n
... .
4 2 4 2 2! 4 2 n ! 4
Следовательно
1 3 ... (2n 1) 2 n
f ( x ) 1 ( 1)n 3n 1
x .
n1 2 n !
x2
Это разложение верно при | z | 1 x 2 4 x ( 2, 2) . ►
4
28
x
sin t
6.2.5. Разложить ряд по степеням x интегральный синус si( x) dt .
0
t
Используя это разложение, найти si(1) с точностью до 0,001.
◄ 1. Из стандартного разложения (6.5) для синуса получаем разло-
жение в степенной ряд подынтегральной функции
sin t t2 t4 n 1 t 2 n 2
1 ... ( 1) ... .
t 3! 5! (2n 1)!
Интегрируя этот ряд почленно, получаем разложение в степенной
ряд интегрального синуса
x x
sin t x t3 x t5 x n 1 t 2 n1
si( x) dt t 0 ... ( 1) ... ,
0
t 3 3! 0 5 5! 0 (2 n 1) (2 n 1)! 0
или окончательно
x3 x5 n1 x 2 n 1
si( x) x ... (1) ... .
3 3! 5 5! (2n 1)(2 n 1)!
1 1 1 1 1 1 1 1
2. si(1) 1 ... 1 ... .
3 3! 5 5! 7 7! 9 9! 3 3! 5 5! 7 7! 9 9!
Абсолютные величины членов знакочередующегося ряда
1 1
... убывают и стремятся к нулю. По признаку Лейбница его
7 7! 9 9!
1
сумма 0,001 . Поэтому с точностью до 0,001
7 7!
1 1
si(1) 1 1 0 ,0555+0,0017=0,9462.
3 3! 5 5!
Итак, si(1) 0,946. ►
6.2.6. Разложить в степенной ряд полный эллиптический интеграл второго
/2
d
рода K ( x) , | x | 1.
2 2
0 1 x sin
◄ При решении задачи 6.2.4 было получено разложение
1
1 1 (2n 1)!! n
(1 z ) 2 1 z ... ( 1) n n z ... , | z | 1 ,
1 z 2 2 n!
где для краткости обозначено (2 n 1)!! 1 3 5 ... (2n 1) .
Подставляя сюда z x 2 sin 2 (1) x 2 sin 2 , находим
1 1 (2n 1)!!
1 (sin 2 ) x 2 ... n (sin 2 n ) x n ...
2
1 x sin 2 2 2 n!
Интегрируя почленно, получаем
29
/2
d
K ( x)
2 2
0 1 x sin
/2 /2 /2
1 2 (2 n 1)!!
2 2n
d sin d x ... n sin d x 2 n ...
0
2 0
2 n! 0
Вычислим интеграл
/2
2n u sin 2 n1 du (2n 1)sin 2 n 2 cos d
sin d
0 dv sin d v cos
/2 /2
2 n 1 2( n 1)
sin 2
cos (2n 1) sin cos d (2n 1) sin 2( n1) (1 sin 2 ) d
2
0 0 0
Поэтому
/2 /2 /2
2n 2( n 1) 2n
sin d (2n 1) sin d (2n 1) sin d .
0 0 0
Отсюда,
/2 /2 /2
2n 2n 1 2( n 1) 2 n 1 2n 3 2( n 2)
sin d sin d sin d ...
0
2n 0
2n 2n 2 0
/2 /2
2n 1 2n 3 1 0 (2n 1)!! (2n 1)!!
... sin d d .
2n 2 n 2 2 0
2 n n! 0
2n n! 2
Подставляя вычисленные значения интеграла в ряд для K ( x ) , получаем
окончательно
2
1 2 (2n 1)!! 2 n
K ( x) 1 x ... x ... . ►
2 4 2 n
n !
6.2.7. Найти решение задачи Коши y xy , y (0) 1, y(0) 0 .
Решение 1.
◄ Ищем решение y y ( x) в виде степенного ряда с неопределён-
ными коэффициентами:
y ( x) a0 a1 x a2 x 2 a3 x3 ... an x n ... .
Тогда
y ( x) a1 2a2 x 3a3 x 2 ... nan x n1 ... ,
y ( x) 2a2 3 2a3 x ...n(n 1) x n2 ... .
Подставляя выражения для y ( x) и y ( x) в уравнение, получаем
2a2 3 2a3 x ... n(n 1)an x n2 ... a0 ... an3 x n 2 ... .
Приравниваем коэффициенты при одинаковых степенях x:
30
Коэффициенты a0 и a1 находим из начальных условий:
a0 y (0) 1 , a1 y (0) 0 .
Из соотношений (6.11) находим остальные коэффициенты:
a 1 a a
a2 0 , a3 0 , a4 1 0 , a5 2 0 ,
3 2 3 2 43 54
a 1 1 4
a6 3 , …,
6 5 6 5 3 2 6!
1 4 7 (3k 2)
an 0 , если n 3k , a3k , k .
(3k )!
Итак,
1 1 4 6 1 4 7 ... (3k 2) 3k
y ( x) 1 x 3 x ... x ... .
3! 6! (3k )!
Применяя признак Даламбера, нетрудно убедиться, что ряд сходится
x (рекомендуется проделать нужные вычисления). Поэтому задавае-
мая этим рядом функция является решением уравнения x . ►
Решение 2.
◄ Ищем решение y ( x) задачи Коши в виде ряда Тейлора
y (0) 2 y ( n ) (0) n
y ( x) y (0) y (0) x x ... x ... .
2! n!
Значения y (0) 1 и y (0) 0 нам заданы начальными условиями.
Так как y ( x) решение уравнения, то имеет место тождество
y ( x ) xy ( x ) , (6.12)
31
1 3 1 4 6 1 4 7 ... (3k 2) 3 k
y ( x) 1
x x ... x ... ►
3! 6! (3k )!
6.2.8. Найти два члена разложения в ряд по степеням малого параметра μ
решения задачи Коши x x x 2 sin 2t , x(0) 1, x(0) 0 .
◄ Решение ищем в виде
x (t ) x0 (t ) x1 (t ) x0 (t ) 2 ... (6.13)
Из начальных условий
x (0) x0 (0) x1 (0) x0 (0) 2 ... 1 ,
x (0) x0 (0) x1 (0) x0 (0) 2 ... 0
получаем начальные условия для функций x0 (t ) , x1 (t ) , x2 (t ) , …:
(
x0
x1
x2 2 ...) ( x0 x1 x2 2 ...) sin 2t ( x0 x1 x2 2 ...) 2
или
(
x0 x0 ) (
x1 x1 ) (
x2 x2 ) 2 ... ( x02 sin 2t ) (2 x0 x1 sin 2t ) 2 ...
32
1 1 1
Так как sin 2t cos 2 t sin 2t (1 cos 2t ) sin 2t sin 4t , то уравнение можно
2 2 4
переписать в виде:
1 1
x1 x1 sin 2t sin 4t .
2 4
Общее решение этого уравнения находим стандартным методом [8] (чита-
телю рекомендуется проделать самому все выкладки):
1 1
x1 ( t ) C1 cos t C2 sin t sin 2t sin 4t .
6 60
2
Из начальных условий (6.15) получаем C1 0 , C2 ,
5
2 1 1
x1 ( t ) sin t sin 2t sin 4t .
5 6 60
Итак, два члена разложения x(t ) в ряд по степеням μ найдены:
2 1 1
x ( t ) cos t sin t sin 2t sin 4t ... . . ►
5 6 60
6.2.9. Найти четыре члена разложения в ряд по степеням x неявной функ-
ции y y ( x ) , заданной уравнением y 3 y x 0 в окрестности точки
(0, 0) .
◄ Обозначим Fy(0,0) [3 y 2 1] x y 0 1 0 . Так как
1) F (0,0) 0 ,
2) Fy(0,0) (3 y 2 1) x y 0 1 0,
то по теореме о неявной функции [7] уравнение y 3 y x 0 , рассматри-
ваемое в достаточно малой окрестности точки (0, 0) , имеет относительно
y единственное решение y y ( x) , при этом y (0) 0 . Можно доказать, что
y ( x) - аналитическая функция, то есть y ( x) можно искать в виде ряда по
степеням x:
y ( x) a0 a1 x a2 x 2 a3 x 3 ... . (6.20)
34
x x t2
4 1
6.3.17. f ( x) 1 t dt , x0 . 2
6.3.18. f ( x) e dt , x0 1.
0
2 0
1 1
2
6.3.19. f ( x) e xt dt . 6.3.20. f ( x) sin xt 2 dt .
0 0
7. РЯДЫ ФУРЬЕ
35
a0 n n
f ( x) an cos x bn sin x
2 n1 l l
a 2 2
0 a1 cos x b1 sin x a2 cos x b2 sin x ... ,
2 l l l l
где
l
1
a0 f ( x )dx , (7.1)
l l
l
1 n
an f ( x) cos xdx , (7.2)
l l l
l
1 n
bn f ( x )sin xdx . (7.3)
l l l
l
2
a0 f ( x)dx , (7.4)
l 0
l
2 n
an f ( x) cos xdx ( n 1, 2,... ). (7.5)
l 0 l
l
2 n
bn f ( x)sin xdx , ( n 1, 2,... ) (7.6)
l 0 l
37
7.2.2. Разложить в ряд Фурье функцию f ( x ) | x | , f ( x 2) f ( x ) (рис.3).
◄ Полупериод функции l 1 . Функция явля- y
ется четной, поэтому bn 0 , то есть
a0
f ( x ) an cos nx , 1 1 x
2 n1
где Рис. 3
l 1 1
2 | x | x 1
a0 f ( x )dx 2 | x | dx 2 xdx x 2 1 ;
l 0 0
при x 0 0
0
l 1 ux du dx
2
an f ( x) cos nxdx 2 x cos nxdx 1
l 0 0 dv cos nx v sin nx
n
x 1 1 1 1 1 1
2 sin nx sin nxdx 2 sin n 0sin 0 2
cos nx
n 0 n 0 n ( n ) 0
4
2 2 2 при n 2k 1,
( n )2
(cos n cos0)
( n )2
( 1) n
1 (2 k 1) 2
0 при n 2k .
Таким образом,
1 4
f ( x) 2 cos (2 k 1) x .
2 k 1 (2k 1) 2
Поскольку функция непрерывна, то это равенство верно при всех x .
В частности, при x 0 получаем
1 4
0 f (0) 2 .
2 k 1 (2k 1)2
Поэтому
1 1 1 1 2
k 1 (2 k 1) 2
1 2 2 2 ...
3 5 7 8
.
38
0, x ( 2, 0),
7.3.2. f ( x ) f ( x 4) f ( x) .
x , x [0, 2],
7.3.3. f ( x) x при x ( , ] , f ( x 2 ) f ( x) .
7.3.4. f ( x) x 2 при x [ 1, 1] , f ( x 2) f ( x) .
x
7.3.5. f ( x) sin при x ( , ] , f ( x 2 ) f ( x) .
2
7.3.6. f ( x) x2 при x [ , ] , f ( x 2 ) f ( x) .
2
39
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
40
ОТВЕТЫ
1
1 1 x
4.3.6. D ( f ) , f ( x) 2 x 2 2
2 x f ( x) , f ( x) dx arctg .
n 1 x n 0 n 1 n n
1
nx 1 cos n 2
4.3.7. D ( f ) , f ( x) cos 3
, f ( x ) dx 5
5
.
n 1 n 0 n 1 n k 1 (2 k 1)
5.3.1. ( 1; 1] . 5.3.2. [1; 1] . 5.3.3. ( 1; 3) . 5.3.4 [1; 1) . 5.3.5. [ 0,5; 0,5] .
5.3.6. (0,5; 1,5) . 5.3.7. . 5.3.8. {0} . 5.3.9. . 5.3.10. ( 7; 3) .
6.3.1. cos1 0,54 . 6.3.2. sin 0,5 0,48 .
ln 2 2 2 ln n 2 n
6.3.3. 2 x 1 (ln 2) x x ... x ..., x .
2! n!
x2 x4 x 2n
6.3.4. ch x 1 ... ..., x .
2! 4! (2n )!
x3
6.3.5. tgx x ...
3
x2 x4
6.3.6. f ( x ) ... .
2 8
7
x n 1 x 4 n1
3
6.3.7. f ( x) x ... 1 ..., x .
3! (2n 1)!
1 1 3 1 3 ... (2n 3) n
6.3.8. f ( x ) 1 x 2 3 x 2 ... ( 1)n x ...., | x | 3 .
3 2 3 2n 32 n1
9 x 4 81x 6
2
2 m 2 m2
m 3 x
6.3.9. f ( x ) x ... ( 1) ... .
2! 4! (2m)!
41
x3 x 5 x 2 n1
6.3.10. f ( x) x ... (1)n 1 ... .
2 3 n
1 1 1 4 1 4 ... (3n 2) n
6.3.11. f ( x ) 4 x 7 2 x 2 ... ( 1)n x ...., | x | 3
2 2 3 2 3 23n1 3n
33 35 32 n1
6.3.12. f ( x) 3 x x 5 x 9 ... (1) n1 x 4 n3 ... .
3! 5! (2n 1)!
3 5 2 n 1
x x x
6.3.13. f ( x ) x 2 4 ... 2 n2 ..., | x | 2 .
2 3 2 5 2 (2n 1)
x2 x3 x4 x n1
6.3.14. f ( x) x ... n ... .
2 4 2! 8 3! 2 n!
x5 x9 1 3 (2n 3) 4 n1
6.3.17. f ( x ) x 2 ... (1)n 1 n x ..., f (1/ 2) 1,09 .
2 5 2 2! 9 2 n!(4n 1)
x3 n x 2 n 1
6.3.18. f ( x) x ... ( 1) n ..., f (1) 0,87 .
23 2 (2n 1)
x x2 xn
6.3.19. f ( x) 1 ... ...
3 10 (2n 1)n!
x x3 x 2 n1
6.3.20. f ( x ) ... ( 1) n1 ... .
3 42 (4n 1)(2n 1)!
6.3.21. 0,570
6.3.22. 0, 45.
x2 xn
6.3.23. y ( x) 1 x ... ... e x .
2! n!
3 5
x x n 1 x 2 n1
6.3.24. y ( x) x ... (1) ... sin x .
3! 5! (2n 1)!
x2 n 2
x 2 n 1 2
6.3.25. y ( x) ex . 6.3.26. y ( x) xe x .
n 0 n ! n 0 n !
1 5 1 1
6.3.27. y ( x) 1 x x 2 x3 ... . 6.3.28. y ( x ) 1 x x 2 x 3 ... .
2 6 2 6
1 3
6.3.29. x 3 ( 2 3t ) 2 ... . 6.3.30. y ( x ) x x 2 x 3 ... .
t t
1
2sin(2k 1) x 1
( 1) n 1 nx ( 1) n1 nx
7.3.1. f ( x) . 7.3.2. f ( x ) 2 2 2
cos sin .
2 k 1 (2k 1) 2 n 1 n 2 n 2
n 1
2( 1) 1
4( 1)n
7.3.3. f ( x) sin nx . 7.3.4. f ( x ) 2 2 cos nx .
n 1 n 3 n1 n
n 1
( 1) 8n 2 2 4 ( 1) n1
7.3.5. f ( x ) 2
sin nx . 7.3.6. f ( x ) cos nx .
n 1 (4 n 1) 3 n 1 n2
42