действительной частью функции w = f (z) и обозначается Re f (z), а функция v = v(x, y) называется мнимой частью функции w = f (z) и обозначается Im f (z).
Однозначную функцию w = f (z) комплексной переменной z геометрически можно интерпретировать следующим образом. Пусть D есть некоторое множество точек на комплексной плоскости Cz. Функция w = f (z), определенная на D, ставит каждой точке z D в соответствие комплексное число w = u + iv , которое изображается точкой на другой комплексной плоскости Cw , и тем самым
выполняет отображение множества точек |
z D на множество точек w E |
(рис. 17.1). |
|
|
|
|
|
Y |
|
|
V |
|
|
|
Cz |
D |
|
Cw |
E |
|
|
|
|
|
|
z |
|
|
w |
0 |
|
X |
0 |
|
U |
|
|
|
|
|
|
Рис. 17.1 |
|
|
|
Образ множества D при отображении f на плоскости Cw образует некоторое множество E = f (D). Многозначную функцию w = f (z) геометрически нельзя
истолковать как отображение одной плоской фигуры на другую. В этом случае функцию можно рассматривать как отображение на более сложных геометрических образах – римановых поверхностях. Многозначную функцию исследуют, например, выделяя ее отдельные ветви, одна из которых называется главным значением функции.
В комплексном анализе за некоторое множество точек обычно принимают область плоскости, определение которой приведем ниже.
Пусть D есть множество точек расширенной комплексной плоскости С. При любом фиксированном числе ε > 0 множество всех точек z C ,
удовлетворяющих неравенству z − z0 < ε, образует на С внутреннюю часть круга радиусом ε с центром в точке z0 . Это множество называют ε-окрестностью точки z0 и обозначают Uε (z0 ). Исключив из окрестности Uε (z0 ) точку z0 , получим
|
|
• |
|
|
|
|
|
|
|
|
|
|
|
проколотую окрестность U ε (z0 )=Uε (z0 ) \ z0 точки z0 . За окрестность бесконечно |
удаленной точки |
z = ∞ |
принимают |
множество точек |
|
z |
|
> ε. |
Точка |
z1 D |
|
|
называется внутренней точкой множества D, |
если |
существует |
ε-окрестность |
Uε (z1 ) этой точки, |
целиком содержащаяся в D. Точка |
z2 |
называется граничной |
точкой множества D, если в любой ее окрестности Uδ (z2 ) |
|
имеются точки, |
как |
принадлежащие, так и не принадлежащие множеству D (рис. 17.2). |
|
|
|
|
Y |
|
|
|
Совокупность граничных точек |
|
D |
множества D называется его границей |
δ |
|
z2 |
ε |
Г |
Г. Множество |
D с присоединенной к |
A |
|
z1 |
нему |
границей |
|
Г |
называется |
B |
|
|
|
|
|
замкнутым |
и |
|
обозначается |
|
, |
а |
|
|
|
|
D |
0 |
|
|
X множество |
D, |
состоящее только |
из |
|
|
внутренних |
|
точек, |
называется |
Рис. 17.2 |
|
|
|
открытым. |
Множество D называется |
|
|
|
связным, если две любые его точки А и В можно соединить непрерывной кривой (или ломаной), полностью расположенной в D (рис. 17.2).
Определение 17.2. Областью называется множество D точек плоскости, удовлетворяющее условиям:
1)D состоит только из внутренних точек;
2)любые две точки множества можно соединить ломаной с достаточно большим числом звеньев так, чтобы все точки этой линии принадлежали самому множеству.
Таким образом, область есть открытое, связное множество.
Область D с присоединенной к ней границей Г является замкнутой и
обозначается D . Область D называется n-связной, если ее граница состоит из n
связных, непересекающихся множеств. Например, круг z < R есть односвязная область, кольца 0 < z < R , r < z < R – двухсвязные области. Единственным
примером области без границы служит расширенная комплексная плоскость С. Введем понятия предела и непрерывности функции комплексной
переменной.
•
Пусть функция w = f (z) определена в проколотой окрестности U ε (z0 )
точки z0 . |
|
|
|
|
|
|
|
|
Определение 17.3. Число |
A = a + ib |
|
называется пределом функции |
f (z) в |
|
|
|
|
|
|
|
|
• |
точке z0 , если для любого ε > 0 |
существует δ > 0 |
такое, что для всех z U δ (z0 ) |
выполняется неравенство |
|
|
|
|
|
|
|
|
|
|
f (z) − A |
|
< ε. |
|
|
|
|
|
|
|
|
|
Тот факт, что А есть предел функции |
f (z) в точке z0 |
записывается |
в виде |
A = lim f (z) или f (z) → A, z → z0 . |
|
|
|
|
|
|
z→z0 |
|
|
|
|
|
|
|
|
При определении предела функции |
|
f (z) |
в точке |
z0 сама точка |
z0 из |
рассмотрения исключается. |
|
|
|
|
|
|
|
|
Определение 17.4. Функция f (z) , |
определенная в некоторой окрестности |
точки z0 , называется непрерывной в точке z0 , если существует
limz z f (z) = f (z0 )
→ 0
Функция f (z) непрерывна в точке z0 = x0 +iy0 тогда и только тогда, когда функции u и ν непрерывны в точке (x0 , y0 ) .
Функция f (z) называется непрерывной на множестве D, если она непрерывна в каждой точке этого множества.
На функцию комплексного переменного f (z) распространяются многие
определения, утверждения, связанные с понятием предела и непрерывности
функции действительного переменного f (x) . |
|
|
|
|
|
|
Рассмотрим кратко основные элементарные функции комплексного |
переменного. |
|
|
|
|
|
|
|
|
|
|
|
Степенная |
функция |
w = z n , |
n > 0 − целое, |
есть |
однозначная функция, |
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
определенная и непрерывная на всей расширенной комплексной плоскости C . |
|
Целая |
|
|
рациональная |
функция |
|
|
или |
|
многочлен |
w = a |
n |
zn + a |
n−1 |
zn−1 |
+ ... + a z + a |
, где коэффициенты |
a |
, a , ..., a |
n |
в общем случае |
|
|
|
1 |
0 |
|
|
0 |
|
1 |
|
комплексные числа, также однозначная функция, определенная и непрерывная
− |
|
|
|
|
|
при всех z C . |
|
|
|
|
|
Дробно-рациональная функция |
|
|
|
|
|
|
a zn |
+ a |
zn−1 |
+ ... + a z + a |
|
|
w = b zm |
+ b |
zm−1 |
+ ... + b z + b , |
|
n |
n−1 |
|
1 |
0 |
|
|
m |
m−1 |
1 |
0 |
|
где коэффициенты a0 , a1 , ...,an , b0 , b1 ,...,bm в общем случае комплексные числа,
−
однозначна, определена и непрерывна на всей плоскости C , за исключением тех точек , где знаменатель обращается в нуль.
Показательная функция w = ez комплексной переменной z = x + iy
определяется равенством
ez = ex+iy = ex eiy = ex (cos y + isin y).
Тогда, если w = u + iv , то |
u = ex cos y, v = ex sin y. Функция ez определена и |
непрерывна при всех |
− |
|
ez |
|
= ex , arg ez = y, периодическая с периодом 2πi, |
z C , |
|
|
действительно,
ez+2 πi = ex+( y+2π)i = ex (cos( y + 2π) + isin( y + 2π)) = ex (cos y + isin y) = ex+iy = ez .
Тригонометрические |
|
функции |
w = sin z = eiz − e−iz |
, |
w = cos z = eiz + e−iz |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2i |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
однозначны, определены и непрерывны во всех точках плоскости C , |
периодические с периодом 2π, sin z − нечетная, а cos z − четная функция. Может |
оказаться, что |
|
sin z |
|
>1 или |
|
cos z |
|
>1. Функции w = tg z |
и w = ctg z определяются |
|
|
|
|
соотношениями tg z = sin z , |
|
z ≠ |
(2k +1) π |
, ctg z = cos z , |
z ≠ k π, k Z . |
|
|
|
|
|
|
|
cos z |
2 |
|
|
sin z |
|
|
|
|
Гиперболические функции |
|
|
|
|
|
|
|
|
|
|
|
|
|
w = sh z = |
ez − e−z |
, |
|
w = ch z = |
ez + e−z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
2 |
|
|
|
связаны с тригонометрическими равенствами sh z = −isin iz, |
ch z = cos iz , откуда |
следует, что sh z = 0 при z = k πi, ch z = |
|
|
π |
|
|
k Z . |
0 при z = |
2 |
+ k π i, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
w = th z = |
sh z |
π |
|
|
ch z |
, |
z ≠ k π i . |
ch z |
, z ≠ |
+ k π i , w = cth z = |
sh z |
|
2 |
|
|
|
|
Логарифмическая функция |
w = Ln z |
определяется |
как обратная для |
показательной функция z = eiw . Полагая w = u + iw, z = z eiϕ , ϕ = arg z, получим
z = z eiϕ = eu+iv = eu eiv .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
При z ≠ 0 |
|
z |
|
= eu , отсюда u = ln |
|
z |
|
, где ln |
|
z |
|
− |
|
z |
|
действительное значение |
|
|
|
|
|
|
натурального логарифма от положительного числа |
|
|
. |
Поскольку функция eiϕ |
|
|
периодична, имеем |
|
|
|
|
|
|
|
|
|
eiν = eiϕ = ei (ϕ+2πk ) ; ν = ϕ+ 2k π = arg z + 2k π, k Z . |
Тогда |
|
|
|
|
|
|
|
|
|
w = Ln z = u + iv = ln |
|
z |
|
+ i(arg z + 2k π), |
k Z |
|
|
|
|
|
|
При k = 0 получим главное значение логарифма
ln z = ln z + i arg z .
Таким образом,
w = Ln z = ln z + 2k πi, k Z
есть многозначная функция, определенная для всех z ≠ 0 . Если z действительное положительное число, arg z = 0 и главное значение логарифма совпадает с логарифмической функцией ln x действительного переменного.
С помощью логарифмической функции можно определить степенную функцию w = zα с любым показателем α ( α − комплексное число)
w = zα = eα Ln z = eα( Ln z +2kπi ) ,
т. е. степень комплексного числа, вообще говоря, является многозначной функцией, значение zα = eαln z при k = 0 называется главным значением степени.
Показательная функция w = a z , a ≠ 0 − комплексное число, определяется через ez и Ln a следующим образом
w = az = ez Ln a .
Обратные тригонометрические и гиперболические функции также выражаются через логарифмическую функцию и являются многозначными
w = Arcsin z = −i Ln (i z ±
1 − z2 ),
w = Arccos z = −i Ln (z ±
z2 −1),
|
|
|
|
|
|
|
|
|
|
|
|
|
|
w = Arctg z = |
1 |
Ln |
1 |
+ iz |
, |
|
|
2i |
|
|
− iz |
|
|
|
1 |
|
|
|
w = Arcctg z = − |
1 |
Ln |
iz +1 |
= |
1 |
|
Ln |
z + i |
. |
2i |
|
2i |
|
|
|
|
iz −1 |
|
|
z − i |
w = Arcsh z = Ln(z +
z2 +1),
w = Arcch z = Ln(z +
z2 −1),
w = Arcth z = 12 Ln11 +− zz ,
w = Arccth z = 12 Ln zz +−11 .
Приведем пример отображения области с помощью однозначной функции комплексного переменного.
Пример 1 7 . 1 . Найти образ f (D) области D , где D − четверть круга
z ≤1,Re z ≥ 0,Im z ≥ 0
при отображении w = z2 .
Решение. Представим z и w в показательной форме z = reiϕ , r = z ,
ϕ = arg z , причем 0 ≤ ϕ≤ |
π |
, тогда |
|
2 |
|
Установим вначале во что переходит Отрезок действительной оси 0 ≤ r ≤1,
w = z2 |
= ρeiθ , ρ = |
|
w |
|
= r 2 , |
θ = arg w = 2ϕ. |
|
|
граница области D при |
отображении. |
ϕ = 0 |
преобразуется в отрезок 0 ≤ ρ ≤1, |
θ = 0, четверть окружности r =1, 0 < ϕ< |
π переходит в полуокружность ρ =1, |
|
|
|
|
|
|
|
2 |
|
|
|
0 < θ< π, а отрезок мнимой оси 0 ≤ r ≤1, |
ϕ= |
π |
− в отрезок 0 ≤ ρ ≤1, θ= π на |
|
|
|
|
|
|
|
|
2 |
|
|
действительной оси. Каждая внутренняя точка |
z D переходит во внутреннюю |
точку w полукруга |
|
w |
|
<1, 0 < arg w < π. |
|
|
|
|
|
|
|
|
|
|
Таким образом, |
функция |
w = z2 отображает четверть круга на полукруг |
(рис. 17.3). |
|
|
|
|
|
|
Y |
Cz |
|
|
|
V |
Cw |
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
1 |
X |
-1 |
0 |
1 |
U |
|
|
|
|
|
|
Рис. 17.3 |
|
|
|
|
17.2. Дифференцирование функций комплексного переменного. Аналитические функции. Условия Коши-Римана
Пусть f (z) есть функция комплексного переменного, определенная и однозначная на некотором множестве D и z0 − предельная точка этого
множества, т. е. в каждой окрестности этой точки содержится бесконечное множество точек, принадлежащих D .
Определение 17.5. Производной функции f (z) в точке z0 называется
число, которое обозначают f ′(z0 ), равное пределу отношения |
f (z)− f (z0 ) |
при |
|
|
z − z0 |
z → z0 , если этот предел существует, т. е.
f ′(z0 )= lim |
f (z)− f (z0 ) |
. |
|
z D 0 |
z − z0 |
z→z |
|
|
Определение 17.6. Функция w = f (z), имеющая в точке z0 производную,
называется дифференцируемой или моногенной в этой точке. Функция называется дифференцируемой в области, если она дифференцируема в каждой точке этой области.
Дифференцируемость функции w = f (z) |
|
в точке |
z0 означает, |
что ее |
приращение в точке z0 представляется в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (z0 + ∆z)− f (z0 )= ∆f (z0 )= A∆z + o( |
|
∆z |
|
), |
(17.1) |
|
|
где А − некоторое комплексное число, ∆z = z − z |
0 |
, |
lim |
o( |
|
∆z |
|
) |
= 0 . |
|
|
|
|
|
|
|
∆z |
|
|
|
∆ z→0 |
|
|
Если выполнено соотношение (17.1), то разделив его на ∆z ≠ 0 и перейдя к
пределу при ∆z → 0 , получим f ′(z0 )= A . Равенство (17.1) является необходимым и достаточным условием дифференцируемости функции w = f (z) в точке z0 . Так как A = f ′(z0 ), то
f (z0 + ∆z)− f (z0 )= f ′(z0 )∆z + o(∆z ).
Отсюда, в частности следует, что функция f (z), дифференцируемая в точке z0 , непрерывна в этой точке.
Из определения производной и свойств пределов функций комплексного переменного вытекает, что основные правила, известные из дифференциального исчисления функций действительных переменных, распространяются и на производные по множеству от функций комплексных переменных.
В определении производной функции f (z) в точке z0 предполагается, что
z → z0 |
различными |
путями, при |
этом предел |
отношения |
f (z)− f (z0 ) |
для |
|
|
|
|
|
|
|
|
|
z − z0 |
дифференцируемой функции f (z) должен быть один и тот же. |
|
|
Теорема 17.1. |
Для |
того, |
чтобы |
функция |
f (z)= u(x, y)+ i v(x, y), |
определенная в некоторой |
области D , |
была |
дифференцируема в точке |
z0 = x0 |
+ i y0 этой области как функция комплексного переменного, необходимо и |
достаточно, чтобы функции u(x, y) и v(x, y) были непрерывно дифференцируемы в той же точке (как функции двух действительных переменных) и выполнялись условия
|
|
|
|
|
|
∂u = |
∂v |
, |
∂u = − |
∂v . |
|
(17.2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂ x |
∂ y |
∂ y |
∂ x |
|
|
|
При выполнении условий теоремы производная |
f ′(z) |
может быть |
|
представлена в одной из форм |
|
|
|
|
|
|
|
|
|
|
|
|
′ |
|
∂u |
∂v |
|
∂v |
|
∂u |
∂u |
∂u ∂v |
∂v |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
(z)= ∂ x |
+ i ∂ x |
= ∂ y − i ∂ y |
= ∂ x − i ∂ y = ∂ y |
+ i ∂ x . |
(17.3) |
|
|
Условия (17.2) имеют основное значение в теории функций комплексного переменного и в приложениях к задачам механики и физики. Они называются условиями Коши-Римана или условиями Д’Аламбера-Эйлера. Если представить z = reiϕ , то уравнения (17.2) примут вид