Коллеги, хотелось бы обсудить следующий вопрос. Имеется система ОДУ в
.
(*)
Известно, что
- гладкие, скажем,
и
периодические по
Будем, кроме того, считать, что решения данной системы бесконечно продолжаемы вправо по
.
У этой системы мы будем искать 1-периодическое решение с помощью конечномерной версии теоремы о неподвижной точке Браудера. Эта теорема формулируется так.
Th. Пусть
-- выпуклый компакт, и
непрерывное отображение такое, что для любого
найдется число
и точка
для которых выполнено равенство
. Тогда отображение
имеет неподвижную точку в
.
Неформально говоря, эта теорема означает, что если отображение растягивает компакт во всех направлениях то имеется неподвижная точка.
Вопрос, который я хочу предложить для обсуждения звучит так. Придумать конструктивно проверяемые условия для правой части системы (*), достаточные для того, чтобы отображение за период этой ситемы удовлетворяло условиям теоремы Браудера, и как следствие система имела периодическое решение. Например, можно ориентироваться на то, чтобы отображение за период удовлетворяло условиям теоремы Браудера, когда
-- это шар достаточно большого радиуса с центром в начале координат.