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

§ 15. Теорема компактности Бохнера

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

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

Пользуясь понятием нормальности, Бохнер (см. [72]) дал другое определение п. п. функции, полезное для приложений.

Теорема Бохнера. Непрерывная функция является почти периодической тогда и только тогда, когда она нормальная.

Доказательство (см. [67]). 1) Докажем сначала необходимость этого условия., т. е. мы предположим, что функция почти периодическая, и докажем, что она нормальная. Рассмотрим произвольную последовательность

где действительные числа. Так как функция ограничена (§ 7), то эта последовательность также ограничена. На числовой оси — возьмем счетное всюду

плотное множество точек (например, множество рациональных чисел). Из ограниченной числовой последовательности

выберем сходящуюся подпоследовательность

Далее, из ограниченной числовой последовательности

выберем сходящуюся подпоследовательность

Этот процесс продолжаем неограниченно. Тогда диагональная функциональная последовательность

будет сходиться в каждой точке нашего всюду плотного множества.

Действительно, согласно построению члены последовательности

при входят в состав сходящейся последовательности

и, значит, последовательность (15.2) сходится.

Докажем, что диагональная последовательность (15,1) сходится равномерно на всей действительной оси Пусть произвольно. Согласно определению п. п. функции существует число такое, что каждый отрезок длины содержит хотя бы один почти период Далее, пусть положительное число, определяемое на основе равномерной непрерывности функции На отрезке из точек всюду плотного множества построим конечную -сеть:

где

Так как диагональная последовательность (15.1) сходится в точках и число их конечно, то равномерно для совокупности этих точек выполнен критерий Коши, т. е. существует такое, что

если только

Пусть теперь любая точка из есть -конгруэнтная ей точка (§ 1), т. е. Обозначая через ближайшую к х точку -сети, при будем иметь

Так как число не зависит от то отсюда следует, что последовательность равномерно сходится на таким образом, есть нормальная функция. Заметим, что предельная функция

очевидно (§ 4), является почти периодической.

2) Докажем теперь достаточность условий теоремы, т. е. предположим, что и является нормальной; требуется доказать, что функция.

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

Для краткости такие отрезки будем называть «особыми». Построим последовательность особых отрезков таких, что

где произвольно. Так как при имеем

то

если

Рассмотрим функциональную последовательность

где центры наших особых отрезков. Для любой ее подпоследовательности

при имеем

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

Следовательно, подпоследовательность несходится равномерно на значит, функция вопреки предположению, не является нормальной функцией. Полученное противоречие и доказывает достаточность условия теоремы.

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

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