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

А. Р. Лакерник. Высшая математика.Краткий курс

.pdf
Скачиваний:
678
Добавлен:
03.05.2015
Размер:
3.65 Mб
Скачать

VII. Кратные и криволинейные интегралы. Теория поля

Сравним полученный результат с правой частью формулы (21.23):

òò

¶P

 

¶P

¶P

¶P

¶z

dzdx -

¶y dxdy = òò

¶z dzdx - òò

¶y dxdy.

(S)

 

 

(S )

(S )

 

Второе из этих слагаемых как раз и входит в правую часть фо рмулы (21.24), значит, для доказательства равенства (21.23) достаточно про-

 

P z

 

¶P

 

 

верить, что -òò

¶z ¶y dxdy = òò

 

dzdx или, применяя другую форму

¶z

(S )

 

(S )

 

 

записи поверхностного интеграла,

 

 

 

-òò

¶P ¶z

¶P

 

 

¶z ¶y cos gdS = òò

¶z

cosbdS.

 

(S)

 

 

(S)

 

 

Для проверки этого равенства нужно показать, что

 

cosβ = − z cos γ = −

f

cos γ.

 

y

 

 

y

 

Наша поверхность задана уравнением z = f (x,y), èëè z – f (x,y )=0.

14243

F (x,y,z )

В соответствии с результатами разд. 12.8 вектор нормали к это й повер-

ì¶F

;

¶F

;

¶F ü ì

¶f

; -

¶f

ü

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

хности N = н

¶y

ý =

í-

¶x

¶y

; 1ý.

î ¶x

 

 

¶z þ î

 

 

þ

 

 

 

 

 

 

 

 

 

 

 

- ¶f

 

 

 

 

 

 

 

 

 

 

1

 

 

cosb =

 

 

 

 

 

¶y

 

 

 

,

cosg =

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ

¶f ö2

æ ¶f

ö2

 

 

 

 

 

 

 

æ

¶f ö2

æ

¶f ö2

 

 

ç

 

 

÷

+ ç

÷ +1

 

 

 

 

 

 

ç

÷

+ ç

÷ +1

 

 

 

è

¶x ø

è ¶y

ø

 

 

 

 

 

 

 

è

¶x ø

è

¶y ø

откуда cosβ = −

f

 

cos γ. x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теперь можем провести доказательство достаточности условий

теоремы 20.5: если P = Q ,

Q =

R ,

R =

P , то из формулы (21.22)

 

 

 

 

y

x

z

 

y

 

x

z

 

 

 

следует, что для любого замкнутого контура (L)М (T ) с натянутой на него поверхностью (S )М (T ) ò Pdx + Qdy + Rdz = 0 , а в соответствии

(L)

с теоремой 20.2 последнее равенство является необходимым и доста-

21. Теория поля

точным условием независимости интеграла от формы пути ин тегрирования. x

Замечание. Если (L) и (S) лежат на плоскости 0xy, то z = 0, и из формулы Стокса (21.22) получаем формулу Грина.

Инвариантное определение ротора векторного поля

Создается впечатление, что вектор rotF зависит от выбора системы координат. Покажем, что на самом деле это не так. Возьмем точку M0 О(T) и любой единичный вектор n , исходящий из точки M0. «Окружим» M0 перпендикулярной к вектору n плоской площадкой (S) с границей (L) (рис. 141).

Применим формулу Стокса:

ò Fd r = òò rotF n dS.

(L) (S )

(L)

(M)

(M0) n

Ðèñ. 141

Следующее равенство запишем на основании теоремы о средн ем в поверхностном интеграле, которая аналогична теореме 19.2 о среднем в двойном интеграле:

òò rotF n dS = rotF (M )n(M )S = rotF (M )nS ,

(S)

где rotF n – скалярное произведение; S – площадь площадки; M – некоторая ее точка. Отсюда

rotF(M )n = 1 ò Fdr.

S (L)

Теперь будем стягивать площадку (S) в точку M0, тогда (частные производные функций P, Q, R непрерывны) существует предел левой

части последнего равенства:

 

lim

rot

F

(M)

 

= rot

F

(M0)

 

 

 

n

n. Но тогда су-

 

 

 

( S)®M0

 

 

 

 

 

 

 

 

 

 

 

ществует и предел правой части этого равенства:

 

 

 

 

 

 

 

 

=

lim

1

ò

 

 

 

 

 

(21.25)

rotF

(M

 

)

 

 

Fdr.

0

n

 

 

 

 

 

 

 

 

 

(S)M0 S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(L)

 

 

 

 

 

 

 

 

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

438

439

VII. Кратные и криволинейные интегралы. Теория поля

лы тоже не зависит от выбора системы координат. Формула (21.25 ) задает rotF(M0)n ( n – единичный вектор), т.е. проекцию rotF (M0) на любое направление. Ее можно взять за инвариантное определ ениеrotF , т.е. rotF (M0) – это вектор, проекция которого на произвольное направление, определяемое вектором n , задается этой формулой.

Если рассматривать произвольное движение некоторого тв ердого тела и F – вектор скорости в каждой точке, то rotF с точностью до числового множителя будет давать мгновенную угловую ско рость. С этим связано и само название «ротор» (вихрь) векторного поля.

21.6. Оператор Гамильтона. Операции второго порядка

Введем символический вектор – оператор Гамильтона:

 

 

=

 

 

+

 

 

+

 

 

,

 

Ñ

 

i

j

k

 

 

 

 

 

 

 

¶x

¶y

¶z

где символ « С » читается как «набла». Пользуясь этим символом, мож-

но написать.

________

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Вектор

gradU =

Ñ

u – это произведение вектора

Ñ

на число u.

Действительно, при умножении вектора на число его координ аты

 

________

=

ì ¶

 

 

 

ü

умножаются на это число: gradU

í

 

 

u;

 

u;

 

uэ; понимая эти

 

 

¶y

¶z

 

 

 

 

 

 

 

î¶x

 

 

þ

произведения как частные производные, имеем

 

 

 

 

 

________

ì¶u

;

¶u

;

¶u ü

 

 

 

 

 

 

 

gradU

= í

 

¶y

 

ý.

 

 

 

 

 

 

 

 

 

î¶x

 

 

¶z þ

 

 

 

 

 

2. Скаляр (число) divF = СF – это скалярное произведение векторов С и F .

Действительно, считая скалярное произведение как сумму п роизведений координат векторов и понимая эти произведения ка к частные производные, имеем

 

 

=

P +

Q +

R =

¶P +

¶Q +

¶R .

divF

 

 

 

 

 

 

¶x

¶y

¶z

¶x

¶y

¶z

3. Вектор rotF = С ´ F – это векторное произведение векторов С и F .

Действительно, находя векторное произведение и рассужда я так же, как изложено выше, имеем

21. Теория поля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

j

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ ¶

 

 

 

ö

 

 

æ ¶

 

 

 

 

 

 

ö

 

 

æ ¶

 

ö

 

rotF =

 

 

 

 

 

 

 

 

 

 

 

= i ç

 

R -

 

 

Q÷

- j ç

 

 

R -

 

 

P ÷

+ k ç

 

Q -

 

P ÷

=

¶x

 

¶y ¶z

¶y

 

 

¶x

¶z

¶x

 

 

 

 

 

 

 

è

 

 

 

¶z ø

 

è

 

 

 

 

ø

è

 

¶y ø

 

 

 

 

P

 

Q

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ ¶R

-

¶Q ö

+

 

 

æ ¶P

-

¶R ö

 

 

 

æ ¶Q

-

¶P ö

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= i ç

¶y

 

÷

 

j ç

¶z

 

 

÷

+ k ç

¶x

 

 

÷.

 

 

 

 

 

 

 

 

 

 

 

 

 

è

 

 

¶z ø

 

 

è

 

¶x ø

 

è

 

 

 

¶y ø

 

 

 

 

 

Операции второго порядка

Попробуем применить рассмотренные выше три операции пер вого

________

порядка: gradU , divF , rotF , переводящие соответственно скаляр в вектор, вектор в скаляр и вектор в вектор, последовательно (там, где это возможно). При этом получим пять операций второго порядка : div gradU , rot gradU , grad divF , div rotF , rot rotF . Рассмотрим некоторые из этих операций.

1.Привыполненииусловийтеоремы12.9осмешанныхпроизводны х.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

j

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

________

 

 

 

 

 

 

 

 

 

 

 

 

 

 

rot

gradU

=

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

¶x

 

 

¶y

 

 

 

 

¶z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¶U

 

¶U

¶U

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¶x

 

 

¶y

 

 

 

 

¶z

 

 

 

 

 

 

æ

2U

 

2U

ö

 

 

æ

2U

 

 

 

2U

ö

 

 

 

æ

2U

 

2U

ö

 

 

 

 

 

 

 

 

 

 

= i ç

 

-

 

 

÷

- j ç

 

 

 

-

 

 

 

 

 

÷

+ k ç

 

 

-

 

÷

= 0

¶y¶z

 

 

 

 

 

 

¶z¶x

¶x¶y

 

è

 

¶z¶y ø

è

¶x¶z

 

ø

è

 

¶y¶x ø

 

Используя оператор Гамильтона, этот результат можно полу чить

_________

короче: rot gradU = С ´ СU = 0 как векторное произведение коллинеарных векторов С и СU .

2.При существовании соответствующих производных

_________

 

2

 

2

 

2

 

 

div gradU

=

¶ U

+

¶ U

+

¶ U

= DU

( D – это так называемый опера-

 

 

¶x2

 

¶y2

 

¶z2

 

 

тор Лапласа).

3.Привыполненииусловийтеоремы12.9осмешанныхпроизводны х

 

 

ì¶R

-

¶Q

;

¶P

-

¶R

;

¶Q

-

¶P ü

=

 

 

div rotF = div í

¶y

¶z

¶z

¶x

¶x

ý

î

 

 

 

 

 

¶y þ

 

440

441

VII. Кратные и криволинейные интегралы. Теория поля

= 2R - 2Q + 2P - 2R + 2Q - 2P = 0. ¶x¶y ¶x¶z ¶y¶z ¶y¶x ¶z¶x ¶z¶y

При помощи оператора Гамильтона этот результат можно пол учить короче: div rot F = С ЧС ´ F = 0 как скалярное произведение ортогональ-

123

ных векторов С и С ´ F .

21.7. Специальные векторные поля

Потенциальное поле

Определение 21.10. Векторное поле F = {P, Q,R} называется потенциальным, если существует скалярное поле U, называемое потенциалом, такое, что F = gradU .

Теорема 21.5. Пусть в области (Т ) функции P, Q, R имеют непрерывные частные производные. Для того чтобы в этой области полеF было потенциальным, необходимо и достаточно, чтобы rotF = 0.

Необходимость этого условия уже доказана (см. п. 1) в разд. 21.6).

¡ Достаточность. Пусть rotF = 0, ò.å.

 

 

 

¶R ¶Q

¶P

 

¶R

¶Q ¶P

 

 

 

 

¶y = ¶z

,

 

¶z

=

¶x

,

¶x = ¶y .

 

Тогда согласно теоремам 20.5 и 20.3 выражение Pdx +Qdy + Rdz

ÿâëÿ-

ется дифференциалом некоторой функции U =U (x,y,z) :

 

 

 

 

Pdx +Qdy + Rdz = dU ,

 

откуда P = ¶U , Q =

¶U , R =

¶U , ò.å.

 

 

 

 

 

¶x

¶y

 

¶z

 

 

 

 

 

 

 

 

 

 

 

ì¶U

 

¶U

 

¶U ü

 

 

 

F = {P, Q, R}=

;

;

 

 

í

¶x

¶y

ý = gradU . x

 

 

 

 

 

î

 

 

¶z þ

 

Замечание. При доказательстве теоремы (20.3) была получена и фор-

мула для нахождения потенциала U :

 

 

 

 

 

 

 

 

 

 

 

 

(x,y,z)

 

 

 

 

 

 

 

 

 

U (x,y,z) =

 

ò

 

Pdx +Qdy + Rdz.

(21.26)

 

 

 

 

 

(x0,y0,z0)

 

 

 

 

 

21.Теория поля

Âэтой формуле векторное поле задано в области (Т ); фиксированная

точка (x0,y0,z0) и точка (x,y,z) , в которой ищется потенциал, принадлежат этой области, а интеграл берется по любому пути, принад лежащему (Т ) и соединяющему эти две точки. В частности, удобен путь по л оманой, звенья которой параллельны координатным осям. К правой ча сти формулы (21.26), естественно, можно прибавить произвольную постоян ную.

Пример. F = (y + z)i + (x + z) j + (x + y)k. Проверить, что это поле потенциально, и найти его потенциал.

Р е ш е н и е Для этого в соответствии с теоремой (21.5) найдем ротор этого поля:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

j

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

rotF =

 

 

 

= i (11) j(11) + k (1 1) = 0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

y

 

z

 

 

 

y + z

x + z

x + y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следовательно, поле потенциально и его потенциал, определ енный по формуле (21.26),

(x,y,z)

(y + z)dx + (x + z)dy + ( x + y)dz.

U (x,y,z) = ò

(0,0,0)

 

Вычислим этот интеграл по изображенной на рис. 142 ломаной как сумму интегралов по ее звеньям:

xy

U (x,y,z)= ò0dx + òxdy +

00

123 123

y=0, z=0

x=c, z=0

dy=0, dz=0

dx=0, dz=0

z

+ ò(x+ y )dz =xy+xz+ yz.

0

14243

x=c, y=c dx=0, dy=0

z

(x,y,z)

0

y

x

Ðèñ. 142

Отметим, что в потенциальном поле линейный интеграл

(B)

ò Pdx +Qdy + Rdz не зависит от формы пути интегрирования и в силу

(A)

формулы (20.7)

442

443

VII. Кратные и криволинейные интегралы. Теория поля

(B)

 

(B)

 

 

ò Pdx +Qdy + Rdz =

 

=U (B)-U (A).

(21.27)

U

(A)

 

 

 

 

(A)

 

 

 

 

 

 

 

 

Соленоидальное поле

Определение 21.11. Векторное поле F называется соленоидальным, если существует другое векторное поле A , называемое векторным потенциалом, такое, что F = rot A.

Теорема 21.6. Пусть в области (Т) функции P, Q, R имеют непрерывные частные производные. Для того чтобы в этой области F было соленоидальным, необходимо и достаточно, чтобы divF = 0.

Необходимость этого условия уже доказана (см. п. 3) в разд. 21.6.). ¡ Достаточность. Пусть divF = 0. Надо доказать, что существует

A = {Ax , Ay ,Az }, такое, что

i

F = {P,Q,R}= rotA = ¶ ¶x

Ax

ò.å.

jk

= ìï¶Az - ¶Ay ,Ax - ¶Az ,¶Ay - Ax üï,

í ¶ ¶ ¶ ¶ ¶ ¶ ý y z ïî y z z x x y ïþ

Ay Az

 

¶Az

¶Ay

 

 

¶Ax

¶Az

 

 

 

 

¶Ay

 

¶Ax

 

 

P =

 

 

-

 

, Q =

 

 

-

 

 

, R =

 

 

-

 

.

(21.28)

y

z

z

x

 

 

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Не пытаясь искать все решения этой системы, найдем одно ча стное

ее решение. Положим, что A =

0. Тогда

P = -

¶Ay

, Q =

¶A

 

 

 

 

 

x

. Из первой

 

¶z

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

¶z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

из этих формул следует, что Ay = - ò P(x,y,z)dz + j(x,y) , ãäå z0 – ôèê-

z0

сированная точка, j(x,y) – постоянная (по z) интегрирования, кото-

z

рую нужно определить. Из второй формулы Ax = òQ(x,y,z)dz (посто-

z0

янную интегрирования здесь берем равной нулю). Дифференцируя ин-

 

¶Ay

z ¶P

¶j

¶A

z ¶Q

тегралы по параметру, получаем:

 

= - ò ¶x

dz + ¶x ,

x

= ò ¶y dz .

¶x

¶y

 

 

z0

 

 

z0

Подставим эти значения в последнее из уравнений (21.28):

444

21. Теория поля

R = R(x,y,z) = -

z

¶P

dz +

¶j

-

 

z ¶Q

 

z

æ

-

¶P

-

¶Q ö

¶j

.

zò

¶x

¶x

zò

¶y

dz

=

ç

¶x

÷dz +

¶x

 

 

 

 

 

 

 

 

zò

è

 

 

¶y ø

 

 

 

 

 

 

0

 

 

 

 

0

 

 

0

 

 

 

 

 

 

 

 

 

=

P +

Q +

R = 0 è P

Q =

R , то можно про-

Òàê êàê divF

должить:

 

 

 

x

 

y

z

 

 

 

 

x

y

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

¶R

 

¶j

 

 

 

 

z

 

¶j

 

 

 

 

 

 

 

¶j

R(x,y,z) = ò ¶z dz + ¶x = R(x,y,z)

 

z 0

+ ¶x

= R(x,y,z) - R(x,y,z0 ) + ¶x .

 

z0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

∂ϕ = R(x,y,z0). Теперь, например,

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

j(x,y) = ò R(x,y,z0)dx,

x0

ãäå x0 – фиксированная точка. Тем самым мы нашли частное решение системы уравнений (21.28):

z

z

x

Az = 0, Ax = òQ(x,y,z)dz , Ay

= - ò P(x,y,z )dz + òR (x ,y ,z 0)dx . x (21.29)

z0

z0

x0

Пример. Рассмотрим то же поле, что и выше:

F = (y + z)i + (x + z) j + (x + y)k.

Проверим, что оно не только потенциально, но и соленоидаль но, и найдем его векторный потенциал.

 

 

 

Ð å ø å í è å

 

 

 

=

¶(y + z) +

¶(x + z) +

¶(x + y) = 0 Ю поле соленои-

Очевидно, что divF

 

 

 

¶x

¶y

¶z

дально. Найдем векторный потенциал по формулам (21.29), взяв в н их

(x0,y0 ,z0 ) = (0,0,0) :

z

z 2

 

 

 

 

z

 

x

 

 

x 2

 

z 2

A z =0,Ax = ò(x+ z)dz=xz+

,A y = – ò(y+ z)dz+ ò(x+ y )dx=

 

 

 

 

+ xy – yz –

 

,

2

 

2

2

0

 

 

 

 

 

 

 

 

0

 

0

 

 

 

 

 

 

 

ò.å.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ

 

z

2

ö

æ

 

x

2

 

z

2

ö

 

 

 

 

 

A=ç xz+

 

÷i +ç

 

+ xy – yz –

 

÷ j .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

2

÷

ç

2

2

÷

 

 

 

 

è

 

 

ø

è

ø

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

445

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

VIII

ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО И ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ

«

22. ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО

22.1. Определение и некоторые элементарные функции комплексного переменного

Определение 22.1. Пусть E – некоторое множество комплексных чисел z и "z ОE соответствует одно комплексное число w. Тогда говорят, что w является (однозначной) функцией комплексного переменного z с областью определения E, и пишут w = f (z) . Функция комплексного переменного сопоставляет каждой точке комплек сной плоскости z некоторую точку комплексной плоскости w.

Пусть z = x + iy, w = u + iv и w является функцией от z (т.е. от x и от y). Тогда u и v тоже являются функциями от x и от y. Таким образом, задание функции комплексного переменного w = f (z) равносильно заданию двух действительных функций двух действительных п еременных x и y : u = u(x,y), v = v(x,y).

Определение 22.2. Функции u(x,y) и v(x,y) называются соответственно действительной и мнимой частью функции w = f (z) и обозна- чаются u = Rew, v = Im z .

Пример. Найти действительную и мнимую части функции w = z2. Ð å ø å í è å

w = z2 = (x + iy)2 = x2 - y2 + 2ixy , ò.å. u = x2 - y2, v = 2xy.

Определение 22.3. Если некоторым z из области определения функции соответствует более одного значения w, то такая функция комплексного переменного называется многозначной.

22. Элементы теории функций комплексного переменного

Пример. Функция w = n z – n-значная функция ( "z ¹ 0 соответствует n различных значений w).

Некоторые элементарные функции комплексного переменног о

1. Степенная функция w = zα , ãäå α – рациональное число, т.е.

a = m

, m и n – натуральные.

 

n

 

 

 

Эта функция фактически уже была определена выше в разд. 8.2

æ m

=

m ö

.

ç z n

(n z )

ç

 

ø

 

è

 

 

 

2. Показательная функция w = ez .

 

Проведем формальное ее преобразование, используя формул у

Эйлера:

 

 

 

 

w = ez = ex+iy = exeiy = ex cos y + iex sin y.

Последнее выражение и берется за определение комплексно го числа w = ez . Ïðè ýòîì u = ex cos y, v = ex sin y .

Введенная таким образом показательная функция обладает обычными свойствами показательной функции действительн ого переменного:

à) ez1ez2 = ez1+z2 ,так как согласно выводам в разд.8.3

ez1ez2 = ex1+iy1ex2+iy2 = ex1eiy1ex2eiy2 = ex1+x2ei(y1+y2) = ex1+x2+i(y1+y2) = ez1+z2 ;

á) ez1 = ez1z2 (аналогично); ez2

â) (ez )n = ezez ...ez = ez+z+...+z = enz ;

ã) ez+2πi = eze2πi = ez (cos2p + i sin 2p) = ez , значит показательная функция является периодической с периодом 2πi .

3. Тригонометрические функции.

Для действительныхx имеет место равенство eix = cos x + i sin x . Заменяя в этой формуле x на –x, имеем eix = cosx i sin x . Складывая и

вычитая эти две формулы, получаем cos x =

eix + eix

, sin x = eix eix .

 

2

2i

Теперь по аналогии определяем косинус и синус комплексного числа:

cosz =

eiz + eiz

, sinz =

eiz eiz

(определение показательной функции

 

2i

2

 

 

, ctg z = cosz .

было дано выше). Далее определим, что tg z = sin z

 

 

 

 

cosz

sin z

446

447

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

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

 

 

 

 

 

 

 

 

 

e2iz - 2 + e2iz

e2iz + 2 + e2iz

 

4

 

 

 

à)

sin2 z + cos2 z =

-4

+

 

 

 

 

 

 

=

 

 

= 1

;

 

 

 

 

4

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

á) sin2z =

e2iz

- e2iz

= 2

eiz

+ eiz

×

eiz - eiz

= 2sinz cosz ;

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

2i

 

 

 

 

 

 

 

2i

 

 

 

 

 

 

 

â)

sin(z

+

2 )

=

1

 

(ei(z+2π)

-

ei(z+2π) )

=

1

(eiz+2πi

-

eiz2πi )

=

 

 

 

 

 

 

p

 

2i

 

 

 

 

 

 

 

2i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=21i (eiz - eiz ) = sin z ; аналогично cos(z + 2p) = cos z .

4.Гиперболические функции и их связь с тригонометрически ми.

По аналогии с гиперболическими функциями действительно го пе-

ременного, по определению, sh z = ez - ez , ch z = ez

+ ez

, th z = sh z

,

cth z = ch z

 

2

 

2

ch z

 

. Из этих определений следуют те же свойства, что и для ги-

sh z

 

 

 

 

 

 

перболических функций действительного переменного. В ча стности,

 

 

ch2z - sh2z =

e2z + 2 + e2z

- e2z + 2 - e2z

= 1.

 

 

 

 

4

 

 

 

 

 

 

 

 

Связь между гиперболическими и тригонометрическими фун кциями дается следующими формулами:

sh iz = i sin z, siniz = i sh z, ch iz = cosz, cosiz = ch z (22.1)

(т.е. i выносится как –1 для таких же функций действительного пер е- менного с заменой гиперболических функций на тригономет рические и наоборот).

Докажемоднуизэтихформул(остальныедоказательстваан алогичны):

siniz = ei(iz) - ei(iz) = -i ez - ez = i sh z . 2i 2

5. Логарифмическая функция w = Ln z .

Эта функция определяется как функция, обратная показател ьной, т.е. согласно определению w = Ln z – это такое комплексное число, что ew = z . Таким образом, если w = u + iv , то eu(cosv + i sinv) = z .

22. Элементы теории функций комплексного переменного

Два комплексных числа равны только при совпадении их моду лей и отличии аргументов на число, кратное 2p , поэтому eu = z Ы u= ln z (это обычный логарифм действительного числа) и v = Arg z = arg z + + 2pk (-p < arg z £ p) , значит,

w = Ln z = ln | z | +i argz + 2πki, k = 0,±1,±2,...

(22.2)

Это бесконечнозначная функция, так как "z ¹ 0 соответствует по этой формуле бесконечное число значений w. При каждом k получаем однозначную функцию комплексного переменного. Функция, п олу- чаемая при k = 0 , называется главным значением логарифмической функции и обозначается: ln z = ln | z | +i arg z.

Отметим следующие свойства логарифмической функции:

Ln(z1z2) = Ln z1 + Ln z2 ; Ln z1 = Ln z1 - Ln z2 (это совпадение двух z2

множеств комплексных чисел). Докажем первую из этих форму л (вторая доказывается аналогично):

Ln(z1z2) = ln | z1z2 | +iArg(z1z2).

Множества Arg(z1z2) è Arg z1 + Arg z2 совпадают, поэтому

Ln(z1z2) = ln | z1 || z2 | +i(Arg z1 + Arg z2 ) =

= ln | z1 | +iArg z1 + ln | z2 | +iArgz2 = Ln z1 + Ln z2.

Пример. Решить уравнение cosz = 5,05 (так как 5,05 > 1, то в области действительных чисел такое уравнение, естественно, решен ия не имеет).

Ð å ø å í è å

cosz = 5,05 Û

eiz + eiz

= 5,05 Û eiz +

1

= 10,1.

 

eiz

2

 

 

Обозначим eiz = t, тогда это уравнение примет вид

t +

1 = 10,1 Û t2 -10,1 t +1 =0 Þ t

=10, t

2

=0,1

Þ eiz

=10, eiz =0,1.

 

t

1

 

 

 

 

 

 

 

 

 

 

 

Используя определение логарифмической функции, находим :

iz = Ln10 = ln 10 + iarg10 + 2pki = ln10 + 2pki; z = 2pk - i ln10.

448

449

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

Аналогично

iz = Ln0,1 = ln 0,1 + iarg0,1+ 2pki = - ln10 + 2pki; z = 2pk + i ln10.

В итоге наше уравнение имеет бесконечное число решений:

z= 2pk ± i ln10, k Î Z.

6.Комплексное число в комплексной степени. Проводя формальное преобразование, получаем:

z1z2 = eLn z1z2 = ez2Lnz1.

Так как логарифмическая и показательная функции уже опре делены, то последнее выражение берется за определение числа (точнее, чисел) z1z2. При фиксированном z1 из этой формулы получаем общую показательную функцию, а при фиксированном z2 – общую степенную функцию. Обе эти функции бесконечнозначные.

Пример. Вычислить i i.

 

Ð å ø å í è å

 

 

 

 

 

ii = eLnii

π

2πk , k = 0, ±1,

 

 

 

 

= eiLni = e2

± 2,...,

 

òàê êàê

 

 

 

 

 

 

 

 

Lni = ln | i | +i argi + 2pki = ln1+ i

p

+ 2pki

æ p

+

ö

2

= i ç

2

2pk ÷

 

 

 

 

è

 

ø

(т.е. результатом примера является бесконечное множество действительных чисел).

22.2. Предел и непрерывность функции комплексного переменного

Определение 22.4. На комплексной плоскости ε -окрестностью (или просто окрестностью) точки z0 называется множество U(z0,e) таких точек z, что | z - z0 | < e. Если из этого множества исключить саму точку z0, то получим так называемую проколотую окрестность точки

0

z0, обозначаемую как U (z0,e). Åñëè z = x + iy, z0 = x0 + iy0, òî

z - z

0

=

(x - x

) + i(y - y )

=

(x - x

)2 + (y - y )2

,

 

 

0

0

 

0

0

 

22. Элементы теории функций комплексного переменного

значит, | z - z0 | – это расстояние от точки z до точки z0 è ε -окрестность точки z0 – это круг (без границы) радиуса ε с центром в точке z0.

По аналогии с определением предела функции действительн ого переменного 2.5 дадим определение предела функции комплек сного переменного.

Определение 22.5. Пусть функция w = f (z) определена в некото-

рой проколотой окрестности точки z0. Тогда lim f (z) = A, где A – не-

которое комплексное число, если:

 

 

 

 

 

zz0

 

 

 

 

 

 

 

 

 

 

 

"e > 0

$d = d(e) > 0 : "z, 0 <

 

z – z0

 

< d (

 

f (z) – A

 

< e)

 

 

 

 

èëè

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

"e > 0 $d = d(e) > 0 : "z ÎU

(z0,d)(

f (z) – A

< e)

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

Теорема 22.1. Пусть z = x + iy, z0 = x0 + iy0, A = a + ib , w = f (z) =

= u +iv, u = u (x,y), v = v(x,y) Ю lim f (z) = A тогда, и только тогда, когда

 

 

 

 

zz0

 

 

 

 

 

 

lim

u (x,y)= a, lim v (x,y)= b.

 

 

 

 

x®x0

 

x®x0

 

 

 

 

 

y®y0

 

y®y0

 

 

¡ | z - z

0

|=| x - x + i(y - y ) |=

(x - x )2

+ (y - y

)2 ;

 

 

0

0

0

0

| f (z) - A |=|u - a + i(v - b)|= (u - a)2 + (v - b)2 .

 

1. Пусть

lim f (z) = A Þ "e > 0 $d = d(e) > 0:

"z (èëè "x,y ):

 

 

 

zz0

 

 

 

 

0 < (x - x0)2 + (y - y0)2 < d

æç [u(x,u)

è

çæ

[u(x,y) - a]2 =| u(x, y)

è

 

будет выполняться неравенство

- a]2 + [v(x,y) - b]2 < e ö÷ Þ

ø

- a |< e è [v(x,y )– b]2 = v(x,y )– b <e,

450

451

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

а это согласно определению предела функции двух переменн ых озна-

÷àåò, ÷òî

lim u(x, y) = a è

lim

 

v(x,y )= b.

 

 

 

 

 

 

 

 

 

 

 

 

xx0

xx0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yy0

yy

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. Пусть lim u(x,y) = a è

 

 

lim

v(x,y )= b. Возьмем произвольное

 

 

xx0

 

 

xx0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yy0

 

 

yy 0

 

 

 

 

 

 

 

 

 

 

 

 

e > 0. Согласно определению предела функции двух переменных

$d > 0: "x,y, 0 < (x - x

 

2

+

(y - y

 

2

< d

æ

(x,y) – a <

e

ö

0

)

0

)

ç u

2

÷;

 

1

 

 

 

 

 

 

 

 

1

è

 

 

 

 

ø

$d

 

> 0: "x,y, 0< (x - x

 

 

2

+

(y - y

 

2

< d

 

æ

(x,y) – b <

e

ö

2

0

)

 

)

2

ç v

2

÷.

 

 

 

 

 

0

 

 

è

 

 

 

 

ø

Тогда если δ = min(δ

,δ ), òî "x,y, 0 <

(x - x

 

)2

+ (y - y

)2

< d áó-

 

 

1

2

 

 

 

 

 

 

 

 

 

0

 

 

0

 

дет выполняться неравенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ

 

 

 

 

 

 

 

 

e

2

+ e

2

 

ö

 

 

 

 

ç [u(x,y) - a]2 + [v(x,y) - b]2 <

 

 

 

= e÷ .

 

 

 

 

ç

 

 

 

 

 

 

 

 

2

2

 

÷

 

 

 

 

è

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ø

 

 

Это и означает, что lim f (z) = A.x

zz0

Из данной теоремы следует возможность перенесения на фун кции комплексного переменного основных теорем о пределах (сум мы, разности, произведения, частного). Например, покажем, что

lim f1(z)× f2

(z) = lim f1(z)× lim f2(z).

zz0

zz0

zz0

¡ Пусть f1(z) = u1 + iv1 , f2(z) = u2 + iv2 , тогда

f1(z) f2(z) = u1u2 - v1v2 + i(u1v2 + v1u2).

Пусть lim f1(z) = A1 = a1 + ib1,

 

lim f2(z) = A2 = a2 + ib2, тогда по тео-

 

 

zz0

 

 

 

 

zz0

 

 

 

 

 

 

 

ðåìå 22.1

 

 

 

 

 

 

 

 

 

 

 

 

 

lim u

(x,y) = a ,

lim u

 

(x,y) = a

 

,

lim v

(x,y) =b ,

lim v

 

(x,y ) =b

 

.

xx

1

1

xx

2

 

2

 

xx

1

1

xx

2

 

2

 

0

 

 

0

 

 

 

 

0

 

 

0

 

 

 

 

yy0

 

 

yy0

 

 

 

 

yy0

 

 

yy0

 

 

 

 

22. Элементы теории функций комплексного переменного

Согласно теоремам о пределах функции двух переменных,

 

lim (u1u2 - v1v2) =

 

xx0

 

 

 

yy0

 

 

= lim u1(x,y)× lim u2(x,y) - lim v1(x,y)× lim v2(x,y ) =a1a2 -b1b2.

xx0

xx0

xx0

xx0

yy0

yy0

yy0

yy0

Аналогично

lim (u1v2 + v1u2 ) = a1b2 + b1a2 . Тогда по той же теоре-

ìå 22.1

xx0

 

 

yy0

 

 

lim f1(z)× f2(z) = a1a2 - b1b2 + i(a1b2 + b1a2 ) = A1A2 =

zz0

 

 

 

 

= lim f1(z)× lim f2(z). x

 

zz0

 

zz0

По аналогии с определением 3.1 непрерывности функции дейст вительного переменного дается определение непрерывности функции комплексного переменного.

Определение 22.6. Пусть функция w = f (z) определена в некоторой окрестности точки z0. Эта функция называется непрерывной в точке

z0, если существует lim f (z) = f (z0) .

 

zz0

= x0 + iy0

Теорема 22.2. Функция w = f (z) непрерывна в точке z0

тогда, и только тогда, когда ее действительная u(x,y) и мнимая v(x,y) части непрерывны в точке (x0,y0).

¡ Ïðè z = x + iy , z0 = x0 + iy0, имеем f (z) = u(x,y) + iv(x,y),

f (z0) = u(x0

,y0) + iv(x0, y0 ). Равенство lim f (z) = f (z0) согласно теоре-

 

 

zz0

lim u(x,y) = u(x0

,y0)

ме 22.1 равносильно выполнению двух равенств:

 

 

 

xx0

 

è

 

 

yy0

 

lim v(x,y) = v(x0,y0 ), что и означает справедливость теоремы. x

 

 

xx0

 

 

 

 

yy0

 

 

 

Сославшись на основные теоремы о пределах для функций ком п- лексного переменного, легко проверить, что сумма, разност ь, произведение и частное (при знаменателе, отличном от 0) непрерывных в некоторой точке функций есть функция, непрерывная в этой то чке.

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

452

453

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

Ðèñ. 143

рывных на $M > 0: "z

Если множество (D) является замкнутым, т.е. содержит все точки своей границы, где граница – это совокупность точек, таких, что в каждой их окрестности есть и точки, принадлежащие (D), и точки, (D) не принадлежащие (рис. 143), то непрерывная на (D) функция обладает обычными свойствами действительных функций, непре-

отрезке, в частности она будет ограниченной на (D), т.е. О(D) ( f (z) £ M ).

22.3. Производная функции комплексного переменного

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

f ¢(z

0

) = lim Df (z)

= lim

f (z) - f (z0)

,

 

 

zz0

Dz

zz0

z - z

0

 

 

 

 

 

 

 

 

 

 

 

если этот предел существует.

Изопределенияпроизводнойисвойствпределовфункцийко мплексногопеременногоследует,чтонафункциикомплексногопер еменногораспространяютсяосновныеправиладифференциальногоисчис ления(производнаясуммы,разности,произведения,частного,сложнойио братнойфункций). Так же как для функций действительного переменного , доказывается, что функция, имеющая производную в некоторо й точке, будетнепрерывнойвэтойточке.Спецификойжефункцийком плексного переменного является то, что для существования производн ой функции w = f (z) еедействительнаяимнимаячастидолжныбытьнепросто«хорошими»функциями,аопределеннымобразомсвязаннымидругс другом.

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

рестности точки z0 = x0 + iy0

и ее действительная и мнимая части диф-

ференцируемы в точке (x0,y0) как функции двух переменных. Тогда

 

 

 

 

для существования производной f (z0) необходимо и достаточно, что-

бы в точке (x0,y0) выполнялись условия

 

 

u

= v ;

u = −

v .

(22.3)

x

y

y

x

 

Условия (22.3) называются условиями Коши–Римана или условиями Даламбера–Эйлера.

22. Элементы теории функций комплексного переменного

¡ Необходимость. Пусть $

 

f ¢(z0) =

lim

Df (z) .

 

 

 

 

Òàê êàê

 

 

 

 

 

 

 

 

 

 

z0

Dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z = z z0 = (x x0) + i(y y0) = x + i y ,

 

 

 

Df (z) = f (z) - f (z

0

)

= éu(x,y) - u(x ,y

0

)ù + i

év(x,y)

- v(x

,y

0

)ù ,

 

 

 

ë

 

 

 

 

 

0

 

 

û

 

ë

 

0

 

û

то, обозначая две последних квадратных скобки как

u и Dv соответ-

 

 

 

) = lim

 

u + i

v

. Так как в этой формуле x и

 

 

 

 

 

 

 

 

ственно, получаем f (z

0

 

x

+

i

y

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y0

 

 

 

 

 

 

 

 

 

 

 

 

 

Dy стремятся к 0 произвольным образом, то рассмотрим два частных

случая: Dx = 0 и y = 0 (результат должен быть один и тот же):

1. Пусть Dx = 0, тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f ¢(z0) =

lim

Du

+ iDv

= lim

æ Dv

- i

Du ö

 

 

 

 

 

 

 

 

ç

 

÷.

 

 

 

iDy

 

 

 

 

 

 

 

 

 

y0

 

 

 

y0

è Dy

 

Dy ø

 

 

 

 

Так как этот предел существует, то согласно теореме 22.1 суще ствуют пределы

 

 

 

lim

 

v

=

v(x0,y0)

, lim

u =

u(x0,y0)

 

è

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y0

 

 

 

 

y

 

 

 

y0

y

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v(x0,y0) u(x0,y0)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(z0)

=

 

 

 

 

y

 

i

 

 

y

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. Пусть

y = 0, тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u + i v u(x0,y0)

 

 

v(x0,y0)

 

 

 

 

 

 

 

 

 

) = lim

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

+ i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (z

0

 

 

 

x

 

 

 

 

 

 

 

 

 

(аналогично).

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

Отсюда следует, что

 

u(x0,y0)

 

=

v(x0,y0)

è

u(x0, y0)

= −

v(x0, y0)

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

y

 

 

 

 

y

 

 

 

 

x

 

 

 

Достаточность. В разд. 12.3 было показано, что если u(x,y) и

v(x,y) дифференцируемы в точке (x0,y0), òî

 

 

 

 

 

 

 

 

 

 

 

u = u x + u y + α x + β y è v =

v x +

v y + α

2

x + β

2

y,

x

 

 

y

 

 

 

1

 

 

1

 

 

 

 

 

 

 

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где все частные производные берутся в точке (x0,y0) è αi ,βi , i = 1,2, стремятся к 0 при x, y 0 . Тогда с учетом условий (22.3) имеем

454

455

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Df (z) = Du + iDv =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

¶u

Dx +

¶u

Dy + i

æ ¶v

Dx +

¶v

 

ö

 

 

 

 

 

+ b1Dy + ia2Dx + ib2Dy =

¶x

¶y

ç

 

 

¶y

Dy ÷ + a1Dx

 

 

 

 

 

 

 

 

 

 

 

è ¶x

 

 

 

 

 

 

ø

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

¶u

Dx

+

¶u

 

 

 

 

 

æ

-

¶u

Dx

+

¶u

ö

+ a1Dx + b1Dy + ia2Dx + ib2Dy =

¶x

¶y

Dy + i ç

¶y

¶x

Dy ÷

 

 

 

 

 

 

 

 

 

 

 

è

 

 

 

 

 

 

ø

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ¶u (Dx + iDy) - i ¶u (Dx + iDy) +

(a + ia

2

)Dx +

(b + ib

2

)Dy =

 

 

 

 

 

 

 

¶x

 

 

 

 

 

 

 

 

 

 

 

¶y

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ¶u Dz - i ¶u Dz + (a + ia

2

)Dx +

(b + ib

2

)Dy Þ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¶x

 

 

¶y

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Df (z) =

¶u

 

- i

¶u

+ (a + ia

 

 

 

) Dx

+ (b + ib

 

) Dy .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Dz

¶x

 

 

 

¶y

 

 

 

 

1

 

2

Dz

 

 

 

 

1

 

 

2

 

 

Dz

 

 

 

 

 

 

Ïðè Dz ® 0 , ò.å. ïðè Dx ® 0 è Dy ® 0 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Dx

 

 

=

 

 

 

 

| Dx |

 

 

 

£ 1,

 

 

 

Dy

 

£ 1,

 

(a + ia

 

) Dx

 

£

 

a1 + ia 2

 

®0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Dz

 

 

 

 

 

(Dx)2 + (Dy)2

 

 

 

 

 

Dz

 

 

 

 

 

 

1

 

 

 

2

Dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(b + ib

 

 

) Dy

 

 

£| b + ib

 

|® 0 Þ $ lim

Df (z) =

 

¶u - i

¶u .

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

 

Dz

 

 

 

 

1

 

 

2

 

 

 

 

 

 

 

 

 

 

z0

 

Dz

 

 

¶x

¶y

Одновременномыполучилиформулыдлянахожденияпроизво дной:

f ¢(z0) =

¶u

- i

¶u =

¶u

+ i

¶v

=

¶v

+ i

¶v

=

¶v

- i

¶u .

(22.4)

 

¶x

 

¶y

¶x

 

¶x

 

¶y

 

¶x

 

¶y

 

¶y

 

Согласно теореме 22.3 для функции комплексного переменного справедливы все формулы из таблицы производных функций д ействительного переменного.

Пусть, например, f (z) = ez = ex+iy = exeiy = ex (cos y + i sin y) Þ u = ex cos y, v = ex sin y ; эти функции дифференцируемы во всех точ-

êàõ (x,y); ux = ex cos y = vy ; uy = -ex sin y = - xv Ю производная существует во всех точках и она равна

22. Элементы теории функций комплексного переменного

(ez )¢ = ux - i uy = ex cos y + iex sin y = ez .

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

Замечание. Функция двух действительных переменных f (x,y) называ-

ется гармонической, если

2 f (x,y)

+

2 f (x,y)

= 0.

x2

y2

 

 

 

Покажем, что для любой аналитической функции w = f (z) ее действительная u = u(x,y) имнимая v = v(x,y) части являются гармоничес-

кими функциями. Действительно, так как

¶u =

¶v

, òî

2u

=

2v

, à òàê

¶y

¶x2

¶x¶y

 

¶u

 

¶v

 

2u

 

2v

 

¶x

 

 

 

êàê

= -

, òî

= -

, тогда согласно теореме 12.9 о смешан-

¶y

¶x

¶y2

¶y¶x

 

 

 

 

 

 

 

 

 

 

 

 

ных производных для функций двух переменных (в случае непрерыв-

ности этих производных)

2u

+

2u

=

2v

-

2v

= 0.

 

 

 

 

¶x2

¶y2

¶x¶y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¶y¶x

 

 

 

 

 

Аналогично, так как

¶v = -

¶u

, òî

2v

= -

2u

, à òàê êàê

¶v

=

¶u

,

 

¶y

¶x2

 

¶y

¶x

 

 

 

 

 

¶x

 

 

 

 

 

 

¶x¶y

 

 

òî

2v =

2u

è 2v

+ 2v

 

= -

 

2u

 

+

2u

= 0

по той же теореме.

 

 

 

¶y¶x

 

¶x¶y

 

 

 

 

 

¶y2

¶x2

¶y2

 

 

 

¶y¶x

 

 

 

 

 

 

 

 

 

22.4. Интеграл от функции комплексного переменного

Определение 22.10. Пусть (AB) – непрерывная кривая на комплексной плоскости (замкнутая или нет) и пусть вдоль этой крив ой задана некоторая функция комплексного переменного w = f (z) . Разобьем

(AB) произвольным образом на части точками zk и на каждой дуге раз-

биения выберем произвольную точку zk (можно и на краю этой дуги)

(ðèñ. 144).

 

 

zn = B

 

z1

 

 

 

zk + 1

z 0 = A

z

 

 

k

ζ k

 

 

 

Ðèñ. 144

456

457