Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Lesn3_Integraly1

.pdf
Скачиваний:
7
Добавлен:
11.05.2015
Размер:
4.48 Mб
Скачать

Глава 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

eLnz

Глава 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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]