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

ТФКП и ОП

.pdf
Скачиваний:
157
Добавлен:
27.03.2016
Размер:
2 Mб
Скачать

31

3) Находим образ отрезка уравнений:

u(x, y) = x2 y2 ,v(x, y) = 2xy,

x = −1.

LM

прямой

x = −1 из системы

 

 

y

2

,

u =1

 

 

v = −2 y.

 

 

Так как y = −v / 2, то u =1v2 / 4. В плоскости u0v это уравнение квадратной параболы, координаты вершины которой (1,0), а

ветви направлены в отрицательном направлении оси 0u.

4) Аналогично находим образ отрезка KN прямой x = −2 из системы уравнений:

 

y) = x

2

y

2

,

 

 

 

u(x,

 

 

 

2

,

 

 

 

 

 

 

 

 

v(x, y) = 2xy,

 

 

 

 

 

 

 

 

 

 

 

 

 

v = −4 y.

 

 

x = −2.

 

 

 

 

 

 

 

 

Поэтому u = 4

v2

- это квадратная парабола, координаты

16

вершины которой

 

 

и ветви направлены в отрицательном

(4;0),

 

направлении оси 0u.

5) Находим образ отрезка MN прямой y = 0 :

u(x, y) = x2 y2 ,v(x, y) = 2xy,

y = 0.

Следовательно, прямая

y = 0 отображается в плоскости

u0v на положительную часть действительной оси. При этом координаты граничных точек отрезка MN в плоскости u0v

будут M (1;0) и N(4;0).

Итак, область D на плоcкости x0 y отобразится на область D

на плоскости u0v вида (рис.14).

u = x2 0,v = 0.

Рис. 14

32

Пример. Построить отображение области D (рис. 15) на плоскости x0 y на плоскость u0v с помощью функции w = ez .

 

 

 

 

 

 

 

Рис. 15

 

 

 

 

 

 

Так как

ez = ex+iy = exeiy = ex (cos y +i sin y),

то действитель-

ная и мнимая части функции ez равны:

 

 

 

 

 

 

 

u(x, y) = ex cos y, v(x, y) = ex sin y.

 

 

1) Находим образ отрезка MN,

исключая x и y из системы

уравнений:

 

 

 

 

 

 

 

 

 

 

 

 

x

cos y,

 

 

 

 

 

 

 

 

 

 

u = e

 

 

u = ex cos 4,

 

 

 

 

 

 

v = ex

sin y,

 

 

 

v

= tg 4,

 

v = (tg 4)u.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

 

y = 4.

 

 

v = e

x

sin 4,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметим,

что tg 4 1,16 > 0 , и образом прямой y = 4 , парал-

лельной действительной оси 0x в плоскости x0 y ,

будет прямая

v 1,16u, проходящая через начало координат в плоскости u0v .

Так как

координаты

граничных точек

отрезка

MN :

M (1;4), N (2;4),

то

координаты

этих точек в

плоскости

u0v :

 

2

cos 4;e

2

sin 4) . Вычисляя, находим

 

M (e cos 4;e sin 4),

N (e

 

 

 

 

 

 

 

 

Следовательно, отрезок

MN

M (1,78;2,06), N (4,83;5,59).

отображается на отрезок

расположенный в третьей четвер-

M N ,

ти плоскости u0v .

2) Находим образ отрезка ML прямой x =1 из системы уравнений:

 

 

 

 

33

 

x

cos y,

 

 

u = e

 

u = e cos y,

 

v = ex

sin y,

u2 +v2 = e2 - это окружность

 

 

 

 

 

x =1.

 

v = esin y,

 

 

 

 

 

 

радиуса R = e с центром в начале координат в плоскости u0v . Ко-

ординаты точки L

 

 

в плоскости u0v : L (e cos 0;e sin 0) = (e;0).

 

3) Аналогично получим образ отрезка NK прямой x = 2 :

 

x

cos y,

 

 

 

u = e

 

 

u = e2 cos y,

 

v = ex

sin y,

 

u2 + v2 = e4 - это окруж-

 

 

 

 

 

 

 

x = 2.

 

 

v = e2 sin y,

 

 

 

 

 

 

 

 

 

 

 

 

ность радиуса R = e2 с центром в начале координат в плоскости u0v . Координаты точки K(e2 cos 0; e2 sin 0) = (e2 ;0) (7,39;0).

Образ Dобласти D при отображении, осуществляемом функцией w = ez , показан на рис. 16.

Рис. 16

2.2. Свойства основных элементарных функций комплексной переменной

Эти функции являются естественным распространением на комплексную область наиболее распространенных в математическом анализе элементарных функций: показательных, тригонометрических, гиперболических, логарифмических функций действительной переменной.

34

Определим основные элементарные функции комплексной переменной z как суммы таких степенных рядов, в которые разлагались эти функции, когда переменная z была действительной:

 

 

 

 

 

 

 

z

2

 

 

 

 

 

 

 

 

 

 

 

 

z

n

 

 

 

 

 

 

 

 

z

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ez =1+ z +

 

 

 

+

 

... +

 

 

+... =

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2.2)

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

2

 

 

 

 

 

 

 

z

4

 

 

 

 

 

 

 

 

 

 

 

z

2n

 

 

 

 

 

 

 

 

 

 

z

2n

 

 

 

 

 

cos z =1

 

 

 

 

 

 

+

 

 

 

 

... +(1)n

 

 

 

 

 

... =

(1)n

 

 

 

,

 

 

 

(2.3)

 

 

 

 

 

 

 

 

 

 

 

(2n)!

(2n)!

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

4!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

z

3

 

 

 

 

 

z

5

 

 

 

 

 

 

 

 

 

 

 

 

z

2n+1

 

 

 

 

 

 

 

 

 

z

2n+1

 

 

sin z = z

 

 

 

 

 

+

 

 

 

... +(1)n

 

 

 

 

 

 

... =

(1)n

 

 

,

(2.4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2n +1)!

 

 

 

 

 

3!

 

 

 

 

 

 

 

5!

 

 

 

 

 

 

 

 

 

 

 

(2n +1)!

 

 

 

 

 

n=0

 

 

 

 

 

 

z

2

 

 

 

 

 

 

 

 

z

 

4

 

 

 

 

 

 

 

z

2n

 

 

 

 

 

 

 

 

 

z

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

ch z =1+

 

 

 

 

 

 

+

 

 

 

 

 

... +

 

 

 

... =

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

(2.5)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2n)!

(2n)!

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

4!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

3

 

 

 

 

 

 

 

z

5

 

 

 

 

 

 

 

z

2n+1

 

 

 

 

 

 

 

 

 

 

 

z

2n+1

 

 

 

 

 

 

 

 

 

 

sh z = z +

 

 

 

 

 

+

 

 

 

... +

 

 

 

 

 

 

 

+... =

 

 

 

 

.

 

 

 

 

 

 

 

(2.6)

 

 

 

 

 

 

 

 

 

 

(2n +1)!

(2n +1)!

 

 

 

 

 

 

 

3!

 

 

 

 

5!

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

Справедливость этих разложений будет доказана ниже.

 

Если в разложениях (2.2 – 2.6) заменить z

 

любым положи-

тельным действительным числом r, то получившиеся ряды будут сходящимися на всей числовой оси. Поэтому, если в них заме-

нить произвольное положительное r на

 

z

 

 

 

z

 

, как отмечалось,

 

 

 

 

положительное действительное число при

z 0), то ряды (2.2 -

2.6) в комплексной области будут абсолютно сходящимися в лю-

бой точке плоскости z (так как будут сходящимися ряды,

состав-

ленные из модулей членов [10]).

 

 

Подставляя в ряд (2.2)

iz

вместо

z , получим

 

eiz =1+iz

z2

iz3

+

z4

... +

(iz)n +...

(2.7)

 

 

2!

 

3!

4!

 

n!

 

Умножим далее равенство (2.4) почленно на i и сложим с равен-

ством (2.3):

cos z +i sin z =1+iz

z2

iz3

+

z4

...

(2.8)

2!

3!

4!

 

 

 

 

 

35

Сопоставляя ряды (2.7) и (2.8) можно заключить, что справедливо равенство

eiz = cos z +i sin z.

(2.9)

Это важное равенство, связывающее показательные и тригонометрические функции комплексного аргумента, называется формулой Эйлера. Формула Эйлера позволяет перейти от тригонометрической формы записи комплексного числа (1.4) к показательной (1.10).

Заменяя в (2.9) z на (- z ), получим

eiz = cos z i sin z.

 

 

 

(2.10)

Отметим интересные частные случаи формулы Эйлера:

π

 

π

2

 

e±2πi =1, e±πi = −1, e±2 i = ±i, e

±

4 i =

(1±i).

 

 

 

2

 

Складывая и вычитая формулы (2.9), (2.10), получим формулы, выражающие тригонометрические функции комплексной переменной через показательные функции

cos z =

eiz +eiz

,

sin z =

eiz eiz

.

(2.11)

2

2i

 

 

 

 

 

Из формул (2.2, 2.5, 2.6) следует, что гиперболические функции комплексной переменной связаны с показательными равенствами

ch z =

ez +ez

,

sh z =

ez ez

.

(2.12)

2

2

 

 

 

 

 

Заменяя в (2.12) z на (- z ), устанавливаем связь между гиперболическими и тригонометрическими функциями комплексной переменной

ch iz =

eiz + eiz

= cos z,

sh iz =

eiz eiz

= i sin z.

(2.13)

2

2

 

 

 

 

 

Используя формулу Эйлера и свойства показательной функции, нетрудно убедиться в том, что тригонометрические функции cos z и sin z , как и в случае действительного аргумента, имеют период 2π, и для них справедливо основное тригонометрическое тождество

36

 

 

 

 

iz

 

iz

2

 

iz

 

iz

2

cos2

z +sin2

z = e

 

+e

 

 

+ e

 

e

 

=

 

 

 

 

 

2

 

 

 

 

 

2i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

e2iz + 2 +e2iz

e

2iz 2 + e2iz

 

 

 

4

 

 

 

 

4

 

=1.

 

 

 

 

 

 

 

 

 

 

 

Остаются в силе и другие тригонометрические формулы. Однако на комплексной плоскости тригонометрические функции

cos z

и sin z перестают быть ограниченными. Например,

 

cosi =

ei2

+ ei2

 

=

 

e + e1

1,543 >1,

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

тогда как при действительном x

 

cos x

 

1,

 

sin x

 

 

1.

 

 

 

 

 

Функции tg z и ctg z

определяются обычным образом

 

tg z = sin z ,

 

 

 

ctg z =

cos z

.

 

 

 

 

 

 

 

cos z

 

 

 

 

 

 

 

 

 

sin z

 

Из формул (2.13) и основного тригонометрического тожде-

ства

cos2 ϕ +sin2 ϕ =1 легко получить равенство

 

 

 

ch2 ϕ sh2 ϕ =1.

 

Из этой формулы следует, что аналогично тому, как точка с

координатами x = cosϕ, y = sinϕ

 

 

описывает единичную окруж-

ность x2 + y2 =1, так и точка с координатами x = chϕ, y = shϕ при изменении ϕ описывает равнобокую гиперболу, уравнение которой x2 y2 =1.

Это обстоятельство и объясняет происхождение названия функций chϕ и shϕ - “гиперболические”.

Если в формулах (2.11) сделать замену z на iz, то приходим к следующим соотношениям:

cosiz =

ei2z +ei2z

=

ez + ez

= ch z,

(2.14)

 

2

2

 

 

 

 

 

 

 

 

sin iz =

ez ez

= −

sh z

,

 

2i

 

i

 

 

откуда следует

 

 

 

 

 

 

sh z = −i sin iz.

 

 

(2.15)

 

 

 

37

Для показательной функции комплексного аргумента справедлива теорема сложения в виде

 

ez1+z2 = ez1 ez2 .

 

 

 

 

 

 

В частности, если z = x +iy, то

 

 

 

 

 

ez

= ex+iy = ex eiy = ex (cos y +i sin y), откуда следует,

что

 

ez

 

= ex ,

 

 

а одно из значений аргумента равно y.

 

 

 

 

 

 

Теперь легко видеть, что ez 0 на всей комплексной плос-

кости. Действительно, так как ez = ex cos y +iex sin y,

то функция

ez

может равняться нулю только, если одновременно

 

e

x

cos y = 0,

Но так как ex

ex

sin y = 0.

 

 

 

 

 

cos y = 0,

няться равенства sin y = 0,

0, то должны одновременно выпол-

что при действительных значениях y

невозможно. Следовательно, ez 0.

Используя теорему сложения и формулу Эйлера, легко убедиться в том, что показательная функция комплексной переменной оказывается периодической с мнимым периодом 2πi, то есть справедливо равенство

ez+2kπi = ez , где k = 0,±1,±2,...

Действительно, ez+2kπi = ez e2kπi = ez (cos 2kπ +i sin 2kπ) = ez .

Геометрически периодичность функции ez означает, что всем точкам, лежащим в плоскости z на прямой, параллельной мнимой оси на расстоянии 2π друг от друга (то есть точкам z + 2kπi, k - произвольное целое число), соответствует одна и та

же точка w = ez в плоскости w.

2.3. Логарифмическая функция комплексной переменной

Логарифмическая функция комплексного аргумента определяется как функция, обратная показательной: число w называется комплексным логарифмом числа z и обозначается символом w = Lnz , если ew = z.

Если w = u +iv, то ew = eu+iv = eu eiv = eu (cos v +i sin v),

 

 

 

 

 

 

 

 

38

 

 

 

 

 

 

 

 

 

ew

 

=

 

z

 

= eu , откуда следует

u = ln

 

z

 

. Здесь ln

 

z

 

- обычный на-

 

 

 

 

 

 

 

 

туральный логарифм, так как

 

z

 

- положительное действительное

 

 

число.

Arg(ew ) = Arg z = v. Поэтому приходим к равенству

Ln z = ln z +i Arg z = ln z +i(arg z + 2kπ) k = 0,±1,±2,... (2.16)

Таким образом, каждое комплексное число z 0 имеет бесчисленное множество логарифмов. Другими словами, комплексный логарифм есть бесконечнозначная функция: еë действительная часть определяется однозначно, а мнимая – с точностью до слагаемого, кратного 2π. Главным значением логарифма числа z будет значение, соответствующее главному значению аргумента:

ln z = ln z +i arg z.

Легко показать, что правила о логарифме произведения и частного действительных чисел справедливы и для логарифмов комплексных чисел, то есть

 

 

 

 

 

 

Ln(z1z2 ) = Ln z1

+ Ln z2

 

z1

 

= Ln z1

Ln z2 .

 

, Ln

 

 

 

z2

 

 

 

Итак, распространение в комплексную область обычных в анализе элементарных функций действительной переменной привело к тому, что они приобрели ряд новых отличительных свойств:

показательная функция ez оказалась периодической,

тригонометрические функции cos z и sin z перестали быть

 

ограниченными,

приобрëл смысл логарифм отрицательных чисел.

Пример. Вычислить значения функций:

а) w = sin z при

z = 5 i; б) w = 3 2 ch z2 при z = 2 +i.

а) Так как

sin(5 - i) = sin5cosi - cos5sini , то применяя форму-

лы (2.14), (2.15), получим

sin(5 - i) = sin5ch1cos5 - sh1i = sin5ch1icos5sh1.

2-ой способ:

 

39

 

 

 

sin z = sin(5

i) =

ei(5i) ei(5i)

=

e e5i e1e5i

=

2i

2i

 

 

 

 

=2i [e(cos5 +i sin 5) e1 (cos5 i sin 5)] = sin 5 e +2e1

i cos5 e 2e1 = sin 5ch1i cos5sh1 ≈ −1,48 0,34i.

Заметим, что sin(5 i) (1,48)2 + (0,34)2 =1,52 >1.

б) ch z2 = ch(2 +i)2 = ch(3 + 4i).

Так как ch(x ±iy) = ch x cos y ±i sh x sin y , то

ch(3 + 4i) = ch 3cos 4 +i sh 3sin 4 ≈ −6,517.61i.

Поэтому w = 3 2 ch z2 = 3 2 ch(2 +i)2 16,02 +15,22i.

Пример. Найти Ln(10).

Ln(10) = ln 10 +i(π + 2kπ) = ln10 +iπ(1+ 2k), k = 0,±1,...

Пример. Решить уравнения:

а) cos z + 2 = 0;

б) 2i sin z +3 eiz 3i = 0.

 

а) Так как

cos z =

eiz + eiz

, то уравнение может быть запи-

 

2

 

eiz

+eiz

 

 

 

 

 

 

сано в виде

+ 2 = 0 или e2iz + 4eiz +1 = 0. Это квадратное

 

 

2

 

 

 

 

(eiz )

 

 

уравнение относительно eiz , его корни:

= −2 ±

3.

 

 

 

 

 

 

 

1,2

 

 

Логарифмируя эти равенства, находим

 

 

 

iz = Ln(2 ±

3) = ln 2 ±

3 +i[arg(2 ±

3) + 2πk],

k = 0,±1,±2,...

Так как числа 2 ±

3 < 0, то arg(2 ±

3) =π. Следовательно,

z = 1ln 2 ±

3 + arg(2 ±

 

3) + 2πk =π(1+ 2k) i ln 2 ±

3 , k = 0,±1,..

i

 

 

 

 

 

 

 

 

 

Итак, уравнение а) имеет две серии корней:

z1k =π(1+ 2k) i ln 2 + 3 , z2k =π(1+ 2k) i ln 2 3 .

б) Заменяя sin z по формуле (2.11), приводим уравнение к виду eiz = 3 3i. Логарифмируя это равенство, получим

 

π

 

iz = Ln(3 3i) = ln 3 2 +i

4

+ 2kπ , k = 0,±1,±2,...

 

 

 

40

Следовательно, корни уравнения б) равны

z =

π

+ 2kπ +i ln 3 2, k = 0,±1,±2,...

 

4

 

2.4.Непрерывность и дифференцируемость функций комплексной переменной

Пусть функция комплексной переменной w = f (z) опреде-

лена и однозначна в некоторой окрестности точки z0

= x0 +iy0 .

Говорят, что существует предел функции

f (z) = u(x, y) +iv(x, y)

при z z0 , если существуют пределы lim u(x, y) = u0

и

 

 

 

 

 

 

xx0 ,

 

 

 

lim v(x, y) = y0 . При этом

 

 

yy0

 

 

 

lim f (z) = u0 +iv0 = w0 .

 

 

xx0 ,

zz0

 

 

 

 

 

 

 

yy0

 

 

 

 

 

 

 

 

Определение предела может быть также сформулировано с

помощью понятия окрестности:

 

lim f (z) = w0 , если

для любого

малого ε > 0 найдется

такое

 

zz0

что из

неравенства

 

δ > 0,

 

z z0

 

<δ следует неравенство

 

f (z) w0

 

 

< ε.

 

 

 

 

 

 

Эти определения аналогичны обычным определениям предела для функции действительной переменной. Поэтому основные свойства пределов в действительной области остаются справедливыми и для функций комплексной переменной:

lim[ f (z)

zz0

lim[ f (z)

zz0

lim f (z)

zz0 ϕ(z)

±ϕ(z)] = lim

zz0

ϕ(z)] = lim

zz0

lim f (z)

=zlimz0 ϕ(z) ,

zz0

f (z) ± limϕ(z),

zz0

f (z) limϕ(z),

zz0

limϕ(z) 0.

zz0

Отметим, что из существования конечного предела функции комплексной переменной вытекает независимость этого предела от способа стремления z к z0 (то есть z = z z0 может стре-

миться к нулю по любому пути).

Функция f (z) называется непрерывной в точке z0 , если она определена в некоторой окрестности z0 (включая саму точку

z0 ) и lim f (z) = f (z0 ). Геометрически непрерывная функция ха-

zz0