Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

bilutapa-kurstfkp

.pdf
Скачиваний:
44
Добавлен:
06.06.2015
Размер:
1.33 Mб
Скачать

Заметим сначала, что если для функции 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

 

в области 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 и элементы длины дуги кривых γ и в точках z = z(t) и w = w(t) соответственно, а в силу (1.13) имеем

 

dz

t=t0

= z0(t0 ) = f 0

(z0 ),

 

dw

 

w0

(t )

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то мы получаем равенство

 

 

 

 

 

 

| f 0

(z0 ) |

=

0

,

 

 

 

ds

 

 

 

 

 

 

 

0

 

 

где ds0 и 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 |e1

и z2 = |z1 |e2 ,

ϕ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). Следовательно, всякий угол раствора

 

с

 

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]