bilutapa-kurstfkp
.pdfЗаметим сначала, что если для функции f (z) |
имеем f (0) = 0, то ее |
||||||||||||||||||||
производную f 0(0) можно вычислять как lim |
f (z) |
, поэтому для функ- |
|||||||||||||||||||
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z→0 |
|
z |
|
|
||
ции (1.2) в точке z = 0, полагая z = x, а затем z = iy, получим: |
|||||||||||||||||||||
|
f (x) |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
||||
|
|
1 |
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|||||
lim |
|
|
x4 = u |
|
|
|
|
|
|
||||||||||||
|
|
|
= lim |
|
e |
|
|
+ iv |
= 0, |
||||||||||||
|
|
|
|
|
x |
||||||||||||||||
x→0 |
x |
x→0 x |
|
|
|
|
|
|
|
|
|
|
x |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
f (iy) |
|
|
|
|
|
|
− |
1 |
|
|
|
|
|
|
|
|
||||
lim |
= lim |
1 |
|
e |
y4 |
= v |
|
|
iu |
|
= 0, |
||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||
iy |
|
|
|
|
|
|
|||||||||||||||
y→0 |
y→0 iy |
|
|
|
|
|
|
y − |
|
y |
|
||||||||||
т. е. ux = uy = vx = vy = 0 в точке |
z = 0, |
и условия (1.1) выполнены, но |
f (z) не моногенна, даже не непрерывна в точке z = 0, так как f [(1+i)x] =
1
= e 4x4 →∞ при x →0.
Покажем, что при дополнительном требовании д и ф ф е р е н ц и р у е- м о с т и функций u(x, y), v(x, y) в точке z выполнение условий Коши – Римана является и д о с т а т о ч н ы м для моногенности функции f (z) = = u + iv в точке z.
Действительно, в силу дифференцируемости функций u(x, y), v(x, y)
в точке z имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
u = |
∂u |
x + |
∂u |
y + o(| |
z|), |
v = |
∂v |
|
|
|
x + |
∂v |
y + o(| z|), |
(1.3) |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
∂x |
∂y |
∂x |
|
|
|
∂y |
||||||||||||||||||||||||||||||||
где | z|= q |
|
|
|
|
|
|
|
|
|
|
. Введя обозначения |
|
|
|||||||||||||||||||||||||
(Δx)2 + (Δy)2 |
∂y |
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
∂z = |
2 |
∂x − i ∂y , |
|
∂z = |
2 |
|
∂x + i |
(1.4) |
||||||||||||||||||||||||
|
|
|
|
|
|
∂ |
1 |
|
|
|
∂ |
|
∂ |
|
∂ |
1 |
|
|
∂ |
∂ |
|
|||||||||||||||||
и учитывая, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
(Δz + z), |
|
y = |
|
1 |
|
(Δz − z), |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
x = |
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
2 |
|
2i |
|
|||||||||||||||||||||||||||
равенства (1.3) можно записать в виде |
|
+ i ∂y |
|
|
||||||||||||||||||||||||||||||||||
f = |
|
u + i v = |
∂x + i |
∂x |
x + ∂y |
|
y + o(Δz) = |
(1.5) |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂u |
|
∂v |
|
|
|
|
|
∂u |
|
|
|
|
∂v |
|
|
|
|||||||
= |
∂f |
|
z + |
∂f |
|
|
|
|
z + o(Δz), |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
∂z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
∂z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
32
где |
∂f |
|
и |
∂f |
|
выражаются формулами |
|
|
|
|
|
|
|
|
|||||||||||
∂z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
∂z |
|
|
− i ∂y (u + iv) = |
2 h |
|
+ ∂y |
+ i ∂x − |
∂y i, |
|
||||||||||||||
|
|
∂z |
= 2 |
|
∂x |
∂x |
(1.6) |
||||||||||||||||||
|
|
∂f |
|
|
1 |
|
|
|
∂ |
|
∂ |
|
1 |
|
∂u |
|
∂v |
|
∂v |
|
∂u |
|
|
||
|
|
∂z |
= 2 |
|
∂x |
+ i ∂y (u + iv) = |
2 h |
∂x |
− ∂y |
+ i ∂x + |
∂y i |
|
|||||||||||||
|
|
∂f |
|
1 |
|
|
|
∂ |
|
∂ |
1 |
|
∂u |
|
∂v |
|
∂v |
∂u |
|
и называются ф о р м а л ь н ы м и п р о и з в о д н ы м и функции f (z) по z и z соответственно.
Из (1.6) видно, что условия Коши – Римана в комплексной записи при-
нимают вид |
∂f |
= 0, поэтому из (1.5) получим существование предела |
|||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||
|
∂z |
|
|
f |
|
|
|
∂f |
|
|
o(Δz) |
|
|
∂f |
|
|
|
|
|
|
|||||||
|
|
lim |
|
= |
+ |
lim |
= |
|
= f 0(z) , |
|
|||||||||||||||||
|
|
|
z |
|
|
|
|
∂z |
|
||||||||||||||||||
|
|
z→0 |
|
|
|
∂z |
z→0 |
z |
|
|
|
|
|
|
|
|
|||||||||||
что и требовалось доказать. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Из равенства |
lim |
|
f |
|
= f 0 |
(z) следует, |
что |
|
f |
= f 0(z) + η, |
где |
||||||||||||||||
|
z |
|
|
||||||||||||||||||||||||
|
|
|
|
|
z→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
|||||||
lim η = 0, поэтому для приращения |
f |
|
функции w = f (z) в точке |
||||||||||||||||||||||||
z→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
z имеем |
|
|
|
|
w = |
|
f = f 0(z)Δz + η |
|
z. |
|
|
|
|
|
|||||||||||||
Выражение f 0(z)Δz г л а в н а я |
л и н е й н а я (относительно |
z) |
|||||||||||||||||||||||||
ч а с т ь п р и р а щ е н и я |
|
f |
называется |
д и ф ф е р е н ц и а л о м |
|||||||||||||||||||||||
ф у н к ц и и f (z) в точке z |
и обозначается через dw = d f (z) = f 0(z)Δz. |
||||||||||||||||||||||||||
В частности, если f (z) = z, то d f = dz = |
z, поэтому можно написать |
||||||||||||||||||||||||||
|
|
|
|
d f (z) = f 0(z) dz |
или |
f 0(z) = |
d f (z) |
. |
|
||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dz |
|
Заметим, что все правила дифференцирования действительных функций действительного переменного переносятся на функции ком-
плексного переменного. |
|
|
|
Функция f (z) |
называется а н а л и т и ч е с к о й в о б л а с т и |
D, если |
|
она м о н о г е н н а |
в к а ж д о й т о ч к е z D. |
|
|
Если мы будем говорить, что функция f (z) |
а н а л и т и ч н а в т о ч к е |
||
z, то под этим будем подразумевать, что она |
а н а л и т и ч н а |
в н е к о- |
|
т о р о й о к р е с т н о с т и этой точки. |
|
|
33
1.2. Аналитичность суммы степенного ряда
Заметим сначала, что если R > 0 радиус сходимости ряда
|
∞ |
|
|
|
|
S(z) = X ck zk , |
|
(1.7) |
|||
то радиус сходимости ряда |
k = 0 |
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
X |
|
zk−1 |
|
(1.8) |
S0(z) = |
kc |
k |
, |
k =1
полученного из предыдущего почленным дифференцированием, тоже ра-
вен R. Это следует из того, что S0(0) = c1 , S0(z
|
|
k |
|
|
|
| |
|
k |
|
|
|
|
|
lim |
k |
c |
|
= lim |
k |
|
lim |
||||
k→∞ q |
| |
|
k |
k → ∞ q |
|
k→∞ |
и из формулы Коши – Адамара.
Пусть теперь z произвольная точка круга | z +Δz|< R. Очевидно, что
) = z1 |
∞ kck zk при z 6= 0, |
||
|
k =1 |
||
|
|
P |
|
|
|
|
|
k |
|
| , |
|
q| ck |
| z |< R и z такое, что
|
|
( |
+Δ |
z |
− |
S(z) |
− S0(z) |
≤ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
S z |
|
z) |
|
+ z( +Δ ) + . . . + z |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
P |
|
|
|
|
|
k−1 |
|
|
|
|
k−2 |
|
k−1 |
|
|
∞ |
|
|
|
|
|
|
||||
|
N |
|
|
|
|
|
|
z |
|
|
− |
|
k−1 |
|
|
|
|
|
|
|||||||||
|
|
|
c |
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
≤ k=1 |
k |
|
(z +Δz) +z(z +Δz) +. . .+z |
|
|
|
|
|
|
|
|
|
|
|
(1.9) |
|||||||||||||
+ |
k=N +1k |
|
|
|
|
|
+ k=N +1 k |
|
|
|
||||||||||||||||||
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
||
|
|
|
∞ |
|
|
|
|
|
k−1 |
|
|
|
k−2 |
k−1 |
|
|
|
|
|
|
|
k −1 |
|
|
||||
|
|
|
|
c |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
kc |
z |
|
|
, |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
где N некоторое натуральное число. Возьмем число r, |
0 < r < R, |
|||||||||||||||||||||||||||
такое, что | z |< r и | z +Δz|< r. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
Из абсолютной сходимости ряда (1.8) при | z | < R следует, что для |
||||||||||||||||||||||||||
любого числа |
ε > 0 |
существует такое натуральное число |
N = N (r, ε), |
|||||||||||||||||||||||||
что |
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
X |
k | ck | rk−1 < |
|
ε |
|
|
|
|
|
|
|
|
|
(1.10) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
k =N +1 |
3 |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
При данном N , учитывая неравенство (1.10) и выбранное r, получим,
что второе и третье слагаемые правой части (1.9) меньше |
ε |
, а в силу |
|
||
непрерывности степенных функций zm, m N, число z |
3можно вы- |
брать |
ε |
|
|
настолько близким к нулю, чтобы и первое слагаемое было меньше |
, |
||
3 |
|||
поэтому в итоге получим |
|
||
|
|
34
|
|
|
|
( |
+Δ |
z− |
( |
z |
) − S0(z) |
< ε. |
|
|
|
|
||||
|
|
|
|
S |
z |
z) |
S |
|
|
|
|
|
|
|
|
|
|
|
Тем самым |
доказана аналитичность S |
|
z |
) |
при |
| |
z |
| |
< R и справед- |
|||||||||
|
|
0 |
(z) = S0(z), |
|
|
|
|
( |
|
|
|
|
||||||
ливость равенства |
S |
|
т. е. степенной ряд можно почленно |
дифференцировать в его круге сходимости, причем сумма почленно продифференцированного ряда равна производной суммы исходного ряда.
Точно так же можно доказать, что сумма S0(z) ряда |
∞ |
|
zk−1 |
||||
kc |
k |
||||||
|
|
|
|
|
k =1 |
|
|
является аналитической в круге |
|
z |
|
< R функцией, причем |
|
|
|
| |
| |
P |
|
|
|||
|
|
|
|
|
|
∞
X
S00(z) = k(k −1) ck zk −2,
k=2
ивообще, сумма степенного ряда (1.7) имеет в круге | z |< R производ-
ную любого порядка, для которой справедливо равенство
∞ |
|
|
|
|
|
X |
k(k −1) . . . (k −n+1) ck zk− n, n N, |
||||
S(n)(z) = |
|||||
k = n |
|
|
|
|
|
из которого при z = 0 получаем формулы |
|||||
cn |
= |
S(n)(0) |
, n = 1, 2, . . . |
||
n! |
|
||||
|
|
|
1.3. Конформное отображение
Пусть w = f (z) = u(x, y) + iv(x, y) аналитическая в области D
функция, причем для некоторой точки z0 D имеем |
|
|
||||||||||
Поскольку в силу (1.1) |
|
|
f 0(z0 ) 6= 0 . |
|
|
|
(1.11) |
|||||
|
|
|
|
= ux + vx = | f (z) | , |
||||||||
|
D(x, y) = |
vx |
vy |
|||||||||
|
D(u, v) |
|
ux |
uy |
|
2 |
2 |
0 |
2 |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
то условие (1.11) |
равносильно тому, что |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
35
D(x, y) z=z0 6= 0 , |
|
D(u, v) |
|
и по теореме о неявных функциях система уравнений u = u(x, y), v = |
|
= v(x, y) в некоторой окрестности точки w0 = f (z0 ) определяет одно- |
значные непрерывные функции x = x(u, v), y = y(u, v) со значениями в окрестности точки z0 . Нетрудно показать, что при непрерывном отоб-
ражении открытого множества прообраз любого открытого множества открыт и связность множества сохраняется, поэтому достаточно малая окрестность точки z0 в з а и м н о о д н о з н а ч н о отображается функцией w = f (z) на некоторую область, содержащую точку w0 . Обратная функция z = f −1(w) будет непрерывной в некоторой окрестности точки w0 и дифференцируемой в самой точке w0 , причем
|
f |
−1 0 |
(w |
|
) = lim |
z |
= |
lim |
1 |
|
= |
1 |
|
. |
|
|
|
0 |
|
|
w |
|
f 0(z0 ) |
||||||||
|
|
|
|
w→0 |
w |
|
z→0 |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
Если |
f 0(z) 6= 0 |
в каждой точке области |
|
D, |
то будем говорить, что |
||||||||||
функция |
f (z) л о к а л ь н о о д н о л и с т н а |
|
в D. Заметим, что из ло- |
кальной однолистности не следует однолистность, что показывает при-
мер функции w = z2 |
|
5π |
|
в области 0 < |z|< 1, 0 < arg z < |
|
. |
|
4 |
|||
Выясним теперь |
г е о м е т р и ч е с к и й с м ы с л |
м о д у л я и а р г у- |
м е н т а п р о и з в о д н о й аналитической функции. Пусть в области D задана аналитическая функция w = f (z), удовлетворяющая условию (1.11), и пусть γ проходящая через точку z0 гладкая кривая Жор-
дана с уравнением z = z(t) = x(t) + iy(t), α ≤ t ≤ β. Если z0 = z(t0 ), t0
(α, β), то |
z0(t0 ) 6= 0. |
(1.12) |
Функция w = f (z) отображает кривую γ на некоторую кривую = f (γ),
проходящую через точку w0 = f (z0 ). Уравнение кривой |
имеет вид |
w = w(t) = f [ z(t) ] = u(t) + iv(t), причем в силу (1.11) и (1.12) имеем: |
|
w0(t0 ) = f 0(z0 )z0(t0 ) 6= 0. |
(1.13) |
Поскольку |
|
q
dz = z0(t)dt = [ x0(t) + iy0(t) ] dt, ds = [x0(t)] 2 + [y0(t)] 2 dt = | z0(t) | dt,
q
dw = w0(t) dt = [ u0(t) + iv0(t) ] dt, dσ = [u0(t)] 2 + [v0(t)] 2dt = | w0(t) | dt,
36
где ds и dσ элементы длины дуги кривых γ и в точках z = z(t) и w = w(t) соответственно, а в силу (1.13) имеем
|
dz |
t=t0 |
= z0(t0 ) = f 0 |
(z0 ), |
|||||
|
dw |
|
w0 |
(t ) |
|
||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
то мы получаем равенство |
|
|
|
dσ |
|
||||
|
|
| f 0 |
(z0 ) | |
= |
0 |
, |
|
||
|
|
ds |
|
||||||
|
|
|
|
|
|
0 |
|
|
где ds0 и dσ0 элементы длины дуги кривых γ и в точках z0 = z(t0 )
и w0 = w(t0 ) = f (z0 ) соответственно.
Таким образом, м о д у л ь отличной от нуля п р о и з в о д н о й аналитической функции f (z) р а в е н к о э ф ф и ц и е н т у и с к а ж е н и я элемента длины дуги в точке z0 при отображении с помощью функции w = f (z) и не зависит от направления дуги в этой точке, поэтому мы
будем говорить, что при указанном отображении в точке z0 |
имеет место |
|
п о с т о я н с т в о и с к а ж е н и я . |
|
|
В силу (1.13) можно написать также, что (с точностью до 2kπ) |
||
arg f 0(z0 ) = arg w0(t0 ) − arg z0(t0 ), |
(1.14) |
|
и покольку arg z0(t ) и |
arg w0(t ) дают углы наклона касательных к |
|
0 |
0 |
|
кривым γ и в точках z0 и w0 соответственно (см. Рис. 5), то
z |
γ |
|
|
n r arg z0(t0 ) z0
Рис. 5
n |
|
||||||
w |
|
||||||
|
|
|
|||||
|
|
|
arg f 0(z ) |
||||
|
|||||||
|
|||||||
|
|
r |
0 |
||||
w0 |
|
|
@ |
||||
|
@ arg w0(t0 ) |
||||||
|
|
|
|
||||
|
|
|
|
а р г у м е н т п р о и з в о д н о й |
аналитической функции f (z) р а в е н |
у г л у п о в о р о т а кривой γ |
в точке z0 при отображении с помощью |
функции w = f (z). |
|
37
Пусть теперь γ1 |
отличная от γ гладкая кривая Жордана, прохо- |
дящая через точку |
z0 , а 1 = f (γ1 ) ее образ. Очевидно, что кривая |
γ1 в точке z0 поворачивается при отображении w = f (z) на тот же угол |
(равный arg f 0(z0 )), что и кривая γ, поэтому угол между кривыми γ и γ1 в точке z0 равен углу между их образами и 1 в точке w0 = f (z0 ).
Другими словами, в каждой точке z D, в которой f 0(z) 6= 0, при отображении с помощью функции w = f (z) имеет место к о н с е р в а т и з м
у г л о в.
К о н ф о р м н ы м о т о б р а ж е н и е м области D называется тополо-
гическое, т. е. взаимно однозначное и взаимно непрерывное отображение этой области, при котором в каждой точке z D имеет место консерва-
тизм углов и постоянство искажения.
Из геометрического смысла модуля и аргумента производной непосредственно следует справедливость утверждения: если функция w = = f (z) осуществляет отображение, обладающее в каждой точке z области D консерватизмом углов и постоянством искажения, то она аналитична в D, причем f 0(z) 6= 0.
В силу последнего утверждения конформное отображение осу-
ществляется однолистной аналитической функцией w = f (z) с производной f 0(z) 6= 0.
Позже будет доказано, что у однолистной аналитической в области D функции f (z) производная f 0(z) 6= 0 всюду в D. Тогда обратная
функция z = f −1(w) обладает на множестве f (D) отличной от нуля про-
изводной, а следовательно, является и непрерывной функцией. Отсюда, ввиду сказанного при обсуждении вопроса об обращении функции комплексного переменного, следует утверждение: однолистная аналитическая функция w = f (z) конформно отображает область своего задания
D на некоторую область D1 плоскости w, причем обратная функция f −1(w) однолистна и аналитична в D1.
Рассмотрим теперь отображение с помощью функции w = f (z), где f (z) осуществляет конформное отображение области D. Очевидно, что при этом отображении в каждой точке z D имеет место постоян-
ство искажения, а углы сохраняются по абсолютной величине, но меняют знак. Такое отображение называется к о н ф о р м н ы м в т о р о г о р о д а или а н т и к о н ф о р м н ы м, а осуществляющая его функцияа н т и а н а л и т и ч е с к о й. В терминах формальных производных это означает, что wz = 0 в области D.
38
Главная линейная часть приращения аналитической в области D
функции w = f (z) |
|
ω − w0 = f 0(z0 )(z − z0 ) |
(1.15) |
обладает тем свойством, что при f 0(z0 ) 6= 0 она переводит окружность
| z−z0 |= r в окружность | ω − w0 |= ρ = | f 0(z0 ) | r с сохранением направ-
ления обхода. Это следует из того, что в силу (1.15)
|ω − w0 | = | f 0(z0 ) |·| z − z0 |, arg (ω − w0 ) = arg f 0(z0 ) + arg (z − z0 ).
Обратно, если частные производные ux , uy , vx , vy непрерывны и
главная линейная часть приращения функции f (z) |
|
|
|
|||||||||||||
ω − w0 = fz0 (z − z0 ) + f |
|
|
0 |
(z − z0 ), |
|
(1.16) |
||||||||||
z |
|
|||||||||||||||
где |
= ∂z |
z=z0 , fz0 |
= ∂z z=z0 , |
|
|
|||||||||||
fz0 |
|
|
||||||||||||||
|
|
|
∂f |
|
|
|
|
|
∂f |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|||||||||
|
|
центром в каждой точке z |
|
|
D в окружность |
|||||||||||
переводит окружность с |
|
|
|
|
|
|
|
|
|
|
0 |
|
с центром в точке w0 = f (z0 ), то функция f (z) аналитична либо антианалитична в D.
В самом деле, в силу (1.16) имеем |
|
|
|
|
|
|
|
|
|
|
|||||||||||
| ω − w0 |2 = |fz0 |2 + |f |
|
|
|2 |z − z0 |2 + 2<e fz0 |
|
|
|
(z − z0 )2 . |
(1.17) |
|||||||||||||
|
0 |
f |
|
0 |
|||||||||||||||||
z |
z |
||||||||||||||||||||
Так как по условию окружность |
| z −z0 | = r |
переходит в окружность |
|||||||||||||||||||
| ω −w0 | = ρ, то в равенстве (1.17) мы должны иметь fz0 |
f |
|
0 |
|
= 0; при |
||||||||||||||||
z |
|
||||||||||||||||||||
этом либо f |
|
0 |
= 0, fz0 6= 0, |
либо fz0 = 0, f |
|
0 |
6= 0, |
|
ибо одновременное |
||||||||||||
z |
z |
|
|||||||||||||||||||
выполнение равенств fz0 = 0, f |
|
0 |
= 0 означает, что окружность | z−z0 |= |
||||||||||||||||||
z |
= r переводится главной линейной частью приращения функции f (z) в
точку w = w0 .
Пусть в некоторой точке z0 D имеем первый случай: fz0 = 0, fz0 6= 0. Докажем, что тогда функция f (z) аналитична в области D.
Действительно, пусть E = {z D : fz = 0} = {z D : fz 6= 0}, E1 = = {z D : fz = 0} = {z D : fz 6= 0}. Ясно, что E E1 = D, E ∩E1 = .
39
Далее, в силу непрерывности частных производных ux , uy , vx , vy формальные производные fz, fz тоже непрерывны в области D. Нам надо доказать, что E = D. Поскольку E 6= , то для этого достаточно показать, что ∂E ∩D = . Предположим, от противного, что ∂E ∩D 6= и z ∂E ∩D. Тогда, если z E, т. е. fz = 0, то по определению граничной точки z является предельной точкой множества E1, а в силу непрерывности fz отсюда следует, что и fz = 0, что невозможно; если же z E1, т. е. fz = 0, то z будет предельной точкой множества E, а значит, и fz = 0, что тоже невозможно. Таким образом, в рассмотренном случае f (z) будет аналитической в области D функцией.
Во втором случае, когда E1 ∩D 6= , таким же образом доказывается антианалитичность функции f (z) в области D.
1.4.Обращение некоторых элементарных функций. Понятия римановой поверхности и точки ветвления
|
|
Когда речь идет об обращении аналитической функции, следует вы- |
||||||||||||
яснить, в каких областях она однолистна. |
|
|
|
|
|
|||||||||
|
|
О б л а с т ь ю |
|
о д н о л и с т н о с т и аналитической в области D функ- |
||||||||||
ции f (z) называется любая |
м а к с и м а л ь н а я п о д о б л а с т ь |
|
D, |
|||||||||||
в к о т о р о й f (z) |
о д н о л и с т н а, т.е. такая подобласть |
, что не суще- |
||||||||||||
ствует другой подобласти |
1 |
, в которой эта функция однолистна. |
||||||||||||
|
|
Для того чтобы найти область однолистности с т е п е н н о й функции |
||||||||||||
|
|
|
|
|
|
|
|
|
w = zn, |
|
|
(1.18) |
||
где |
n натуральное число, n > 1, рассмотрим значения z1 = |z1 |eiϕ1 |
|||||||||||||
и z2 = |z1 |eiϕ2 , |
ϕ2 6= ϕ1 + 2mπ, m Z, переменного |
z |
(поскольку при |
|||||||||||
|z2 | 6= |z1 | |
получим |z1 |n 6= |z2 |n и следовательно, |
z1n 6= z2n). Так как |
||||||||||||
для разности соответствующих значений w1 и w2 |
имеем w1 − w2 = |
|||||||||||||
|
2 |
= |
1 + |
|
( |
|
|
|
при ϕ2 6= ϕ1 + 2mπ только тогда, когда |
|||||
= |z1 | |
einϕ1 − einϕ2 |
, то w1 = w2 |
||||||||||||
ϕ |
|
ϕ |
2kπ |
|
k = mn). Следовательно, всякий угол раствора |
|
2π |
с |
||||||
|
n |
|
|
|
||||||||||
|
|
|
|
|
|
6 |
|
|
|
|
|
n |
вершиной в точке z = 0 будет областью однолистности функции (1.18). Разделим комплексную плоскость z на n областей
Dk : |
2kπ |
< arg z < |
2(k +1)π |
, k = 0, 1, . . . , n −1. |
|
|
|||
n |
n |
40
Каждый луч arg z = c |
функция (1.18) переводит в луч arg w = nc, |
|
а значит, область |
Dk в область , представляющую собой плос- |
|
кость w без луча |
w ≥ 0 |
или, как еще принято говорить, плоскость |
w с разрезом вдоль луча |
w ≥ 0. При этом граничные лучи arg z = |
= |
2kπ |
и arg z = |
2(k +1)π |
области D |
k |
переходят соответственно в верх- |
|
n |
|
n |
|
. |
|
ний и нижний края разреза области |
|
Так как w0 = nzn−1 6= 0 при z Dk , то каждая из областей Dk , как
область однолистности функции (1.18), конформно отображается ею на
область |
. Обратную функцию, определенную в , значения которой |
|||||
|
|
|
|
1 |
|
|
лежат в |
Dk , обозначим через |
zk = w |
|
k. Очевидно, что |
||
n |
||||||
|
1 |
arg w+2kπ |
|
|
|
|
|
zk = |w| n ei |
|
|
, 0 < arg w < 2π. |
||
|
|
n |
Рассматривать каждую из функций zk как отдельную функцию неце- |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π |
, также яв- |
лесообразно, потому что, например, область D : | arg z| < n |
|||||||||||||||||||||||
ляющаяся областью однолистности функции (1.18), отображается этой |
|||||||||||||||||||||||
функцией на плоскость w с разрезом вдоль луча |
w ≤ 0, |
а обратная |
|||||||||||||||||||||
функция |
1 |
|
|
|
|
|
1 |
arg w |
|
|
|
|
|
|
|
||||||||
|
|
|
|
z = w |
|
|
= |w|n ei |
|
|
|
, | arg w| < π, |
|
|
|
|||||||||
n |
|
|
n |
|
|
|
|||||||||||||||||
при 0 < arg w < π совпадает с |
z0 , |
а при |
−π < arg w < 0 c zn−1. |
||||||||||||||||||||
Поэтому функции zk |
называют |
в е т в я м и |
многозначной функции z = |
||||||||||||||||||||
1 |
. Каждая функция z |
|
аналитична в |
, причем |
|
|
|||||||||||||||||
= w |
n |
k |
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dzk |
|
1 |
|
|
|
|
1 |
|
|
1 |
k i |
1−n |
|
1 |
|
1 |
|
|
||
|
|
|
= |
|
|
|
= |
|
w |
n |
|
= |
w n . |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
dw nzkn−1 |
|
|
n h |
|
|
|
|
nw |
|
|
k |
|
При отображении (1.18) во взаимно однозначном соответствии находятся лишь точки z = 0, w = 0 и z = ∞, w = ∞, каждой же точке w 6= 0, ∞ ставится в соответствие n точек zk , k = 0, 1, . . . , n −1.
41