86050 (Представление функции рядом Фурье), страница 2
Описание файла
Документ из архива "Представление функции рядом Фурье", который расположен в категории "". Всё это находится в предмете "математика" из , которые можно найти в файловом архиве . Не смотря на прямую связь этого архива с , его также можно найти и в других разделах. Архив можно найти в разделе "курсовые/домашние работы", в предмете "математика" в общих файлах.
Онлайн просмотр документа "86050"
Текст 2 страницы из документа "86050"
и по ним составим ряд Фурье нашей функции
Как видим, здесь коэффициент мы определили по общей формуле для при , но зато свободный член ряда запишем в виде
.
Если функция F(x) кусочно-непрерывна в любом конечном промежутке и к тому же имеет период , то величина интеграла
по прежнему промежутку длины не зависит от .
Действительно, имеем
Если в последнем интеграла сделать подстановку , то он приведется к интегралу
и лишь знаком будет отличаться от первого интеграла. Таким образом, рассматриваемый интеграл оказывается равным интегралу
уже не содержащему .
Для того чтобы исследовать поведение ряда в какой-нибудь определенной точке , составим удобное выражение для его частичной суммы
Подставим вместо и их интегральные выражения и подведем постоянные числа под знак интеграла:
Легко проверить тождество
Воспользуемся этим тождеством для преобразования подынтегрального выражения, окончательно получим
(13)
Этот интеграл называют интегралом Дирихле, хотя у Фурье он встречается гораздо раньше.
Так как мы имеем дело с функцией от u периода , то промежуток интегрирования по сделанному выше замечанию можно заменить, например, промежутком
Подстановкой преобразуем этот интеграл к виду
Затем, разбивая интеграл на два: и приводя второй интеграл путем замены знака переменной тоже к промежутку , придем к такому окончательному выражению для частичной суммы ряда Фурье:
(14)
Таким образом, дело сводится к исследованию поведения именно этого интеграла, содержащего параметр n.
Для дальнейшего изложения материала нам потребуется одна лемма, принадлежащая Риману, которую мы оставим без доказательства.
Если функция непрерывна или кусочно-непрерывна в некотором конечном промежутке , то
и, аналогично,
Если вспомнить формулы, выражающие коэффициенты Фурье , то в качестве первого непосредственного следствия из леммы получается утверждение:
Коэффициенты Фурье кусочно-непрерывной функции при стремятся к нулю.
Вторым непосредственным следствием является так называемый «принцип локализации».
Взяв произвольное положительное число , разобьем интеграл в (14) на два: . Если второй из них переписать в виде
то станет ясно, что множитель при синусе
является кусочно-непрерывной функцией от t в промежутке . В этом случае по лемме этот интеграл при стремится к нулю, так что и само существование предела для частичной суммы ряда Фурье и величина этого предела целиком определяется поведением одного лишь интеграла
Но в этот интеграл входят лишь значения функции f(x), отвечающие изменению аргумента в промежутке от до . Этим соображением доказывается «принцип локализации», состоящий в следующем:
Поведение ряда Фурье функции f(x) в некоторой точке зависит исключительно от значений, принимаемых этой функцией в непосредственной близости рассматриваемой точки, т. е. в сколь угодно малой ее окрестности.
Таким образом, если взять две функции, значения которых в произвольно малой окрестности совпадают, то как бы они не расходились вне этой окрестности, соответствующие этим функциям ряды Фурье ведут себя в точке одинаково: либо оба сходятся, и притом к одной и той же сумме, либо оба расходятся.
Представление функций рядом Фурье
Наложим на функцию f(x) более тяжелое требование, а именно—предположим ее кусочно-дифференцируемой в промежутке .
Тогда имеет место общая теорема:
Теорема. Если функция f(x) с периодом кусочно-дифференцируема в промежутке , то ее ряд Фурье в каждой точке сходится и имеет сумму
Эта сумма, очевидно, равна , если в точке функция непрерывна.
Доказательство. Отметим, что равенство (14) имеет место для каждой функции f(x), удовлетворяющей поставленным условиям. Если, в частности, взять , то , и из (14) получим, что
Умножая обе части равенства на постоянное число и вычитая результат из (14), найдем
для нашей цели нужно доказать, что интеграл справа при стремится к нулю.
Представим его в виде
(15)
где положено
(16)
если бы нам удалось установить что эта функция кусочно-непрерывна, то из леммы предыдущего параграфа следовало бы уже, что интеграл (15) имеет предел нулю при . Но в промежутке функция g(x) вообще непрерывна, за исключением разве лишь конечного числа точек, где она может иметь скачки—ибо такова функция f(x). Остается открытым лишь вопрос о поведении функции g(x) при .
Мы докажем существование конечного предела
;
положив тогда g(0)=K, мы в точке t=0 получим непрерывность, и применение леммы окажется оправданным. Но второй множитель в правой части равенства (16) явно имеет пределом единицу; обратимся к выражению квадратных скобках.
Пусть, для простаты, сначала точка лежит внутри промежутка, где функция f(x) дифференцируема. Тогда , и каждое из соотношений
(17)
стремится к пределу , а — к нулю. Если же есть «точка стыка», то при этом она может оказаться как точкой непрерывности, так и точкой разрыва. В первом случае мы опять столкнемся с отношением (17), но они будут стремиться на этот раз к различным пределам, соответственно—к производной справа и к производной слева. К аналогичному результату придем и в случае разрыва, но здесь заменится значениями тех функций, от склеивания которых получилась данная, а пределами отношений (17) будут односторонние производные упомянутых функций при .
Итак, наше заключение справедливо во всех случаях.
Случай непериодической функции
Вся построенная выше теория исходила из предположения, что заданная функция определена для всех вещественных значений x и притом имеет период . Между тем чаще всего приходится иметь дело с непериодической функцией f(x), иной раз даже заданной только в промежутке .
Что бы иметь право применить к такой функции изложенную теорию, введем взамен нее вспомогательную функцию определенную следующим образом. В промежутке мы отождествляем с f(x):
(18)
затем полагаем
а на остальные вещественные значения x распространяем функцию по закону периодичности.
К построенной таким образом функции с периодом можно уже применить доказанную теорему разложения. Однако, если речь идет о точке , строго лежащей между и , то, ввиду (18), нам пришлось бы иметь дело с заданной функцией . По той же причине и коэффициенты разложения можно вычислить по формулам вычисления коэффициентов не переходя к вспомогательной функции. Короче говоря, все доказанное выше непосредственно переносится на заданную функцию , минуя вспомогательную функцию .
Особого внимания, однако, требуют концы промежутка . При применении к функции теоремы предыдущего параграфа, скажем, в точке , нам пришлось бы иметь дело как со значениями вспомогательной функции справа от , где они совпадают уже со значениями справа от ю Поэтому для в качестве значения надлежало бы взять
.
Таким образом, если заданная функция даже непрерывна при , но не имеет периода , так что , то—при соблюдении требований кусочной дифференцируемости—суммой ряда Фурье будет число
отличное как от , так и от . Для такой функции разложение имеет место лишь в открытом промежутке .
Следующее замечание так же заслуживает особого внимания. Если тригонометрический ряд
сходится в промежутке к функции , то ввиду того, что его члены имеют период , он сходится всюду, и сумма его тоже оказывается периодической функцией с периодом . Но эта сумма вне указанного промежутка вообще уже не совпадает с функцией .
Случай произвольного промежутка
Предположим, что функция задана в промежутке произвольной длины и кусочно-дифференцируема в нем. Если прибегнуть к подстановке
,
то получится функция от в промежутке , тоже кусочно-дифференцируемая, к которой уже приложим рассмотрения предыдущего параграфа. Как мы видели, за исключением точек разрыва и концов промежутка, можно разложить ее в ряд Фурье:
коэффициенты которого определяются формулами Эйлера—Фурье:
вернемся теперь к прежней переменной , полагая
.
Тогда получим разложение заданной функции в тригонометрический ряд несколько измененного вида:
(19)
Здесь косинусы и синусы берутся от углов, кратных не , а . Можно было бы и формулы для определения коэффициентов разложения преобразовать той же подстановкой к виду
(20)