Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Математика. Часть 3.pdf
Скачиваний:
1
Добавлен:
24.11.2025
Размер:
1.69 Mб
Скачать

Пример 2.2. Разложить в ряд Фурье функцию:

f (x) x, x (− π;π);

= 2π − период. .

Решение. Функция f (x), очевидно, удовлетворяет условиям Дирихле и является нечетной. Тогда по последней теореме будет

a0 = 0; an = 0; n N;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 π

f (x)sin nxdx =

2

 

 

x

 

π

 

1

 

π

 

2

 

π

2

n+1

 

 

 

 

 

 

 

 

 

 

b

=

 

 

 

 

 

cos nx

 

+

 

sin nx

 

=

 

 

cos πn =

 

(1)

, n N.

n

 

π

 

π

 

n

 

 

 

n2

 

 

 

π

 

n

n

 

 

 

 

0

 

 

 

 

 

 

0

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ряд Фурье – неполный, он содержит только синусы:

 

 

2

 

n+1

 

 

sin x

 

sin 2x

 

sin 3x

 

 

f (x)=

 

(1)

sin nx = 2

1

2

+

3

.

 

 

 

 

 

n=1n

 

 

 

 

 

 

 

 

 

Равенство (2.19) верно в точках непрерывности функции

f (x), то есть x ≠ π+ 2πk ,

где k – целые числа.

 

 

 

 

 

 

 

 

 

 

 

 

 

2.4 Разложение в ряд Фурье функции с произвольным периодом

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

f (x), заданная на промежутке [l,l]

с периодом 2l. Разложим

эту функцию в ряд Фурье, для чего сделаем замену:

 

 

 

x =

l

t;

x [l,l];

t [− π, π].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

Тогда функция

f

 

 

t , аргумента t, – периодическая с периодом 2π, удовлетворяю-

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

щая условиям теоремы разложения. Следовательно, ее можно разложить в ряд Фурье:

l

 

 

f

 

t

=

π

 

 

 

где

1 π a0 = π −π

 

a0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ an cos nt +bn sin nt ,

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

1 π

l

 

 

 

1 π

l

 

f

 

 

t dt,

a

 

=

 

 

f

 

t cosntdt,

b

=

 

 

f

 

t sin ntdt .

 

π

 

 

n

 

π −π

 

π

 

n

 

π −π

 

π

 

Переходя в этих формулах к старой переменной x, полагая

t =

π x,

 

dt = π dx,

t = π x = l,

 

t = −π x = −l ,

 

 

l

 

 

l

 

 

 

 

 

 

 

 

 

получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)=

a

 

nπx

 

nπx

 

 

0

 

+ an cos

 

 

+bn sin

 

 

,

(2.20)

2

 

 

 

 

 

 

n=1

l

 

 

 

l

 

 

где

35

a

 

l

f (x)dx ,

 

 

(2.21)

= 1 l

 

 

0

 

 

l

 

 

 

 

 

 

 

 

 

 

 

an =

1 l

nπx

(2.22)

l

f (x)cos

l

dx ,

 

 

 

 

 

 

 

 

l

 

 

 

 

bn

=

1 l

nπx

(2.23)

l

f (x)sin

l

dx .

 

 

 

 

 

 

 

 

l

 

 

 

 

Замечание. Все остальные положения, которые имели место для рядов Фурье от периодической функции с периодом 2π, остаются справедливыми и для рядов Фурье от периодической функции с периодом 2l.

Пример 2.3. Разложить в ряд Фурье периодическую функцию f (x)= x , с периодом

2l, на отрезке [l,l].

Решение. Функция f (x)= x – четная, значит, bn = 0 . Ее график имеет вид

Рисунок 2.3

Учитывая, что функция f (x)= x является симметричной, находим:

a

=

 

2 l

f (x)dx

=

2 l

xdx =

2

 

l2

 

= l,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

l

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

=

 

2 l

 

 

 

 

 

nπx

 

 

2 l

 

 

 

nπx

 

x = u

nπx

 

 

dx = du

 

 

=

 

l

 

f (x)cos

 

 

l

 

dx =

l

xcos

l

 

dx =

 

 

 

v

=

l

 

nπx

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dv = cos

 

 

dx

 

 

sin

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

nπ

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

xl

nπx

 

l

 

 

l

 

l

 

nπx

 

 

 

2

l 2

nπx

 

l

 

 

2l

 

[cos(nπ)cos0]=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

sin

 

 

 

 

 

 

 

 

 

sin

 

 

dx

=

 

 

 

cos

 

 

 

=

 

 

 

 

l

 

 

 

 

 

 

l

 

 

 

nπ

l

 

 

 

n

2

π

2

 

 

 

nπ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l nπ

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[(1)n 1].

 

0

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

2l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2π2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

 

 

f (x)=

 

x

 

на отрезке [l,l] представлена в виде следующего ряда Фурье:

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

2l

 

 

 

 

 

 

n

 

 

 

nπx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

=

 

 

 

+

 

 

 

 

 

[(1)

1]cos

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

n=1n2π2

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

36

Учитывая, что (1)n 1 = 0,

2,

 

 

 

 

 

 

 

 

(2k +1)πx

 

 

 

l

 

4l

cos

 

 

 

 

 

 

l

x

 

=

 

 

.

 

 

 

n2

(2k +1)2

 

 

 

2

 

n=0

 

 

 

 

 

 

при

n = 2k

окончательно получаем:

при

n = 2k +1

Рассмотрим теперь разложение функции в ряд Фурье, заданной на полуинтервале [0,π]. Пусть функция f1(x) задана на отрезке [0,π] и ее требуется разложить в тригонометрический ряд. Мы можем произвольно продолжить функцию f2 (x) на отрезке [−π,0], но так, чтобы продолженная функция f1(x) на отрезке [0,π] совпадала с функцией f2 (x) на отрезке

f

(x),

x [−π,0]

 

[− π,0]. Получили функцию F(x)= f

2(x),

x [0,π]

.

1

 

 

Разлагая функцию F(x) на отрезке [−π, π] в ряд Фурье, получаем искомый ряд, пред-

ставляющий в интервале [0,π] функцию

f1(x). При этом совершенно неважно, что этот ряд

на отрезке [−π,0] представляет совершенно другую функцию, по существу отличную от f1(x).

Если функцию f1(x) продолжить на отрезок [−π,0] четно, то есть график функции продолжить симметрично относительно оси Oy, то вновь полученная функция F(x) в этом случае будет четной и ее ряд Фурье будет состоять только из косинусов. Если же f1(x) продолжить на отрезок [−π,0] нечетно, то есть график ее продолжить симметрично относительно начала координат, то вновь получившаяся функция будет состоять только из синусов.

Вывод. Если функцию f1(x), заданную на отрезке [0,π] можно разложить в ряд Фурье, то таких ее разложений существует бесконечное множество. Значит, можно составить сколько угодно сходящихся рядов, представляющих на отрезке [0,π] одну и ту же функцию f (x), а на отрезке [−π,0] – самые разнообразные функции.

Пример 2.4. Разложить в ряд Фурье функцию

f (x)=

π− x

на отрезке [0,π] по коси-

2

 

 

 

 

 

 

нусам.

 

 

 

 

 

 

Решение. Чтобы функцию

f (x)=

π− x

, заданную на отрезке [0,π] разложить в ряд

2

 

 

 

 

 

 

Фурье по косинусам, необходимо доопределить функцию четным образом на отрезке [−π,0], то есть

f (x)= π−2 x .

37

Ее график симметричен относительно оси Oy

Рисунок 2.4

Найдем коэффициенты ряда Фурье a0 и an , учитывая симметрию:

a0 = π2 an = π2

=1 π π n

π

 

 

2 l

π − x

 

 

 

 

2

 

π

π

1

π

 

 

 

 

 

2

 

π2

 

π2

 

π

 

 

 

f (x)dx =

 

2

 

 

dx =

 

 

 

2

dx

2

xdx

=

 

 

 

2

4

 

 

=

2

,

 

 

π

 

 

 

π

 

π

 

 

 

0

 

 

 

0

 

 

 

 

 

 

 

 

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

nπx

 

 

 

2

π

π − x

 

 

 

1

 

π

 

 

 

 

 

 

 

 

π

 

 

 

 

 

f (x)cos

 

 

 

 

dx =

 

 

 

 

 

 

cosnxdx =

 

 

πcosnxdx xcosnxdx

=

 

l

 

 

π

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

xsin nx

 

π

 

 

1

π

 

 

 

 

1

 

cosnx

 

π

 

1

(1

 

n

).

 

 

 

 

 

 

 

 

 

 

 

 

sin nx

 

 

 

 

 

 

 

 

 

sin nxdx

=

 

 

 

 

 

2

 

 

 

=

 

 

 

 

(1)

 

 

 

 

n

 

 

 

n

π

 

 

n

 

 

 

n

2

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

0

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

f (x)=

π− x

,

x [0,π] представима в виде следующего ряда Фурье:

2

 

 

 

 

 

 

 

 

 

 

π − x

=

π

+

1

 

[1(1)n ]cosnx

 

 

 

 

 

 

2

 

4

 

π n=1

n2

 

 

Учитывая, что 1(1)n = 0, n = 2k

окончательно получаем:

 

 

 

 

 

 

 

 

 

 

2, n = 2k +1

 

π − x

 

π

 

2

 

1

cos((2k +1)x).

 

=

+

 

 

 

2

 

4

 

π k =0(2k +1)2

 

 

2.5 Интеграл Фурье

Пусть функция f (x) определена и абсолютно интегрируема на бесконечном интервале (−∞;+∞), то есть существует

f (x)dx = Q .

−∞

И пусть функция f (x) такова, что она разлагается на любом интервале [l,l] в ряд

Фурье

f (x)= a20 + nan cos nπl x +bn sin nπl x ,

=1

где

38

an

=

 

1 l

f

 

 

 

nπt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

(t)cos

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

bn

 

=

 

1 l

f

 

 

 

nπt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

(t)sin

l

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подставляя в ряд Фурье выражения an

 

и bn , получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

f (x)=

 

 

1

f (t)dt +

1

 

 

 

 

 

 

 

(t)cos

nπt

 

 

 

 

 

nπx

 

f (t)sin

nπt

 

 

nπx

 

 

 

 

 

 

 

 

 

f

dt

 

cos

+

 

dt

 

sin

 

=

 

 

2l

 

l

 

 

l

 

 

 

l

 

 

l

 

l

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

(2.24)

 

 

 

 

 

l

 

 

 

 

 

 

l

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

nπt

 

 

 

 

 

nπx

 

 

 

nπt

 

 

 

nπx

 

 

 

 

 

 

 

=

 

 

 

f (t)dt +

 

f (t) cos

 

 

 

 

cos

 

 

 

 

+sin

 

 

 

sin

 

dt.

 

 

 

 

 

 

 

2l

l

 

l

 

l

 

 

 

 

l

l

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Учитывая, что cosαcosβ+sin αsinβ = cos(α −β), окончательно получим:

 

 

 

 

 

 

 

 

 

 

 

 

1 l

 

 

 

 

 

1

l

 

 

 

 

 

 

 

 

nπ(t x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)= 2l

f (t)dt + l

f (t)cos

 

 

 

 

l

 

 

 

 

dt .

 

 

 

 

 

 

 

 

 

 

 

 

(2.25)

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

n=1 l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначим α = π;

α

2

=

 

2π

; ;

α

n

= πn . Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

l

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

l

 

 

 

 

 

 

1

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)=

f (t)dt +

 

f (t)cos(αn (t x))dt

dα,

 

 

 

 

 

 

 

 

 

(2.26)

2l

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

n=1

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где dα = αn −αn1 =

π

. При l → ∞ первый член в правой части 0 . Действительно

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

l

 

 

 

 

 

 

 

1

l

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(t)dt

 

f (t)

 

dt <

 

 

f (t)

 

dt =

Q 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2l

2l

 

2l

 

 

2l

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при l → ∞.

Если f (x) – кусочно-монотонна на каждом конечном интервале и ограничена на бесконечном интервале, а также удовлетворяет условию

+∞

 

 

 

 

 

 

 

 

 

 

f (x)dx

 

= Q , то при l → ∞ формула (1) примет вид

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

(x)=

1

+∞

 

 

 

f

 

f (t)cos(α(t x))dt

dα.

(2.27)

 

 

 

π

0

 

 

 

 

 

 

 

 

 

−∞

 

 

 

Выражение, стоящее справа, – интеграл Фурье для функции

f (x). Равенство (2.27)

имеет место с любым периодом, где функция f (x) непрерывна. Интеграл Фурье функции f (x) сходится к этой функции всюду, кроме, быть может, точек разрыва xk , где он дает зна-

чение, равное 1

 

lim

f (x)+ lim

f (x) .

2

 

 

xxk+0

 

xxk0

 

39

Преобразуем внутренний интеграл, стоящий в правой части равенства (2.27), для чего раскроем скобки по формуле

cos(α(t − α))= cosαt cosαx + sin αt sin αx .

Вынося в (2.27) cosαx и sin αx за знаки интегралов, вычисляемых по t, получаем

 

 

 

 

 

 

 

1

 

 

 

 

+∞

 

+∞

 

 

 

 

 

1

+∞

+∞

 

 

 

 

f

(x)=

 

 

 

 

 

f (t)cosαtdt cosαx dα +

 

f

(t)sin αtdt sin αx dα .

(2.28)

 

π

π

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

−∞

 

 

 

Каждый из интегралов по t существует, так как

f (t) абсолютно интегрируема на ин-

тервале

(−∞;+∞),

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

интегрируемы и функции

f (t)cosαt

и

f (t)sin αt .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

+∞

 

 

 

 

 

1

+∞

 

 

 

 

 

 

 

A(α)=

 

 

 

 

f

(t)cosαtdt; B(α)=

f (t)sin αtdt .

 

(2.29)

 

 

 

 

 

π

 

 

 

 

 

 

 

 

π

−∞

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда (2.28) примет вид

 

 

 

 

 

 

 

 

 

 

 

f

(x)=

1

 

 

[A(α) cosαx + B(α) sin αx] dα.

 

 

 

 

(2.30)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Частные случаи

 

 

 

 

 

 

 

 

 

 

 

 

1) Если

f (t) – четная функция, то f (t)cosαt

– четная функция, а f (t)sin αt – нечет-

ная. В этом случае

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

 

 

 

+∞

 

 

 

+∞

 

 

 

 

 

 

 

f (t)cosαtdt = 2 f (t)cosαtdt,

 

f (t)sin αtdt = 0 .

 

 

 

−∞

 

 

 

0

 

 

 

−∞

 

 

 

 

 

 

Формула (2.28) примет вид

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

+∞

 

+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(x)=

 

 

 

f (t)cosαtdt

cosαxdα .

 

 

 

 

(2.31)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Если

f (t) – нечетная функция, то f (t)cosαt

– нечетная функция, а

f (t)sin αt

четная. Тогда формула (2.28) примет вид

 

 

 

 

 

 

 

 

 

 

2

 

 

 

+∞

 

+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(x)=

 

 

f (t)sin αtdt

sin αxdα.

 

 

 

 

(2.32)

 

 

 

 

 

 

 

 

 

 

 

 

 

π

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3)

С

помощью

формул

Эйлера

eiy

= cos y +isin y, eiy = cos y isin y

или

cos y =

eiy +eiy

; sin y =

eiy

eiy

из формул (2.30) получается комплексная форма интеграла

 

2

 

 

 

 

 

 

 

 

 

 

2i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Фурье:

40

 

1

+∞

 

 

 

f (x)=

eiαxdαf (t)eiαtdt .

 

(2.33)

2π

 

 

−∞

0

 

 

 

 

 

0,

при

x < 0

Пример 2.5. Представить функцию f (x)= πx,

при

0 x 2 в виде интеграла Фу-

 

 

 

 

при

x > 2

 

 

 

0,

рье.

Решение. Найдем коэффициенты A(α) и B(α) по формулам(2.29):

A(α)=

 

+∞

 

 

 

 

 

0

 

 

 

 

2

 

 

 

 

 

0+∞

 

 

 

1

 

f (t)cosαtdt =

1

0 cosαtdt + πt cosαtdt +

 

0 cosαtdt

=

 

 

 

π

−∞

 

 

 

 

π

 

 

 

 

 

0

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

=

t sin αt

+

cosαt

 

2

=

2sin 2α

+

cos2α

1

=

2αsin 2α + cos2α −

1

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α

 

 

 

 

α

α2

 

α2

 

 

 

 

 

α2

 

 

 

 

 

 

 

α2

 

t=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

+∞

 

 

 

 

2

 

 

 

t cosαt

 

 

sin

αt

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B(α)=

 

 

f (t)sin αtdt = t sin αtdt =

 

 

 

 

 

+

 

 

 

 

=

 

 

 

 

π

 

α

 

α

2

 

 

 

 

 

 

 

−∞

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

2cos2α

+ sin 2α

= sin 2α − 2αcos2α.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α

 

 

α2

 

 

 

 

α2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

 

f (x)

примет вид:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞ (2αsin 2α + cos2α −1)cosαx + (sin 2α − 2αcos2α)sin αx

 

 

 

 

f (x)=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dα.

 

 

 

 

 

 

 

 

 

 

 

 

α

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Это равенство справедливо, то есть полученный интеграл сходится к функции f (x) на всей числовой оси, кроме точки x = 2 , в которой эта функция разрывна. В точке x = 2 ин-

теграл равен

1

 

lim 0 +

lim

 

= π, тогда как

f (2)= 2π.

2

 

πx

 

x20

x2+0

 

 

 

Решение будет короче, если воспользоваться комплексной формой (2.33) интеграла Фурье:

 

 

 

 

 

1

+∞

 

 

 

 

 

 

 

 

 

 

 

 

1

+∞

 

2

 

 

 

f (x)=

 

 

eiαxdα+f (t)eiαtdt =

eiαxdαteiαtdt =

 

 

2π

2

 

 

 

 

 

−∞

 

 

 

 

 

−∞

 

 

 

−∞

 

0

 

 

 

 

1

+∞ teiαt

 

eiαt

 

 

2

 

iαx

 

1

+∞ e2iα(1

2iα)1

 

iαx

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

e

dα =

 

 

 

 

e

dα.

2

 

iα

i

2

α

2

 

 

 

 

2

 

α

2

 

 

−∞

 

 

 

 

 

 

0

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

41

3 ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИЙ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ (ТФКП) 3.1 Основные понятия. Функция комплексной переменной (ФКП).

Основные элементарные ФКП

3.1.1 Области в комплексной плоскости

Пусть C – комплексная плоскость.

 

 

 

 

Определение 3.1. Пусть точки z = x +iy

и z0 = x0 +iy0 принадлежат C, тогда рас-

стояние между точками z и z0 вычисляется по формуле

ρ(z

 

; z)=

 

 

 

 

 

 

 

 

 

.

 

0

 

z z

0

 

 

=

(x x )2 +(y y

0

)2

(3.1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

Известно, что уравнение окружности с центром в точке (x0; y0 ) и радиусом R имеет

вид: (x x

)2

 

+(y y

0

)2 = R2 , тогда, исходя из равенства (3.1), уравнение окружности с цен-

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тром в точке z0 и радиусом R имеет вид:

 

 

 

 

 

z z0

 

 

= R .

 

 

 

 

 

 

 

 

(3.2)

 

 

 

 

 

 

 

 

 

 

 

Значит, множество точек комплексной плоскости, удовлетворяющих неравенству

 

z z0

 

 

 

 

R

 

 

 

 

 

 

 

 

(3.3)

 

 

 

 

 

 

 

 

 

 

определяет круг с центром в точке z0 и радиусом R.

Определение 3.2. ε-окрестность точки z0

– это множество точек комплексной плос-

кости C, удовлетворяющих неравенству

 

 

 

 

 

z z0

 

 

< ε.

 

 

 

 

 

 

 

 

(3.4)

 

 

 

 

 

 

 

 

 

 

Рисунок 3.1

Рассмотрим множество D C точек z = x + iy комплексной плоскости.

Определение 3.3. Точка z D называется внутренней точкой множества D, если существует ε-окрестность точки z, целиком содержащаяся в D.

Точка z1 D называется граничной точкой множества D, если в любой ε-окрестность точки z1 существуют точки, как принадлежащие, так и не принадлежащие множеству D.

Совокупность всех граничных точек множества D называется границей множества D.

42

Определение 3.4. Множество D называется открытым, если все его точки – внутренние.

Множество D с присоединенной к нему границей называется замкнутым.

Определение 3.5. Пусть ϕ(t) и ψ(t) – действительные непрерывные функции переменной t, t [t1;t2 ]. Тогда уравнение z(t)= ϕ(t)+iψ(t), t [t1;t2 ] является параметрическим уравнением непрерывной кривой L в комплексной плоскости C. Если ϕ(t) и ψ(t) имеют не-

прерывные производные, причем (ϕ′(t))2 +(ψ′(t))2 0, t [t1;t2 ], то кривая L называется глад-

кой.

Определение 3.6. Множество D называется связным, если две любые его точки мо ж- но соединить гладкой кривой, полностью состоящей из точек множества D.

Определение 3.7. Областью называется открытое связное множество D.

Пример 3.1.

а)

 

z +i

 

<1 – открытый круг с центром в точке z0 = −i и радиусом 1 – область.

 

 

б)

Im z Re z < 0 y x < 0 – не является областью, так как нарушено условие связно-

сти.

Рисунок 3.2

Определение 3.8. Область с присоединенной к ней границей называется замкнутой и обозначается D .

Определение 3.9. Область D называется односвязной, если ее граница является связным множеством. В противном случае область D называется многосвязной.

43

Пример 3.2. Описать следующие множества:

а) z + 2 < 2 – открытый круг с центром в точке z0 = −2 и радиусом 2 – область.

Рисунок 3.3

б) 0 Re z 2 – полоса, расположенная между прямыми 0 x 2, x = 0, x = 2 , – не является областью, так как нарушено условие открытости.

Рисунок 3.4

Определение 3.10. Комплексная плоскость C, содержащая точку z = ∞ называется

расширенной комплексной плоскостью и обозначается C .

3.1.2 Определение функции комплексной переменной (ФКП). Предел и непрерывность ФКП

Определение 3.11. Если каждому комплексному числу z, принадлежащему области D, поставлено в соответствие некоторое комплексное число ω, то говорят, что в области D оп-

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

 

ω = f (z).

(3.5)

Область D называется областью определения функции f (z).

 

Множество E всех значений ω, которое f (z) принимает при

z D называется мно-

жеством значений функции f (z).

 

44

Пусть z = x + iy и ω = u +iv , тогда ω = f (z)= f (x +iy)= u(x; y)+iv(x; y), причем

 

Re f (z)= u(x; y) действительная часть f (z).

(3.6)

Im f (z)= v(x; y) мнимая часть f (z).

(3.7)

Таким образом, задание функции (3.5) равносильно заданию двух функций (3.6) и (3.7) от двух действительных переменных.

Определение 3.12. Функция ω = f (z) называется однозначной (однолистной) в облас-

ти D, если для любых z1 D и z2 D таких, что z1 z2

верно f (z1)f (z2 ).

Определение 3.13. Говорят, что в области

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

ω = f (z), если любому z D поставлено в соответствие несколько комплексных чисел ω.

Пример 3.3. Вычислить f (2 +3i), если f (z)= x2 y2i .

Решение. f (z)= x2 y2i = [x = 2, y = 3]= 22 32 i = 4 9i .

Пример 3.4. Найти действительную и мнимую части функции f (z)= 2iz2 + z . Решение. Пусть z = x + iy , тогда

f (z)= 2i(x +iy)2 +(x iy)= 2i(x2 y2 + 2xyi)+ x iy = 2ix2 2iy2 4xy + x iy =.

= (x 4xy)+i(2x2 2y2 y)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Значит, Re f (z)= x 4xy;

 

 

Im f (z)= 2x2 2y2 y .

 

 

 

 

 

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

f (i), если ω = f (z)=

 

+

 

.

 

 

 

 

 

2

z

 

 

 

 

 

Решение.

 

i

 

 

=1; argi = π/ 2 , тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

+ 2πk

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ 2πk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

+isin

 

2

 

 

 

 

 

 

 

 

 

 

ωk

=

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+cos

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

, k = 0,1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

+ πk

 

 

 

 

 

 

ωk

=

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+cos

+ πk

+isin

4

, k = 0,1; .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

+i

 

 

 

 

 

 

 

=

3

 

 

 

+i

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

ω =

 

 

 

 

2

2

2

2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ω =

 

 

 

 

 

2

 

i

 

 

2

 

=

 

2

 

i

 

 

 

2

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Значению z = i

 

соответствуют два значения функции: ω0 и

ω1 , значит, функция

f (z)=

 

+

 

 

 

 

– многозначная.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 3.14. Число A ≠ ∞ называется пределом функции

f (z) при z z0 , если

для ε > 0

δ(ε)> 0 такое,

 

 

что для всех z, удовлетворяющих неравенству 0 <

 

z z0

 

< δ ,

 

 

 

 

45

выполнено неравенство f (z)A < ε и обозначается

lim f (z)= A.

zz0

Определение 3.15. Число A = ∞ называется пределом функции f (z) при z z0 , ес-

ли для R > 0 δ(ε)> 0 такое, что для всех z, удовлетворяющих неравенству 0 < z z0 < δ ,

выполнено неравенство f (z) > R и обозначается

lim f (z)= ∞.

zz0

Замечание. Выражение z z0 означает, что z z0 по любому пути от z до z0 . Су-

ществование предела по фиксированному пути от точки z z0 до z0 не означает существования предела функции f (z) при z z0 .

Рисунок 3.5

 

Теорема 3.1. Если существует lim

f (z)= A +iB , то существуют lim u(x, y)= A и

zz0

 

zz0

lim v(x, y)= B .

 

 

zz0

 

 

Определение 3.16. Пусть функция

f (z) определена в точке

z0 и ее окрестности.

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

f (z)= f (z0 ).

 

zz0

 

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

Точками разрыва называют точки, в которых нарушаются условия непрерывности

функции.

 

 

На основании

теоремы имеет, что если

lim f (z)= A +iB = f (z0 ), то

 

 

zz0

lim u(x, y)= u(x0; y0 ) и

lim v(x, y)= v(x0; y0 ).

 

xx0

xx0

 

yy0

yy0

 

46

Следовательно, если f (z) непрерывна в конечной точке z0 , то u(x, y) и v(x, y) не-

прерывны в точке (x0; y0 ).

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

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

lim

z2 + 2z + 5

 

0

 

lim

(z +12i)(z +1+ 2i)

= 4i .

 

=

 

 

=

 

 

 

z +12i

0

z +1

2i

 

z→−1+2i

 

 

 

z→−1+2i

 

3.1.3 Основные элементарные ФКП

Под элементарными ФКП понимаются обычно следующие функции:

1)f (z)= az +b, (a,b C) – линейная функция;

2)f (z)= zn, (n C) – степенная функция;

3)f (z)= czaz ++db , (a,b,c,d C) – дробно-линейная функция;

 

f (z)=

a zn + a zn1

+ + a

n

 

4)

 

0

1

 

 

– общая рациональная функция;

b zm +b zm1

+ +b

 

 

 

 

 

0

1

 

m

 

5)

f (z)=

1

 

1

– функция Жуковского.

2

z +

 

 

 

 

z

 

 

 

 

6) Показательная функция ω = ez .

 

Пусть z = x +iy , тогда

 

ω = ez = ex+iy = ex eiy = ex (cos y +isin y).

(3.8)

Из формулы (3.8) очевидно, что

 

 

ez

 

= ex; argez = y .

(3.9)

 

 

Свойства показательной функции

а) ez1 +z2 = ez1 ez2 ;

ez1 +z2 = ex1 +iy1 +x2 +iy2 = ex1 +iy1 ex2 +iy2 = ez1 ez2 ;

б) ez1 z2 =

ez1

;

ez2

 

 

в) ez = ez+2πki ,

k Z ;

ez+2πki = ex+iy+2πki = ex+i(y+2πk ) = ex (cos(y + 2πk)+isin(y + 2πk))= ex (cos y +isin y)= ez .

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

функция ω = ez является периодической с чисто мнимым периодом

2πi. Тогда

47

Argez = y + 2πk .

(3.10)

г) Функция ω = ez непрерывна при z C .

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

Данная функция определяется как функция, обратная показательной. Число ω называ-

ется логарифмом числа z, если eω = z .

 

 

 

 

 

Пусть

z = reiϕ,

а

 

ω = u +iv ,

тогда

eu+iv = r eiϕ .

Значит,

v = ϕ+ 2πk,

r = eu u = ln r = ln

 

z

 

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

 

 

 

 

 

 

 

 

ω = Ln z = ln

 

z

 

+ i(ϕ+ 2πk)= ln

 

z

 

+ i(arg z + 2πk),

k Z .

 

(3.11)

 

 

 

 

 

Формула (3.11) показывает, что логарифмическая функция комплексного аргумента имеет бесконечно много значений, то есть является многозначной. Выражение при k = 0 :

ln z = ln

 

z

 

+i arg z главное значение логарифмической функции.

(3.12)

 

 

Тогда

Ln z = ln z + 2πki .

Свойства логарифмической функции

а) Ln(z1, z2 )= Ln z1 + Ln z2 ;

 

z1

 

 

 

 

 

 

= Ln z1 Ln z2 ;

 

б) Ln

 

 

 

z2

 

 

 

 

в) Ln zn = n Ln z, n N ;

 

1

 

1

 

 

г) Ln z n =

Ln z,

n N .

 

 

 

 

n

 

 

8) Тригонометрические функции:

sin z =

eiz eiz

; cos z =

eiz +eiz

; tg z =

sin z

; ctg z =

cos z

.

2i

2i

cos z

sin z

 

 

 

 

 

(3.13)

(3.14)

Функции sin z и cos z имеют период 2π, функции tg z и ctg z имеют период π. Все известные тригонометрические тождества для тригонометрических функций действительного аргумента остаются в силе и для тригонометрических функций (3.14).

9) Обратные тригонометрические функции определяются как функции, обратные по отношению к тригонометрическим.

Число ω называется арксинусом числа z, если z = sin ω и обозначается

ω = Arcsin z .

 

 

 

Значит,

z = sin ω = eiω eiω

или e2iω 2izeiω 1 = 0 .

 

2i

 

 

 

 

 

Решая

это уравнение относительно eiω , получаем: eiω = iz +

1z2

, тогда

48

eiω = Ln iz + 1z2 . Таким образом,

 

 

 

 

 

 

 

1

z

2

(3.15)

ω = Arcsin z = −i Ln iz +

 

.

 

 

 

 

 

 

 

Аналогично определяются другие обратные тригонометрические функции:

 

 

 

 

 

 

1

z

2

Arccos z = −i Ln z +

 

;

 

 

 

 

 

 

Arctg z = −

i

Ln

 

1+iz

;

.

 

 

 

 

 

 

(3.16)

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

1iz

 

 

 

 

 

 

 

 

Arcctg z =

i

Ln

z i

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

z +i

 

 

 

 

 

 

 

 

10) Гиперболические функции:

 

 

 

 

 

 

sh z =

ez ez

;

 

 

ch z =

ez +ez

;

th z =

sh z

; cth z =

ch z

. .

(3.17)

2

 

 

 

 

 

2

ch z

sh z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Функции sh z

и ch z – периодические с периодом 2πi; th z и cth z

имеют период πi.

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

sh z = −isin iz;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ch z = cosiz;

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.18)

th z = −i tgiz;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cth z = −i ctgiz.

 

 

 

 

 

 

 

 

 

 

 

 

11) Общая степенная функция ω = za ,

a C .

 

 

 

ω = za = ea Ln z

– многозначная функция.

 

 

 

 

Главное значение ealn z .

 

1

1

 

 

 

 

 

 

 

 

arg z+2πk

 

 

 

 

 

 

 

 

 

ei

n

Если a =

, n N , то получаем ω = z n

= n z = n

 

z

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, k [0,n 1].

12) Общая показательная функция ω = az , a C

ω = az = ez Ln a , a C – многозначная функция.

 

 

Главное значение – ez ln a .

 

 

 

 

 

 

 

 

 

Пример 3.7.

Вычислить значение функции ω = Ln z в точке z0 = −1+ i .

Решение.

 

z0

 

=

 

1+ i

 

=

 

 

arg z0 =

3π

 

, тогда

 

 

 

 

 

 

2;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

3π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ω(z0 )= Ln z0

 

 

 

 

 

+ i(arg z0

+ 2πk)= Ln

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ln

z0

 

2 + i

 

+ 2πk ,

k Z .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

Пример 3.8.

Вычислить значение функции ω = zi

в точке z0 = 3i .

49