Математический анализ. 3 семестр.

ИРТС

Лекция 8

Тригонометрический ряд Фурье

При решении многих технических задач приходится иметь дело с

периодическими процессами, для описания которых требуются
периодические функции. Простейшей периодической функцией периода 2
является функция sin( x   ) . При сложении периодических функций sin( x  1 )
, sin(2 x   2 ) , … , sin(nx   n ) , периоды которых равны соответственно
2
2 ,  , ... , , получим периодическую функцию с периодом 2 . Естественно
n
возникает обратный вопрос: можно ли заданную периодическую функцию
f (x) с периодом 2 представить в виде суммы конечного или бесконечного

числа простейших периодических функций вида sin(nx   n ) :


f ( x)  A0   An sin(nx   n ) ?
n1

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

периодом, в том числе и с периодом 2 .
В механике функция sin(nx   n ) описывает простейшее гармоническое
колебательное движение. Представление периодической функции f (x) в виде
суммы простейших периодических функций можно рассматривать как
разложение сложного колебания на отдельные гармонические колебания.
Функции вида sin(nx   n ) , входящие в состав разложения периодической
функции f (x) , называются гармоническими составляющими этой функции
или просто гармониками. Пользуясь тригонометрическим тождеством
sin(nx   n )  sin  n  cos nx  cos  n  sin nx

и обозначая An  sin  n  an , An  cos  n  bn ,

 Математический анализ. 3 семестр. ИРТС

разложение периодической функции f (x) можно переписать в виде


f ( x)  A0   (an cos nx  bn sin nx) (1)
n1

Обратимся к изучению тригонометрического ряда Фурье.

Пусть функция f (x) определена на всей числовой оси, периодична с
периодом 2 и является непрерывной или кусочно-непрерывной на отрезке
  ,   . Напомним, что функция называется кусочно-непрерывной на
отрезке, если она непрерывна во всех точках этого отрезка за исключением
конечного числа точек, в которых функция терпит разрыв первого рода, т.е. в
этих точках существуют конечные односторонние пределы функции, не
равные друг другу.
Предполагая, что f (x) представляется в виде суммы простейших
тригонометрических функций, найдем коэффициенты ряда (1). С этой целью
проинтегрируем обе части равенства (1) на отрезке   ,   , что оправдано,
например, в случае равномерной сходимости на этом отрезке
функционального ряда, стоящего в правой части равенства (1).
Воспользуемся тем, что
   
sin nx cos nx
 cos nxdx 

n 
 0,  sin nxdx  

n 
 0.


Тогда  f ( x)dx  A  2

0 , откуда


1
A0 
2  f ( x)dx .


Для вычисления коэффициентов an умножим обе части равенства (1)

на cos nx и проинтегрируем на отрезке   ,   . Пользуясь тем, что
 

 cos kx  cos nxdx  0 ,


если k  n ,  sin kx  cos nxdx  0 ,

для любых k и n ,

 
1  cos(2nx)
 cos nxdx   dx   , если n  0 ,
2

 
2
 Математический анализ. 3 семестр. ИРТС

получим  f ( x) cos nxdx    a


n , откуда


1
an 
  f ( x) cos nxdx ,

(n  1,2,3,...) .

Аналогично

1
bn 
  f ( x) sin nxdx ,

(n  1,2,3,...) .

Чтобы формулы для коэффициентов выглядели единообразно, обозначим:


1
a0  2 A0 
  f ( x)dx .


Итак, для любой функции f (x) , кусочно-непрерывной на отрезке

  ,   , можно вычислить коэффициенты

1
an 
  f ( x) cos nxdx ,

(n  0,1,2,3,...) ,

(2)

1
bn 
  f ( x) sin nxdx ,

(n  1,2,3,...) ,

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

соответствие этой функции ряд
a0 
f ( x)    (an cos nx  bn sin nx) , (3)
2 n1
который называется тригонометрическим рядом Фурье этой функции.

Определение. Система функций

1, cos x, sin x, cos 2 x, sin 2 x, ... , cos nx, sin nx, ... ,

на основе которой построен тригонометрический ряд Фурье, называется

основной тригонометрической системой функций.
 Математический анализ. 3 семестр. ИРТС

Эта система на отрезке   ,   обладает свойством ортогональности:

интеграл от произведения любых двух функций этой системы на отрезке
  ,   равен нулю.

Теорема Дирихле

Предполагая, что функция f (x) является кусочно-непрерывной на

отрезке   ,   , поставим этой функции в соответствие ее
тригонометрический ряд Фурье. Предположим теперь, что функция является
кусочно-дифференцируемой на отрезке   ,   . Это означает, отрезок   ,  
можно разделить на конечное число отрезков, внутри которых функция
дифференцируема, а на концах отрезков имеет не только конечные
предельные значения, но и односторонние производные при условии замены
на концах этих отрезков значений функции на соответствующие предельные
значения.
Теорема Дирихле устанавливает условия сходимости
тригонометрического ряда Фурье и связь между значением самой функции и
суммой ее тригонометрического ряда Фурье. Сформулируем теорему
Дирихле без доказательства. В формулировке теоремы используем
выражения f ( x0  0) и f ( x0  0) для обозначения односторонних пределов

функции f (x) при условии, что x стремится к x0 слева и справа

соответственно.
Теорема Дирихле. Пусть функция f (x) определена и кусочно-
дифференцируема на отрезке   ,   . Тогда тригонометрический ряд Фурье
этой функции сходится в каждой точке отрезка   ,   , и сумма S (x) этого
ряда удовлетворяет следующим условиям.
 Математический анализ. 3 семестр. ИРТС

1) S ( x0 )  f ( x0 ) во всех точках интервала ( ;  ) , в которых f (x)

непрерывна.

2) S ( x0 )   f ( x0  0)  f ( x0  0)  во всех точках разрыва функции.

1
2

3) S ( )  S ( ) 
1
 f (  0)  f (  0) .
2

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

f (x) определена на всей числовой оси, является периодической с периодом

2 и на отрезке   ,   кусочно-дифференцируема. Точнее, в этом случае

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

оси, и сумма S (x) этого ряда удовлетворяет условиям:
1) S ( x0 )  f ( x0 ) во всех точках прямой (; ) , в которых f (x)
непрерывна;

2) S ( x0 ) 
1
 f ( x0  0)  f ( x0  0) во всех точках разрыва функции.
2

Сходимость в среднем тригонометрического ряда Фурье

Пусть функция f (x) определена на отрезке a, b, и ставится задача о

наилучшем приближении этой функции с помощью другой функции g (x) из
определенного класса функций, определенных на этом же отрезке. Если
требуется обеспечить близость функций во всех точках отрезка, то в качестве
критерия близости рассматривается величина, равная
max f ( x)  g ( x) ,
x[ a ,b ]

и функция g (x) выбирается так, чтобы эта величина принимала наименьшее

возможное значение. В этом случае обеспечивается равномерная на всем
отрезке близость функций.
Если требуется обеспечить близость функций на отрезке в среднем, то в
качестве критерия близости рассматривают величину, равную
 Математический анализ. 3 семестр. ИРТС

  f ( x)  g ( x) dx .
2

Для достижения наилучшего приближения в среднем требуется

минимизировать эту величину.
Пусть функция f (x) кусочно-дифференцируема на отрезке   ,   .
Тогда согласно теореме Дирихле тригонометрический ряд Фурье этой
функции во всех точках непрерывности сходится к этой функции. Можно
показать, что величина

n    f ( x)  S ( x)  dx ,
2
n


характеризующая отклонение в среднем частичной суммы S n (x)

тригонометрического ряда Фурье от кусочно-дифференцируемой функции

f (x) на отрезке   ,   , стремится к нулю при n   : lim  n  0 .
n

Это означает, что тригонометрический ряд Фурье сходится в среднем

на отрезке   ,   к своей сумме, а коэффициенты Фурье функции f (x)
удовлетворяют равенству
2  
a0 1
  (an  bn )   f 2 ( x)dx ,
2 2

2 n1  

которое называется равенством Парсеваля.

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

на отрезке   ,   следующим образом
 ,    x  0,
f ( x)  
  x, 0  x  .

Решение. Вычислим коэффициенты Фурье этой функции:


1  3 a0 3
0
a0      dx   (  x)dx    ,  ,
   0  2 2 4
 Математический анализ. 3 семестр. ИРТС


1 
0
1 1
an      cos nxdx   (  x)  cos nxdx   2 (1  cos n )  2 (1  (1) n ) .

   
0  n n

Если n  2k - четное число, то an  a2k  0 .

2
Если n  2k  1 - нечетное число, то an  a2 k 1  .
 (2k  1) 2

1  cos n (1) n
0
bn      sin nxdx   (  x)  sin nxdx  
  .
   0  n n

Тригонометрический ряд Фурье S (x) , соответствующий данной

функции, имеет вид
3 2  cos x cos 3x cos 5 x   sin 2 x sin 3x 
f ( x)  S ( x)     2    ...   sin x    ... .
4  1 32
5 2
  2 3 
Поскольку данная функция непрерывна во всех внутренних точках
отрезка   ,   , то согласно теореме Дирихле для всех x  ( ,  ) имеет место
равенство f ( x)  S ( x) . Например, полагая x  0 , получим

2 

1 2
или 
3 1 1
    1  2  2  ...  .
 3 5 k 0 ( 2k  1)
2
4  8
На концах отрезка   ,   сумма ряда Фурье имеет следующее значение:

S ( ) 
1
 f (  0)  f (  0)  1  .
2 2
На рисунке показаны графики функции f (x) и суммы S (x) ее ряда
Фурье.
Математический анализ. 3 семестр. ИРТС