
- 226 -
∑
=
π
+
π
+=
0
sincos
2
)(
kk
l
xk
b
l
xk
a
a
xf (11.6)
на відрізку завдовжки
. Тоді, інтегруючи ряд почленно, знайдемо:
∫
=
l
dxxf
l
a .)(
1
0
(11.7)
Через те, що множення рівномірно збіжного ряду на обмежені функції
xn
cos ,
xm
sin не порушує його рівномірної збіжності, то помножуючи
(11.6) почленно на
xn
cos (потім на
xm
sin ) та інтегруючи на проміжку
1,1
, одержимо формули для коефіцієнтів
ba , :
).,2,1(sin)(
1
);,2,1,0(cos)(
1
K
K
∫
∫
−
−
=
π
=
=
π
=
l
k
l
l
k
kdx
l
xk
xf
l
b
kdx
l
xk
xf
l
a
(11.8)
При обчисленні цих коефіцієнтів були використані властивості
ортогональності системи тригонометричних функцій і формули (11.5).
Тригонометричний ряд (11.6), коефіцієнти якого визначаються за
формулами (11.8), називається рядом Фур'є функції
xf , а коефіцієнти
),2,1(,,
K
kbaa
– коефіцієнтами Фур'є функції
xf .
Те, що ряд (11.6) на
ll,
є для функції
xf її рядом Фур'є, ще не
означає ні того, що цей ряд збігається до
xf на цьому проміжку, ні навіть
того, що він взагалі на ньому збігається. Є декілька ознак збіжності рядів
Фур'є до функції
xf . Сформулюємо одну з них.
Теорема Діріхле (достатня ознака розкладності функції в ряд Фур'є).
Якщо функція
xf має період 2 і на відрізку
ll,
неперервна або має
скінченне число точок розриву 1-го роду і відрізок
ll,
можна розбити на
скінченне число відрізків так, що усередині кожного з них
xf є
монотонною, то ряд Фур'є функції
xf збігається
, причому в точках
неперервності функції
xf сума ряду дорівнює
xf , а у точках розриву
функції
xf його сума дорівнює
)0()0(
xfxf
,
тобто середньому
арифметичному граничних значень ліворуч і праворуч.
Крім того, ряд Фур'є функції
xf збігається рівномірно на будь-якому
відрізку, що разом із своїми кінцями належить інтервалу неперервності
функції
xf .