Учебное пособие 800297
.pdf1.3. Функции комплексного переменного
Определение функции комплексного переменного анало-
гично определению функции действительного переменного. На некотором множестве точек, изображающих значения ком-
плексной переменной z, задана функция w f z , если каж-
дой точке z этого множества поставлено в соответствие одно (в случае однозначной функции) или бóльшее число (в случае многозначной функции) значений w.
Примеры:
1. Функция w z2 однозначна и определена на всей комплексной плоскости, т.к. с помощью формулы (1.17), по которой производится возведение комплексного числа в степень, всякому комплексному числу z соответствует одно значение z2 .
2. Функция w Arg z многозначна и определена на всей
плоскости, за исключением точки z 0 .
Так как задание комплексного числа z равносильно заданию двух действительных чисел x и y, являющихся соответст-
венно его действительной и мнимой частями z x iy , а числу w точно так же однозначно соответствует пара действительных чисел u и v w u iv , то задание функции комплексного переменного w f z равносильно заданию двух функций
u u x, y , |
v v x, y |
(1.20) |
от двух действительных переменных x и y.
Пример: если w z2 , то полагая z x iy , w u iv , получим
f z u iv x iy 2 x2 y2 2ixy .
Следовательно, равенство w z2 равносильно равенствам
u x2 y2 , |
v 2xy . |
11
Каждой действительной функции f x действительно-
го переменного x ставится в соответствие некоторая кривая на плоскости OXY – график этой функции. Для функций комплексного переменного наглядное графическое представление невозможно. Вместо этого используется понятие отображения.
Если значения переменной z изображать с помощью точек некоторой плоскости (плоскости z), а значения функции w
– с помощью точек другой плоскости (плоскости w), то функция w f z устанавливает соответствие между точками плоскости z, в которых эта функция определена, и точками плоскости w. Другими словами, функция w f z осуществ-
ляет отображение точек плоскости z на соответствующие точки плоскости w. Точка w называется образом точки z, а точка z – прообразом точки w.
1.4. Предел и непрерывность функции комплексного переменного
Число w0 называется пределом функции |
f z при z, |
стремящемся к z0 , и пишут |
|
lim f z w0 , |
(1.21) |
z z0 |
|
если для любого положительного числа , как бы мало оно ни было, существует такое положительное число , что для всех значений z, удовлетворяющих условию z z0 , выполняет-
ся неравенство |
|
f z w0 |
|
. |
|
|
|
|
|||
Из определения следует, что если существует предел |
|||||
lim f z w0 , то существуют и пределы |
lim u x, y u0 и |
||||
z z0 |
|
|
|
|
x x0 |
|
|
|
|
|
y y0 |
lim v x, y v0 , |
|
где z0 x0 iy0 , w0 u0 iv0 . Справедливо и |
|||
x x0 |
|
|
|
|
|
y y0 |
|
|
|
|
|
обратное утверждение.
12
Введенное нами определение предела функции комплексного переменного ничем не отличается от определения предела функции действительного переменного, следовательно, все доказываемые в курсе математического анализа теоремы о пределах и бесконечно малых остаются в силе для функций комплексного переменного.
Следует отметить, что предел функции f z при z z0
существует тогда и только тогда, когда существуют пределы этой функции, если z z0 по любой кривой L, проходящей
через точку z0 , и если все эти пределы равны между собой.
Это означает что существование предела накладывает на функции комплексного переменного более жесткие ограничения, чем на функции действительного переменного.
Функция f z называется непрерывной в точке z0 , если функция w f z определена в точке z0 и в некоторой ее ок-
рестности и предел lim f z |
существует и равен значению |
z z0 |
|
функции f z в точке z0 , т.е. |
lim f z f z0 . |
|
z z0 |
Поскольку сформулированное нами определение непрерывности совпадает с определением непрерывности для функций действительного переменного, то доказываемые в курсе математического анализа теоремы о непрерывности суммы, разности, произведения, частного непрерывных функций, а также непрерывной функции от непрерывной функции остаются в силе для функций комплексного переменного.
Можно показать, что из непрерывности функции комплексного переменного f z следует непрерывность ее дей-
ствительной и мнимой частей u x, y и v x, y . Справедливо и обратное утверждение: непрерывность функций u x, y и v x, y влечет за собой непрерывность функции f z .
13
1.5. Основные трансцендентные функции комплексного переменного
1.5.1. Ряды с комплексными членами
Ряд с комплексными членами
z1 z2 ... |
zn ..., |
(1.22) |
так же, как и ряд с действительными членами, называется сходящимся, если существует конечный предел его частичной суммы Sn z1 z2 ... zn при n . Этот предел называется
суммой ряда: S lim Sn .
n
Ряд (1.22) сходится тогда и только тогда, когда сходятся
ряды
x1 x2 ... |
xn |
... |
, |
(1.23) |
y1 y2 ... |
yn |
... |
, |
(1.24) |
составленные из действительных и мнимых частей членов ряда (1.22). Следовательно, для определения характера сходимости рядов с комплексными членами можно применять теоремы о сходимости рядов с действительными членами.
Если сходится ряд
z1 |
|
|
|
z2 |
|
|
|
|
zn |
|
, |
(1.25) |
|
|
|
|
|
составленный из модулей членов ряда (1.22), то ряд (1.25) также сходится и называется абсолютно сходящимся.
1.5.2. Показательная и тригонометрические функции
Введем определения основных трансцендентных функций для комплексных значений независимого переменного. Принимая во внимание известные для действительных значе-
ний x разложения функций ex , sin x , |
cos x в степенной ряд, |
||||||
положим по определению: |
|
|
|
|
|
|
|
ez 1 z |
z2 |
|
z3 |
... |
zn |
... , |
(1.26) |
|
|
|
|||||
2! |
3! |
|
n! |
|
|
14
sin z z |
z3 |
|
z5 |
... 1 n |
|
z2n 1 |
|
... , |
(1.27) |
|||||
|
|
|
|
|
|
|
|
|||||||
3! |
|
5! |
|
|
2n 1 ! |
|
||||||||
cos z 1 |
z2 |
|
z4 |
... 1 n |
z2n |
|
... |
(1.28) |
||||||
|
|
2n ! |
||||||||||||
2! |
4! |
|
|
|
|
|
Ряды, стоящие в правых частях этих равенств, сходятся, причем абсолютно, при любом комплексном значении z.
Функции ez , sin z , cos z связаны между собой формулой Эйлера:
eiz cos z i sin z . |
(1.29) |
Действительно, подставив в равенство (1.26) iz вместо z, получим:
|
|
|
eiz 1 iz |
z2 |
|
iz3 |
|
z4 |
|
iz5 |
... |
||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
2! |
|
3! |
|
4! |
5! |
|
||||||||
|
|
z2 |
|
z4 |
|
|
|
|
z3 |
|
z5 |
|
|
|
|
||||||
1 |
|
|
|
|
... |
i |
z |
|
|
|
|
|
|
... |
cos z i sin z. |
||||||
2! |
4! |
3! |
5! |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Если в формуле Эйлера заменить z на –z, то получим
|
e iz cos z i sin z . |
(1.30) |
|||||
Из равенств (1.29) и (1.30) находим, что |
|
||||||
|
cos z |
|
eiz e iz |
|
|||
|
|
|
|
, |
(1.31) |
||
|
|
|
2 |
||||
|
|
|
|
|
|
|
|
|
sin z |
eiz e iz |
|
||||
|
|
|
. |
(1.32) |
|||
|
|
|
|||||
|
|
|
|
2i |
|
||
Равенства (1.30) – (1.32) также называются формулами |
|||||||
Эйлера. |
|
|
|
|
|
|
|
Показательная функция ez |
обладает известным свойст- |
||||||
вом: ez1 ez2 |
ez1 z2 . В частности, |
|
|
|
|
|
|
ez 2 i |
ez e2 i ez cos 2 i sin 2 ez 1 i 0 ez . |
Следовательно, функция ez является периодической с периодом 2 i .
Если z x iy , где x и y – действительные числа, то
15
ez ex iy ex eiy ex cos y i sin y . |
(1.33) |
||||
Отсюда следует, что |
|
ez |
|
ex , а одно из значений Arg ez |
|
|
|
||||
равно y. Учитывая, что ex |
0 , утверждаем, что функция ez не |
обращается в нуль ни при каком комплексном z.
Равенство (1.33) позволяет вычислять значения показательной функции при любых комплексных значениях показателя.
|
|
|
Примеры: e2 3i e2 cos3 i sin 3 , |
e i 1 , |
e 2 i i . |
Тригонометрические функции комплексного переменного сохраняют многие свойства тригонометрических функций действительного переменного. В частности,
sin2 z cos2 z 1,
cos z1 z2 cos z1 cos z2 sin z1 sin z2 , sin z1 z2 sin z1 cos z2 sin z2 cos z1 , cos 2z cos2 z sin2 z .
sin 2z 2sin z cos z .
Эти соотношения доказываются с помощью формул Эйлера. Докажем, например, первое свойство:
sin2
Функции
|
|
|
|
|
iz |
e |
iz 2 |
|
iz |
e |
iz 2 |
|
||||||
z cos2 |
z |
|
|
e |
|
|
|
|
e |
|
|
|
|
|
||||
|
|
|
2i |
|
|
|
|
2 |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
e2iz 2 e 2iz |
|
|
e2iz 2 e 2iz |
|
|
|
4 |
|
1. |
|
||||||||
4 |
|
|
|
|
4 |
|
|
|
|
4 |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tg z и ctg z определяются с помощью равенств
tg z |
sin z |
|
|
eiz e iz |
|
|||||
|
|
|
|
, |
(1.34) |
|||||
cos z |
i eiz e iz |
|||||||||
ctg z |
cos z |
|
i eiz e iz |
|
(1.35) |
|||||
sin z |
eiz e iz |
|||||||||
|
|
|
|
|
Тригонометрические функции комплексного переменно-
16
го периодичны. Функции cos z и sin z имеют, как и в случае действительного аргумента, период 2 , а функции tg z и ctg z
– период .
Формулы (1.31) и (1.32), а также формулы для косинуса суммы и синуса суммы позволяют вычислять cos z и sin z при любом комплексном значении аргумента z.
Пример 1: cos i e1 e 1 1, 543 . 2
Таким образом, cos i – действительное число, большее единицы (тогда как при действительном значении аргумента
|
cos x |
|
1). Вообще, |
функции |
cos z и |
sin z могут принимать |
|
|
|||||
значения, сколь угодно большие по модулю: |
||||||
|
|
|
lim |
sin z , |
lim |
cos z . |
|
|
|
Im z |
|
Im z |
|
Пример 2:
sin 1 2i sin1cos 2i cos1sin 2i ch 2sin1 i sh 2cos1.
1.5.3. Гиперболические функции
Эти функции определяются равенствами
sh z |
ez e z |
ez e z |
sh z |
|
|
ch z |
|
|||
|
, ch z |
|
, th z |
|
, |
cth z |
|
. |
||
2 |
2 |
ch z |
sh z |
|||||||
|
|
|
|
|
|
Функции sh z и ch z раскладываются в тригонометрический ряд следующим образом:
|
z3 |
z5 |
|
z2n 1 |
|
||||||||
sh z z |
|
|
|
|
|
... |
|
|
... , |
(1.36) |
|||
3! |
5! |
2n 1 ! |
|||||||||||
|
|
z2 |
|
z4 |
|
z2n |
|
||||||
ch z 1 |
|
|
|
... |
|
... |
(1.37) |
||||||
2! |
4! |
2n ! |
Принимая во внимание формулы (1.31), (1.32), (1.34), (1.35), заметим, что гиперболические функции легко могут быть выражены через тригонометрические:
sh z i sin z , |
ch z cos iz , |
th z i tg iz , |
cth z i ctg z . |
17
Из этих тождеств следует периодичность гиперболических функций, причем периоды sh z и ch z равны 2 i , а th z
и cth z равны i .
Пользуясь этими равенствами, можно получить ряд формул, связывающих гиперболические функции:
ch2 z sh2 z 1,
ch z1 z2 ch z1 ch z2 sh z1 sh z2 , sh z1 z2 sh z1 ch z2 sh z2 ch z1 , ch 2z ch2 z sh2 z ,
sh 2z 2sh z ch z .
1.5.4. Логарифмическая функция. Показательная функция с любым комплексным основанием
Логарифмическая функция определяется как функция, обратная показательной. Комплексное число w называется ло-
гарифмом комплексного числа z 0 , если ew z . В этом случае пишут w Ln z .
Положив z r ei , w u iv , получим, согласно определению логарифмической функции:
eu iv r ei ,
или
eu eiv r ei .
Отсюда имеем:
eu r , или u ln r ; v 2k , ( k 0, 1, 2,... ).
Следовательно,
w Ln z u iv ln r i 2k ,
т.е. |
|
Ln z ln z i arg z 2k ln z i Arg z . |
(1.38) |
Ввиду многозначности величины Arg z логарифм является многозначной функцией. Главным значением логарифма числа z называется то значение Ln z . Которое соответствует
18
главному значению аргумента числа z (при k 0 ) и обозначается символом ln z :
ln z ln |
|
z |
|
i arg z , |
Ln z ln z 2k i . |
(1.39) |
|||
|
|
||||||||
Пример: Найти |
|
ln 1 |
и Ln 1 . Так как |
|
1 |
|
1, |
||
|
|
|
arg 1 , то
ln 1 ln1 i i ,
Ln 1 i 2k i 2k 1 i .
Из формулы (1.38) следует, что логарифмическая функция обладает известными свойствами логарифма действительного переменного:
Ln z1z2 Ln z1 Ln z2 ,
Ln |
z1 |
Ln z Ln z |
|
, |
||||
|
2 |
|||||||
|
z2 |
1 |
|
|
||||
|
|
|
|
|
|
|
|
|
Ln zn n Ln z 2k i . |
||||||||
Ln n |
|
|
1 |
Ln z . |
|
|
||
z |
|
|
||||||
|
|
|
||||||
|
|
|
|
|
n |
|
|
|
Определим теперь выражение a z |
|
для любых комплекс- |
||||||
ных a и z формулой: |
|
|
|
|
|
|
|
|
|
|
az ez Ln a . |
|
(1.40) |
В силу многозначности логарифма выражение a z , определенное равенством (1.40), многозначно. Его главным значением будем называть то, которое получается, если подставить в правую часть (1.40) ln a вместо Ln a .
Пример: Найти ii . Так как i 1 , arg i 2 , то
Ln i 2k i i2 4k 1 i2 ,
ii ei Ln i e 4k 1 2 ,
где k – любое целое число. Главное значение ii равно e 2 .
19
1.5.5. Обратные тригонометрические и гиперболические функции
Обратные тригонометрические функции определяются как функции, обратные по отношению к тригонометрическим.
Если z sin w, то число w называется арксинусом числа z и обозначается w Arcsin z . Используя определение синуса,
имеем: z sin w eiw e iw , откуда eiw 2iz e iw 0 , или
2i
e2iw 2iz eiw 1 0 .
Решив это уравнение, получим:
eiw iz 1 z2 ,
т.е.
iw Ln iz 1 z2
или |
1 z2 . |
|
w Arcsin z i Ln iz |
(1.41) |
Всилу многозначности логарифма и двузначности корня
вформуле (1.41), функция Arc sin z является многозначной.
Аналогично определяются и другие обратные тригоно-
метрические функции. Можно показать, что |
|
||||||||||
Arc cos z i Ln z |
|
|
|
, |
|
||||||
z2 |
1 |
(1.42) |
|||||||||
Arc tg z |
i |
Ln |
i z |
, |
|
(1.43) |
|||||
|
|
i z |
|
||||||||
2 |
|
|
|
|
|
||||||
Arc ctg z |
i |
Ln |
z i |
. |
(1.44) |
||||||
|
|
||||||||||
2 |
|
|
z i |
|
|
|
Пример. Найти Arc sin 2 . С помощью (1.38) и (1.41) получим:
20