сладко стянул

Итак, пространство параметров — сфера без трех точек. Его первые гомологии — свободная абелева группа на двух образующих. Получаем много нестягиваемых замкнутых кривых; следовательно, много периодических* решений! (Пространство не компактно, но можно проверить, что проблем не возникает; именно из-за того, что силы притяжения слабее, чем гравитация.) Для закона обратных квадратов те же рассуждения не проходят — не удаётся предотвратить столкновение из общих соображений.

Пуанкаре, конечно, писал не про гомологии, а "назовём тела a,b,c. Зафиксируем целые числа K2, K3. Мы ищем траектории, в которых отрезок ab за период поворачивается на угол ω1, отрезок bc — на угол ω1+2π*K2, отрезок ac — на угол ω1+2π*K3".

*за период система приходит не в исходное положение, а поворачивается на какой-то угол ω1, заранее неизвестный. Но тоже неплохо!

www.group-telegram.com/tr/sweet_homotopy.com/1971

1.4K viewsedited  Apr 2 at 08:17

Итак, пространство параметров — сфера без трех точек. Его первые гомологии — свободная абелева группа на двух образующих. Получаем много нестягиваемых замкнутых кривых; следовательно, много периодических* решений! (Пространство не компактно, но можно проверить, что проблем не возникает; именно из-за того, что силы притяжения слабее, чем гравитация.) Для закона обратных квадратов те же рассуждения не проходят — не удаётся предотвратить столкновение из общих соображений.

Пуанкаре, конечно, писал не про гомологии, а "назовём тела a,b,c. Зафиксируем целые числа K2, K3. Мы ищем траектории, в которых отрезок ab за период поворачивается на угол ω1, отрезок bc — на угол ω1+2π*K2, отрезок ac — на угол ω1+2π*K3".

*за период система приходит не в исходное положение, а поворачивается на какой-то угол ω1, заранее неизвестный. Но тоже неплохо!

BY сладко стянул