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

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

..pdf
Скачиваний:
7
Добавлен:
05.02.2023
Размер:
1.22 Mб
Скачать

Так как коэффициент при

1 равен 16 , то res

 

z11

16 , и

 

 

 

поэтому

 

 

 

 

 

 

z

 

 

 

 

z z4 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z11

 

 

 

 

z11

 

 

 

 

 

 

 

 

 

 

 

dz

2 i

res

 

 

 

 

 

2 i 16

32 i .

 

 

4

 

 

 

4

 

 

 

z

1

 

 

z z

1

 

 

 

 

 

 

 

z

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в) Вычислить интеграл

 

 

z11

 

dz .

z

4

 

 

z 1

 

1,5

 

4

 

 

 

 

 

 

 

 

 

 

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

z1 1 i , z2 1 i , z3 1 i , z4 1 i , которые являются нулями знаменателя и найдены в предыдущем примере. Внутри

контура z 1 1,5 лежат точки z1 1 i и z4 1 i . Найдём вычеты подынтегральной функции в этих точках. Имеем

res

z11

 

 

 

 

z11

 

 

 

 

 

 

 

 

 

 

 

z11

 

 

 

 

 

 

z8

 

 

 

 

 

 

 

(1 i)8

 

4

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 1 i z4

4

 

 

(z4 4)

 

 

z 1 i

 

 

 

 

4z3

 

 

z 1 i

 

 

 

 

4

 

 

 

z 1 i

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

так как (1 i)2 2i , (1 i)4 (2i)2

4 , (1 i)8 ( 4)2 16 .

 

 

Аналогично

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

res

 

z11

 

 

 

 

 

z11

 

 

 

 

 

 

 

 

 

 

 

 

z11

 

 

 

 

 

 

z8

 

 

 

 

 

 

(1 i)8

 

4 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 1 i z4

4

 

 

(z4 4)

 

z 1 i

 

 

 

 

4z3

 

z 1 i

 

 

4

 

z 1 i

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

так как (1 i)2 2i ,

(1 i)4

( 2i)2 4 , (1 i)8

( 4)2 16 .

 

 

 

 

 

 

 

 

 

 

 

 

z11

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z11

 

 

 

 

z11

 

 

Поэтому

 

 

 

 

 

 

 

 

 

 

 

dz

 

2 i

res

 

 

 

 

res

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

4

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 1

 

1,5

 

z

 

 

 

 

4

 

 

 

 

 

 

 

 

 

z 1 i z

 

4

 

z 1 i z

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 i (4 4) 16 i .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г) Вычислить интеграл

 

z4 sin 1 dz .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

1

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Точка z 0 является существенно особой для подынтегральной функции и лежит внутри контура z 1. Поэтому, раскла-

101

дывая функцию z4 sin 1z в ряд Лорана в кольце 0 z , получаем

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

z4 sin

z4

( 1)n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

(2n 1)! z2n 1

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

z

4

 

1

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

... .

 

 

 

 

 

3!z3

5!z5

 

7!z7

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как коэффициент при

1

 

 

равен

 

1

 

 

 

1

 

 

, то

 

 

z

 

 

5!

120

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

1

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

res

z

 

sin

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5!

120

 

 

 

 

 

 

 

 

и

 

z 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 i

 

i

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

z4 sin

z

dz

 

2 i res

z4 sin

z

 

 

 

 

 

 

 

 

.

 

 

120

60

 

z

 

1

 

 

 

 

 

 

 

 

 

 

z 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д) Вычислить интеграл

 

 

 

 

 

 

z

 

dz .

 

 

 

 

 

 

 

 

 

 

 

 

 

sin z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Особыми точками подынтегральной функции могут быть только нули её знаменателя, то есть точки z k , k 0, 1, 2,...

Из них внутри контура z 1 лежит только точка z 0 . Эта точка является устранимой особой точкой для функции sinz z ,

поэтому res

z

0 . Таким образом,

 

 

z

dz

2 i 0 0 .

sin z

sin z

z 0

 

 

z 1

 

 

 

 

 

 

 

 

 

 

 

 

Для несобственных интегралов первого рода

f (x)dx име-

ет место следующий результат.

Теорема 2.7.3. Если функция f (z) голоморфна (аналитична) в верхней полуплоскости за исключением конечного числа осо-

бых точек, голоморфна (аналитична) на оси OX

и

 

f (z)

 

 

M

,

 

 

 

 

 

 

 

 

 

 

 

z

 

1

 

 

 

 

 

 

 

 

 

102

где M 0, 0 – некоторые константы, то несобственный инте-

 

 

 

грал первого рода

 

f (x)dx абсолютно сходится и

 

 

 

 

 

n

 

 

f (x)dx 2 i res f (z) ,

 

 

k 1 z zk

где суммирование

ведётся по всем особым точкам функции

f (z) , лежащим в верхней полуплоскости, то есть таким, что

Im zk 0 ,

k 1, 2,..., n .

 

 

 

 

 

 

 

 

xdx

 

2.7.2. Вычислить интеграл

 

 

.

 

2

 

2

 

 

(x

 

4)(x

 

2x 5)

 

Данная подынтегральная функция может иметь особые точки только в нулях знаменателя. Такими являются точки x1 2i ,

x2 2i , x3 1 2i , x4 1 2i – нули кратности 1 (простые ну-

ли). Из них в

верхней полуплоскости лежат точки x1 2i и

x3 1 2i . Так

как числитель в этих точках в нуль не обращает-

ся, то x1 2i

и x3 1 2i

 

есть полюсы порядка 1 (простые по-

люсы). Поэтому имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

res

 

 

 

z

 

 

 

 

lim

 

(z 2i)z

 

 

 

 

 

 

 

 

 

4)(z2

2z

5)

 

(z2 4)(z2 2z

5)

 

z 2i (z2

 

 

 

 

z 2i

 

 

 

lim

 

 

z

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(z 2i)(z2 2z

 

5)

 

 

 

z 2i (z 2i)(z2 2z 5)

 

 

 

 

z 2i

 

 

 

 

 

 

 

1

 

 

 

 

 

1 4i .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 8i

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

34

(z 1 2i)z

 

 

 

 

res

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

4)(z2

2z

5)

 

 

(z2 4)(z2

 

2z 5)

z 1 2i (z2

 

 

 

 

z 1 2i

 

lim

 

z

 

 

 

 

 

 

 

 

(1 2i)

2 9i .

(z2 4)(z 1 2i)

((1

2i)2 4)4i

z 1 2i

 

 

 

 

 

 

68

 

 

103

Таким образом,

 

xdx

 

1 4i

 

2 9i

 

i

 

 

 

 

 

 

 

 

 

 

2 i

 

 

 

 

2 i

 

 

 

.

(x2 4)(x2 2x 5)

34

68

68

34

 

 

 

 

 

 

x2dx

2.7.3.Вычислить интеграл (x2 4)2 .

Данная подынтегральная функция может иметь особые точки только в нулях знаменателя. Такими являются точки x1 2i ,

x2 2i , обе нули кратности 2. Из них в верхней полуплоскости лежит точка x1 2i . Так как числитель в этой точке в нуль не обращается, то x1 2i есть полюс порядка 2. Поэтому имеем

res

 

 

z2

 

 

lim

 

d (z 2i)2 z2

lim

d

 

 

z

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4)2

 

 

 

 

(z2

4)2

dz (z

2i)2

z 2i (z2

z 2i dz

z 2i

 

 

lim

 

2z(z 2i)2 z2 2(z 2i)

lim

2z(z 2i) 2z

2

 

 

 

 

 

 

(z 2i)4

 

 

 

 

 

 

 

(z 2i)3

 

 

z 2i

 

 

 

 

 

 

 

z 2i

 

 

 

 

 

lim

 

 

4zi

 

 

 

 

4zi

 

 

 

8

 

 

8

 

i .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

2i (z 2i)3

 

 

(z 2i)3

 

z 2i

(4i)3

 

64i

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2dx

 

 

2 i i

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x

4)

 

 

 

 

8

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вычисление

интегралов

 

R(cost,sin t)dt

 

 

или

 

интегралов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R(cost,sin t)dt ,

где

 

R(cost,sin t)

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

переменных cost

и sin t ,

заменой

z eit

сводится к вычисле-

нию интеграла

 

R1(z)dz , где

 

R1(z)

другая рациональная

 

 

 

 

 

 

z

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

функция переменной z . Действительно, если t пробегает полу-

104

интервал [0,2 ) или полуинтервал [ , ) , то точка z пробегает единичную окружность. Далее, по формулам Эйлера получаем

 

eit e it

1

 

1

 

 

 

eit e it

 

 

1

 

1

 

cos t

 

 

 

 

z

 

 

, sin t

 

 

 

 

 

 

 

 

 

z

 

.

2

 

z

 

 

2i

 

2i

z

 

 

2

 

 

 

 

 

 

 

 

 

 

 

Кроме того,

dz ie

it

dt ,

 

или

dt

1

e

it

dz

dz

.

 

 

Подставляя

 

 

i

 

iz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

найденные выражения для

 

cos t ,

sin t ,

dt

 

в

 

выражение

R(cost,sin t)dt ,

 

получаем

новую

рациональную

функцию, но

уже переменной z .

dx

2.7.4.Вычислить интеграл 5 cos x 2 .

 

Сделаем замену z eix . Тогда cos x

1

 

1

и поэтому

 

 

 

 

2

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

z2 10z

1

 

 

 

 

 

 

 

 

 

 

 

 

5 cos x 5

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

2

z

 

 

 

 

 

 

 

 

2z

 

 

 

 

 

 

 

 

 

Далее,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4z2dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4izdz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

5 cos x

 

 

 

 

 

 

z

 

1 iz z2

10z 1

 

 

 

 

 

 

 

 

 

z

 

1 z2 10z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

обращения в нуль знаменателя. Это происходит в точках

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z1 5 24 и z2 5 24 .

 

 

 

 

 

 

 

 

Так как 4

 

24 5 ,

 

 

то

 

z1

 

5

 

 

24 9 ,

и поэтому точка

 

 

 

 

 

 

z1 5

24

 

 

не

лежит в круге

 

 

 

z

 

1.

Далее,

так

как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z2

 

 

 

 

 

 

 

z2 5

 

 

1 5

24 0 , то

 

 

 

 

5

24

1, и точка

24

 

 

лежит в круге

 

z

 

1. Поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4izdz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4iz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 i

 

 

 

 

res

 

 

 

 

 

 

.

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

2

 

5 cos x

 

 

 

 

 

 

z

 

1 z2

10z

1

 

 

 

 

 

 

 

 

 

 

z 5

24 z2 10z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

105

Точка z2 5 24 есть нуль кратности 2 знаменателя, а

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

res

 

4iz

 

 

 

lim

d z 5 24 2

4iz

 

 

 

 

 

 

 

 

 

z2 10z 1 2

z 5 24 z2 10z 1 2

 

 

z 5 24 dz

 

 

 

 

lim

 

 

d

4iz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 5 24 dz z 5 24 2

 

 

 

 

lim

 

4i z 5

24 2

4iz 2

z 5

24

 

 

 

 

 

 

z 5

24

4

 

 

 

z 5 24

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

z 5

 

 

 

4i z 5

24 4iz 2

 

 

 

lim

 

 

 

 

 

 

 

 

z 5 24 3

 

 

 

z 5 24

 

 

 

 

 

 

 

 

 

4zi 20i 4 24i 4zi 20i 4 24i

 

 

24 z 5 24 3

 

z 5 24 3

z 5 24

 

 

4

5 24 i 20i 4 24i

 

 

 

 

 

 

 

40i

 

 

 

 

 

 

.

 

 

5 24 5 24 3

24 24

 

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

 

 

dx

 

 

40i

 

 

 

 

40

 

 

 

10

 

5

 

 

 

 

 

2 i

 

 

 

 

 

 

 

.

5

cos x

2

24 24

 

 

 

3 24

3

6

 

 

 

 

12

24

 

 

 

 

 

 

Задачи для самостоятельного решения

 

 

 

2.7.5. Вычислить интегралы: а)

 

 

 

z8

dz

;

 

 

 

 

 

z

3

 

 

 

 

 

 

 

 

 

 

 

z

 

3

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

106

б)

 

 

 

 

 

 

 

 

z8

 

 

dz ; в)

 

 

 

z2 2z 10

dz ; г)

 

 

 

e2z

 

dz ;

 

 

 

 

 

z

4

 

16

 

 

 

 

z

2

z

3

 

8

 

 

(z

2)

3

 

z 1

2

 

 

 

 

 

 

 

 

 

 

 

z 1

2

 

 

 

 

 

 

 

 

 

 

 

 

z 1

2

 

 

д)

 

 

 

 

 

 

 

z

 

 

dz ; е)

 

 

 

 

 

 

 

 

z3

27

 

dz ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

1

sin z

 

 

 

 

 

 

 

 

z 1 i

 

2,5 z

 

81

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ж)

 

 

 

 

 

 

 

 

 

 

2z 5

 

dz ; з)

 

 

 

 

 

 

 

 

 

 

(z5 2z 3)cos

1

dz ;

 

 

 

 

 

 

 

 

 

 

 

z

2

4z 20

 

 

 

 

 

 

 

2

 

 

 

 

 

 

z 4i

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

1

2

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и)

 

 

 

 

 

 

 

 

z8

3z4 2 sin

1

dz ; к)

 

 

z3 z cos

1 dz ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

z

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2dx

 

 

 

 

 

 

 

 

 

 

 

 

 

л)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

; м)

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

x2

16

2

x

2 8x 20

 

 

 

 

 

11

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

н)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

; о)

 

 

 

 

 

 

 

 

 

 

 

 

 

; п)

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2 4x 5

 

 

 

 

 

0

 

3 sin x

 

 

 

7 cos x

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

р)

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8 sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

107

3. Ряды Фурье

Рассмотрим множество вещественнозначных функций, заданных на отрезке [a,b] и интегрируемых вместе со своим

b

квадратом, то есть таких, что существуют интегралы f (x)dx и

 

 

a

b

 

 

f 2 (x)dx . Такими являются, например,

все

непрерывные на

a

 

 

отрезке [a,b] функции. Положим

для

этих функций

b

( f , g) f (x)g(x)dx . Эта операция обладает всеми свойствами

a

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

b

 

( f , g) f (x)g(x)dx .

(3.1)

a

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

b

 

( f , g) f (x)g(x)dx .

(3.2)

a

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

Семейство функций 1, 2 ,..., n ,... назовём ортогональным,

если каждые две функции из этого семейства ортогональны между собой.

Ортогональной системой функций является так называемая тригонометрическая система функций

1, cos n x

, sin n x

,

n 1, 2,... ,

(3.3)

l

l

 

 

 

которая ортогональна на отрезке [ l, l] .

108

Частным случаем этой системы функций является система

1,cos nx,sin nx , n 1, 2,... ,

(3.4)

ортогональная на отрезке [ , ] .

Конкретные ортогональные семейства функций, отличные от тригонометрической системы, можно найти в [4–8] и других книгах.

Пусть 1, 2 ,..., n ,... – множество попарно ортогональных функций. Пусть, далее, функция f (x) представлена в виде

 

 

f (x) ak k .

(3.5)

k 1

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

ak

f (x), k (x)

.

(3.6)

 

k (x)

 

2

 

 

 

 

 

 

 

Применяя эти формулы к тригонометрической системе (3.3), получаем разложение

f (x) a0

 

 

 

 

 

 

bn sin n x

 

 

an cos n x

,

(3.7)

 

 

 

 

 

 

2

 

n 1

 

 

 

 

l

l

 

 

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

 

 

 

 

 

1 l

 

 

 

 

 

n x

 

 

 

 

 

a

 

l

 

 

f (x)cos

 

l

dx ,

n 0,1, 2,... ;

 

(3.8)

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 l

 

 

 

 

n x

 

 

 

 

b

 

 

 

l

 

 

f (x)sin

l

 

dx ,

n 1, 2,...

 

(3.9)

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

Преобразуем слагаемое

 

a cos n x

b

sin n x в формуле (3.7).

 

 

 

 

 

 

 

 

 

n

 

 

l

 

n

l

 

 

Имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos n x b

sin n x

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

n

 

 

l

 

 

n

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

109

 

 

 

 

 

 

 

 

 

 

 

 

 

a

n

 

 

 

 

n x

 

 

 

 

 

 

b

 

 

 

 

 

n x

 

 

 

a 2

b

2

 

 

 

 

 

 

cos

 

 

 

 

 

 

 

 

 

 

n

 

sin

 

.

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

n

n

 

 

 

 

bn

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

Положим

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

an

bn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

bn

 

 

 

 

 

 

 

a 2

b

2 A ,

 

 

 

 

 

cos

n

,

 

 

 

 

 

 

sin

n

.

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n

 

 

n

 

 

a

2 b 2

 

 

 

 

 

 

 

 

a

2 b

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

n

 

 

 

 

 

 

 

 

 

 

 

n

 

n

 

 

 

 

 

 

С учётом этих обозначений имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a cos n x

b

 

sin n x

A

 

cos

n

cos n x sin

n

sin n x

 

n

l

n

 

 

 

l

 

 

n

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A cos n x

 

n

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому ряд (3.7) может быть записан в виде

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)

a

 

 

 

 

 

 

n x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

An cos

 

 

l

 

 

n .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Функция

A

cos

n x

 

 

 

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

 

 

n

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

меньшим периодом 2nl и представляет собой гармоническое

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

гармоники, nl – частотой гармоники, n – отклонением от на-

чального положения.

Величины An , n 1, 2,... , называют амплитудным спектром, nl – частотным спектром, n , n 1, 2,... , – фазовым спектром.

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

Теорема Дирихле. Всякая кусочно-непрерывная и ограниченная на отрезке [ l,l] функция (сигнал) f (x) может быть

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

110