Главная > Разное > Лекции по математической теории устойчивости
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

§ 12. Теорема единственности

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

Теорема единственности нетривиальна, и доказательство ее довольно сложно. Мы приведем здесь незначительно видоизмененное доказательство Бора — де ла Валле-Пуссена (см. [69]). Предварительно понадобится несколько лемм. Пусть функция и

— ее коэффициенты Фурье. Положим

где .

Лемма 1. Функция равномерно мала при и т. е. для всяких в и существует такое, что

при

Доказательство. Выполняя замену переменной

в интеграле (12.2), будем иметь

Складывая равенства (12.2) и (12.4), находим (рис. 62)

Рис. 62.

Пусть

и число, характеризующее равномерную непрерывность функции Тогда из равенства (12.5) при имеем

если

Следствие. Из (12.6) при получаем

Лемма 2. Пусть все коэффициенты Фурье почти периодической функции равны нулю, т. е.

при Тогда для всякого существует такое, что

при

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

Поэтому для больших неравенство (12.7) выполнено. Пусть теперь Так как

то на основании усиленной теоремы о среднем (§ 6) для всякого фиксированного существует такое, что

где произвольно. Для точки А рассмотрим ее окрестность

где

Заметим, что для любых действительных имеем

Поэтому, если то для каждого получаем

так как

Пусть теперь и целое число, удовлетворяющее условию:

Тогда, полагая где будем иметь

Отсюда, представляя в виде среднего арифметического, в силу неравенства (12.9) получим

если только Таким образом, для каждого существует окрестность для любой точки которой при выполнено неравенство (12.10). Система покрывает отрезок В силу леммы Гейне - Бореля можно выбрать конечную систему также покрывающую отрезок Полагая

находим, что для любой точки выполнено неравенство

при

Отсюда с учетом неравенства (12.8) получаем полное дока зательство леммы.

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

следует, что

Иными словами, п. п. функция ортогональная ко всем чистым колебаниям тождественно равна нулю.

Доказательство. Предположим противное, что т. е.

Рассмотрим свертку

которая также является п. п. функцией. Имеем

так как если то (§ 9, лемма 1) и, значит,

отсюда что противоречит предположению. Из формулы (12.14) получаем

Так как (§ 11, лемма 1)

при и ограничена, то

и, следовательно, число можно выбрать столь большим, чтобы при имело место неравенство

Рассмотрим функцию

где

Рис. 63.

Легко видеть, что функция непрерывна и -периодична. Полагая

для -периодической функции получим ее обычный ряд Фурье:

Вводя обозначения

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

Для непрерывной периодической функции имеет место известное равенство Парсеваля:

Так как согласно условию теоремы функция почти периодическая с нулевыми коэффициентами Фурье, то в силу леммы 2 при достаточно большом равномерно по справедлива оценка:

где произвольно мало. Далее, так как представляет собой коэффициенты Фурье ограниченной кусочно-непрерывной -периодической функции то выполнено неравенство Бесселя:

Поэтому

и, значит,

Отсюда и подавно

С другой стороны, при и имеем следовательно,

Отсюда на основании неравенства (12.15) получаем

Неравенства (12.16) и (12.17) противоречивы, если выбрать достаточно малым. Таким образом, теорема единственности доказана.

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

Замечание. Если не п. п. функция, то функциональное уравнение

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

то для всякого действительного А, очевидно, имеем

Отметим один важный вывод из теоремы единственности. Теорема. Если для почти периодической функции ее ряд Фурье

Апеап (12.18)

сходится равномерно, то сумма его равна данной функции, т. е.

Доказательство. Как известно (§ 9, теорема 2), равномерно сходящийся тригонометрический ряд (12.18) является рядом Фурье своей суммы т. е.

Таким образом, функции имеют одинаковые ряды Фурье и, следовательно, в силу теоремы единственности они совпадают. Отсюда вытекает формула (12.19).

Следствие. Если для почти периодической функции ее ряд Фурье

сходится абсолютно, т. е.

то справедливо разложение

<< Предыдущий параграф Следующий параграф >>
Оглавление