Коллеги, хотелось бы обсудить следующий вопрос. Имеется система ОДУ в

.

(*)
Известно, что

- гладкие, скажем,

и

периодические по
Будем, кроме того, считать, что решения данной системы бесконечно продолжаемы вправо по

.
У этой системы мы будем искать 1-периодическое решение с помощью конечномерной версии теоремы о неподвижной точке Браудера. Эта теорема формулируется так.
Th. Пусть

-- выпуклый компакт, и

непрерывное отображение такое, что для любого

найдется число

и точка
для которых выполнено равенство

. Тогда отображение

имеет неподвижную точку в

.
Неформально говоря, эта теорема означает, что если отображение растягивает компакт во всех направлениях то имеется неподвижная точка.
Вопрос, который я хочу предложить для обсуждения звучит так. Придумать конструктивно проверяемые условия для правой части системы (*), достаточные для того, чтобы отображение за период этой ситемы удовлетворяло условиям теоремы Браудера, и как следствие система имела периодическое решение. Например, можно ориентироваться на то, чтобы отображение за период удовлетворяло условиям теоремы Браудера, когда

-- это шар достаточно большого радиуса с центром в начале координат.