Функции комплексного переменного и их приложения Часть 1
..pdfПри |
© = и +/V |
в силу |
(2.98) |
получим |
е“ |
= |
еи*к = е“ |
|
(cos v |
+ |
/ sin v ). |
|
|
|
|
|
|
Из |
условия |
равенства комплексных |
чисел, |
записанных |
||||
в тригонометрической |
форме, |
имеем е" =|z|, |
т.е. |
и =ln|zj, |
||||
v = Argz = argz + 21ск, k e .Z . Отсюда |
|
|
|
|||||
|
|
Ln z = lnjz| + / Argz = ln|z| + i(argz+2A:^),A: e Z |
(2.104) |
Равенство (2.104) позволяет по заданному комплексному числу z * 0 вычислить его логарифм. Значение Ln z, соответст вующее в (2.104) значению к = 0, называют главным значением логарифма и записывают
(2.105)
Выбирая однозначную ветвь многосвязной области Lnz, можно показать, что на логарифм комплексного числа распро страняются известные свойства натурального логарифма:
п
Пример 2.19. Вычислить: a) Ln(-/); б) Ln(-l-z')
4 |
J 2 |
\ 4 |
у |
L n (-1 - /) = —1п2- / • — + / • 2кк. 2 4
Можно говорить о возведении комплексного числа в произ вольную комплексную степень. По определению полагаем, что
a 2 |
= e xLaa , а * 0 . |
(2.106) |
При фиксированном |
а * 0 это соотношение |
определяет |
общую показательную Фу н к ц и ю . Как и в случае логарифма, выделяют главное значение показательной Фу н к ц и и а2, рав ное e:Lno
Соотношение |
|
za =e ahn: |
(2.107) |
при фиксированном а определяет многозначную функцию в об ласти С\{0}, называемую обшей степенной функцией.
|
|
|
/, |
Л1_/ |
|
|
Пример 2.20. Вычислить 1 и '1 + 1' |
|
|
||||
|
|
|
V2 |
|
|
|
Имеем |
- е'ш = |
|
|
|
|
|
Главное значение i' =е /2 |
|
|
|
|||
Аналогично |
|
|
|
|
||
' i + Л |
1-/ |
(l-/)Ln^ _ |
(l-/)(lnl+(^+2*4) _ |
К/Л+Ы« |
71 . . |
А |
= г |
7С |
|||||
|
= е |
= |
г' |
cos— + /sm — |
||
^ V 2 J |
|
|
|
|
4 |
4 j |
|
|
= ^ ( 1 + /)е^ +2*- |
|
|
||
Главное значение |
' 1 + Лн равно ~ { \ + i)e^ |
|
2.14. Обратные трнгонометрические функции
Функции arcsinz, arccosz, arctgz, arcctgz определяют как
обратные к синусу, косинусу, тангенсу и котангенсу соответст венно и называют обратными тригонометрическими функциями
комплексного переменного. Пусть, например, 2 = cos©, тогда © называют арккосинусом числа z и обозначают arccosz.
Для вычисления © при любом |
е С |
воспользуемся |
|
соотношением |
ei(D+ е~т |
|
е,и =/, тогда |
cos© = -----------. Обозначим |
|||
1 +Г 1 |
Откуда |
|
|
z = cos © = ------- |
|
|
|
2 |
|
|
|
|
t1 - 2zt +1 = 0 |
|
(*) |
Решив квадратное уравнение относительно t, получим два его решения с,, и с,2 которые определим по формуле
^i,2 =Z + Vz2-1 . Учтём, что t = e a , тогда /©= Ln^zW z2 -1 j .
Итак, окончательно
arccosz = -/Ln^z+-\/z2- l j . |
(2.108) |
Аналогично с помощью логарифмической функции можно вы разить и другие обратные тригонометрические функции
arcsin z = - / Ln /^z+ Vz2—1 j ; |
(2.109) |
|||
arctgz = |
i , |
1 |
+ iz |
(2.110) |
Ln |
1 |
; |
||
|
2 |
-iz |
|
|
|
1_ |
|
z + i |
(2.111) |
arcctg z = — Ln----- |
||||
|
2 |
|
z - i |
|
Для найденных соотношений (2.108-2.111) остановимся на вопросе нахождения главных значений. Рассмотрим функцию arccosz.
Поскольку для решений 2 квадратного уравнения (*) вер но соотношение х - 1, то )£,,[ х |t,2| = 1 и arg^, + arg^2 = 2nk,
к е Z Главное значение аргумента комплексного числа есть число из промежутка (-я, я], т.е. это число не превосходит я
по модулю, причём |
-тс исключается. |
Поэтому |
либо |
arg£,, + arg£,2 = 0, либо |
arg^, + arg^2 = 2тс. Значит, либо |
два ар |
|
гумента отличаются лишь знаком, либо оба равны я . |
|
||
Отсюда следует, что из двух значений |
и £,2 одно имеет |
главное значение аргумента, принадлежащее отрезку [о,л]
Обозначим его через |
Ему соответствует значение много |
значной функции arccosz, |
равное - / ln£ = - / ln|£,| + argE,, кото |
рое называют главным значением арккосинуса и обозначают arccosz
Итак, по определению
arccos z = arg£, - i ln|£,|,
где £ = z+ v z2- 1, причём из двух возможных значений выбира
ется то, аргумент которого попадает в промежуток [0,71].
Другие значения arccosz либо отличаются от главного зна чения арккосинуса слагаемым 2кж, k e Z , либо формируются
вторым значением выражения z + -\/z2 - 1 , равным —: |
|
||
|
/ |
|
|
arccos z = —г Ln |
= - /(- ln|^| - iarg£, + 2kni)~ |
|
|
- _arg^ + г ln|^| - 2 к 7i = -arccosz -2fot, |
k eZ . |
|
|
Таким образом, все значения arccosz описываются |
|||
формулой |
|
|
|
arccos z = ± arccos z + 2кж, |
к е Z . |
(2.112) |
Аналогично получаются главные значения остальных об ратных тригонометрических функций.
Можно показать справедливость тождеств
7С arcsin z+ arccos z = —,
arctg z+ arcctg z = —.
На основании утверждения, что для любого значения arccos z существует такое значение arcsinz , что сумма этих
„ % значении равна —.
Пример 2.21. Решить уравнение 4cos г+ 5 = 0.
Учитывая (2.108), получим cos z = |
. Отсюда |
|||||
|
|
|
|
4 |
|
|
z = arccos (— |
5 ) |
5 |
25 |
| |
= - / Ln |
r 5 + 3^ |
= - / Ln ----+ |
----- 1 |
|
||||
1 |
4 J |
1 4 П |
16 |
|
|
|
Тогда, используя (2.104), находим |
|
|
|
|||
|
|
L n — + /я + 2/£л: |
= /Ьп2 + (2 £ + 1 )я , |
|||
|
|
2 |
|
|
|
|
z2 = - / Ln(- 2) = - / (bn2 +71 + 2 |
тг)= - г Ln2 + (2к+ 1)тт |
Итак, окончательно z = ± /1п2 + (2к +1)л, к е Z
2.15. Производная функции комплексного переменного. Необходимые и достаточные условия дифференцируемости функции
Пусть функция f{z) определена и непрерывна в некоторой окрестности v(z0) точки z0€ С. Дадим z0 приращение A z, та
кое, что z0+A zev(z0) |
Разность /(z 0+ A z )-/(z 0) назовём |
приращением функции |
со = /(z) в точке zo (соответствующим |
заданному приращению Дz аргумента г в этой точке) и обозна чим A/( z 0) или просто Дсо.
Определение 1. Если существует конечный предел |
|
Ит М ^ = ит /1 -. + Аг) - / Ц |
(2.113) |
Аг->0 Д 7 |
Дг-»0 |
Л 7 |
то его называют производной функции Яг) комплексного перс-
менного |
в точке zo и обозначают |
d f'iz |
) |
|
/'( г 0) или — |
(иногда |
|||
|
|
|
dz |
|
,/ \ |
|
dco(zo)> |
|
|
со (z0) или |
dz |
|
|
|
|
|
|
|
|
Итак, если существует конечный предел (2.113), то |
||||
|
|
/'( z 0)= lim |
iim А Л го) |
(2.114) |
|
|
Л :->0 Д 2 |
Ад—>0 Д Z |
|
Определение 2. Функцию комплексного переменного z на зывают дифференцируемой в точке zn. если её приращение Af ( z Q) в этой точке можно представить как
Д /(г0)= Л Д г+ 0 (Д г), |
(2.115) |
где А - комплексное число, которое не зависит от Az, но может |
зависеть от z0; 0(Az) - обозначает функцию, бесконечно малую,
при A z —>0 более |
высокого порядка малости по сравнению |
|
cAz, т.е. |
lim 0(Az)/Az = 0. |
|
|
Az->0 v 7 |
|
В |
дальнейшем |
дифференцируемость функции со = f(z) |
в точке z0 будем отождествлять с существованием у неё в этой точке конечной производной.
Пример 2.22. Показать, что функция |
f { z ) - z m (т - нату |
|||||||
ральное) дифференцируема в каждой точке z € С . |
|
|
||||||
Составим предел |
|
|
|
|
|
|
|
|
|
„ (z + AzY"-zm |
|
|
|
|
|||
|
lim Л------- |
Дz--------- |
|
= |
|
|
|
|
|
Ад—>0 |
|
|
|
|
|
|
|
т |
т -\ А 171\!П — 1) |
т -1 . |
2 |
+ |
/ . \т |
- z |
т |
|
z + m z |
Az + —*---- Lz |
Az |
|
... + (Az) |
|
|||
= lim ------------------------- |
|
2-------------------------------------- |
|
|
|
|
|
= |
Az->0 |
|
Д 7 |
|
|
|
|
|
|
|. |
m-zm *AZ + 0 (A Z ) |
|
|
|
|
|
Д-->о
(2.116)
что по форме совпадает с производной степенной функции дей ствительного переменного.
Главную часть приращения А/(z 0), линейную относитель но Az, называют дифференциалом функции комплексного пере менного f ( z) в точке zQ и обозначают d /(z 0) Так же, как и в действительном случае, получаем d /(z 0) = /'(z 0)* Az
Учитывая, что dz = A z , приходим к соотношению
|
|
d f(z0) = f'(z0)-dz |
|
(2.117) |
||
Теорема 1. Если функция f[z) = u{x,y)+iv(x,y) имеет ко |
||||||
нечную |
производную /'(z 0) в точке zQ=x0+iy0, то |
функции |
||||
и(х,у) |
и v(xj>) |
являются |
|
дифференцируемыми |
в точке |
|
z0 =x0+ iy0 и в этой точке выполняются равенства |
|
|||||
|
|
|
|
„ |
M W o ) |
а п 8 ) |
|
дх |
ду |
’ |
ду |
дх |
|
Доказательство. Пусть функция Дг) имеет производную f'{zo)~ A+iB в точке z0 = х0 + /уо Тогда приращение A/( z 0) этой функции в точке z0можно представить в виде
A/ ( zo) = / '( zo)Az+0(Az)- |
(2.119) |
Обозначим Д z = Ах+ iДу , тогда
и (х0 + Ах,у0 +Ду)+ IV (х0 + Дх,у0 + Ду)-и (х0,y0)-iv (х„,У0)=
- Ам(хо’3>о)+lAv (*о ’Уо)•
Используем |
условие Дz -> 0 , которое |
равносильно одновре |
|
менному |
выполнению |
условий |
Д х-»0, Д у-»0, или |
p = \Az\ = ^ A x 2 +A y 2 —» 0 Пусть 0(Дг)= 0|(р)+/02(р), где 0](р)
и 02(р) - б.м. при р —» 0 более высокого порядка по сравнению с р. Условие существования производной функции в точке 20 оз начает выполнение равенства
Ли(*о.З'о)+1'Ду(*о>.Уо):=
= (А + Ш)• (Дх + iAy)+ Oj(р)+/02{р).
Сравнивая в этом равенстве действительные и мнимые час
ти, получим |
|
|
|
|
|
|
Аи(х0,у 0)=А- Ах-В А у+ 0{(р), |
(2.120) |
|||||
Av(x0,yQ = B-Ax + AAy + 02(p). |
|
|||||
Тем самым доказано, что |
в |
точке |
(хо, |
у0) функции |
и(х, у) |
|
и v(x, у) дифференцируемы, причём |
|
|
|
|||
л - |
ди(хо’Уо) |
д _ |
М |
хо>Уо |
( 2 . 121) |
|
|
дх |
’ |
|
|
ду |
|
|
|
|
|
|||
в _ |
ду(х0,у0) |
A _ dv(x0,y 0) |
|
|||
|
дх |
’ |
|
ду |
|
Из приведённых равенств и вытекают условия (2.118). Замечание. Из равенств (2.121) можно получить формулу
для вычисления производной функции комплексного пере менного
/ I |
L |
dx |
' 0 |
dx |
Соотношения (2.118) обычно называют условиями Коши - Римана.
Остановимся теперь на достаточных условиях дифферен цируемости функции.
Теорема 2. Если функции и(х, у) и v(xj>) дифференцируемы в точке (х0, уо) и в этой точке выполнены условия Коши - Рима
на, то функция Дг) = и(х, у) + iv(x, у) комплексного переменного z = x+iy имеет в этой точке z0= JC0 + iyo производную /'(z), ко торую можно вычислить по одной из формул:
|
= ди(х0,у0) + .av(x0,y0) |
|
||
|
|
дх |
дх |
|
|
_ ди{х0,у0) _ ,ди{х0,у0) |
|
||
|
|
дх |
ду |
|
|
Г (Л = dv{x0,y0) _ .ди{х0,у0) |
(2.122) |
||
|
|
ду |
ду |
|
|
|
|
||
|
Г(Л= |
д у (*о ,У 0) + . ду(дг0,у 0) |
|
|
|
J V' |
ду |
дх |
|
Доказательство этой теоремы |
можно найти, например, |
|||
в работе [7]. |
|
|
|
|
Опираясь |
на доказанные в теоремах 1 и 2 необходимые |
|||
и достаточные |
условия |
дифференцируемости функции ком |
плексного переменного, можно сформулировать следующий критерий дифференцируемости функции комплексного пере менного: для того, чтобы функция f{z) = и(х, у)+ /v(.t, }■’) была дифференцируема в точке Zo = XQ+ iyo, необходимо и достаточ но, чтобы:
1) функции и(х, у) и v(x, у) были дифференцируемы в точке
(*о, Уо); 2) в точке (дго, Уо) выполнялись условия (2.118) Коши -
Римана.
При выполнении этих условий производную /'(г 0) можно вычислять по любой из формул соотношения (2.122).
Пример 2.23. Показать, что функция fiz) = ё дифферен цируема на всей комплексной плоскости, и найти её произ водную.
Используя формулу Эйлера, получим
<г" = ех+'у = ех ■е,у = ех(cosy + i siny).
Тогда и(х, у) = ех • cos у , v(x, у) = ех ■sin у Эти функции дифференцируемы в R2
ди |
dv |
|
— =е |
cos у —— |
, |
дх |
ду |
|
ди |
X ■ |
dv |
=- е |
smy = - — , |
|
ду |
|
дх |
т.е. условия Коши - Римана выполнены. Следовательно, функ ция ег дифференцируема в каждой точке комплексной плоско сти. Согласно (2.122) найдём
|
|
|
/ |
|
Л' |
ди |
.dv |
|
х |
cosy +ie~ siny |
=е~ |
|
|
|
|||
|
|
|
\е |
) = — |
+ i— =■е< |
|
|
|
|||||||||
|
|
|
V ’ |
дх |
дх |
|
|
|
|
|
|
|
|
|
|||
|
2.16. Условия Коши - Римана в полярных координатах |
||||||||||||||||
|
|
Пусть |
z = re'v. |
Тогда |
можно |
записать / ( z ) = и(г, ф ) |
+ |
||||||||||
+ iv{r, ф). |
По |
формулам |
вычисления |
частных |
производных |
||||||||||||
сложной функции [3] найдём |
|
|
|
|
|
|
|
|
|
||||||||
|
|
ди__ди_ дг_^ди_ |
д^_ |
ди |
ди |
дг |
ди |
Эф |
|
||||||||
|
|
дх |
|
дг |
дх |
Эф |
дх ’ |
ду |
дг |
ду |
Эф |
|
д у ' |
|
|||
|
|
dv |
|
|
dv |
dr |
dv |
Эф |
dv |
dv |
|
дг |
dv |
Эф |
/ \ |
||
|
|
дх |
|
|
дг |
дх |
Эф |
дх ’ |
ду |
дг |
|
ду |
Эф |
ду |
|
||
|
|
Учитывая формулы связи между декартовыми и полярны |
|||||||||||||||
ми |
координатами точки |
на |
плоскости |
х = гсоБф, |
у = г simp, |
||||||||||||
г |
2 |
2 |
, |
2 |
|
|
У |
|
|
|
|
|
|
|
|
|
|
|
—х +у |
|
tg(p = —, получаем |
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
JC |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
аг |
|
|
|
ГС05ф |
= COS |
ф , |
|
|
|
||
|
|
|
|
|
|
дх |
|
|
= = — —— |
|
|
|
|||||
|
|
|
|
|
|
у[ 7 + у |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
5ср _ |
|
|
у |
rsm y |
sincp |
(**) |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
дх
п о