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

книги / Теория функций комплексной переменной

..pdf
Скачиваний:
2
Добавлен:
19.11.2023
Размер:
28.91 Mб
Скачать

§3

ЛОГАРИФМИЧЕСКИЙ ВЫЧЕТ

151

tp{z) в каждой из ее особых точек. Пусть точка z =

zk являет­

ся нулем порядка пк функции f{z). Тогда в окрестности этой точки функция f(z) имеет вид

f{z) = (z - zk)nkfi{z), fi(h) Ф 0,

(5.86)

причем точка zk является правильной точкой функции f\{z). Вычисляя функцию <p(z) в окрестности точки z = Zkпо формуле (5.85), получаем

(p(z) = (In f{z))' = nk{\n(z - zk))' + (ln/i)7 =

Z - Z k J l { z )

Отсюда следует, что точка zkявляется полюсом первого порядка функции ip(z), причем вычет функции ip(z) в этой точке равен

пк. Итак, в нуле порядка пк функции f(z) ее логарифмический вычет равен пк) т.е. порядку нуля:

Выч ’М

(5.87)

*)’

 

 

Пусть точка zk является полюсом порядка ркфункции f(z).

Тогда в окрестности этой точки функция f(z) имеет вид

 

№ =

Л Ы * о,

(5.88)

причем точка zk является правильной точкой функции fi{z). Поэтому для логарифмической производной функции f(z) в окрестности точки z = zk получим выражение

ip(z) =

Рк

+

т

 

z -zk

 

м*у

Отсюда следует, что точка zk также является полюсом первого порядка функции cp(z), причем вычет в этой точке равен —рк- Итак, в полюсе порядка рк функции f(z) ее логарифмический вычет равен порядку полюса, взятому со знаком минус:

=-Рк- (5.89)

*)’

2.Подсчет числа нулей аналитической функции.

Полученные результаты позволяют доказать следующую важ­ ную теорему.

Теорема 5.5. Пусть функция f(z) является аналитиче­

ской всюду в замкнутой области б, за исключением конечного числа лежащих внутри Q изолированных особых точек zk, ко­ торые все являются полюсами, и пусть f(z) не обращается в нуль ни в одной точке границы Г области Q. Тогда разность между полным числом нулей и полным числом полюсов функ­ ции f(z) в области Q определяется выражением

N —Р —

т d£.

(5.90)

 

/(О

 

г+

152

ТЕОРИЯ ВЫЧЕТОВ И ИХ ПРИЛОЖЕНИЯ

ГЛ. 5

Под полным числом нулей (полюсов) понимается число нулей N (полюсов Р ) с учетом их кратности:

п

р

 

N = У2щ,

Р = У > * .

(5.91)

Jb=l

к = 1

 

Д о к а з а т е л ь с т в о .

Для доказательства теоремы

заметим, что интеграл по Г от функции ip(z) = 4т^г может

J\Z)

быть вычислен с помощью основной теоремы теории вычетов, причем так как все особые точки функции ip(z) — это нули и

полюсы функции f{z), а вычеты в этих точках определяются формулами (5.87) и (5.89), то

 

м

 

f

<р(0 dC = 2тгг ^2 Выч [<p(z),Zm] =

 

Г-f*

771—1

 

 

= 2 « I

[ = 2iri(AT - Р),

 

lfc=l

к = 1 J

что и доказывает теорему.

Отметим простой геометрический смысл доказанной теоре­ мы, для чего преобразуем интеграл, стоящий в правой части (5.90):

д / ®

* “ йг / dln^)=2S / w t o i+ ia r g / K ) } -

Г+

Г-1-

г+

 

= 2^ /^НЯСЖ^: Jdarg/(C). (5.92)

 

г+

г+

Действительная функция In|/(С)| является однозначной функ­ цией, поэтому ее вариация (изменение) при обходе точкой £ за­ мкнутого контура Г равна нулю. Следовательно, первое слага­ емое в правой части (5.92) равно нулю. Второе слагаемое пред­ ставляет собой полную вариацию аргумента функции /(£) при обходе точкой ( замкнутого контура Г, деленную на 2я. Итак,

N - Р = ^Var[arg /(^)]г+-

(5.93)

Будем изображать значения функции w = f(z) точками на комплексной плоскости w. Так как функция f (z) непрерывна на контуре Г, то при полном обходе точкой z контура Г на плос­ кости z соответствующая ей точка на плоскости w описывает некоторый замкнутый контур С. При этом точка w = О может оказаться как вне, так и внутри области, ограниченной контуром С. В первом случае вариация аргумента w при полном обходе

§3

ЛОГАРИФМИЧЕСКИЙ ВЫЧЕТ

153

С, очевидно, равна нулю. Во втором случае вариация аргумен­ та w определяется числом полных обходов вокруг точки w = О, которые совершает точка w при своем движении по контуру С. При этом точка w может обходить точку w = 0 как против часо­ вой стрелки (в положительном направлении), так и по часовой стрелке (в отрицательном направлении). Итак, разность между полным числом нулей и полюсов функции f(z) в области Qопре­ деляется числом оборотов, которые совершает точка w = f(z) вокруг точки w = 0 при положительном обходе точкой z конту­ ра Г. Эти соображения часто оказываются существенными при подсчете полного числа нулей аналитической функции в задан­ ной области. При этом во многих случаях соответствующие вы­ числения можно значительно облегчить благодаря следующей

теореме.

Теорема 5.6 (теорема Руше). Пусть функции f(z) и

ip(z) являются аналитическими в замкнутой области G, при­ чем на границе Г области Q имеет место неравенство

l/Wlr > И*)1г-

(5-94)

Тогда полное число нулей в области Q функции F(z) = f(z) +

+ip{z) равно полному числу нулей функции f(z).

До к а з а т е л ь с т в о . .Для функций f(z) и F(z) =

—fiz)+ выполнены все условия теоремы 5.5. Действитель­ но, функция f(z) не имеет особых точек на Г (она аналитиче­

ская в Q) и не обращается в нуль на Г в силу (5.94). Эти условия также выполнены для функции F(z), так как |.F(z)|r = \f(z) + + 4>{z)I ^ \f{z)\r ~ \4>(Z)\T > 0. Поэтому на основании формулы (5.93) получим

N\f(z) + tp(z)| = -^Var [arg (/ + <rf]r

И

JV[/W] = ^Varfarg f(z)]r.

Рассмотрим разность

N[nz) + ip(z)]-N{f(z)} =

= -^Var [arg (f + (p)- arg /]г = -^Var [arg (l + j ) ] p

(arg (/ + (p) - arg / = arg

Введем функцию w = I + TT-T- Как легко видеть, при обходе точ-

кой z контура Г соответствующая ей точка w опишет'замкнутую кривую С, которая в силу условия (5.94) будет целиком лежать внутри некоторого круга \w— 1| ^ ро < 1 (рис. 5.7). Тем самым

154 ТЕОРИЯ ВЫЧЕТОВ И ИХ ПРИЛОЖЕНИЯ ГЛ. 5

точка w = 0 лежит вне кривой С. Следовательно, Var [arg w]r — = 0, что и доказывает теорему.

П р и м е р . Найти полное число нулей функции F(z) = = z8 5z5 — 2;z + l внутри единичного круга \z\ < 1. Представим функцию F(z) в виде F(z) = f(z)+<p(z), положив f(z) = —5z5 + + 1 и (p(z) = z8 2z. Тогда

|/WI|z|=i > I “ 5г5||2|= 1 - 1 = 4, M*)l|.|=l < k 8||z|=l + |22r||^|=1 = 3,

откуда |/(2)||z|= i > |y?(z)||2|=i > 0. Следовательно, полное число

нулей в области \z\ < 1 функции F(z) равно полному числу нулей функции /(2), но последняя имеет, очевидно, ровно пять нулей:

5/Г /.27гЛЛ

 

= V s exp

 

 

 

 

 

= 0,1,... ,4).

 

 

 

Важным принципиаль­

 

 

 

ным

следствием

теоремы

 

 

 

Руше является

теорема

 

 

 

Основная

 

 

 

высшей алгебры. Поли­

 

 

 

ном п-й степени имеет

 

 

 

на комплексной плоскости

Рис. 5.7

 

 

ровно п нулей учетом их

 

 

кратности).

 

 

 

a$zn+

Д о к а з а т е л ь с т в о . Представим полином F(z) =

+ a i2n-1+ . . ,+апв виде F(z) =

f(z)+ip(z), положив f(z) = a§zn,

ip(z)

= oi2n-1 +

... + an. Составим отношение

=

— - +

 

 

 

 

${z)

a0 z

+ ... + — — . Как легко видеть, при любых заданных значениях

do Zn

коэффициентов оо, о ь ... , апвсегда найдется такое значение Ro, что для всех значений \z\ = R > RQимеет место неравенство

0 < ф )

< 1 .

(5.95)

f(z)

\z\=R

 

В силу теоремы Руше из (5.95) следует, что полное число ну­ лей функции F{z) в круге \z\ = R равно числу нулей в этом круге функции f(z) —аоzn. Но функция f(z) = aozn на всей комплексной плоскости имеет единственный n-кратный нуль — точку 2 = 0. Отсюда в силу произвольности R ^ RQ и следует утверждение теоремы.

Г Л А В А б

КО Н Ф О РМ Н О Е О ТО БРАЖ ЕН И Е

,Как при построении общей теории функций комплексной пе­ ременной, так и в ее многочисленных приложениях, в частно­ сти к решению задач механики и физики, большое значение имеет изучение геометрических свойств конформных отобра­ жений, осуществляемых аналитическими функциями. В гл. 1 было введено понятие конформного отображения, обладающего свойствами сохранения углов и постоянства растяжений. Фунда­ ментальной задачей теории конформных отображений является следующая. Даны две области комплексной плоскости, и требу­ ется найти функцию, осуществляющую взаимно однозначное и конформное отображение одной области на другую. При этом, конечно, возникают вопросы об условиях существования и од­ нозначного определения такой функции.

Вэтой главе будут кратко изложены основные понятия те­ ории конформного отображения. Мы также рассмотрим неко­ торые геометрические свойства отображений, осуществляемых рядом аналитических функций, находящих наиболее широкое применение в приложениях.

§1. Общие свойства

1. Определение конформного отображения. В гл. 1 при рассмотрении геометрического смысла модуля и аргумен­

та производной было введено понятие конформного отображе­ ния. Было показано, что если функция w = f(z) является од­ нозначной и аналитической в окрестности некоторой точки zo и f'(zo) Ф 0, то отображение, осуществляемое данной функцией,

вточке ZQ обладает свойствами сохранения углов и постоянства растяжений. То есть угол между любыми двумя гладкими кри­ выми, пересекающимися в точке zo, равен и по абсолютной ве­ личине и по направлению углу между их образами на плоскости w в точке W Q — / ( Z Q ) , а бесконечно малые линейные элементы,

156

КОНФОРМНОЕ ОТОБРАЖЕНИЕ

ГЛ. 6

выходящие из точки zo, преобразуются подобным образом. Это означает, что при рассматриваемом отображении любой беско­ нечно малый треугольник с вершиной в точке zo преобразуется в подобный ему бесконечно малый треугольник с вершиной в точ­ ке wo- Отметим, что в силу общих свойств аналитических функ­

ций 0 в окрестности точки wo определена однозначная анали­ тическая функция z = <p(w). Тем самым между окрестностями точек zo и WQ установлено взаимно однозначное соответствие. Введем следующее фундаментальное определение.

Взаимно однозначное отображение области Q комплексной плоскости z на область G комплексной плоскости w назы­ вается конформным, если это отображение во всех точках z £ Q обладает свойствами сохранения углов и постоянства растяжений. Подчеркнем, что данное определение подразуме­ вает непрерывность рассматриваемого отображения.

Из предыдущего ясно, что при конформном отображении области Qна область G бесконечно малые плоские фигуры обла­ сти Qпреобразуются в подобные им бесконечно малые фигуры области G. Также легко видеть, что при конформном отобра­ жении сохраняется свойство взаимной ортогональности системы кривых на плоскости. Действительно, пусть в области Qплоско­ сти z (z = x + iy) заданы два взаимно ортогональных однопара­ метрических семейства кривых (р(х,у) = с и ф(х, у) = с, причем через любую точку области Qпроходят по одной кривой каждо­ го семейства. Тогда при конформном отображении области Qна некоторую область G плоскости w (w = u + iv) образы данных кривых на плоскости w — кривые Ф(г4,-у) = с и Ф ( и , г ) ) = с — на основании свойства сохранения углов также будут взаимно ортогональны. Это означает, что если в области Qвведена неко­ торая ортогональная криволинейная система координат, то при конформном отображении эта система координат перейдет так-4 же в ортогональную систему.

Выясним теперь, какими свойствами должна обладать функ­ ция комплексной переменной для того, чтобы отображение, осу­ ществляемое этой функцией, было конформным.

Имеет место следующая теорема.

Теорема 6.1. Пусть функция f(z) является однозначной и однолистной аналитической функцией в области Q и f'{z) ф О при z Е Q. Тогда функция f(z) производит конформное ото­ бражение области Q на область G комплексной плоскости w, представляющую собой область значений функции w = f(z) при z EQ.)*

*) См. гл. 1, с. 36.

§1

ОБЩИЕ СВОЙСТВА

157

Д о к а з а т е л ь с т в о . Действительно, в силу условия f(z) ф 0 при z G Q отображение, осуществляемое функцией f(z), во всех точках области Qобладает свойствами сохранения углов и постоянства растяжений, что и доказывает теорему.

Итак, условия аналитичности, однолистности и отличия от нуля производной функции комплексной переменной являются достаточными условиями конформности отображения, осуще­ ствляемого этой функцией. Естественно поставить вопрос, яв­ ляются ли эти условия необходимыми. На этот вопрос отвечает следующая теорема.

Теорема 6.2. Пусть функция f(z) осуществляет кон­ формное отображение области Qкомплексной плоскости z па область G комплексной плоскости w и ограничена в Q. Тогда функция f(z) является однолистной и аналитической в обла­ сти Q, причем f{z) ф 0 при z GQ.

Д о к а з а т е л ь с т в о . Так как отображение, осуще­ ствляемое функцией f(z), является конформным, то оно явля­ ется взаимно однозначным, и в любой точке zo G Явыполняются свойства сохранения углов и постоянства растяжений. Следова­ тельно, для любых точек z\ и Z2, принадлежащих окрестности точки zo, с точностью до бесконечно малых величин выполня­ ются соотношения

arg AW2 arg Awi = arg Az2 — arg Az\

(6.1)

и

 

 

_

|Atl>i| _ JL / Л

 

\ A Z 2 \

|Д *,|

 

где Az\ = Z\—ZQи AZ2 —Z2 ZQсуть бесконечно малые линейные элементы, выходящие из точки ZQ, a Aw\ и Aw2 — их образы

Рис. 6.1

(рис. 6.1). Заметим, что в силу (6.1) соответствующие углы в точках zo и wo равны не только по абсолютной величине, но и

по направлению. Обозначив arg

через а, из (6.1) найдем,

что и arg

= а. Действительно,

 

158 КОНФОРМНОЕ ОТОБРАЖЕНИЕ ГЛ. 6

arg

= arg AW2 arg Az2 = arg Awi — arg Az\ = arg

= a.

 

i\ Z 2

L\ Z \

 

 

(6.3)

Из (6.2) и (6.3) получим, что с точностью до бесконечно малых величин имеет место соотношение

Ат _

Awi _ ^га

(6.4)

AZ2

AZI

 

В силу произвольности выбора точек Z\ HZ2 Bокрестности точки Z Q соотношение (6.4) означает, что существует предел разност­

ного отношения при A z —> 0. Этот предел по определению

является производной функции f(z) в точке ZQ. Так как к ф 0, то эта производная отлична от нуля:

lim ^

= f'(zo) Ф 0.

(6.5)

Az-+о Az

4 '

 

Точка ZQ - произвольная точка области £?; поэтому из (6.5) сле­ дует, что функция f(z) является аналитическойL) в области Q

и f ‘(z) Ф 0 ПРИ z G G- Однолистность f(z) следует из взаимной однозначности отображения. Теорема доказана.

Итак, конформное отображение области Q комплексной плоскости z на область G комплексной плоскости w осуще­ ствляется только однолистными аналитическими функция­ ми комплексной переменной с производной, отличной от нуля во всех точках области Q.

Отметим, что условие f'{z) ф 0 всюду в области Q является необходимым, но недостаточным условием конформности ото­ бражения области Qна область G, осуществляемого функцией f(z). Очевидно, если функция f(z) является аналитической в области Qи f f(z) ф 0 всюду в £7, но функция f(z) не является однолистной в £7, то отображение, осуществляемое этой функ­ цией, не будет взаимно однозначным, а тем самым не будет и конформным. Таким простейшим примером является функция w = z4, заданная в полукольце 1 ^ \z\ ^ 2, 0 ^ arg z ^ я. Эта функция аналитична в данной области, ии/ = 4 z3 ф 0 всюду в данном полукольце. Однако эта функция отображает данное по­ лукольцо на область 1 < |гу| ^ 16, 0 ^ argiu ^ 47Г, т.е. область, дважды покрывающую соответствующее кольцо на плоскости w, что и нарушает взаимно однозначное соответствие.

Итак, однолистность однозначной аналитической функции в области Qявляется важнейшим условием конформного отобра­ жения. Как будет показано ниже (см. теорему 6.3 — принцип взаимно однозначного соответствия), это условие является необ­ ходимым и достаточным условием конформности отображения.)*

*) См. сноску на с. 35.

§1

ОБЩИЕ СВОЙСТВА

159

Как было отмечено выше, свойство сохранения углов означа­ ет, что сохраняется не только абсолютная величина углов меж­ ду кривыми, пересекающимися в точке zo, и их образами, но и их направление. Отображение, при котором сохраняются аб­ солютные величины углов между кривыми и их образами, но

направление углов меняется на противоположное, называется

конформным отобраэюением второго рода. Рассмотренное вы­ ше отображение называется конформным отображением пер­ вого рода.

Нетрудно показать, что конформное отображение второго рода осуществляется функциями комплексной переменной, яв­ ляющимися комплексно сопряженными аналитическим функци­ ям с отличной от нуля производной. Действительно, пусть функ­ ция w = f(z) осуществляет конформное отображение второго рода некоторой области Qкомплексной плоскости z на область G комплексной плоскости w. Рассмотрим функцию w\ = гй, ото­ бражающую область G на область G* комплексной плоскости w\. Очевидно, геометрический смысл последнего отображения заключается в зеркальном отражении области G относительно действительной оси и плоскости w. Но при зеркальном отраже­ нии направление всех углов меняется на противоположное при сохранении их абсолютной величины. Это означает, что отобра­ жение области Qна область G*, осуществляемое функцией

<p(z) = wi = w = f(z), zeQ,

(6.6)

является конформным отображением первого рода. Тем самым функция ip(z) должна быть аналитической в области Q, причем

ip'(z) ф 0, JZ G Q. Но из (6.6) следует, что f(z) = <p(z), что и доказывает высказанное утверждение. До сих пор мы предпо­ лагали, что производятся конформные отображения ограничен­ ной области Qна ограниченную область G. В некоторых случа­ ях приходится рассматривать отображение окрестности точки ZQ на окрестность точки w = оо (или наоборот). При этом мы будем называть данное отображение конформным, если окрест­ ность точки ZQ конформно отображается на окрестность точки

С = 0, где С= — • Аналогично определяется конформное отобра­

жение окрестности точки z = оо на окрестность точки w = со.

2. Простейшие примеры. В предыдущих главах мы уже рассмотрели некоторые геометрические свойства отображений, осуществляемых рядом элементарных функций. Выясним те­ перь, являются ли эти отображения конформными, и если да, то в каких областях.

Как легко видеть, линейная функция w = f(z) = az + b (а ф 0 и Ъ— произвольные комплексные постоянные) осуще­ ствляет конформное отображение полной комплексной плоско-

160

КОНФОРМНОЕ ОТОБРАЖЕНИЕ

ГЛ. 6

сти z на полную плоскость ад, поскольку эта функция однолист­ на и ее производная f'(z) = а отлична от нуля во всех точ­ ках плоскости z. Чтобы убедиться в сохранении конформности отображения окрестности точки z — оо на окрестность точки

го = оо, положим (следуя сделанному выше замечанию) t =

- и

С —

1

t

 

Z

 

Функция го = az+b перейдет в функцию £ = —

- - , кото­

рая осуществляет конформное отображение окрестности точки t = 0 на окрестность точки £ = 0 (точка t = 0 является правиль­

ной точкой этой функции, и ('(£) |t=o = - ф 0).

а

Выше мы видели, что геометрический смысл отображения, осуществляемого линейной функцией, заключается в подобном растяжении и сдвиге плоскости z. Поэтому данная функция мо­ жет быть применена для построения конформных отображений подобных фигур.

П р и м е р 1. Построить функцию, осуществляющую кон­ формное отображение круга \z 1 — г| ^ 2 на единичный круг

М < 1.

Так как области Qи G представляют собой подобные фигу­ ры, то задача может быть решена при помощи линейной функ­ ции, которая осуществляет подобное растяжение плоскости z и сдвиг начала координат. Как легко видеть, искомая функция имеет вид

w = a(z — 1 — г),

где |о| = ^ а аргумент комплексного числа а может иметь любое

значение, определяя поворот плоскости ад вокруг точки ад = 0. Рассмотрим степенную функцию ад = f(z) = zn, где n > 1 —

целое число. Как следует из рассмотрений, проведенных в гл. 1 и 3, эта функция осуществляет взаимно однозначное отображение

области своей однолистности — сектора фо < arg z < фо + 2тгп

на полную плоскость w, разрезанную по лучу arg ад = пфо. Ее производная f'(z) = nzn~l отлична от нуля и ограничена всюду внутри данного сектора и в точках его границы, за исключением точек z = 0 и z = оо. Поэтому данная функция осуществляет конформное отображение области внутри указанного сектора на разрезанную плоскость ад. Любая бесконечно малая плоская фи­ гура, лежащая внутри данного сектора, переходит в подобную ей бесконечно малую фигуру на плоскости ад, например парал­ лелограмм ABCD, сторонами которого являются координатные линии полярной системы координат (рис. 6.2), перейдет в подоб­ ный ему бесконечно малый параллелограмм А 'В 'С D\ сторо­ нами которого также являются координатные линии полярной системы координат на плоскости ад. Однако в граничной точке

Соседние файлы в папке книги