
ТФКП Половинкин
.pdf§3. Дифференцирование функции комплексного переменнаго |
21 |
Утверждение 1. Если фун'Кции f и g дифференцируемъt в тottt'Кe
z0 , то |
|
|
|
а) |
фун'Кци.я f |
+ g дифференцируема в тottt'Кe |
z0 и (f + g)' == / 1 + |
+ gl, |
фун'Кци.я f g дифференцируема в тottt'Кe z0 |
и (! g) 1 == / 1 g + f g1 , |
|
б} |
|||
в) |
если g(z0 ) |
f= О, то фун'Кци.я f_ дифференцируема в тottt'Кe z0 и |
|
|
|
g |
|
/_) 1 - |
!' g- fg' |
|
|
( g |
g2 |
|
|
Разберем простейшие примеры вычисления производных.
Пример 1. Рассмотрим функцию w == z2 • Исходя из определе ния 1, для произвольной точки z0 Е С запишем Llf == (z0 + Llz) 2 -
- zб == 2z · ~z + (Llz) 2 |
• Очевидно, что~//Llz == |
2z |
0 |
+ Llz --t 2z |
0 |
при |
|||
0 |
|
|
|
|
|
|
|
||
Llz --t О, т. е. функция дифференцируема и / 1 (z |
0 |
) == |
2z |
0 |
. |
|
|
||
|
|
|
|
|
|
|
|
Проверим дифференцируемость этой же функции с помощью 'те
оремы 1. Здесь и(х,у) == х2 - у2 |
и v(x,y) == 2ху. Вычисляя частные |
||
производные |
|
|
|
au == 2х == av |
au == - 2у == - av |
||
ах |
ау' |
ау |
ах' |
убеждаемся в том, что условия Коши-Римана (6) выполнены всюду,
т. е. |
функция w == z2 |
дифференцируема при каждом z Е С, причем |
|||||||||
по формуле (7) получаем, что w 1 |
== 2х + i2y == 2z. |
|
|
||||||||
Пример 2. Рассмотрим функцию w == lzl2 . |
У нее и(х, у) == х2 + |
||||||||||
+ у2 |
и v(x, у) ==О. Вычисляя частные производные, получаем |
||||||||||
|
ди == 2х |
' |
av |
== о |
' |
au |
== 2у |
' |
av |
== о |
. |
|
ах |
ау |
- |
ау |
|
ах |
- |
Отсюда видим, что условия Коши-Римана (6) будут выполнены
лишь при условии, что х ==у== О, т. е. функция w == lzl2 дифферен
цируема лишь в точке z0 ==О, несмотря на то, что функции и(х, у) и v(x, у) являются бесконечно дифференцируемыми в IR2 .
Пример 3. Рассмотрим функцию w == z == х- iy. Для нее
и(х,у) == х и v(x,y) ==-у. Вычисляя частные производные, полу-
чаем
ди |
== 1' |
av == - 1' |
9'tt |
- |
о |
' |
av == о. |
ах |
|
ау |
ау |
- |
|
ах |
Убеждаемся, что условия Коши-Римана (6) не выполнены ни в одной
точке z Е С, т. е. функция всюду не дифференцируема.
Более сложные примеры дифференцируемых функций разберем
позже.

22 Е. С. Половинкин. Курс лекций по ТФКП
Следствие 1. Условия Коши-Римана (6) оtttевидно Э'Х;вива
лентнъt следующим тре.м условиям па ве'Х;торъt grad и == ( ди ди)
дх' ду
и grad v == ( дv, дv) из JR2 :
дх ду
1) эти ве'Х;торы и.меют одина'Х;овую длину, т. е. 1 grad иl ==
==1 grad, vl;
2)эти ве'Х;торъt ортогопалъны, т. е. (grad и, grad v) ==О;
3} ве'Х;тор grad v повернут на угол |
~ против хода tttacoвou |
стрел'Х;и по отношению 'Х; ве'Х;тору grad и. |
2 |
|
|
Геометрические условия 1-3 позволяют найти другие формы |
|
представления условий Коши-Римана (6). |
Рассмотрим два взаимно |
перпендикулярных единичных вектора n и 1 на плоскости JR2 с той же взаимной ориентацией, что и базисные векторы е1 == (1, О) и е2 == == (0, 1), идущие по осям Ох и Оу.
Раскладывая векторы grad и и grad v по новому базису из век торов n и 1, получаем
ди |
ди |
1 |
gra |
d |
дv |
дv |
1· |
(11) |
grad и == - |
n + - |
|
v == - |
n + - |
||||
дп |
дl |
' |
|
|
дп |
дl |
' |
|
Условия 1)-3) в силу формул (11) эквивалентны общей форме
условий Коши-Римана вида
ди |
дv |
ди |
дv |
(12) |
дп - |
дl' |
дl |
--- |
|
дп |
|
|||
Для демонстрации формул (12) в плоскости JR2 зададим поляр |
||||
ные координаты (см. формулы (6) |
в § 1), вследствие чего получаем |
|||
функции u(r, <р) == и(х, у) и v(r, <р) == v(x, у). Для любой фиксирован |
ной точки z0 |
== r 0 ei<po, где r 0 |
>О, определим нормальный вектор n == |
|||||||||||||||
== (cos <р0, sin <р0) |
и касательный вектор 1 == (- sin <р0, cos <р0) к окруж- |
||||||||||||||||
ности {z llzl |
= lz0 1} |
в точке z0 |
и придем к выражениям: |
||||||||||||||
ди |
== |
( |
gra |
d) ди |
|
ди. |
дu |
||||||||||
- |
|
|
|
и, n |
== - |
cos <р0 |
+ - |
s1n <р0 |
== - , |
||||||||
дп |
|
|
|
|
|
|
|
|
|
дх |
|
ду |
|
дr |
|||
ди |
== |
( |
gra |
d |
и, |
1) |
|
ди ( |
|
. |
) |
ди |
|
1 дu |
|||
- |
|
|
|
==- |
-s1n<p0· |
+ -cos<p0 |
==- - , |
||||||||||
дl |
|
|
|
|
|
|
|
|
|
|
дх |
|
|
|
ду |
|
r дер |
откуда в силу (12) получаем условия Коши-Римана в полярных ко-
ординатах вида |
|
|
av_ |
|
|
аи |
lдv |
1аи |
(13) |
||
дr |
- |
-;.дер' |
дr - |
--;.дер |
Замеtttание 2. В дальнейшем, как правило, будем употреблять
сокращенную форму записи частных производных функций, напри-
б ди ди
мер, удет писать их вместо дх, или иу вместо ду.
§ 4. Регулярные функции. Гармонические функции |
23 |
§ 4. Регулярные функции. Гармониче~кие функции
Так как множество комплексных чисел С есть евклидово про
странство IR2 с дополнительной операцией умножения, то и основные понятия множеств в IR2 можно перенести на комплексную плоскость
С. Аналогично вводятся понятия окрестности точки z0 (что уже сде
лано в §2), открытого множества (для каждой его точки найдется
ее окрестность, принадлежащая этому множеству), замкнутого мно
жества (оно содержит все свои предельные точки), области (т. е. от
крытого и связного множества), односвязной области (т. е. области,
у которой любой простой замкнутый контур, целиком лежащий в ней, может быть непрерывной деформацией стянут в точку, остава
ясь внутри области).
Приведем простейшие примеры областей.
Круг В1(О) = {z 1lzl < 1} есть односвязная область в С.
о
Окрестность бесконечности В1( оо) = {z 1 lzl > 1}, проколотая
о
окрестность нуля В1(0) = {z 1 О< lzl < 1} и кольцо
суть примеры неодносвязных областей в С.
{z 11 < lzl < 2}
В расширенной комплексной области С эти определения сохра
няются, за исключением того, что здесь появляется дополнительная
возможность непрерывной деформации через оо, осуществляемой на
сфере Римана, что приводит к расширению в С понятия односвяз
ной области. Так, например, область В1( оо) в плоскости С является
односвязной.
За.ме'Чание 1. Мы не приводим строгого определения односвязной области в С, которое при желании можно найти, например, в книге
[9] ч. 1, гл. 1, §1.
Определение 1. Пусть G - область в С. Функция f : G --+
--+С называется регулярной (или голо.морфной} в области G, если
она дифференцируема на G и ее производпая f' : G --+ С является непрерывной функцией. Говорят, что f : G --+ С регулярна в mо'Ч~е z0 Е G, если она регулярна в некоторой окрестности этой точки.
Как показано в примере 1 из §3, функция w = z2 всюду диф
ференцируема, и так как ее производпая w'(z) = 2z непрерывна, то w = z2 регулярна во всей комплексной плоскости С.
Функция же w = lzl2 не регулярна ни в какой области и ни в
какой точке.
Аналогично рассмотрим функцию w = zn, n Е N. По определе
нию производной получаем
w'(z) = lim |
(z+дz)n-zn = lim |
n·дz·zn-l+(дz)2(... |
) =nzn-l |
|
дz---+0 |
дz |
дz--tO |
дz |
' |

24 |
Е. С. Половинкин. Курс лекций по ТФКП |
т. е. |
производная всюду существует и непрерывна, поэтому w = zn |
регулярна в С.
Рассмотрим более сложные примеры регулярных функций.
Определение 2. Определим Э'l\,споненциалъную фун'l\,цию '1\,О.М пле'I\,С'Ного пере.менного по формуле
6 |
еХ |
( |
. . |
) |
' |
(1) |
ez == |
|
cos у + ~ Slll у |
|
где z = х + iy.
В стандартных обозначениях компонент функции f = и + iv по
лучаем следующие действительную и мнимую части экспоненциаль
ной функции: и(х,у)=ехсоsу, v(x,y)=exsiny, причем lezl=ex,
у Е Argez.
Очевидно, что функция (1) непрерывна и является периодиче
ской с периодом 21Гi.
Легко получаем равенства частных производных
их = ех cosy = vУ'
т. е. условия Коши-Римана (6) из §3 выполнены всюду. Поэтому
существует производная функции ez, причем по формуле (7) из §3
она равна
(2)
т. е. w = ez регулярна во всем пространстве С.
Определение 3. Определим тригоно.метриtttес'Х;ие фун'l\,ции sin z
и cos z '1\,О.Мnле'I\,С'Н.ого пере.менного по формулам
. 6 eiz - e-iz |
cosz |
6 eiz + e-iz |
(3) |
SlllZ = ---- |
= ---- |
||
2i |
|
2 |
|
Заметим, что при z = х (т. е. |
когда z |
является действительным |
числом) равенства (3) непосредственно следуют из формулы Эйлера
(см. § 1).
В силу определения 3 из регулярности экспоненты (1) очевидно
следует регулярность функций sin z и cos z как суммы регулярных
функций.
Из формул (1), (2) легко получить формулы для производных
(sin z)' = cos z, |
(cos z)' = - sin z. |
(4) |
Более того, из определений 2 и 3 легко доказать справедливость основных элементарных свойств тригонометрических функций, из вестных в действительном анализе. Например,
sin2 z + cos2 z = 1,
(5)
sin(z1 + z2 ) = sin z1 cos z2 + sin z2 cos z1 .

|
§ 4. Регулярные функции. Гармонические функции |
|
|
25 |
|||||||||||
Из периодичности экспоненты получаем, |
что функции sin z и cos z |
||||||||||||||
также являются периодическими с периодом 21r. |
|
|
|
|
|
|
|
||||||||
|
У пр а ж н е н и е |
1. |
Проверьте равенства {4) |
и (5). |
|
|
|
|
|||||||
|
Однако в отличие от действительного случая функции sin z и cos z |
||||||||||||||
не ограничены на <С. |
В самом деле, найдем, например, действитель |
||||||||||||||
ную и мнимую части функции sin z: |
|
|
|
|
|
|
|
|
|||||||
о |
о ( |
• |
) (5) |
о |
• |
|
о • |
о |
|
h |
у + |
. |
h |
у. |
|
Slll |
Z == Slll |
Х + 'l у |
== Slll Х COS 'l у |
+ COS Х Slll 'l у == Slll Х С |
|
'l |
COS Х S |
|
|||||||
Отсюда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
jsinzl = Jsin2 xch2 y+cos2 xsh2 y = |
|
|
|
|
|
|
|
|
|||||||
|
|
= J(l- cos2 х)ch2 у+cos2 x(ch2 у- 1) = Jch2 у- cos2 х, |
|||||||||||||
т. е. |
1 sin zl "'1 ch Yl при у -+ оо, |
а поэтому функция sin z |
не ограни |
||||||||||||
чена. |
|
|
|
|
|
|
|
|
|
|
|
== e-l/z4 |
|
||
|
У пр а ж н е н и е |
2. |
Рассмотрим функцию w == f(z) |
, |
|||||||||||
при z f= О и f(O) |
==О. |
Покажите, что данная функция f |
удовлетво |
ряет условиям Коши-Римана {6) из §3 в точке z0 ==О, но тем не
менее не дифференцируема в точке z0 == О. Не противоречит ли это
теореме 1 §3?
Определение 4. Функция и== и(х, у) действительных перемен
ных х и у, определенная и дважды непрерывно дифференцируемая
в области G С IR2 (т. е. и Е C2 (G)), называется гар.моничес~ой в G, если V (х, у) Е G:
(6)
Теорема 1. Пустъ фун~ци.я w == f(z) == и(х,у) + iv(x,y) регу
лярна в области G |
и фун~ции и(х, у), v(x, у) Е C2 (G). Тогда фун~ |
ции и(х, у) и v(x, у) |
cyrnъ гар.моничес~ие фун~ции в G. |
Д о к а з а т е л ь с т в о. В самом деле, из условий Коши-Римана
ди дv |
ди |
дv |
(7) |
|
дхду' |
ду -- дх' |
|||
|
||||
получаем в силу (6) |
|
|
|
|
~и= :х (::)+:У(:~)= ;:2;У- ~;х =О. |
(8) |
|||
Аналогично из условий Коши-Римана (7) |
следует, что дv == О, т. е. |
|||
и, v суть гарl\1онические функции. |
|
|
11 |
За.ме'Чание 2. В §8 покажем, что всякая регулярная функция f
дифференцируема л1обое число раз и поэтому ее компоненты, т. е.
функции и и v, являются бесконечно гладкими функциями. По-

26 |
Е. С. Половинкин. Курс лекций по ТФКП |
этому требование гладкости функций и и v в теореме 1 не является
ограничительным.
Определение 5. Две гармонические функции и(х, у) и v(x, у), связанные соотношениями Коши-Римана (7), называются сопря
женнъt.ми.
Итак, мы показали, что из регулярности функции f ==и+ iv сле
дует гармоничность ее действительной и мнимой частей и и v.
Теорема 2. Если в односвязной области G С С задана гар.мо
ниtttесх;ая фунх;ция и(х, у), то существует регулярная в области G фунх;ция f, для rк;оторой и(х, у) == Re f (z).
Д о к аз а т е л ь с т в о. Для данной функции и вычислим функ-
ции |
1:::. au |
|
1:::. au |
(9) |
|
Р(х,у) = --, |
Qx,y( ) ==-. |
|
ау |
ах |
|
Для нахождения функции f достаточно найти функцию v(x, у) == == Im f(z). Эта функция вместе с функцией и(х, у) обязана удовле
творять условиям Коши-Римана (7), т. е. ищем функцию v(x, у), ре
шая систему уравнений
av == р(х' у)' |
av = Q(x,y). |
ах |
ау |
Так как функция и является гармонической, то для определенных в
формуле (9) функций Р(х, у) и Q(x, у) получаем
(10)
Равенство (10) и односвязность области G С IR2 являются достаточ
ными условиями того, что непрерывно дифференцируемое векторное
поле (Р(х, у), Q(x, у)) является потенциальным в области G (см., на
пример, [5] том 2, глава 13), т. е. выражение
dv == Р dx + Q dy
представляет собой полный дифференциал некоторой непрерывно
дифференцируемой (потенциальной) функции v(x, у) в G, которую
можно найти по формуле:
v(x,y) == !(х,у) Pdx + Qdy +С,
(хо,Уо)
т. е. в нашем случае в силу (9) эта функция равна
|
(х,у) |
а |
а |
|
v(x, у) == |
!(хо,Уо) |
- ....3!. |
dx + ....3!. dy + С, |
(11) |
|
ау |
ах |
|
§5. Теорема об обратной функции |
27 |
при этом интеграл в (11) является криволинейным интегралом вто
рого рода вдоль ориентированной кривой, лежащей в области G,
с началом в точке (х0,у0) Е G и концом в точке (х,у) Е G. Оче видно, что полученная в (11) функция v(x, у) является гармоничес-
кой в силу (7), (8), а поэтому в силу теоремы 1 §3 функция f(z) ~
~ и(х,у) +iv(x,y) является регулярной в G. |
11 |
За.ме'Чание 3. Аналогично доказательству теоремы 2 доказыва
ется утверждение о том, что для всякой гармонической функции v(x, у), заданной в односвязной области G, существует регулярная функция f такая, что v(x, у) == Im f(z).
Пример 1. Пусть дана функция u(x,y) == ху. Очевидно, что она
гармоническая, т. е. ~и== О. Найдем функцию v из условий Коши
Римана (7).
Из первого условия получаем |
|
|
|
|
|
|
|
||||
vy ==их ==у, |
откуда v(x, у) == |
У22 |
+ <р(х) |
V<р(·). |
(12) |
||||||
Из второго условия и формулы (12) получаем |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
х2 |
|
vx == -иу == -х, |
т. е. <р'(х) == -х, |
откуда <р(х) |
== - 2 +С. |
|
|||||||
В итоге |
|
|
|
|
|
|
|
|
|
|
|
у2 |
2 |
х2 |
' |
f(z)==xy+i ( |
у2 |
; |
х2 |
+С |
) |
iz2 |
|
|
|
|
|
|
==-т+iС. |
|
|||||
v == - |
|
+С· |
|
|
|
|
|
|
|
|
§ 5. Теорема об обратной функции
Сначала отметим следующую теорему о сложной функции.
Теорема 1. Пустъ данъt две области G и Н в х;о.мплех;сной плос х;ости С, две регулярнъtе фунх;ции f : G ~ С и g : Н ~ С, при'Че.м
въtполнено условие, 'Что f(z) Е Н для всех z Е G (т. е. f(G) С Н}.
Тогда сложная фунх;ция ( == g(f(z)) регулярна в области G и спра
ведлива формула дифференцирования
('(z) == g'(f(z))f'(z), Vz Е G. |
(1) |
Д о к аз а т е ль с т в о теоремы сводится к проверкеформулы
(1). Для этого возь~1ем произвольную точку z0 Е G и пусть w 0 == == f(z 0 ). Приращения функций~~ и ~g по определению дифферен
цируемости функций принимают вид |
|
|
|
|
|
~~ == f'(z0)~z + o(~z); |
~( == g'(w0)~w + o(~w). |
|
|
||
В итоге, переходя к пределу |
в |
выражении |
д( == g'(w |
о |
) дf + |
|
|
|
дz |
дz |
|
+о ( ~~), получаем формулу (1). |
Так как по |
условию теоремы |

28 Е. С. Половинкин. Курс лекций по ТФКП
функция g'(w) непрерывна на f(G), функции f(z), f'(z) также не
прерывны на области G, то и функция g'(f(z)) · f'(z) |
непрерывна на |
области G, т. е. функция g(f(z)) регулярна в G. |
11 |
у
о |
о |
о |
Рис. 1
Теорема 2 (об обратной функции). |
|
Пусть 1-ta области G |
|||||||||||||
заданъt регулярная фун"'ция |
f : G ~ С и |
то'Ч'Х;а z0 |
Е G. |
Пусть |
|||||||||||
то'Ч'Х;а w0 = f(z0 ) |
и пусть въtполнено условие f'(z0 ) |
-=!=О. |
Тогда су |
||||||||||||
ществуют "'руги B 6 (z0 ) С G |
и Bf:(w0 ) |
та"'ие, |
'Что |
|
|
|
|||||||||
а) |
f'(z)-=!= О |
Vz |
Е B 6 (z0 ); |
уравнение f(z) = w и.меет един |
|||||||||||
б} |
Для любой то'Ч"'и w Е Вс ( w0 ) |
||||||||||||||
ственное решение z |
в |
"'руге |
В6(z0 ), |
т. е. |
1-ta "'руге Bf: (w0 ) |
суще |
|||||||||
ствует обрат1-tая "' |
фун"'ции f фун"'ция g: Bf:(w0 )---+ B 6 (z0 ) |
{т. е. |
|||||||||||||
фун"'ция, для "'оторой f(g(w)) = w при любо.м w Е BE(w0)}; |
|
||||||||||||||
в) |
Обратная фун'Х;ция g : Bf: (Wo) |
---+ вб (zo) |
регулярна, |
при'Че.м ее |
|||||||||||
производная въt'Числяется по формуле |
|
|
|
|
|
|
|
||||||||
|
|
g |
'( |
w |
) |
- |
1 |
\..1 |
w Е |
в |
( |
) |
|
|
(2) |
|
|
|
|
- !' (g (w)) , |
v |
|
с w0 • |
|
|
|
f ---t
g +--
х
Рис. 2

§ 5. Теорема об обратной функции |
29 |
|
Д о к аз а т е ль с т в о. Пусть z0 == х0+iy0 , w0 |
== и0+iv0 , f(z) = |
== и(х, у)+ iv(x, у). Задание функции f: G --t С эквивалентно зада-
нию отображения
|
|
и == и(х, у) : G --t IR2 . |
(3) |
|
|
{ v == v(x,y) |
|
Якобиан отображения (3) в силу условий Коши-Римана равен |
|
||
J(x,y) == |
|
и |
(4) |
|
|||
|
vx |
||
|
|
х |
|
|
|
|
|
Итак, отображение (3) непрерывно дифференцируемо, и в силу
условия теоремы и формулы (4) получаем, что J(x0 , у0) 1= О, т. е. вы
полнены условия теоремы о неявной вектор-функции (см., например,
[8], §28, теоремы 2-3) для отображения (3), в силу которой суще ствуют круги B<5(z0 ) и Bt(w0 ), б> О, Е> О, такие, что J(x,y) 1= О, V (х, у) Е B<5(z0 ), и для каждой фиксированной точки (u, v) Е Bt(w0 )
система уравнений { ~ = и((х,у)), |
имеет в В |
6 |
(z |
0 |
) |
единственное реше- |
||||||||
|
v == v х, у |
|
|
|
|
|
|
|
|
|
|
|
||
ние (x(u, v), y(u, v)), |
т. е. существует отображение |
|
|
|||||||||||
|
х == х(и,v), |
u |
( |
и, v |
) |
Е |
В ( |
|
) |
|
(5) |
|||
{ |
у == у ( и, v ) ' |
v |
|
|
|
|
t |
w0 |
|
, |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
обратное к отображению (3). Более того, по той же теореме функции
х(и, v) и у(и, v) непрерывно дифференцируемы в круге Bt(w0 ). Отображению (5) на комплексной плоскости С соответствует ком
плекснозначная функция g: Bt(w0 ) --t B<5(z0 ) вида |
|
z == g(w) ~ х(и,v) + iу(и,v), |
(6) |
которая в силу задания является обратной к функции f, т. е.
(7)
Покажем, что функция (6) регулярна в Bt(w0 ). Перепишем тождество (7) по компонентам:
|
и |
и(х(и,v), у(и,v)), u( |
) |
|
В ( |
) |
(8) |
|
{v |
== v ( х( и, v) ' у ( и, v)) ' |
v и, V |
|
Е |
t w0 |
• |
||
|
|
|
|
|
|
|||
Так как |
функции и(х,у),v(х,у) Е C 1 (B<5(z0 )), |
а |
функции |
|||||
х(и, v), у(и, v) |
Е С1 (В€ (w0 )), то, дифференцируя тождества (8) попе |
|||||||
ременным и и v, |
получаем системы уравнений |
|
|
|
30 |
Е. С. Половинкин. Курс лекций по ТФКП |
|
||
которые можно переписать в виде матричного равенства |
||||
|
( ~ |
~) = ( ~= ~:) (~= |
~:). |
(9) |
|
Равенство (9) означает, что матрица ( хи |
xv ) является обрат |
||
|
|
Уи |
Yv |
|
ной к матрице (их |
иу), и так как по формуле (4) |
якобиан J == |
||
|
vx |
vy |
|
|
== J(x, у) == lf'(z)l #О при всех (х, у) Е Вб(z0), то, вычисляя обрат |
|||||||||||
|
|
2 |
|
|
|
|
|
|
|
|
|
ную матрицу, получаем соотношения |
|
|
|
|
|||||||
Х |
и |
== ~ |
Х |
v |
== - '!!JL |
У |
- Vx |
У |
v |
== их |
(10) |
|
J' |
|
J ' |
|
и- --у, |
|
J . |
|
Из условий Коши-Римана, записанных для функций и и v, и из фор
мул (10) получаем равенства хи == Yv и xv == -уи, которые означают
условия Коши-Римана для обратной функции g, т. е. функция g(w) дифференцируема. При этом по формуле (7) из § 3 получаем
g' (W) == Vy - |
ivx == их - ivx == |
1 |
== |
1 |
J |
и; + v; |
их + ivx |
|
f' (g(w))' |
т. е. справедлива формула (2).
Так как производная f'(z) #О на круге B 6 (z0 ), а функции f'(z) и g(w) непрерывны, то в силу формулы (2) получаем, что функция
g' (w) непрерывна, т. е. g(w) регулярна в круге ВЕ ( w0 ). |
11 |
Определение 1. Функция f: G ~С называется одиолистиой |
|
(или взаимно однозначной) на G, если для любых точек z 1 , z2 |
из G |
таких, что f(z 1 ) == f(z 2 ), следует равенство z1 == z2 .
Иными словами, функция f: G ~С однолистна тогда и только
тогда, когда на множестве G* == f(G) существует обратная ей функ
ция g : G* ~ С. Из теоремы 2 получаем очевидное следствие.
Следствие 1. Пусть фуиrк:ци.я f: G ~ G* == f(G) регул.яриа и одиолистиа иа области G С С, npиttte.м f'(z) #О nри всех z Е G. То
гда .миожество G* есть область, и обратиая фунrк:ци.я g : G* ~ G
регул.яриа (на области G*).
За.меtttание 1. В следствии 1 усло.вие f'(z) #О при всех z Е G
можно специально не оговаривать. Это условие, как будет показано в§ 24, следует из однолистности на области G регулярной функции f.
Рассмотрим некоторые примеры элементарных функций и при
меры областей их задания, на которых эти функции будут однолист
ными.
Пример 1. Рассмотрим функцию w == zn, n Е N, n ~ 2. В§ 1 мы
показали, что функция w == zn на всей плоскости С не однолистна.
А именно, показали, что для любого числа w # О уравнение w ==