Full Text

Считается, что почти любую функцию, не являющуюся периодической на протяжении всей числовой прямой, можно представить интегралом Фурье. Таковыми являются практически все периодические функции, встречающиеся в технических приложениях, поскольку они имеют начало и конец, и поэтому определены лишь на ограниченном интервале, а не на всей числовой прямой [1-10]. При решении вопроса разложимости функции в непрерывный спектр гармоник посредством интеграла Фурье, как правило, решается задача определения классов функций, для которых данное разложение возможно. В соответствии с этим подходом функции должны удовлетворять условиям, аналогичным условиям Дини и Дирихле - Жордана для рядов Фурье. В настоящей работе использован противоположный подход - определяются виды функций, которые не могут быть представлены интегралом Фурье. Как будет показано ниже, подходы не являются равнозначными - некоторые функции, подлежавшие разложению в соответствии с первым подходом, не разлагаются в соответствии со вторым. Определение. Комплекснозначная функция является ограниченной вдоль оси абсцисс периодической функцией. Теорема 1. Ограниченная вдоль оси абсцисс периодическая функция не представима интегралом Фурье. Доказательство. Пусть (1) и пусть на интервале , где имеет гармоническую составляющую Ее значение на границах интервала: , . В силу периодичности ее значения на интервале , где будут такими же, как на предыдущем интервале. Поэтому на втором интервале имеется эта же гармоническая составляющая j, которая на границах интервала имеет значения: , . При этом , . Поскольку j непрерывна, . Следовательно, . Это означает, что на периоде T укладывается целое число периодов любой произвольной гармоники j. Отсюда следует, что спектр частот гармоник, на которые может быть разложена , является дискретным, в то время как у интеграла Фурье он непрерывен. Следовательно, не может быть представлена интегралом Фурье. Теорема доказана. Следствие. Функция, периодическая на всей вещественной оси, не представима интегралом Фурье. Известно, что для функции представимой интегралом Фурье, ее любая гармоника существует всюду в . Теорема 2. Для ограниченной вдоль оси абсцисс периодической функции гармоники существуют только на отрезке . Доказательство. В соответствии с теоремой 1 любая гармоника из интервала имеет в нем целое число периодов и, будучи распространена на интервал , имеет в последнем такое же распределение фаз относительно границ интервала, как и в интервале . Это вытекает из равенства интервалов. Следовательно, суммы всех гармоник в обоих интервалах будут одинаковыми, и в интервале слева от x функция повторит форму функции справа от x, что противоречит определению ограниченной вдоль оси абсцисс периодической функции. То же справедливо по отношению к правой границе отрезка . Таким образом, за пределами отрезка гармоник не имеет. Теорема доказана. Теорема 3. Прямоугольная импульсная функция не представима интегралом Фурье. Доказательство 1. Отрезок может быть разбит на n равных отрезков (виртуальных периодов). При этих обстоятельствах удовлетворяет определению ограниченной вдоль оси абсцисс периодической функции. В соответствии с теоремой 2 за пределами отрезка ни одна из гармоник не существует, в то время как для интеграла Фурье гармоники существуют всюду. Теорема доказана. Доказательство 2. Пусть представима интегралом Фурье. При разбиении отрезка на конечное число n равных отрезков (виртуальных периодов) субимпульс , соответствующий любому периоду, можно рассматривать как прямоугольную импульсную функцию, отличающуюся от исходной только продолжительностью. Поэтому, так же как и для исходной функции, можно допустить, что он представим интегралом Фурье, все гармоники которого имеют периоды, в n раз меньшие, чем периоды соответствующих гармоник исходной функции . В соответствии с теоремой 1 гармоники субимпульса (если они существуют) образуют только дискретный спектр, следовательно, гармоники исходной импульсной функции (если они существуют) тоже образуют только дискретный спектр, что не совместимо с представлением интегралом Фурье. Теорема доказана. Замечание. Спектр исходной прямоугольной импульсной функции (если он существует) не зависит от числа разбиений отрезка . Действительно, период первой гармоники субимпульса (если она существует) определяется (1), а период первой гармоники (если она существует) в n раз больше. Следствие. Ступенчатая функция Хевисайда не представима интегралом Фурье. Ступенчатую функцию можно рассматривать как предельный случай прямоугольной функции при . Во избежание рассмотрения бесконечно больших периодов n тоже можно устремить в бесконечность, связав его определенным образом с z. Пусть, например, , . . Тогда (виртуальный) период функции . Теорема 4. Прямоугольная импульсная функция не разлагается на гармоники, не считая нулевой гармоники, равной значению самой прямоугольной импульсной функции. Доказывается прямой подстановкой в формулы для коэффициентов гармоник ряда Фурье. Следствие 1. Ступенчатая функция не разлагается на гармоники. Следствие 2. d-Функция Дирака не разлагается на гармоники. d-Функция представляет собой предельный случай прямоугольной импульсной функции с единичной площадью при стремлении продолжительности импульса к нулю. С другой стороны, d-функция равна производной единичной ступенчатой функции. Если бы d-функция имела гармоники, то они были бы производными гармоник ступенчатой функции. Но последняя не имеет гармоник или ее гармоники всюду равны нулю. Следовательно, и гармоники d-функции также всюду равны нулю. Теорема 5. Ограниченная вдоль оси абсцисс периодическая функция имеет на единственную гармонику . Доказывается прямой подстановкой в формулы для коэффициентов гармоник ряда Фурье.

About the authors

I. P. Popov

Kurgan State University

References

Statistics

Views

Abstract - 5

PDF (Russian) - 1

Refbacks

• There are currently no refbacks.