Ряды Фурье

Пусть { a n }∞n=0 , {bn }∞n=1 - две числовые последовательности. Тогда функциональный

ряд вида
a0 ∞
+ ∑ [a n cos(nx) + bn sin(nx)]
2 n=1
называется тригонометрическим рядом с периодом 2π .

Теорема 3.7 (теорема единственности). Пусть функция f (x) интегрируема на

[− π, π] и разлагается на этом отрезке в тригонометрический ряд, который допускает
почленное интегрирование. Тогда коэффициенты этого разложения единственны и
определяются формулами
π π π
1 1 1
a0 = ∫ f ( x)dx , a n = ∫ f ( x) cos(nx)dx , bn = ∫ f ( x) sin( nx)dx . (3.7)
π −π π −π π −π

Определение 3.2. Тригонометрический ряд с периодом 2π , коэффициенты

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

Теорема 3.8 (о разложении функции в ряд Фурье). Пусть функция f (x) и ее

производная f ′(x) непрерывны на [− π, π] либо имеют на нем лишь конечное число точек
разрыва первого рода. Тогда ряд Фурье функции f (x) сходится на всей числовой оси.
При этом сумма ряда S (x) совпадает с f (x) в каждой точке непрерывности функции
f (x) на (−π, π) , а на концах отрезка
f (− π) + f (π)
S (− π) = S (π) = .
2
Если же x0 ∈ (− π, π) - точка разрыва функции, то
f ( x 0 − 0) + f ( x 0 + 0)
S ( x0 ) = , где f ( x0 ± 0) = lim f ( x) .
2 x → x0 ± 0

При этом S (x) - периодическая функция с периодом 2π .

Условие Дирихле. Говорят, что функция f (x) удовлетворяет на отрезке [− π, π]

условиям Дирихле, если существует конечное число точек − π = x0 < x1 < ... < x N = π ,
____
таких, что на каждом интервале ( x j −1 , x j ) , j = 1, N , она является ограниченной,
непрерывной и монотонной.

Теорема 3.9 (Теорема Дирихле). Пусть функция f (x) удовлетворяет на [− π, π]

условиям Дирихле. Тогда ряд Фурье функции f (x) сходится на всей числовой оси. При
этом сумма ряда Фурье S (x) совпадает с f (x) в каждой точке непрерывности f (x) на
(−π, π) , а на концах отрезка
 f (− π) + f (π)
S (− π) = S (π) = .
2
Если же x0 ∈ (−π , π ) - точка разрыва функции, то
f ( x 0 − 0) + f ( x 0 + 0)
S ( x0 ) = , где f ( x0 ± 0) = lim f ( x) .
2 x → x0 ± 0

При этом S (x) - периодическая функция с периодом 2π .

Ряды Фурье с периодом 2h

Как уже было отмечено, сумма ряда Фурье с периодом 2π является периодической
функцией с периодом 2π . Поэтому функции с периодом 2π естественно раскладывать в
ряд Фурье с периодом 2π . Аналогично функции с периодом 2h ( h > 0 ) естественно
раскладывать в тригонометрический ряд
a0 ∞   πn x   πn x 
+ ∑ a n cos  + bn sin   ,
2 n =1   h   h 
члены которого являются периодическими
функциями с периодом 2h
πx
(тригонометрический ряд с периодом 2h ). С помощью замены = t отрезок x ∈ [− h, h]
h
преобразуется в отрезок t ∈ [− π, π] , а указанный ряд сводится к тригонометрическому
ряду с периодом 2π . Поэтому для него справедливы аналоги теорем (3.7), (3.8), (3.9), при
этом роль отрезка [− π, π] играет отрезок [− h, h] . Соответственно для функции f ( x) ,
интегрируемой на отрезке [− h, h] , рядом Фурье с периодом 2h называется
тригонометрический ряд с периодом 2h , коэффициенты которого определяются
формулами
 πn x   πn x 
h h h
1 1 1
a0 = ∫
h −h
f ( x)dx , a n = ∫ f ( x) cos
h −h  h 
dx , bn = ∫ f ( x) sin
h −h  h 
dx . (3.8)

Если f ( x) - четная функция, то формулы (3.8) принимают вид

 πn x 
h h
2 2
a 0 = ∫ f ( x)dx , a n = ∫ f ( x) cos dx , bn = 0 . (3.9)
h0 h0  h 
Если f ( x) - нечетная функция, то формулы (3.8) принимают вид
 πn x 
h
2
a 0 = 0 , a n = 0 , bn =
h0∫ f ( x) sin
 h 
dx . (3.10)

Пример 3.8. Разложить функцию f ( x) = 2 x − 1 , заданную на отрезке [0, 2] , в ряд

Фурье: 1) по синусам; 2) по косинусам; 3) получить одно из разложений общего вида. Для
каждого случая построить графики периодического продолжения функции f ( x) и суммы
ряда Фурье.
Решение. 1) для того, чтобы получить разложение функции f ( x) по синусам на
[0, 2] , продолжим сначала функцию f ( x) на полуинтервал (−2, 2] нечетным образом:
 f ( x) = 2 x − 1, x ∈ [0, 2]
f (s ) ( x) =  .
− f (− x) = −(−2 x − 1) = 2 x + 1, x ∈ (0, 2)
 Тогда периодическое продолжение
F(s ) ( x) функции f (s ) ( x) на всю
числовую ось, то есть нечетное
продолжение функции f ( x) ,
изображено рис. 3.1.
Функция F(s ) ( x) ограничена на
отрезке [−2, 2] (длины периода), а
кроме того, непрерывна и монотонна
(возрастает) на каждом из интервалов
рис. 3.1
(−2, 0) и (0, 2) , а следовательно,
удовлетворяет условиям Дирихле на
этом отрезке. Таким образом,
по теореме Дирихле функция F(s ) ( x) раскладывается в каждой точке непрерывности на
отрезке [−2, 2] , а по периодичности и на всей числовой оси, в сходящийся к ней ряд
Фурье, причем сумма ряда Фурье S ( s ) ( x) определена на всей числовой оси, является
периодической с периодом T = 4 (так же, как и функция F(s ) (x) ), и на отрезке длины
периода [−2, 2] удовлетворяет условиям:
S ( s ) ( x) = F(s ) ( x) , x ∈ (−2, 0) U (0, 2) , следовательно, f ( x) = S (s ) ( x) , x ∈ (0, 2) ;
F(s ) (−0) + F(s ) (+0)
1−1
S ( s ) ( 0) = =
= 0;
2 2
F( s ) (−2 + 0) + F(s ) (2 − 0) − 3 + 3
S ( s ) ( − 2) = S ( s ) ( 2) = = = 0.
2 2
Найдем коэффициенты Фурье по формулам (3.10): a n = 0 , n = 0, 1, 2.... ;
2
 πn x   πn x   πn x   πn x 
2 2 2
2 2 4
bn = ∫ F(s ) ( x) sin  dx = ∫ (2 x − 1) sin  dx = − (2 x − 1) cos  + ∫ cos dx =
20  2  0  2  πn  2  0
πn 0  2 

2
πnx 2(1 + 3(−1) n )
= − (3(−1) n + 1) +
2 8
sin =− .
πn (πn) 2
2 0
πn
Таким образом,

(3(−1) n + 1)sin πnx , x ∈ (0, 2) .

∞
2
f ( x) = S ( s ) ( x) = −∑
n =1 πn 2
График суммы ряда Фурье S ( s ) (x) изображен на рис. 3.2.
 рис. 3.2 рис. 3.3

2) Для того, чтобы получить разложение функции f (x) по косинусам на [0, 2] ,

продолжим сначала функцию f (x) на полуинтервал (−2, 2] четным образом:
 f ( x) = 2 x − 1, x ∈ [0, 2]
f (с ) ( x ) =  .
 f (− x) = −2 x − 1, x ∈ (0, 2)
Тогда периодическое продолжение F(с ) (x) функции f (s ) (x) на всю числовую ось, то есть
четное продолжение функции f (x) , изображено рис. 3.3. Функция F(с ) (x) непрерывна на
отрезке [−2, 2] (длины периода), а следовательно, ограничена на нем, кроме того,
монотонна на каждом из интервалов (−2, 0) и (0, 2) , а следовательно, удовлетворяет
условиям Дирихле на этом отрезке. F(с ) (−2) = F(с ) (2) , а в таком случае функция F(с ) (x)
непрерывна сей числовой оси. Таким образом, по теореме Дирихле функция F(с ) (x)
раскладывается на отрезке [−2, 2] , а по периодичности и на всей числовой оси - в
сходящийся к ней ряд Фурье, причем сумма ряда Фурье S (с ) (x) определена на всей
числовой оси, является периодической с периодом T = 4 (так же, как и функция F(с ) (x) ),
и на отрезке длины периода [−2, 2] удовлетворяет условиям:
S (с ) ( x) = F(с ) ( x) , x ∈ [−2, 2] , следовательно, f ( x) = S (с ) ( x) , x ∈ [0, 2] ;
Найдем коэффициенты Фурье по формулам (3.9): bn = 0, n = 1, 2,... ,

( )
2 2
2 2
a 0 = ∫ F( c ) ( x)dx = ∫ (2 x − 1)dx = x 2 − x = 2;
20 0
0

2
 πnx   πnx  πnx πnx
2 2 2
2 2 4
a n = ∫ F(c ) ( x) cos dx = ∫ (2 x − 1) cos dx = (2 x − 1) sin − ∫ sin dx =
20  2  0  2  πn 2 0 πn 0 2
2
πnx
=
8
cos =
8
((−1) n − 1) .
(πn )2 2 0 (πn )2
Таким образом,

((−1) n − 1)cos πnx .

∞
8
f ( x ) = S ( c ) ( x) = 1 + ∑
n =1 ( πn )
2
2
График суммы S (с ) (x) ряда Фурье совпадает с графиком периодического продолжения
F(с ) (x) (рис. 3.3).
 3) Разложение общего вида функции f (x) получим, используя уже вычисленные
коэффициенты. Продолжим сначала функцию f (x) нулем на полуинтервал (−2, 2] :
 f ( x) = 2 x − 1, x ∈ [0, 2]
f (0 ) ( x ) =  ,
0, x ∈ (0, 2)
а затем рассмотрим периодическое продолжение F(0 ) ( x) функции f (0 ) ( x) на всю
числовую ось (оно же будет периодическим продолжением функции f (x) ) (рис. 3.4).

Поскольку F(0 ) ( x) =
1
(F(s ) ( x) + F(c ) (c) ) , то значит ее разложение в ряд Фурье
2
f ( x) = S (0 ) ( x) , x ∈ (0, 2) ,
где
1
(S ( s ) ( x) + S (c ) ( x) ) , x ∈ (−2, 0) U (0, 2) ,
S (0 ) ( x ) =
2
то есть функция f (x) раскладывается в ряд Фурье по синусам и косинусам:

f ( x ) = S (0 ) ( x ) =
1 ∞ 4
+∑ ((−1) n − 1)cos πnx − 1 (3(−1) n + 1)sin πnx , x ∈ (0, 2) .
2 n =1 (πn) 2
2 πn 2
При этом
1
(S ( s ) (0) + S (c ) (0) ) = − 1 , S (0 ) (±2) = 1 (S ( s ) (±2) + S (c ) (±2) ) = 3 .
S ( 0 ) ( 0) =
2 2 2 2
График суммы ряда Фурье S (0 ) ( x) изображен на рис. 3.5.

рис. 3.4 рис. 3.5