Lesn3_Integraly1
.pdfГлава VI. Интегрирование функций нескольких переменных
z1,2 1 2i .
Из следствия 1 вытекает, что, как и в случае действительных корней, имеет место разложение квадратного трехчлена:
az2 bz c a(z z1 )( z z2 ) .
На этом мы закончим первое знакомство с комплексными числами. Перейдем к исследованию функций, определенных на множествах комплексных чисел.
250
§2. Свойства двойного интеграла
Лекция 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 =
251
Глава VI. Интегрирование функций нескольких переменных
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 основных элементарных функций комплексной переменной.
252
§2. Свойства двойного интеграла
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. |
|
253
Глава VI. Интегрирование функций нескольких переменных
4. Логарифмическая функция
Пусть z 0. Натуральным логарифмом комплексного чис-
ла z называется число w, удовлетворяющее условию ew = z. Обозначение: w = Ln z.
Согласно определению выполняется равенство
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 + i 0. Поэтому | 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 = , а число
254
§2. Свойства двойного интеграла
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 ) . |
2 |
|
|
2i |
|
Вспомним теперь определения гиперболических функций:
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 . |
|
255
Глава VI. Интегрирование функций нескольких переменных
Из равенств (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 |
|||||
|
|
|
|
256
§2. Свойства двойного интеграла
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. Функция комплексной переменной, получаемая из конечного числа основных элементарных функций с помощью конечного числа основных операций, называет-
ся элементарной функцией.
Основным объектом нашего дальнейшего исследования будет являться класс элементарных функций комплексой переменной.
257
Глава VI. Интегрирование функций нескольких переменных
Лекция 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 |
|
|
|
|
|
|
|
Символическая запись определения предела:
258
§2. Свойства двойного интеграла
|
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 |
|
| |
|
|
|
. |
|
||||||||||||||||||||||||||||||
|
n |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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) вытекает, что все основные свойства веще-
259