
Математика
..pdf
окружности
радиуса
, лежащей внутри
L
, результат при этом не
изменится. Тогда
(z)dz L
= |
|
|
|
|
|
(z)dz
M
2
,
где
M
-
максимальное значение модуля функции, 2 которой происходит интегрирование. Но ведь должно быть верно для какого угодно малого
-
длина кривой, по по теореме 1 это
. То есть (z)dz
меньше или равен любой бесконечно-малой величины.
интеграл равен 0. То есть |
(z)dz |
= |
(z)dz |
= |
|
f (z) |
|||||||
z |
|||||||||||||
|
|
|
|
|
|
|
|
L |
|
L |
|||
|
|
|
|
|
|
|
|
|
|||||
|
|
f (z) |
dz |
|
f (z |
) |
|
|
|
|
|
|
|
Значит, |
|
0 |
|
dz , а тогда: |
|
|
|
||||||
|
|
|
|
|
|
|
|||||||
|
z z |
|
z z |
|
|
|
|
||||||
|
|
|
|
0 |
|
|
|
|
|
|
|||
|
L |
0 |
|
L |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
Тогда
f (z |
0 |
) |
dz |
|
|
||
z |
|
|
|
|
|
|
|
0 |
|
|
|
этот
0 .
1 |
|
f (z) |
dz |
1 |
|
f (z0 ) |
dz f (z ) , |
т.е. |
|
|
|
|
|
|
|
||||
2 i z z |
2 i z z |
0 |
|
||||||
0 |
|
|
|||||||
|
L |
0 |
|
|
L |
|
|
|
1 |
|
f (z) |
dz f (z |
0 |
) |
|
2 i |
z z |
|||||
|
|
|||||
|
|
|
|
|||
|
L |
0 |
|
|
|
|
|
|
|
|
|
доказано в итоге.
Интегральная формула Коши позволяет быстро вычислять интегралы по контуру вокруг точки разрыва, фактически не проводя подробное
интегрирование. Достаточно убрать из знаменателя ту скобку |
(z c) , |
которая соответствует этой точке разрыва, подставить в остальную функцию z c и домножить на 2 i .
Пример. Вычислить
|
(z |
|
z 1,5 |
||
|
z1)(z
dz2)
.
Решение. Внутри окружности радиуса 1,5 всего одна из двух точек разрыва функции, вторая снаружи. Обозначим в качестве f (z)
функцию без (z 1) , как будто на (z 1) позже.
(z 2)
делим чуть раньше, а на
61

|
z |
dz |
= |
|
(z 1)(z 2) |
||||
|
||||
z 1,5 |
|
|
||
|
|
|
именно обозначается
|
|
z |
|
|
|
|
|
|
|
|
z 2 |
|
|
|
z |
|
|
|
|
|
dz , где |
f (z) |
это то, что |
|||
|
|
|||||||
|
|
z 1 |
|
z 2 |
||||
z 1,5 |
|
|
|
|
|
|||
|
|
|
|
|
|
|
||
f (z) |
в интегральной формуле Коши. |
Тогда
|
|
z |
|
|
|
|
|
|
|
|
z 2 |
|
dz |
|
|
z 1 |
|
||
z 1,5 |
|
|
|
|
|
|
|
|
= 2 i |
z |
= |
|
|
z 1 |
||
z 2 |
1 |
2i |
|
3 |
||
|
=
2 |
i |
|
3 |
||
|
. \
Ответ. |
z |
dz |
2 |
i . |
|
(z 1)(z 2) |
3 |
||||
z 1,5 |
|
|
|||
|
|
|
|
Теорема 3. (Обобщённая интегральная формула Пусть f (z) является аналитической на контуре
Коши).
L |
и внутри него, |
|
точка
z0
лежит внутри
L
. Тогда
f |
(n) |
(z |
|
) |
|
0 |
|||
|
|
|
|
n! |
|
f (z) |
|||
2 i |
(z z |
|
) |
||
L |
0 |
||||
|
|
|
n 1
dz
.
Доказательство (ДОК 23).
Продифференцируем по параметру равенства в исходной интегральной
z0 правую и левую часть формуле Коши.
f (z0 ) |
1 |
|
f (z) |
|
dz . |
|
|
|
|
|
|
|
|
2 i |
z z |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
L |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
= ( 1) f (z)(z z0 ) 2 (z |
||||||||||
|
|
|
|
||||||||||
f (z)(z z0 ) 1 z0 |
|||||||||||||
( 1) f (z)(z z ) 2 |
( 1) |
= f (z)(z z ) 2 |
= |
||||||||||
|
|
|
0 |
|
|
|
|
|
|
0 |
|
|
|
Таким образом, |
|
f |
|
|
1 |
|
f (z) |
2 |
dz . |
||||
|
|
|
|||||||||||
|
(z0 ) |
2 i |
|
(z z ) |
|
||||||||
|
|
|
|
|
|
|
|
L |
|
|
|
||
|
|
|
|
|
|
|
|
|
0 |
|
|
|
z0
(z
) |
= |
z |
|
|
0 |
f(z)
z0 )2 .
Следующая производная от |
f (z)(z z0 ) |
2 |
равна |
|||||
|
||||||||
( 2) f (z)(z z0 ) |
3 |
( 1) |
= 2 f (z)(z z0 ) |
3 |
. Аналогично следующая |
|||
|
|
(тертья от исходной функции) равна 2 3 f (z)(z z0 ) 4 , далее по
62

индукции для n-й производной получим |
n! f (z)(z z0 ) |
(n 1) |
|
n! |
f (z) |
|
. Тогда |
f |
(n) |
(z0 ) |
n! |
|
f (z) |
n 1 dz . |
||||
|
|
|
|
|
|
|
|
|||||||
(z z |
0 |
) |
n 1 |
|
2 i |
(z z |
|
) |
||||||
|
|
|
|
|
|
L |
0 |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=
Рассмотрим примеры, или 3 степень скобки
похожие на предыдущий, но в которых будет 2 (z 1) . По обобщённой интегральной формуле
Коши, если скобка во 2 степени, надо не просто убрать её из
знаменателя, а после |
этого ещё и один раз продифференцировать |
||
оставшуюся функцию, |
и лишь затем подставлять |
z 1 |
. А если 3 |
|
степень, то 2 раза продифференцировать, но с 3-й степени начинает ещё и изменяться коэффициент из-за того, что он уже не равен 1, а будет 2!.
Пример. Вычислить
Решение. |
|
(z 1) |
|
||
|
z 1,5 |
|
|
|
|
|
(z 1) |
|
z 1,5 |
|||
|
|||
z |
dz |
||
2 |
|
||
(z 2) |
|||
|
z |
dz |
||
2 |
(z 2) |
||
|
|||
|
|
2 i =
1! z
.
|
|
|
|
|
|
z |
|
= |
|
|
|
2 |
|
z 1 |
|
|
|
|
|
|
1 (z 2) 1 z |
||
2 i |
|
2 |
|
|
(z 2) |
|
|
|
|
|
z 1
= 2 i |
2 |
|
(z 2) |
||
|
2 z 1
= 2i |
2 |
|
9 |
||
|
=
4 |
i |
|
9 |
||
|
.
Ответ. |
|
|
|
|
z |
|
|
dz |
|
4 |
i . |
|
|
|
|
||||
|
(z 1) |
2 |
(z |
2) |
9 |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|||||||||||||
|
z 1,5 |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Пример. Вычислить |
|
|
|
|
|
|
z |
|
|
dz . |
|
|
|||||||
|
|
(z |
1) |
3 |
(z 2) |
|
|
||||||||||||
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
z 1,5 |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
2 i |
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Решение. |
|
(z 1) |
3 |
(z 2) |
dz = |
|
|
|
z |
|
|
||||||||
|
|
z 1,5 |
|
|
|
|
|
2! |
|
2 |
|
||||||||
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z 1
|
2 |
|
|
|
|
|
|
||
= i |
|
|
|
= |
|
2 |
|||
|
(z 2) |
|
|
|
|
|
|
z 1 |
|
|
|
|
|
|
0 2(z 2) 2 |
|
|
|
4 |
|
|
|
|
4 |
|
4 |
|
|
i |
|
|
|
|
= i |
|
|
|
|
= i |
3 |
= |
|
i . |
|
4 |
|
|
|
|
|
||||||||
|
(z 2) |
|
|
|
(z 2) |
3 |
|
|
|
27 |
|
|||
|
|
|
z 1 |
|
|
|
z 1 |
|
3 |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
63

Ответ.
|
|
z |
dz |
|
(z 1) |
3 |
(z 2) |
||
z 1,5 |
|
|
||
|
|
|
|
4 27
i
.
Далее докажем с помощью интегральной формулы Коши, что верно разложение в ряд Тейлора не только для функций действительного переменного (1 семестр), но и для комплексных функций.
Теорема 4. (Теорема о разложении в ряд Тейлора).
Пусть f (z) является аналитической в окрестности точки z0 . Тогда она представима в виде степенного ряда:
|
|
|
f (z) an (z z0 ) |
n |
, где an |
|
||
n 0 |
|
|
Доказательство (ДОК 24).
f |
(n) |
(z |
|
) |
|
0 |
|||
|
|
|
|
|
|
n! |
|
|
.
Рассмотрим окрестность точки z0 и какую-нибудь точку |
z |
, лежащую |
||
|
||||
внутри неё. Пусть граница окрестности - кривая |
L |
, а точку на ней |
||
|
обозначим t .
Можно записать интегральную формулу Коши для точки
z
в таком
виде:
f (z) |
1 |
|
f (t) |
dt |
|
2 i |
t z |
||||
|
L |
|
|||
|
|
|
|
(здесь t и
z
имеют такой же смысл, как
ранее было |
z |
и |
z0 ). |
|
|
||
|
|
|
|||||
Изучим дробь |
1 |
|
подробнее. Можно прибавить и отнять |
z0 : |
|||
|
|
||||||
t z |
|||||||
|
|
|
|
|
64

1 t z
=
|
|
1 |
|
|
(t z |
0 |
) (z z |
0 |
) |
|
|
|
а дальше преобразовать к виду суммы
геометрической прогрессии, чтоб воспользоваться тем фактом, что
1 1 q
|
|
q |
|
|
n |
n |
0 |
. Причём выносить за скобку в знаменателе надо именно
такой из двух блоков, чтобы получилось 1 и нечто меньшее по модулю, чем 1. Учитывая, что t на границе, а z внутри контура, то
ближе к
Тогда
(t
z0 |
, чем t . Поэтому |
|
|
1 |
= t |
z0 ) (z z0 ) |
z z |
t z |
||||
|
|
0 |
|
0 |
|
1 |
|
|
|
1 |
|
z |
|
|
z z0 |
||
0 |
1 |
|
|||
|
t z |
||||
|
|
|
|
||
|
|
|
|
0 |
, т.е. |
z |
|
t |
||
|
= |
1 |
|
|
t z |
|||
|
|
||
|
0 |
|
z |
|
|
|
|
|
|
0 |
1 |
|
|
|
|
|
z |
|
|
|
|
||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
z z |
|
|
n |
||
|
|
|||||
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
n 0 |
t z |
0 |
|
|
||
|
|
=
|
|
(z z |
|
) |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
. Подставим это выражение в интегральную формулу |
|||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||
(t z |
|
) |
n 1 |
||||||||||||||||||||
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Коши вместо |
1 |
. |
|
Тогда |
f (z) |
1 |
|
|
f (t) |
dt |
|
= |
|
||||||||||
t z |
|
2 i |
t z |
|
|
||||||||||||||||||
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
(z z |
|
)n |
|
|
1 |
|
|
|
|
|
(z z |
|
)n |
|
||
|
|
|
|
|
|
|
|
|
0 |
|
|
= |
|
|
|
|
|
|
|
|
0 |
n 1 |
|
2 i |
f (t) |
(t z |
|
) |
n 1 dt |
2 i |
f (t) |
(t z |
) |
dt . |
|||||||||||||
L |
|
|
n 0 |
0 |
|
|
|
n 0 L |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
Оставим внутри знака интеграла только те множители, которые
|
|
1 |
|
|
|
f (t) |
|
|
|
||
зависят от t . Получим |
f (z) |
(z z0 ) |
n |
|
|
dt |
но |
||||
|
|
|
|
|
|||||||
2i |
|
(t z |
|
) |
n 1 |
||||||
|
|
n 0 |
|
|
|
|
|||||
|
|
|
L |
0 |
|
|
|
||||
|
|
|
|
|
|
|
|
|
оставшийся внутри суммы интеграл можно преобразовать по обобщённой интегральной формуле Коши из теоремы 3, ведь если
f |
(n) |
(z0 ) |
n! |
|
|
f (t) |
n 1 dt |
то |
|
|
|
f (t) |
n 1 dt |
2 i |
f |
(n) |
(z0 ) . |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
2 i |
(t z |
|
) |
|
(t z |
|
) |
n! |
|
|
|
|||||||||||||||||
|
|
|
|
L |
0 |
|
|
|
|
L |
0 |
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
1 |
|
|
|
|
|
2i |
|
|
|
|
|
|
|
|
|
|
f |
(n) |
(z |
|
) |
|
||
Тогда |
f (z) |
(z z0 ) |
n |
f |
(n) |
(z0 ) |
|
= |
(z z0 ) |
n |
|
|
0 |
. |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
2i |
|
n! |
|
|
|
|
|
|
n! |
|
|
||||||||||||||||||
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Получилось разложение в ряд Тейлора с коэффициентами f (n) (z0 ) . n!
z
65

Теорема 5. (Теорема о разложении в ряд Лорана).
Пусть f (z) является аналитической в некотором кольце с центром
|
|
|
|
|
тогда она представима в виде ряда |
f (z) |
an (z z0 ) |
n |
. |
|
||||
|
|
n |
|
|
z0
,
Доказательство (ДОК 25). |
|
Обозначим внутреннюю и внешнюю границы кольца через L1 |
и |
Возьмём произвольную точку z в кольце. Окружим её контуром малого радиуса, так, чтобы он не пересекался с L1 и L2 .
L2 . L3
По теореме 1, |
f (t) |
dt |
f (t) |
dt |
f (t) |
dt , впрочем, тогда |
t z |
t z |
|
||||
L |
L |
L |
t z |
|||
|
|
|
|
|||
1 |
|
2 |
|
3 |
|
|
1f (t)
dt
2 i t z
L1
1f (t)
dt
2 i t z
L2
1 2 i
|
f (t) |
|
t z |
||
L |
||
|
||
3 |
|
dt
.
Но третий интеграл по
контуру L3 , внутри
аналитичности функции
которого
f (z) |
, а |
|
t z |
||
|
только одна точка нарушения
именно точка |
z |
. Тогда третий |
|
интеграл сразу можно по интегральной формуле Коши представить в виде значения функции:
66

1 |
|
f (t) |
dt |
1 |
|
f (t) |
dt |
|
2i |
t z |
2i |
t z |
|||||
L |
|
L |
|
|||||
|
|
|
|
|
|
|||
|
1 |
|
|
|
2 |
|
|
f
(z)
.
Тогда
f (z)
1f (t)
dt
2i t z
L1
1 2i
|
f (t) |
|
t z |
||
L |
||
|
||
2 |
|
dt
.
В каждом из интегралов преобразуем выражение |
1 |
с помощью |
|
t z |
|||
|
|
геометрической прогрессии. В первом из них почти как в предыдущей
|
|
|
|
|
|
|
|
|
|
z z |
|
|
|
|
|
|
|
|||
теореме, потому что |
|
z z0 |
|
t z0 |
, т.е. |
|
|
0 |
|
1 |
|
. А вот во втором, |
||||||||
|
t z |
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
преобразование будет чуть иначе, потому что для точки |
t L2 |
, |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
t z |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
наоборот, z z0 |
t z0 и соответственно, |
|
|
|
0 |
|
|
1 . |
|
|
||||||||||
|
z |
z |
|
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
Если t L1 : |
|
1 |
= |
|
1 |
|
|
= |
|
1 |
|
|
|
|
1 |
= |
|
|||
t z |
|
|
|
|
|
t z0 |
|
|
z z |
|
||||||||||
(t z0 ) (z z0 ) |
|
|
|
|||||||||||||||||
|
|
|
|
1 |
0 |
|
||||||||||||||
|
|
|
|
t z |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
1 |
|
|
t z |
||
|
0 |
|
Если |
||
|
1 |
|
|
||
z |
|
|
|
z |
z |
|
|
n |
|
|||
|
|
|
|
|
|||||||
|
|
= |
|
||||||||
|
|
|
|
|
0 |
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
z |
|
|
|
|
|||
|
n 0 |
0 |
|
|
|
||||||
|
|
|
|
|
|
||||||
t L2 |
: |
|
|
|
|
1 |
= |
||||
|
|
|
t z |
||||||||
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
1 |
|
|
|
= |
|
z |
|
|
|
|
t z |
|
|||||
0 |
1 |
|
0 |
|
|
||||||
|
|
|
|
|
|
||||||
|
|
z z |
|
|
|||||||
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
(z z |
0 |
)n |
|
|
|
|||||
|
|
|
|
|
|
|
. |
|
|
|
||
(t z |
0 |
)n 1 |
|
|
|
|||||||
n 0 |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
1 |
|
|
|
|
|
= |
|
|
|
|
||||||||||
|
(t z0 ) (z z0 ) |
|
||||||||||
1 |
|
|
|
t z |
|
|
n |
|||||
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
0 |
|
|
|
z z |
n 0 |
z z |
|
|
||||||||
|
|
|
0 |
|
|
0 |
|
z
=
1
z0
|
|
1 |
|
|
|
|
|
= |
|
t z |
|
|
|
|
|
|
|||
|
0 |
1 |
|||||||
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
z z |
|
|
|
|
|
|
||
|
|
|
0 |
|
|
|
|
|
|
|
|
(t z |
|
|
) |
n |
|||
|
0 |
|
|||||||
|
|
|
|
|
|
||||
(z z |
|
|
) |
n 1 |
|||||
n 0 |
0 |
|
|
||||||
|
|
|
|
|
|
.
|
|
|
1 |
|
|
f (t) |
|
1 |
|
|
f (t) |
|
|
|
|
|
|
|
|||
Тогда |
f (z) |
|
|
|
dt |
|
|
|
|
dt |
|
|
|
|
|
|
|||||
2 i |
t z |
2 i |
t z |
|
|
|
|
|
|||||||||||||
|
|
|
|
L |
|
|
|
|
|
L |
|
|
|
|
|
|
|
|
|
||
|
|
|
1 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|||
|
1 |
|
|
|
|
(z z0 ) |
n |
1 |
|
|
(t z0 ) |
n |
|
|
|||||||
f (z) |
f (t) |
|
dt |
f (t) |
|
dt |
= |
||||||||||||||
|
(t z0 ) |
n 1 |
|
|
(z z0 ) |
n 1 |
|||||||||||||||
|
2 i n 0 L |
|
|
|
|
|
|
2 i n 0 L |
|
|
|
|
|||||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
67

1 |
|
|
|
f (t) |
|
1 |
|
1 |
|
|
|
|
|
|||
(z z0 ) |
n |
|
n 1 dt |
|
|
|
f (t)(t z0 ) |
n |
dt |
|||||||
|
|
|
|
|
|
|
|
|
||||||||
2 i |
|
(t z |
|
) |
2 i |
(z z |
|
) |
n 1 |
|
||||||
n 0 |
|
L |
0 |
|
n 0 |
0 |
|
L |
|
|
||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
В первой части снова по обобщённой интегральной формуле Коши, а во 2 части сделаем сдвиг индексов на 1 пункт.
1 |
|
|
|
2 i |
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
(z z0 ) |
n |
f |
(n) |
(z0 ) |
|
|
|
f (t)(t z0 ) |
n |
dt |
|||||
|
|
|
|
|
|
|
||||||||||
2 i |
|
n! |
|
2 i |
(z z |
|
) |
n 1 |
|
|||||||
n 0 |
|
|
|
|
|
n 0 |
0 |
|
L |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
=
|
f |
(n) |
(z0 ) |
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
(z z0 ) |
n |
|
|
|
n |
|
|
f (t)(t z0 ) |
n 1 |
dt |
|
. |
||||
|
n! |
|
(z z |
|
) |
|
2 i |
|
|
|||||||||
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
|
|||||||
n 0 |
|
|
|
|
|
n 1 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L |
|
|
|
|
|
Мы получили такую структуру ряда, где представлены все целые степени, и положительные, и отрицательные:
|
|
1 |
|
|
|
|
an (z z0 )n a n |
|
|
, |
|
||
|
|
|
|
|||
(z z |
) |
n |
|
|||
n 0 |
n 1 |
|
|
|
||
0 |
|
|
|
|
||
а если бы мы ещё сделали замену индекса |
m n для 2 части, чтобы |
подчеркнуть, что там именно отрицательные степени, то получили бы
n 0
где
f |
(n) |
(z |
|
) |
|
|
|
|
|
|
|
|
|
0 |
(z z0 ) |
n |
|
(z |
|||||||
|
|
|
|
|||||||||
|
n! |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
m 1 |
|||
|
|
|
|
|
|
|
|
|
|
|
||
|
am |
|
1 |
|
|
|
f (t) |
m 1 dt |
||||
|
|
2i |
(t z |
|
) |
|||||||
|
|
|
|
|
L |
0 |
|
|||||
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
1 |
|
|
(m 1) |
|
|
z0 ) |
m |
|
f (t)(t z0 ) |
dt |
|
||
|
2 i |
|
|
||||
|
2 |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
L |
|
|
|
|
т.е. коэффициенты при отрицательных
степенях во 2 части приобрели бы точно такой же вид, как и в 1 части, с той разницей лишь, что (t z0 ) с отрицательной степенью в
знаменателе, хоть и формально написан в знаменателе, но реально располагается в числителе. Так, например,
a 1 |
|
1 |
|
f (t)(t z0 ) |
0 |
dt |
|
||||||
2i |
|
|||||
|
|
L |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
1 |
|
|
2i |
||
L |
||
|
||
|
2 |
f
(t)dt
,
a 2
1 |
|
|
2i |
||
L |
||
|
||
|
2 |
f (t)(t
z |
0 |
)dt |
|
|
.
68

ЛЕКЦИЯ 8. 24.10.2018
Сначала рассмотрим ещё некоторые примеры на интегральную формулу Коши, которую мы доказали на прошлой лекции.
Пример. Вычислить
|
e |
z |
|
|
|
||
(z 1) |
2 |
||
z 1 1 |
|
||
|
|
|
dz
.
Решение. Здесь степень множителя в знаменателе равна 2. Есть всего одна точка разрыва, а именно z0 1. Конкретизируем обобщённую интегральную формулу Коши для этого случая.
f |
(n) |
(z |
|
) |
|
0 |
|||
|
|
|
|
n! |
|
f (z) |
|||
2 i |
(z z |
|
) |
||
L |
0 |
||||
|
|
|
n 1
dz
, при n = 1 получается
|
|
1! |
|
|
|
f (z) |
|
dz |
= |
|
|
|
1 |
|
|
|
f (z) |
|
|
dz . |
|||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|||||||
f (z0 ) |
2 |
|
i |
(z z |
|
|
) |
|
2 |
i |
(z z |
|
|
) |
|
||||||||||||||||
|
|
|
L |
0 |
|
|
|
|
|
L |
0 |
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Отсюда следует, что |
|
|
|
f (z) |
|
2 |
dz 2 if |
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
(z z |
|
) |
|
|
(z0 ) |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
L |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
i e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
z |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Тогда |
|
|
|
|
dz |
|
= |
2 |
z |
|
|
= |
2 ie |
z |
= 2 ie . |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
(z 1) |
|
|
|
|
|
|
|||||||||||||||||||||||
|
z 1 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
z 1 |
|
|
|
|
|
|
|
|
|
z 1 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Ответ. 2 ie . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Пример. |
Доказать, |
|
что |
|
|
|
|
|
|
|
1 |
|
|
n |
|
dz |
|
= 0 для любого целого |
|||||||||||||
|
|
|
|
|
(z z |
|
) |
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
z z |
0 |
|
0 |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
числа n 1.
Решение. Здесь по обобщённой интегральной формуле Коши при
любом n получается, что |
f (z) 1 |
. Затем любая производная от |
константы есть 0. Поэтому результат всегда 0.
Впрочем, если бы мы вычисляли даже старым способом без интегральной формулы Коши (как в конце лекции 6 на странице 56),
то получалось бы
2 |
ie |
it |
dt |
|
|
|
|||
(e |
it |
) |
n |
|
0 |
|
|
||
|
|
|
|
=
|
1 |
2 |
e |
it |
|
|
|
i |
|
dt |
|||
|
n 1 |
e |
itn |
|||
|
0 |
|
|
|
||
|
|
|
|
|
|
=
|
1 |
2 |
i(1 n)t |
|
|
|
|
||
|
n 1 i e |
dt |
||
|
|
|||
|
0 |
|
|
|
|
|
|
|
=
69

|
1 |
|
|
2 |
|
|
2 |
|
|
|
|
|
|
|
|
i |
|
|
cos((1 n)t)dt i |
|
sin(( 1 n)t))dt |
|
но оба интеграла здесь |
||||
|
n 1 |
|
|
||||||||||
|
|
|
|
|
|
|
|||||||
|
|
|
0 |
|
|
0 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
0,2 |
|||||
равны 0, потому что |
(1 n) |
целое число, а значит, на отрезке |
|||||||||||
один или больше полных периодов, что приводит к нулевому |
|
интегралу. И лишь при n 1 результат получается |
2 |
i |
(а это было в |
примере на стр. 56 в конце лекции 6). |
|
|
|
§6. Комплексные числа и дифференциальные уравнения.
Теперь, когда мы более подробно изучили ТФКП, в том числе
формулу Эйлера, ненадолго вернёмся к теме «линейные дифференциальные уравнения», а именно, ещё раз рассмотрим случай комплексных характеристических корней. Это очень полезно, чтобы не забывать дифференциальные уравнения, а также лучше понять
происхождение решений вида e |
ax |
cosbx |
|
|
|||
составе ФСР. |
Напомним, |
что |
|
дифференциальное |
уравнение |
и |
e |
ax |
sin bx , которые есть в |
|
|
||||
|
линейное |
однородное |
||
|
|
|
имеет |
вид |
an y |
(n) |
|
... a2 y |
|
a1 y |
|
a0 y 0 . |
Пусть среди |
|||||||||||
|
|
|
|||||||||||||||||
|
|
|
|
||||||||||||||||
комплексно-сопряжённых корня, |
а |
именно |
a bi |
||||||||||||||||
e(a bi) x |
и e(a bi) x . По формуле Эйлера, эти две |
||||||||||||||||||
записать в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
y1 |
= e |
(a bi) x |
= |
e |
ax |
e |
ibx |
= |
e |
ax |
cosbx ie |
ax |
sin bx , |
|
|||||
|
|
|
|
|
|
|
|
||||||||||||
y2 |
= e(a bi) x = |
eaxe ibx |
|
= eax cosbx ieax sin bx . |
|
корней есть 2
и |
a bi . Тогда |
функции можно
Линейные комбинации решений снова являются решениями линейного однородного дифференциального уравнения. Таким образом, можно образовать две действительные функции действительного переменного, а именно, с помощью комбинаций:
y |
y |
2 |
|
ax |
|
|
y |
y |
2 |
|
ax |
|
1 |
|
e |
cos bx |
и |
1 |
|
e |
sin bx . |
||||
|
2 |
|
|
|
2i |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
Пример. Решить дифференциальное уравнение y 2 y 5y
Решение. Составим характеристическое уравнение r |
2 |
2r |
|
0 .
5 0
.
70