Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Задача о движения материальной точки в пространстве постоянной кривизны впервые изучалась Н. И. Лобачевским, который с помощью геометрических соображений обобщил закон всемирного тяготения (точнее, получил аналог силы ньютоновского притяжения) для про- Со своей стороны заметим, что изучение динамики в искривленном пространстве важно хотя бы потому, что позволяет глубже понять динамику в обычном плоском пространстве, уравнения движения в котором обладают дополнительной замечательной симметрией – они инвариантны относительно группы преобразований Галилея. Обобщение законов Кеплера для $S^{3}$ и $L^{3}$ приведено в работах Н. А. Черникова [221] (для $L^{3}$ ) и В. В. Козлова [90] (для $S^{3}$ и $L^{3}$ ). Аналог уравнения Кеплера для движения в $S^{3}$ несколько ранее был получен в работе П. Хиггса [250] с использованием гномонической проекции. В работах $[90,318]$ аналог ньютоновского и гуковского потенциалов получены из теоремы Бертрана для $S^{3}$ и указана аналогия с движением шарового волчка. В работе $[270]$ доказана интегрируемость движения частицы на двумерной сфере $S^{2}$ в поле двух неподвижных гравитирующих ньютоновских центров (задача Эйлера). Свободное движение двумерного твердого тела на плоскости Лобачевского изучалось Н. Е. Жуковским [62]. Он показал, что уже в этой простой ситуации не справедлива теорема Бернулли, согласно которой в плоском пространстве движение центра масс твердого тела отделяется от вращения вокруг центра масс. Отсутствие понятия центра масс в искривленном пространстве приводит, вообще говоря, к различному поведению классических задач и их аналогов в искривленном пространстве. 1. Алгебра интегралов задачи Кеплера. Остановимся более подробно на задаче Кеплера на трехмерной сфере и в пространстве Лобачевского. В случае плоской задачи Кеплера (в $\mathbb{R}^{3}$ ) хорошо известна природа ньютоновского (кулоновского) вырождения, обусловленная повышенной (так называемой «скрытой») симметрией задачи Кеплера. Как было показано Баргманом, известные интегралы движения – момент М и вектор Лапласа-Рунге-Ленца А образуют в этом пространстве алгебру $o(4)$ для отрицательных энергий и $o(3,1)$ для положительных энергий [137]. Уравнения задачи Кеплера на единичной трехмерной сфере $S^{3}$ (пространстве Лобачевского) можно записать в виде системы (1.16) с гамильтонианом (для $S^{3}$ и $L^{3}$ ) (1.9): где мы полагаем, что притягивающий центр помещен в один из полюсов сферы, а «угол» $\theta$ может быть найден из параметризации обычными сферическими (псевдосферическими) координатами. В дальнейшем, для простоты мы ограничимся рассмотрением $S^{3}$, все результаты будут также справедливы для $L^{3}$ при учете смены знаков и замене тригонометрических функций на гиперболические. Физическое обоснование задания ньютоновского потенциала в виде (2.1), а гуковского – в виде $V=\gamma \operatorname{tg}^{2} \theta$ содержится в работах $[90,270,318]$. Эти аналоги могут быть получены из обобщения теоремы Бертрана для пространств постоянной кривизны – только для указанных потенциалов все траектории частицы замкнуты. Ньютоновский (кулоновский) потенциал является также решением уравнения Лапласа-Бельтрами для искривленного пространства которое инвариантно относительно группы $S O(3)$ (не зависит от углов $\varphi, \psi$ ) и имеет особенность в полюсе $\theta=0$. (Для сферы $S^{3}$, вследствие компактности, особенность возникает также в противоположном полюсе $\theta=\pi$ ). Эти особенности можно рассматривать как обобщение понятия точечной массы (заряда) в пространстве постоянной кривизны. Несложно проверить, что в силу инвариантности гамильтониана относительно вращений вокруг фиксированной оси в $\mathbb{R}^{4}$, проходящей через полюса (преобразований группы $S O(3)$ ), уравнения движения имеют векторный интеграл момента $\mathbf{L}=$ const, (1.7) компоненты которого образуют алгебру $s o(3):\left\{L_{i}, L_{j}\right\}=\varepsilon_{i j k} L_{k}$. Аналог вектора Лапласа-Рунге-Ленца, обусловленный скрытой симметрией, для этих уравнений был найден в [55]: Коммутационные соотношения между $\mathbf{L}$ и $\mathbf{A}$ имеют вид Эти коммутационные соотношения задают нелинейную (бесконечномерную) алгебру Ли (по терминологии [55] алгебру Якоби). Ее ранг равен четырем и она обладает двумя центральными функциями В действительном движении выполняется $F_{1}=0, F_{2}=0$. Для плоского пространства нелинейный член в (2.4) исчезает, и на уровне $H=E$ получается алгебра Ли, изоморфная $o(4)$ для $E<0$ или $o(3,1)$ для $E>0$. Если рассматриваются уравнения, получающиеся при ограничении системы на сингулярную орбиту, то в формулах (2.4) надо предполагать компоненты $\mathbf{L}, \mathbf{A}$, выраженными через $\mathbf{M}, q$ по формулам ( 2.10$) \S 2$ гл. 2. 2. Регуляризация. В плоском случае (на $\mathbb{R}^{2}$ ) известна регуляризация Болина (называемая также регуляризацией Леви-Чивита) задачи Кеплера, приводящая систему (2.1) на уровне энергии при замене времени к уравнениям гармонического осциллятора. Для случая сферы $S^{3}$, инвариантными поверхностями на которой в случае задачи Кеплера являются двумерные сферы, аналогичная регуляризация не приводит к такому наглядному результату. Рассмотрим гномоническую проекцию из центра сферы на плоскость $\mathbb{R}^{2}$. При этой проекции большие дуги на сфере переводятся в отрезки прямых на плоскости. Однако, кроме точек на главном меридиане (при проецировании уходящими в бесконечность), прообразом каждой точки на $\mathbb{R}^{2}$ будут две точки на $S^{2}$. Формулы, задающие эту проекцию, могут быть записаны в виде где $\mathbf{q}$ – двумерный вектор. где $\lambda=1 / R-$ кривизна сферы, $r^{2}=x_{1}^{2}+x_{2}^{2}$. Произведем (следуя Болину) в (2.6) каноническое преобразование $(\mathbf{y}, \mathbf{x}) \longmapsto(\mathbf{w}, \mathbf{z}):$ при котором Гамильтониан (2.6) при таком преобразовании примет вид здесь $\alpha=\lambda / 4$. После замены времени $d t / d \tau=r=\left(z_{1}^{2}+z_{2}^{2}\right)$ на уровне энергии $H=h$ гамильтониан регуляризованной системы может быть представлен в виде При этом гамильтониан гармонического осциллятора на $S^{2}$ (его потенциал $V=k \operatorname{tg}^{2} \theta$ ) имеет форму При $\lambda=\alpha=0$, переход от (2.8) к (2.10) соответствует регуляризующему преобразованию Болина и связывает задачу Кеплера с гармоническим осциллятором. При $\lambda Аналогичным образом не могут быть так просто интерпретированы для искривленного пространства регуляризация Мозера $[4,137]$ и $K S$-преобразование [168] (см. §4). После перехода к декартовым координатам при помощи гномонической проекции и замене времени на уровне энергии, регуляризация уравнений задачи Кеплера будет достигнута, однако, с помощью этих преобразований мы не получим геодезический поток на сфере [137] или четырехмерный осциллятор [168]. Возможно, что этот способ не является самым удачным для регуляризации, но к сожалению, эта и другие постановки задачи совсем не изучены. 3. Бифуркационная диаграмма задачи Кеплера. Рассмотрим систему (2.1) на инвариантной поверхности, определяемой векторным интегралом $\mathbf{L}=$ const (1.7). Для $S^{3}$ эта поверхность совпадает с двумерной сферой $S^{2}$, а для $L^{3}$ – с плоскостью Лобачевского $L^{2}$. В стандартных сферических (псевдосферических) координатах после редукции Рауса задача Кеплера приводится к системе с одной степенью свободы где $\alpha_{\varphi}=p_{\varphi}=R^{2} \dot{\varphi} \sin ^{2} \theta\left(\alpha_{\varphi}=p_{\varphi}=R^{2} \dot{\varphi} \operatorname{sh}^{2} \theta\right)$ – квадрат вектора момента $L^{2}=$ const. Исследуем топологические перестройки областей возможного движения (ОВД) в зависимости от постоянной энергии $H=E$ и момента $\alpha_{\varphi}$. Произведем в (2.11) замену $r=R \operatorname{tg} \theta(r=R \operatorname{th} \theta)$, тогда ОВД при фиксированных $h$ и $\alpha_{\varphi}$ определяются неравенством Следовательно, построение бифуркационных диаграмм (см. рис. 5) сводится к исследованию квадратного уравнения Рис. 5 где $h=E \mp \frac{\alpha_{\varphi}^{2}}{2 R^{2}}$. Бифуркационное множество (то есть множество значений $\left(E, \alpha_{\varphi}\right)$ при которых области возможного движения меняют свой топологический тип) состоит из кривых Если оба корня $r_{1}$ и $r_{2}$ уравнения (2.13) — комплексные (область I на рис. 5), то движение невозможно. Если оба корня – вещественные и положительные (II), то допустимые значения $r$ определяются неравенствами $r_{1} \leqslant r \leqslant r_{2}$. Это соответствует движению в кольце $\theta_{1} \leqslant \theta \leqslant \theta_{2}$, причем для $S^{2} 0<\theta_{1}, \theta_{2}<\frac{\pi}{2}$. Если меньший из корней, $\left(r_{1}\right)$ – отрицателен (III), то для реальных движений на плоскости Лобачевского $r_{2} \leqslant r$, а на сфере $r_{2} \leqslant r, r \leqslant r_{1}$, поскольку значениям $\theta$ от $\frac{\pi}{2}$ до $\pi$ соответствует отрицательные $r$. Это означает, что на $L^{2}$ движение происходит во внешности круга $\theta=\theta_{2}$, а на $S^{2}$ – кольце $\theta_{1} \leqslant \theta \leqslant \theta_{2}$, но теперь $0<\theta_{1}<\frac{\pi}{2}, \frac{\pi}{2}<\theta_{2}<\pi$. 4. Переменные действие-угол и аналог элементов Делоне. Запишем гамильтониан системы (2.1) в сферических координатах (2.2) Переменные разделяются по Лиувиллю, причем выполняются соотношения где $\alpha_{\psi}$ имеет смысл проекции момента $\mathbf{L}$ на ось $q_{1}, \alpha_{\varphi}$ – квадрат момента $\mathbf{L}^{2}, E$ – постоянная энергии. (Для плоскости Лобачевского все тригонометрические функции от $\theta$ нужно заменить на гиперболические). где интегрирование ведется по полному циклу изменения координат. Так как $p_{\psi}=$ const, то для первого из интегралов (2.16) получаем $I_{\psi}=p_{\psi}=\alpha_{\psi}$. Кинетическая энергия в сферических координатах на $S^{3}$ имеет вид $T=\frac{1}{2}\left(p_{\theta} \dot{\theta}+p_{\varphi} \dot{\varphi}+p_{\psi} \dot{\psi}\right)$, а в координатах на сфере $S^{2}$, в которой лежит орбита, $T=\frac{1}{2}\left(p_{\theta} \dot{\theta}+\alpha_{\varphi} \dot{ Для вычисления третьего интеграла (2.16) произведем замену $r=$ $=R \operatorname{tg} \theta(r=R \operatorname{th} \theta)$ и воспользуемся уравнением орбиты $r( где $p=\frac{\alpha_{\varphi}^{2}}{\gamma}$ – параметр орбиты, $e=\sqrt{1+\frac{2 \alpha_{\varphi}^{2}}{\gamma^{2}} h}$ – эксцентриситет. Находим где $r_{1}=\frac{p}{1+e}, r_{2}=\frac{p}{1-e}$. Интегрируя, получаем ( $h$ находится из (2.13)): для $S^{3}$ для $L^{3}$ Учитывая (2.17) и соотношения $r_{1}+r_{2}=-\frac{\gamma}{h}, r_{1} r_{2}=-\frac{\alpha_{\varphi}^{2}}{2 h}$, найдем для гамильтониана: Как и в случае пространства $\mathbb{R}^{3}$, гамильтониан зависит только от суммы $I_{\theta}+I_{\varphi}+I_{\psi}$, то есть частоты $\omega_{i}=\frac{\partial H}{\partial I_{i}}, i=\theta, \varphi, \psi$, соответствующие переменным $I_{\theta}, I_{\varphi}, I_{\psi}$ совпадают. Это случай полного вырождения – все трехмерные торы Лиувилл-Арнольда расслоены на одномерные. Введем переменные $L, G, H, g, h$, аналогичные переменным Делонэ в классической небесной механике [36], по формулам: В новых переменных гамильтониан запишется в виде из (2.23) и (2.22) получаем Из (2.22) следует, что все переменные Делоне кроме $l$, являются интегралами движения. Угол $l$ является аналогом средней аномалии $\zeta$ в небесной механике [4] и меняется равномерно с течением времени $l=\frac{2 \pi}{T}(t-\tau)$. Здесь $\tau$ – момент прохождения точки через перицентр, $T$ – период обращения по орбите, который, согласно (2.23) зависит только от энергии $H=E$, выражающейся через угловую длину большой оси орбиты $a$ по формуле $E=-\gamma / R \operatorname{tg} a(E=-\gamma / R \operatorname{th} a)$. Переменные Делоне могут быть выражены через параметры орбиты, аналогично плоскому случаю [36]. Выберем угловые константы $g, h$ таким образом, чтобы они были образом параметра перицентра и долготы восходящего узла при гномонической проекции. Обозначим их через $\omega$ и $\Omega$. Введем аналог наклонения орбиты $i$ как угол между осью $q_{1}$ и вектором $\mathbf{L}$. Выразим переменные $L, G, H, l, h$ через элементы орбиты $p, e$, $i, \tau, \omega, \Omega:$ В случае пространства Лобачевского $L=\sqrt{\gamma R \operatorname{th}(a / 2)}$.
|
1 |
Оглавление
|