pismennyy_d_t_konspekt_lekciy_po_vysshey_matematike_polnyy_k
.pdfФункция w = za определена для всех z =f. |
О, |
является многозначной |
||||||
· |
'L · |
i·i(E+2?rk) |
= е |
_1!:_27Гk |
= 0,±1,±2, ... |
|||
функцией. Так, ii = ei |
ni = е |
2 |
|
2 |
, где k |
|||
. |
=е |
_.zr. |
|
|
|
|
|
|
При k = О имеем: ii |
2 • |
|
|
|
|
|
|
|
Триrонометрические функции
Тригонометрические функции комплексного аргумента z = х + iy
определяются равенствами |
eiz + e-iz |
|
|
||
sinz = |
eiz - |
e-iz |
sinz |
cosz |
|
|
cosz = |
2 |
tgz = --, |
ctgz = -.-. |
|
|
2i |
COSZ |
SШZ |
||
При действительных z эти определения приводят к тригонометриче
ским функциям действительного переменного. Так, при z = х (у= О)
. |
= |
eix _ e-ix |
1 ( |
. . |
( |
. . )) |
1 . . |
. |
s1nz |
. |
= - : cosx+isшx- cosx-isшx |
= - : 2isшx = sшх. |
|||||
|
|
~ |
~ |
|
|
|
~ |
|
Тригонометрические функции комплексного переменного сохраня
ют многие свойства тригонометрических функций действительного пе ременного. В частности,
sin2 z + cos2 z = 1, sin 2z = 2 sin z cos z,
cos(z1 + z2) =cosz1 cosz2 - sinz1 sinz2, sin(z + 211') = sin z,
cos(-z) = cos z,
sin(-z) = - sin z, tg(z + 11') = tgz,
71'
cosz =О при z = '2+ k11' (k = 0,±1,±2, ...),
2tgz tg2z = 1 - tg2 z ,
sin(z + ~) = cosz,
|
. ( |
|
371') |
= - COS Z, |
|
|
|
|
|
|
|
SШ Z |
+ 2 |
|
|
|
|
|
|
||
и т. д. Докажем, например, первое свойство: |
|
|
||||||||
Q |
. |
|
_ |
(eiz _ e-iz) 2 |
+ |
(eiz + e-iz) 2 |
= |
|
||
SШ2 Z + COS2 |
|
Z - |
|
i |
|
2 |
|
|||
|
|
|
|
|
2 |
|
|
|
|
|
|
= |
e2iz |
- 2 + e-2iz |
|
e2iz + 2 + e-2iz |
|
|
|||
|
|
|
-4 |
+-------= |
|
|||||
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
-e2iz + 2 - e-2iz + e2iz + 2 + e-2iz 4 |
• |
||||||
|
|
|
= |
|
• |
|
4 |
|
= 4 = l. |
|
|
|
|
|
|
|
|
|
|
|
|
530
liJ |
Отметим, что тригонометрические функции sin z |
и cos z в комп |
|||
|
лексной плоскости z неограничены: |
|
|||
|
lim |
sin z = оо, |
lim cos z = оо. |
|
|
|
~z~±oo |
~z~±oo |
|
||
|
|
2 |
-1 ~ 1,54 |
> 1, cos3i > 10. |
|
Так, например, cosi = е + е |
|
||||
Гиперболические функции |
|
|
|
||
|
Эти функции определяются равенствами |
|
|||
|
ez - e-z |
|
ez + e-z |
sh z |
chz |
|
shz= ---- |
chz = ---- |
thz = - h , cthz= - h . |
||
|
2 |
|
2 |
с z |
s z |
Легко заметить связь между гиперболическими и тригонометриче
скими функциями. Заменяя н указанных функциях z на iz, получим:
shiz =isinz, или sinz = -ishiz, chiz = cosz
(а также tgiz = itgz, ctgiz = -ictgz).
Пользуясь этими равенствами, можно получить ряд формул,
связывающих гиперболические функции. Так, заменяя в формуле sin2 z + cos2 z = 1 тригонометрические функции гиперболическими, по-
лучим
(-i sh iz) 2 + (ch iz) 2 = l,
или -sh2 iz+ch2iz = 1. Так как здесь z -любое комплексное "!исло, то iz можно заменить на z; получим формулу ch2 z - sh2 z = 1. Приведем
еще ряд формул:
ch2z=ch2 z+sh2 z, |
ch(-z)=chz, |
sh2z = 2shzchz, |
sh(-z) = -shz, |
ch(z1 + z2) = chz1 chz2 + shz1shz2, |
shz + chz = е•, |
и т.д.
Из опредЕ>ления гиперболических функций следует, что функции sh z и ch z периодические с периодом 27ri; функции th z и cth z имеют
период 7ri.
Обратные тригонометрические и гиперболические функции
§Число w называется арксинусом числа z, если sin w = z, и обо значается w = Arcsin z.
Используя определение синуса, имеем z = sin w = еiw 2.ie -iw , или
e2iw_2izeiw_1 =О. Отсюдае~w = iz+J(iz)2 +1, т. е. eiw = iz+../f=Z2
(перед корнем можно не писать знак ±, так как ..;г=-zz имеет два
531
значения). Тогда iw = Ln(iz + vг=-i2), или w = tLn(iz + v'l - z 2 ).
Таким образом,
w = Arcsin z = -i Ln{iz + ~).
Функция w = Arcsin z многозначна (беск(')Нечнозначна). Аналогично
определяются другие обратные тригонометрические функции. Можно
показать, что
Arccosz = -i Ln(z + vГz2=1),
i |
1 - z |
(z -1 ±i), |
Arctg z = -- Ln -- |
||
2 |
i + z |
|
i |
z - i |
(z-/; ±i). |
Arcctgz = - |
Ln -- . |
|
2 |
z +i |
|
Функции, обратные гиперболическим, обозначаются соответственно w = Arshz (ареасинус), w = Archz (ареакосинус), w = Arthz (ареа тангенс), w = Arcthz (ареакотангенс).
Обратные гиперболически~:> функции имею1 следующие выраже-
ния: |
|
|
|
Arshz = Ln (z + Jz2 + 1) , |
Arcl1z = Ln (z + vГz2=l), |
||
1 |
1 + z |
1 |
z + 1 |
Arthz = - |
Ln -- , |
Arcthz = - |
Ln -- . |
2 |
1-z |
2 |
z-1 |
Все эти функции бесконечнозначны.
74.4.Дифференцирование функции комплексного
переменного. Условия Эйлера-Даламбера
Пусть однозначная функция w = f (z) определена в некоторой
окрестности точки z, включая и саму точку. Тогда предел
lim дw = |
lim |
f(z + дz) - J(z) = ~'(z), |
(74.4) |
дz-40 дz |
Лz->0 |
дz |
|
если он существует, называется npouaвoiJн.oit функции f(z) в точке z, а функция f(z) называется дuфферен.цируемоit в
mо'Чке z.
Подчеркнем, что в равенстве (74.4) дz любым
образом стремится к нулю, т. е. точка z + дz может приближаться к точке z по любому из бесконечного
множества различных направлений (см. рис. 283) (в
аналогичной ситуации для функции одного действи
тельного 'переменного точка х + дх приближается к
Рис. 283 точке х лишь по двум направлениям: слева и справа).
532
Из дифференцируемости функции f(z) в некоторой точке z сле
дует ее непрерывность в этой точке (отношение 1~ при дz --+ О мо
жет стремиться к конечному пределу f'(z) лишь при условии, что и
дw--+ О). Обратное утверждение не имеет места.
|
При каких условиях функция w = |
f(z) |
будет дифференцируемой |
|||||||||||
в данной точке? |
|
|
|
|
|
|
|
|
|
|
|
|||
Теорема 74.1. |
Если функция w = и(х;у) +iv(x;y) определена в не |
|||||||||||||
которой окрестности точки z = х + iy, |
причем в этой точке действи |
|||||||||||||
тельные функции и(х; у) и v(x; у) дифференцируемы, то для диффе |
||||||||||||||
ренцируемости функции w = f(z) |
в точке z необходимо и достаточно, |
|||||||||||||
чтобы в этой точке выполнялись равенства |
|
|
|
|
|
|
||||||||
|
|
|
|
ди |
дv |
д1t |
ди |
|
|
(74.5) |
||||
|
|
|
|
дх = |
{)у ' {)у |
дх . |
|
|
||||||
|
Равенства (74.5) называются условиями |
|
|
|
|
|
|
|||||||
Эйлера-Даламбера (или условиями Коши |
|
у |
|
|
|
|
||||||||
Римана). |
|
|
|
|
|
|
|
z+Лz |
|
|
' |
|||
Q Необходимость |
|
|
|
|
|
!.дz~iду |
|
|||||||
|
Пусть функция f(z) дифференцируе |
|
|
|||||||||||
ма в точке z, тогда предел (74.4) суще |
|
z |
|
|
|
|
||||||||
ствует и не зависит от пути, по которому |
|
Лz=Лх |
|
z+Лz |
||||||||||
дz = дх+iду--+ О. Можно считать, что точ- |
|
0 |
|
|
|
х |
||||||||
ка z+дz приближается к точке z по прямой, |
|
|
|
|
||||||||||
|
|
Рис. 284 |
|
|
||||||||||
параллельной действительной оси (оси Ох), |
|
|
|
|
||||||||||
т. е. дz = дх--+ О, ду =О (рис. 284). Тогда |
|
|
|
|
|
|
||||||||
f |
'() |
|
. (и(х+дх;у)+iv(х+дх;у))-(и(х;у)+iv(х;у)) |
= |
||||||||||
z |
= 11m |
|
|
|
д |
Х |
|
|
|
|
|
|||
|
|
дх-+0 |
|
|
|
|
|
|
|
|
|
|
||
|
= |
. (и(х+дх;у)-и(х;у)) +i(v(x+дx;y)-v(x;y)) |
= |
|||||||||||
|
11m |
|
|
|
Дх |
|
|
|
|
|
||||
|
|
дх-tО |
|
|
|
|
|
|
|
|
|
|
||
|
|
= |
. |
Лхи + iдxv |
= |
. |
Лхи |
. |
. д<еv |
ди |
|
|
. дv |
|
|
|
l1m |
Дх |
11m -- +i |
|
11m -- = - |
+i - . |
|||||||
|
|
|
д<е-tО |
|
д<е-tО дх |
|
д<е-+0 дх |
дх |
|
|
дх |
|||
|
Если же точка z + дz приближается к точке z по прямой, парал |
|||||||||||||
лельной мнимой оси (оси Оу), то дz = iду--+ О, дх =О. В этом случае
f'(z) = lim (и(х;у+ду) +iv(x;y~дy))- (и(х;у) +iv(x;y)) |
= |
||
ду-tО |
|
~Ду |
|
= lim |
Луи+ iдyv = -iди + дv = дv _ iди. |
||
ду-+0 |
iду |
ду ду ду |
ду |
533
Сравнив найденные пределы, получим g~ + ig~ |
= g~ -i~~ |
= f'(z). |
|||||||||||||||||
Отсюда следует: ди = |
дv ди = - дv. |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
дх |
|
ду' ду |
дх |
|
|
|
|
|
|
|
|
|
|
|
|
|
Достаточность |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
Пусть теперь условия (74.5) выполняются. Докажем, что функция |
|||||||||||||||||
J(z) дифференцируема. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
Так |
как |
функции |
и(х;у) |
и v(x;y) дифференцируемы |
в точке |
||||||||||||
z |
= х + iy, то их полные приращения можно представить (см. (44.4)) |
||||||||||||||||||
в |
виде |
ди |
= дидх + диду + а |
|
|
дv = дv дх + дvду + а2 |
' |
||||||||||||
|
|
|
|
|
дх |
|
ду |
1' |
|
|
|
|
дх |
|
ду |
|
|||
где |
а1 |
и а2 |
- бесконечно |
малые |
более |
высокого |
порядка, чем |
||||||||||||
lдzl = у'(дх)2 + (ду)2 • Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
дw |
(и(х + дх; у+ ду) + iv(x + дх; у+ ду)) - |
|
(и(:г; у)+ iv(x; у)) |
|
|||||||||||||||
дz |
-'--------~----------'"----'------~= |
|
|||||||||||||||||
|
|
|
|
|
|
д..~: +~ду |
|
|
|
|
|
|
|
|
|||||
|
|
= ди + iдv = |
(~дх + ~ду + a:i) |
+ ~(~дх + ~ду + а2) _ |
|
||||||||||||||
|
|
дх + iду |
|
|
|
дх + iду |
|
|
|
|
|
- |
|
||||||
|
|
|
|
|
|
|
дид |
+ дид |
у |
+ ·дvд |
х |
+ дvд |
у + а1 + ia2 . |
||||||
|
|
|
|
|
|
|
= а;; х |
дУ |
|
ia;; |
|
|
iay |
||||||
|
|
|
|
|
|
|
|
дх + iду |
|
|
|
|
|
дх + ~ду |
|
||||
Заменяя в числителе правой части ддиу |
|
на - |
дv |
|
дv на ддих, согласно |
||||||||||||||
условиям (74.5), получаем: |
|
|
|
дх' |
ду |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
дw |
= |
ди дх - дv ду + i дv дх + i |
ди ду |
+ а |
|
|
|
||||||||
|
|
|
|
дz |
дz |
дz |
дz |
|
|
дz |
|
|
з, |
|
|
||||
|
|
|
|
|
|
|
д..~: +iду |
|
|
|
|
|
|
|
|
||||
где |
|
|
|
|
|
|
а1 + ia2 |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
аз= дх +iду' |
|
|
|
|
|
|
|
|
||||
т. е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
дw ?(дх + iду) + i~(дх + iду) |
|
|
|
ди |
.дv |
|
|
||||||||||
|
|
дz |
= |
z |
|
дх+iд; |
|
|
+аз= д; +~дх +аз, |
|
|||||||||
а аз - бесконечно малая высшего порядка относительно lдzj. Отсюда
следует, что lim |
ддw = f'(z) существует. При этом f'(z) = ди + iдv. |
||||||||
дz--tO |
|
|
Z |
|
|
|
|
8Х |
8Х |
|
|
|
|
|
|
|
|
|
• |
С учетом условий Эйлера-Даламбера (74.5) производную диффе |
|||||||||
ренцируемой функции f(z) |
можно находить по формулам |
|
|||||||
! |
'( ) - ди .дv |
! |
'( ) - дv |
.дv |
|
||||
|
z |
- |
дх |
+i дх' |
z - ду + i дх' |
(74.6) |
|||
|
'( |
|
) - |
ди |
.ди |
J'(z) = дv - |
iди. |
||
! |
z |
|
|||||||
|
--- i - , |
|
|||||||
|
|
|
|
дх |
ду |
|
ду |
ду |
|
534
Правила дифференцирования функций действительного перемен ного справедливы и для функций комплексного переменного, диффе
ренцируемых в точке z. Это означает, что если fi(z) и f 2(z) дифферен
цируемы в некоторой точке z комплексной плоскости, то верно следу
ющее:
1. |
(fi(z) ± |
f2(z)) 1 = J{(z) ± Л(z), |
||
2. |
(Ji(z) ·f2(z)) 1 = J{(z) ·/2(z) + /1(z) · /Hz), |
|||
3 |
· |
(fi(z))' _ |
f{(z) · f2(z) -fi(z) · f2(z) (J2(z) =/:-О). |
|
|
f2(z) |
- |
Й(z) |
|
4. Если ip(z) диффер('нцируема в ·1uчке z, а!(w) дифференцируема
в rочке w = ip(z), то (f(ip(z)))' = f~(ip) · ip~(z).
5. Если в некоторой TO'JK(' z функция f (z) диффрренцирусма и
существует функция |
1-1 (ш), ;~иффере1щируемая в ~очке |
ш = f(z), |
|
Причем |
u-1 (w)) =/:- |
0, ТО j'(z) = u-l~w))'' ГДР 1-1 (w) |
функция, |
|
1 |
|
|
обратная функции f (z).
liJ Приведем без доказательства теорему о дифференцuруемо-
стu основных элементарных фyнкv,uii. комплексного пе ременного: функции w = ez, w = sinz, w = cosz, w = shz, w = chz,
(п Е N) дифференцируемы в любой точке комплексной плос
кости; функции w = tg z и w = th z |
также дифференцируемы в лю- |
|
бой точке плоскости, кроме точек z |
= ~ + nk и z |
= ( ~ + 2nk) · i |
(k = 0,±1,±2, ...) соответственно; для функций w |
= Lnz,w = za в |
|
окрестности каждой точки z =/:- О можно выделить однозначную ветвь, которая является дифференцируемой в точке z функцией.
74.5. Аналитическая функция. Дифференциал
Фундаментальным понятием в теории функций комплексного пе ременного является понятие аналитической функции.
~Однозначная функция f(z) называется аналитuческоii. (голоморфной) в точке z, если она дифференцируема (выполнены
условия Эйлера-Даламбера) в некоторой окрестности этой точки.
Функция f(z) называется aнaлumuчecкoii. в области D, если она
дифференцируема в каждой точке z Е D.
Как видно из э1ого определения, условие аналитичности в точке не совпадает с условием дифференцируемости функции в этой же точке
(первое условие - более сильное).
535
~Точки плоскости z, в которых однозначная функция f(z) анали
тична, называются nравU.11.ьными точками f(z). Точки, в кото
рых функция f(z) не является аналитической, называются особыми
точками этой функции. |
|
|
|
Пусть функция w = f(z) |
аналитична в точке z. Тогда |
lim |
ддw = |
|
' |
дz~О |
Z |
= f'(z). Отсюда следует, что |
i~ = f'(z) +а:, где а: -+О при дz -+ О. |
||
Тогда приращение функции можно записать так: дw = f'(z)дz + а:дz. Если f'(z) "1 О, то первое слагаемое f'(z)Лz является при дz -+ О
бесконечно малой того же порядка, что и дz; второе слагаемое о:дz
есть бесконечно малая более высокого порядка, чем дz. Следователь
но, пЕ>рвое слагаемое составляет главную часть приращения функции
w = /(z).
~ Дифференцuа.яом dw анали1ической функции w = f(z) |
в точке |
|
z называется главная час1ь СС' приращения, т. е. dш = |
f'(z)дz, |
|
или dw = f'(z)dz |
(так как при w = z будет dz = z' дz = дz). Отсюда |
|
следует, что f'(z) |
= ~~, т. е. производная функции равна отношению |
|
дифференциа.па функции к дифференциалу независимого перемЕ>нного.
Заме'Чание. Если функция f(z) = u(.z:, у) + iv(x; у) ана.питична н некоторой области D, то функции и(х;у) и v(x;y) удовлетворяют диф-
а21.Р а2~
ференциальному уравнению Лапласа (а?"+ ау· =О, см. п. 72.2).
Q Действительно, дифференцируя первое из равенств Эйлера-Далам
бера по у, а второе по х, получаем: |
|
2 |
2 |
a u |
a v |
дхау = ду2 '
откуда a2v + a2v =о.
дх2 ду2
2 |
2 |
a v |
a u |
ах2 = - дудх'
•
Функции и(х; у) и v(x; у) являются гармонu'Ческими функциями.
Пример 7,4.З. Проверить, является ли функция w = z 2 аналити
ческой. Найти ее производную.
О Решение: Находим действительную Re w = и и мнимую Im w = v
части функции:
w = z2 |
=(х + iy).i = х2 - |
у2 + 2ixy. |
||
Таким образом, и = х2 - |
у2 , v = 2ху. Проверяем условия Эйлера-Да |
|||
ламбера (74.5): |
аи |
|
av |
|
|
- |
=2х, |
-=2х· |
|
|
ах |
|
ау |
' |
a'IL |
|
av |
|
|
ду = |
-2у, |
- ах= -2У· |
||
536
Условия (74.5) выполняются во всех точках комплексной плоскости z. Функция w = z2 дифференцируема, следовательно, аналитична во
всех точках этой плоскости. Ее производную найдем по одной из фор
мул (74.6), например по первой:
д |
(х2 |
д |
= 2(х + iy) = 2z, |
(z2 )' = - |
- у2 ) + i - (2ху) = 2х + i2y |
||
8 х |
|
8 х |
|
т. е. (z2 )' = 2z.
Заметим, что производную функции ш = z2 можно найти, восполь
зовавшись определением производной (74.4):
ш' = lim дw = lim |
(z + дz)2 - z2 |
= lim 2zдz + (дz)2 |
||
дz-70 дz |
Лz-70 |
дz |
дz-70 |
дz |
|
|
|
= lim |
(2z + дz) = 2z. 8 |
|
|
|
Лz-70 |
|
Пример 74.4. |
Найти анали1ич<>скую функцию w =и+ iv по ее |
|||
заданной действительной части и = х3 |
- 3ху2 + 2. |
|||
О Решение. Отметим, что функция и является гармонической функ-
,,,, ( |
/1 |
_ б |
11 |
_ |
б |
|
|
11 |
+ 11 _ О) |
. |
|
цие" |
их" |
- |
х, иуу |
- - |
|
х, следовательно, ихх |
иуу - |
|
|||
Для |
определения |
мнимой части |
v |
воспользуемся |
условиями |
||||||
Эй.Т1ера-Даламбера (74 5). Так как g~ = (:г.3 - |
3ху2 + 2)~ |
= 3х2 - Зу2, |
|||||||||
то, согласно первому условию, g~ = 3х2 |
- |
3у2 . Отсюда, интегрируя по |
|||||||||
у, находим:
v = j ~~ dy = j (3х2 - Зу2)dy = 3х2у - у3 + ip(x).
Для определения функции rp(x) воспользуемся вторым условием Эйлера-Даламбера. Так как
|
~~ = (х3 |
- |
|
3ху2 + 2)~ = -6ху, |
|
а |
|
|
|
|
|
дv |
= (Зх2 у - |
у |
3 |
+ ip(x))~ |
= бху + ip'(x), |
дх |
|
||||
то -6ху = -(бху + rp'(x)). Отсюда rp'(x) =О и rp(x) =С, где С== const.
Поэтому v == 3х2у -у3 +С. Находим функцию w =и+ iv:
w = и + iv = х3 - 3ху2 + 2 + i(3x2 y - уз +С) =
= х3 +~3а:2у-Зху2 -~уз +2 +Ci = (x+iy) 3 +2 +iC = z 3 +2 +iC. 8
537
74.б. Геометрический смысл модуля и аргумента производной.
Понятие о конформном отображении
Пусть функция w = f(z) аналитична в.. точке zo и f'(zo) f:. О. Вы
ясним геометрический смысл аргумента и модуля производной.
Функция w = f(z) отображает точку z0 плоскости z в точку wo = f (zo) плоскости w.
Пусть произвольная точка z = zo + дz из окрестности точки zo
перемещается к точке z0 по некоторой непрерывной кривой l. Тогда в
плоскости w соответствующая точка w = wo +дw будет перемещаться
к точке wo по некоторой кривой L, являющейся отображением кривой l в плоскости w (рис. 285).
у
х и
Рис. 285
По определению производной f' (zo) = lim |
ддw . Отсюда следует, |
|||
|
|
|
Лz-+О |
Z |
что lf'(zo)I= 1 lim ддwl |
= lim lддwl |
= lim IJiwJI. Величина Jдz\ = |
||
= \z - zo\ |
Лz-+0 Z |
Лz-+0 Z |
Лz-+0 |
Z |
представляет собой расстояние между точками zo и zo + дz, |
||||
а Jдw\ - |
расстояние между точками wo и wo + дw. Следовательно, |
|||
lf'(zo)I есть предел отношения бесконечно малого расстояния между отображенными точками wo и w0 + дw к бесконечно малому рассто янию между точками z0 и zo + дz. Этот предел не1 зависит (J(z) ана
литична в точке z0 ) от выбора кривой l, проходящей через точку z0 .
Следовательно, предел lim |
l(д~~w[[ = /f'(z0 )/ в точке zo постоянен, т. е. |
Лz-+0 |
Z |
одинаков во всех направлениях.
~Отсюда вытекает геометрический смысл модуля производной: ве-
личина IJ'(zo)Iопределяет коэффициент растяжения (подобия) в
точке zo при отображении w = f(z). Величину lf'(zo)Iназывают коэф фuчuентом расm..я;нсенuя, если !f'(zo)I> 1, или коэффициентом с:нсатu.я, если lf'(zo)I< 1.
Пример 74.5. Найти коэффициент растяжения (сжатия) для
функции w = !z2 в точке zo = 3 - 4i.
538
Q Решение: Функция w = !z2 |
аналитична в точке z0 = З - 4i, при |
||||||
этом w' = z. Следовательно, \f'(.zo)\ = \zo\ = \З - 4i\ |
= 5 > 1. |
Коэффи |
|||||
циент растяжения для функции w = !z2 в точке z0 |
равен 5 (плоскость |
||||||
растягивается). |
|
|
|
|
|
8 |
|
Для аргумента производной в точке zo имеем: |
|
|
|||||
argf'(zo) = |
lim |
arg ЛЛw = lim (argЛw - |
argЛz) = |
|
|||
|
дz~О |
Z |
дz~О |
|
|
|
|
|
|
|
= |
lim arg Лw - |
lirn arg Лz = 0:2 - 0:1, |
||
|
|
|
дz~О |
дz~О |
|
|
|
где 0:1 и 0:2 - |
углы, которые образуют касательные к кривым l и L |
||||||
соответственно в точках z0 , |
и w0 с положительными направлениями |
||||||
действительных осей на плоскостях z и w (см. рис. 285). |
|
||||||
Отсюда 0:2 |
= а:1 +argf'(zo). Это означает, что argf'(z0 ) - |
это угол, |
|||||
на который нужно повернуть касательную к кривой l в точке zo для того, чтобы получить направление касательной к кривой L в точке w0 .
Другими словами, argf'(z0 ) - это угол между отображенным и пер
воначальным направлениями касательных к кривым l и L в точках z0 и ш0 соответственно. В этом состоит геометрический смысл аргумента
производной arg f'(zo).
В силу аналитичности функции f(z) в точке z0 (мы предположи ли, что f(zo) -::f. О) угол arg f'(z0 ) один и тот же для всех кривых, про
ходящих через точку zo. Для другой пары кривых l 1 и Ll в тех же
точках zo и wo будем иметь argf'(z0 ) =а:~ - а:~ = 'Р· Таким образом, argf'(zo) = а:2-а1 = а~-а:~, т.е. если кривые l и 11 образуют в точке zo
на плоскости z угол <р = arg f'(zo), то такой же угол 'Р = argf'(zo) будут
образовывать в точке wo кривые L и L 1 , являющиеся отображениями
кривых l и 11 на плоскости w (см. |
рис. 286). |
у |
v |
:/'о
о |
х |
01 |
и |
Рис. 286
Это свойство отображения w = f (z) называется сво11ством сохра нения (консерватизма) уг.лов в точке z0 .
~Отображение w = f(z), обладающее свойством сохранения углов и постоянством растяжений в точке zo, называется конформным
539
