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

Учебное пособие 995

.pdf
Скачиваний:
5
Добавлен:
30.04.2022
Размер:
706.22 Кб
Скачать

 

4

 

nx

 

1

4

 

 

nx

 

4

 

4 4

 

nx

 

4

 

2

 

 

 

 

 

 

 

 

 

b

 

 

xsin

 

dx

 

 

x

 

cos

 

 

 

 

 

 

 

 

 

sin

 

 

 

 

 

4

4

 

 

 

 

 

 

 

 

 

4

 

 

 

n

 

 

 

2

n

4

 

 

 

 

n n

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

cos n

8

1 n 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, ряд Фурье имеет вид:

 

 

 

 

 

 

 

 

 

 

 

x

 

 

2 x

 

 

3 x

 

 

 

 

8

 

 

nx

8

sin

 

 

sin

 

 

 

sin

 

 

 

 

f x

1

n 1

4

 

 

4

 

4

 

 

 

sin

 

 

 

 

 

 

 

 

 

 

 

...

n 1 n

 

 

 

 

 

 

 

 

 

3

 

 

 

 

4

 

 

1

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для 4 x 4.

3.5. Разложение непериодической функции в ряд Фурье

Пусть на отрезке a;b задана непериодическая функция

y f x (рисунок). Такую функцию в точках ее непрерывности

можно представить в виде суммы ряда Фурье. Для этого рассмотрим произвольную периодическую кусочно-монотонную

функцию

f1 x

с периодом T 2 b a, совпадающую с

функцией

f x

на отрезке a;b .

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

цию f x в ряд Фурье на отрезке a;b .

50

y

f(x)

λ-2μ

0

λ a

b λ+2μ

λ+4μ x

Рассмотрим частный случай. Пусть непериодическую

функцию f x требуется

разложить в ряд Фурье на отрезке

0;l . Такую функцию можно произвольным образом доопре-

делить на отрезке l;0 , а затем периодически продолжить с

периодом T 2l . Разложив в ряд Фурье на

отрезке l;l по-

лученную периодическую функцию f1 x ,

получим искомый

ряд для функции f x на отрезке 0;l .

 

В частности, функцию f x

можно доопределить на от-

резке l;0 четным образом, т.е.

чтобы при l x 0 было

f x f x . В этом случае функция f x

разлагается в ряд

Фурье, содержащий только косинусы.

 

Если же функцию f x продолжить на отрезке l;0 не-

четным образом, т.е. чтобы при l x 0

было f x f x .

В этом случае функция f x

разлагается в ряд Фурье, состоя-

щий только из синусов.

 

 

Пример. Разложить в

ряд по

косинусам функцию

51

f x x , 0 x .

2

 

 

 

 

 

 

 

 

f x на отрезке

;0

Решение. Продолжим функцию

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

 

 

x

, 0 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

f1 x

 

 

 

 

 

 

 

 

 

x

 

, x 0

 

 

 

 

2

 

 

с периодом T 2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

x

 

 

 

 

 

 

a0

 

 

 

 

dx

 

 

.

 

 

2

 

2

 

 

0

 

 

 

 

 

 

 

 

 

 

 

2

 

x

 

 

 

 

 

 

 

an

 

 

 

 

cosnxdx

 

2

 

 

 

 

0

 

 

 

 

 

 

 

 

f x

x

 

2

cosx

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

4

 

 

 

1

где 0 x .

1

n2 1 cos n .

 

cos3x

 

cos5x

 

 

 

 

 

 

 

 

...

,

3

2

5

2

 

 

 

 

 

 

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

Ряды Фурье часто применяются в комплексной форме записи. Преобразуем ряд (3.2) и его коэффициенты (3.5), (3.10), (3.11) к комплексной форме. Для этого используем формулы Эйлера:

 

einx e inx

einx e inx

cosnx

 

, sinnx

 

.

2

 

 

 

2i

Подставив эти выражения в ряд (3.5), получим:

 

a0

 

 

e

inx

e

inx

 

e

inx

e

inx

 

f x

an

 

 

bn

 

 

 

 

 

 

 

2

 

 

 

2i

 

2

n 1

 

 

 

 

 

 

 

 

 

 

52

 

 

 

 

 

 

 

a0

 

 

 

 

 

 

e

inx

e

inx

 

 

 

 

 

 

e

inx

e

inx

 

 

 

 

 

 

 

 

an

 

 

 

 

ibn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a0

 

 

 

an

ibn einx

 

an ibn e inx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cneinx c ne inx ,

 

 

 

 

 

 

 

(3.22)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где обозначено c

n

 

an ibn

,

 

c

 

an ibn

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

n

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Найдем выражения для комплексных коэффициентов cn и

c n . Используя выражения для an и bn, получим:

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cn

 

2

 

 

 

 

 

f x cosnxdx i f x sinnxdx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

x cosnx

 

isinnx dx

 

 

f x e

inx

dx, (3.23)

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c0

 

 

 

 

f x dx,

 

 

 

 

 

 

 

(3.24)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x cosnxdx i f x sinnxdx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

x cosnx isinnx dx

 

 

 

f x e

inx

dx. (3.25)

2

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, формулу (3.22) можно записать в виде:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x cneinx .

 

 

 

 

 

 

 

 

 

 

(3.26)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

Коэффициенты этого ряда, согласно формулам (3.23) – (3.25), можно записать в виде:

53

 

1

 

 

 

 

 

 

 

 

 

 

cb

 

f x e

inx

dx,

n 0, 1, 2,... .

(3.27)

2

 

 

 

 

 

 

 

 

 

 

 

 

 

Равенство (3.26) называется комплексной формой ряда

Фурье функции

f x . Числа cn , найденные по формуле (3.27),

называются комплексными коэффициентами ряда Фурье.

Если функция

f x

задается на отрезке l;l ,

то ком-

плексная форма ее ряда Фурье имеет вид:

 

 

 

 

 

 

 

 

 

 

im x

 

 

 

 

f x cne

 

,

(3.28)

 

 

 

l

 

 

 

 

 

 

 

n

 

 

 

 

 

1

 

l

 

in x

 

 

 

 

 

cn

f x e

 

dx

n 0, 1, 2,... .

(3.29)

 

 

l

2l

 

 

l

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

Вэлектротехнике и радиотехнике члены ряда (3.28) назы-

ваются гармониками, коэффициенты cn комплексными ам-

плитудами гармоник, а числа n

 

n

n 0, 1, 2,... – волно-

l

 

 

 

выми числами функции f x cnei nx .

n

Совокупность волновых чисел называется спектром. Коэффициенты cn , определяемые формулами (3.29), называют

комплексной амплитудой. Совокупность модулей амплитуд cn

также иногда называют спектром функции f x .

Пример. Построить ряд Фурье в комплексной форме для периодической функции

0,

x 1;0 ,

 

T 2.

f x

1,

x 0;1 ,

 

 

Решение. По формулам (3.29) находим (l 1):

54

 

 

 

1

1

 

 

e i nx

1

 

1

e

 

1

 

 

 

 

 

cn

e

i nx

dx

 

i n

 

 

 

 

 

2

 

2 ni

 

2 ni

 

 

 

 

 

 

 

 

0

 

 

 

 

1 n

0

 

 

 

 

 

 

1

 

 

 

i

 

 

 

 

 

 

1

 

 

 

 

1

1

 

 

cos n isin n 1

 

 

 

 

i , n 0;

c0

dx

.

2 n

 

 

2 n

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

Следовательно, для всех точек неррерывности функции f x

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

 

1

 

 

 

1 n 1

 

 

 

 

1

 

 

i x

 

e

i x

 

 

e

3i x

 

e

3i x

 

f x

i

n

 

 

ei nx

 

 

i

e

 

 

 

 

 

 

 

 

...

 

 

2 n

2

 

 

 

 

3

 

3

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

f x

сумма ряда Фурье равна:

 

 

 

 

 

S 0

0 1

 

1

,

S 1

1 1

1.

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

3.7. Интеграл Фурье

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

функция

f x

 

удовлетворяет

 

на отрезке

l;l

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

a

f x 20 an cos nx bn sin nx , (3.30)

n 1

n

где n l ,

 

 

1

 

l

 

an

 

 

f t cos ntdt, n 0,1,2,... ,

(3.31)

l

 

 

 

 

 

l

 

 

 

 

1

l

 

bn

 

f t sin ntdt , n 0,1,2,... .

(3.32)

l

l

Это разложение будет справедливымна всей числовой оси

55

Ox в том случае, если f x – периодическая функция с перио-

дом T 2l .

Рассмотрим случай, когда f x – непериодическая функ-

ция, определенная на бесконечном интервале ; . Пусть на

любом конечном промежутке l;l функция f x удовлетво-

ряет условиям теоремы Дирихле и пусть сходится следующий несобственный интеграл:

f x dx M .

Говорят, что функция f x

абсолютно интегрируема на всей

числовой оси.

 

 

 

 

 

 

 

 

 

 

Подставляя в ряд (3.30) выражения для коэффициентов an

и bn из формул (3.31) и (3.32), получим:

 

 

1

l

 

 

1

 

l

 

 

 

f x

f t dt

 

f t cos nt cos nx sin nt sin nx dt

2l

l

 

 

l

 

 

 

 

n 1 l

 

 

 

 

 

 

1

l

 

1

 

 

l

 

 

 

 

f t dt

 

f t cos n t x dt.

(3.33)

 

 

2l

l

 

 

 

 

l

 

 

 

n 1

l

 

Переёдем теперь к пределу при l . Первое слагаемое в правой части равентсва (3.33) стремится к нулю, т.к..

 

 

 

 

 

1

l

 

1

l

 

 

 

1

 

 

 

 

 

 

 

M

 

 

 

 

 

 

 

 

f t dt

 

 

f t

dt

 

 

 

 

f t

dt

0.

 

 

 

 

 

2l

2l

2l

 

 

2l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим второе слагаемое в равенстве (3.33). Величина

 

n

 

n

принимает значения

 

,

 

 

2

,

3

, …, об-

 

 

l

 

 

 

 

 

1

 

l

2

 

l

3

 

l

разующие бесконечную арифметическую прогрессию с разно-

стью n

 

n

n 1 n . При этом n 0

при l .

l

 

 

 

 

 

 

 

56

 

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

l

1l f

n 1 l

 

 

 

 

 

1

 

l

 

 

 

 

t cos n t x dt

f t cos n t x dt

 

 

 

 

 

 

 

 

 

n 1

l

 

 

l

1

 

l

 

 

 

 

 

 

 

 

 

 

f t cos n t x dt

 

n .

 

 

 

 

 

 

n 1

 

l

 

 

 

 

 

 

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

l

f t cos t x dt,

0; ,

l

 

поэтому, переходя в равенстве (3.33) к пределу при l , получим:

 

 

 

 

 

 

 

l

 

 

 

 

 

n

 

 

 

 

n

 

 

 

l

 

 

 

 

 

 

f

 

x

 

 

1

lim

 

f

 

t

 

cos

 

t x

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

l

 

 

 

 

 

 

 

 

 

 

 

или

 

1

 

 

 

f x

 

 

 

f

 

 

 

 

 

0

t cos t x dt d . (3.34)

Интеграл, стоящий в правой части формулы (3.34), назы-

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

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

имеет место для всех точек, где функция

f x нерпрерывна. В

точках разрыва интеграл Фурье равен среднему арифметическому ее односторонних пределов:

1

 

 

 

 

 

f x 0 f x 0

 

 

 

f t cos t x dt

 

 

 

 

.

 

 

d

2

 

0

 

 

 

 

3.8. Косинус- и синус-преобразования Фурье

57

Формулу (3.34) можно переписать в виде однократного интеграла:

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x

 

 

f t cos t x dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f t cos t cos x sin t sin x dt d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f t cos tdt cos x f t sin tdt sin x

 

d ,

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т.е.

f x A cos x B sin x d ,

(3.35)

0

 

 

 

 

где

 

 

 

 

 

1

 

 

A

 

f t cos tdt ,

 

 

 

 

 

 

 

 

 

 

1

 

 

 

B

 

f t sin tdt .

 

 

 

 

Как видно, есть аналогия между рядом Фурье и интегралом Фурье: вобоих случаях функция f x раскладывается на

сумму гармонических составляющих. Однако ряд Фурье суммируется по индексу n, принимающему дискретные значения n 1,2,3,..., а в интеграле Фурье производится интегрирование по непрерывной переменной ω. Говорят, что формула (3.35) дает

разложение функции

f x

на гармоники с непрерывно меняю-

щейся от 0 до ∞ частотой ω.

Если функция

f x

– четная, то интеграл Фурье (3.35)

принимает вид:

 

 

 

 

58

 

 

2

 

 

f x A cos xd , где A

 

f t cos tdt . (3.36)

 

0

f x – нечетная, то

 

 

 

0

Если функция

 

 

 

 

 

 

2

 

f x B sin xd , где B

f t sin tdt . (3.37)

 

 

0

 

 

 

 

0

Если функция

f x задана лишь на

промежутке 0; ,

то ее можно продолжить на промежуток ;0 разными спосо-

бами, в частности, четным или нечетным образом. В первом случае она будет представлена формулой (3.3.5), во втором – формулой (3.36).

Формулы (3.36) и (3.37) можно представить в симметричной форме записи. В случае четной функции f x :

 

 

 

 

 

 

 

 

 

 

 

 

 

F

 

 

 

2

 

f t cos tdt,

(3.38)

 

 

 

 

 

тогда

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

f x

 

 

F

cos xd .

(3.39)

 

 

 

 

 

 

 

0

 

 

 

 

 

 

Функция F называется

косинус-преобразованием

Фурье для функции f x .

 

 

 

 

 

 

 

 

 

 

 

 

 

В случае нечетной функции

f x :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

f

t sin tdt ,

(3.40)

 

 

 

тогда

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

f x

sin xd .

(3.41)

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

59