ряда, абсолютно сходится, т.е. сходится числовой ряд
a0 |
|
|
|
a |
|
|
|
b |
|
... |
|
a |
|
|
|
b |
|
... |
(3.3) |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
||||||||||||||||||||
2 |
|
|
|
1 |
|
|
|
1 |
|
|
|
n |
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда ряд (3.1) мажорируем и, следовательно, его можно почленно интегрировать на отрезке ; . Вычислим коэф-
фициенты an и bn. Для этого проинтегрируем обе части равенства (3.2) в пределах от –π до π:
|
|
a0 |
|
|
|
|
|
|
f x dx |
cosnxdx sinnxdx |
|||||||
|
|
|
||||||
2 |
|
|||||||
dx |
. |
|||||||
|
|
|
n 1 |
|
|
|
||
Вычислим каждый интеграл, встречающийся в правой часи:
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
||||
|
a |
|
|
|
0 |
|
|
|
|
|
|
|
|
|||||
|
0 |
|
dx |
|
|
|
x |
a , |
|
|
|
|
||||||
2 |
|
|
|
|
|
|
|
|||||||||||
|
2 |
|
|
|
0 |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
sinnx |
|
|
|
|||||
an cosnxdx an cosnxdx an |
|
0, |
||||||||||||||||
n |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
cosnx |
|
|
|
|
||||
bn sinnxdx bn sinnxdx bn |
|
|
|
0. |
||||||||||||||
|
n |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f x dx a0 . |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Отсюда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|||
|
a0 |
|
f x dx . |
|
|
|
(3.4) |
|||||||||||
|
|
|
|
|
|
|||||||||||||
Приведем формулы, которые понадобятся нам для вычисления остальных коэффициентов тригонометрического ряда.
40
|
sinnx |
|
|
|
|||||
|
|
||||||||
|
|
|
|
|
|
|
|
0, n 0 |
|
|
|
|
|
|
|
||||
cosnxdx |
|
n |
|
|
|
|
|
||
|
|
|
|
||||||
|
|
|
|
2 , n 0, |
(3.5) |
||||
|
|||||||||
|
x |
|
|
||||||
|
|
|
|
|
|
|
|||
sinnxdx 0 |
при любомn, |
|
|||||||
|
|
|
|
|
|
(3.6) |
|||
|
|
|
|
|
|
||||
|
|
1 |
|
|
0, m n |
|
|||
|
|
|
|
||||||
cosmx cosnxdx |
cos m n x cos m n x dx |
(3.7) |
|||||||
|
|
||||||||
2 |
, m n |
|
|||||||
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|||
|
|
|
|
|
1 |
|
|
||
sinmx cosnxdx |
|
sin m n x sin m n x dx 0, |
(3.8) |
||||||
|
2 |
||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
0, m n |
|
||||
|
|
|
|
||||||
sinmx sinnxdx |
|
|
cos m n x cos m n x dx |
(3.9) |
|||||
|
|||||||||
2 |
|
|
,m n |
|
|||||
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
||||
Формулы (3.5) – (3.9) показывают, что система функций
1,cosx,sinx,cos2x,sin2x,...,cosnx,sinnx,... обладает свойством ортогональности: интеграл от произведения любых двух функций этой системы на интервале, имеющем длину 2π, равен нулю.
Для отыскания коэффициентов an умножим обе части равенства (3.2) на cosmx и проинтегрируем полученное равенстов
впределах от –π до π:
|
|
|
|
f x cosmxdx |
a0 |
cosmxdx |
|
||
|
|
|
2 |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
n |
|
|
|
cosmx sinnxdx |
|
||
|
a |
|
cosmx cosnxdx b |
|
. |
||||
|
n 1 |
|
|
|
|
|
|
|
|
В силу формул (3.5), (3.7), (3.8) из последнего равенства при m n получаем:
f x cosnxdx an .
41
Отсюда
|
1 |
|
|
|
an |
f x cosnxdx. |
(3.10) |
||
|
||||
|
|
|
|
Аналогично, умножив обе части равенства (3.2) на sinmx
и проинтегрировава почленно на отрезке ; , найдем коэф-
фициенты bn:
|
1 |
|
|
|
bn |
f x sinnxdx. |
(3.11) |
||
|
Коэффициенты, определяемые по формулам (3.4), (3.10), (3.11), назыыаются коэффициентами Фурье функции f x , а
тригонометрический ряд (3.1) с такими коэффициентами называется рядом Фурье функции f x .
3.2. Разложение в ряд Фурье 2π-периодических функций
Выясним условия, при которых ряд Фурье функции f x
сходится и ео сумма равна значениям данной функции в соответствующих точках. Сформулируем теорему, которая дает достаточные условия разложимости функции в ряд Фурье.
Теорема Дирихле. Пусть 2π-периодическая функция f x
на отрезке ; удовлетворяе следующим условиям:
1. f x кусочно-непрерывна, т.е. неррерывна или имеет
конечное число точек разрыва первого рода;
2. f x кусочно-монотонна, т.е. монотонна на всем отрез-
ке, либо этот отрезок можно разбить на конечное число интервалов так, что на каждом изних функция монотонна.
Тогда соответствующий функции ряд Фурье сходится на этом отрезке при этом:
42
1. В точках нерерывности функции сумма ряда S x сов-
падает с самой функцией: S x f x ;
2. В точках разрыва функции сумма ряда равна среднему
арифметическому пределов функции f x |
справа и слева, т.е. |
||
если x0 – точка разрыва функции f x , то |
|
|
|
S x0 |
f x0 0 f x0 0 |
|
|
|
|
. |
|
|
|
||
2 |
|
|
|
Класс функций, удовлетворяющих условиям теоремы Ди- |
|||
рихле, довольно широк. Поэтому ряды Фурье наши широкое применение в разичных разделах математики и ее приложениях.
Пример 1. Разложить в ряд Фурье функцию f x с перио-
дом 2π, заданную следующим образом:
f x x, x .
Решение. Эта функция кусочно-монотонная и ограниченная. Следовательно, она допускает разложение в ряд Фурье. Найдем коэффициенты ряда:
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
1 x2 |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
a0 |
|
|
|
f x dx |
|
|
|
xdx |
|
|
|
|
|
|
|
0. |
|
||||||||||||||
|
|
|
|
|
|
2 |
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
u x, dv cosnxdx |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
an |
|
|
|
f x cosnxdx |
|
|
|
xcosnxdx |
du dx, v |
sinnx |
|
|
|
|
|
||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
|
|
|
n |
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
1 |
|
sinnx |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
x |
n |
|
|
n sinnxdx |
0. |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
u x, dv sinnxdx |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
bn |
|
|
|
f x sinnxdx |
|
|
|
xsinnxdx |
du dx, v |
cosnx |
|
|
|
||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
n |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
43
|
1 |
|
|
cosnx |
|
|
1 |
|
|
|
|
1 |
|
n 1 |
2 |
||
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
x |
|
|
|
|
|
cosnxdx |
|
|
|
|
|
|
. |
|
|
n |
|
|
n |
|
|
n |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, получаем ряд Фурье:
|
1 n 1 2 |
|
sin x |
|
sin2x |
|
sin3x |
n 1 sinnx |
|
|||
f x |
|
sinnx 2 |
|
|
|
|
|
|
... 1 |
|
|
... . |
n |
|
|
|
|
n |
|||||||
n 1 |
|
1 |
2 |
|
3 |
|
|
|
||||
Это равенство имеет место во всех точках, |
кроме точек |
|||||||||||
разрыва. В каждой точке разрыва сумма ряда равна среднему арифметическому ее пределов справа слева, т.е. нулю.
|
Пример 2. Разложить в ряд Фурье функцию f x |
с перио- |
|||||||||||||||||||||||||||||||||||
дом 2π, заданную следующим образом: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
f x |
1, |
x 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
0 x |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
Решение. Эта функция кусочно-монотонная и ограни- |
||||||||||||||||||||||||||||||||||||
ченная. Вычислим ее коэффициенты Фурье: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
1 |
|
|
|
|
1 |
0 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
0 |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
0 0. |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
a0 |
f x dx |
|
1 dx 1dx |
|
|
|
|
x |
|
||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
sinnx |
|
|
0 |
sinnx |
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
an |
|
|
|
|
|
1 cosnxdx |
cosnxdx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0. |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
n |
|
|
|
|
|
|
n |
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
1 |
0 |
|
|
|
|
|
|
|
|
|
|
cosnx |
|
0 |
cosnx |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
bn |
|
|
|
1 sinnxdx sinnxdx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
n |
|
|
|
|
|
|
n |
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
0 |
|
при четном n, |
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
1 cosn 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
n |
при нечетном n. |
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
т |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Следовательно, для данной функции ряд Фурье имеет вид:
|
2 1 cosn |
|
f x |
|
sinnx |
n |
||
n 1 |
|
|
|
44 |
|