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

Book_2016_Liubchyk_Vyshcha_matemat_teoriia_funkts

.pdf
Скачиваний:
1
Добавлен:
26.03.2021
Размер:
2.37 Mб
Скачать

 

 

1 iz

 

 

 

 

1

 

2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

Ln

 

 

 

 

ln

 

i

 

 

2 k

ln 2

i

2 k

 

 

 

 

, k

;

1 iz

2

 

 

3

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

3i

 

 

 

 

 

 

 

 

 

2

 

 

 

 

i ln 2

 

 

 

 

 

 

3

i

 

 

 

 

 

 

 

 

 

 

 

Arctg

 

 

 

 

 

 

 

 

 

 

 

ln 2 i

 

2 k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

2

 

 

 

 

 

 

 

3

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 k

 

 

 

 

 

k

 

 

 

 

i ln 2 .

 

 

 

 

 

 

 

 

 

 

 

 

2

 

3

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

45

§9. Границ я і неп ерерв ніст ь фун кц ії компле ксно ї змі нно ї

Нехай функція комплексної змінної f z визначена в області

E , яка містить точку z0 .

Озна чен ня 9.1. Число 0 називається границею функції f z в

точці z0 , якщо для будь-якого 0 можна вказати таке 0 , що

для всіх точок

z E , які

задовольняють умову 0

 

z z0

 

, має

 

 

місце нерівність

 

f z 0

 

 

.

 

 

 

 

 

 

Границя записується у вигляді: lim f z 0 .

 

 

 

 

 

 

 

z z0

 

 

З означення границі функції комплексної змінної випливає, що z

може наближатися до z0 довільним способом, отже, фукція при будь-

якому способі наближення до 0

повинна приймати це значення.

Оскільки f z u x, y iv x, y , а

 

0 f z0 u x0 , y0 i v x0 , y0 ,

то з 0

lim f z випливає, що

 

 

z z0

 

 

lim u x, y u x0 , y0

; lim v x, y v x0 , y0 .

 

z z0

z z0

Звідси випливає, що всі властивості границь для функцій двох дійсних змінних є справедливими й для функцій комплексної змінної.

Озна чен ня 9.2. Функція f z називається неперервною в

точці z z0 , якщо існує скінченна границя

lim f z і її значення

 

z z0

збігається з f z0 , тобто:

 

lim f z f z0 .

(9.1)

z z0

 

46

Також, як і в дійсному аналізі, позначимо z z z0 і назвемо цю величину прирістом аргументу. Тоді f z f z0 назвемо при-

рістом функції. Умова неперервності функції в цьому випадку може бути записана в наступному вигляді:

lim lim 0 .

(9.2)

z z0

z 0

 

Аналогічно з функцією дійсного аргументу, нескінченно малою можна назвати величину, яка має своєю границею нуль. Отже, неперервність функції в точці є, якщо нескінченно малому прирісту аргументу відповідає нескінченно малий приріст функції.

О зн а ч е н н я 9.3. Функція f z , неперервна в кожній точці

області E , називається неперервною в цій області.

Всі теореми дійсного аналіза про неперервні функції є справедливими й в комплексной області. Сформулуємо їх.

Тео рема 9.1.

 

Сума і добуток двох функцій комплексної змінної

f1 z і

f2 z , неперервних

в

області

E , також є неперервними

функціями в цій області; функція

 

f1 z

неперервна в тих точках об-

 

f2 z

 

ласті E , де f2 z 0 .

 

 

 

 

 

Тео рема 9.2.

 

Функція

f z , неперервна в замкненій області

E , є обмеженою в цій області, тобто існує така константа M , що

для всіх z

 

:

 

f z

 

M .

 

 

 

 

 

E

 

 

 

 

 

 

 

Тео рема 9.3.

 

Функція

f z , неперервна в замкненій області

E , приймає в ній свої максимальне і мінімальне за модулем значення.

47

§10. Похідна фу нкц ії к омплек сної зм ін ної . Умови Кош і - Ріма на

Нехай в області E комплексної площини z

задано функцію

f z .

Озна чен ня 10.1.

Якщо для точки z0 E існує (при

z 0 )

границя відношення:

 

 

 

 

 

 

 

 

f z0 z f z0

,

 

 

(10.1)

 

 

z

 

 

 

 

 

 

 

 

 

 

то ця границя називається похідною функції

 

f z по комплексній

змінній z в точці z0 і позначається

f z0 , тобто

 

f z0

lim

f z0 z f z0

.

(10.2)

 

z

 

 

 

z 0

 

 

 

 

 

Функція в цьому випадку називається диференційовною в точці z0 . Якщо існує границя (10.2), то вона не залежить від способа на-

ближення z 0 .

Вимога диференційовності функції комплексної

зміної в точці z0

накладає дуже важливі умови на поведінку дійсної й

уявної частин цієї функції в околі точки x0 , y0 .

 

 

Тео рема 10.1.

Якщо функція

f z u x, y iv x, y

диферен-

ційовна в точці

z0

x0

iy0 ,

то

в

точці

x0 , y0

існують

частинні

похідні функцій

u x, y

і v x, y

по змінних x і

y , причому мають

місце відношення:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

 

 

v

 

 

; u

 

 

 

v

 

 

.

(10.3)

 

 

 

x

 

x0 , y0

y

 

x0 , y0

y

 

x0 , y0

x

 

x0 , y0

 

 

 

 

 

 

 

 

 

 

 

 

Дані відношення носять найменування умов Коші-Рімана. Справедливе й зворотне твердження.

48

Те о ре м а 10.2. Якщо в точці x0 , y0 функції u x, y і v x, y диференційовні, а їхні частинні похідні зв’язані відношеннями (10.3),

то функція f z u x, y iv x, y є диференційовною функцією ком-

плексної змінної z в точці z0 x0 iy0 .

 

Озна чен ня 10.2.

Якщо функція

f z диференційовна в усіх

точках деякої

області

E , а її похідна

неперервна в цій області, то

функція f z

називається аналітичною функцією в області E .

Таким чином, з теорем 10.1 і 10.2 випливає, що необхідною і до-

статньою умовою аналітичності функції

f z u x, y iv x, y в об-

ласті E є існування в цій області неперервних частинних похідних

функцій u x, y

і v x, y , зв’язанних відношеннями Коші-Рімана (10.3).

Для комплексного числа в тригонометричній формі відношення

(10.3) приймають вигляд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

1

 

v

;

v

 

1

 

u

;

 

z

 

.

 

(10.4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f z за-

 

 

 

 

 

 

 

 

 

 

 

 

При виконуванні умов Коші-Рімана похідна

функції

пишється відповідно:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

v

v

u

 

u

 

u

v

v

 

f

z x

i x y i y

x i y y

i x .

(10.5)

 

Для комплексного числа в тригонометричній формі:

f z

 

u

i

v

 

1

 

v

i

u

 

 

 

 

 

 

 

 

 

 

.

(10.6)

 

 

 

 

 

 

 

z

 

 

 

 

z

 

 

 

 

 

Точки, в яких функція

f z

не є аналітичною (зокрема точки, в

яких f z не визначена), називаються особливими точками.

49

П р и к л а д 10.1. З’ясувати, чи є функція аналітичною f z zez .

Р о з в ’ я за н н я .

Знайдемо дійсну і уявну частини функції:

z x iy; z x iy ;

ez ex iy ex e iy ex cos y i sin y ex cos y i sin y ; f z x iy ex cos y i sin y xex cos y yex sin yi yex cos y xex sin y .

Функції:

u x, y ex x cos y y sin y ,

 

v x, y ex y cos y x sin y

є диференційовними функціями змінних x і y .

u ex x cos y y sin y ex cos y ex x cos y y sin y cos y ,x

u ex x sin y sin y y cos y ,y

v ex y cos y x siny ex sin y ex y cos y x sin y sin y ,x

v ex cos y y sin y x cos y .y

Розглянемо умови Коші-Рімана (10.3) (Запишемо їх у вигляді системи рівнянь):

ex x cos y y sin y cos y ex cos y y sin y x cos y ,

ex x sin y sin y y cos y ex y cos y x sin y sin y ;

x cos y y sin y cos y cos y y sin y x cos y,

x sin y sin y y cos y y cos y x sin y sin y;

2x cos y 2 y sin y 0,

x cos y y sin y 0,

 

 

2x sin y 2 y cos y 0;

x sin y y cos y 0.

50

Система має розв’язком x y 0 . Таким чином, умови Коші-Рімана виконуються тільки в точці 0;0 . Отже, функція f z zez диферен-

ційовна тільки в точці 0;0 , але вона не є аналітичною в цій точці, тому що не є диференційовною в околі даної точки.

П р и к л а д 10.2. З’ясувати, чи є функція аналітичною f z z i cos z .

Р о з в ’ я за н н я .

z x iy ;

 

 

 

 

eiz e iz

 

ei x iy

e i x iy

 

eix e y

e ix ey

 

cos z

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e y

cos x i sin x

ey

 

cos x i sin x cos x

ey e y

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

 

2

 

i sin x

 

ey e y

cos x ch y i sin x sh y .

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f z x iy i cos x ch y i sin x sh y

 

x cos x ch y y 1 sin x sh y

i y 1 cos x ch y xsin x sh y .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким чином, дійсна й уявна частини досліджуваної функції:

u x, y x cos x ch y y 1 sin x sh y,v x, y y 1 cos x ch y x sin x sh y.

Знайдемо частинні похідні отриманих функцій:

u cos x ch y x sin x ch y y 1 cos x sh y ,x

u x cos x sh y sin x sh y y 1 sin x ch y ,y

v y 1 sin x ch y sin x sh y x cos x sh y ,x

51

v cos x ch y y 1 cos x sh y x sin x ch y .y

Розглянемо умови Коші-Рімана (10.3):

cos x ch y xsin x ch y y 1 cos x sh y cos x sh y y 1 cos x sh y xsin x ch y,

x cos x sh y sin x sh y y 1 sin x ch y y 1 sin x ch y sin x sh y x cos x sh y.

Отже, умови Коші-Рімана виконуються в усій комплексній пло-

щині,

тому функція

f z є аналітичною в усій комплексній площині.

Обчислимо похідну функції f z згідно з формулами (10.5):

 

 

u

v

 

f

z x

i x

cos x ch y x sin x ch y y 1 cos x sh y

 

i y 1 sin x ch y i sin x sh y ix cos x sh y

cos x ch y i sin x sh y x sin x ch y i cos x sh y

y 1 cos x sh y i sin x ch y cos x ch y i sin x sh yy 1 cos x sh y i sin x ch y ix cos x sh y i sin x ch ycos x ch y isin x sh y i x i y 1 cos x sh y isin x ch y

cos z cos x ch y i sin x sh y cos z z i sin z . sin z sin x ch y i cos x sh y

За ува ж е н ня . Похідні аналітичних функцій f z обчислюють-

ся з допомогою тих самих правил і таблиці похідних, що й похідні функцій однієї дійсної змінної.

52

§11. Власт ивост і анал іт ичн их фун кці й

Означення похідної (10.2) дозволяє перенести на аналітичні функції комплексної змінної низку властивостей диференційовних функцій дійсною змінної.

1°. Якщо

 

f1 z

і

f2 z аналітичні функції в області E , то

f1 z f2 z і

f1 z f2

z також є аналітичними функціями в області

E , а функція

 

f1

z

є аналітичною функцією всюди, де f2 z 0 .

 

 

 

 

 

f2

z

 

 

2°. Якщо f z

є аналітичною функцією в області E площині

комплексної змінної

z ,

причому в області її значень G на площині

визначена аналітична функція S , то функція F z f z

є

 

 

 

аналітичною функцією комплексної змінної z в області E .

 

 

3°. Якщо в області E визначено аналітичну функцію f z ,

при-

чому f z 0 , то в області G значень функції f z визначено обер-

нену функцію z , яка є аналітичною функцією аргументу . При

цьому, якщо 0 f z0 , то має місце співвідношення f z0

 

1

.

 

 

0

 

 

 

4°. Нехай в області E площини XOY

задано функцію

u x, y ,

яка є дійсною частиною аналітичної функції

f z . Тоді уявна частина

цієї функції визначається з точністю до адитивної сталої.

Внаслідок умов Коші-Рімана (10.3), по заданій функції u x, y одно-

значно визначається повний диференціал невідомої функції v x, y :

dv vx dx yv dy uy dx ux dy .

53

§12. Гармоніч н і фун кц ії

Внаслідок умов Коші-Рімана (10.3) дійсна й уявна частини

аналітичної функції

f z задовольняють рівняння Лапласа:

 

2u

 

2u

0 ;

2 v

 

2 v

0

u 0; v 0 .

(12.1)

x2

 

y2

 

x2

 

y2

 

 

 

Озна чен ня 12.1. Функції, які задовольняють рівняння Лапласа (12.1), називаються гармонічними.

Дві гармонічні функції, зв’язані умовами Коші-Рімана, називаються взаємно спряженими гармонічними функціями. Вони яляють собою дійсну й уявну частини деякої аналітичної функції. Завжди можна побудувати аналітичну функцію, для якої дана гармонічна функція є дійсною або уявною частиною.

П р и к л а д 12.1. Відновити аналітичну функцію f z u x, y iv x, y ,

якщо її уявна частина

 

v x, y ex sin y 2xy 5y

і f 0 0 .

Р о з в ’ я за н н я .

 

 

 

 

 

 

 

 

 

Перевіримо, що функція v x, y

є гармонічною функцією:

v

ex sin y 2 y

;

2 v

ex sin y

;

 

 

 

 

x

 

 

x2

 

 

 

 

 

 

 

v

ex cos y 2x 5 ;

2 v

ex

sin y

2v

 

2v

0 .

y

y2

x2

y2

 

 

 

 

 

 

 

Враховуючи умови Коші-Рімана (10.3):

u v ex cos y 2x 5 ;x y

u v ex sin y 2 y .y x

54

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