
Лекции математика / 04 Лекции 15 Функции комплексного переменного
.pdf
Тема «Теория функций комплексного переменного».
Введение.
Эта тема находит самые широкие применения в науке и технике. В данной лекции определяются общематематические понятия – кривая, область, функция, в основном известные из курса теории функции действительного переменного и рассматриваются следующие 3 вопроса.
1.Множества точек на комплексной плоскости.
2.Определение функции комплексного переменного. Основные Элементарные функции комплексного переменного.
3.Однолистные функции. Многозначные функции.
1.Множества точек на комплексной плоскости
Пусть ϕ и ψ - непрерывные на отрезке [a,b] действительные функции. Множество γ ,
γ ={(x, y) x =ϕ(t), y =ψ(t), a ≤t ≤b}
точек комплексной плоскости называется непрерывной кривой с началом в точке α = (ϕ(a),ψ(a)) и с концом в точке β = (ϕ(b),ψ(b)) .
Направление движения точки z = (x, y) вдоль кривой γ от начала кривой к
ее концу называется положительным направлением обхода кривой γ ; противоположное направление будет считаться отрица-
тельным.
Если функции ϕ и ψ непрерывно дифференцируемы на отрезке [a,b], то кривая γ называется гладкой. Непрерывная кривая, составленная из конечного числа гладких кривых, называется кусочно - гладкой.
Уравнение z = X (t) =ϕ(t) + iψ(t), a ≤t ≤b , называется параметрическим уравнением кривой γ .
В дальнейшем под терминами «кривая», «путь», «контур» мы будем понимать такую кусочно-гладкую кривую γ , для которой X (t1 ) ≠ X (t2 )
при t1 ≠ t2 , где t ]a,b[, t2 ]a,b[.
Если начало и конец кривой γ совпадают, то есть X (a) = X (b) , то кривая γ называется замкнутой.

Примеры кривых:
1)z = cost, π ≤t ≤ 2π - отрезок [-1,1];
2)z =t + it, 0 ≤t ≤1 - отрезок с началом в точке α = 0 и с концом в точке β =1 + i ;
3) z = Reiθ +α, 0 ≤θ ≤ 2π - окружность с центром в точке α C и радиуса R > 0;
4) ломаная линия с конечным числом звеньев. |
|
|
|
|
||
Пусть z0 C . δ - окрестностью точки z0 |
|
называется множе- |
||||
ство точек z C , принадлежащих кругу ρδ (z0 ) ={z |
|
|
|
z − z0 |
|
<δ} радиуса |
|
|
|
||||
δ > 0 с центром в точке z0 . |
|
|
|
|
Пусть E C . Точка z0 E называется внутренней точкой мно-
жества E , если множество E содержит и некоторую δ - окрестность точки z0 , то есть δ > 0 (ρδ (z0 E) .
Множество E C называется открытым, если все его точки – внутренние для E .
Например, круг U R (a) ={z z − a < R}- открытое множество.
Открытое множество E называется областью, если оно связано, то есть любые две точки z1 E и z2 E можно соединить кривой
γ E .
Ясно, что круг U R (a) - область.
Точка z0 C |
называется граничной точкой множества E , |
если в любой ее δ |
- окрестности имеются как точки, принадлежащие E , |
так и не принадлежащие E . Множество всех граничных точек множества E называется границей множества E и обозначается ∂E .
Например, окружность z = R является границей круга U R (0) .
Область E вместе с границей ∂E называется замкнутой областью и обозначается E .
Например, круг U R (a) ={z z − a ≤ R}- замкнутая область.

В настоящем курсе ТФКП будем рассматривать только такие области, граница которых состоит из конечного числа замкнутых кривых, причем некоторые кривые могут вырождаться в отдельные точки.
Положительным направлением обхода границы области называется такое направление, при котором область все время остается слева.
На рис. 3 приведены примеры областей с указанным положительным направлением обхода границы.
(z)
Y
|
|
E2 |
E3 |
|
E1 |
|
|
|
|
|
|
0 |
Рис. 3 |
|
X |
Множество E1 доставляет пример односвязной области , множества E2 и E3 – примеры многосвязных областей: E2 – двусвязная область, E3 – четырехсвязная область (по количеству замкнутых кривых, составляющих границу области).
Область E называется ограниченной, если она является подмножеством некоторого круга конечного радиуса R : E U R (a) ; в против-
ном случае – область неограниченная.
Например, множества E1, E2 , E3 - ограниченные множества, а множество J ={z Imz ≥ 0}- верхняя полуплоскость – неограниченное.
Множество точек комплексной плоскости, удовлетворяющих условию z >δ , где δ > 0 - любое заданное число, называется δ - окрест-
ностью ρδ (∞) бесконечно удаленной точки. Бесконечно
удаленную точку комплексной плоскости обозначают символом ∞, а множество С вместе с точкой ∞ называется расширенной плос-
костью С. В расширенной плоскости С тоски z C и бесконечно удаленная точка ∞ связаны следующими равенствами:

z ± ∞ = ∞ ± z = ∞, z ∞ = ∞, |
z |
= 0, |
∞ |
= ∞, |
z |
= ∞. |
|
∞ |
z |
0 |
|||||
|
|
|
|
Отметим, что в плоскости С бесконечно-удаленная точка – единственна.
2. Определение функции комплексного переменного . Основные элементарные функции .
Понятие функции комплексного переменного вводится по аналогии с понятием функции вещественной переменной.
Пусть E C и K C - непустые множества. Всякое правило f , со-
поставляющее элементам множества E элементы множества K , называется функцией комплексного переменного ( комплексной функцией) , если для каждого z E существует единственный элемент w K .
Переменная z = x + iy называется независимой перемен-
ной или аргументом, а переменная w зависимой переменной или значением функции f в точке z и обозначается f (z) , то
есть w = f (z) .
Множество f1 = E |
называется областью определения |
||
функции f , множество |
f2 ={f (z) |
|
z E} областью значений |
|
функции f ; ясно, что f2 K . Как правило, под множествами E и K будут пониматься области.
Функцию f часто будем записывать в виде отображения f : E → K или, если ясно, какое множество является областью определения функции f , в виде w = f (z) .
Приведем примеры наиболее часто встречающихся комплексных функций (основные элементарные функции):
1)w =1;
2)w = arg z;
3)w = z ;
4)w = z;
5)w = az + b - линейная функция;

6)w = czaz ++db - дробно-линейная функция;
7)w = zn , (n N ) - степенная функция с натуральным показателем;
8)w = ez , (ez = ex (cos y +i sin y)) - показательная функция;
9)w = ln z, (ln z = ln z + i arg z) - логарифмическая функция;
10)тригонометрические функции:
а) sin z = |
|
eiz − e−iz |
б) cos z = |
|
|
eiz + e−iz |
; |
|
|
|||||||
|
|
|
; |
|
|
|
|
|
|
|
|
|
||||
|
2i |
|
|
|
|
2 |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||
в) tg z = sin z ; |
|
|
г) ctg z = |
|
cos z |
; |
|
|
|
|||||||
|
|
|
sin z |
|
|
|
||||||||||
|
cos z |
|
|
|
|
|
|
|
|
|
|
|||||
11) гиперболические функции: |
|
|
|
|
|
|
|
|
|
|
|
|||||
а) sh z = |
ez − e |
−z |
б) ch z = |
ez |
+ e−z |
|
|
|
||||||||
2 |
; |
|
|
|
2 |
; |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||
в) th z = sh z ; |
|
|
г) cth z = |
ch z |
. |
|
|
|
||||||||
|
|
|
|
|
|
|
||||||||||
|
ch z |
|
|
|
|
|
|
sh z |
|
|
|
|
||||
Областью определения функций 1) – 5), 7) - 8), 10 а-б), 11 а-б) явля- |
||||||||||||||||
ется множество С, |
для функции 6) |
|
|
|
|
|
z |
≠ − |
d |
|
; для функции 9) |
|||||
|
|
|
|
|||||||||||||
f1 z C |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
c |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
должно быть z ≠ 0 ; для функций 10 в-г), 11 в-г) областями определения будут соответственно множества (показать!):
tg |
1 |
= |
z |
|
z ≠ π |
(2k +1) ; |
ctg |
1 |
={z |
|
z ≠ kπ}; |
||||||
|
|
||||||||||||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
th |
1 |
= |
z |
|
|
|
z ≠ π |
(2k +1)i ; |
cth |
1 |
={z |
|
z ≠ kπi)}. |
||||
|
|
|
|||||||||||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поскольку z и f (z) - комплексные числа, то, выделяя действительную и мнимую части чисел z и f (z) , получим:
w = f (z) = f (x + iy) =u(x, y) + iv(x, y) ,
то есть f =u + iv .

Таким образом, задание функции f комплексного переменного равносильно заданию двух функций u и v двух переменных.
Например, для функции w = z2 имеем:
w = (x + iy)2 = (x2 − y2 ) + i2xy;
откуда u(x, y) = x2 − y2 , v(x, y) = 2xy.
Графиком комплексной функции w = f (z) является некоторая по-
верхность в четырехмерном пространстве, что наглядно нельзя представить. Однако для наглядного представления о поведении функции f берут
два экземпляра комплексной плоскости XOY и UOV (или кратко (z) и (w) ) и на плоскости (z) выделяют область f1 = E , а на плоскости (w) -
область f2 = D (рис. 4).
Y |
(z) |
V |
(w) |
|
|
||
|
E |
|
D |
|
|
|
F(z) |
|
z |
|
|
0 |
X |
0 |
U |
Рис. 4
При этом говорят, что функция f отображает множество E на множество D ; точку f (z) D называют образом точки z E , а саму точку z E называют прообразом точки f (z) ; множество D называют образом множества E и обозначают D = f (E) .
3. Однолистные функции . Многозначные функции

Если функция f : E → D отображает множество E на множество D
таким образом, что для каждого образа w D существует единственный прообраз z E , то функция
f −1 : D → E
называется обратной данной функции f .
По определению обратной функции имеем:
x E ( f −1 ( f (z)) = z)
Например, функция f (z) = ez в области E ={z 0 < Im z ≤ 2π} имеет обратную функцию f −1 (z) = ln z .
Функция f : E → D , имеющая обратную функцию, называется однолистной.
Ясно, что однолистная функция f : E → D в различных точках множества E принимает различные значения.
Данное выше определение функции f |
есть определение одно - |
||
значной функции. В ТФКП рассматриваются и такие правила |
f , для |
||
которых |
z f1 , что f (z) = w1, f (z) = w2 , |
..., f (z) = wn ,..., |
причем |
wk ≠ ws |
при k ≠ s . В этом случае правило f |
называется многознач- |
ной функцией.
Например, функция w = z - двузначная, функция w = n z - n-значная, функции w = Arg z, w = Ln z = ln z + Arg z - бесконечнозначные.
К бесконечнозначным будут относиться и так называемые об - ратно тригонометрические функции
Arcsin z = −iLn(iz + 1 − z2 ),
Arccos z = −iLn(z + 1 − z2 ),
Arctg z = −2i Ln11 +−iziz ,
которые формально можно получить, решая уравнения относительно w :

z = |
eiw − e−iw |
; z = |
eiw + e−iw |
; z = |
eiw − e−iw |
|
|
i(eiw + e−iw ). |
|||
2i |
2 |
Аналогичные формулы можно получить и для обратно гипер - болических функций w = Arcsh z, w = Arcch z, w = Arcth z .
Для выделения областей однозначности многозначных функций требуются специальные исследования, которые выходят за рамки нашего курса. В нашем курсе ТФКП рассматриваются только однозначные функции.
Заключение.
В лекции было рассмотрено основное понятиефункция комплексного переменного. Нужно обратить внимание на следующие факты: 1) функция комплексного переменного есть специальный случай векторной функции двух переменных; 2) графиком комплексной функции является поверхность в четырехмерном пространстве, который невозможно изобразить геометрически.
На следующей лекции будут введены понятия предела, непрерывности и производной комплексной функции и изучены их свойства.
Введение.
Понятие аналитической функции является центральным понятием теории функций комплексного переменного и тесно связано с понятием производной.
В этой лекции рассматриваются следующие вопросы.
1.Предел и непрерывность функции комплексного переменного.
2.Производная функции комплексного переменного.
3.Условия Коши-Римана. Гидродинамический смысл производной аналитической функции.
1.Предел и непрерывность функции комплексного переменного
ВТФКП целесообразно ввести сначала определение предела функции, а затем определить непрерывность функции.

Определение 1 . Пусть функция f определена в некоторой - окрестности точки α C , за исключением, быть может, самой точки α . Число A C называется пределом функции f при z стремящемся к α ,
A = lim f (z) |
(1) |
|
z→α |
|
|
если для любой ε -окрестности точки |
A существует такая δ -окрестность |
|
точки α , что для всех z ρδ (α) и |
z ≠α значения |
f (z) принадлежат |
ρε (A) .
Это определение включает в себя четыре случая:
|
1) A C, α C ; |
|
|
|
|
|
|
2) A C, α = ∞; |
|
||||||||||||||||||||||||||||||||||||
|
3) A = ∞, α C ; |
|
|
|
|
|
|
4) A = ∞, α = ∞. |
|
||||||||||||||||||||||||||||||||||||
Распишем определение 1 для каждого случая в отдельности: |
|
||||||||||||||||||||||||||||||||||||||||||||
1) A = lim f (z) ε > 0 δ > 0 z ρ |
(α)(0 < |
|
z −α |
|
|
|
<δ |
|
f (z) − A |
|
|
<ε); |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
z→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
(∞)( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<ε); |
|
||||||||||||
2) |
A = lim f (z) ε > 0 δ > 0 z ρ |
|
z |
|
>δ |
|
f (z) − A |
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
z→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
(α)(0 < |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
>ε); |
|||||||||||||||||
3) |
A = lim f (z) = ∞ ε > 0 δ > 0 z ρ |
|
z −α |
|
|
|
<δ |
|
f (z) |
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
z→α |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
(∞)( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
>ε). |
|
|||||||||||||||||
4) |
A = lim f (z) = ∞ ε > 0 δ > 0 z ρ |
|
z |
|
>δ |
|
f (z) |
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
z→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Пусть f =u + iv, α = a + ib, |
A = A1 + iA2 . Легко проверить, |
что |
||||||||||||||||||||||||||||||||||||||||||
формула (1) равносильна следующим двум формулам: |
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
A1 |
= limu(x, y), |
A2 = limv(x, y) |
(2) |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x→a |
|
|
|
|
|
|
|
|
|
|
|
x→a |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
y→b |
|
|
|
|
|
|
|
|
|
|
|
y→b |
|
||||||||||||||||||||||
|
В полярных координатах формула (1) выглядит следующим образом: |
||||||||||||||||||||||||||||||||||||||||||||
|
lim |
|
f (z) |
|
= |
|
A |
|
; lim arg f (z) = arg A, ( A ≠ 0) |
(3) |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
z→α |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z→α |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Замечание. Определение 1 требует, чтобы существовал один и тот же предел A независимо от пути, по которому z стремится к α и которых бесконечно много. Так, например, функция
f (z) = zz
при z →0 не имеет предела, |
ибо, |
если z стремится к нулю по оси |
|||||||||||
OX (x →0, y = 0) , то |
|
|
|
|
|
|
|
|
|
||||
lim |
|
|
|
= lim |
x |
|
|
||||||
z |
=1; |
||||||||||||
|
z |
|
|
||||||||||
z→0 |
|
|
|
x→0 x |
|
||||||||
если же z стремится к нулю по оси OX (x = 0, y →0) , то |
|||||||||||||
lim |
|
|
|
|
|
|
−iy |
|
|||||
z |
|
= lim |
= −1. |
||||||||||
|
|
|
|
|
iy |
||||||||
z→0 z |
|
|
|
|
y→0 |
|
Определение 2 . Функция f называется непрерывной в точке α , если она определена в этой точке и
lim f (z) = f (α)
z→α
Как обычно, функция f : E →C называется непрерывной на множестве E , если она непрерывна в каждой точке этого множества.
Из формул (2) следует: 1) функция f =u + iv непрерывна на множе-
стве E тогда и только тогда, когда функции u и v непрерывны на E как функции двух переменных; 2) все правила действий с пределами функций и с непрерывными функциями из теории действительных функций остаются справедливыми и для функции комплексного переменного.
2. Производная функции комплексного переменного
Пусть дана функция f : E →C и пусть точки z и z + z принадлежат множеству E .
Определение 1 . Если существует конечный предел |
′ |
|||
f (z) , |
||||
′ |
f (z + |
z) − f (z) |
|
|
f (z) = lim |
|
|
, |
(1) |
|
z |
|||
z→0 |
|
|
|
то он называется производной функции f в точке z , а функция f называется дифференцируемой в точке z .
Отметим, что из дифференцируемости функции f в точке z , так как, если f ′(z) C , то
lim |
f (z) = lim (f (z + z)− f (z))= 0 |
z→0 |
z→0 |