Анализ и механика на двухточечно-однородных римановых пространствах тема автореферата и диссертации по математике, 01.01.03 ВАК РФ

Щепетилов, Алексей Валерьевич АВТОР
доктора физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
2009 ГОД ЗАЩИТЫ
   
01.01.03 КОД ВАК РФ
Диссертация по математике на тему «Анализ и механика на двухточечно-однородных римановых пространствах»
 
Автореферат диссертации на тему "Анализ и механика на двухточечно-однородных римановых пространствах"

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М.В. Ломоносова ФИЗИЧЕСКИЙ ФАКУЛЬТЕТ

На правах рукописи

□ □348 1788

Щепетилов Алексей Валериевич

АНАЛИЗ И МЕХАНИКА НА ДВУХТОЧЕЧНО-ОДНОРОДНЫХ РИМАНОВЫХ ПРОСТРАНСТВАХ

Специальность 01.01.03 - математическая физика

Автореферат диссертации на соискание ученой степени доктора физико-математических наук

Москва, 2009 г.

003481788

Работа выполнена на кафедре математики физического факультета Московского государственного университета имени М.В.Ломоносова

Официальные оппоненты: доктор физико-математических наук, профессор

Борисов Алексей Владимирович

Ведущая организация: Физический факультет Санкт-Петербургского государственного университета

Защита состоится «19 » ноября 2009 г. в 1сов

на заседании диссертационного совета Д 501.002.10 при Московском государственном университете имени М.В. Ломоносова по адресу: 119991, ГСП-1, Москва, Ленинские горы, МГУ им. М.В. Ломоносова, дом 1, строение 2, физический факультет, аудитория

С диссертацией можно ознакомиться в библиотеке физического факультета

доктор физико-математических наук, профессор Панов Вячеслав Федорович доктор физико-математических наук, профессор Шафаревич Андрей Игоревич

МГУ.

Автореферат разослан

доктор физико-математичео

Ученый секретарь диссертаи

доктор физико-математичео Грац Ю.В.

Актуальность темы диссертации. Хорошо известно, что одним из базисных понятий геометрии являются пространства постоянной кривизны, давшие широкое поле для исследований. В результате были обнаружены многочисленные связи пространств постоянной кривизны с другими разделами математики, например, с интегрируемыми дифференциальными уравнениями в частных производных и с интегрируемыми гамильтоновыми динамическими системами. Геодезические потоки на компактных поверхностях постоянной отрицательной кривизны (рода большего единицы) являются полигоном для эргодической теории. Гиперболическое пространство (пространство Лобачевского) Н3(Е) является пространством скоростей специальной теории относительности, а также совпадает с пространственноподобными сечениями простейших моделей общей теории относительности.

В 1885 году Киллинг подробно рассмотрел задачу о движении материальной точки в ньютоноподобном потенциале на трехмерной сфере S3 и нашел для нее аналоги трех законов Кеплера. В работах Либмана 1902 и 1905 годов результаты Киллинга были распространены на пространство Лобачевского, а в его же работе 1903 года было доказано обобщение теоремы Бертрана на пространства S2 и Н2(Ж), т.е. существование на этих пространствах лишь двух потенциалов: Vc (ньютоно- или кулоноподобного) и Vrj (осциллятоподобного), для которых все ограниченные траектории одночастичного движения замкнуты.

Квантовомеханическая одночастичная спектральная задача для потенциала Vc на сфере S3 (задача Кулона) была исследована Шредин-гером в 1940 году разработанным им методом факторизации операторов (ladder method) и Стивенсоном в 1941 году традиционным путем анализа решений дифференциального уравнения, а в гиперболическом пространстве Н3(Е) Инфельдом и Шильдом в 1945 году.

В рамках развития симметрийных методов в последние десятилетия усилился интерес к задачам классической и квантовой механики на пространствах постоянной кривизны, о чем свидетельствует возросшее число соответствующих публикаций в научных журналах.

Так, были вычислены дополнительные интегралы для классической и квантовой одночастичной задачи с потенциалами Vc и V0 на сфере S3 (Хигс, Курочкин, Отчик, 1979) и в пространстве H3(R) (Богуш, Курочкин, Отчик 1980). Спектральная одночастичная задача с потенциалами Vc и V0 в пространствах S", п ^ 3 была решена Лимоном в 1980 г.

Связь аналогов оператора Рунге-Ленца для одночастичной кванто-вомеханической задачи Кеплера в пространстве Б3 с методом факторизации Шредингера обсуждалось Барутом и Вилсоном в 1985 г. Барут, Иномата и Юнкер нашли решение спектральной одночастичной кван-товомеханической задачи для потенциала Ус на пространствах Э3 и Н3(М) с помощью функциональных интегралов (1987, 1990).

Отчик (1991, 1994) исследовал одночастичную квантовомеханиче-скую задачу в поле двух произвольно расположенных кулоновских центров на сфере в3. Он нашел систему координат, в которой переменные разделяются, а соответствующие обыкновенные дифференциальные уравнения сводятся к уравнениям Гойна.

Козлов и Федоров (1994) установили интегрируемость классического движения одной частицы по сфере Э" в поле, создаваемом 2(п+1) потенциалами У0 с центрами в точках

(±1,0,... ,0), (0, ±1,0,... ,0),... ,(0,... ,0,±1)

для стандартной модели сферы Б" в пространстве К"+1, заданной уравнением

п !=0

Разделение переменных для одночастичного оператора Шредингера и некоторых нецентральных потенциалов в пространствах Я2 и Н2(К) изучалось Калнинсом, Миллером, Хакобьяном и Погосяном (1996-1999). Существующие в евклидовом пространстве преобразования Леви-Чивиты, Кустанхеймо-Штифеля и Гурвица, связывающие задачи Кулона-Кеплера и осциллятора, были обобщены на сферы некоторых размерностей Калнинсом, Миллером, и Погосяном в 2000 г.

Интегрируемость одночастичного движения на сфере Б2 в некоторых комбинациях ньютоновских и осцилляторных потенциалов была установлена Борисовым и Мамаевым (2005).

Двухчастичная классическая и квантовомеханическая задача двух тел на пространствах постоянной кривизны, отличных от евклидова, оставалась практически неизученной до появления в конце 1990-х годов работ автора на эту тему. Это объясняется тем, что координатный анализ этой задачи, для пространств размерности начиная с трех, трудно выполним в силу громоздкости соответствующих выкладок.

Если в евклидовом пространстве задача двух тел посредством отделения центра масс сводится к одночастичной, а существенные ма-

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

Исследование задачи двух тел в пространствах постоянной кривизны (и более общо - в двухточечно-однородных римановых пространствах) является актуальным, поскольку, с одной стороны, доставляет новый нетривиальный объект для современных методов сим-метрийного анализа, а, с другой стороны, позволяет лучше понять природу появления неинтегрируемости для "простых" систем классической и квантовой механики при переходе от плоского к неплоским пространствам.

Целью работы было исследование классической и квантовомеха-нической задачи двух тел с центральным потенциалом на двухточечно-однородных римановых пространствах с точки зрения ее глобальной разрешимости, интегрируемости, редукции с использованием имеющейся априорной группы симметрий к задаче с меньшим числом степеней свободы, возможности вычисления спектра квантовомеханической задачи в явном виде.

Методы исследования. В диссертации используются дифференциально-геометрические (теория Хелгасона инвариантных операторов на однородных пространствах), алгебраические (теория обертывающих алгебр для алгебр Ли, теория инвариантов, теория представлений групп и алгебр Ли) и аналитические методы (теория самосопряженных расширений дифференциальных операторов, теория фуксовых дифференциальных уравнений), а также дифференциальная теория Галуа. При анализе общих ситуаций используется бескоординатное описание рассматриваемых конструкций в терминах алгебры Ли соответствующей группы симметрий.

Научная новизна. В работах автора впервые рассмотрена классическая и квантовомеханическая задача двух тел на двухточечно однородных римановых пространствах. Представленные в диссертации результаты являются новыми.

Основные результаты и положения, выносимые на защиту:

1. Получено описание некоммутативных алгебр инвариантных дифференциальных операторов на расслоении единичных сфер £¡>5 над произвольным двухточечно-однородным пространством ф в терминах образующих и соотношений. Также найдены некоторые элементы центров данных алгебр.

2. Найдено описание приведенного фазового пространства для га-мильтоновой системы на кокасательном расслоении однородного многообразия группы Ли через факторпространство орбиты коп-рисоединенного действия данной группы.

3. Получено явно инвариантное выражение для двухчастичного квантовомеханического гамильтониана с центральным потенциалом на двухточечно-однородных пространствах через радиальный дифференциальный оператор и образующие алгебры Б1й/((35), а также аналогичное выражение для двухчастичной гамильтоновой функции.

4. Найдены достаточные условия отсутствия столкновений для классической задачи двух тел с центральным потенциалом на двухточечно-однородных пространствах.

5. Классифицированы приведенные гамильтоновы системы для классической задачи двух тел с центральным потенциалом в пространствах постоянной кривизны. Для ряда центральных потенциалов доказана мероморфная неинтегрируемость этих систем при некоторых значениях отображения момента.

6. Показано, что двухчастичная квантовомеханическая задача на сферах Э" с кулоновским и осцилляторным потенциалами является квазиточнорешаемой и получены в явном виде некоторые бесконечные серии ее энергетических уровней.

Кроме основных, в диссертации получены некоторые дополнительные результаты: найдено выражение оператора Лапласа-Бельтрами на однородном римановом пространстве через киллинговы векторные поля и установлена некоммутативная интегрируемость задачи о движении классической частицы в центральном потенциале на двухточечно однородных римановых пространствах непостоянной кривизны.

Научная значимость. Работа носит теоретический характер. Ее результаты позволяют понять причины неинтегрируемости задачи двух тел на неплоских двухточечно-однородных пространствах с нетривиальными потенциалами общего вида. Вместе с тем, обнаружена квазиточнорешаемость квантовомеханической задачи двух тел на пространствах постоянной кривизны для кулоновского и осцилляторного потенциалов, что свидетельствует о ее близости к точно решаемым моделям.

Некоторые результаты, полученные автором при исследовании задачи двух тел на двухточечно-однородных пространствах, могут быть применены и к другим исследованиям в области геометрического анализа, квантовой и классической механики на многообразиях. К ним относятся: выражение оператора Лапласа-Бельтрами в подвижном репере и, в частности, через киллинговы векторные поля, описание редуцированного кокасательного расслоения однородного пространства в терминах орбит коприсоединенного действия соответствующей группы Ли, описание алгебры Diff/(Qs) инвариантных дифференциальных операторов на расслоении единичных сфер Qs над двухточечно-однородным пространством Q в терминах образующих и соотношений.

Личный вклад диссертанта. Основные результаты диссертации получены автором единолично.

Апробация работы. Основные результаты были доложены на следующих международных конференциях: 30-ом Симпозиуме по математической физике (май, 1998 г., Торунь, Польша), 31-ом Симпозиуме по математической физике (май, 1999 г., Торунь, Польша), конференции "Геометрия, интегрируемость и квантование" (сентябрь 1999 г., Варна, Болгария), конференции "Методы неевклидовой геометрии в современной физике" (октябрь 2006 г., Минск, Беларусь), а также на семинаре кафедры дифференциальной геометрии и ее приложений механико-математического факультета МГУ (рук. академик РАН, проф. А.Т. Фоменко), семинаре по нелинейным дифференциальным уравнениям (рук. чл. корр. РАН, проф. И.А. Шишмарев) кафедры общей математики факультета вычислительной математики и кибернетики МГУ, на семинаре по математической теории распространения волн в Санкт-Петербургском отделении Математического института им. Стеклова (рук. д.ф.м.н., проф. В.М. Бабич), на семинаре по теории гравитации в Пермском государственном университете (рук. д.ф.м.н.,

проф. В.Ф. Панов), на семинарах кафедры математики физического факультета МГУ (рук. д.ф.м.н., проф. В.Ф. Бутузов).

Публикации. Содержание диссертации опубликовано в статьях, трудах конференций и одной монографии (всего 15 работ), причем, за исключением одной статьи, работы выполнены единолично.

Структура и объем диссертации. Диссертация имеет объем в 268 стр. и состоит из введения, восьми глав, разбитых на параграфы, четырех приложений, предметного указателя и списка литературы, содержащего 234 наименования.

Содержание работы. В первых четырех главах развивается дифференциально-геометрический аппарат, служащий в дальнейшем для анализа задачи двух тел на двухточечно-однородных пространствах.

В первой главе дана классификация двухточечно-однородных пространств:

1. евклидово пространство Е", п ^ 1;

2. сфера Э", п ^ 1;

3. вещественное проективное пространство РП(К), тг ^ 2;

4. комплексное проективное пространство Р"(С), п ^ 2;

5. кватернионное проективное пространство РП(Н), п ^ 2;

6. октавная проективная плоскость Р2(Са);

7. вещественное гиперболическое пространство (пространство Лобачевского)

Н"(К), п ^ 2;

8. комплексное гиперболическое пространство Н"(С), п ^ 2;

9. кватернионное гиперболическое пространство Н"(Н), п ^ 2;

10. октавная гиперболическая плоскость Н2(Са).

Всюду ниже величина Л соответствует максимальной секционной кривизне Я~2 двухточечно-однородного пространства.

Приведены модели компактных двухточечно-однородных пространств, либо как подмногообразий евклидова пространства, либо как факторпространств таких подмногообразий, а также различные модели вещественных гиперболических пространств Н"(М), п ^ 2. Далее

описана связь между компактными и некомпактными двухточечно-однородными пространствами в терминах соответствующих алгебр Ли.

Пусть 7 - произвольная геодезическая двухточечно-однородного пространства Q. Тогда стационарная подгруппа любой пары не совпадающих точек х,у, лежащих на 7 и таких, что dist(a:, у) ф diamQ одна и та же. Обозначим эту подгруппу Ко, а ее алгебру Ли через to. Существенную роль в дальнейшем играет следующее разложение алгебры Ли g группы изометрий G пространства Q.

Предложение 1.2 Алгебра Ли д допускает следующее разложение в прямую сумму подпространств:

в - а е 60 © h ® 62Л © РА © Р2А (1)

такое, что dim а = 1, А - ненулевая линейная форма на подпространстве a, dim6А - dimpA = qi, dim62A = dimp2A = 42, P = а Ф Ра Ф РгА, 6 = 6о Ф 6 а © hxi здесь 92 £ {0} U N, подалгебра а является максимальной коммутативной подалгеброй в подпространстве р и соответствует касательному вектору к геодезической 7 в точке яо- Все слагаемые в (1) ad(0-инвариантны и справедливы следующие включения:

К Ра] С 1а, [о, 6а] С рА, [а, р2л] С 62А, [а,62Л] С р2Л, [о, to] = 0,

[«а, Ра] С р2а ф а, [tA, h] С 62А ф «о, [рл, Ра] С 62А ф «о, (2) [е2а, 62а] с to, [р2а, р2а] с 60, [t2a, р2л] с а, [6а, 62а] с 6а, [6а,Р2а] С Ра, [Ра,«2а] С рА, [Ра,Р2а] С 6а.

Более того, для любого базиса e\j, г — l,...,qi пространства ра и любого базиса е2А,»> ® = 1,---,?2 пространства р2д существуют базисы i — 1,..., qi и /2A,j, i — 1, • • •, <72 s пространствах 6а и 62а соответственно, такие что:

[Z, eAli] - -A(Z)/a,<, [Z, /а,J = A(Z)eAii> i = 1,..., qlt [Z, e2A,i] = -2A (Z)/2a.i, [Z, /2A,i] = 2A(Z)e2A)i, г = 1,... ,q2,VZ e a. U

В главе 2 собраны необходимые сведения о дифференциальных операторах. Первый параграф содержит основы теории инвариантных дифференциальных операторов на однородных многообразиях.

Пусть М - гладкое многообразие, на котором задано левое действие группы Ли G. Обозначим через Diff<;(M) алгебру инвариантных дифференциальный операторов на М.

Если М = С?, то 015(5 (М) — и (о) - универсальная обертывающая алгебра для алгебры Ли д группы С?, элементы которой можно понимать как некоммутативные полиномы от базисных элементов алгебры Ли д.

Пусть (3 действует на М транзитивно и не свободно со стационарной подгруппой К, т.е. М ~ в/К. Тогда 1)ШС(М) ~ II(д)к / {и{д)Ъ)К, где и(о)к - алгебра Ас1^-инвариантов в [/(д), Ъ - алгебра Ли группы К, (и(д)Ъ)К - алгебра Ас1 ^-инвариантов в и(д)£.

Пусть р - линейное подпространство в д такое, что д = р © 6 и [6,р] Ср.

Пусть 5(р) - симметрическая алгебра линейного пространства р, т.е. совокупность коммутативных полиномов относительно элементов некоторого базиса пространства р.

Тогда 01Я'с(М) и £(р)А' изоморфны как линейные пространства, что дает возможность практически построить образующие и соотношения для алгебры В'1Ео{М).

Во втором параграфе выводится выражение оператора Лапласа-Бельтрами в подвижном репере, в частности, состоящем из киллин-говых векторных полей.

Предложение 2.5 Пусть & - подвижный репер на римановом пространстве, состоящий из киллинговых векторных полей. Тогда оператор Лапласа-Белътрами можно представить в виде:

¿Л

где д^ = матрица ||<7Ч'|| - обратна к а коэффициенты

(вообще говоря переменные) определяются равенством [&,£.?'] =

В третьем параграфе сформулированы достаточные условия самосопряженности абстрактных операторов в гильбертовых пространствах и дифференциальных операторов на римановых пространствах, встречающихся в дальнейшем. В четвертом параграфе описана используемая далее общая схема редукции квантовомеханических систем с симметриями.

В главе 3 находятся образующие и соотношения для алгебры инвариантных дифференциальных операторов на расслоении единичных сфер над двухточечно-однородным пространством С

Пусть

р := а © рА ф р2Л Ф 6Л Ф «2А-

и

В соответствии с вышесказанным, образующие некоммутативной алгебры Т)Шс(0/Ко) строятся из образующих коммутативной алгебры

Пространства а, рд, ргд, ^л инвариантны относительно Ас1д-0-действия, которое является ортогональным относительно ограничения формы Киллинга. При этом А<1а-0-действия на пространствах рд и £д эквивалентны, равно как на пространствах р2л и 62л •

Это дает следующие "универсальные" образующие алгебры 1К^) для компактных пространств: А (соответствует ненулевому элементу из а), А, А, А, А (соответствуют скалярным квадратам в пространствах рд, 6д, ргд, и £>з> А (соответствуют скалярным произведениям (рЛ, 6А), (р2д, Е2а))-

Аналогичные операторы для некомпактных пространств обозначим

Оказывается, что двухточечный гамильтониан Н выражается только через эти "универсальные" образующие. Кроме этих образующих имеются и образующие, специфические для каждого пространства.

Пространство Р"(И).

Тут имеются дополнительные образующие А, £)д, До, причем deg Д = с^ А = 3, с^ А = с^ Д0 = 4. Образующие Д,... , До связаны 55 коммутационными соотношениями:

[А, А] = -А, [А, А] = А, [А, А] = ¿(А - А), [А, А] - -2 А,

[£»0, А] = 2£>6, [А, А] = £>4 - А, [А, А] = -А, [£»0, А] = А, [А, А] = 0, [А, Ао] = 0, А] = -{А, А} - 2А,

[А, А] = -|{А>, А} + А + п(п - 1)А, [А, А] = 2А, [А, А] = о, [А, А] = А, [А, А] = -¿{А, А} - ^{А, А} + ¿(А - А) + +А + Ао + п{п - 1)А, [А, А] = -^{А, А} + ^А - ¿{А, А} + + п(п -1)А, [А, А] = -{А, А} - {А, А} - |{Г>0, А} + + 2(п - +1)А, [А, Ао] = ¿{А, А} - ¿{А, А} + + ¿{А>, А} + ¿А, [А, А] = ¿{А, А} + А - п(п - 1)А,

[D2, D4] = -2D7, [D2, D5] = O, [ü2, Do] = -D&, [D2, DT] = ~{D3, D6} + + ±{D2, D4} + |(Г»х - D2) - D9 - Di 0 - n(n - 1)04, [02, A»] = = -^{D3, D5} + ±{D2, De} + |л3 - n(n - 1)D6, [Аь D0] = = -{D3, D8} + {£>2, D7} + ^{D0, D3} - 2(n - |)(n, + i)D7, [02, Dw] = -\{D6, Ds} + \{Db, D7} - |{D0, D3} - \D7, [D3, D4] = 0, [D3, Db) = 2D8, [D3, D6] = D7, [D3, D7) = ~{Dl + D2, D6} +

+ n{n - 1 )D6, [D3, Ds] = ~{Dl + D2, Db} + n{n - 1 )D5 + Д, + + D10, [D3| A>] = -i{Di + D2i D8} + ^{D0, Di - D2} + + 2(n - |)(n + \)D&, [D3, D10) = i{D6, D7} - ¿{D4, D«} -

- ¿{Ah A - D2} + |z>8, [A, ^5] = -2{D0, D6}, [D4, D6] = = -{D0, D4} + ^D0, [D4, D7] = ^{Di - D2, Di] + ^(D2 - Di),

[D4, Dg] = i{Dx - D2, D6} - {Do, D7}, [D4, D9] - {Dj - D2, D7}, [D4, Dio] - 0, [D5, D6] = {D0, D5} - ^D0, [D5, D7] = {D3, D6} +

+ {Do, D8}, [D5, Dg] = {D3, Ds} - ¿D3, [D5, D9] - 2{D3, D8}, [D5, Dio] = 0, [D6, D7] = - D2, D6} + i{D3, D4} + \{D0, D7} -

- ?D3, [De, Da] = i{Dx - D2, D5} + ¿{D3, D6} - ¿{D0, D8} +

+ ¡(D2 - Dr), [D6, D9] = i{Di - D2, D8} + {D3, D7}, [D6, Di0] = 0, [D7, D8] = fa - D¡, Ds} - i{D3, D7} + ¿{D0, Da + D2} -

- i{D0, D9 + D10} - - 1)D0, [D7, D9] = i{D3, D6} + + i{Di - D2, D4} + i{Dj - Di, D9 + D10} - g(D? - D22) + + jj(n2 - n - ^)(Di - Di), [D7, Dio] = J{£2 - Dlt D¡} -

- ±{{Do, D7}, De} + \{{D0, D4}, Ds} + ^{{A - D2, D5}, D4} -

- ^{D,, D6} + - Db 3D4 + D5} - ±{£>0, Ds} + ^(A - D2), [£>e, Щ = Da - D2, D6} + \{D3, D5} - Di + D2} +

+ {D3, Dg + Dio} + \{n2 -n- [A, Dio] =

= ад, De} + \{{D0, ад, Da} - ¿{{Д,, D5}, D7} +

+ \{{D3, D5}, ад - \{D3, D5} - i{D3, D4} + \{Do, D7} + ^D3, [Dg, Di o] = \{-{De, Ds} + {Db, D7}, Dx - D2} + \{{D3, A»}, D4} -

- \{{D3, Del -ÍM + \{D2 - Du ад - ±{D3l D&}, соотношением

D¡0 - DgDiDs - D7D6Ds - D&D6D7 + DgD¡ + D7DbD7 + D8D4D& = D', где D' = Ya=2 h ~ оператор порядка sí 7:

S7 = D7(Di - D2)D5 + 2D8D3D4 - D7{D3, De} - \Ds{DI - D2, D6} + + 2D9D6D0,

Se = ~D0(Di - D2)Ds - ^D0D3Dr + Di + D¡ + 2- ^D¡D4 -- l(£>i - D2)2D5 + ¿(Di - D2)D3D6 - ¿(Di + D2)D5D4 +

+ \(Di + D2)D¡ - jD¡Dg - ¿D¡DW + Z-{Da + Db)Dw,

33 9/1 \

Ss = jDo(D! + D2)De - - ÍD3DS + -(Di - D2)D7\ ,

q q i 19 Я

¿4 = ~aD\ + -(Di - D2f + -(Di + D2)(9D5 - 15D4) + -Dg + -Dw +

+ ^D¡(Di + D2) + 3n(n - 1)(D5D4 - D¡), 33

63 = -—n(n - l)D0De,

52 = ~n(n - 1)(15D4 - 9D5) - 3n(n - 1 )D¡

и, в случае п = 2, дополнительным соотношением:

^ьДгЬ^-Д^А + Дг. (4)

Здесь {X, У} = X оУ + У о X - антикоммутатор операторов X и У.

Центральные элементы данной алгебры степени не выше четырех являются линейными комбинациями элемента второй степени Сх = Сц + А + А + А + А и элементов

С2 = ±{£>ь А} - - А - (п2 - п - 1)(А 4- А), Сз = ^{А +1>2) А + А} + ^А - А)2 + + ^(А - А)2 + А2 + + £>э - 2£>ю + !{£>§, А + А + А + А} + ^ -

- (п2 - п - + А) + (-п2 + п +

и С2 четвертой степени. В силу (4), при п = 2 имеем С2 = 0. Пространство Р2(Са).

Дополнительные образующие суть £>7, £>8, £>9 так, что с^А = с1е§А = 3, deg А = 4. Они связаны 45 коммутационными соотношениями:

[£>0) £>1] = -£>3, [А, А] = А, [-Со, А] = ¿(А - £>2), [£>о, А] = ~2Дз, [А, А] = 2 А, [А, А] = £>4 - £>5, [Аз, А] = -£>8, [А, А] = А, [£>о, А] = 0, [А, £>2] = -{1>о, А} - 2А, [£>1, А] = -¿{А, £>1} +

+ £>8 + 1(Ш0, [£>1, £)4] = 2£>7) [£>1, £>5] = 0, [А, А] = А, [А, А] = ¿{А, А - А} -£>9- А, А} - А2 - 5£>02 - | А -

ООО 10 1 1 1

" + ~2В4 ~ 2^5' [Пъ °8] = "2"Вь} ~ 2{Пъ Пб} + 35 1 1 18<}

+ юА + [А, А] = -{А, А} - ¿{А, А} - А} -

- [А, А] = ¿{А, А} + А - ЮА, [А, А] = -2А, [А, А] = 0, [А, А] = - А, [А, ^7] = -¿{А, А - А} + А -

-А, А} + А2 + 5А2 +1А + ^А - у£>4 + 5 А,

i i 35

[I>2, D8] = -{D2, D6} - -{D3, D5} + -D3 - 10D6, [D2, D9] =

= -\{db, D7} + D8} + ^{Do, D3} + ™D7, [D3, D4] = 0,

[D3, db] = 2D8, [£>3, Аз] = Dt, [A, d1] = -^{Di + D2, D6} + 10D6,

[£>3) D8] = ±{Db d2} - + D2, D5} - D9 - d¡ - 5d¡ -

- ^f (Di + D2) - \d4 + yD5, [D3, D9] - ¿{D4, Ds} - \{ds, D7} +

189 169

+ -^{D0, Di - D2} - —Dg, [D4, Ds] = -2{D0) D6}, [D4, D6] =

QC¡ 1 35

= -{Do, D4} + —D0, [D4, D7] = -{D! - D2, D4} + — (D2 - Dj),

[dt, ds) = i{D! - D2, D6} - {D0) D7}, [D4, D9] = -9{D0, D6}, 35

[D5, D6] = {D0, D5} - у Do, [D5) Dt] = {D3, D6} + {D0, D8}, 35

[D5i Ds] = {D3, Ds} - —D3, [D5, D9] = 9{D0, D6}, [D6, Dr] =

= ^{Di - D2, D6} + i{D3, D4} + i{D0, D7} - ^D3, [D6, D8] = = - D2, Ds} + i{D3, de} - \{d„, D8} + Ç(D2 - Dj),

[Z>6, D9] = ^{D0, D4 - Ds}, [D7, Ds] = -i{D0> {Db D2}} + i{D0, D32} +

11 1 2ЯЧ

+ -{D0, D9} + -{dj - D2, D8} + -{Do, D5} + —{Do, dx + D2} -

- ~d0 - i{D3, dj} + 5D03 + i{D0, D4}, [D7, D9] =

= j{{D0, D7}, D6} + ^{D2 - Db {D4, D5}} - ^{{Do, D4}, D8} +

+ - d2, Dg} - i{D0, D8} + |{D3, D6} + - D2, D4} +

17 181

+ "g"{Di - D2, DS} + - Di), [D8, D9] =

= - j{{D0, D6}, ds} - ^{D3, {D4, Ds}} + \{{dü, D7}, D5} +

+ i{D3, Dg} + ^{D3, D5} + g{Di - D2, D6} + ^{D3, D4} +

Все центральные элементы данной алгебры степени ^ 4 являются линейными комбинациями элементов С\,С\ и С2, где

С1 = £>о + £>1 + £>2 + £>4 + £>5,

с2 = ¿{Д4, А} - А2 - 2Д, + ^(А + Д2) + + АО-

Пространство РП(С).

Тут, в силу сНтргл = (11т Е2л = 1, имеем deg £>4 = degD^ = с^ Д5 = deg £>5 = 1. Имеется одна дополнительная образующая □ степени 2.

Коммутационные соотношения для алгебры Б1й/(РП(С)8) имеют вид:

[Аъ £>1] = -Дз, [А, Д2] = Дз, [До, Дз] = ¿(А - д2), [До, Д4] = -Д5, [До, Д5] = Д4, [До, □] = 0, [Дь Д2] = -{До, Дз} - {□, Д4},

[А, Дз] = -¿{А>, А} + Д5} + [А, Д4] = □,

[А, Д5] = 0, [Дь □] = -^{А, Д4} - ¿{Дз, Д5} + А,

[Д2, Д3] = ^{До, Д2} + Д5} - До, [Да, А] =

[Д2, Д5] = 0, [Д2, □] = Д4} - ^{Дз, Д5} -

[Д3, Д4] = О, [Д3, Д5] = [Дз, □] = -^{Дх + А>, Д5} + ^^А,

[Д4, Д5] = -До, [Д4, □] = ¿(А - А), [Д5, □] = Дз-

Для п> 2 некоммутационные соотношения отсутствуют. Для п = 2 существует одно такое соотношение:

±{А, А} - А2 - п2 - + в\ + А2) = о. (5)

Оператор Казимира имеет вид Сх = Д02 + Д! + Д2 + Д2 + Д2. Все элементы из ZDiff^(Pn(C)s) степеней < 4 являются линейными комбинациями элементов С\, С2, С2 и С3, где

С2 = {Дх - Д2, Д5} - 2{Д3, Д4} + 2{Д0, □}, С3 = ¿{А, А} - Д32 - П2 - ——~0А + £>2).

В силу (5) в случае п = 2 имеем С\ = 4Сз- Оператор С2 имеет степень 3, а степень оператора Сз для n ^ 3 равна 4. Пространства Р"(М) и Sn.

Тут набор образующих различен в случаях п = 2, п = 3ип^4. При п = 2 группа Kq тривиальна и мы имеем просто

DiSa(G/K0) = tf(so(3)).

При и)3в компактном случае образующие суть Do, Di, D2, D3 с соотношениями

[Do, Di] = -2D3, [D0) D2] = 2D3, [Do, D3] = A - D2, [D1; D2] -

= -2{D0, D3}, [Di, D3] = -{Do, D,} + (n ~ ^ ~ 3) D0,

[D2,D3] = {D0,D2}-il^lfcllD0.

При n = 3 дополнительная образующая □ степени 2 лежит в центре алгебры и имеется дополнительное соотношение

^{Di, D2} — Di — + Q2.

В некомпактных случаях ситуация аналогична соответствующим компактным случаям.

Все эти алгебры содержат оператор Do первого порядка. Следующая теорема относится к его ядру и обобщает известный результат1 для пространства Н"(Ж).

Теорема 3.1 Пусть Q - двухточечно-однородное риманово пространство, a G - компонента связности единицы его группы изоме-трий. Для любого гладкого векторного поля v на Q определим функцию fv на пространстве Qs формулой:

fv(y)=g(v(xU) = (v{xU),

где х 6 Q, д{•, •) = (-, •) - риманова метрика на Q, £ 6 TXQ, (£,£) = 1, у = Е Qs- Для любого элемента X € 0 обозначим через X соответствующее киллингово векторное поле на Q. Тогда тождество Dofv = 0 на Qs эквивалентно равенству v = X для некоторого X £ д.

'Reimann Н.М. Invariant differential operators in hyperbolic space, Comment. Math. Helvetia, V. 57 (1982), pp. 412-444.

Глава 4 содержит основные факты, относящиеся к гамильтоновым динамическим системам с симметриями и соответствию между кван-товомеханическими и классическими системами. В частности, тут обсуждается некоммутативная интегрируемость и отображение момента. Построен важный для дальнейшего симплектоморфизм между приведенным фазовым пространством для гамильтоновой системы на кока-сательном расслоении однородного многообразия и некоторым фактор-пространством орбиты коприсоединенного действия соответствующей группы Ли.

Пусть б - группа Ли с алгеброй Ли д. Хорошо известно, что приведенное фазовое пространство для кокасательного расслоения Т*(? сим-плектоморфно орбите коприсоединенного действия группы С. Автором получено обобщение этого результата для однородного пространства О/К, где К - подгруппа группы <2 с алгеброй Ли £ С д.

Пусть д* - пространство, сопряженное к д,

ц : Т^в/К) к» д*

- отображение момента, (3 £ 1т /х и Ор С д* - Ас^-орбита, содержащая точку (3.

Пусть

9р= {деС\ Ас£-,/?еаш11).

Предположение 4.2 Предположим, что Ор - гладкое подмногообразие группы О.

Очевидно, что это предположение является следствием следующего предположения, которое может быть легче проверено. Предположение 4.3 Орбита Ор коприсоединенного действия Ай*с группы (3 в д*, содержащая точку /3 е апп I, трансверсалъна к подпространству апп 6 С 0*.

Определим

О'р := П апп {

- инвариантное множество относительно Ас!^-действия. При выполнении предположения 4.2 оно является гладким подмногообразием в Ор.

Предположение 4.4 Предположим, что действие Ас1^ на многообразии О'р свободно и собственно.

Теорема 4.6 При выполнении предположений 4.2 и 4-4> приведенное пространство Мр, соответствующее значению ¡3 отображения

момента, симплектоморфно пространству Ор := О'р/ А&*к, симплек-тическая структура на котором индуцируется формой Кириллова на

Ор.

Глава 5 посвящена выводу явно симметричного единого выражения для двухчастичного гамильтониана на двухточечно-однородных пространствах через радиальный дифференциальный оператор и образующие алгебры инвариантных дифференциальных операторов на расслоении единичных сфер. Здесь получен следующий результат. Пусть

двухчастичный гамильтониан на пространстве <2 х <5, где У(р) - центральный потенциал, р - расстояние между частицами, а А; - оператор Лапласа-Бельтрами на г-ом сомножителе произведения О, х <3.

Теорема 5.1 Квантовомеханический двухточечный гамильтониан на компактном двухточечно-однородном пространстве <3 со связной группой изометрий С можно рассматривать как дифференциальный оператор на пространстве I х в вида

(1 + г2)1+^ д о ( г«+» д \ _ тга2 + то2/?2 8тК2г<ь+<ь дг° \(1 + г2)?-+»-1агУ 2тхт2112

{т1а-т2р){1 + г2)1+^+^ Г д_ г®4-® Д>

4т1Ш2Д2г«+й \дг' (1 + г2)^-+92

- ^ (£>8£>1 + ^,£>2 + 2£8£>3 + С,£)4 + ЛА + 2В,£>6) + У(г),

для С} = Р"(Н), 91 = 4п - 4, д2 = 3 и <2 = Р2(Са), <ц = 8, д2 = 7; (1 + г2)"+1 9 / г2""1 д \ тю2 + т2(б2 . _ ,2

втД2^1<9г ° V (1 + г2)""1 дг) 2т1т2П2 ( ^ + (т1а-тф){1 + г2)п+1 Г д_ г2""1 1 _ + 4т1Ш2Д2г2"-1 \<ЭГ'(1 + Г2)"

- ^ (ад + № + 2£5£>з + + ЛЯ2 + Я5}) + У(г),

для д = Р"(С);

(1 + г2)" д ( г"-1 т\а2 + т2(32 2

8тЛ2г"-19г ° \ (1 + г2)"-2 <Эг^ 2тхт2В? 0

(тха - т2/3)(1 + г2)" / 5 г^Д

4т1т2Д2Г"-! \ <Эг' (I + г2)

Ч-

п-1 ]

- ^ (ад + А&г + 2ад) + У(г),

для(Э = Рп{Ж), 8п,п^3 и

н = (! + г2)2 9 о / (7тца-т2/?)(1 + г2)2 Г гР0

8тГРг \ Эг/ 4т\т2В?г \3г'1+г2

" - 5 ^+^ + +

для я = Р2(1), Б2.

Здесь гп := 7X117712 причем I = (0,1) в случае <3 = Р"(К) и / = ГП1 + т2

(0,оо) е остальных случаях, а, /3 6 (0,1), а + /3 = 1. Коэффициенты А3) Вц, Сц., Д), К;, Е3 определяются формулами:

1 + г2

£>5 = т т Д2Г2 (т1 зт2(ааг^г) + т2зт (/?аг<^г)), 1 + г2

^ = т т Д2Г2 (т1 соэ2(о;аг^г) + т2соз (/Зап^г)), 1 + г2

Ее = 2т т2д2г2 (т1 ^М2«* агс^ г) - т2 вт(2/3 акй® г)), (1 _(_ г2\2

С5 = т Д2Г2 (т181п2(2аагй§г) + 77г28т2(2/3аг^г)),

Ц г2\2

— -г-^го (т1 соз2(2аагс1кг) + т2соз2(2/?агс1Ег)),

4т1гп2п*гг

(1 + г2)2

Ве = ^ (ш1зт(4ааг^г) - т2зт(4/3 аг^г)).

Область определения оператора Н плотна в пространстве

с2 (i х С, кь к) = с2 (/, и) ® £2 (<?, ЛГ0, Мс),

состоящем из всех квадратично интегрируемых К^-инвариантных функций на пространстве 1x0, относительно меры р2 = и ® Мб и правых Ко-сдвигов. Здесь и = г91+9»<*г/(1 + г2)1+^+», а ца - биинва-риантная мера на группе С?.

Аналогичные выражения получены для двухчастичного гамильтониана на некомпактных пространствах.

В главе 6 рассматривается задача о движении одной частицы в центральном поле на двухточечно-однородных пространствах. В §6.1

(6)

доказывается ее некоммутативная интегрируемость для двухточечно-однородных пространств, отличных от пространств постоянной кривизны. Для пространств постоянной кривизны приводятся более детальные результаты в классическом и квантовомеханическом случаях, которые используются далее при исследовании двухчастичной задачи.

Полученное в главе 5 выражение для двухчастичного гамильтониана в начале главы 7 преобразуется в функцию Гамильтона классической механической системы двух частиц на двухточечно-однородных пространствах, также имеющую явно инвариантный вид. Отметим, что задача двух тел на двухточечно-однородных пространствах, перечисленных выше, достигает максимальной общности при п = 3.

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

Qcp ■= ((х,у) £ Q х Q| dist(х,у) = diamQ),

мы получаем пространство

Qess := Q\(diagUQop) = I х (G/K0).

Пусть M :— T*(Q х Q), Mess T*Qess. Для всех двухточечно-однородных пространств Q, кроме Pn(R), справедливо неравенство

dimE(Mess) - dimK(M\Mess) > 2,

поэтому для таких Q траектория общего положения задачи двух тел не пересекает M\Mess и многие свойства задачи двух тел на Q (например, интегрируемость и проблему столкновений) можно изучать рассматривая ее на пространстве Mess.

Классическая функция Гамильтона для задачи двух тел на двухточечно-однородном пространстве может быть получена заменой образующих некоммутативной фильтрованной алгебры DiSg{G/Ко) соответствующими им образующими градуированной алгебры

grDiffG(G/tf0).

Говоря неформально, эти алгебры имеют одни и те же образующие, соотношения для второй из них получаются опусканием членов низших

степеней в соотношениях для алгебры DiSg(G/Ko), а коммутаторы [•, •] переходят в скобки Пуассона [•, •]/>.

В силу результатов предыдущего раздела это дает следующие явно инвариантные выражения функций Гамильтона. Пространство Q = РП(Н).

_ (1 + г^ 2 (т\а — т2(3)(1 + г2) тг^ + гг^2 2 Л" 8тД2 Рг + 2т1т2& РтР°+ 2т1т2Д2 Ро + (7)

+ \ (Dspi + Fsp2 + 2EsP3 + CsP4 + AsPb + 2BsPg) + V(r),

где po,... ,рю - образующие пуассоновой алгебры grDiff<j(P"(]H[)15'), соответствующие образующим Dq,...,Dw алгебры Diffc(Pn(BI)s). Образующие ро,... ,рю связаны соотношениями

[P0,Pl]p = -РЗ, ¡Ро,Р2]р=Рз, [Ро,Рз]р = ^(Pl -Р2), ¡Ро,Р4]р = -2^6,

[РО;Рб]р = 2р6, [Р0,Рб]р = Р4 - Р5. [РО, Pl\p = —PS, [P0,Ps]p = Pi, [Р0,Рэ]р = о, [ро,Рю]р = о, \рир2]р = -2рорз - 2р7, [рьрз]р = ~PoPi + + Р8, bbPi]p = 2pr, [pi,Рб]р = 0, [рьр6]я = P&i ЬьРт]р = РзРб -- Р1Р4 + Р9 + PlO, [рь Рв]р = -РЗР5 - Р1Р6, [Рь Рэ]р = -2РзР8 ~ "¿РХРЪ [рьрю]р = р6р8 - р5р7, [р2,рз]р = р0р2 + PS, [р2,р4]р = -2р7) Ьг,Р5]р = 0, ¡Р2,Рб]р = -р8> \P2,Pl]p = -РзРб +р2р4 ~ р9 ~ рю, [Р2> Рв]р = -РЗР5 + Р2Р6, [Р2,РЭ]Р = ~2рзР8 + 2р2р7, [Р2,Рю]р = ~РбР8 +

+ Р5Р7, [РЗ.Р4]р = 0, [р3,Р5]р = 2р8, Ьз,Рб]р = Pi 1 \P3,Pi]p - +

+ р2)рб, [рз,pe]p = -^(pi +Рг)Р5 +Рэ + Рю, Ьз,Рэ]р = ~(Р1 + Р2)Р8,

[РЗ>Рю]р =РбР7 -Р4Р8, [Р4>Р5]р = ~4Р0Р6, [Р4> Рб]р = ~2роР4, |>4, Р7]р = = (Pi - Р2)Р4, [P4i Рв]р = (Pi - Р2)Рб - 2р0Р7, [Р4,Рэ]р = 2(pi - р2)р7, [Р4,Рю]р = 0, [р5.Рб]р = 2р0Р5, \P5,Pl]p = 2РЗР6 + 2р0Р8, [Р5,Р8]р = 2р3р5,

[Р5,Р9]Р = 4РЗР8, [Р5,Рю]р = О, [Р6,Р7]Р = ^(Pl — Р2)Рб + РЗР4 + РоР7, [Рб,Рв]р = ^(РХ ~ Р2)РЬ + РЗР6 - Р0Р8, [Рб,Рэ]р = (Pi - Р2)Р8 + 2р3Р7, [Р6,Рю]р = О, [р7,Рв]р = ^(Pl ~ Р2)Р8 - РЗР7 - Ро(Р9 + Рю), [Р7,Р9]р = = (Pi-Р2)(Р9+Рю), b7,Pl0]p = ^(P2-Pl)P6~P0P6P7 + P0P4P8 +

+ ¿(pi - Рг)Р4Р5, [ps, Рэ]р = 2рз(рэ + Рю), bs,Pio]p = -P3PÍ +

+ РоРбРв - P0PbP7 + PzPiPbi Ьэ, Рю]р = (Р5Р7 - РбРв) (pi - Рг) + + 2рзР4Р8 - 2РЗР6Р7,

соотношением

Pío - Р4Р5Р9 - 2Р6Р7Р8 + РэРе + PiPs + PbP\ = О и, в случае п — 2, соотношением

Р1Р2 - Рз - Рэ = 0.

Элементы

с? = Ро + Pi + Р2 + Р4 + Рб, C'f = pip2 - Рз - рэ, 1 11 С? = 2 + + + i^1 ~ Р+ ^ + 4^4 ~ + + Рэ ~

- 2рм + ¿Po(Pl + Р2 + р4 + Рб) + |Ро

лежат в центре алгебры gr DiffG(P"(H)s). Пространство Q = Р2(Са).

Выражение для функции Гамильтона имеет вид (7). Образующие алгебры grDiffG(P2(Ca)s) суть ро, • • • ,рд- Соотношения теперь имеют вид:

[Po,Pi]p = -Рз, Ьо,Рг]р =Рз, Ьо,Рз]р = ¿(pi -Р2), \P0,Pí}p = — 2рб,

Ьо,Р5]р = 2р6, [ро,Рб]р = Р4 - Рб, Ьо,Р7]р = -Р8, [PO.Ps]p = Р7,

Ьо,Рэ]р = о, [рьРг]р = —2роРз - 2р7, [рърз]р = ~PoPi +Ps, [Р1,Р4]р =

= 2р7, [р1,рб]р = 0, [р1,Рб]р = Р8, bl,P7]p =Pl(P2 -Р4) -Рэ -

- РзРб - Рз, [Pl, Ps]p = -РЗР5 - Р1Р6, [рь Рэ]р = Р5Р7 - Р6Р8,

[Р2,Рз]р = Р0Р2 + Р8, Ь2,Р4]р = -2р7, [р2, Pb]p = 0, [р2,Рб]р = ~Р8,

[Р2,Р7]р = (Р4 - pi)p2 + Р9 - РзРб + Рз. [Р2,Рэ]р = Р2Р6 ~ РзР5,

[Р2,Рэ]р = Р6Р8 - Р5Р7, Ьз,Р4]р = 0, [рЗ,Рб]р = 2р8, Ьз,Рб]р = Ръ 1 1 [РЗ,Р7]р = (Pl + Р2)Р6, Ьз,Рз]р = Р1Р2 - ¿(Pl + Р2)Р5 - Р9 - Рз.

[РЗ,Р9]р =Р4Р8 -РбР7, [Р4, Рб]р = — 4роРб, [р4,Рб]р = -2Р0Р4, Ь4,Р7]р =

= (Pi - Рг)Р4, b4,Ps)p = (Pi -Рг)Рб - 2рор7, [Р4, Рэ]р = О,

Ь>,Рб]р = 2Р0РЬ, \Р5,Р7]р = 2р3р6 + 2р0р8, Ь>,Р8]р = 2р3р5, [Р5.Рэ]р = О, \Рб,Рт]р = gÍPi _ Рг)Рб + РзР4 + PtíPii [P6.Ps]p = ¿(Pi - Pi)Pb + РзРб -

- POPs, Ьб,Рэ]р = O, [P7,PS]P = ¿(Pl - P2ÍP& - PiPl + PoP9 + P0P3 -

- PoPlP2, Ь7,Рэ]р = ^{P2 - Pl)P4P5 + P0P6P7 - P0P4P8 + ^(Pl - Р2)Р6> be. Рэ]р = РЗРб - P0P6P8 - P3P4P5 + P0P5P7-

Элементы

cf = Ро + Pi + Р2 + Р4 + Р5, Cf = Р4Р5 - р1 - 2рэ

лежат в центре алгебры grDiífc(P2(Ca)5). Пространство Q = Р"(С).

(1 + г2)2 2 (;mia-m2/3)(l + r2) гща2 + m2/?2 2

^ = "выТ* +-Ъ^Ш-PrP0 + 2mim2B? +

+ i (Api + FsP2 + 2EsP3 + CsP\ + Asp¡ + 25sp4p5) + V(r).

Образующие алгебры gr Diff<3(Pn(C)s) суть po, ■ ■ ■ ,Ps,Pa- Соотношения между ними имеют вид

bo,Pi]p = -Рз, Ьо,Рг]р = Рз, Ьо,Рз]р = ^(Рг-Рг), [po,P4]p = ~Ps, Ьо,Рб]р = Pi) bo>Ра]р = 0, ЬьРг]р = -2рорз - 2рпр4, ЬьРз]р =

= -PoPl + PDP5, bl,P4]p = Ра, ЬьРб]р = о, bl,Pü]p = PlP4 - РзР5, Ьг.Рз]р = Р0Р2 +PDP5, Ьг,Р4]р = -PD, Ьг,Р5]р = 0, b2.Pü]p = Р2Р4 -

-P3P5, Ьз>Р4]р = о, Ьз.Р5]р = Ра, Ьз,рп]р = -¿(pi +Рг)Р5, \Р4,Рь]р = -Ро, bt,Pa]p = ¿(pi -Р2), b5,PD]p = Рз-

Дополнительное соотношение в случае п = 2 имеет вид

Р1Р2 - Рз - Ра = (8)

Элементы

С? = Ро + Pi + Р2 + PÍ + PÍ Cf = 2((р! - р2)р5 - 2рзр4 + 2р0ра), Cf = P1P2 - P¡ - Pq

лежат в центре алгебры grDiffG(Pn(C),s). Отметим, что ввиду (8) имеем С® = 0 при п = 2.

Пространства ф = Р"(М) и Б", п ^ 3.

, (1 + r2)2 2 (mia - m2ß)(l + г2) т^2 + m2ß2 2 k = ~&тВГРг +-^rf-^ + 2m,m2R2 Ро +

+ \ (CsPi + А,р2 + 2BsP3) + V{r).

(9)

Соотношения между образующими соответствующих пуассоновых алгебр имеют вид

¡Ро,Р1]р = -2рз, [Р0>Рг]р = 2р3, [р0,Рз]р = Р1 - Р2, \PuPi\p = ~4роРз, [Р1,Рз]р = ~2роРь \Р2,Рз]р = 2р0р2.

При п = 3 дополнительная образующая рп коммутирует со всеми остальными образующими. Дополнительное соотношение в случае п = 3 имеет вид р\р2 —р\ — ра = 0. Элементы

С!1 = р\ + Р1 + Р2, С? = Р1Р2 - Рз

являются центральными и при п = 3 справедливо равенство С|г = р^. Для пространств С? = Р2(М), Э2 имеем:

(1 + г2)2 2 (mia — m2ß)(l + г2) гща2 + m2ß2 2

k = "8^ВГРГ +-^rf-PrP0 + 2т1т2& Ро +

(10)

+ \ {CsPi + А*Р1 + 2BsPlP2) + У (г), где

[P0,Pl]p = -Р2, \Р0,Р2]р =Р1, \PhP2\p = -РоВ данном простейшем случае пуассонова алгебра gr DiffCj(G/A'o) изоморфна алгебре gri/(so(3)). В ней существует только один функционально независимый центральный элемент: Cf = р\ + р2 + р2. Пространство Q = Н"(И).

(1 - г2)2 2 (TOia-m2/?)(l- г2) _ ггца2 + m2ß2 _2 _ ~~8mR?~Pr -Ъ^В-РтР0+ 2mlm2B? Р*+ (п)

{DhPi + Fhp2 + 2 Ekp3 + Ckp4 + АнРь + 2Bkp6) + V(r).

Мы не приводим здесь соотношений между образующими ро,... ,рю пуассоновой алгебры grDiffG(Hn(H)s), аналогичных соотношениям в случае пространства Р"(Н). Элементы

Cf = PI + р1 - р2 + Р4 - Рь, Cf = Р1Р2 -р\~ Р9,

cf = - р2)(р4 - Ръ) + ^(й + р2)2 - Рз + |(р4 + Рь)2 -р1~Р9 +

1 1

+ 2рю + 2Ро(р1 -Р2+Р4- Ръ) + 4Р0

лежат в центре алгебры gr DiffG(Hn(H)s). Пространство Q — Н2(Са).

Выражение для функции Гамильтона имеет вид (11). Образующие алгебры grDiffc(H2(Ca)s) суть ро,... ,рд. Соотношения между данными образующими аналогичны соотношениям в случае пространства Р"(Н). Элементы

C1 = PO + Pl - Р2 + Р4 - Р51 Cf = pipb -pl~ 2рд

являются центральными. Пространство Q = НП(С).

, (1-^2)2 2 , (та - m2ß)(l ~ Г2) _ mia2 + m2ß2 _2 , Л = +-2^R2-PrP0 + +

+ \ [DhP 1 + Fhp2 + 2£Лр3 + Chpl + Ahp\ + 2ВДр5) + V(r).

Образующие алгебры gr Diffc(Hn(C)s) суть ро, • • • ,P5,Pg- Соотношения между ними имеют вид

[Po,Pi]p = Рз, [Ро,Рг]р = Рз, [й),Рз]р = ^(Pi + Р2), [P0,Pi]p = Pb,

[Р0,Р5]р = Р4, [P0,PD]P = 0, [рЬр2]р = — 2Р0РЗ - 2PQP4, [Р1,РЗ]Р =

- Р0Р1 - PDP5, [Р1,Р4]Р = -ра, [Pl,Ps]p = 0, [pi,pa]p = РзР5 - Р1Р4,

[р2,рз]р = Р0Р2 + РаРь, [Р2,Р4]р = -ра, \р2,рь]р = о, \р2,Ра]р = Р2Р4 -

-РЗР5, [РЗ,Р4]р = 0, [РЗ,Р5]Р = Ра, [P3,PD]P = ^(р2 - Pl)P5, [Р4>Рб]р = -Ро, [р4,Рп]р = ^(Pl +р2), [P5,PD]P=P3-

Дополнительное соотношение при п = 2 имеет вид р\р2—р\ —Ра = 0. Элементы

= р2о + й - й + Р\ ~ Р1 = 2((Р1 + - 2ЙР4 + 2р0р0),

СГ = Р1Р2 - р§ - Ра

лежат в центре алгебры gr (Н" (Н) 5). При п = 2 справедливо

—ср

равенство С3 = 0.

Пространство ф = Н"(М), п ^ 3.

(1-г2)2^2 ; (ш1а-т2/?)(1-г2)_ ^ | тща2 + т2Р2^

(12)

Н = + Х 'Ргр0 + Ъпхт2т П +

+ \ {Ch.Pi + Акр2 + 2Вкрз) + У(г).

Соотношения между образующими соответствующих пуассоновых алгебр имеют вид

[Ро,Р1]р = 2рз, \ро,Р2]р = 2р3, [р0,Рз]р = Р1 +Р2, [РьРг]/» = -4роЙ> [й,Рз]р = -2роръ \р2,Рз]р - 2рОР2.

Дополнительная образующая ра при п — 3 коммутирует со всеми остальными.

Дополнительное соотношение при п = 3 имеет вид р\р2—р3—рд = 0. Элементы

Л"51 , - - - - -2

-Р0+Р1 -Р2, С2 =Р1Р2-Рз

являются центральными и при п = 3 справедливо равенство С^ = рр. Для пространства <3 = Н2(К) имеем

(1-г2)2 2 (т\а — т2Р)(1 — г2) _ гщоР + тф2^ 8тЯ2 Рг+ 2тхт2Д2 + ггщт.Л2 Ро+ (13)

+ | {СьРг + Акр\ + 2БЛр!р2) + У(г),

где

[Р0,Р1]р = Р2. [Ро,Рг]р = Рь [РьРг]р = ~Ро-

Пуассонова алгебра grDiffG(G/^íГo) в этом случае изоморфна градуированной алгебре §г £/(зо(1,2)). В этой алгебре существует только один

функционально независимый центральный элемент Cf = Pq+P\— р\ и это простейший некомпактный случай.

Отметим, что пуассоновы алгебры gr Diff^G/Ä'o) Для всех ПР°" странств Q фиксированного кватернионного или комплексного типа при п ^ 3 изоморфны друг другу. Для вещественных пространств это справедливо начиная с п = 4 из-за наличия при п = 3 дополнительного элемента центра ри или рп- То же справедливо для гамиль-тоновых функций. Это соответствует тому, что задача двух тел на двухточечно-однородных пространствах достигает максимальной общности при п = 3.

В §7.3 доказано отсутствие столкновений частиц для некоторых потенциалов и начальных условий.

Теорема 7.1 Пусть потенциал V(r) является гладким при г > О, справедливы неравенства

V(r) ^ Ci(e) = const, У grad V(r)|| ^ C2(e) = const, Vr > e

и V = o(r~2) при r —>■ 0. Тогда столкновения частиц отсутствуют в следующих случаях (везде Ci = const):

1. Q — Pn(H), n > 3, Cf = C2> 0;

2. Q = P"(C), n ^ 3, Cf = c3> 0;

3. Q = Pn(R), S", n > 3, Cf = c2 > 0;

I Q = H"(H) :

(aj n ^ 3, Cf = C2 > 0;

(b) n>2, Cf = Ci<0;

(cj n ^ 2, Cf = 0 u {Pl +pi +p2 +pi + Ps)t=0 > 0;

5. Q = H"(C) :

(a) n > 3, Cf = c3 > 0;

(b) n > 2, Cf = С! < 0;

(c) n > 2, Cf = 0 u +pi +p2 + P4 + Ps)t=0 > 0;

6. Q = H"(R) :

(a) n>3, Cf = c2>0;

(b) n > 2, Cf = ci < 0;

(с) п>2, Cf-0 и (Ро + Рх + й){=0>0;

7. Q — Н2(Са) :

(a) Cf = С! < О;

(b) С? = 0 и (р20 + Pi + Р2+ Р2 + Р4 + p5)t=0> О-

Неформально, условия теоремы 7.1 означают, что на малых расстояниях относительное вращательное движение частиц превалирует над их относительным поступательным движением.

Найденное выражение для двухчастичной функции Гамильтона рассматривается в §7.4 с точки зрения проблемы центра масс для двухточечно-однородных пространств. Обсуждаются различные существующие определения центра масс для пространств постоянной кривизны. Показаны их недостатки по сравнению с определением центра масс в евклидовом пространстве.

В §7.5 для пространств S" и Н"(М) описаны и классифицированы приведенные классические двухчастичные системы.

Группа изометрий действует лишь на втором сомножителе фазового пространства Mess — T*Ix T*(G/Kq), поэтому для гамильтоновой редукции можно применить теорему 4.

Пространство S3. Для значения момента /3 в общем положении приведенное фазовое пространство имеет вид Mess — T*I х О, где многообразие О диффеоморфно S2. Однако, в силу известного разложения so (4) ~ so(3) ® so (3) для значений отображения момента вида /3 = (7,0) € 50*(3) © so*(3) и Р = (0,7) справедливо Mess ~ T*I, а соответствующие приведенные системы интегрируемы при любом центральном потенциале. Приведенной гамильтоновой функцией является функция (9), где 30(4)-инвариантные функции Ро,РъР2,Рз на О связаны соотношениями

Ро + Pi + Р2 = А» Р1Р2 -Рз = @2, 01,02 = const.

Пространство S2. Для ненулевого значения момента /3 € so*(3) приведенное фазовое пространство имеет тот же вид Mess ~ T*I х S2. В качестве приведенной гамильтоновой функции можно взять выражение (10), где ро + р\ + р\ = const.

Пространство Если движение не ограничено на Н2 С Н3, то приведенное фазовое пространство имеет вид Mess ~ T*I х О, где многообразие О диффеоморфно R2. Приведенной гамильтоновой

функцией является функция (12), где 80(1,3)-инвариантные функции Ро, Ръ р2, Рз на О связаны соотношениями

P0+Pl-P2 = Pu Plp2 ~ Рз = 02 Ф 0, /?Ь 02 = COnSt.

Пространство Н2. В данном случае приведенное фазовое пространство имеет вид Mess ~ T*I х О, где многообразие О является

адо0(1,2)~°рбитой в 0*(1,2), определяемой уравнением Po+Pi— Рг = с = const, т.е. полой двухполостного гиперболоида, однополостным гиперболоидом, конусом с выброшенной вершиной или началом координат. В качестве приведенной гамильтоновой функции можно взять выражение (13).

В §7.6 с помощью теории Моралеса-Рамиса доказана мероморфная неинтегрируемость комлексифицированной приведенной задачи двух тел на пространствах S2 и Н2(Е) с четырьмя центральными потенциалами взаимодействия.

Теорема 7.4 Для потенциалов

Vi(p) = VN(p) = -actg(|), ВД = atg(^),

вд = —v' = = at§2(4)'a * 0

sin(|) R

комплексифицированная гамилътонова система для приведенной задачи двух тел на S2 с ненулевым значением момента не допускает дополнительного мероморфного интеграла. Теорема 7.5 Для потенциалов

Vi{p) = VN(p) = -acth(|), ВД = ath(£),

Vs(p) =--v' v= = ath2(^)> a + 0

sh(|) R

комплексифицированная гамилътонова система для приведенной задачи двух тел на Н2 с моментом, соответствующим двухполост-ному гиперболоиду в о*(1,2), не допускает дополнительного мероморфного интеграла.

Ограничение случаем двумерной сферы и гиперболической плоскостью (а также случаем двухполостного гиперболоида в теореме 7.5) связано с тем, что при неравных массах частиц известна лишь одна явная траектория задачи двух тел, соответствующая их движению по

общей геодезической. Эта траектория реализуется лишь для значений отображения момента, соответствующих движению обеих частиц по S2 С S3 или Н2 С Н3 (в последнем случае значение момента должно соответствовать двухполостному гиперболоиду в о*(1,2)).

В главе 8 исследуется квантовомеханическая задача двух тел на двухточечно-однородных компактных пространствах.

Квантовомеханическая система считается квазиточно решаемой, если часть ее энергетических уровней и соотвествующие стационарные состояния известны в явном виде. Оказывается, что квантовомеханическая задача двух тел на сферах S" является квазиточно решаемой.

Положим в теореме 5.1 а = т^/(mj-Ьтг). Отметим, что Bs = О при т\ = rri2- Пусть фв £ £2(SO(n+1), SO(n — l),dfi) -общая собственная функция операторов D\,D2,D3 при п ^ 3 (только операторов Di,D2 при mi = шг) или D2, D\, {Di, D2} при п — 2 (только операторов D\, D\ при mi = тг).

Если мы будем искать решение стационарного уравнения Шредин-гера

Нф — Еф

в виде ф = /(г)фо, то мы получим для функции /(г) спектральное ОДУ второго порядка

п - 1 + (3 - п)г2 , 1 + (1 + г2)г 1 +

а, Ь, с > 0, 0 < г < оо, (14)

где коэффициенты а, Ь, с зависят от собственных значений операторов DI,D2,D3.

Условия принадлежности функции ф = ¡(г)фр области определения самосопряженного гамильтониана Н диктуют слабейшие из возможных асимптотики для f(r) при г —> 0 и г —+оо.

Для кулоновского и осцилляторного потенциалов уравнение (14) фуксово, причем для кулоновского потенциала оно имеет четыре особые точки (т.е. сводится к уравнению Гойна), а для осцилляторного всегда сводится к таковому заменой независимой переменной.

Известны условия приводимости уравнения Гойна рациональной заменой независимой переменной к гипергеометрическому.2

2Maier R.S. On reducing the Heun equation to the hypergeometric equation, J. Diff. Equations, V. 213

Для уравнения (14) эти условия сводятся к единственному равенству а = с. И собственные значения операторов А, £>2)-Оз, соответствующие общей собственной функции и равенству а = с, действительно существуют (см. ниже).

При а = с для кулоновского потенциала

получаем явные спектральные значения

Ек = - * + 1)-^ + 2а + Ь + - 2)2 + 32а) -

2ту

м * € N.

(^/(п - 2)2 + 32а + 2к-1)

а для осцилляторного потенциала

_ 2ДУг2 0 ~ (1 - г2)2

значения

Ек = ( (4* + 2 + >/С»» ~ 2)2 + 32а) 2 - (и - I)2 - 16а + 86 + 1) +

Для нахождения общих собственных функций операторов £>1, £>2, £>з определим операторы £>+, £>~, .Р, С равенствами

£,+ = 1 (£>1 _ В2) - 1Вз, £Г = 1 (£)х - Д) + ^ = ¡£>о, С = -£>о - £>1 - £>2-Они удовлетворяют коммутационным соотношениям [^,£>+] = 2£>+, = -2£>",

/Г] = + ^ + 1(п - 1)(п -

(15)

а С скалярный оператор (оператор Казимира) на каждом неприводимом представлении группы 30(п + 1).

(2005), рр. 171-203.

Показано, что при п ^ 4

С? (30(п + 1), ЭО(п — 1), с^) = ф с(/1,г2)^1А>

Л > /г

где _ целочисленные коэффициенты, выражаемые явной, но

громоздкой формулой Вейля для размерностей неприводимых представлений алгебры 5о(п + 1,С), а - прямые суммы одномерных собственных пространств оператора Р с собственными значениями

3 € £/!_/2 (¿2 - к,к ~ к + 2,... ,к - к - 2,к - к)-Точнее, в пространстве Ци[2 существует базис X] такой, что

= ¿Хл £>+х, = \{Э -к-к-п + 3)0* ~ + '2)Х3>2, (16) О'Хз = \(з+к+к + п- 3)0' + /1 + /2)Х;-2, (17)

где X; = о для ] £

Из этих формул выводится

Предложение 8.3. Существуют четыре серии общих собственных векторов операторов Ид, И 1,£>2 в пространстве

1. Б^хо = -СзХо = 0, £>1x0 = £>2Хо = ~к(к + п- 2)хо, к = к;

2. Р02(х1+Х-1) = -(Х1 + Х-1), Д2(Х1+Х-0 - -¿1(*1+п-2)(х1+Х-1)| А(Х1 + Х-1) = {-Я - (п - 4)/1 + п - 3) (XI + Х-0,

ЩХ1 + х-0 = I (/1 + ! -1) (XI - х-1), к = гг -1, /1 € N

5. ^(Х1-Х-1) = -(Х1-Х-1), А(х1-Х-1) = -к{к+п-2){Х1-Х-1), 02(хг ~ Х-0 = Н? - (п - + « - 3) (XI - Х-0, А(Х1 - Х-0 = -1 {к + 1 - I) (хх + Х-0- к = к -1, к е К;

^ £>о(Х2 - Х-г) = -4(хг - Х-г), А^Хг - Х-г) - -41 (¿х + | - §) Хо, А(Х2 - X—2) = ЩХ2 ~ Х-г) = (-1? - (п - 4)1г + п - 3) (хг - Х-г), к = к-2,к = 2,3,4,---

Только первый из этих векторов является собственным для оператора 1)з.

Для п = 2,3 справедливы аналогичные результаты с некоторыми отличиями, обусловленными тривиальностью группы БО(п — 1) при п = 2 и разложением во(4) = зо(3) ф 5о(3) при п = 3.

Первый и четвертый случаи предложения 8.3 соответствуют равенству а = с. В первом случае имеем

а = с = l\(l\ + п — 2)/8, b = 2а, Ii G Z+, массы частиц произвольны, а в четвертом

а = с = (l\ + (га - 4)Zi - п + 3)/8, Ь = + (n - 4)/j - п + 5)/4, Zi = 2,3,... , массы частиц одинаковы.

Это завершает доказательство квазиточнорешаемости квантовоме-ханической задачи двух тел на сферах.

В диссертации имеются также четыре приложения. Первое из них содержит технический материал, посвященный вычислению коммутационных соотношений для образующих алгебры инвариантных дифференциальных операторов на расслоении единичных сфер Qs над двухточечно-однородным пространством Q. Остальные три приложения содержат некоторые известные факты, собранные вместе для удобства ссылок. Во втором содержатся необходимые сведения о фуксовых дифференциальных уравнениях, в частности об уравнениях Римана и Гойна, используемые при явном решении спектральных задач. В третьем приложении собраны результаты, относящиеся к дифференциальной теории Галуа и используемые в §7.6. Четвертое приложение содержит основные факты, относящиеся к ортогональным комплексным алгебрам Ли и их конечномерным неприводимым представлениям, используемые в гл. 8.

Публикации автора по теме диссертации.

1. Щепетилов A.B. Некоторые квантово-механические задачи в пространстве Лобачевского, Теор. и мат. физика. Т. 109 (1996), с. 395-405.

2. Щепетилов A.B. Квантово-механическая задача двух тел с центральным взаимодействием на односвязных поверхностях постоянной кривизны, Теор. и мат. физика. Т. 118 (1999), с. 248-263.

3. Щепетилов A.B. Задача двух тел на пространствах постоянной кривизны. I. Связь гамильтониана с группой симметрии и редукция классической задачи, Теор. и мат. физика, Т. 124 (2000), с. 249-264.

4. Степанова И.Э., Щепетилов А.В. Задача двух тел на пространствах постоянной кривизны. И. Спектральные свойства гамильтониана, Теор. и мат. физика, т. 124 (2000), с. 481-489.

5. Щепетилов А.В. Редукция задачи двух тел с центральным взаимодействием на односвязных поверхностях постоянной кривизны, Фундаментальная и прикладная математика, Т. 6 (2000), № 1, с. 249-263.

6. Shchepetilov A.V. Reduction of the two-body problem with central interaction on simply connected spaces of constant sectional curvature, J. Phys. A: Math. Gen. V.31 (1998), pp. 6279-6291.

7. Shchepetilov A.V. Classical and quantum mechanical two-body problem with central interaction on simply connected spaces of constant sectional curvature, Reports on mathematical physics, V. 44 (1999), N. 1/2, pp. 191-198.

8. Shchepetilov A.V. Invariant treatment of the two-body problem with central interaction on simply connected spaces of constant sectional curvature, Reports on mathematical physics, V. 46 (2000), N. 1/2, pp. 245-252.

9. Shchepetilov A. "Invariant reduction of the two-body problem with central interaction on simply connected spaces of constant sectional curvature", In "Geometry, Integrability, and Quantization", pp. 229240, Eds. I. Mladenov and G. Naber, Coral Press, Sofia, Bulgaria, 2000.

10. Shchepetilov A.V. Algebras of invariant differential operators on unit sphere bundles over two-point homogeneous Riemannian spaces, J. Phys. A: Math. Gen., V. 36 (2003), pp. 7361-7396.

11. Shchepetilov A.V. Two-body problem on two-point homogeneous spaces, invariant differential operators and the mass centre concept, J. Geom. Phys., V. 48 (2003), pp. 245-274.

12. Shchepetilov A.V. A Comment on "Central potentials on spaces of constant curvature: The Kepler problem on the two-dimensional sphere S2 and the hyperbolic plane Я2" [J. Math. Phys. 46, 052702 (2005)], J. Math. Phys. V. 46 (2005), 114101.

13. Shchepetilov A.V. Two-body quantum mechanical problem on spheres, J. Phys. A: Math. Gen., V. 39 (2006), pp. 4011-4046;.

14. Shchepetilov A.V. Nonintegrability of the two-body problem in constant curvature spaces, J. Phys. A: Math. Gen. V. 39 (2006), pp. 57875806.

15. Shchepetilov A.V. Calculus and Mechanics on Two-Point Homogenous Riemannian Spaces. Lecture Notes in Physics , Vol. 707, Springer Verlag, 2006. (Русский перевод: Щепетилов A.B. Анализ и механика на двухточечно-однородных римановых пространствах. Москва-Ижевск: НИЦ "Регулярная и хаотическая динамика", Ижевский институт компьютерных исследований, 2008.)

Подписано к печати 1АП.П9 Тираж МО Заказ /3,4

Отпечатано в отделе оперативной печати физического факультета МГУ

 
Содержание диссертации автор исследовательской работы: доктора физико-математических наук, Щепетилов, Алексей Валерьевич

0.1 Введение.

0.2 Указатель обозначений и соглашений.

0.2.1 Множества.

0.2.2 Пространства.

0.2.3 Алгебры и группы.

0.2.4 Операции.

0.2.5 Разное.

1 Двухточечно-однородные римановы пространства

1.1 Классификация

1.2 Специальное разложение алгебры Ли инфинитезимальных изометрий двухточечно-однородных римановых пространств.

1.3 Модели классических компактных двухточечно-однородных римановых пространств.

1.3.1 Модель пространства Р"(Н).

1.3.2 Модель пространства РП(С).

1.3.3 Модели пространств Б", РП(Е) и НП(Е)

1.4 Модель проективной плоскости Кэли.

1.4.1 Алгебра Со.

1.4.2 Йорданова алгебра ЬзССа)

1.4.3 Октавная проективная плоскость Р2(Са).

2 Дифференциальные операторы на гладких многообразиях

2.1 Инвариантные дифференциальные операторы на группах Ли и однородных пространствах.

2.1.1 Основные обозначения.

2.1.2 Инвариантные дифференциальные операторы на группах Ли

2.1.3 Инвариантные дифференциальные операторы на однородных пространствах

2.1.4 Представление алгебры образующими и соотношениями

2.2 Оператор Лапласа-Бельтрами в подвижном репере.

2.3 Самосопряженность гамильтонианов.

2.3.1 Самосопряженность операторов в абстрактных гильбертовых пространствах

2.3.2 Самосопряженность операторов Шредингера на римановых пространствах

2.4 Общая схема квантовомеханической редукции.

3 Алгебры инвариантных дифференциальных операторов на расслоении единичных сфер над двухточечно-однородным римановым пространством

3.1 Инвариантные дифференциальные операторы на пространстве Qs.

3.2 Алгебры Diffj(Pn(H)s) и Diff/^^g).

3.2.1 Образующие алгебр Diff7(Pn(H)s) и Diff/(Hn(H)s).

3.2.2 Соотношения в алгебрах Diff/(Pn(H)s) и DifF/(Hn(H)s).

3.3 Алгебры DifF/(Pn(C)s) и Diff^H^C^).

3.3.1 Образующие алгебр Diff/(P"(C)S) и Diffj(H"(C)s).

3.3.2 Соотношения в алгебрах Diff7(Pn(C)s) и Diff/(Hn(C)s)

3.4 Алгебры Diff/(Pn(R)s), Diff7(

§) и Diff/(Hn(E)s).

3.4.1 Образующие алгебр Diff/(

§) и Diff/ÍH^RJs).

3.4.2 Соотношения в алгебрах Diff/(

§) и Diff/(Hn(E)s).

3.5 Алгебры Diffj(P2(Ca)s) и Diff/ÍH^C^s).

3.5.1 Образующие алгебр Diff/ (P2(Ca)s) и Diff7 (H2(Ca)s).

3.5.2 Соотношения в алгебрах Diff/ (P2(Ca)s) и Diffj (H2(Ca)s).

3.6 Ядро оператора Do

4 Гамильтоновы системы с симметрией и их редукция

4.1 Основные факты гамильтоновой механики.

4.2 Гамильтонова механика с симметриями.

4.2.1 Пуассонова структура на алгебре <S(g).

4.2.2 Пуассоново действие и отображение момента.

4.2.3 Некоммутативная интегрируемость и отображение момента

4.2.4 Метод гамильтоновой редукции.

4.3 Гамильтоновы системы на кокасательных расслоениях.

4.3.1 Каноническая симплектическая структура на кокасательных расслоениях

4.3.2 Инвариантные функции на кокасательных расслоениях.

4.3.3 Натуральные механические системы и деквантование.

4.3.4 Редукция кокасательного расслоения над однородным пространством

5 Двухточечный гамильтониан на двухточечно-однородных пространствах

5.1 Однородные подмногообразия в конфигурационном пространстве задачи двух тел.

5.2 Двухточечный гамильтониан на компактном двухточечно-однородном пространстве.

5.3 Двухточечный гамильтониан на некомпактном двухточечно-однородном пространстве

5.4 Связь двухточечного гамильтониана и алгебры Diffc(-Ms).

6 Материальная точка в центральном поле на двухточечно-однородных пространствах 134 6.1 Интегрируемость одночастичного движения в центральном поле на двухточечно-однородных пространствах.

6.1.1 Движение на пространствах Р2(Са), Р2(Н), Р2(С).

6.1.2 Движение на пространствах S2,P2(R) и H2(R).

6.2 Движение частицы в бертрановских потенциалах на пространствах постоянной кривизны

6.2.1 Задача Кеплера.

6.2.2 Изотропный осциллятор.

6.3 Квантовомеханическая одночастичная задача для бертрановских потенциалов в пространствах постоянной кривизны.

6.3.1 Гиперболический случай.

6.3.2 Сферический случай

7 Классическая механическая задача двух тел на двухточечно-однородных пространствах

7.1 Явно инвариантный вид гамильтоновой функции задачи двух тел на компактных двухточечно-однородных пространствах.

7.1.1 Кватернионный случай.

7.1.2 Октавный случай

7.1.3 Комплексный случай.

7.1.4 Вещественный случай.

7.2 Явно инвариантный вид гамильтоновой функции задачи двух тел на некомпактных двухточечно-однородных пространствах

7.2.1 Кватернионный случай.

7.2.2 Октавный случай

7.2.3 Комплексный случай.

7.2.4 Вещественный случай.

7.3 Динамика двухчастичной системы и проблема столкновения частиц

7.3.1 Проблема столкновения частиц.

7.3.2 О поиске нетривиальных интегралов движения.

7.4 Проблема центра масс на двухточечно-однородных пространствах

7.4.1 Существующие понятия центра масс на пространствах постоянной кривизны.

7.4.2 Связь существующих понятий центра масс с двухчастичной гамильтоновой функцией.

7.5 Гамильтонова редукция задачи двух тел на пространствах постоянной кривизны.

7.5.1 Гамильтонова редукция задачи двух тел на сферах.

7.5.2 Гамильтонова редукция задачи двух тел на пространствах Н2 и Ы

7.6 Неинтегрируемость приведенной задачи двух тел на пространствах S2 и H2(R).

7.6.1 Основной результат теории Моралеса-Рамиса.

7.6.2 Частные решения и уравнение в вариациях.

7.6.3 Ныотоноподобный потенциал

7.6.4 Осцилляторный потенциал.

7.6.5 Потенциалы V{9) = atg6> и V{9) = athd.

7.6.6 Потенциалы V{9) = -asin-1 в и V(9) = -ash-1 0.

7.6.7 Доказательство неинтегрируемости.

8 Квазиточнорешаемость задачи двух тел на сферах

8.1 Представления компактных групп Ли.

8.2 Общие собственные значения операторов для сфер в" и проективных пространств Р"(Е).

8.2.1 Случай п = 2к.

8.2.2 Случай п = 2к - 1.

8.3 Скалярные спектральные уравнения и некоторые энергетические уровни задачи двух тел

8.3.1 Кулоновский потенциал.

8.3.2 Осцилляторный потенциал.

А Вычисление коммутационных соотношений для алгебр инвариантных дифференциальных операторов

В Некоторые фуксовы дифференциальные уравнения

С Некоторые факты дифференциальной теории Галуа

О Ортогональные комплексные алгебры Ли и их представления

Б.1 Алгебра Ли <Вк.

Б.2 Алгебра Ли Юк.

Б.З Ограничения представлений алгебр и

Б.4 Доказательство двух разложений.

Предметный указатель

 
Введение диссертация по математике, на тему "Анализ и механика на двухточечно-однородных римановых пространствах"

Хорошо известно, что одним из базисных понятий геометрии являются пространства постоянной кривизны [26], давшие широкое поле для исследований. В результате были обнаружены многочисленные связи пространств постоянной кривизны с другими разделами математики, например, с интегрируемыми дифференциальными уравнениями в частных производных [116], [194], [222] и с интегрируемыми гамильтоновыми динамическими системами [64]. Геодезические потоки на компактных поверхностях постоянной отрицательной кривизны (рода большего единицы) являются полигоном для эрго-дической теории [3] (см. также [75] и библиографию там). Гиперболическое пространство Н3(Е) является пространством скоростей специальной теории относительности, а также совпадает с пространственноподобными сечениями простейших моделей общей теории относительности.

Задолго до возникновения общей теории относительности основоположники неевклидовой геометрии Лобачевский и Больяи сделали первые попытки перенесения ньютоновской механики на пространства постоянной отрицательной кривизны. Ими были предложены аналоги ньютоновского потенциала для этого пространства. В 1885 году в важной работе Киллинга [151] была подробно рассмотрена задача о движении материальной точки в ньютоновском потенциале на пространстве S3 и найдены аналоги трех законов Кеплера для этой задачи. В работах Либмана [159], [161] 1902 и 1905 годов результаты Киллинга были распространены на пространство Лобачевского, а в его же работе [160] 1903 года было доказано обобщение теоремы Бертрана на пространства S2 и Н2(М), т.е. существование на этих пространствах лишь двух потенциалов: Vc (куло-ноподобного) и V0 (осциллятоподобного), для которых все ограниченные траектории одночастичного движения замкнуты.

Однако эти результаты не получили широкой известности (см., впрочем, статью Домбровского и Зитербаха [120]) и неоднократно переоткрывались в ряде работ уже в последней четверти 20 и начале 21 веков: [113], [117], [135], [137], [153], [212].

Квантовомеханическая одночастичная спектральная задача для потенциала Vc на сфере S3 (задача Кулона) была решена Шредингером в 1940 году разработанным им методом факторизации операторов (ladder method) [87] и Стивенсоном в 1941 году традиционным путем анализа решений дифференциального уравнения [218] (см. также результат Инфельда 1941 года [138]). Инфельд и Шильд в 1945 году решили ту же задачу в пространстве Н3(М) [139] (см. также [40]). Отметим, что Шредингер, Стивенсон, Инфельд и Шильд не ссылались на работы Шеринга, Киллинга, Либмана и, видимо, не знали о них.

Нишино в 1972 году в работе [182] (см. также [136]) нашел все центральные потенциалы в пространствах постоянной кривизны, для которых классическая одночастичная задача имеет дополнительные интегралы, не зависящие от гамильтониана, квадратичные по импульсам и не сводящиеся к интегралам линейным по импульсам. Решением этой задачи оказались те же потенциалы Vc и Va. Он указал также, что соответствующие одночастичные системы являются аналогами изотропного гармонического осциллятора и задачи Кеплера в евклидовом пространстве и вычислил скобки Пуассона для интегралов движения. Однако, Нишино не рассматривал траектории этих систем и поэтому не обнаружил факт замкнутости всех ограниченных траекторий. Он не упомянул никого из своих предшественников, указанных выше.

В последние десятилетия усилился интерес к задачам классической и квантовой механики на пространствах постоянной кривизны.

Так, были вычислены дополнительные интегралы для классической и квантовой одночастичной задачи с потенциалами Vc и V0 на сфере S3 (Хигс [135], Курочкин, Отчик [52]) и в пространстве Н3(К) (Богуш, Курочкин, Отчик [11])- Спектральная одночастичная задача с потенциалами Vc и V0 в пространствах Sn, п ^ 3 была решена Лимоном в 1980 году в работе [157]. Разделение переменных для одночастичной кван-товомеханической задачи в пространствах S3 и H3(R) с потенциалом Vc обсуждалось Богушем, Отчиком и Редьковым в работе 1983 года [12] (см. также работу Отчика [63]).

Связь аналогов оператора Рунге-Ленца для одночастичной квантовомеханической задачи Кеплера в пространстве S3 с методом факторизации Шредингера обсуждалось Барутом и Вилсоном в [100]. В [99] Барут, Иномата и Юнкер решили спектральную одночастичную квантовомеханическую задачу для потенциала Vc на пространствах S3 и Н3(Е) с помощью функциональных интегралов.

В работах [62], [186] Отчик рассмотрел одночастичную квантовомеханическую задачу в поле двух произвольно расположенных кулоновских центров на сфере S3. Он нашел систему координат, в которой переменные разделяются, а соответствующие обыкновенные дифференциальные уравнения сводятся к уравнениям Гойна. Однако он не указал на работу Киллинга [151], содержащую аналогичный результат для классического случая.

В работах [31] Грановский, Жеданов и Луценко усовершенствовали алгебраический подход работ [11], [52], [135], [157] к одночастичным задачам для потенциалов Vc и Va в пространствах Sn и НП(Е).

В [51] Козлов и Федоров установили интегрируемость классического движения одной частицы по сфере S" в поле, создаваемом 2(п + 1) потенциалами V0 с центрами в точках

1,0,. ,0), (0,±1,0,. ,0),. ,(0,. , 0, ±1) для стандартной модели сферы S" в пространстве R"+1, заданной уравнением п

1>?=1. г=0

Разделение переменных для одночастичного оператора Шредингера и некоторых нецентральных потенциалов в пространствах S2 и Н2(М) изучалось Калнинсом, Миллером, Хакобьяном и Погосяном в работах [142], [143], [144]. Существующие в евклидовом пространстве преобразования Леви-Чивиты, Кустанхеймо-Штифеля и Гурвица, связывающие задачи Кулона-Кеплера и осциллятора, были обобщены на сферы некоторых размерностей в [145].

Интегрируемость одночастичного движения на сфере S2 в некоторых комбинациях ньютоновских и осцилляторных потенциалах была установлена Борисовым и Мамаевым в [108].

В книге [77], по-видимому, впервые упомянута (со ссылкой на Кугушева) двухчастичная классическая задача с центральным потенциалом на сфере S2, как пример га-мильтоновой динамической системы с неинволютивным набором интегралов. В статье [1] 1990 года рассмотрены совместные уровни интегралов этой задачи для произвольного потенциала V(p) такого, что V'(p) > 0. Однако, по мнению автора, результаты этой работы являются недостаточно обоснованными.

В евклидовом пространстве задача двух тел после отделения движения центра масс сводится к задаче о движении одной частицы в центральном поле. В пространствах постоянной кривизны в силу отсутствия преобразования Галилея это не так [197].

Данная задача является инвариантной относительно группы изометрий пространств постоянной кривизны. Однако данная группа недостаточно широка для обеспечения сама по себе интегрируемости в каком-либо смысле задачи двух тел. В работе автора [197] впервые проведена гамильтонова редукция двухчастичной классической задачи с центральным взаимодействием в пространствах постоянной кривизны к динамической системе с двумя степенями свободы и изучен вопрос о существовании ее решения на бесконечном временном интервале. Отметим, что работа автора [91], посвященная аналогичным вопросам в двумерном случае и сданная в печать в марте 1997 года, была опубликована лишь в 2000 году.1 В [89] автором впервые рассмотрена квантово-механическая задача двух тел с центральным взаимодействием на пространствах S2, H2(R), изучена самосопряженность соответствующих операторов Шредингера и найден ряд точных спектральных серий двухчастичной задачи на сфере S2 для некоторых центральных потенциалов.

В работе [150] Килин рассмотрел частные решения задачи двух тел с потенциалом Vc на пространствах S2 и H2(R) соответствующие движению обоих тел по окружностям с общим центром (так, что они все время остаются диаметрально противоположными относительно данного центра) и доказал устойчивость таких решений в линейном приближении (что не гарантирует настоящей устойчивости). Кроме этого им были исследованы точки относительного равновесия третьего "легкого" тела в поле создаваемом двумя "тяжелыми", совершающими указанное вращение. В работе [118] Чернойвана и Мамаева в том же году рассмотрена ограниченная классическая задача двух тел на пространствах S2 и H2(R) с потенциалом Vc, т.е. задача о движении легкого тела в поле тяжелого, движущегося по геодезической с постоянной скоростью. Проведено ее численное исследование методом сечений Пуанкаре, свидетельствующее о ее неинтегрируемости.

В 2001 и 2003 годах Зиглин доказал в работах [38] и [39] неинтегрируемость ограниченной задачи двух тел на сфере S2 с потенциалами Vc и V0 в классе мероморфных функций. Аналогичные результаты с меньшими ограничениями, справедливые также для ограниченной задачи двух тел на гиперболическом плоскости H2(R), были получены несколько позднее Мациевским и Прибыльской в [167]. В 2006 году'([205]) автор доказал мероморфную неинтегрируемость редуцированной задачи двух тел на пространствах S2 и H2(R) с потенциалами Vc и V0.

В 2003 году Вогуш, Курочкин и Отчик рассмотрели в работе [104] рассеяние на кулоновском потенциале в пространстве H3(R).

Естественно возникающая задача поиска центральных потенциалов, для которых задача о движении двух тел в пространствах постоянной кривизны все же интегрируема, остается нерешенной. Это связано с тем, что, несмотря на разнообразие методов теории интегрируемых систем, все они либо предназначены для искусственного построения интегрируемых задач, либо для выделения некоторых интегрируемых задач из большого класса динамических систем, либо для "объяснения" с новой точки зрения того, почему данная, ранее проинтегрированная система, является таковой. Для исследования вопроса об интегрируемости вновь возникшей конкретной гамильтоно-вой динамической системы, как правило, годятся лишь "старые" методы: численное построение сечений Пуанкаре, тест Пенлеве и "угадывание" дополнительных интегралов. Однако в нашей ситуации все они наталкиваются на значительные трудности.

1 Укажем альтернативное описание приведенной системы для задачи двух тел на S2, найденное в

109] Борисовым, Мамаевым и Килиным.

Численное построение сечений Пуанкаре возможно лишь для конкретного потенциала взаимодействия, и найти, таким образом, потенциал без удачной "догадки" невозможно. Тест Пенлеве (см., например, [224]) практически пригоден лишь для дифференциальных уравнений, разрешенных относительно старших производных, у которых правая часть имеет сравнительно простой, желательно полиномиальный, вид. Для задачи двух тел с центральным взаимодействием в пространствах постоянной кривизны это не так. Удачные "догадки", во-первых, обычно если появляются, то сразу, а во-вторых могут иметь место лишь в сравнительно простой ситуации. В противном случае обычно приходится ждать разработки изощренной техники, приспособленной для решения конкретного вопроса2.

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

Естественными пространствами для задачи двух тел являются двухточечно-однородные пространства. Для этих пространств расстояние между двумя точками является единственным инвариантом их расположения относительно действия группы изометрий. В частности, двухточечно-однородными пространствами являются одно-связные пространства постоянной кривизны и евклидово пространство3. Система двух частиц на этих пространствах имеет радиальную степень свободы и степени свободы, описываемые в терминах группы изометрий.

Однако запись двухчастичного гамильтониана в явно инвариантном виде, учитывающем данное деление степеней свободы на радиальную и групповые, является нетривиальной задачей, которая поэтапно решалась в работах автора [91], [197], [89], [90], пока наконец в [202] не было достигнуто единообразное описание для всех двухточечно-однородных пространств, на основе специального разложения алгебры Ли 0, соответствующей группе изометрий (?, в прямую сумму подпространств.

Данный подход основан на теории Хелгасона инвариантных дифференциальных операторов [84], [134]. Для квантовомеханического случая он приводит к выражению двухчастичного гамильтониана через радиальный дифференциальный оператор и образующие алгебры инвариантных дифференциальных операторов на расслоении единичных сфер над двухточечно-однородным пространством С^). Эти образующие, в свою очередь, полиномиально выражаются через базис алгебры д. Данное представление позволяет выделить несколько изолированных обыкновенных дифференциальных уравнений, соответствующих некоторым (но заведомо не всем) спектральным сериям задачи двух тел на компактных пространствах <2 для ряда потенциалов взаимодействия. Для кулоновского и осцилляторного потенциалов эти уравнения могут быть сведены к гипергеометрическому и поэтому решены в явном виде [204]. Такая возможность характеризует так называемые квазиточнорешаемые задачи [79], [80], [227].

Пользуясь соответствием между квантовомеханическим гамильтонианом и классической функцией Гамильтона, можно получить явно инвариантный вид последней. При этом образующие алгебры В1й7((35) заменяются образующими соответ

2 В качестве примера можно привести историю доказательства Великой Теоремы Ферма [67].

3В дальнейшем, говоря о двухточечно-однородном пространстве, мы будем иметь в виду произвольное двухточечно-однородное пространство, за исключением евклидова. ствующей градуированной алгебры grDiff^(Qs), которая изоморфна пуассоновой алгебре инвариантных функций на кокасателыюм расслоении Этот вид двухчастичной функции Гамильтона позволяет провести анализ проблемы центра масс на двухточечно-однородных пространствах [202] и сравнить между собой известные ранее подходы к этой проблеме [27], [124], [181], [192], [234]. Также данный вид удобен для анализа условий, при которых в задаче двух частиц отсутствуют столкновения на бесконечном интервале времени и для проведения гамильтоновой редукции, которая основывается, в данном случае, на симплектоморфизме из работы [90].

Заметим, что для исследования задачи двух тел на двухточечно-однородных пространствах потребовалось привлечь разнообразные дифференциально-геометрические, алгебраические и аналитические методы. При анализе общих ситуаций в диссертации используется бескоординатное описание рассматриваемых конструкций в терминах алгебры Ли соответствующей группы симметрий. Это связано с тем, что за рамками евклидового пространства, особенно в случаях большой размерности (например п), имеющаяся симметрия часто теряется в громоздких координатных вычислениях, которые становятся очень трудоемкими, и, зачастую, практически невыполнимыми даже с помощью систем компьютерной алгебры. В то же время, использование выражений через базисные элементы алгебры Ли позволяет отчасти сохранить за дифференциальными операторами вид многочлена с постоянными коэффициентами, правда от некоммутирующих переменных, упрощающий многие вычисления.

Работа носит теоретический характер. Ее результаты позволяют понять причины неинтегрируемости задачи двух тел на неплоских двухточечно-однородных пространствах с нетривиальными потенциалами общего вида. Вместе с тем, обнаружена квази-точнорешаемость квантовомеханической задачи двух тел на пространствах постоянной кривизны для кулоновского и осцилляторного потенциалов, что свидетельствует о ее близости к точно решаемым моделям.

Некоторые результаты, полученные автором при исследовании задачи двух тел на двухточечно-однородных пространствах, могут быть применены и к другим исследованиям в области геометрического анализа, квантовой и классической механики на многообразиях. К ним относятся: выражение оператора Лапласа-Бельтрами в подвижном репере и, в частности, через киллинговы векторные поля, описание редуцированного кокасательного расслоения однородного пространства в терминах орбит коприсоединенного действия соответствующей группы Ли, описание алгебры инвариантных дифференциальных операторов на расслоении единичных сфер <5$ над двухточечно-однородным пространством ф в терминах образующих и соотношений.

Апробация работы. Результаты, представленные в диссертации, докладывались на 30 Симпозиуме по математической физике (май, 1998 г., Торунь, Польша), 31 Симпозиуме по математической физике (май, 1999 г., Торунь, Польша), конференции "Геометрия, интегрируемость и квантование" (сентябрь 1999 г., Варна, Болгария), конференции "Методы неевклидовой геометрии в современной физике" (октябрь 2006 г., Минск, Беларусь), на семинаре кафедры дифференциальной геометрии и ее приложений механико-математического факультета МГУ (рук. академик РАН, проф. А.Т. Фоменко), семинаре по нелинейным дифференциальным уравнениям (рук. чл. корр. РАН, проф. И.А. Шишмарев) кафедры общей математики факультета вычислительной математики и кибернетики МГУ, на семинаре по математической теории распространения волн в Санкт-Петербургском отделении Математического института им. Стеклова (рук. д.ф.м.н., проф. В.М. Бабич), на семинаре по теории гравитации в Пермском государственном университете (рук. д.ф.м.н., проф. В.Ф. Панов), на семинарах кафедры математики физического факультета МГУ (рук. д.ф.м.н., проф. В.Ф. Бутузов).

По теме диссертации опубликовано 14 статей и одна монография.

Опишем структуру работы. В первых четырех главах развивается дифференциально-геометрический аппарат, служащий в дальнейшем для анализа задачи двух тел на двухточечно-однородных пространствах. В главе 1 дана классификация двухточечно-однородных пространств, приведены модели компактных двухточечно-однородных пространств, либо как подмногообразий евклидова пространства, либо как фактор-пространств таких подмногообразий, а также различные модели вещественных гиперболических пространств Н"(Е), п ^ 2. Далее описана связь между компактными и некомпактными двухточечно-однородными пространствами в терминах соответствующих алгебр Ли.

В главе 2 собраны необходимые сведения о дифференциальных операторах. Первый параграф содержит основы теории инвариантных дифференциальных операторов на однородных многообразиях. Во втором параграфе выводится выражение оператора Лапласа-Бельтрами в подвижном репере, в частности, состоящем из киллинго-вых векторных полей. В третьем параграфе сформулированы достаточные условия самосопряженности абстрактных операторов в гильбертовых пространствах и дифференциальных операторов на римановых пространствах, встречающихся в дальнейшем. В четвертом параграфе описана используемая далее общая схема редукции квантово-механических систем с симметриями.

В главе 3 находятся образующие и соотношения для алгебры инвариантных дифференциальных операторов на расслоении единичных сфер С^з над двухточечно-однородном пространством ф. Все эти системы образующих содержат оператор Д) первого порядка. Его ядро изучается в §3.6. Также найдены некоторые элементы центров данных алгебр.

Глава 4 содержит основные факты, относящиеся к гамильтоновым динамическим системам с симметриями и соответствию между квантовомеханическими и классическими системами. В частности, тут обсуждается некоммутативная интегрируемость и отображение момента. Построен важный для дальнейшего симплектоморфизм между приведенным фазовым пространством для гамильтоновой системы на кокасательном расслоении однородного многообразия и некоторым факторпространством орбиты ко-присоединенного действия соответствующей группы Ли.

Глава 5 посвящена выводу явно симметричного единого выражения для двухчастичного гамильтониана на двухточечно-однородных пространствах через радиальный дифференциальный оператор и образующие алгебры инвариантных дифференциальных операторов на расслоении единичных сфер.

В главе 6 рассматривается задача о движении одной частицы в центральном поле на двухточечно-однородных пространствах. В §6.1 доказывается ее некоммутативная интегрируемость. Для пространств постоянной кривизны приводятся более детальные результаты в классическом и квантовомеханическом случаях.

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

Полученное в главе 5 выражение для двухчастичного гамильтониана в начале главы 7 преобразуется в функцию Гамильтона классической механической системы двух частиц на двухточечно-однородных пространствах, также имеющую явно инвариантный вид. Проблема поиска нетривиальных интегралов движения для различных потенциалов обсуждается в §7.3. Там же доказано отсутствие столкновений частиц для некоторых потенциалов и начальных условий. Найденное выражение для двухчастичной функции Гамильтона рассматривается в §7.4 с точки зрения проблемы центра масс для двухточечно-однородных пространств. Обсуждаются различные существующие определения центра масс для пространств постоянной кривизны. Показаны их недостатки по сравнению с определением центра масс в евклидовом пространстве. В §7.5 для пространств S" и Н"(Е) описаны и классифицированы приведенные классические двухчастичные системы. В §7.6 доказана неинтегрируемость приведенной задачи двух тел на пространствах S2 и Н2(М) с четырьмя центральными потенциалами взаимодействия.

В главе 8 исследуется квантовомеханическая задача двух тел на двухточечно-однородных компактных пространствах. Показано, что некоторые ее бесконечные спектральные серии могут быть найдены из изолированных обыкновенных дифференциальных уравнений второго порядка. Все такие уравнения найдены для сфер S"; для кулоновского и осцилляторного потенциалов некоторые из этих уравнений сводятся к гипергеометрическому, из которого находятся явные спектральные серии. Таким образом, показана квазиточнорешаемость квантовомеханической задачи двух тел на сферах S" для потенциалов Vc и V0.

В диссертации имеются также четыре приложения. Первое из них содержит технический материал, посвященный вычислению коммутационных соотношений для образующих алгебры инвариантных дифференциальных операторов на расслоении единичных сфер Qs над двухточечно-однородном пространством Q. Во втором содержатся необходимые сведения о фуксовых дифференциальных уравнениях, в частности об уравнениях Римана и Гойна, используемые при явном решении спектральных задач. В третьем приложении собраны результаты, относящиеся к дифференциальной теории Галуа и используемые в §7.6. Четвертое приложение содержит основные факты, относящиеся к ортогональным комплексным алгебрам Ли и их конечномерным неприводимым представлениям.

Необходимые сведения из дифференциальной геометрии можно найти в [10], [26], [33], [48], [66], [83], [111], [114], [132]; касающиеся используемого в диссертации современного геометрического языка описания гамильтоновых систем в [6], [78], [111], [128], [169], [171], [216]; из теории групп Ли и их действий на различных пространствах в [2], [7], [17], [20], [44], [61], [65], [72], [84], [92], [133]; из функционального анализа в [43], [68], [122] и многих других книгах.

Библиография претендует на относительную полноту лишь касательно работ, посвященных механике одной и двух частиц на двухточечно-однородных пространствах, и, в частности, на односвязных пространствах постоянной кривизны, за исключением геодезических потоков. Отметим, что обзор, посвященный интегрируемости последних на различных римановых пространствах, содержится в [106].

На защиту выдвигаются следующие результаты.

1. Получено описание некоммутативных алгебр DifF/(Q5) инвариантных дифференциальных операторов на расслоении единичных сфер Qs над произвольным двухточечно-однородным пространством Q в терминах образующих и соотношений. Также найдены некоторые элементы центров данных алгебр.

2. Найдено описание приведенного фазового пространства для гамильтоновой системы на кокасательном расслоении однородного многообразия группы Ли через факторпространство орбиты коприсоединенного действия данной группы.

3. Получено явно инвариантное выражение для двухчастичного квантовомехани-ческого гамильтониана с центральным потенциалом на двухточечно-однородных пространствах через радиальный дифференциальный оператор и образующие алгебры а также аналогичное выражение для двухчастичной гамиль-тоновой функции.

4. Найдены достаточные условия отсутствия столкновений для классической задачи двух тел с центральным потенциалом на двухточечно-однородных пространствах.

5. Классифицированы приведенные гамильтоновы системы для классической задачи двух тел с центральным потенциалом на пространствах постоянной кривизны. Для ряда центральных потенциалов доказана мероморфная неинтегрируемость этих систем при некоторых значениях отображения момента.

6. Показано, что двухчастичная квантовомеханическая задача на сферах Б" с ку-лоновским и осцилляторным потенциалами является квазиточнорешаемой и получены в явном виде некоторые бесконечные серии ее энергетических уровней.

Автор выражает глубокую благодарность А.О. Старинцу и И.Э. Степановой, помощь которых на протяжении ряда лет значительно облегчила ему доступ к различным литературным источникам и понимание работ на немецком языке. Он благодарит А.И. Молева за советы, касающиеся теории представлений, А.Г. Сергеева за несколько полезных ссылок и П.В. Голубцова за Техническую помощь.

0.2 "Указатель обозначен 0.2.1 Множества

1. N - множество натуральных чисел,

2. - множество положительных вещественных чисел,

3. (а,., ш) - множество, состоящее из элементов а,., и

4. pt - одноточечное множество.

0.2.2 Пространства

1. С?{М,(1и) - гильбертово пространство измеримых квадратично интегрируемых по мере и комплексно-значных функций на многообразии М,

2. £20С(М, ¿и) - множество комплексно-значных функций на М, локально квадратично интегрируемых по мере

3. И'ДМ",^) 584

4. <3 - двухточечно-однородное рима-ново пространство, отличное от евклидова,

5. Мъ - расслоение единичных сфер над римановым пространством М,

6. М/(7 - факторпространство пространства М по отношению к действию группы С? на М,

7. 8рап(е15. , еп) - линейная оболочка элементов ех,. ,еп некоторого линейного пространства,

8.1/*- пространство дуальное к линейному пространству Ь

4 Числа после обозначений указывают номера страниц, на которых это обозначение определяется. й и соглашений

9. для подпространства V линейного пространства Ь подпространство апп I/ с Ь* является аннулятором Ь', т.е., аппЬ' {а <Е Ь*\ а{Ь') = 0).

0.2.3 Алгебры и группы

1. К - поле вещественных чисел,

2. С - поле комплексных чисел,

3. Н - алгебра кватернионов,

4. Са - алгебра октав (алгебра Кэли),

5. С°°(М) - алгебра бесконечно гладких вещественнозначных функций на гладком многообразии М,

6. С£°(М) - подалгебра алгебры С°°(М, С), состоящая из функций с компактным носителем,

7. Т{Т*М) - алгебра бесконечно гладких вещественных функций на ко-касательном расслоении Т*М многообразия М, полиномиальных на слоях,

8. С°°(М, С) - алгебра бесконечно гладких комплекснозначных функций на М,

9. С£°(М, С) - подалгебра алгебры С°°(М, С), состоящая из функций с компактным носителем,

10. Х(М) - бесконечномерная алгебра Ли гладких векторных полей на гладком многообразии М, также Х(М) является модулем над С°°(М),

11. и(д) - универсальная обертывающая алгебра для алгебры Ли д,

12. ЫЖ(С9, 1ШУГ((?), ЬКЛЖ(С0 ~ алгебры лево-, право- и биинвариант-ных дифференциальных операторов на группе Ли С? соответственно,

13. Diffg(M) - алгебра G-инвариантных дифференциальных операторов на G-однородном пространстве М,

14. LDiffA'(G) - алгебра G-левоинва-риантных и iir-правоинвариантных дифференциальных операторов на G, где К - подгруппа группы Ли G,

15. 0(1, п), Оо(1, п) 30,

16. Wjr(x) 100,

17. Sp(g) 101.

0.2.4 Операции

1. о - йорданово умножение в алгебре f)3(Ca); в остальных случаях обозначает композицию двух операций,

2. - производная Ли тензорного поля Т вдоль векторного поля

3. V - связность Леви-Чивиты на ри-мановом многообразии,

4. grad / - градиент функции / на ри-мановом многообразии,

5. adx - присоединенное действие элемента X из алгебры Ли,

6. Adq - присоединенное действие элемента q из группы Ли,

7. Ad* - коприсоединенное действие элемента q из группы Ли, 101

8. [А, В] - коммутатор в алгебрах, в частности, коммутатор векторных полей, как операторов, действующих на функции,

9. {Л, В} - антикоммутатор в алгебрах,

10. [ip, ф\р - скобки Пуассона функций <р и <ф на пуассоновом многообразии,

11. (•, •) - скалярное произведение,

12. imA - образ отображения А,

13. А-1 - обратное отображение (вообще говоря многозначное) для отображения А,

14. id - тождественное отображение,

15. 7г,- - различные проекции

7Г1 - проекция группы на ее однородное пространство 25, 26, 39, 107,

7Г2 - 47, з - 67, тг4 - 108,

7Г1,7Г2 - 121,

16. ¿7г и 7Г* - дифференциал отображения 7Г,

17. (¿7Г* - кодифференциал отображения

18. ® - прямая сумма линейных пространств, если не сказано иное,

19. КП0 - форма Киллинга алгебры Ли В

0.2.5 Разное

1. - мнимые единицы в алгебре кватернионов,

2. dimк - размерность чего-либо над полем К,

3. (гх : . : zn+-í) - однородные координаты точки проективного пространства,

4. - вещественная и мнимая части элемента из г £ С, Н, Са,

5. А \ В - разность множеств,

6. вутЬ И - символ дифференциального оператора В 113,

7. &1 - группа всех перестановок I элементов.

Если явно не сказано противное, то все многообразия, линейные пространства, алгебры и т.п. предполагаются вещественными; гладкие многообразия, кроме того, являются хаусдорфовыми, паракомпактными и удовлетворяют второй аксиоме счетности.

Группы Ли обозначаются прописными латинскими буквами, а их алгебры Ли -соответствующими строчными готическими буквами. Также строчными готическими буквами обозначаются и линейные подпространства алгебр Ли. Четыре серии простых классических комплексных алгебр Ли обозначаются прописными готическими буквами 21„, Ъп, £>п.

Для линейного пространства V мы не включаем единицу и, тем самым, элементы нулевой степени в тензорную алгебру Т(У). Аналогично обстоит дело с симметрической алгеброй 5(К) и универсальной обертывающей алгеброй и(д) алгебры Ли 0.

Если группа (7 действует в линейном пространстве V, то под термином ее инварианта в V понимается инвариантный многочлен с аргументами из V, т.е. инвариантный элемент из симметрической алгебры где V* дуальное пространство для V.

Скалярное произведение в комплексном и кватернионном линейных пространствах антилинейно по первому и линейно по второму аргументу. Кватернионное линейное пространство является правым относительно умножения на кватернионы.

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

Под многочленом от некоммутативных переменных понимается упорядоченный многочлен, т.е. каждый его моном является упорядоченным произведением.

 
Список источников диссертации и автореферата по математике, доктора физико-математических наук, Щепетилов, Алексей Валерьевич, Москва

1. Александров И.В. Топологический анализ гамильтоновой системы с некоммутативным полным набором интегралов, Вест. Моск. Ун-та, сер. 1, Матем. Механика, 1990, № 3, с. 13-18.

2. Альфорс JI. Преобразования Мёбиуса в многомерном пространстве. М.: Мир, 1986.

3. Аносов Д.В. Геодезические потоки на замкнутых римановых многообразиях отрицательной кривизны, Труды МИАН. Т. 90 (196.7), № 5, с. 1-210.

4. Аппель П.Э. Теоретическая механика. М.: ИЛ. 1960.

5. Арнольд В.И. Доказательство теоремы А.Н. Колмогорова о сохранении условно-периодических движений при малом изменении функции Гамильтона, Успехи матем. наук, Т. 18 (1963), вып. 5, с. 13-40.

6. Арнольд В.И. Математические методы классической механики. М.: Наука, 1989.

7. Барут А., Рончка Р. Теория представлений групп и ее приложения. М.: Мир, 1980.

8. Бейтмен Г., Эрдейи А. Высшие трансцендентные функции. В 3-х томах. М.: Наука, 1967.

9. Бессе А.Л. Многообразия с замкнутыми геодезическими. М.: Мир, 1981.

10. Бессе А.Л. Многообразия Эйнштейна. В 2-х томах. М.: Мир, 1990.

11. Богуш A.A., Курочкин Ю.А., Отчик B.C. О квантовомеханической задаче Кеплера в трехмерном пространстве Лобачевского, Доклады АН БССР, Т.24 (1980), с. 19-22.

12. Богуш A.A., Отчик B.C., Редьков В.М. Разделение переменных в уравнении Шредингера и нормированные функции состояний для задачи Кеплера в трехмерных пространствах постоянной кривизны, Известия АН БССР, № 3 (1983), с. 56-62.

13. Болсинов A.B., Йованович Б. Интегрируемые геодезические потоки на однородных пространствах, Математ. сборник, Т. 192 (2001), вып. 7, с. 21-40.

14. Борисов A.B., Мамаев И.С. Пуассоновы структуры и алгебры Ли в гамильтоновой механике. Ижевск: РХД, 1999.

15. Браверман М., Милатович О., Шубин М. Существенная самосопряженность операторов типа Шредингера на многообразиях, Успехи матем. наук, Т. 57 (2002), вып. 4, с. 3-58.

16. Браилов A.B. Полная интегрируемость некоторых геодезических потоков и интегрируемые системы с некоммутирующими интегралами, Докл. АН СССР, Т. 271 (1983), № 2, с. 273-276.

17. Бредон Г.Э. Введение в теорию компактных групп преобразований. М.: Наука, 1980.

18. Бурбаки Н. Группы и алгебры Ли. Группы Кокстера и системы Титса. Группы, порожденные отражениями. Системы корней. М.: Мир, 1972.

19. Вейль Г. Классические группы. Их инварианты и представления. М.: Госуд. издательство иностранной литературы, 1947.

20. Виленкин Н.Я. Специальные функции и теория представлений групп. М.: Наука, 1991.

21. Винберг Э.Б. Коммутативные однородные пространства и коизотропные сим-плектические действия, Успехи матем. наук, Т. 56 (2001), вып. 1, с. 3-62.

22. Винберг Э.Б. Курс алгебры. М. Факториал Пресс. 2002.

23. Винберг Э. Б., Онищик А. Л. Семинар по группам Ли и алгебраическим группам. М.: Наука, 1988.

24. Винберг Э. Б., Попов В. Л.Теория инвариантов, Итоги науки. Современные проблемы математики. Фундаментальные направления. Т. 55. С. 137-309. М.: ВИНИТИ, 1989.

25. Возмищева Т.Г., Ошемков A.A. Топологический анализ задачи двух центров на двумерной сфере, Матем. сборник, Т. 193 (2002), № 8, с. 3-38:

26. Вольф Дж. Пространства постоянной кривизны. М.: Наука, 1982.

27. Гальперин Г.А. О понятии центра масс системы материальных точек в пространствах постоянной кривизны, ДАН СССР, Т. 302 (1988), р. 1039-1044.

28. Гийемин В., Стернберг С. Геометрические асимптотики. М.: Мир, 1981.

29. Голубев В.В. Лекции по аналитической теории дифференциальных уравнений. М.: ГИТТЛ, 1950.

30. Гото М., Гроссханс Ф. Полупростые алгебры Ли, М.: Мир, 1981.

31. Грановский Я.И., Жеданов A.C., Луценко И.М. Квадратичные алгебры и динамика в искривленном пространстве I. Осциллятор, Теор. и мат. физика, Т.91 (1992), с. 207-216. II. Проблема Кеплера, с. 396-410.

32. Грей А. Трубки. Формула Вейля и ее обобщения. М.: Мир, 1993.

33. Громол Д., Клингенберг В., Мейер В. Риманова геометрия в целом. М.: Мир, 1971.

34. Диксмье Ж. Универсальные обертывающие алгебры, М.: Мир, 1978.

35. Дьедонне Ж. Основы современного анализа, М.: Мир, 1964.

36. Желобенко Д.П. Классические группы. Спектральный анализ конечномерных представлений, Успехи мат. наук, Т. 17 (1962), вып. 1, с. 27-120.

37. Желобенко Д.П. Компактные группы Ли и их представления, М.: Наука, 1970.

38. Зиглин С.Л. О неинтегрируемости ограниченной задачи двух тел на сфере, Доклады РАН, Т. 379 (2001), с. 477-478.

39. Каган В.Ф. Основания геометрии, Т. 2, М.: ГИТТЛ, 1956.

40. Капланский И. Введение в дифференциальную алгебру, Изд-во иностр. литературы, Москва, 1959.

41. Като Т. Теория возмущений линейных операторов. М.: Мир. 1972:

42. Кириллов A.A. Элементы теории представлений. М.: Наука, 1978.

43. Кириллов A.A. Инвариантные операторы над геометрическими величинами, В книге: Итоги науки и техники, Сер. Современные проблемы математики. Т. 16, 1980, с. 3-29.

44. Клейн Ф. Неевклидова геометрия. М.-Л., Гостехиздат, 1936.

45. Клингенберг В. Лекции о замкнутых геодезических. М.: Мир. 1982.

46. Кобаяси Ш., Номидзу К. Основы дифференциальной геометрии. Т. 1, 2. М.: Наука, 1981.

47. Коддингтон Э.А., Левинсон Н. Теория обыкновенных дифференциальных уравнений, М.: Изд-во иностр. литературы, 1958.

48. Козлов В.В. О динамике в пространствах постоянной кривизны, Вест. МГУ. Сер. 1, матем., механ., 1994, № 2, с. 28-35.

49. Козлов В.В., Федоров Ю.Н. Интегрируемые системы на сфере с потенциалами упругого взаимодействия, Мат. заметки, Т. 56 (1994), № 3, с. 74-79.

50. Курочкин Ю.А., Отчик B.C. Аналог вектора Рунге-Ленца и спектр энергий в задаче Кеплера на трехмерной сфере, Доклады АН БССР, Т. 23 (1979), с. 987990.

51. Ландау Л.Д., Лнфшиц Е.М. Квантовая механика. Нерелятивистская теория. М.: Наука, 1989.

52. Лобачевский Н.И. Новые начала геометрии с новой теорией параллельных, 18351838, в кн. Лобачевский Н.И. Полное собрание сочинений. Т. 2, 1949, с.159.

53. Лоос О.О. Симметрические пространства. М.: Наука, 1985.

54. Микитюк И.В. Об интегрируемости инвариантных гамильтоновых систем с однородными конфигурационными пространствами, Матем. сборник, Т. 129 (1986), вып. 4, стр. 514-534.

55. Мищенко A.C., Фоменко А.Т. Обобщенный метод Лиувилля интегрирования гамильтоновых систем, Функцион. анализ и его приложения, Т. 12 (1978), вып. 2, с. 46-56.

56. Мордухай-Болтовский Д. Про деяк! задач! небесно! мехашки в не-Евклщовому npocTopi, Журнал математичного циклу АН УССР, Т. 2 (1932), № 1, с. 47-70.

57. Олейник И.М. О существенной самосопряженности оператора Шредингера на полных римановых многообразиях, Матем. заметки, Т. 54 (1993), вып. 3, с. 8997.

58. Олейник И.М. О связи классической и квантовомеханической полноты потенциала на бесконечности на полном римановом многообразии, Матем. заметки, Т. 55 (1994), вып. 4, с. 65-73.

59. Онищик А. Л. Топология транзитивных групп преобразований. М.: Наука, 1995.

60. Отчик B.C. Симметрия и разделение переменных в задаче двух кулоновских центров в трехмерных пространствах постоянной кривизны, Докл. АН БССР, Т. 35 (1991), с. 420-424.

61. Отчик B.C. О связи сферического и параболического базисов в квантовомеханической задаче Кеплера в пространстве Лобачевского, Весщ АН Беларуй, сер. ф1з.-мат. навук, 1999, №. 4, с. 67-72.

62. Переломов A.M. Интегрируемые системы классической механики и алгебры Ли. М.: Наука, 1990.

63. Постников-М.М. Группы и алгебры Ли. М.: Наука, 1982.

64. Постников М.М. Гладкие многообразия. М.: Наука, 1987.

65. Рибенбойм П. Последняя теорема Ферма для любителей. М.: Мир. 2003.

66. Рид М., Саймон Б. Методы современной математической физики. Т. 1. Функциональный анализ. М.: Мир, 1977.

67. Рид М., Саймон Б. Методы современной математической физики, Т. 2. Гармонический анализ. Самосопряженность. М.: Мир, 1978.

68. Розенфельд Б.А., Замаховский М.П. Геометрия групп Ли. М: МЦНМО, 2003.

69. Cariñena J., Rañada M.F., Santander M. Central potentials on spaces of constant curvature: The Kepler problem on the two-dimensional sphere S2 and the hyperbolic plane H2, J. Math. Phys. 46 (2005), 052702.

70. Donnelly H., Garofalo N. Schrödinger operators on manifolds, essential self-adjointness, and absence of eigenvalues, Journal of Geom. Anal., V. 7 (1997), pp. 241257.

71. Faris W. Self-adjoint operators, Lecture Notes in Math., V. 433, Springer, New York, 1975.

72. Puchs L. Zur Theorie der linearen Differentialgleichungen mit veränderlichen Coeffi-cienten, J. Reine Angew. Math., Bd. 66 (1866), S. 121-160; Bd. 68 (1868), S. 354-385.

73. Galperin G.A. A concept of the mass center of a system of material points in the constant curvature spaces, Comm. Math. Phys., V. 154 (1993), pp. 63-84.

74. Gelbart S.S. A theory of Stiefel harmonics, Trans, of AMS, V. 192 (1974), pp. 29-50.

75. Gordon W.B. On the relation between period and energy in periodic dynamical systems, J. Math, and Mech., V. 19 (1969), pp. 111-114.

76. Gotay M.J. Constraints, reduction, and quantization, J. Math. Phys., V. 27 (1986), no. 8, pp. 2051-2066.

77. Guillemin V., Sternberg S. Symplectic techniques in physics. Cambridge. Cambridge Univ. Press. 1984.

78. Gutzwiller M.C. Chaos in classical and quantum mechanics. Springer, New York, 1992.

79. Heath R.S. On the dynamics of a rigid body in elliptic space, Phil. Transactions of the Royal Soc. of London, V. 175 (1884), pp. 281-324.

80. Helgason S. Differential operators on homogeneous spaces, Acta Math., V.109 (1959), pp. 239-299.

81. Helgason S. The surjectivity of invariant differential operators on symmmetric spaces, Ann. of Math. V.98 (1973), pp. 451-480.

82. Helgason S. Differential geometry, Lie groups, and symmetric spaces. Acad. Press, N.Y., 1978.

83. Helgason S. Geometric analysis on symmetric spaces, AMS, Providence, 1994. .

84. Higgs P.W. Dynamical symmetries in a spherical geometry I, J. Phys. A. Math. Gen., V. 12 (1979), pp. 309-323.

85. Ikeda M., Nishino Y. On classical dynamical systems admitting the maximum number of linearly independent first integrals, Math. Japon., V. 17 (1972), pp. 69-78.

86. Ikeda M., Katayama N. On generalization of Bertrand's theorem to spaces of constant curvature, Tensor, V. 38 (1982), pp. 37-40.

87. Infeld L. On the new treatment of some eigenvalue problems, Phys. Rev. V. 59 (1941), pp. 737-747.

88. Infeld L., Schild A. A note on the Kepler problem in a space of constant negative curvature, Phys. Rev. V. 67 (1945), pp. 121-122.

89. Iwai T., Hirose T. The reduction of quantum systems of three identical particles on a plane, J. Math. Phys., V. 43 (2002), pp. 2907-2926.

90. Iwai T., Hirose T. Reduction of quantum systems with symmetry, continuous and discrete, J. Math. Phys., V. 43 (2002), pp. 2927-2947.

91. Kalnins E.G., Miller W., Pogosyan G.S. Superintegrability and associated polynimial solutions. Euclidean space and the sphere in two dimensions, J. Math. Phys., V. 37 (1996), pp. 6439-6467.

92. Kalnins E.G., Miller W., Pogosyan G.S. Superintegrability in the two-dimensional hyperboloid, J. Math. Phys., V. 38 (1997), pp. 5416-5433.

93. Kalnins E.G., Miller W., Hakobyan Ye.M., Pogosyan G.S. Superintegrability in the two-dimensional hyperboloid II, J. Math. Phys., V. 40 (1999), pp. 2291-2306.

94. Kalnins E.G., Miller W., Pogosyan G.S., Coulomb-oscillator duality in spaces of constant curvature, J. Math. Phys., V. 41 (2000), pp. 2629-2657.

95. Katayama N. A note on the Kepler problem in a space of constant curvature, Nuovo Cimento, V. 105 B (1990), pp. 113-119; Corrigendum: p. 707.

96. Katayama N. A note on a quantum-mechanical harmonic oscillator in a space of constant curvature, Nuovo Cimento, V. 107 B (1992), pp. 763-768.

97. Katayama N. On generalized Runge-Lenz vector and conserved symmetric tensor for central-potential systems with a monopole field on spaces of constant curvature, Nuovo Cimento, V. 108 B (1993), pp. 657-667.

98. Katayama N., Matsushita Y. A problem on closed orbits in a cosmological model, Tensor, V. 42 (1985), pp. 173-178.

99. Kilin A.A. Libration points in spaces S2 and L2, Regular and chaotic dynamics, V.4 (1999), no. 1, pp. 91-104.

100. Killing W. Die mechanik in den nicht-Euklidischen raumformen, J. Reine Angew. Math., Bd. 98 (1885), S. 1-48.

101. Kovacic J.J. An algorithm for solving second order linear homogeneos differential equations, J. Symbolic Comput., V. 2 (1986), pp. 3-43.

102. Kozlov V.V., Harin A.O. Keplers problem in constant curvature spaces, Ce-lest. Mech. and Dynam. Astron. V. 54 (1992), pp. 393-399.

103. Kuiken K. Heun's equation and the hyperbolic equation, SIAM J. Math. Anal., V. 10 (1979), pp. 655-657.

104. Kummer M. On the construction of the reduced phase space of a Hamiltonian system with symmetry, Indiana Univ. Math. J., V. 30 (1973), pp. 281-291.

105. Landsman N.P. Rieffel induction as generalized quantum Marsden-Weinstein reduction, J. Geom. Phys., V. 15 (1995), pp. 285-319.

106. Leemon H.I. Dynamical symmetries in a spherical geometry II, J. Phys. A. Math. Gen., V. 12 (1979), pp. 489-501.

107. Levin D.A. Systems of singular integral operators on spheres, Trans, of AMS, V. 144 (1969), pp. 493-522.

108. Liebmann H. Die Kegelschnitte und die Planetenbewegung im nichteuklidischen Raum, Berichte der Königl. Sächsischen Gesellschaft der Wissenschaft, Math. Phys. Klasse, Bd. 54 (1902), S. 393-423.

109. Liebmann H. Uber die Zentralbewegung in der nichteuklidische Geometrie, Berichte der Königl. Sächsischen Gesellschaft der Wissenschaft, Math. Phys. Klasse, Bd. 55 (1903), S. 146-153.

110. Liebmann H. Nichteuklidische geometrie. G.J. Göschen, Leipzig, 1905; 2-nd ed. 1912; 3-rd ed. Walter de Gruyter, Berlin, Leipzig, 1923.

111. Lim C.C. Relative equilibria of symmetric n-body problems on a sphere: inverse and direct results, Comm. Pure Appl. Math., V. 51 (1998), pp. 341-442.

112. Lipschitz R. Forgesetzte Untersuchungen in Betreff der ganzen homogenen Funktionen von n-Differentialen, J. Reine Angew. Math., Bd. 72 (1870), S. 1-56.

113. Lipschitz R. Untersuchungen eines Problems der Variationsrechnung, in welchem das Problem der Mechanik enthalten ist, J. Reine Angew. Math., Bd. 74 (1872), S. 116149.

114. Lipschitz R. Extension of the planet-problem to a space of n dimensions and constant integral curvature, The Quaterly Journal of pure and applied mathematics, V. 12 (1873), pp. 349-370.

115. Maciejewski A.J., Strelcyn J.-M., Szydlowski M. Nonintegrability of Bianchi VIII Hamiltonian system, J. Math. Phys., V. 42 (2001), pp. 1728-1743.

116. Maciejewski A.J., Przybylska M. Non-integrability of restricted two body problem in constant curvature spaces, Reg. Chaot. Dyn., V. 8 (2003), pp. 413-430.

117. Maier R.S. On reducing the Heun equation to the hypergeometric equation, J. Diff. Equations, V. 213 (2005), pp. 171-203; also available at math.CA/0203264.

118. Marsden J.E. Lectures on Mechanics. London Mathematical Society Lecture Note Series, V.174, Cambridge Univ. Press. 1992.

119. Marsden J., Perlmutter M. The orbit bundle picture of cotangent bundle reduction, C.R. Math. Rep. Acad. Sei. Canada, V. 22 (2000), pp. 33-54.

120. Marsden J., Ratiu T.S. Introduction to mechanics and symmetry. A basic exposition of classical mechanical systems. Springer-Verlag. Berlin. 1994.

121. Marsden J., Weinstein A. Reduction of manifolds with symmetry, Rep. Math. Phys. V. 5 (1974), pp. 121-130.

122. Matsumoto H. Quelques remarques sur les espaces Riemanniens isotropes, C. R. Acad. Sei. Paris, V. 272 (1971), pp. 316-319.

123. McKean H.P. An upper bound to the spectrum of A on a manifold of negative curvature, J. Diff. Geom., V. 4 (1970), pp. 359-366.

124. Milatovic O. Self-adjointness of Schrödinger-type operators with singular potentials on manifolds of bounded geometry, Electronic Journal of Differential Equations, V. 2003 (2003), no. 64, pp. 1-8. URL: http://www.ma.hw.ac.uk/EJDE/index.html

125. Milatovic O. The form sum and the Friedrichs extension of Schrödinger-type operators on Riemannian manifolds, Proceedings of the AMS, V. 132 (2004), pp. 147-156.

126. Molev A. I. A weight basis for representations of even orthogonal Lie algebras, Adv. Studies in Pure Math., V. 28 (2000), pp. 223-242, math.RT/9902060.

127. Molev A. I. Weight bases of Gelfand-Tsetlin type for representations of classical Lie algebras, J. Phys. A: Math. Gen., V. 33 (2000), pp. 4143-4158, math.QA/9909034.

128. Morales-Ruiz J.J. Differential Galois theory and nonintegrability of Hamiltonian systems, Birkhäuser Verlag, Basel, 1999.

129. Nagy P. Dynamical invariants of rigid motions on the hyperbolic plane, Geometriae Dedicata, V. 37 (1991), pp. 125-139.

130. Nishino Y. On quadratic first integrals in the central potential problem for the configuration space of constant curvature, Math. Japon., V. 17 (1972), pp. 59-67.

131. Neumann C. Ausdehnung der Keppler'shchen Gesetze auf der Fall, dass die Bewegung auf einer Kugelfläche stattfindet, Berichte der Königl. Sächsischen Gesellschaft der Wissenschaft, Math. Phys. Klasse, Bd. 38 (1886), S. 1-2.

132. Oleinik I.M. On the essential self-adjointness of the general second order elliptic operators, Proceedings of AMS, V. 127 (1999), pp. 889-900.

133. Ortega J.-P., Ratiu T.S. Momentum map and Hamiltonian reduction, Progress in mathematics, V. 222, Birkhäuser, 2004.

134. Otchik V.S. On the two Coulomb centres problem in a spherical geometry, Proceedings of the international workshop on symmetry methods in physics, Dubna, Russia, 1994, pp. 384-388.

135. Painlevé P. Leçons sur la théorie analytic des equations différentielles, Hermann, Paris, 1897.

136. Shchepetilov A.V. A Comment on "Central potentials on spaces of constant curvature: The Kepler problem on the two-dimensional sphere S2 and the hyperbolic plane H2" J. Math. Phys. 46, 052702 (2005)], J. Math. Phys. V. 46 (2005), 114101.

137. Shchepetilov A.V. Two-body quantum mechanical problem on spheres, J. Phys. A: Math. Gen., V. 39 (2006), pp. 4011-4046; math-ph/0507059.

138. Shchepetilov A.V. Nonintegrability of the two-body problem in constant curvature spaces, J. Phys. A: Math. Gen. V. 39 (2006), pp. 5787-5806; math.DS/0601382.

139. Shubin M. Spectral theory of elliptic operators on non-compact manifolds, Astérisque, V. 207 (1992), pp. 35-108.

140. Simon B. Quantum mechanics for Hamiltonians defined as quadric forms. Princeton Univ. Press, N.J., 1971.

141. Simon B. Schrôdinger operators in the twentieth century, J. of Math. Phys., V. 41 (2000), pp. 3523-3555.

142. Singer M.F., Ulmer F. Galois groups of second and third order linear differential equations, J. Symbolic Comput., V. 16 (1993), pp. 9-36.

143. Slawianowski J.J. Bertrand systems on SO(3,M) and SU(2), Bull. Acad. pol. sci. Sér. sci. phys. et astron. 1980. V. 28. pp. 83-94.

144. Slawianowski J.J., Slominski J. Quantiezed Bertrand systems on SO(3, E) and SU(2), Bull. Acad. Pol. Sci. Sér. Sci. phys. et astron. V. 28 (1980), pp. 99-108.

145. Slawianowski J.J. Bertrand systems on spaces of constant sectional curvature. The action-angle analysis, Reports Math. Phys., V. 46 (2000), pp. 429-460.A

146. Sniatycki J. Geometric quantization and quantum mechanics. Springer, N.Y., 1980.

147. Souriau J.-M. Structure des systèmes dynamiques. Paris. Dunod. 1970.

148. Stâckel P. Berichte tiber die Mechanik mehrfacher Mannigaltigkeiten, Jahrbericht der Deutschen Mathematiker Vereinigung, Bd. 12 (1903), S. 476.

149. Stevenson A.F. Note on the "Kepler problem" in a spherical space, and the factorization method of solving eigenvalue problem, Phys. Rev. V. 59 (1941), pp. 842-843.

150. Story W.E. On non-Euclidean properties of conics, American J. for Mathematics, V. 5 (1883), pp. 358-381.

151. Zitterbarth J. Some remarks on the motion of a rigid body in a space of constant curvature without external forces, Demonstratio Mathematica, V. 24 (1991), pp. 465494.