Материал: 2373

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

11

2.2.Производная функции комплексного переменного. Формулы для вычисления производной

Определение. Производной однозначной функции комплексного переменного w = f(z) в точке z0 называется предел отношения приращения функции к приращению аргумента, если приращение аргумента произвольным образом стремится к нулю, то есть

 

 

 

 

 

 

 

 

 

 

 

f (z0 ) = lim

w

= lim

 

f (z0 +

z) f (z0 )

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z0

 

z0

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение. Функция, имеющая производную при данном значении z,

называется дифференцируемой при этом значении z.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть функция w = f(z) имеет в точке z0 производную. Поскольку в

определении производной

 

 

z

произвольным образом стремится

к нулю,

в

качестве

 

 

z можно взять

 

 

x

(это значит,

 

что точки z = z0

 

+

 

 

 

z

 

лежат на

прямой, проходящей через точку z0 параллельно действительной оси). Тогда

 

 

 

 

 

 

 

f

 

 

 

) = lim

w

= lim

xu + i x v

=

u

(x

 

, y

 

)

+ i

v

(x

 

, y

 

).

 

 

 

 

 

 

 

 

 

(z

0

 

x

 

 

x

 

 

x

0

0

x

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Взяв в качестве приращения

 

z =i

y,

получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

w

= −i lim

 

 

yu +i y v

= −i(

u

(x

 

, y

 

) +i

v

(x

 

, y

 

 

 

 

 

v

(x

 

, y

 

 

f (z

0

) = lim

 

 

 

 

 

 

 

 

y

0

0

y

0

0

)) =

y

0

0

)

 

 

 

 

 

 

y

 

 

 

 

 

 

y0 i y

 

y

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

u

(x

0

, y

0

).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Производную функции f(z) можно считать по любой из полученных выше формул

f ( z) =

u

+ i

v

и

f (z) =

v

i

u .

x

x

y

 

 

 

 

 

y

Можно показать, что производные функций zn, ez, cos z, sin z, ch z, sh z, n z, Ln z, zα находятся по тем же формулам, что и для действительного аргумента (в случае многозначных функций производные берут от их однозначных ветвей). Основные правила дифференцирования функций действительного переменного справедливы и для функций комплексного переменного.

12

2.3. Аналитические и гармонические функции

Определение. Функция комплексного переменного f(z), определенная в области D и дифференцируемая в каждой точке этой области, называется аналитической в области D.

Теорема. Необходимым и достаточным условием аналитичности функции

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

вобласти D плоскости z является существование и непрерывность частных производных первого порядка функций u и v в D и выполнение условий КошиРимана

u

=

v

,

u

= −

v .

x

 

y

 

y

 

x

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

Замечание. Из условий Коши-Римана вытекает, что производную функции f(z) можно считать также по формулам

 

 

 

 

v

 

v

 

 

u

 

 

 

 

 

f

 

 

+i

 

и f (z) =

i

u

.

 

 

(z) =

y

x

x

y

 

 

 

 

 

 

 

 

 

 

 

Пример 2.4. Проверить на аналитичность функцию

w = z.

Решение. Имеем w = z = x iy. Значит, u=x, v=–y. Проверим выполнение

условий Коши–Римана.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

=1,

u

= 0,

v = 0,

v

= −1.

 

 

 

 

x

 

 

y

 

x

y

 

 

 

 

 

Итак,

u

v ,

следовательно,

данная

 

 

функция не является

 

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

аналитической ни в какой области комплексной плоскости.

Определение. Функция двух действительных переменных u(x,y), определенная в области D, имеющая в этой области непрерывные частные производные до второго порядка включительно и удовлетворяющая уравнению Лапласа

2u + 2u = 0, x2 y2

называется гармонической в области D.

13

Между аналитическими и гармоническими функциями существует простая связь. Действительная и мнимая части всякой аналитической функции являются гармоническими функциями. Однако функция f (z) = u(x, y) +iv(x, y) , где u(x,y) и v(x,y) – произвольные гармонические в D функции, не всегда является аналитической в D. Она будет аналитической только в том случае, если функции u(x,y) и v(x,y) удовлетворяют в D условиям Коши-Римана. Гармонические функции u и v, связанные условиями КошиРимана, называются сопряженными.

В случае односвязной области D справедливо утверждение: любая гармоническая функция в односвязной области D является действительной (мнимой) частью некоторой аналитической функции.

2.4. Интеграл по комплексному переменному

Пусть w = f(z) – непрерывная функция комплексного переменного z, определенная в некоторой области D, и Г – гладкая кривая, лежащая в области

D, на которой задано направление от z0 (начало кривой) к z (конец кривой).

Разобьем Г на n частей произвольными точками z0, z1, z2,…, zn = z , лежащими последовательно на кривой Г. Составим сумму

Sn = f (z0 )

z0 + f (z1 ) z1 +... + f (zn1 ) zn1 ,

где приращение zk = zk+1 zk

(k= 0, 1,…, n – 1).

Определение. Интегралом от функции f(z) по кривой Г называется предел

суммы Sn при n → ∞ и max|∆zk| → 0, то есть

 

n1

f (z)dz = maxlim| zk |0f (zk ) zk .

Г

k=0

Вычисление интеграла от функции f(z) = u(x,y) + iv(x,y) сводится к вычислению двух криволинейных интегралов от действительных функций u(x,y) и v(x,y).

Справедливы следующие свойства интегралов по комплексному переменному:

n

n

1. (Ck fk (z))dz = Ck fk (z)dz.

Г k=1

k=1 Г

14

2. Если | f (z)| ≤ M ( z Г), то | f (z)dz |M дл.Г

Г

3. f (z)dz = −f (z)dz, где Г– та же кривая Г, но направление на ней

ГГ

от z к z0.

2.5. Ряды Лорана

Рассмотрим два ряда

 

 

 

 

 

 

... +

cn

 

+

cn+1

 

+... +

c1

;

(1)

(z z0 )

n

(z z0 )

n1

 

 

 

 

 

 

z z0

 

с0 + с1(z – z0) + c2(z – z0)2 +…+ cn(z – z 0)n+…

(2)

Пусть ряд (1) сходится в области, определяемой неравенством |z – z0| > r, ряд (2) – в области |z - z0| < R.

Если r < R, то ряд, полученный сложением рядов (1) и (2)

...

cn

+

cn+1

+... +

c1

+ c

0

+ c (z z

0

) +... +

 

 

 

 

(z z0 )n

(z z0 )n1

 

z z0

1

 

 

 

 

 

 

(3)

 

 

 

 

 

 

 

 

 

+ cn (z z0 )n

+... = cn (z z0 )n

 

 

 

 

n=−∞

будет сходиться в кольце r < |z – z0| < R.

Теорема. Функция f(z), аналитическая в области r <|z – z0|< R, может быть представлена в этой области рядом

f (z) = cn (z z0 )n ,

n=−∞

который называется рядом Лорана для функции f(z).

Определение. Ряд ...

cn

 

+... +

c1

называется главной частью ряда

(z z0 )

n

 

 

 

 

 

z z0

Лорана,

а ряд c0 + c1 (z z0 ) +... + cn (z z0 )n +... правильной частью ряда

Лорана.

 

 

 

 

 

 

15

2.6. Особые точки

Определение. Точка, в которой нарушается аналитичность функции f(z), называется особой.

Определение. Точка z0 называется изолированной особой точкой, если существует такая окрестность 0<|z – z0|<R этой точки, в которой f(z) аналитична.

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

1. Точка z0 называется устранимой особой точкой, если существует

конечный lim f (z).

 

zz0

 

2. Точка z0 называется полюсом, если

lim f (z) = ∞.

 

zz0

3. Точка z0 называется существенно особой, если lim f (z) не существует.

zz0

Разложение функции в ряд Лорана в окрестности изолированной особой точки имеет различный вид в зависимости от характера особой точки. Приведем относящуюся сюда теорему.

Теорема. Для того чтобы z0 была устранимой особой точкой, необходимо и достаточно, чтобы ряд (3) не содержал главной части. Для того чтобы z0 была полюсом, необходимо и достаточно, чтобы главная часть ряда (3) содержала лишь конечное число членов. При этом номер старшей отрицательной степени называют порядком полюса. Для того чтобы z0 была существенно особой точкой, необходимо и достаточно, чтобы главная часть ряда (3) содержала бесконечно много членов.

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

ez =1 + z +

z2

+... +

zn

+...

 

 

 

 

 

(4)

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

sin z = z

 

z3

+

 

z5

 

... +(1)

n

 

 

z2n+1

 

+...

(5)

3!

5!

 

 

(2n

+1)!

 

 

 

 

 

 

 

 

 

 

 

cos z =1

z2

 

+

z4

 

... + (1)

n

 

 

z2n

 

 

+...

 

(6)

2!

 

4!

 

 

 

(2n)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ряды (4)-(6) сходятся на всей плоскости комплексного переменного.