Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Напомним некоторые обозначения. Переменные действие угол невозмущенной задачи снова обозначим через $I_{1} I_{2} I_{3} \varphi_{1} \varphi_{2} \varphi_{3}$ (см. гл. II). Переменная $I_{3}$ – интеграл площадей; его постоянную обозначим $I_{3}^{0}$. Отношение частот $\omega_{1} / \omega_{2}$ квазипериодических движений на инвариантных торах задачи Эйлера-Пуансо зависит только от $2 \mathscr{H}_{0} / I_{2}^{2}$ и моментов инерции $A, B, C$. Эта функция в гл. II обозначена через $\gamma$. Разложение возмущающей функции $\mathscr{H}_{1}\left(I_{1} I_{2} I_{3}^{0} \varphi_{1} \varphi_{2}\right)$ в двойной ряд Фурье по переменным $\varphi_{1}$ и $\varphi_{2}$ имеет вид Коэффициенты $H_{m, 1}, H_{m,-1}, H_{m, 0}$ – функции от $I_{1}, I_{2}, I_{3}^{0}$, аналитические при фиксированном значении $I_{3}^{0}$ в области $\Delta_{a}^{0}$. Обозначим снова через $x, y, z$ координаты центра тяжести тела в главных осях инерции. Теорема 3. Пусть $I=I^{0} \in \mathscr{B}, \mathscr{B} \subset \Delta^{0}$ – вековое множество возмущенной системы. Тогда из семейства периоди- ческих решений задачи Эйлера-Пуансо, лежащих на торе $I=$ $=I^{0} \in \Delta_{a}^{0}$, рождаются при возмущении по крайней мере два изолированных периодических решения, существующие при достаточно малых $\mu$ и аналитически зависяцие от этого параметра. Іри этом одно из них устойчиво по первому приближению, а другое неустойчиво. Пусть $I_{2} Если $x^{2}+y^{2} ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ 3. когда $I=I_{0}$. функции $\mathscr{H}_{0}\left(I_{1}, I_{2}\right)$ не имеет перегиба в точке $\left(I_{1}, I_{2}\right)=I_{0}$. Предложение 1 гл. II утверждает, что это условие выполнено всюду в $\Delta_{a}$. Осталось проверить условие 2). Если $I=I_{0} \in \mathscr{B}$, то $\omega_{2} / \omega_{1}=m, m \in \mathbf{Z} \backslash\{0\}$ и $H_{-m, 1}=\bar{H}_{m,-1} Предположим, что при $I=I^{0}$ условие 2) теоремы Пуанкаре нарушено. Тогда при некотором $\lambda=\tilde{\lambda}$ одновременно выполнены равенства Так как уравнения (3.4), являющиеся системой линейных уравнений относительно $e^{i \lambda}$ и $e^{-i \lambda}$, имеют нетривиальное решение $\left(e^{\tilde{\lambda}}, e^{-\tilde{\lambda}}\right)$, то определитель этой системы должен быть равен нулю. Однако при $I^{0} \in \mathscr{B}$ Замечание. Можно указать примеры канонических систем дифференциальных уравнений, мало отличающихся от интегрируемых, для которых вековое множество $\mathscr{B}$ не совпадает с множеством $\mathscr{P}$ резонансных торов невозмущенной задачи и которые удовлетворяют теореме А. Пуанкаре о рождении изолированных периодических решений.
|
1 |
Оглавление
|