§ 8. Интеграл Дирихле
В этом параграфе мы выведем формулу, выражающую
частичную сумму ряда Фурье через некоторый интеграл. Эта формула будет нам нужна в следующих параграфах.
Рассмотрим
частичную сумму ряда. Фурье для периодической функции f(x) с периодом
где
Подставляя эти выражения в формулу для
получим
или, подводя
под знак интеграла (что возможно, так как
не зависят от переменной интегрирования
и, следовательно, могут рассматриваться как постоянные), получим
Вынося теперь
за скобки и заменяя сумму интегралов интегралом от суммы, получим
или
Преобразуем выражение, стоящее в квадратных скобках. Пусть
тогда
или
Но
Следовательно,
Таким образом, равенство (1) можно переписать так:
Так как подынтегральная функция является периодической (с периодом
), то интеграл сохраняет свое значение на любом отрезке интегрирования длины
Поэтому мы можем написать:
Введем новую переменную а, положив
Тогда мы получим формулу
Интеграл, стоящий в правой части формулы, называется интегралом Дирихле.
Положим в этой формуле
тогда
при
следовательно,
при любом
, и мы получаем тождество
которое потребуется нам в дальнейшем.