Бесов
.pdf§ 17.3. Разложение функций в ряд Тейлора |
311 |
Остаточный член формулы Тейлора в интегральной форме имеет вид
rn(x) = n! Z0 |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
(x − t)nf(n+1)(t) dt = |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
α(α − 1) . . .(α − n) |
Z0x(x − t)n(1 + t)α−n−1dt. |
||||||||||||||||||||||||||
|
|
|
|
|
|
n! |
||||||||||||||||||||||||||||
Отсюда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
| |
x |
− |
t |
n(1 + t)α−n−1 |x − t| dt |
|
|||||||||||||
|
| n+1 |
|
|
| |
= |
| − − | |
|
|
|
| |
|
|
|
|
|
|
1 |
|
|
. |
||||||||||||||
|
r |
rn(x) |
|
|
|
|
|
n + 1 |
1 |
R |
0 |
|
|
0 |
x t |
|
|
(1 + t) |
− − |
dt |
|
|||||||||||||
|
|
(x) |
|
|
|
α |
|
|
n |
|
|
|
|
|
| − |
|
| |
|
|
|
|
+ t |
|
|||||||||||
| |
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
Заметим, |
что |
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
x |
t |
|
|
x |
|
|
t |
|
|
|
|
|
|
|
1 − |
|xt| |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
| − |
|
| |
6 |
| | − | |
| |
|
= x |
|
|
|
|
| | |
x . |
|
|
|
|
||||||||||
|
|
|
|
|
|
1 + t |
|
1 − |t| |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
| | 1 |
− |t| |
6 | | |
|
|
|
|
Следовательно, при фиксированном x и достаточно малом
ε > 0
|rn+1(x)| |
6 |
|n + 1 − α| |
x |
| 6 |
(1 + ε) x |
= q < 1 |
|
|rn(x)| |
n + 1 |
||||||
| |
| | |
|
при n > nε.
Это означает, что |rn(x)| → 0 (n → ∞) не медленнее, чем член убывающей геометрической прогрессии. Таким образом, (13) установлено.
Отметим важные частные случаи (α = −1) формулы
(13): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
∞ |
|
|
1 |
|
|
∞ |
|
|
|
||
|
|
|
|
|
X |
|
|
|
|
|
X |
|
|
|||
1 |
− |
|
|
|
1 + x = |
|
(|x| < 1). |
|||||||||
|
x = xk, |
|
|
|
(−1)kxk |
|||||||||||
|
|
|
|
|
k=0 |
|
|
|
|
|
k=0 |
|
|
|||
Пример 6. |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
ex + r−x |
∞ |
x2k |
|
|
|
|
|
|||||
ch x = |
|
|
= |
|
|
|
, |
|
|
|
|
|
||||
2 |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
k=0 |
(2k)! |
|
|
|
|
(14) |
||||||
sh x = ex − r−x = |
X |
x2k+1 |
, x ( |
|||||||||||||
∞ |
, + ). |
|||||||||||||||
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
−∞ ∞ |
||
|
|
|
|
2 |
|
k=0 |
(2k + 1)! |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
312 Глава 17. Степенные ряды
Эти два разложения получены не вычислением коэффициентов ряда Тейлора, а сложением двух сходящихся степенных рядов. Ряды в правых частях равенств являются рядами Тейлора соответственно для ch x и sh x в силу теоремы 17.2.1 (единственности).
Подобные приемы получения разложения функций в степенные ряды, основанные на использовании известных разложений (9)–17.3.14, широко распространены. Среди этих приемов отметим, в частности, почленное интегрирование и дифференцирование ряда. Так, например, из формулы суммы геометрической прогрессии
1 |
= 1 − x + x2 − x3 + . . . , q|x| < 1, |
1 + x |
с помощью почленного интегрирования получаем при |x| < < 1 формулу (12):
|
|
|
|
|
|
|
x |
dt |
|
|
|
x2 |
x3 |
||
ln(1 + x) = Z0 |
|
= x − |
|
+ |
|
− . . . |
|||||||||
1 + t |
2 |
3 |
|||||||||||||
Разложение в степенной ряд функции arcsin x можно |
|||||||||||||||
получить |
|
почленным |
интегрированием разложения |
||||||||||||
|
|
1 |
1 |
x |
|
− |
x2)− 21 , даваемого формулой |
||||||||
(arcsin x)0 |
= |
|
√ |
|
− |
2 |
= |
(1 |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(13) с заменой x на −x2.
§ 17.4. Функции ez, sin z, cos z комплексного переменного
Определение 1. Для z C положим |
|
|
|
|
|||||||||||||||||
|
∞ |
zk |
|
z |
z2 |
|
z3 |
|
|
|
|
||||||||||
ez |
X |
|
= 1 + |
|
|
+ |
|
+ |
|
|
+ . . . |
|
(1) |
||||||||
B |
|
|
|
|
|
|
|
||||||||||||||
|
k=0 |
k! |
1 |
|
2! |
|
|
3! |
|
|
|
|
|
|
|
|
|||||
sin z |
∞ |
(−1)k |
z2k+1 = z |
|
|
z3 |
+ z5 . . . |
(2) |
|||||||||||||
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B |
(2k + 1)! |
|
|
|
|
|
|
|
− |
3! |
|
|
5! |
− |
|
|||||
|
k=0 |
(−1)k z2k = 1 |
|
|
|
|
+ z4 . . . |
|
|||||||||||||
cos z |
∞ |
|
|
z2 |
|
(3) |
|||||||||||||||
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B |
(2k)! |
|
|
|
|
− |
2! |
|
|
|
|
4! |
− |
|
||||||
|
k=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§ 17.4. Функции ez, sin z, cos z комплексного переменного 313
Равенствами (1), (2), (3) функции ez, sin z, cos z определены на всей комплексной плоскости C, поскольку ряды сходятся, причем абсолютно для z C. В этом проще всего можно убедиться с помощью признака Даламбера. Следовательно, радиус сходимости R = +∞ для каждого из рядов (1), (2), (3) (это вытекает также из сходимости
на (−∞, +∞) рядов (1), (2), (3) при z = x + i0, см. |
фор- |
мулы (17.3.9), (17.3.10), (17.3.11)). |
|
Функции ez, sin z, cos z при z = x совпадают соответ- |
|
ственно с ex, sin x, cos x: R → R. |
|
Установим некоторые свойства введенных функций. |
|
Покажем, что |
|
ez1 ez2 = ez1+z2 z1, z2 C. |
(4) |
Поскольку абсолютно сходящиеся ряды можно перемножать почленно (теорема 15.3.3), а сумма полученного в результате перемножения абсолютно сходящегося ряда не зависит от перестановки его членов (теорема 15.3.2), получаем, что
z1 z2 |
∞ n |
|
|
z1n−k |
|
z2k |
|
|
|
|
|
|
|
|
||||||||||||
|
|
X X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
e e |
|
(n |
− |
k)! |
|
k! = |
|
|
|
|
|
|
|
|
||||||||||||
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
n=0 k=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(z1 + z2)n = ez1+z2 . |
||||||||
|
= |
∞ |
1 n |
|
|
|
|
|
n! |
|
|
|
zn−kzk = |
∞ |
||||||||||||
|
|
X |
|
X |
|
|
|
|
|
|
|
1 |
2 |
|
X |
|
|
|
|
|
||||||
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
n! |
|
|
|
|
(n |
|
|
k)!k! |
|
n=0 |
|
n! |
|
|
|
||||||||
|
|
n=0 |
|
k=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Из сравнения сумм рядов очевидно, что |
|
|
|
|
|
|||||||||||||||||||||
откуда |
|
|
|
|
eiz |
= cos z + i sin z, |
z C, |
|
|
|
(5) |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
cos z = |
eiz + e−iz |
|
, |
|
|
sin z = |
eiz − e−iz |
, z |
C |
. (6) |
||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|||||
Формулы (5), (6) называются формулами Эйлера. |
||||||||||||||||||||||||||
Из (4), |
(5) |
при z = |
0 + iy |
видно, |
что функции sin z, |
cos z не являются ограниченными функциями в комплексной плоскости.
314 |
Глава 17. Степенные ряды |
|
|
|
||||||
Из (6) и (4) легко получаются следующие обобщения |
||||||||||
известных тригонометрических формул: |
|
|
|
|||||||
sin(z1 + z2) = sin z1 cos z2 + cos z1 sin z2, |
z1, z2 C, |
|
|
|||||||
cos(z1 + z2) = cos z1 cos z2 − sin z1 sin z2, |
z1, z2 C. |
|
|
|||||||
Из (4), (5) следует, что при z = x + iy |
|
|
|
|||||||
|
ez = exeiy = ex(cos y + i sin y). |
|
(7) |
|||||||
|
|
|
|
|
В частности, при x = 0 |
|
|
|||
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
eiy = cos y + i sin y. |
(8) |
||
iy |
z |
|
|
|
|
Отсюда, в частности, вид- |
||||
|
|
|
но, что функция ez — перио- |
|||||||
|
|
|
|
|||||||
|
|
|
|
|
дическая с периодом 2πi. |
|
|
|||
|
ϕ |
|
|
|
|
Всякое комплексное число |
||||
0 |
|
|
|
|
z = x + iy можно представить |
|||||
x |
|
|
|
|||||||
|
|
|
в виде |
|
|
|
||||
|
Рис. 17.1 |
|
|
|
|
|
|
|||
|
|
|
|
|
|
z = r(cos ϕ + i sin ϕ), |
(9) |
|||
где |
|
|
|
|
|
|
|
|
|
|
— модуль z, а под ϕ |
pz = 0 |
|
|
|
|
- |
||||
|
r = x2 |
+ y2 = |z| |
|
|
|
|||||
|
|
при |
6 |
можно понимать отсчиты |
|
|||||
|
|
|
|
|
ваемый против часовой стрелки угол между положительным направлением оси Ox и радиусом-вектором точки z комплексной плоскости. При этом для ϕ [0, 2π) вводится обозначение ϕ B arg z. В силу 2π-периодичности функций cos ϕ, sin ϕ в равенстве (9) в качестве ϕ можно взять ϕ = = Arg z, где
Arg z = arg z + 2kπ
при произвольном фиксированном k = 0, ±1, ±2, . . .
Формула (9) верна и при z = 0 при произвольном значении ϕ.
Формулу (9) называют тригонометрической формой
комплексного числа z. |
C помощью (8) из нее можно по- |
|
лучить показательную форму комплексного числа z: |
|
|
z = reiϕ, |
r = |z|, ϕ = Arg z. |
(10) |
§ 17.4. Функции ez, sin z, cos z комплексного переменного 315
Показательная и тригонометрическая формы комплексного числа удобны для нахождения произведения и частного двух комплексных чисел, возведения в степень ком-
плексного числа и извлечения корня. |
|
|
|
|
|
|
|||||||||
|
|
Пусть zj = rjeiϕj |
= rj(cos ϕj + i sin ϕj), j = 1, 2. |
Тогда |
|||||||||||
из (4), (8) следует, что |
|
|
|
|
|
|
|
|
|
||||||
|
z1 |
= |
r1 |
ei(ϕ1−ϕ2) = |
r1 |
(cos(ϕ |
1 − |
ϕ |
)+i sin(ϕ |
1 − |
ϕ |
)), |
z |
|
= 0. |
|
z2 |
|
|
|
|||||||||||
|
r2 |
r2 |
|
2 |
|
2 |
|
|
2 |
6 |
|||||
|
|
При z = reiϕ = r(cos ϕ + i sin ϕ), n N |
|
|
|
|
|
|
|||||||
|
|
|
|
zn = rneinϕ = rn(cos nϕ + i sin nϕ). |
|
|
|
(11) |
Получим, наконец, формулу для извлечения корня степени
n > 2 из комплексного числа z. Под |
n |
|
|
|
|
|
|
|
|
|
||||||||||||||||||
√z понимают такое |
||||||||||||||||||||||||||||
комплексное число w, что wn = z. Если |
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
z = reiϕ = r(cos ϕ + i sin ϕ), |
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
w = ρeiψ = ρ(cos ψ + i sin ψ), |
|
|
|
|
|
|
|||||||||||||||
то, согласно (11), r = ρn, ϕ = nψ. Поэтому |
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
ϕ |
= |
|
|
|
|
ϕ |
|
|
|
|
|
ϕ |
|
|
|
|
||
|
|
|
|
√z = √rei n |
√r cos n |
+ i sin n . |
|
|
|
|
||||||||||||||||||
|
|
|
|
n |
|
n |
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Однако, если ϕ = Arg z = arg z + 2kπ = ϕ0 + 2kπ, то |
|
|||||||||||||||||||||||||||
|
|
cos n = cos |
n0 |
+ |
|
n |
, |
sin n |
= sin |
n0 + |
n |
|||||||||||||||||
|
|
|
|
ϕ |
ϕ |
|
|
2kπ |
|
|
|
ϕ |
|
|
|
|
|
ϕ |
2kπ |
|
|
|
||||||
имеют при различных k = 0, 1, |
. . . , n −1 различные значе- |
|||||||||||||||||||||||||||
n . |
Поэтому для |
z 6= 0 |
существует |
n |
различных значений |
|||||||||||||||||||||||
ния |
|
|
|
|
|
|||||||||||||||||||||||
√ |
|
. В комплексной плоскости C все эти значения распола- |
||||||||||||||||||||||||||
z |
||||||||||||||||||||||||||||
гаются на окружности с центром в точке |
|
радиуса |
n |
|
|
|||||||||||||||||||||||
деля эту окружность на равные дуги. |
|
|
|
0 |
|
|
|
p|z|, |
Таблица интегралов |
317 |
Таблица интегралов
Z |
0 dx = C; |
|
||||
Z xα dx = α + 1 xα+1 |
+ C, α 6= −1; |
|||||
|
|
1 |
|
|
||
Z |
dx |
|
||||
|
|
= ln |x| + C; |
|
|||
|
x |
|
Z
ax dx = ln1a ax + C;
Z |
1 + x2 |
= arctg x + C; |
|||||
|
|
|
dx |
|
|
|
|
Z |
√ |
dx |
= arcsin x + C; |
||||
1 x2 |
|||||||
Z |
|
|
− |
|
|
± 1 + C; |
|
√x2 ± 1 = ln x + px2 |
|||||||
|
|
|
dx |
|
|
|
|
Z |
|
|
|
|
|
|
|
|
sin x dx = − cos x + C; |
||||||
Z |
|
cos x dx = sin x + C; |
|
|
Z dx
cos2 x
= tg x + C;
Z dx
sin2 x
= − ctg x + C.