Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Докажем теперь другую теорему о несуществовании определенного вида интегралов задачи трех тел, являющуюся в некотором отношении аналогом теоремы Брунса. Эта теорема открыта Пуанкаре ${ }^{2}$ в 1889 г. где равен, очевидно, нулю. Так как это обстоятельство является препятствием при доказательстве теоремы Пуанкаре, то мы преобразуем уравнения движения таким образом, чтобы гессиан системы не равнялся больше нулю. Принимая $\frac{K}{2 h}$ за новую функцию $H$, мы можем уравнения движения ограниченной задачи трех тел привести к виду: где $H$ для достаточно малых значений $\mu$ может быть разложена в ряд по степеням параметра $\mu$ : где Гессиан функции $H_{0}$ теперь не равен нулю, а $H_{1}, H_{2}, \ldots$ означают, как и раньше, некоторые периодические функции от $q_{1}$ и $q_{2}$ с периодом $2 \pi$. где $\Phi_{0}, \Phi_{1}, \Phi_{2}, \ldots$ суть однозначные аналитические функции от $q_{1}, q_{2}$, $p_{1}, p_{2}$ и периодические относительно $q_{1}$ и $q_{2}$. Теорема Пуанкаре гласит: Не существует интегралов ограниченной задачи трех тел (за исключением якобиева и равносильных ему интегралов) типа: где $\Phi$ – функция указанного вида. Приводимое ниже доказательство остается справедливым для всякой динамической задачи с уравнениями движения того же типа, что и в ограниченной задаче трех тел. Для того чтобы уравнение $\Phi=$ const являлось интегралом, необходимо и достаточно, чтобы скобки Пуассона $(H, \Phi)$ равнялись нулю, или в развернутом виде: откуда 3. Доказательство того, что $\Phi_{0}$ не является функцией от $H_{0}$. Покажем сначала, что, не нарушая общности рассуждений, мы можем принять, что $\Phi_{0}$ не является функцией от $H_{0}$. В самом деле, если предположить, что существует соотношение вида $\Phi_{0}=\psi\left(H_{0}\right)$, то уравнение $H=H_{0}\left(p_{1}, p_{2}\right)$ после разрешения его относительно $p_{1}$ даст $p_{1}=\vartheta\left(H_{0}, p_{2}\right)$, где $\vartheta$ есть однозначная функция обоих аргументов, если внутри области $D$ величина $\frac{\partial H_{0}}{\partial p_{1}}$ отлична от нуля. Заменяя в функции $\Phi_{0}\left(q_{1}, q_{2}, p_{1}, p_{2}\right)$ величину $p_{1}$ ее значением $\vartheta$, получим равенство вида: и так как $\Phi_{0}$ однозначна, то и $\psi$ есть однозначная функция от $q_{1}, q_{2}$, $H_{0}, p_{2}$. Но по предположению $\psi$ зависит только от $H_{0} ;$ следовательно, $\psi$ есть однозначная функция от $H_{0}$, коль скоро $p_{1}$ и $p_{2}$ остаются в области $D$ и $\frac{\partial H_{0}}{\partial p_{1}}$ или еще более обще одна из производных $\frac{\partial H_{0}}{\partial p_{1}}, \frac{\partial H_{0}}{\partial p_{2}}$ внутри этой области не обращается в нуль. Последнее условие в общем случае, очевидно, выполняется. Так как $\psi$ есть функция однозначная, то уравнение $\psi(H)=$ const есть однозначный интеграл уравнений движения. Поэтому и есть также однозначный интеграл. Этот интеграл может быть разложен по степеням $\mu$, и при этом он делится нацело на $\mu$, так как $\Phi_{0}-\psi\left(H_{0}\right)=0$. Полагая поэтому находим, что $\Phi^{\prime}=$ const есть однозначный аналитический интеграл. Если положим то в общем случае $\Phi_{0}^{\prime}$ не будет функцией от $H_{0}$. Но если она все же является функцией от $H_{0}$, то, повторяя относительно нее все предыдущие рассуждения, мы придем к новому интегралу, у которого член, свободный от $\mu$, не будет в общем случае функцией от $H_{0}$ и т. д. Очевидно, мы придем в конце концов к такому интегралу, который при $\mu=0$ не приведется к функции от $H_{0}$ за исключением того случая, когда $\Phi$ есть функция от $H$, но в этом случае интегралы $\Phi$ и $H$ не являются независимыми. Таким образом, если существует не зависящий от $H$ однозначный аналитический интеграл $\Phi$, для которого $\Phi_{0}$ есть функция от $H_{0}$, то из него может быть получен другой интеграл такого же характера, но который при $\mu_{0}=0$ не обращается в функцию от $H_{0}$. Поэтому мы можем принять заранее, что $\Phi_{0}$ не есть функция от $H_{0}$. 4. Доказательство того, что $\Phi_{0}$ не содержит переменных $q_{1}$ и $q_{2}$. Если функция $\Phi_{0}$ содержит переменные $q_{1}$ и $q_{2}$, то мы можем ее, как периодическую функцию от этих переменных, записать в виде: где $m_{1}$ и $m_{2}$ означают положительные или отрицательные целые числа, $i=\sqrt{-1}$, величины $A_{m_{1}, m_{2}}$ зависят от $p_{1}, p_{2}$, а $\zeta$ – показательная функция, стоящая множителем при $A_{m_{1}, m_{2}}$. Так как $H_{0}$ не содержит $q_{1}$ и $q_{2}$, то имеем: Ho отсюда для уравнения $\left(H_{0}, \Phi_{0}\right)$ получаем: Так как это уравнение выполняется тождественно, то Отсюда либо либо Последнее уравнение выполняется, однако, лишь тогда, когда либо $m_{1}$ и $m_{2}$ равны нулю, либо равен нулю гессиан функции $H_{0}$, что по условию не имеет места. Следовательно, все коэффициенты $A_{m_{1}, m_{2}}$, за исключением $A_{0}$, равны нулю. Итак, $\Phi_{0}$ не содержит переменных $q_{1}, q_{2}$. или так как функции $H_{1}$ и $\Phi_{1}$ периодичны относительно $q_{1}, q_{2}$, то они допускают разложения: где $m_{1}$ и $m_{2}$ – положительные или отрицательные целые числа, и коэффициенты $B_{m_{1}, m_{2}}, C_{m_{1}, m_{2}}$ зависят от $p_{1}$ и $p_{2}$. Отсюда имеем: и поэтому уравнение: переходит в или (так как это уравнение выполняется тождественно) в Это уравнение выполняется при всех значениях $p_{1}$ и $p_{2}$; поэтому для значений $p_{1}$ и $p_{2}$, удовлетворяющих условию должно выполняться одно из равенств: Мы будем говорить, что коэффициент $B_{m_{1}, m_{2}}$ делается вековым, если $p_{1}$ и $p_{2}$ принимают значения, при которых величина $m_{1} \frac{\partial H_{0}}{\partial p_{1}}+m_{2} \frac{\partial H_{0}}{\partial p_{2}}$ обращается в нуль. Так как функция $H$ задана, то и коэффициенты $B_{m_{1}, m_{2}}$ также известны. В динамических системах, определяемых дифференциальными уравнениями рассматриваемого нами типа, коэффициенты $B_{m_{1}, m_{2}}$ в общем случае не обращаются в нуль, когда они делаются вековыми. Мы будем сначала предполагать, что это условие действительно выполняется. Уравнение: является тогда следствием уравнения $m_{1} \frac{\partial H_{0}}{\partial p_{1}}+m_{2} \frac{\partial H_{0}}{\partial p_{2}}=0$. Тогда можно подобрать бесчисленное множество пар целых чисел $m_{1}$ и $m_{2}$, для которых $m_{1} k_{1}+m_{2} k_{2}=\mathbf{0}$. Для каждой такой пары чисел выполняется уравнение $m_{1} \frac{\partial H_{0}}{\partial p_{1}}+m_{2} \frac{\partial H_{0}}{\partial p_{2}}=0$; следовательно, выполняется и уравнение: Сравнение обоих уравнений показывает, что Итак, якобиан $\frac{\partial\left(H_{0}, \Phi_{0}\right)}{\partial\left(p_{1}, p_{2}\right)}$ обращается в нуль для всех значений $p_{1}$ и $p_{2}$, при которых отношение величин $\frac{\partial H_{0}}{\partial p_{1}}$ и $\frac{\partial H_{0}}{\partial p_{2}}$ рационально. Следовательно, во всякой сколь угодно малой области существует бесчисленное множество систем значений ( $p_{1}, p_{2}$ ), при которых этот якобиан обращается в нуль. Но так как он является функцией непрерывной, то он обращается в нуль тождественно, т. е. $\Phi_{0}$ есть функция от $H_{0}$. Но это противоречит результату, полученному в п. 3; поэтому исходное предположение, что уравнения движения допускают отличный от $H=h$ однозначный аналитический интеграл, ошибочно, если только ни один из коэффициентов $B_{m_{1}, m_{2}}$ не обращается в нуль, когда он делается вековым. Покажем сначала, что результат, полученный в п. 5 , о несуществовании однозначного интеграла остается справедливым и тогда, когда в каждом классе существует по крайней мере один коэффициент $B_{m_{1}, m_{2}}$, который не обращается в нуль, когда он делается вековым. Допустим, что коэффициент $B_{m_{1}, m_{2}}$ обращается в нуль, но коэффициент $B_{m_{1}^{\prime}, m_{2}^{\prime}}$ отличен от нуля. Для значений $p_{1}$ и $p_{2}$, для которых $m_{1} \frac{\partial H_{0}}{\partial p_{1}}+m_{2} \frac{\partial H_{0}}{\partial p_{2}}$ обращается в нуль, имеет место соотношение $m_{1}^{\prime} \frac{\partial H_{0}}{\partial p_{1}}+m_{2}^{\prime} \frac{\partial H_{0}}{\partial p_{2}}=0$. Следовательно, и поэтому если соотношение $m_{1} \frac{\partial \Phi_{0}}{\partial p_{1}}+m_{2} \frac{\partial \Phi_{0}}{\partial p_{2}}=0$ не может быть выведено из первого уравнения, то оно во всяком случае может быть выведено из второго. Дальнейший ход доказательства протекает так же, как и в п. 5. Всякий класс индексов вполне определяется отношением $\frac{m_{1}}{m_{2}}$. Пусть $\lambda$ – рациональное число, а $C$ – класс индексов, для которого $\frac{m_{1}}{m_{2}}=\lambda$. Мы будем говорить, что класс принадлежит данной области или лежит в ней, если в этой области можно найти такую систему значаний $p_{1}, p_{2}$, для которой Докажем теперь, что теорема остается справедливой также и тогда, когда в сколь угодно малой части $\delta$ области $D$ лежит бесчисленное множество классов, для которых не все коэффициенты $B$ обращаются в нуль, когда они делаются вековыми. В самом деле, пусть $p_{1}, p_{2}$ есть такая система значений, для которой и допустим, что $\lambda$ рационально, и для соответствующего ему класса не все коэффициенты обращаются в нуль, когда они делаются вековыми. Тогда к этой системе значений $p_{1}, p_{2}$ можно применить все предыдущие выводы. Следовательно, для этой системы значений $p_{1}, p_{2}$ якобиан $\frac{\partial\left(H_{0}, \Phi_{0}\right)}{\partial\left(p_{1}, p_{2}\right)}$ равен нулю. Но согласно допущению такого рода системы значений существуют в бесчисленном количестве в каждой сколь угодно малой части области $D$. Поэтому якобиан обращается в нуль во всех точках области $D$, и $\Phi_{0}$ есть функция от $H_{0}$. Следовательно, и в этом случае не существует однозначного аналитического интеграла, отличного от $H=$ const. где функция $H_{0}$ не содержит переменных $q_{1}, q_{2}$ и ее гессиан относительно $p_{1}$ и $p_{2}$ отличен от нуля, а функции $H_{1}, H_{2}, \ldots$ периодичны относительно $q_{1}, q_{2}$. Мы показали, что в этом случае, кроме интеграла энергии, не может существовать никакого другого интеграла, который был бы однозначен и регулярен для всех действительных значений $q_{1}, q_{2}$ при всех значениях $\mu$, лежащих в определенном интервале, и для всех значений $p_{1}, p_{2}$, образующих некоторую область $D$. При этом предполагалось, что во всякой сколь угодно малой части области $D$ существует бесчисленное множество дробей $\frac{m_{1}}{m_{2}}$, для которых не все соответствующие коэффициенты $B_{m_{1}, m_{2}}$ обращаются в нуль, когда они делаются вековыми. Этот результат может быть непосредственно приложен к ограниченной задаче трех тел. Ибо, как мы это видели в п. 1, уравнения движения в этой задаче принадлежат к рассмотренному здесь типу, а вычисление функции $H_{1}$ путем непосредственного разложения в ряд показывает, что и последнее условие также выполняется. Таким образом, теорема Пуанкаре доказана. Теорема Пуанкаре устанавливает несуществование интегралов, однозначных относительно кеплеровых переменных, чем охватывается однозначность вблизи всех траекторий, имеющих общий «оскулирующий» эллипс. Но этим не исключается возможность существования интегралов, однозначных в каких-нибудь областях другого вида (Levi-Civita, Acta Math., т. 30, Стр. 305, 1905). Пуанкаре распространил свою теорему и на общую задачу трех тел (Meth. Nouv. de la Mec. Cel., т. 1, стр. 253). Пенлеве также обобщил эту теорему. (Comptes Rendus. т. 130. стр. 1699, 1900).
|
1 |
Оглавление
|