§ 7. Скорость сходимости рядов Фурье
Рассуждения теоремы предыдущего параграфа можно повторять, применяя их к первой и второй, второй и третьей и т. д. производным функции
предполагая, однако, что как сама функция, так и все ее участвующие в рассуждениях производные удовлетворяют условиям Дирихле.
Итак, пусть
— точки разрыва
производной функции
(считая саму функцию за ее нулевую производную), плюс, если нужно, точки
соответственно со скачками
и
На основании только что доказанной теоремы мы имеем по аналогии с (16.32) и (16.33).
или, полагая
и исключая из системы равенств вида (16.35) и (16.36) все и
с промежуточными верхними индексами, мы получаем
где буквы
и
а также знаки при них чередуются в (16.39) как при последовательном дифференцировании «минус-синуса», а в (16.40) - как при последовательном дифференцировании косинуса.
Равным образом принимают свои значения и знаки
— как
производная косинуса, начиная с
— как
производная синуса, начиная с
Из формул (16.39) и (16.40) видно, что наибольшее влияние на приближение к нулю коэффициентов Фурье имеют разрывы самой разлагаемой функции, а затем — последовательно — разрывы ее прризводных.
Говоря более точно, имеет место следующая теорема: Теорема. Если функция
является
-периодической (в смысле
и имеет непрерывные и удовлетворяющие условиям Дирихле производные до
включительно, а
ее производная удовлетворяет условиям Дирихле, то для ее коэффициентов Фурье
справедливы неравенства
где М — положительная константа.
Доказательство. В силу непрерывности функции
и ее первых
производных должно быть
Вместе с тем числа и
из (16.39) и (16.40) суть коэффициенты Фурье производной
взятые с надлежащими знаками. Так как эта производная удовлетворяет условиям Дирихле, мы на основании теоремы 2 § 1 имеем
Подстановка этого в (16.39) и (16.40) дает нам требуемое.
В частности, если положить
т. е. принять, что функция
непрерывна, а ее производная удовлетворяет условиям Дирихле, то сходимость ряда Фурье к
является равномерно непрерывной и абсолютной.
Действительно, в сформулированных условиях для коэффициентов разложения функции
в ряд Фурье имеет место
так что требуемое выводится непосредственно из цепочки неравенств:
и нам остается сослаться на признак равномерной сходимости Вейерштрасса (§ 7 главы 5).