![](/user_photo/2706_HbeT2.jpg)
Lesn3_Integraly
.pdf![](/html/2706/276/html_TLH3nZnw6Y.yDLC/htmlconvd-jhgQmC251x1.jpg)
Глава V. Элементы теории функций комплексной переменной
Лекция 26
§2. Функции комплексной переменной
онятие функции определено для любых множеств X и Y. Перепишем определение для случая, когда X и Y – это подмножества множества комплексных чисел C.
Определение 1. Пусть D C и по некоторому правилу f каждому числу z D поставлено в соответствие единственное число w C. Тогда говорят, что на множестве D задана функция f со значениями в C.
Обозначения: |
|
w = f(z), f : D C. |
(1) |
Область определения функции f(z) всегда будем обозначать через D, а множество значений – через E.
График функции w = f(z) можно изобразить только в четырехмерном геометрическом пространстве R 4, поэтому функцию будем геометрически иллюстрировать, указывая на одном экземпляре комплексной плоскости область D определения функции, а на другом экземпляре комплексной плоскости - множество E значений функции:
y |
|
D |
v |
E |
|
z |
|
|
w |
O |
x |
|
O |
u |
|
|
|
Рассмотрим структуру функции w = f(z). Пусть z = x + iy и w = u + iv. Тогда равенство w = f(z) принимает вид
u + iv = f(x + iy).
Отсюда следует, что переменные u и v являются некоторыми функциями переменных x и y, то есть u = u(x, y) и v =
250
![](/html/2706/276/html_TLH3nZnw6Y.yDLC/htmlconvd-jhgQmC252x1.jpg)
§2. Функции комплексной переменной
v(x, y). Таким образом, функция f(z) комплексной переменной z задается двумя функциями u(x, y) и v(x, y) двух вещественных переменных x и y. Эти функции называются, соответственно,
вещественной и мнимой частями функции f(z). Согласно этому будем писать:
f(z) = u(x, y) + i v(x, y), |
(2) |
u(x, y) = Ref(z), v(x, y) = Imf(z). |
(3) |
Пример 1.
Разложим на составные части функцию f(z) = z2.
Имеем: u + iv = (x + iy)2 = x2 + 2xiy y2 |
= (x2 y2) + i(2xy). |
Таким образом, u = x2 y2 = u(x, y), |
v = 2xy = v(x, y). |
Часто будем рассматривать функции частного вида.
Определение 2. Функция f : D E называется взаимнооднозначной, если для w E существует единственный прообраз z D, такой, что f(z) = w.
В теории функций комплексной переменной такие функции называются также однолистными.
алее обычным образом определяются шесть операций над функциями:
f(z) g(z), |
f(z) g(z), |
f(z) g(z), f(g(z)), |
f 1(z). |
пределяются также простейшие свойства функций:
четность, периодичность, ограниченность по модулю. Но нет понятия монотонной функции!
Обратимся теперь к структуре функций комплексной переменной, которые, в основном, будут исследоваться в дальнейшем.
§3. Элементарные функции комплексной переменной
о аналогии с функциями вещественной переменной вы-
делим сначала 12 основных элементарных функций комплексной переменной.
251
![](/html/2706/276/html_TLH3nZnw6Y.yDLC/htmlconvd-jhgQmC253x1.jpg)
Глава V. Элементы теории функций комплексной переменной
1. Функция-константа f(z) = с.
2. Степенная функция
целочисленного аргумента: f(z) = z n, n Z.
3. Показательная функция
с натуральным основанием:
Пусть z = x + iy C. Полагаем:
ez ex eiy .
Учитывая функцию Эйлера eiy cos y i sin y , получаем
ez ex (cos y i sin y) . |
(1) |
Отсюда следует разложение показательной функции: ez ex cos y iex sin y .
Легко проверяется, что функция e z обладает всеми свойствами показательной функции вещественной переменной. Например, для любых z, z1, z2 имеем:
e z 0, |
ez1 z2 ez1 ez2 . |
Кроме того, к ним добавляются новые свойства.Так как функции sin y и cos y имеют период 2 , то
ez i2 n ezei2 n ez (cos2 n i sin 2 n) ez .
Таким образом,
ez i2 n ez . |
(2) |
Равенство означает, что функция |
e z является периодиче- |
ской на C. Ее период равен 2 i. |
|
252
![](/html/2706/276/html_TLH3nZnw6Y.yDLC/htmlconvd-jhgQmC254x1.jpg)
§3. Элементарные функции комплексной переменной
4. Логарифмическая функция
Пусть z 0. Натуральным логарифмом комплексного чис-
ла z называется число w, удовлетворяющее условию ew = z. Обозначение: w = Ln z.
Согласно определению выполняется равенство eLnz z .
Выразим Ln z в явном виде через z. Пусть Ln z = u + iv. Согласно (1) имеем eLnz eu iv eu (cosv i sin v) z . Отсюда
вытекает, что eu = | z |, то есть u = ln| z |, а v = arg z +2 n. Следовательно,
Ln z = ln| z | + i (arg z +2 n). |
(3) |
Таким образом, функция Ln z является многозначной. Однозначная функция, получаемая из Ln z при n = 0:
ln z = ln| z | + i arg z, |
(4) |
называется главным значением логарифма.
Пример 1.
Вычислим Ln 3.
Имеем: z = 3 = 3 + i0. Поэтому | z | = 3, = 0. Тогда согласно (3)
получаем Ln 3 = ln3 + i 2 n. Если n = 0, то ln z = ln3.
Также получаем ln ( 1) = i, то есть ei = 1.
Из равенства (3) вытекают обычные свойства логарифма. Например,
Ln( z1 z2) = Ln z1 + Ln z2.
Показательная и степенная функции общего вида
Учитывая свойства функций e z и Ln z, можем для любых чисел z1, z2 C \ {0} определить число
z2 |
e |
z |
|
Lnz |
. |
(5) |
z1 |
|
2 |
1 |
|||
|
|
|
|
|
Если в этом равенстве зафиксируем число z2 = , а число
253
![](/html/2706/276/html_TLH3nZnw6Y.yDLC/htmlconvd-jhgQmC255x1.jpg)
Глава V. Элементы теории функций комплексной переменной
z1 = z будем менять, то получим степенную функцию общего вида z .
Если же зафиксируем число z1 = a, а число z2 = z будем менять, то получим показательную функцию общего вида a z.
Данные две функции являются многозначными. Их свойства вытекают из свойств функций e z и Ln z.
5. Тригонометрические функции
Из формулы Эйлера для x R получаем:
eix cos x i sin x , |
e ix cos x i sin x . |
Прибавляя к первому равенству второе и вычитая из первого второе, получим:
cos x |
1 |
(eix e ix ) ; |
sin x |
1 |
(eix e ix ) . |
|
2i |
||||
2 |
|
|
|
Вспомним теперь определения гиперболических функций:
chx |
1 |
(e x e x ) , |
shx |
1 |
(e x e x ) . |
2 |
|
2 |
|
Так как функция e z определена для всех z C, то по аналогии с данными функциями определяем функции комплексной переменной:
cos z |
1 |
|
(eiz e iz ) ; |
chz |
1 |
|
(ez |
e z ) ; |
|
||
|
2 |
|
|
2 |
|
|
|
|
|||
sin z |
1 |
|
(eiz e iz ) ; |
shz |
1 |
(ez |
e z ) ; |
(6) |
|||
|
|
||||||||||
|
2i |
|
2 |
|
|
|
|||||
|
|
tgz sin z ; |
thz shz . |
|
|
||||||
|
|
|
|
cos z |
|
|
chz |
|
|
Аналогично определяются функции ctg z и cth z, однако отдельное исследование этих функций мы проводить не будем.
Непосредственно из равенств (6) получаем, что тригонометрические и гиперболические функции связаны равенствами:
sin iz ishz ; |
s hiz i sin z ; |
|
cosiz chz ; |
c hiz cos z ; |
(7) |
tgiz ithz ; |
thiz itgz . |
|
254
![](/html/2706/276/html_TLH3nZnw6Y.yDLC/htmlconvd-jhgQmC256x1.jpg)
§3. Элементарные функции комплексной переменной
Из равенств (7) вытекает, что гиперболические функции комплексной переменной являются соответствующими тригонометрическими функциями кратного аргумента. Например, chz cos(iz) . Поэтому в дальнейшем отдельное исследование
гиперболических функций мы проводить не будем.
Отметим следующие свойства тригонометрических функций.
1. Функции sin z и cos z определены на всем множестве C и принимают все значения из C. В частности, они не ограничены по модулю.
2. |
Функции |
sin z |
и cos z являются периодическими с |
периодом T = 2 . |
|
|
|
3. |
Функция |
sin z |
нечетна, а функция cos z - четна. |
4. |
Все формулы |
элементарной тригонометрии остаются |
справедливыми и для комплексного случая. Например: sin2 z cos2 z 1 ;
sin(z1 z2 ) sin z1 cos z2 cos z1 sin z2 ; |
(8) |
||
sin 2z 2sin z cos z . |
|
|
|
Из (8) и (7) при |
z1 x и |
z2 iy получаем |
|
sin(x iy) sin x chy i cos x shy . |
|
||
Следовательно, Re(sin z) sin x chy , Im(sin z) cos x shy . |
|||
Функции tgz |
и ctgz |
наследуют свойства своих веще- |
ственных аналогов.
6. Обратные тригонометрические функции
Рассмотрим функцию w = sin z . Арксинусом числа z C называется число w, удовлетворяющее условию sin w z .
Обозначение: |
w Arcsin z . |
||
Выразим w |
через z. Так как z sin w |
1 |
(eiw e iw ) , то |
2i |
255
![](/html/2706/276/html_TLH3nZnw6Y.yDLC/htmlconvd-jhgQmC257x1.jpg)
Глава V. Элементы теории функций комплексной переменной
eiw e iw 2iz . Положим eiw |
t , тогда получим |
t t 1 2iz . |
||||||
Имеем квадратное уравнение |
|
t2 2izt 1 0 . |
Его корни: |
|||||
|
|
|
|
|
|
|
|
|
t |
1 |
(2iz 4z2 4) iz 1 z2 . |
|
|||||
2 |
|
|||||||
1,2 |
|
|
|
|
|
|
|
Вернемся к переменной w: eiw iz 1 z2 . Логарифмируя, получаем iw Ln(iz
1 z2 ) . Окончательно,
Arc sin z iLn(iz 1 z2 ) . |
(9) |
Из равенства (9) вытекает, что функция |
w Arcsin z явля- |
ется многозначной.
Заметим, что в процессе доказательства равенства (9) число z рассматривалось произвольным. Поэтому sin w принимает любое значение из C.
Аналогично вводятся остальные обратные тригонометрические функции и все обратные гиперболические функции. Все они выражаются через логарифмические функции и поэтому являются многозначными.
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Arc sin z iLn(iz |
1 z2 ) ; |
Arc s hz Ln(z |
1 z2 ) . |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||
Arc cos z iLn(z |
z2 1) ; |
Arc c hz Ln(z |
|
z2 1) . |
||||||||||
Arctgz |
i |
Ln |
i z |
; |
|
|
Arcthz |
1 |
Ln |
1 z |
. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
2 |
|
i z |
|
|
2 |
1 z |
|
|
|
еперь мы можем определить функции более общей структуры.
Определение 1. Функция комплексной переменной, получаемая из конечного числа основных элементарных функций с помощью конечного числа основных операций, называет-
ся элементарной функцией.
Основным объектом нашего дальнейшего исследования будет являться класс элементарных функций комплексой переменной.
256
![](/html/2706/276/html_TLH3nZnw6Y.yDLC/htmlconvd-jhgQmC258x1.jpg)
§4. Предел функции комплексной переменной
Лекция 27
§4. Предел функции комплексной переменной
Как и в случае вещественных функций начнем исследование пределов для функций частного вида.
1. Предел последовательности комплексных чисел
онятия последовательности действительных чисел и ее предела легко переносятся на случай комплексных чисел.
Определение 1. Функция, определенная на множестве натуральных чисел N, со значениями во множестве комплексных чисел C называется последовательностью комплексных чисел.
Обозначения:
|
{zn}, |
z1, z2, …, zn, … |
(1) |
|||||
Элемент zn последовательности, для которого указана за- |
||||||||
висимость от номера |
n, называется общим членом последова- |
|||||||
тельности. |
|
|
|
|
|
|
|
|
Пример 1. |
|
|
|
|
|
|
|
|
Последовательность комплексных чисел { n i |
1 |
}. |
|
|||||
|
|
|||||||
|
|
|
|
|
|
n |
|
|
Определение 2. Последовательность |
{zn} |
называется |
сходя- |
|||||
|
щейся к числу |
z0, если любая |
-окрестность этого числа |
|||||
|
||||||||
|
содержит все члены последовательности, начиная с неко- |
|||||||
|
торого номера. |
|
|
|
|
|
|
|
Число z0 называется пределом последовательности {zn}. |
||||||||
Обозначения прежние: |
|
|
|
|
|
|
||
|
lim zn z0 , |
zn z0 |
при n . |
|
||||
|
n |
|
|
|
|
|
|
|
Символическая запись определения предела:
257
![](/html/2706/276/html_TLH3nZnw6Y.yDLC/htmlconvd-jhgQmC259x1.jpg)
Глава V. Элементы теории функций комплексной переменной
|
lim |
zn z0 0 n0 N n n0 |
|
|zn z0 |
| . |
(2) |
|
||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сновное свойство предела последовательности ком- |
||||||||||||||||||||||||||||||||||||||||
плексных чисел раскрывает следующее утверждение. |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
Теорема 1. Пусть zn = xn + iyn . В этом случае |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
предел |
|
lim zn |
|
существует |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
существуют оба предела |
lim |
xn |
и |
|
|
lim |
yn . |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
Если |
|
lim zn |
|
существует, то то выполняются равенства |
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
lim z |
n |
lim (x |
n |
iy |
n |
) = |
|
|
lim x |
n |
+ |
|
i |
lim |
y |
n |
. |
|
|
(3) |
|
|||||||||||||||||||
|
n |
|
n |
|
|
|
|
|
n |
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
Доказательство. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Докажем импликацию . |
Пусть существуют пределы |
|
|||||||||||||||||||||||||||||||||||||||
lim x x |
и |
|
lim y |
|
y . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
n n |
|
0 |
|
|
|
n |
|
n |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Возьмем произвольное > 0. Тогда существует номер n |
, |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|||
что для всех |
|
n n |
выполняется неравенство | |
x x |
|
| |
|
|
|
. |
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
0 |
|
|
|
2 |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Аналогично, существует такой номер n |
, что для всех |
|
n n |
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|||||
выполняется неравенство | |
yn y0 | |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Возьмем |
n max{n |
, n }. Тогда для всех n n |
|
выполня- |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
0 |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
ется условие |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 2 . |
|
|
|
|
|
|||||||
|
| z |
n |
z |
0 |
| = |
|
| x x |2 | y |
n |
y |2 |
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
n |
|
0 |
|
|
|
|
|
0 |
|
|
|
|
2 |
2 |
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Оно означает, что lim zn z0 . n
Импликацию предлагается доказать самостоятельно.►
Замечание. Из теоремы 1 следует, что сходимость комплексной последовательности эквивалентна одновременной сходимости двух вещественных последовательностей. А из ра-
венства (3) вытекает, что все основные свойства веще-
258
![](/html/2706/276/html_TLH3nZnw6Y.yDLC/htmlconvd-jhgQmC260x1.jpg)
§4. Предел функции комплексной переменной
ственных последовательностей имеют место и для комплексных последовательностей.
Для последовательностей, элементы которых представле-
ны в показательной форме, справедлив аналог теоремы 1. |
|
|
|
||||||||||||||||||||
Теорема 2. |
Пусть z |
n |
| z |
n |
| ei n |
. В этом случае |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
предел lim zn |
существует |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
существуют оба предела |
lim | zn | |
и |
lim n . |
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
n |
|
|
|
|
||
|
|
|
Если |
|
lim zn |
|
существует, то выполняется равенство |
|
|||||||||||||||
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim zn = lim | zn | e |
|
|
|
|
|
|
lim n |
|
|
|
|
|||||||||
|
|
|
|
n |
lim |
| zn | |
e n |
. |
(4) |
|
|||||||||||||
|
|
|
n |
|
n |
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство вытекает из соотношений |
| z |
n |
| |
x2 |
y2 |
и |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
n |
|
||
|
|
arctg |
yn |
|
|
|
|
|
|
|
|
||||||||||||
n |
, непрерывности функций |
|
x |
и arctg x. |
|
|
|
► |
|||||||||||||||
|
|
|
|
||||||||||||||||||||
|
|
|
xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Перейдем к рассмотрению общего случая.
2. Предел функции комплексной переменной
Рассмотрим функцию w = f(z), определенную в некоторой проколотой окрестности D точки z0. Как и в случае вещественных функций, рассмотрим два подхода к понятию предела функции комплексной переменной.
Определение 3. (Гейне). Число w0 называется пределом функ-
ции f(z) при z z0, если для всех последовательностей {zn} D, сходящихся к точке z0, последовательности соответствующих значений {f(zn)} сходятся к точке w0.
Обозначение:
lim f (z) w0 . |
(5) |
z z0 |
|
259