Интеграл Дирихле Принцип локализации
Поможем в ✍️ написании учебной работы
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой

Пусть  будет непрерывная или кусочно-непрерывная функция с периодом . Вычислим постоянные (ее коэффициенты Фурье):

 

 

и по ним составим ряд Фурье нашей функции

 

 

Как видим, здесь коэффициент  мы определили по общей формуле для  при , но зато свободный член ряда запишем в виде .

Если функция F(x) кусочно-непрерывна в любом конечном промежутке и к тому же имеет период , то величина интеграла

 


по прежнему промежутку длины  не зависит от .

Действительно, имеем

 

 

Если в последнем интеграла сделать подстановку , то он приведется к интегралу

 

 

и лишь знаком будет отличаться от первого интеграла. Таким образом, рассматриваемый интеграл оказывается равным интегралу

 

 

уже не содержащему .

Для того чтобы исследовать поведение ряда в какой-нибудь определенной точке , составим удобное выражение для его частичной суммы

 

 

Подставим вместо  и  их интегральные выражения и подведем постоянные числа  под знак интеграла:

 


 

Легко проверить тождество

 

 

Воспользуемся этим тождеством для преобразования подынтегрального выражения, окончательно получим

 

 (13)

 

Этот интеграл называют интегралом Дирихле, хотя у Фурье он встречается гораздо раньше.

Так как мы имеем дело с функцией от u периода , то промежуток интегрирования  по сделанному выше замечанию можно заменить, например, промежутком

 

 

Подстановкой  преобразуем этот интеграл к виду

 


 

Затем, разбивая интеграл на два:  и приводя второй интеграл путем замены знака переменной тоже к промежутку , придем к такому окончательному выражению для частичной суммы ряда Фурье:

 

 (14)

 

Таким образом, дело сводится к исследованию поведения именно этого интеграла, содержащего параметр n.

Для дальнейшего изложения материала нам потребуется одна лемма, принадлежащая Риману, которую мы оставим без доказательства.

Если функция  непрерывна или кусочно-непрерывна в некотором конечном промежутке , то

 

 

и, аналогично,

 

 


Если вспомнить формулы, выражающие коэффициенты Фурье , то в качестве первого непосредственного следствия из леммы получается утверждение:

Коэффициенты Фурье  кусочно-непрерывной функции при  стремятся к нулю.

Вторым непосредственным следствием является так называемый «принцип локализации».

Взяв произвольное положительное число , разобьем интеграл в (14) на два: . Если второй из них переписать в виде

 

 

то станет ясно, что множитель при синусе

 

 

является кусочно-непрерывной функцией от t в промежутке . В этом случае по лемме этот интеграл при  стремится к нулю, так что и само существование предела для частичной суммы ряда Фурье и величина этого предела целиком определяется поведением одного лишь интеграла

 

 


Но в этот интеграл входят лишь значения функции f(x), отвечающие изменению аргумента в промежутке от  до . Этим соображением доказывается «принцип локализации», состоящий в следующем:

Поведение ряда Фурье функции f(x) в некоторой точке  зависит исключительно от значений, принимаемых этой функцией в непосредственной близости рассматриваемой точки, т. е. в сколь угодно малой ее окрестности.

Таким образом, если взять две функции, значения которых в произвольно малой окрестности  совпадают, то как бы они не расходились вне этой окрестности, соответствующие этим функциям ряды Фурье ведут себя в точке  одинаково: либо оба сходятся, и притом к одной и той же сумме, либо оба расходятся.






Дата: 2019-07-31, просмотров: 259.