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

лекции вышмат

.pdf
Скачиваний:
93
Добавлен:
01.06.2024
Размер:
5.41 Mб
Скачать

2. Разложить функцию

y

функции в точке разрыва

=

π 2

 

 

0 x

π

1,

 

 

 

 

 

2

f ( x) =

 

 

 

 

π

 

 

 

0,

x

π

 

 

 

 

2

 

 

произвольно).

(рис. 3) в ряд Фурье на отрезке

0, π

только по косинусам (значение

у

1

0

/ 2

х

Рисунок 3

Рассмотрим новую четную периодическую ( T отражаем исходный график относительно оси

= 2π ) функцию f1 ( x) , совпадающую на отрезке 0, 0 х , а потом продолжаем периодически полученный

π с данной (сначала график) (рис. 4).

у

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

2

 

 

 

 

 

Рисунок 4

 

 

 

 

 

 

 

Так как эта функция четная, то b

= 0,

n = 1, 2, ...

 

 

 

 

n

 

 

 

2

3 2

х

3

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

=

 

π

 

 

f ( x) cos nx dx =

π

f ( x) cos nxdx =

 

π

 

f ( x)cosnxdx +

f (x) cos nxdx

 

=

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

чётная

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

2

 

 

1

2

 

 

 

 

 

 

 

 

2

 

 

 

 

 

π

 

 

2

 

 

 

 

πn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

1 cos nxdx =

 

 

 

 

cos nxd (nx) =

 

 

sin nx

 

02

 

=

 

 

 

 

sin

 

 

, n

= 1, 2, ...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

0

 

 

 

 

 

 

 

 

π

 

n

0

 

 

 

 

 

 

 

 

πn

 

 

 

 

 

 

 

 

 

πn

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

π

 

 

 

 

2

 

2

 

 

 

 

 

π

 

 

 

 

 

 

 

2

2

 

 

 

 

 

2

 

π

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

f (x)dx =

 

 

 

f (x)dx +

 

f (x)dx

 

=

 

dx =

 

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

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

0

 

 

 

 

π

0

 

 

 

 

 

π

 

 

 

 

 

 

π

0

 

 

 

 

 

π

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f1 ( x)~

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

+

 

 

 

 

 

 

 

sin π(2k + 1) cos(2k + 1) x .

 

 

 

 

 

 

 

 

1 + 2 sin πn cos nx = 1

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

n =1 πn

 

2

 

 

 

 

 

2

 

 

k =0

 

π(2k + 1)

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=0 при n = 2 k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π(2k + 1)

= sin

π

+ πk

= cos πk = (1)k , k = 0,1, 2...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Здесь по формуле приведения sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)

будет равна сумме ряда Фурье при x 0, π , x

 

π

По теореме 1 функция

 

 

 

. В точке

 

сумма ряда Фурье будет

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

равна

 

 

, если положить f

(

 

)=

 

 

, то равенство будет верно для всех x 0, π и

 

 

2

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

2

 

 

 

 

 

(1)k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) =

 

 

 

+

 

 

 

 

 

 

 

 

cos(2k + 1)x .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

π

(2k + 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =0

 

 

 

 

 

 

 

200

Пусть

t = x

π

l

 

π, π

Тригонометрический ряд Фурье для функции с произвольным периодом 2l

y = f (x)

периодическая функция с периодом 2l . Сделаем замену переменной:

x = t

l

(если l x l, то π t π ,

т.е. при нашей замене

 

l, l

переходит в

π

 

 

 

 

 

 

 

 

 

 

 

l

 

некоторая функция

от

t ; так как

). Тогда y = f (x) = f

t = g(t)

 

 

π

 

 

 

 

 

 

l

 

 

l

 

Т=2l

 

 

 

l

 

 

 

 

 

 

g(t + 2π) = f

 

 

(t + 2π)

 

= f

 

t + 2l

=

f

 

 

t = g(t) , то g(t)

– периодическая функция с

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

периодом уже 2π .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть g(t) такова, что ее можно разложить в ряд Фурье, тогда будем иметь:

 

a0

 

 

 

 

 

 

 

 

a0

 

 

 

πnx

 

 

πnx

 

f (x) = g(t) =

 

+ (an

cos nt + bn sin nt) =

 

+ (an cos

+ bn sin

) , где

 

 

 

 

 

2

 

n=1

 

 

 

 

 

2

 

 

n=1

l

 

l

 

 

 

π

 

 

 

 

 

t =

π

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

l

1

l

 

 

 

 

 

πnx

 

π

 

 

 

1

l

 

 

 

 

 

 

 

πnx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g(t) cos ntdt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

=

π

 

=

 

π

 

 

f (x) cos

l

 

 

l

dx =

l

 

f (x) cos

l

 

dx, n = 0,1, 2... ,

 

 

π

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

t =

π

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

l

 

1

l

 

 

 

 

 

πnx

 

π

 

 

 

1

l

 

 

 

 

 

 

 

πnx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

=

 

g(t) sin ntdt

=

 

 

 

 

f (x) sin

 

 

 

 

 

dx =

 

 

f (x) sin

 

 

dx, n =1, 2...

n

 

π

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

l

 

l

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

πnx

 

 

 

 

 

 

 

πnx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ (an cos

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) =

 

 

0

 

 

 

 

+ bn sin

 

 

 

) ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

l

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

l

 

 

 

 

 

 

 

πnx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

l

 

 

 

 

πnx

 

где

 

 

an

=

 

f (x) cos

dx,

n

= 0,1, 2,... ,

 

bn

 

=

 

f (x)sin

dx, n =1, 2,...

 

 

l

 

 

l

 

 

l

 

l

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6)

(7)

Легко видеть, что все факты, которые имели место для рядов Фурье периодических функций с периодом 2π , переносятся и на ряды Фурье периодических функций с произвольным периодом 2l (теорема 1 о достаточных условиях разложимости функции в ряд Фурье, замечание о коэффициентах Фурье четной или нечетной функции и др.).

Ряд Фурье в комплексной форме

Пусть y = f (x) – периодическая с периодом

 

π, π

функция. Сопоставим ей ряд Фурье:

 

 

 

 

a

 

 

 

 

 

+ (an

 

 

 

f (x)~

0

cos nx

 

 

2

 

 

 

n=1

 

 

 

 

 

 

 

Используя формулы cos φ =

 

eiφ + eiφ

 

 

 

 

, sin φ =

 

 

2

 

 

 

 

 

 

 

2π , абсолютно интегрируемая на отрезке

+ bn sin nx) .

eiφ eiφ и собирая коэффициенты при

2i

inx

и

e

e

inx

 

, имеем:

 

a

 

 

einx + einx

 

einx einx

 

a

 

a

b

a

b

 

f (x)~

0

+ an

 

+ bn

 

 

=

0

+

n

+

n

einx +

n

n

einx

.

2

2

2i

2

 

 

 

 

 

n=1

 

 

 

 

n=1

2

2i

2

2i

 

201

 

a

 

 

a

 

b

 

a

 

b i

 

 

Обозначим

0

= c0

,

n

+

n

=

n

n

= cn

,

2

2

2i

2

2

 

 

 

 

 

 

 

 

c

= c

n

n ). Тогда

an 2

bn = an

2i 2

+bni

2

= cn

(заметим, кстати, что

 

 

 

 

a

 

 

 

1

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c0

=

 

0

=

 

 

f (x)dx ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

=

 

 

(a

b i) =

 

 

 

 

 

 

f (x) cos nxdx i

 

 

 

 

f (x) sin nxdx

 

=

n

 

 

 

2

 

n

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

π π

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

1

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

π

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

f (x) cos nx i sin nx dx =

 

 

f (x)e

inx

dx, n =1, 2, 3,...,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

1

π

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

=

 

 

(a

n

+ b i) =

 

 

 

 

 

 

f (x) cos nxdx +i

 

 

f (x) sin nxdx

 

=

n

 

 

2

 

 

n

 

 

2

π

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

π

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

f (x) cos nx + i sin nx dx =

 

 

f (x)e

inx

dx, n =1, 2, 3,...

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Объединяя эти три формулы, получаем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)~ cne

inx

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=−

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

inx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

=

 

 

 

f

(x)e

dx, n = 0, 1, 2,...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(8)

(9)

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

Аналогично, если период функции равен 2l , то

 

 

 

 

 

 

 

i

πnx

 

 

 

 

 

 

n

l

 

 

 

 

 

f (x)~

 

 

c e

 

,

 

 

 

 

 

n=−

 

 

 

 

 

 

1

l

 

i

πnx

 

 

 

 

n

=

 

f (x)e

l

dx, n = 0, 1, 2,...

c

2l

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(10)

(11)

202

ЛЕКЦИЯ 4

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

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

Определение 1. Пусть

E некоторое

соответствует одно комплексное число функцией комплексного переменного z

множество комплексных чисел

z

и

z E

w . Тогда говорят, что w является (однозначной)

с областью определения E , и пишут w = f (z) .

Функция комплексного переменного сопоставляет каждой точке комплексной плоскости

z

некоторую точку комплексной плоскости w .

 

 

 

 

Пусть z = x +iy , w = u +iv и w является функцией от

z (т.е. от

x и от

y ). Тогда u и

v

тоже являются функциями от x и от u y . Таким образом, задание функции комплексного

переменного

w = f (z)

равносильно заданию двух действительных функций двух

действительных переменных

x

и

y

:

u

= u(x,

y)

,

v

= v(x,

y)

.

Определение 2.

частью функции

Эти функции называются w = f (z) и обозначаются u

соответственно действительной и мнимой

= Re w , v = Im w.

Пример.

Решение.

w = z

2

 

Найти действительную и мнимую части функции

= (x + iy)

2

= x

2

y

2

+ 2ixy , т.е. u = x

2

y

2

,

v = 2

 

 

 

 

 

w xy

=

.

z

2

 

.

Определение 3.

одного значения

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

Пример.

w =

n

z

n

значная функция (

z 0

соответствует n различных значений

w

).

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

1. Степенная функция w = z

α

, где α рациональное число, т.е. α =

m

, m

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

 

 

n

 

 

 

 

 

Эта функция фактически уже была определена ранее как ( nz )m .

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

z

.

 

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

w = ez = ex+iy = ex eiy = ex cos y +iex sin y . Последнее выражение и берется за определение

комплексного числа w = ez . При этом u = ex cos y , v = e

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

x

sin y .

обладает обычными свойствами

ez1 ez2 = ez1 +z2 ;

e z1

= e z1 z2 ;

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

e z2

 

 

 

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

e

z+i

z

e

i

z

(cos 2π +i sin 2π) = e

z

.

 

= e

 

= e

 

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

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

i

:

203

eix = cos x i sin x . Складывая и вычитая эти две формулы, получаем: cos x =

eix + eix

,

 

 

e

 

 

e

 

 

 

 

 

 

 

 

2

 

 

ix

ix

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x =

 

 

 

2i

 

 

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

 

e

 

 

 

 

 

e

 

e

 

 

 

 

 

 

 

iz

+ e

iz

 

 

iz

iz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos z =

 

 

 

2

 

 

,

sin z =

 

 

2i

(определение

показательной функции уже было дано

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

выше). Далее по определению

tg z = sin z , ctg z =

cos z

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos z

 

sin z

 

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

 

 

 

 

 

 

e

2iz

2 + e

2iz

 

 

e

2iz

+ 2 + e

2iz

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin

2

z + cos

2

z =

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

=

 

=1

;

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

4

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

По

 

аналогии

 

с

 

гиперболическими

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

 

 

 

 

 

 

 

 

 

e

z

e

z

 

 

 

 

 

e

z

+ e

z

 

 

 

sh z

 

ch z

 

определению

sh z =

 

 

,

ch z =

 

 

,

th z =

, cth z =

. Из этих определений

 

 

2

 

 

 

 

2

 

 

ch z

sh z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

e

2 z

+ 2 + e

2 z

e

2 z

+ 2 e

2 z

 

 

 

 

 

 

 

 

 

ch

2

z sh

2

z =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

1

.

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

sh iz = i sin z ,

sin iz = i sh z ,

ch iz = cos z ,

cosiz = ch z

(1)

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

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

 

 

 

e

i (iz )

e

i (iz )

e

z

e

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin iz =

 

 

2i

= −i

 

 

2

 

= i sh z .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

w = Ln z .

 

 

 

Эта функция определяется как функция,

обратная показательной, т.е. по

w = Ln z это такое комплексное число,

что e

w

= z . Таким образом, если

 

e

u

(cosv + i sin v) = z .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

определению w = u +iv , то

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

число, кратное

2π , поэтому отсюда

u

логарифм

e =| z | u = ln | z | (это обычный

действительного числа) и v = Arg z = arg z + k (π arg z π) , значит,

 

 

w = Ln z = ln | z | +i arg z + ki , k = 0, 1, 2,...

(2)

Это бесконечнозначная функция, так

как

z 0 соответствует

по этой

бесконечное

число

значений

w . При

каждом

k

получаем однозначную

комплексного переменного. Функция,

получаемая

при

k = 0 , называется

значением логарифмической функции и обозначается ln z :

ln z = ln | z | +i arg z .

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

 

 

Ln(z z ) = Ln z + Ln z ;

Ln

z1

= Ln z Ln z

 

(это

совпадение

двух

 

2

1

2

1

2

 

1

 

 

 

 

 

 

 

 

 

 

z2

 

 

 

 

 

 

комплексных

чисел).

 

 

 

 

 

 

 

 

 

формуле

функцию

главным

множеств

204

 

 

 

Пример. Решить уравнение cos z = 5, 05

 

 

 

 

 

 

 

 

 

 

(так как

5, 05 1

, то в области действительных чисел такое уравнение, естественно, решения не имеет).

 

 

 

 

 

 

e

iz

+ e

iz

 

 

 

1

 

 

 

 

 

 

 

 

Решение. cos z = 5, 05

 

=

5, 05 e

iz

+

= 10,1; обозначим

e

iz

= t , тогда это уравнение примет вид

 

 

 

 

 

 

 

 

 

 

iz

 

 

 

 

 

 

 

 

 

2

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t +

1

= 10,1 t

2

10,1 t

+ 1

= 0

t

= 10, t = 0,1

e

iz

= 10, e

iz

= 0,1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

iz = Ln10 = ln 10 + i arg10 + ki = ln10 + ki;

z

=

k

i ln10

.

Аналогично iz = Ln0,1 = ln 0,1 + i arg 0,1 + ki = − ln10 + ki;

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

z = k + i ln10 2πk i ln10, k

.

Z .

6. Комплексное число в комплексной степени.

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

z

z

 

= e

Ln z

z

2

= e

z

Lnz

. Так как логарифмическая

2

 

1

 

1

 

 

 

2

1

 

 

 

 

 

 

 

 

и показательная функции уже определены, то последнее выражение берется за определение

числа (точнее,

чисел)

 

z

 

. При фиксированном

z1

из этой формулы получаем общую

 

z1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

показательную функцию, а при фиксированном

z2

общую степенную функцию. Обе эти

функции бесконечнозначные.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример. Найти i

i

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 πk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение.

i

i

= e

Lni

 

= e

iLni

= e

2

,

 

k = 0,

1,

2, ... , так

 

как

 

Lni = ln | i | +i arg i

+ ki = ln 1 + i

 

+ ki =

 

(

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

= i

π

+ k

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

Определение 4. ε – окрестностью (или просто окрестностью) точки

z0 на комплексной

плоскости называется множество

U (z, ε) таких точек z ,

что | z z0

| ε . Если из этого

множества исключить саму точку

z

0 , то получим так называемую проколотую окрестность

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

точки

z0

, обозначаемую как U (z0

, ε) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если

z = x +iy, z0 = x0

 

+iy0

, то

z z

 

= (x x

) + i( y y

)

=

(x x )

2

+ ( y y

)

2

,

значит,

 

0

 

 

 

 

 

 

0

 

 

 

0

 

 

0

 

0

 

 

| z z0

|

это расстояние от точки z

до точки z

0

, и

ε

- окрестность точки z0 это круг (без

границы) радиуса ε

 

с центром в точке

z0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

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

точки

z0

. lim f (z) = A , где A некоторое комплексное число, если ε 0

δ = δ(ε) 0 :

 

 

zz0

 

 

 

0

 

z , 0

| z z0 | δ или z U (z0 , ) | f (z) A | ε .

 

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

205

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

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

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

z0 .

Эта функция называется непрерывной в точке z0 , если существует lim f (z) = f (z0 ) .

 

 

zz

 

 

0

 

Можно показать, что функция w = f (z)

непрерывна в точке z0 = x0 + iy0 тогда и только

тогда, когда ее действительная и мнимая части

(x

, y

).

0

0

 

u(x, y)

и

v

(

x, y)

непрерывны в точке

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

Определение 7. Функция w = f (z)

называется непрерывной на некотором множестве (D),

если она непрерывна в каждой точке этого множества.

Если множество

(D)

является замкнутым, т.е. содержит все точки своей границы (где

граница это совокупность точек таких, что в каждой их окрестности есть и точки, принадлежащие (D) , и точки, (D) не принадлежащие – см. рис. 1),

Рисунок 1

то непрерывная на (D) функция обладает обычными свойствами действительных функций,

непрерывных на отрезке, в частности, она будет ограниченной на

z (D)

f (z) M

.

 

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

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

(D)

, т.е.

M

0

:

Определение

Производной

8. Пусть функция этой функции

w=

в

f (z) определена в некоторой окрестности точки z0 .

точке

z0

называется комплексное число

f (z

) = lim

f (z)

= lim

 

0

0

z

0

 

zz

 

zz

f (z) f (z

)

 

0

 

z z

0

 

 

 

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

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

быть не просто «хорошими» функциями, а определенным образом связанными друг с другом.

206

Теорема

1.

Пусть функция

w = f (z)

определена в некоторой

 

z0 = x0 + iy

0

и ее действительная и мнимая части дифференцируемы

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

f

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

 

окрестности точки в точке (x0 , y0 ) как(z0 ) необходимо и

 

u

=

v

;

u

= −

v

.

(3)

 

 

 

 

 

 

x

 

y

 

y

 

x

 

Условия (3) называются условиями Коши-Римана или условиями

Даламбера -Эйлера.

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

f '(z0 ) = lim

f (z)

.

 

 

 

z

 

 

 

 

z0

 

 

 

 

Так как z = z z0 = (x x0 ) +i( y y0 ) = x +i y

и

 

 

f (z) = f (z) f (z0 ) = u(x, y) u(x0 , y0 ) +i v(x, y) v(x0 , y0 ) , то,

квадратных скобки как u

и v соответственно, получаем:

f

 

(

обозначая две последних

z0 ) = lim

u + i v

. Так как

x + i y

x0

 

y0

 

 

в этой формуле x и y стремятся к 0 произвольным образом, случая (которые обязаны дать один и тот же результат): x = 0

то рассмотрим два частных и y = 0 :

 

 

 

 

 

 

 

 

u + i v

 

 

 

v

 

 

 

u

 

 

 

 

 

 

 

 

 

 

 

x = 0 f

(z

) = lim

= lim

 

i

.

 

Предел

существует существуют

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

y0

 

i y

 

 

 

y0

 

y

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v

 

v(x

, y

)

 

 

u

 

u(x , y

 

)

 

 

 

 

 

 

 

v(x , y

)

 

u(x

, y

)

 

 

 

 

 

0

0

 

, lim

 

=

 

 

0

0

 

и f

 

 

 

 

 

0

0

 

 

0

0

 

.

lim

 

=

 

 

 

 

 

 

(z0 ) =

 

 

 

i

 

y

 

y

 

y

 

 

y

 

 

 

 

y

 

 

y

 

y 0

 

 

 

y0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u + i v

 

u(x

, y

)

 

 

v(x , y

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

0

 

 

 

 

 

0

0

 

 

 

 

 

 

 

 

y = 0 f

(z0 ) = lim

 

 

 

 

=

 

 

 

 

 

+ i

 

 

 

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

 

 

 

x

 

 

 

x

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда следует, что u(x0 , y0 ) = v(x0 , y0 )

и

 

u(x0

, y0 )

= − v(x0 , y0 ) .

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

y

 

 

 

 

 

 

 

y

 

 

 

 

x

 

 

 

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

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

(x

0

,

 

 

y

0

)

 

 

, то

u = u x +

 

u y + α x + β y

и

v = v x +

v y + α

 

x + β

y ,

 

где

все

частные

 

 

x

 

 

 

y

 

 

1

 

1

 

 

 

 

 

 

x

 

 

y

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

производные берутся в точке (x0 , y0 )

и αi , βi

, i =1,2

стремятся к 0 при x

, y 0. Тогда,

с учетом условий (3), имеем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

 

u

 

 

 

v

 

 

 

v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (z) = u + i v =

x

x +

y

y + i

 

x

x +

y

y

+ α1 x + β1 y + 2 x + 2 y =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

u

x +

u

y + i

 

u

x +

u

y

 

+ α x + β y + iα

x + iβ

 

 

y =

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

x

 

y

 

 

 

y

 

 

x

 

 

 

1

 

1

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= u ( x + i y) i u ( x + i y) + +

) x + +

) y =

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

y

 

 

 

 

1

 

 

2

 

 

1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

u

z i

u

z + + iα

) x + + iβ

 

) y

f (z) =

u i

 

u + +

) x

+ +

) y .

 

x

 

 

y

 

 

1

 

2

 

 

1

 

2

 

 

 

 

z

 

 

x

 

y

1

2

z

1

2

z

При z 0 ,

т.е. при x 0 и y 0

, x =

 

 

| x |

 

 

 

1,

y

1 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

( x)2 + ( y)2

z

 

 

 

 

 

207

1

+ iα2 )

x

| α1 + iα2

|0

,

1 + iβ2 )

y

| β1

+ iβ2

|0 lim

f (z)

=

u

z

z

z

x

 

 

 

 

 

 

 

 

z0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

u

u

u

 

v

 

v

v

v

u

 

 

i y =

x + i x =

 

+ i x =

y i y .

f

(z0 ) = x

y

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

i

u

. ■

y

 

 

(4)

перенести все

Пусть,

например,

f (z) = e

z

 

= e

 

= e e

 

 

x+iy

x

iy

x

(cos y +i sin

= e

y)

,

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

u

= ex

cos y

,

v = e

x

sin

 

y

; эти функции дифференцируемы во всех точках

(x,

y)

;

ux

= e

x

cos y =

 

vy

;

u

= −e

x

sin y = −

v

производная существует во всех точках и

 

z

 

=

u

i

u

=

 

 

 

(e

)

 

 

y

 

x

 

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

x

cos y

+ ie

x

sin y = e

z

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 9. Функция w = f (z)

называется аналитической в области (D) (область – это

открытое, связное множество), если она определена в области

(D) и в каждой точке этой

области имеет производную.

 

 

 

 

Замечание. Функция двух действительных переменных

f (x, y)

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

 

 

2

f (x, y)

 

 

2

f (x, y)

 

 

 

 

 

если

 

+

 

= 0 .

 

 

 

 

 

 

x

2

 

 

y

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Покажем, что для любой аналитической функции

w = f (z) ее действительная и мнимая

части

u = u(x, y)

и

v = v(x, y)

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

как

ux

=

vy

, то

 

2

u

 

 

x

 

 

2

 

 

2

v

 

 

 

=

x y

 

, и так как uy = − vx , то

 

2

u

 

 

y

 

 

2

 

 

2

v

 

 

 

= −

y x

 

, тогда по теореме о

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

производных)

2u

+

2u

=

 

2v

2v

=

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

v

= −

u

, то

2v

= −

2u

,

x2

y 2

 

x y

y x

x

y

x2

x y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а так как

v

=

u

, то

2v

 

=

2u

 

, и

2v

+

2v

= −

2u

+

2u

= 0

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

 

 

y

x

y2

y x

x2

y 2

x y

y x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

208

ЛЕКЦИЯ 5

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

Определение 1. Пусть (AB) – непрерывная кривая на комплексной плоскости (замкнутая или нет), и пусть вдоль этой кривой задана некоторая функция комплексного переменного w = f (z) . Разобьем (AB) произвольным образом на части точками zk , и на каждой дуге разбиения выберем произвольную точку ζ k (можно и на краю этой дуги) (рис. 1):

Рисунок 1

 

n1

 

 

 

Составим интегральную сумму

f k ) zk

, где

zk = zk +1 zk . Обозначим через

λ

 

k =0

 

 

 

 

 

 

 

 

максимальную по

k

длину вектора zk zk +1 . Если существует предел наших интегральных

сумм при λ 0

, который не зависит от выбора точек

zk и ζ k , то этот предел называется

интегралом от

функции комплексного переменного

w = f (z)

вдоль кривой (AB)

и

обозначается

 

f (z)dz . Таким образом,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( AB)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (z)dz = lim f k ) zk .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( AB)

 

 

 

 

 

λ0

k =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть zk

= xk

+ iyk

,

xk = xk +1

 

xk , yk = yk +1 yk , тогда

 

 

 

 

 

 

 

zk

= zk +1 zk

=

(xk +1 +iyk +1 ) (xk + iyk ) = (xk +1 xk +1 ) + i( yk 1 yk ) = xk

+ i yk .

Пусть ζk = ξk

 

+ k . Обозначая Re w = u, Im w = v

, имеем:

 

 

 

 

 

 

 

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

k

) = u

k

, η ) +iv

k

, η

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (z)dz = lim

 

u

k

, η

) + iv

k

, η

k

) ( x

 

+ i y

) =

 

 

 

 

 

 

 

 

 

 

 

 

 

λ0

 

 

 

k

 

 

 

 

 

 

 

k

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

( AB)

 

 

 

 

k =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim

u(ξk , ηk ) xk v(ξk , ηk ) yk + i v(ξk , ηk ) xk

+ u(ξk , ηk ) yk

=

 

λ0

k =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim

 

u

k

, η

) x

v

k

, η

 

) y

k

+ i lim

 

v

k

, η

) x

+ u

k

, η

) y

k

=

λ0

 

 

 

k

 

k

 

 

 

k

 

 

 

 

λ0

 

 

 

k

 

k

 

k

 

 

 

k =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)

= u(x, y)dx v(x,u)dy + i v(x, y)dx + u(x, y)dy

( AB) ( AB)

при условии существования этих криволинейных интегралов (второго рода).

Таким образом, нами доказана следующая теорема:

Теорема 1 (существование и вычисление интеграла от функции комплексного переменного).

f (z)dz =

udx vdy + i

vdx + udy

(2)

( AB)

( AB)

( AB)

 

при условии существования криволинейных интегралов в правой части этой формулы.

209