СИМПЛЕКТИЧЕСКОЕ МНОГООБРАЗИЕ

СИМПЛЕКТИЧЕСКОЕ МНОГООБРАЗИЕ
СИМПЛЕКТИЧЕСКОЕ МНОГООБРАЗИЕ

- многообразие, снабжённое симплектической структурой.

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

Примеры. 1) Фазовое пространство. Пусть X - конфигурац. пространствомеханич. системы, М = Т*Х - его кокасательное расслоение. Локальныекоординаты в М - это обобщённые координаты (q1,..., qn )точки q на X и обобщённые импульсы(pI, ..., р п )(координаты ковектора р из кокасательного пространства в точке q). Дифференциальная1-форма 8037-18.jpgназ. формой Лиувилля и допускает инвариантное определение: её значениена касательном векторе v к М в точке ( р, q )задаётсякак значение ковектора р на образе вектора v при проекции 8037-19.jpgСимплектич. структура w на М определяется как дифференциал формыЛиувилля:8037-20.jpg

2) Картина Шрёдингера - подход, основанный на гамильтоновом векторномполе. Гамильтониан H (ф-ция на С. м.) задаёт векторное поле vH по правилу: отвечающее vH поле ковекторов должносовпадать с дифференциалом dII ф-ции Гамильтона. Движение фазовойточки со скоростью vH описывается системой дифференциальныхур-ний, к-рая в координатах Дарбу принимает вид ур-ний Гамильтона:
8037-21.jpg

3) Картина Гейзенберга - подход, основанный на алгебре ф-ций. Ф-ла 8037-22.jpgзадаёт Пуассона скобку в пространстве (ф-ций на С. м. В координатахДарбу 8037-23.jpg.Геом. интерпретация функции {H,F} как производной ф-ции F вдольпотока поля vH означает, что картина Шрёдингера эквивалентнакартине Гейзенберга: физ. величины (ф-ции на фазовом пространстве) меняютсяво времени согласно ур-нию F = {H,F}. Из этой эквивалентности вытекаютосн. свойства законов сохранения: сохранение энергии ({H,H} = 0); Петертеорема - если поток поля vF сохраняет ф-цию ГамильтонаЯ, то F - первый интеграл потока vH8037-24.jpg;теорема Пуассона - скобка Пуассона {F,G} первых интегралов сновапервый интеграл (это следует из тождества Якоби).

Если же в пространстве ф-ций на многообразии задана скобка Пуассона, <то многообразие разбивается в объединение С. м., называемых симплектич. <слоями. Это один из способов строить примеры С. м., пополняя, в частности, <запас физ. моделей.

4) Статистич. механика. Поток векторного поля на С. м. сохраняет симплектич. <структуру w, если и только если это поле локально гамильтоново. В частности, <ого поток сохраняет фазовый объём 8037-25.jpg( п - число степеней свободы). Этот факт лежит в основе статистич. <механики. Эволюция фазовой плотности 8037-26.jpgпод действием потока поля vH удовлетворяет ур-нию Лиувилля,8037-27.jpg.Отсюда вытекает, напр., стациопарность распределения Гиббса 8037-28.jpg. В координатах Дарбу 8037-29.jpg

5) Классич. подход к спину. Векторное произведение в 3-мерном евклидовомпространстве порождает скобку Пуассона ф-ций на нём. Симплектич. слои вданном примере - концентрич. сферы, снабжённые элементом площади. Вращенийгруппа сохраняет площади и потому действует на сфере потоками гамильтоновыхвекторных полей. Гамильтонианы действия - линейные ф-ции в пространстве. <Квантование этого действия возможно лишь на сферах целочисленной площади(в единицах h )и приводит к неприводимым представлениям группы вращений - как «векторным», так и «спинорным».

6) Принцип наименьшего действия. Двум траекториям в С. м. с общими концамисопоставим симплектич. площадь соединяющей их 2-мерной плёнки. Эта площадьпо существу не зависит от плёнки (замкнутость симплектич. структуры!) иопределяет поэтому функционал, называемый действием, на пространстве такихтраекторий (он определён с точностью до постоянного слагаемого). Экстремалифункционала действия в классе траекторий на поверхности фиксиров. уровнягамильтониана Н суть в точности траектории поля vH (следствие косоортогональности поля vH к уровням Н =const). Этот геом. вариационный принцип - прототип всех вариац. <принципов матем. физики.

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

7) Теория Дирака. К гамильтонову формализму со связями обычно приходят, <отправляясь от лагранжиана, вырожденного по скоростям (определительматрицы производных лагранжиана по скоростям равен нулю). Требование непротиворечивостидинамич. ур-ний означает, что подмногообразие связей F в С. м. . инволютивно: пространство l связей (ф-ций на М, нулевых на F )замкнуто относительно скобки Пуассона 8037-30.jpgПоток векторного поля, отвечающего гамильтониану Н, сохраняет F, если 8037-31.jpg. Все такие гамильтонианы образуют замкнутую относительно скобки Пуассонаалгебру А. Физ. величины - это элементы фактор-алгебры A/J. Ихможно воспринимать как ф-ции на физ. фазовом пространстве В - базенек-рого расслоения <B. Скобка Пуассона в A/J наделяет В симплектич. структурой. Эта конструкция используется в калибровочноинвариантных теориях (см. Калибровочная инвариантность), где вместопроекции из l в В обычно фиксируют «калибровку», т. е. сечение расслоения 8037-32.jpgв качестве физ. фазового пространства.

8) Ур-ние Эйлера (для твёрдого тела). Если действие группы Ли G наС. м. М сохраняет симплектич. структуру, то алгебра 8037-33.jpgG-инвариантныхф-ций на М замкнута относительно скобки Пуассона. Рассматривая 8037-34.jpgкак алгебру ф-ций на многообразии А, получаем разбиение А насимплектич. слои, а также проекцию 8037-35.jpg, сохраняющую скобки Пуассона. На этой конструкции основано понижение порядкасимметричных гамильтоновых систем: траектории на МG-инвариантногополя vH проектируются в траектории гамильтонова потокана слоях в Л с гамильтонианом 8037-36.jpg. Таким способом возникает, напр., ур-ние Эйлера, m = [mw], описывающееэволюцию вектора момента импульса во внутр. координатах твёрдого тела приего свободном вращении. Здесь G- группа вращений, М= T*G- её кокасательное расслоение, действие G на М задаётсясдвигами на группе, а проекция 8037-37.jpgсовпадает с отображением момента 8037-38.jpgв двойственное пространство алгебры Ли 8037-39.jpgгруппы G. Скобка Пуассона в 8037-40.jpgпорождается коммутатором в 8037-41.jpg.Симплектич. слои в 8037-42.jpg- это орбиты коприсоединённого представления группы G. Тензор инерциитела интерпретируется как оператор 8037-43.jpgи устанавливает связь вектора угл. скорости w с вектором момента 8037-44.jpgи задаёт на 8037-45.jpgквадратичный гамильтониан

Аналогичная 8037-46.jpgконструкцияс группой G сохраняющих объём диффеоморфизмов приводит к ур-ниювихря 8037-47.jpgв теории свободного течения идеальной жидкости, где роль порождающего гамильтонианоператора инерции выполняет ротор.

Отображение момента 8037-48.jpgиграет фундам. роль в современной теории вполне интегрируемых систем. Вчастности, один из подходов к интегрированию Кортевега - де Фриса уравнения основан на его интерпретации как ур-ния Эйлера на орбите коприсоединённогопредставления в двойственном пространстве алгебры Вирасоро.

Лит.: Арнольд В. И., Математические методы классической механики,3 изд., М., 1989; Арнольд В. И., Гивенталь А. В., Симплектическая геометрия, <в кн.: Итоги науки и техники. Сер. Современные проблемы математики. Фундаментальныенаправления, т. 4, М., 1985, с. 5; Кириллов А. А., Геометрическое квантование, <там же, с. 141. А. Б. Гивенталь.

Физическая энциклопедия. В 5-ти томах. — М.: Советская энциклопедия. . 1988.


.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "СИМПЛЕКТИЧЕСКОЕ МНОГООБРАЗИЕ" в других словарях:

  • Симплектическое многообразие — Симплектическое многообразие  это многообразие с заданной на нём симплектической формой, то есть замкнутой невырожденной 2 формой. Симплектическое многообразие позволяет естественным геометрическим образом ввести гамильтонову механику и даёт …   Википедия

  • СИМПЛЕКТИЧЕСКОЕ МНОГООБРАЗИЕ — многообразие, снабженное симплектической структурой …   Математическая энциклопедия

  • СИМПЛЕКТИЧЕСКОЕ ПРОСТРАНСТВО ОДНОРОДНОЕ — симплектическое многообразие (М, w) вместе с транзитивной группой Ли G его автоморфизмов. Элементы алгебры Ли группы G можно рассматривать как симплектические векторные поля на М, т. е. поля X, сохраняющие симплектическую 2 форму w: где точкой… …   Математическая энциклопедия

  • Симплектическое пространство — Симплектическое пространство  это векторное пространство S с заданной на нём симплектической формой , то есть билинейной кососимметрической невырожденной 2 формой …   Википедия

  • СИМПЛЕКТИЧЕСКОЕ ПРОСТРАНСТВО — нечетномерное проективное пространство P2n+1 над полем kс заданной в нем инволюционной корреляцией нульсистемой; обозначается Sp2n+1. Пусть характеристика поля kни равна 2. Абсолютная нульгсистема в Sp2n+1 всегда может быть записана в виде… …   Математическая энциклопедия

  • Косоортогональное дополнение — Симплектическое пространство это линейное пространство S с заданной на нём симплектической формой ω, то есть билинейной кососимметрической невырожденной 2 формой …   Википедия

  • Гамильтонова механика —     Классическая механика …   Википедия

  • СИГМА-МОДЕЛИ — ( модели) модели теории поля, в к рых т скалярных полей (i=1, ..., т )могут рассматриваться как задающие отображение d мерного пространства времени (произвольной сигнатуры) в нек рое многообразие М размерности тс метрикой …   Физическая энциклопедия

  • СИМПЛЕКТИЧЕСКАЯ СТРУКТУРА — замкнутая невырожденная дифференциальнаяформа степени 2. Многообразие, снабжённое С. с., наз. симплектическиммногообразием. В каждом касательном пространстве С. с. задаёт кососкалярноепроизведение (см. в ст. Симплектическая группа). Кососкалярное …   Физическая энциклопедия

  • Уравнения Гамильтона — (также называемые каноническими уравнениями) в физике и математике  система дифференциальных уравнений: где точкой над p и q обозначена производная по времени. Система состоит из 2N дифференциальных уравнений первого порядка (j = 1, 2, …, N) …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»