Определение 8.3. Полное векторное поле
называется устойчивым по Пуассону, если все точки многообразия
устойчивы по Пуассону для
Условие устойчивости по Пуассону кажется довольно ограничительным, но тем не менее в приложениях оно часто выполняется (см. ниже теорему Пуанкаре).
Выясним, что означает устойчивость по Пуассону для задачи управляемости.
Предложение 8.2. Пусть
система полного ранга. Если векторное поле
устойчиво по Пуассону, то поле —
совместимо с системой
Доказательство. Зафиксируем произвольную точку
и момент времени
Чтобы доказать предложение, аппроксимируем точку
достижимыми точками.
Так как система
имеет полный ранг, можно выбрать открытое множество
сколь угодно близко к
Тогда множество
будет близким к точке
В силу устойчивости по Пуассону существует
такое, что
Но
, поэтому
Итак, в любой окрестности точки
имеются точки множества достижимости
т. е.
Теорема 8.3 (Пуанкаре). Пусть
гладкое многообразие с формой объема
Пусть векторное поле
полно, а его поток
сохраняет объем. Пусть
есть подмножество конечной меры, инвариантное относительно
Тогда все точки множества
устойчивы по Пуассону для поля
Доказательство. Возьмем любую точку
и любую ее окрестность
конечного объема. Множество
содержит непустое открытое подмножество
поэтому
Чтобы доказать теорему, мы
Зафиксируем любое
Все множества
имеют один и тот же положительный объем, поэтому некоторые из них должны пересекаться. Действительно, если бы