Теория функций комплексного переменного. Учебное пособие
.pdfМОСКОВСКИЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ СВЯЗИ И ИНФОРМАТИКИ
Северо-Кавказский филиал
Л.В. Гриценко, В.Н. Ефименко, Г.С. Костецкая
ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО
Учебное пособие
Москва Ай Пи Ар Медиа
2022
УДК 517.1 ББК 22.161
Г85
Рецензенты:
Стажарова Л.Н. — канд. физ.-мат. наук, доц. кафедры автоматики и телемеханики на железнодорожном транспорте Ростовского государственного университета путей сообщения; Вассель С.С. — доц. кафедры физики, математики и информатики филиала Московского государственного университета технологий и управления им. К.Г. Разумовского в г. Ростов-на-Дону
Гриценко, Лариса Владимировна.
Г85 Теория функций комплексного переменного : учебное пособие / Л.В. Гриценко, В.Н. Ефименко, Г.С. Костецкая ; СКФ МТУСИ. — Москва : Ай Пи Ар Медиа, 2022. — 73 с. — Текст : электронный.
ISBN 978-5-4497-1687-3
В учебном пособии изложены основы теории функций комплексного переменного. Рассмотрены комплексные числа и действия над ними, элементарные функции и дифференцирование функции комплексного переменного. Описаны числовые и функциональные ряды, нули и изолированные особые точки аналитической функции. Отдельный раздел посвящен интегрированию в комплексной плоскости и применению теории вычетов к вычислению интегралов.
Учебное пособие подготовлено на основе лекций, читаемых авторами в СКФ МТУСИ для студентов, обучающихся по направлениям подготовки 09.03.01 «Информатика и вычислительная техника», 11.03.02 «Инфокоммуникационные технологии и системы связи», и предназначено для изучения дисциплины «Теория функций комплексного переменного». Издание также может быть использовано студентами других направлений и специальностей, учебными планами которых предусмотрено изучение данного курса.
Учебное электронное издание
Обложка Я.А. Кирсанов, С.С. Сизиумова, фотобанк «Лори»
ISBN 978-5-4497-1687-3 |
© Гриценко Л.В., Ефименко В.Н., Костецкая Г.С., 2014 |
|
© СКФ МТУСИ, 2014 |
|
© Оформление. ООО Компания «Ай Пи Ар Медиа», 2022 |
3
Содержание
Модуль 1. Функция комплексного переменного
1. Комплексные числа и действия над ними . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2. Функция комплексного переменного . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.1. Определения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.2. Предел функции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.3. Непрерывность функции комплексного переменного . . . . . . . . . . . . 17
3. Дифференцирование функции комплексного переменного . . . . . . . . . . . . . 18
3.1. Производная. Геометрический смысл модуля и аргумента производной . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.2. Дифференцируемость. Условия Коши–Римана . . . . . . . . . . . . . . . . . . 20 3.3. Свойства аналитических функций . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3.4. Понятие конформного отображения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4. Элементарные функции комплексного переменного . . . . . . . . . . . . . . . . . . . . 26
4.1. Линейная функция . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 4.2. Преобразование инверсии . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 4.3. Дробно-линейная функция . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 4.4. Степенная функция . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
p
4.5. Функция w = n z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 4.6. Показательная функция . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 4.7. Логарифмическая функция . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 4.8. Тригонометрические функции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 4.9. Гиперболические функции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 4.10. Обратные тригонометрические функции . . . . . . . . . . . . . . . . . . . . . . . . 34 4.11. Общая степенная функция . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3
4
Модуль 2. Ряды в комплексной плоскости
5. Числовые и функциональные ряды . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.1. Числовые ряды . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 5.2. Функциональные ряды . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 5.3. Ряды Тейлора и Лорана . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
6. Нули и изолированные особые точки аналитической функции . . . . . . . . |
45 |
6.1. Нули . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 6.2. Изолированные особые точки аналитической функции . . . . . . . . . . 47
Модуль 3. Интегрирование в комплексной плоскости
7. Интегралы от функции комплексного переменного . . . . . . . . . . . . . . . . . . . . 51
7.1. Понятие интеграла, свойства . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 7.2. Интегральная теорема Коши . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 7.3. Интегральная формула Коши. Интеграл типа Коши . . . . . . . . . . . . 58
8. Вычеты. Применение теории вычетов к вычислению интегралов . . . . . . 65
8.1. Вычеты. Основная теорема теории вычетов . . . . . . . . . . . . . . . . . . . . . 65 8.2. Вычисление определенных интегралов от тригонометрических
функций . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 8.3. Вычисление несобственных интегралов . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Литература . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4
5
Модуль 1. Функция комплексного переменного
1. Комплексные числа и действия над ними
Определение 1.1. Комплексным числом называется выражение ви-
да
z = x + iy; |
(1.1) |
где x, y действителдьные числа, i мнимая единица, причем i2 = 1. Числа x, y называются соответственно действительной и мнимой частями комплексного числа и обозначаются Re z = x; Im z = y.
Выражение (1.1) называется алгебраической формой комплексного чис-
ла.
Определение 1.2. Два комплексных числа равны друг другу тогда и только тогда, когда у них равны действительные и мнимые части, то есть
z1 = x1 + iy1;
z1 = z2 () x1 = x2; y1 = y2:
z2 = x2 + iy2;
Определение 1.3. Комплексно сопряженным для числа z = x + iy
называется число
|
= x iy: |
(1.2) |
z |
Сложение, вычитание, умножение комплексных чисел производятся по обычным правилам действия с двучленами с учетом того, что i2 = 1:
z1 z2 = (x1 + iy1) (x2 + iy2) = (x1 x2) + i(y1 y2); z1 z2 = (x1 + iy1) (x2 + iy2) = (x1x2 y1y2) + i(x1y2 + y1x2);
z1 |
= |
z1 |
|
|
2 |
; |
|
z |
|||||||
z2 |
z2 |
|
|
|
|
||
|
z |
2 |
|||||
zn = z z : : : z :
| |
|
{z |
} |
|
n раз |
|
|
5
6
Арифметические действия с комплексными числами перестановочны с операцией перехода к сопряженным числам, а именно:
|
|
|
|
z1 + z2 = z1 + z2; z1 z2 = z1 z2; zn = (z)n; |
z2 |
= z2 : |
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z1 |
|
|
|
z |
1 |
|
|
|||
Полезно доказать эти равенства самостоятельно. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
Пример 1.1. Вычислить |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
а) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
б) |
|
|
|
|
|
|
|
в) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 + ip3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
Решение. |
(2 |
|
|
3i)(5 + 6i); |
|
|
|
|
p3 i |
; |
|
|
|
(1 |
|
i)2012: |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
а) |
(2 3i)(5 + 6i) = 10 + 12i 15i 18i2 = 10 3i + 18 = 28 3i; |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
p |
|
|
|
|
p |
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
2p |
|
|
p |
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
б) |
|
3 i |
= |
( |
|
|
3 i)(2 i 3) |
|
= |
2 3 3i 2i + i |
|
3 |
|
|
3 5i |
= |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
2 + ip3 |
(2 + ip3)(2 ip3) |
|
|
|
|
|
|
|
|
|
4 i2 3 |
|
|
|
|
|
|
|
7 |
|
|
|
|||||||||||||||||||||||||||||||
p
= 73 i57;
в) (1 i)2012 = (1 2i 1)1006 = ( 2i)1006 = 21006 i1006 =
= 21006(i2)503 = 21006( 1)503 = 21006:
Комплексное число z = x+iy имеет простую геометрическую интерпретацию это точка M(x; y) или радиус-вектор OM = fx; yg. Если обозначить длину этого вектора через r, а угол наклона к положительному направлению
оси Ox через ', то мы получим тригономет-
y
рическую форму комплексного числа
z = r(cos ' + i sin '); |
(1.3) |
|
r |
y |
|
|
|
|
ϕ |
||
r модуль комплексного числа, ' аргумент |
|
|
|
|
|
комплексного числа. |
0 |
x |
x |
||
|
|||||
|
|
|
|
|
|
Рис. 1
Очевидно, что модуль определяется однозначно, а аргумент с точностью до слагаемого кратного 2 :
p
r = x2 + y2; (1.4)
6
|
|
|
|
7 |
|
y |
где k = 0, если z 2 I, IV четверти; |
(1.5) |
|
' = arctg |
|
+ k; |
||
x |
||||
|
|
|
k = 1, если z 2 II четверти; |
|
|
|
|
k = 1, если z 2 III четверти; |
|
' называется главным значением аргумента, обозначается |
|
|||
|
|
|
arg z 2 ( ; ]: |
(1.6) |
Все значения аргумента задаются формулой |
|
|||
Arg z = arg z + 2 k; k = 0; 1; 2; : : : |
(1.7) |
|||
Из формулы (1.5) видно, что аргумент не определен для числа z = 0. Кроме
того, |
|
|
|
|
|
|
|
|
|
|
arg z y=0= ( ; |
x < 0; |
|
|
|
|
|
|
|
|
|
|
(1.8) |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0; |
|
x > 0; |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
arg z x=0= ( 2=2; y < 0: |
|
|
|
|
|
|
|
|
|
|
(1.9) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
= ; |
y > 0 |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 1.2. Найти модуль и аргумент следующих комплексных чисел |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
z1 = 1 i; z2 = 1 + i 3; z3 = 4; z4 = 7i: |
|
|
|
|
||||||||||||||||||||||||||
Решение. z1 = 1 i ! x1 = 1; y1 = 1 ! |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
= p |
|
|
|
|
= p |
|
|
|
|
= arctg |
1 |
|
|
|
|
|
|
|
|
|
|
|||||||||
r |
|
1 + 1 |
2; |
' |
|
+ k = |
|
+ 0 |
|
k = |
|
; |
||||||||||||||||||||
1 |
1 |
|
|
|
|
4 |
|
|
4 |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
||||||||||||||||
так как z1 принадлежит IV четверти. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
p |
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
z2 = 1 + i 3 ! x2 = 1; y2 = 3 ! |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
p |
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
3 |
+ k = |
|
|
1 = |
2 |
|
||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
r2 = 1 + 3 = 2; |
'2 = arctg |
|
|
|
|
+ |
|
|
; |
|
|||||||||||||||||||||
|
1 |
3 |
|
3 |
|
|
||||||||||||||||||||||||||
так как z2 2 II четверти. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
z3 = 4 ! x3 = 4; y3 = 0 !
r3 = 4; '3 = 0 (см. (1.8)).
7
8
z4 = 7i ! x4 = 0; y4 = 7 ! |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
||
r4 = 7; '4 = |
|
|
(см. (1.9)). |
|
|
|||
2 |
|
|
||||||
Возвращаясь к формуле (1.3), отме- |
|
y |
|
|
|
|
||
тим, что множество чисел постоянно- |
|
|
|
|
|
|||
|
|
|
|
|||||
Arg z = ϕ0 |
|
|
|
|
||||
го модуля r0 изображается окружностью |
|
ϕ0 |
|z| = r0 |
|||||
с центром в начале координат и радиу- |
|
|
|
|
|
|||
са r0. Множество чисел постоянного ар- |
|
|
|
|
|
|
||
0 |
|
|
r0 x |
|||||
гумента '0 изображается лучом, выходя- |
|
|
||||||
|
|
|
|
|
|
|||
щим из начала координат под углом '0 |
|
|
|
|
|
|
||
к оси абсцисс (см. рис. 2). |
|
|
|
|
|
|
||
|
Рис. 2 |
|
|
|||||
|
|
|
|
|
|
|||
Определение 1.4. Два комплексных числа в тригонометрической форме равны тогда и только тогда, когда у них модули равны, а аргументы отличаются на 2 k, k = 0; 1; : : :
При умножении и делении комплексных чисел пользуются следующей теоремой.
Теорема 1.1. Пусть z1 = r1(cos '1 + i sin '1), z2 = r2(cos '2 + i sin '2). Тогда
z1 z2 = r1 r2(cos('1 + '2) + i sin('1 + '2)); |
(1.10) |
|||||
z1 |
= |
r1 |
(cos('1 '2) + i sin('1 '2)); z2 |
6= 0; |
(1.11) |
|
|
|
|
||||
z2 |
r2 |
|||||
|
|
|
|
zn = rn(cos n' + i sin n') |
|
(1.12) |
(формула (1.12) называется формулой Муавра).
Доказательство теоремы очевидно, проделайте его самостоятельно.
8
9
Замечание. Формулы (1.10)–(1.12) можно записать следующим образом
jz1 z2j = jz1j jz2j; Arg(z1 z2) = arg z1 + arg z2;
z2 |
= jjz2jj |
; |
||
z1 |
|
z1 |
|
|
|
|
|
|
|
|
|
|
|
|
z1 |
= arg z1 arg z2; z2 6= 0; |
(1.13) |
Arg z2 |
jznj = jzjn; Arg zn = n arg z; z 6= 0:
В результате умножения, деления и возведения в степень комплексных чисел может получиться аргумент произведения, частного и степени, не являющийся главным.
Определение 1.5. Корнем n-ой степени из комплексного числа z
называется такое комплексное число w, что
wn = z: |
(1.14) |
Выведем формулу извлечения корня n-ой степени из числа z. Положив
z = (cos ' + i sin '); w = (cos + i sin );
перепишем (1.14):
( (cos + i sin ))n = r(cos ' + i sin ')
или по (1.13):
n(cos n + i sin n ) = r(cos ' + i sin '):
Тогда по определению 1.4 имеем
r = n; n = ' + 2 k; k = 0; 1; : : :
Или |
|
|
|
|
pn |
|
|
' + 2 k |
; k = 0; 1; : : : |
|
|
|||
= |
r; = |
|
||
n |
||||
Таким образом, всякий корень n-ой степени из числа z имеет вид: |
|
wk = pn r cos ' +n2 k + i sin ' +n2 k ; k = 0; 1; : : :; n 1: |
(1.15) |
10
(При k > n мы получим те же значения wk в силу периодичности тригонометрических функций.)
Формула (1.15) дает n различных значений корня. Геометрически все они лежат в вершинах правильного n-угольника, вписанного в окружность с центром в O(0; 0), радиуса pn jzj.
Пример 1.3. Решить уравнение z4 1 + i = 0.
Решение. Выразим z:
p
z = 4 1 i:
Представим число 1 i в тригонометрической форме
p p j1 ij = 12 + ( 1)2 = 2:
arg(1 i) = arctg( 1) = 4
(k = 0, так как число лежит в IV четверти). Значит
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
1 i = p2 hcos |
|
|
+ i sin |
|
|
|
|
i; |
||||||||||||||||||||||||
|
|
|
|
|
|
4 |
4 |
|
|||||||||||||||||||||||||||||||
и по формуле (1.15) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
cos |
|
|
|
|
+ 2 k |
|
|
|
|
|
|
+ 2 k |
; |
||||||||||||||||
|
wk = p4 1 i = p8 2 |
4 |
|
|
|
|
+ i sin |
4 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
4 |
|
|
|
|
|
4 |
|
|
|
|
|
|
|
||||||||||||||||||||||
Полагая k = 0; 1; 2; 3, найдем все значения корня: |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cos |
|
|
+ i sin |
|
; |
|||||||||||||||||||
|
|
|
|
|
|
|
w0 = p8 2 |
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
16 |
16 |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
w1 |
= p8 2 cos |
16 |
+ i sin |
16 |
|
; |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7 |
|
|
|
|
|
|
|
7 |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
w2 = p8 2 cos |
16 |
+ i sin |
16 |
|
; |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
15 |
|
|
|
|
|
|
|
15 |
|
|
|
|
|
|
||||||
w3 |
= p8 2 |
cos |
16 |
|
+ i sin |
16 |
|
|
= p8 2 |
cos 16 |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
23 |
|
|
|
|
|
|
|
|
|
|
23 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
9 |
|
|
k = 0; 1; 2; 3:
+ i sin |
16 |
|
: |
|
|
|
9 |
|
|
Отметим, что точки w0, w1, w2, w3 являются вершинами квадрата (см. рис. 3).
10
