Последняя теорема Пуанкаре

Материал из testwiki
Версия от 20:17, 1 января 2022; imported>Arventur (Категория:Симплектическая топология)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

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

Данная теорема была сформулирована Анри Пуанкаре[1]; статью с утверждением он направил в журнал за две недели до смерти. Доказательство дал Джордж Биркгоф[2] спустя полгода; его доказательство содержало неточность, которая была исправлена Брауном и Ньюманом[3].

Формулировка

Пусть K — плоское кольцо, ограниченное концентрическими окружностями с радиусами r=a и r=b. Пусть также (в полярных координатах) дано отображение этого кольца в себя:

r=φ(r,θ);θ=ψ(r,θ),

удовлетворяющее следующим условиям:

  1. отображение сохраняет площадь и гомотопно тождественному;
  2. каждая граничная окружность переходит в себя: φ(a,θ)=a, φ(b,θ)=b;
  3. точки с r=a передвигаются против часовой стрелки, а точки с r=b — по часовой стрелке. Более точно, функция ψ непрерывна и ψ(a,θ)>θ и ψ(b,θ)<θ при любом θ.

Тогда это отображение имеет две неподвижные точки.

Вариации и обобщения

  • Теорема остаётся верной, если вместо сохранения площади потребовать, чтобы никакая область кольца не преобразовывалась в своё собственное подмножество.

Примечания

Шаблон:Примечания

Литература

  • Шаблон:Из
  • Парс Л. А. Аналитическая динамика, пер. с англ., М.: Наука, 1971. 636 с.

Ссылки

  1. Poincare H., «Rend. circ. mat. Palermo», 1912, v. 33, p. 375—407
  2. Birkhoff G., «Trans. Amer. Math. Soc.», 1913, V. 14, p. 14—22
  3. M. Brown, W. D. Neumann. Proof of the Poincaré-Birkhoff fixed point theorem. Шаблон:Webarchive // Michigan Math. J. 24 (1977) 21—31.Шаблон:Ref-en