Интегральные представления точных и квазиклассических решений. Метод усреднения и когерентные состояния тема автореферата и диссертации по математике, 01.01.03 ВАК РФ

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

РГБ ОД

1 о онт та На правах рукописи

Новикова Елена Михаиловна

ИНТЕГРАЛЬНЫЕ ПРЕДСТАВЛЕНИЯ ТОЧНЫХ И КВАЗИКЛАССИЧЕСКИХ РЕШЕНИЙ. МЕТОД УСРЕДНЕНИЯ И КОГЕРЕНТНЫЕ СОСТОЯНИЯ

01.01.03 - математическая физика

АВТОРЕФЕРАТ

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

МОСКВА -Ш0

Работа выполнена иа кафедре прикладной математики факультета' • прикладной математики Московского государственного института, электроники и математики (технического университета).

Научный руководитель: доктор физико-математических наук,

профессор М.В. Карасев.

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

профессор А.Г. Сергеев;

доктор физико-математических наук, профессор Д.Д. Соколов.

Ведущая организация: Институт проблем механики РАН.

Защита диссертации состоится " ^ ^ " С£1гЦТ\а90)^Ь^ 1996 г. на заседании диссертационного совета К 063.G8.05 в Московском государственном институте электроники и математики (техническом университете) по адресу: Б. ТрехевятительскиЙ пер., д. 3/12.

С диссертацией можно ознакомиться в библиотеке МГИЭМ.

Автореферат разослан ". (ЩДС 1996 г.

Ученый секретарь диссертационного совета: Кандидат физико-математических наук, доцент

ТРТ Шурьев.

П.В. Шнурков.

Общая характеристика работы

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

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

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

Когерентные состояния, отвечающие неоднородным фазовым многообразиям (т.е. не порождающиеся группами Ли) очень мало изучены. Любые примеры такого рода, особенно появляющиеся в реальной физической системе, представляют значительный интерес.

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

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

Ценность результатов. Получены явные расчетные формулы для спек- ' тра и собственных функций аффекта Зеемана. Разработанный метод применим к широкому классу квантовых систем. Полученные новые типы когерентных состояний носят универсальный характер и могут быть использованы в различных областях теории дифференциальных уравнений и математической физики.

Апробация диссертации. Результаты диссертации докладывались на XIII Международном Коллоквиуме "Геометрические методы в физике" ( Бе-ловежа, 1994), на Совместном заседании семинара им. И.Г. Петровского и Московского математического общества (Москва, 1995) и в семестре "Квантование и хаос" (Париж, 1995).

Публикации. По теме диссертации опубликованы 4 работы: Ц] На pact:» M.U., Новикова Е.М. // Квадратичные скобки Пуассона в аффекте Зеемана. Неприводимые представления И Когерентные состояния. УМН. 1904. Т. 49. X«. 5. С. 1С0-170. [2¡ Kurativ M.V. arid Novikovn Е.М. // Iiilcgi ;>1 representation of ci^enftmc-tioiis id id coherent »tiitro for Zeeman effect. In: Quaiitiz., Coherent States and Complex Struct.; J. P. Antoine ct al. (ids.) Plenum, N.Y. 199G. P. 2Ü1-20S.

[3] Ka-рас ей M.B., Нонькпва Е.М. Когерентные состояния над л arpa н-жевыми многообразиями и интегральное представление волновых функций для задачи оП атоме водорода В магнитной поле. УМН. 1005. Т. 50. Л-«. 4. С. 100. [4¡ Карассв hi.В., Нояпкова Е.М. Представление точных и квазиклассических собственных функций через когерентные состояния. Атом водорода в магнитном поле. ТЫФ. 1D0G. Т. Í0S. Л''3.

Структура диссертации. Диссертация состоит из введения и четырех глав, включающих в себя 13 параграфов.

Содержание диссертации

Нерелятивистский гамильтониан атома водорода о однородном магнитном поле имеет следующий вид:

H.= HO+£M,4£2W,; (I)

. где с

н^-д-иг1. Мз- = ",3/0Х,-ixiö/ar;,, VV = (!•} +т])/4.

Через г = (j|, J2, J-.i) обозначены декартовы координаты в R3; магнитное поле направлено вдоль оси Jj; параметр е в (1) пропорционален напряженности поля.

Хорошо известно, что внергетические уровни Е„ — — I /4h3 оператора

Нл имеют кратность и1, где п = 1,2,____ Возмущение основного уровня с

п = ], а также снятие вырождения возбужденных уровней с небольшими и — 2.3.... можно вычислять с помощью рядив Ралея-Шредингсра по степеням i1. Однако коэффициенты »тих рядов сингулярны при возрастании п. Критическая ситуация возникает при п ~ г"1'3, когда всякая теория возмущений перестает работать. Например, для Полей ~ 10* гаусс (т!г. с ~ Ю-3,) ато начинается уже при п > 5.

Исследованию такого рода проблем, а также общей теории атома водорода в магнитном поле посвящена большая литература.. Помимо своей фундаментальной физической важности, система (1) чрезвычайно интересна с ил тематической Точки зрения как один из простейших примеров явления классической, а возможно, и квантовой неинтегрируемости. Класси-ч<ч"клл нешггсгрируемость (1) При е ф 0 подтверждается численными вке-периментами, хотя до сих пор строго не доказана. Лишь п 1994 г.1 было

1 Ä»mi»tr Ц.. SatKt A.W. //Comm. Mtth. PHy» 1984. V. 181. X». .V Р. 447.

показано, что классическая динамика, в »той задаче, не имеет дополнительного аналитического интеграла движения. D то и-.е время при с = 0 гиспч.т (1) заведомо интегрируема и, Солее; того, все гамильтонопы траектории Ни (на отрицательных уровнях анергии) периодические. Поэтому при малых f к классической системе Н = Яо4еЛ/з4еЧК применим стандартный метод усреднения Пуанкаре. Конечно, ряд Метода усреднения Судет расходиться, во всяком случае в классе аналитических функций. Тем не менее итог ■ ряд можно использовать для эффективны;: приближений по параметру £.

В свою очередь, к квантовой системе (1) естественно попытаться применить квантовую версию метода усреднения, восходящую к работам Боголюбова. Цель состоит в том, чтобы подходящим "усредняющим" унитарным преобразованием привести гамильтониан (1) к виду

Ho+eMj + s'W+O^00), [Ho,W] = [M3,W] = 0,

где новое "угредненное"возмущение W коммутирует со старшей частью и разлагается в ряд по степеням Малого параметра:

W -— W0 4 eJWoo 4 £4Wooo 4 — (2)

Первые два слагаемых W0 и Wr,a в усредненном возмущении (2) были найдены'соответственно п работах Соловьева2, Хкррика3 и Деланда, Гея4, а затем подробно изучались. В результате -теория возмущений для аффекта Зеемяла была существенно продвинута вперед.

С другой стороны, известно, что в фоковском jj-представлении невоэму шепный оператор Но эквивалентен оператору Лапласа на трехмерной сфере л, таким образом, операторы Wo, Woo - это, по существу, квантовые ин * тегралы для Дз». В частности, Wo оказывается эквивалентным оператору. , "разделяющему" переменные для лапласиана в эллипсо-цилиндрических координатах (и встречался в общем списке таких "разделителей"5). Отме тим в этой связи, что спектральная задача для систем типа {лапласиан Ия сфере}-(-{потенциал} рассматривалась в работе. А- Вайнстайна6, где было построено квантовое усреднение (в первое приближении) и были изучены некоторые спектральные свойства старшей части усредненного оператора.

Таким обраЗом, в математическом исследованиям квантового гамильм ' ниана (1) можно выделить следующие направления и проблемы.

Во-первых, для сильных полей, т.е. в зоне п > г"1'3, где hr действует теория возмущеютй, интерес представляют любые новые представления

2Соло«>е» В.А. Ц ЖЭТФ. 1982. Т. 82. Ж'. б, С. 1782.

* Herrick D.R. // Phye. Rev. А. 19Я2. V. 26. N>. I. Г. 323.

•üíWe I>. and (UyJ.C. // i Phya. 3.: Ai. Mol. Ptiyn. 1984. V. 17. P. L ИГ>.

'Sainen E.G., Шкт W. nnd IVmíerti.íi Г. // SUM J Appl. Malh. 18Тв. V. 30. K>. 4. P. 630.

* Weirutrín А. Ц Dult; Math. 3. 1877. V. 44. P. Í83.

* Точнее, подобраны путем с pas нения с известными т&бпнцкми матричиы* »я «мантов степеяей углового момЛт» и »«ктор« Лапяага-Рувге-Леип« Однако.гвио угрел кчкипее преобразование отсутствовало.

J

системы (1), которые позволят прояснить характер квантовой^('интегрируемости.

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

В-третьих, уже; после квантового усреднения остается задача о вычислении спектра и собственных функций усредненного возмущения Щ. Если выразить атот гамильтониан через образующие алгебры Первых интегралов Но И Мэ, то исходная спектральная задача сведется к задаче о спектре функции от операторов в неприводимых представлениях некоторой (весьма непростой) некомму тативной алгебры. Требуется провести анализ втой квантовой алгебры с нелинейными коммутационными соотношениями и построить соответствие между ее неприводимыми представлениями и сим-плектическими листами соответствующей луасс.оновой алгебры.

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

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

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

Первая глава носит вспомогательный характер. Здесь объясняется процедура сшшорной регуляризации КустаапхеЙмо7 и исследуются детали, необходимые для дальнейшего изложения. Затем с помощью втой регуляризации гамильтониан атома водорода в магнитном поле приводится к стандартному виду: {оператор "действие")-(-{возмущение}, т.е.

Здесь оператор "действие" удовлетворяет условию периодичности

(с некоторым параметром Н > 0) и самосопряжен в гильбертовом пространстве функций £1(11') со скалярным произведением* •

гК****ткет» Р. <тЛ .ЧЦфШ. // .МЫм ипй Апрт». Ы»1Ь. )865. V. 3]«. Р, 204. 'Нинм »тоеиммраое проаэмдгшиг соот»*гству<?т стишртвому мрои^вгмиию •

У '(Я<). чг «плитном» вря гпляорявЯ ргг^дирмиции.

Яо + .

(3)

(4)

. « 4-1 * / <р(ч)&(ч) . .

¡х - новый параметр, пропорциональный е1.

Далее гамильтониан (3) представляется в виде функции от образующих алгебры первых интегралов оператора углового момента М3. Эти образующие Мз удовлетворяют- следующим нелинейным коммутационным соотношениям:

[г+,а_) = 0, (г+,г1) = 0, |а±,М3] = 0,

/ 1 \1/2 (5)

(Соотношения, получаемые формальным сопряжением, опущены.)

В главе II, в соответствии с подходом " и общей некоммутативной теорией возмущений, развитой в8, вначале приводится сводка алгебраических формул квантового метода усреднения для гамильтонианов простейшего вида (3), у которых старшая часть во удовлетворяет условию периодичности (4). Оказывается, что при переходе к классическому пределу по большим квантовым числам полученные формулы работают во всех членах теории возмущений по (I. При этой в пределе возникают формулы классического метода усреднения Пуанкаре. Затем атот общий алгебраический механизм применяется к рассматриваемой задаче и вычисляется усредняющее преобразование и новый усредненный гамильтониан видя

+ "(С)

где '

[ Т,Эо ] = [X, Мз ] = 0. (7)

Б силу (7) естественно ожидать, что оператор Т можно представить в виде функции от образующих алгебры квантовых симметрия (¡штегралоз движения) пары коммутирующих гамильтонианов в0 и М3. В разделе П.З* описывается эта алгебра и ее четыре образующие Во.ВьВз.Вз с квадратичными соотношениями:

{В»,В21 = ,ЛВоВ3, (В01В,1 = 2|АВ„

[В2,Вз]=-у(ВоВ1+В,В0), ' [В0,В3] = -2>'ПВ,, ^

■ (Вз1В!]=-у(ВоВ2 + В2Во), [Во,В3] = 0.

Эта алгебра напоминает известную алгебру Склянина®, но проще ее по структуре.

В разделе 11.4 показано, что оператор Тпредставляется в виде

1 = • д„ =яд„ Н-/<?о» +... . ■ . , (9)

Здесь <7с,9оо,£/оа(ь■ ■ • - линейная, квадратичная, кубична«, ... функции от четырех переменных; вместо них в (9) подставляется набор четырех операторов В = (Во,В), В?, Вз), и принята соглашение, что влементы набора

«Каресе» И.В., №и» В.П. Ц УМН 19«. 'Г. М. №. ». С. 115.

*СхлянчнЕ,К. //Функц. *н*лиэ и его прилож. 1Ш. Т. М, Л*. 4. С. 21.

симметризуются по Вейлю. В итоге задача о снятии'вырождения спектра оператора Во сводится к вычислению спектра влемента В) из алгебры с коммутационными соотношениями (8). В этом смысле можно говорить о некоммутативном усреднении системы (1).

В главе III вводятся и исследуются бесселевы когерентные состояния, отягчающие алгебре (5), а также гипергеометрические состояния, отвечающие алгебре (8). Все »ти состояния получаются с помощью процедуры многократной редукции из обычных гауссовых когерентных состояний. Первый шаг этой редукции был выполнен в работе10; он объясняется и детально исследуется в разделе ШЛ. Затем делаются Дополнительные два шага к когерентным состояниям алгебр (5) и (8).

Параллельно с редукцией когерентных состояний осуществляется редукция операторов неприводимого представления. В результате, для алгебр (5) и (8) возникает соответствие Между неприводимыми представлениями и симплектическими листами, не укладывающееся в раики стандартного геометрического квантования. Например, алгебра (S) не является алгеброй Ли, ее симплектичсские листы i! оказываются неоднородными многообразиями, и соответствующие неприводимые представления не реализуются дифференциальными операторами первого порядка {во реализуются операторами второго порядка). На всех этапах редукции когерентные состояния приводятся в двух вариантах: локальном голоморфном и глобальном - над лагранжевыми подмногообразиями.

Результаты втой редукции в голоморфном варианте можно свести в следующие две теоремы.

Теорема А.

Пуст» т - целое, h > 0.

1. Операторы

4=?±, 4 = >»/»

задами неприводимое представление с номером т алгебры (5) в пространстве Р[т] антиголоморфных по функций с нормой

т

Здеа

=^¿yi м¥) (¥) ^Лг- л- (io)

г|т| гж

~ im|!2l'"l-H J t~"Vt~*"dt - фунщьж Нахдоныда.

if,A'*r«»ft )i. V. }f im "Symplictic <»«*»т. jui<I Mith. Phye. Act** du colloque en Vhontwur \\t J.-M £»%m»u*, p.!fc*>*to И «J . fUvkbiwvr, Boston. 199!. P. 23A.

2. Пусть задано абстрактное представление г}., М\ соотношений (5) в некотором гилмертином пространстве С. Тогда «ышмпени тчждс.счтп

п ;'!,. = ¿"•в';;1!,-, ¿1 «£;!,_ = 4 , л?, =

(чертя к ад операторами о/>а;та*шет комплексное, сопряжение). Здеел

семейство векторов | € С, г- С С} (бе с се л е. в ы I с. о с то я н н п

порядка т), соответствующее т-ой иепринодпмоп компоненте nvr.de.ma-_ влети/ алгебры, (о), мдчется формулой:

где

- Нич-/ - фикции Весселя , (12)

мнимого Аргумента',

"вакуумный" «ехпюр Эц'ц подчинен условиям

3. Пуст» Н'З^Ц^. = 1. Тогда ска-пярнае произведение ¿>«у! бесселених состояний порядка т (11) «.мтп «ид

4. СсмсМство нехторев | € С, £ С) (11) является семейством когерентных состояний « непр-инодимой компоненте £[»») С С, т.е.

( « »'.■;!.. ---) = /, Ус1

где / - единичный оператор в ¿[">1-

5. Лая представления — г±, = '^з — « гильбертпоням пространстве £1(К3) лекал формула для бесселевых когерентных состояний порядка гп следующая:

(13)

Теорема Б.

Пуст» т, п - целые, п > |т| > 0, и пустч Ь > 0. 1. Операторы второго порядка

(14)

в о = л(гг - гг + Н + 1),

°В,=Т ((2п - н -3)?2 + |т| +

• Л2 /- , з2 э

Вг = у- ((2гг - |т| - 3)52 - |т| - 1)^+

+ (п- 1)(п-|то|-1)г),

В, = - (п - |т| - 2)?^ - - 1)(|т| + 1))

задают неприводимое представление с номером (т,п) алгебры (8) в пространстве Р[т,п] полиномов над С степень не выше п —|гп| —1, наделенном скалярным произведением

' = I ' (15)

Здес» '

^•■-"""'"¿^ЧТИ"-'"""1-

X Г(п+1,п4|т|-И;2п + 2;1-|г|2)сЙ-(/г, (16)

Р{а, с; у) = } ук - гипеггеометрический ряд, (17)

операция (/)м определяется по формуле

(Ом =?(Г + 1)...(/ + ЛГ-1), (0он1.

2. проимол»н<?го врмитова представления Во, В], Вг, В% соотношений (6) в некотором гильбертовом пространстве С выполнены тождества

~ BjS)t = Bjf)t, } — 0,1,2,3

{черт* нлд В] об а тачает комплехсное сопряжение). Здес> семейство век. торов | I £ С) (еипергеометрических состояний), соответствующее не-яр»«одчмой компоненте с номером (т, п) представления алгебры (8), задается формулой:

= хо, (18)

где 1т(г) - функция Бесселя мнимого аргумента (12); "вакуумный" вектор Хо € £ подчинен уравнениям

(Д|+В|)Х1> =0, 5оХоаЛ(|т|+1-п)хо, 20, = Л,('»-1)(Н + 1) Хо. При этом имеет место разложение

Я. = £ ВДзу. . (19)

где ■, • -

(-"ХУ)' .....

- ортонормированный базис в пространстве Р[т,п], а {д^. ) = 0,1,..., П — |т| — 1} - ортонормированный базус в КеприяодимоИ компоненте £[т,п| С С. .

3. /Густ» ||хо|1с = 1. Тогда скалярное произведение двух гипергеометрических состояний (18) имеет вид

где

п-(т|-1

дК")(г) = £ 1 + Н-п; 1 + |т|;р)

>=0

- гипергеометрический полккол« (сл. (17)).

4. Семейство векторов | г еС} (18) является семейством хогерентп мьи состояний в неприводимой компоненте £[т,п) С С, т.е.

! лртЛ*)^!,

где I - единичный оператор в С[т, п].

5. МмГ представления В = В в гильбертовом пространстве С = базис {х/| 3 = 0,1,... ,п - |т| - 1} имеет вид

хАя) - соги1(<ц +188п(т)?2)1,п1х' где

гм, ч Г(АГ + М+1) у'

^)-ЕМ)'(ЛГ_\),г(М4/;1)7Г - полином* Л^рра,

const = (-l)>//2|m|ir ft|m|+l^/(n- |»i| — i)|m|(l + j)|,„t - нормироначкал

константа.

В разделе Ш.З диссертации сформулирован и доказан аналог Теоремы Б для алгебры (8) в глобальном варианте. - над замкнутой одномерной Кривой.

В главе IV построенные когерентные состояния и неприводимые представления алгебр (5) и (8) применяются для получения интегральных формул для собственных функций гамильтониана атома водорода. Используемые в интегральных представлениях бесселевы И гипергеометрические состояния - [меняют собой привычные гауссовы пакеты, Т.е. когерентные состояния группы Гейзенберга.

Интегралы от гауссовых пакетов вдоль гамильтоковых траекторий начали использоваться для построения квазиклассиче.ских собственных функций (на эвристическом уровне) в работе Келлера". Аналогичные интегралы вдоль замкнутых траекторий для систем с одной степенью свободы и с аналитическим гамильтонианом были получены Соросом12 и Курча-ном, Любоефом, Сарацено13 формальным применением метода стационарной фазы к преобразованик> Варгмана.

В работе14 (см. также 10) для общих многомерных дифференциальных уравнений была разработала схема глобального представления решений в виде интеграла от гауссовых когерентных состояний вдоль лагранжевых подмногообразий в фазовом пространстве. В отличие от ,2' 13, здесь на первом шаге возникает точная (армитова и неприводимая) реализация самой алгебры Гейзенберга дифференциальными операторами, действующими в гильбертовом пространстве функций на лагранжевом подмногообразии, и это позволяет получить интегральное представление точных решений исходного уравнения, нричем с использованием только инвариантных геометрических объектов. А уже квазиклассическая асимптотика может быть извлечена На втором шаге с помощью простейшей регулярной теории возмущений, примененной к точным решениям на подмногооб] .они.

Развитие идеи таких интегральных представлений для систем со сложными фазовыми пространствами, например с "быстрыми" переменными или иными (нежели алгебра Гейзенберга) динамическими алгебрами требует привлечения когерентных состояний, отличных от влементарных гауссовых ,0' xi. .

Хорошо известно, что кулоновская особенность деформирует геометрию

11 Helle г E.J. // J.Chei«. Phys. 1975. V. 82 P. 1544.

17 Vows А. /I Phys, Rev. A. 1989. V. 40 K'. 12. P. 6S14.

13 Кurchan J., Lehnt,,/ Г., Saracmo M. // Phy». Hev? A. If>»9. V. 40. P. 6800.

"Карасе* U.B. // В сб. "Дифф. геом., группы Ли и механика", под ред. Л.Д. Фаддеева. Записки научных геминароа ЛОМИ. 1989 Т. 172. С. 41. (Англ. перевод: J. Sov. Math. 1992. V.69. Л». Б. Р. 1053.); »то изложение доклада автора на фаддееаскпй конференции в Математическом институте им. В.А. Стекловп (С.-Петербург, ноябрь 1988).

фазового пространства R4 (см. работы Фока15, Мозера18, Сурьо"). В главе III показано, что вта деформация геометрии приводит к бесселевым когерентным состояниям. В этих состояниях роль гауссовой экспоненты играет функция Бесселя мнимого аргумента 1а или Im, а также полиномы Лагерра.

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

Спектральная задача для этЬго гамильтониана может быть переформулирована в терминах дифференциального уравнения либо локально в голоморфной карте на симплектическом листе ÎÎ, либо глобально над замкнутой кривой Л С П. С этой целью для собственных функций v> используется одно из следующих двух интегральных представлений:

- либо над комплексной плоскостью

V =У <„,,„(г), (21)

где Sj, - голоморфные гипергеомгтричесше состояния (19), (20) алгебры (S), (fym.n - мера (16);

- либо над кривой

(22)

А

• где t)n - Л-когереншые гипергеометрические состояния, параметризованные точками о € Л; интегрирование в (22) ведется по некоторой мере der вдоль кривой Л, лежащей на симплектическом листе П, соответствующем рассматриваемому неприводимому представлению алгебры (8). Топологически ÎÎ и S2. Предполагается, что кривая Л "квантована", т.е. на ней выполнен двумерный аналог условия Бора-Зоммерфельда.

Функция Ф(г) (или ф(о)) в (21) (или (22)) - вто новая волновая функция, которая должна быть подчиш-ita некоторому квантовому уравнению, но уже на комплексной плоскости (или на кривой Л).

Интегралы (21), (22) обладают следующими сплетающими свойствами:

. j(B^)(z)i},dfi,n,n(z), ,'= 0,1,2,3; (23)'

или соответственно

Вj ~ 0,1,2,3, (24)

Л

11 Фпх П Л. И И». АН СССР. Отл. Mit. Ест. и»ук. I9.1V К». 2. С. 1в».

!«АЬ»ег }. Ц Comm. Purf Appl. M»th. 1970. V. 23. P. 609.

"Sewia« J.-U. Sur I« vtrirtt rfc Kppl-r, in: Sympoei« M»th. XIV Aculemir Рг«м. 1974.

H

где В] - дифференциальные операторы (14) второго порядка по У, реализу-

V

ющие алгебру'(8), а В ] - дифференциальные операторы второго порядка на Л, реализующие ту же алгебру (8). Они описаны в разделе III.3. Отметим, что конструкция такого рода операторов на самом деле определяется лишь геометрическими структурами18. •

Из (23); (24) следует, что функция ф (или функция ф) должна быть соб-

о V

ственной для оператора д^(В) над С (или дДВ) над Л); тогда формула (21) (или (22)) даст, интегральное представление точной собственной функции оператора дДВ) над К3. Эти представления исследуются в разделав IV.2, 1У.З.

. В разделе IV.2 уравнение для функции Ф(5) в первом приближении по магнитному полю сводится (точно по 1г) к известному уравнению Хейна.

Приведем втот результат в сокращенной форме с использованием обозначений Теоремы В.

Теорема В.

Пусть т, п - целые, п > [т| >0.

1. Спектральная задача для уравнения Хейна

+ з? + 1)~ - ((2п - и - 3)г2 + з(„ -Н - 2)Т - (И +1))

• 4- ((: -1)(» - н ■-1), -(И 41)(3;~2Н -1) + I - о имеет п — |т| собственных значений ( = Си " собственных функций

п—|т|—1

2. В зоне £3п® -С 1 спектр гамильтониана (1) устроен так:

£" = + ¡£1"4(< + ±5(1) +0( V). (25)

в .

Здесь Т]ь в (доо^^ьФОт^ц^/п {скалярное произведение в пространстве Т>[т] определено в (15)), доо ~ символ усредненного гамильтониана (9) в пер-вом порядке по (1. (Зависимость всех чисел £ь, (¡с, щ от та, п в обозначениях опущена.)

3. В зоне егпТ <С 1 асимптотика собственных функций гамильтониана (1), отвечающих собственным значениям (25), имеет вид

••Кагмв» Л/. V. // Яивя. 1.М»Ш. РЬу«. 1995. V. 3. Х». 3. Р. 393.

где Xi - фунхцпп (20), Sf - генератор дсусрсдняющсяо преобразования, сводящего усредненный гамильтониан (б) к регуляризовпнному гамилътониапу

(3).

В заключительном' разделе IV.3 уравнения для амплитуд Ф, исследуются в квазиклассическом приближении. Замечательно то, что если в (22) выбрать в качестве Л замкнутую траекторию jtt = or(t)} гамильтонова потока, порожденного функцией <jf на гимплектичееком листе i!, и Меру на Л выбрать инвариантной: Игт — <lt, то окажется, что

* v А

' = «wist - ¡Л— + 0(h% где const = ¡г„)Л. (26)

Из (26) видно, что в качестве приближенной собственной функции опе-

v

ратора дц(В) можно взять константу*^ ~ 1. Тогда Из (22) получится, что асимптотическая собственная фуккцйя оператора </;, (В) имеет вид

<р~ (27)

где интеграл берется по квантованной траектории Л* гамильтонова потока киПиЗ5. ;

Далее К асимптотике (27) применяется дсусредняющее преобразование, переводящее собственные функции \р усредненного гамильтониана (9) в собственные функции гы.шльтониана (3) (или в собственные функции ф исходного гамильтониана (1)). Й таким образом получается глобальное представление асимптотических собственных функций гамильтониана атома водорода в магнитном поле (1).

В асимптотике (27) и в точной формуле (22) при каждом л модельная функция f)„, т.е. гипергеометрическое когерентное состояние алгебры (8), квлзиклассически локализована нл двумерной ленте в R1, Все ати ленты получаются вращением ксплероьых вллипсов Вокруг направления магнитного шля. Точка а из многообразия Интегралов движения задает конфигурации» ленты,, а интегрирование в (22), (27) означает суперпозицию по подмножеству возможных конфигураций лент.

Подчеркнем, что формула{27) глобалхна, т.е. работаетва всем R1, включая окрестность нуля й окрестность каустик. В »том - ее отличие от формуя, которые получаются иными известными методами кваэиклассическо-го приближений, где глобальные кэазимоды, ha* правило, строятся лишь сращиванием нескольких локальных".

"Масло» В.П., фе&ср*л Af.S. // КвмикЛассичгское привлижеяие Алл ур»»ве1иП квая-говой механики. М.: Наука, 1978. . .

"Bel о» V. V. an I Votto«« J. I. // Ru«. 1. M»th. Phy.. 1993. V. t. Jfr. A. P. 109.

» Zhtvandm* P.N. // i. M»th. РЬу». 1984. V. 35. Я». i. P. I5i7.

• Речь идет ов интгрвиге анергий, fa* уровни {»«■ = const) > (1 од»осв*звы м "далеко" отстоят от точек максимум» и минимума i»fn-"Изложение подходо», ислолъэуюших Методы сриаиваяия, и и* примеиение «с»-

c-reMAu с кулоноисквй' особенностью д»яо, «»пример, а ".

. • ■' '

13

Интегральные представления (21) и (22), использующие гипергеометрические когерентные состояния, "работают" в случае несильного магнитного поля. В случае магнитного поля произвольной напряженности в диссертации (в разделе IV.1) построены интегральные представления точных собственных функций исходного гамильтониана (1) (или регуляризованно-го гамильтониана (3)) через бесселевы когерентные состояния порядка т. Сформулируем результат в голоморфном варианте.

Теорема Г, '

Предположим, что оператор

О II В О 9 0

So+ fr-)М-,

о

где

к = г* + 2А(2?± J- + (1 + И)) + + (1 + Н))^,

р > 0 - параметр,

имеет в простуакставе ^[m] собственною «/¡учкцию Ф чающую собственному значению Л/ = Пусть v

v = AT(e2i>4).

Тогда интеграл

т = ^ Ф{г+|г.)®н,_ g)

где - бесселево когерентное состояние порядка т (13), <!/im(z+,z-) -

мера (10), задает собственную функцию гамильтониана (1). Соответствующее собственное Значение имеет еид С = —.+ етп.

Аналог Теоремы Г а глобальном варианте - над двумерным лагранже-вым подмногообразием - сформулирован и доказан в разделе IV. 1.

Такте,! образом, основные результаты диссертации заключены в конструкции новых представлений для собственных функций через когерентные состояния. Кроме того, получены и явные формулы для расщепления спектра (т.е. для аффекта Зеемана), продвинутые .до членов четвертого порядка по магнитному полю.

Используемый в диссертации метод не чувствителен к виду возмущения W в исходном гамильтониане (1). Это возмущение может быть, по существу, произвольным, что влияет лишь ка вид функции yt, в (9), т.е. на вид траектории Л = {(>(<)} в (22), но не на геометрию симплентического листа П, содержащего Л, и не на конструкцию когерентных состояний. Основные результаты справедливы и для матричны-х гамильтонианов, например, Паули или Дирака для атома водорода во внешнем поле. Используемый метод может Сыть также аффективно применен для вычисления асимптотики матрицы плотности и решений уравнения Гейзенберга.

Н

= отве-

- решение ^рачкенчл

Кроме того, тс же гамые бееселевы И гнпергеометрические когерентные состояния могут быть использованы для глобальных интегральных представлений решений (точных и квазиклассических) нестационарного уравнении Шредингера; см. по атому Поводу11.

Основные результаты диссертации

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

2. Развит цетод редукции когерентных состояний.

3. Проведена процедура квантового усреднения по малому магнитному полю.

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

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

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

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

8. Для высоких квантовых чисел глобальные асимптотические собственные функции построены явно в виде интеграла по модельным функциям, локализованным на двумерных лентах в К'1.

9. Получены явные формулы для расщепления спектра (т.е. для аффекта Зеемана), продвинутые до членов четвертого порядка по магнитному полю.

"Корчге» М.В., Нети*о»ч В.М. 'Гсор Мири. <Гич 199». 'Г. 10в.