Теорема. (Теорема Дирихле) Если функция f(x) имеет период 2p и на отрезке [-p;p] непрерывна или имеет конечное число точек разрыва первого рода, и отрезок [-p;p] можно разбить на конечное число отрезков так, что внутри каждого из них функция f(x) монотонна, то ряд Фурье для функции f(x) сходится при всех значениях х, причем в точках непрерывности функции f(x) его сумма равна f(x), а в точках разрыва его сумма равна , т.е. среднему арифметическому предельных значений слева и справа. При этом ряд Фурье функции f(x) сходится равномерно на любом отрезке, который принадлежит интервалу непрерывности функции f(x).
Функция f(x), для которой выполняются условия теоремы Дирихле называется кусочно – монотонной на отрезке [-p;p].
Теорема. Если функция f(x) имеет период 2p, кроме того, f(x) и ее производная f’(x) – непрерывные функции на отрезке [-p;p] или имеют конечное число точек разрыва первого рода на этом отрезке, то ряд Фурье функции f(x) сходится при всех значениях х, причем в точках непрерывности его сумма равна f(x), а в точках разрыва она равна . При этом ряд Фурье функции f(x) сходится равномерно на любом отрезке, который принадлежит интервалу непрерывности функции f(x).
Функция, удовлетворяющая условиям этой теоремы, называется кусочно – гладкой на отрезке [-p;p]. Причем в точках сумма ряда равна .
Пример. Разложить в ряд Фурье функцию f(x) периода , заданную на отрезке формулой
Эта функция удовлетворяет условиям Дирихле, значит она разложима в ряд Фурье. Найдем коэффициенты:
,
Аналогично находим
Исходной функции f(x) соответствует ряд Фурье:
.
Функция f(x) непрерывна во всех внутренних точках отрезка , поэтому, согласно теореме Дирихле, для всех этих точек имеем равенство
В точках сумма S(x) ряда равна .