Пусть будет непрерывная или кусочно-непрерывная функция с периодом . Вычислим постоянные (ее коэффициенты Фурье):
и по ним составим ряд Фурье нашей функции
Как видим, здесь коэффициент мы определили по общей формуле для при , но зато свободный член ряда запишем в виде .
Если функция F(x) кусочно-непрерывна в любом конечном промежутке и к тому же имеет период , то величина интеграла
по прежнему промежутку длины не зависит от .
Действительно, имеем
Если в последнем интеграла сделать подстановку , то он приведется к интегралу
и лишь знаком будет отличаться от первого интеграла. Таким образом, рассматриваемый интеграл оказывается равным интегралу
уже не содержащему .
Для того чтобы исследовать поведение ряда в какой-нибудь определенной точке , составим удобное выражение для его частичной суммы
Подставим вместо и их интегральные выражения и подведем постоянные числа под знак интеграла:
Легко проверить тождество
Воспользуемся этим тождеством для преобразования подынтегрального выражения, окончательно получим
(13)
Этот интеграл называют интегралом Дирихле, хотя у Фурье он встречается гораздо раньше.
Так как мы имеем дело с функцией от u периода , то промежуток интегрирования по сделанному выше замечанию можно заменить, например, промежутком
Подстановкой преобразуем этот интеграл к виду
Затем, разбивая интеграл на два: и приводя второй интеграл путем замены знака переменной тоже к промежутку , придем к такому окончательному выражению для частичной суммы ряда Фурье:
(14)
Таким образом, дело сводится к исследованию поведения именно этого интеграла, содержащего параметр n.
Для дальнейшего изложения материала нам потребуется одна лемма, принадлежащая Риману, которую мы оставим без доказательства.
Если функция непрерывна или кусочно-непрерывна в некотором конечном промежутке , то
и, аналогично,
Если вспомнить формулы, выражающие коэффициенты Фурье , то в качестве первого непосредственного следствия из леммы получается утверждение:
Коэффициенты Фурье кусочно-непрерывной функции при стремятся к нулю.
Вторым непосредственным следствием является так называемый «принцип локализации».
Взяв произвольное положительное число , разобьем интеграл в (14) на два: . Если второй из них переписать в виде
то станет ясно, что множитель при синусе
является кусочно-непрерывной функцией от t в промежутке . В этом случае по лемме этот интеграл при стремится к нулю, так что и само существование предела для частичной суммы ряда Фурье и величина этого предела целиком определяется поведением одного лишь интеграла
Но в этот интеграл входят лишь значения функции f(x), отвечающие изменению аргумента в промежутке от до . Этим соображением доказывается «принцип локализации», состоящий в следующем:
Поведение ряда Фурье функции f(x) в некоторой точке зависит исключительно от значений, принимаемых этой функцией в непосредственной близости рассматриваемой точки, т. е. в сколь угодно малой ее окрестности.
Таким образом, если взять две функции, значения которых в произвольно малой окрестности совпадают, то как бы они не расходились вне этой окрестности, соответствующие этим функциям ряды Фурье ведут себя в точке одинаково: либо оба сходятся, и притом к одной и той же сумме, либо оба расходятся.
Дата: 2019-07-31, просмотров: 259.