Симплектическое многообразие: различия между версиями
[отпатрулированная версия] | [непроверенная версия] |
м убрана категория «Классическая механика»; добавлена категория «Теоретическая механика» с помощью HotCat |
симплектическое пространство |
||
Строка 1: | Строка 1: | ||
Линейное пространство ''V'' (вещественное или комплексное) называется ''симплектическим'', если на нем задана невырожденная кососимметрическая билинейная форма <math>\omega</math>. |
|||
'''Симплектическое многообразие''' — это многообразие с заданной на нём ''симплектической формой'', то есть [[Замкнутая форма|замкнутой]] невырожденной [[Дифференциальная форма|2-формой]]. |
'''Симплектическое многообразие''' — это многообразие с заданной на нём ''симплектической формой'', то есть [[Замкнутая форма|замкнутой]] невырожденной [[Дифференциальная форма|2-формой]]. |
||
Версия от 10:11, 6 мая 2010
Линейное пространство V (вещественное или комплексное) называется симплектическим, если на нем задана невырожденная кососимметрическая билинейная форма .
Симплектическое многообразие — это многообразие с заданной на нём симплектической формой, то есть замкнутой невырожденной 2-формой.
Симплектическое многообразие позволяет естественным геометрическим образом ввести гамильтонову механику и даёт наглядное толкование многим её свойствам.
Определение
Дифференциальная 2-форма называется симплектической структурой, если она невырождена и замкнута, то есть её внешняя производная равна нулю:
и для любого касательного вектора
где — внутреннее умножение на вектор .
Многообразие называется симплектическим, если на нём задана симплектическая структура.
Гамильтоновы векторные поля
Пусть — произвольная функция на симплектическом многообразии. Симплектическая структура ставит в соответствие 1-формам на особый класс векторных полей, называемых гамильтоновыми, по правилу
В силу невырожденности формы векторное поле определено однозначно, обозначим его . В канонических координатах это отображение принимает вид
соответствующий уравнениям Гамильтона, при этом называется функцией Гамильтона или гамильтонианом. Скобки Пуассона превращают множество гамильтонианов на в алгебру Ли и определены по правилу
Связанные определения
- Диффеоморфизм симплектических многообразий называется симплектоморфизмом, если он сохраняет симплектическую структуру.
Свойства
- Теорема Дарбу: все симплектические многообразия локально симплектоморфны. Таким образом, в окрестности любой точки многообразия можно выбрать канонические координаты, называемые также координатами Дарбу, в которых симплектическая структура принимает вид
- При этом в касательном пространстве каждой точки в рассматриваемой окрестности оказывается выбран базис Дарбу.
- Гамильтонов фазовый поток сохраняет симплектическую структуру:
- Здесь — производная Ли по векторному полю . Таким образом, гамильтонов фазовый поток является симплектоморфизмом.
Контактная структура
С каждым симплектическим 2n-мерным многообразием каноническим образом связано (2n+1)-мерное контактное многообразие, называемое его контактизацией. Обратно, для любого (2n+1)-мерного контактного многообразия существует его симплектизация, являющаяся (2n+2)-мерным многообразием.
Вариации и обобщения
Многообразие называется мультисимплектическим степени , если на нём задана замкнутая невырожденная дифференциальная k-форма.
См. также
Литература
- Арнольд В. И. Математические методы классической механики. — 5-е изд., стереотипное. — М.: Едиториал УРСС, 2003. — 416 с. — 1500 экз. — ISBN 5-354-00341-5.
- Арнольд В. И., Гивенталь А. Б. Симплектическая геометрия. 2-ое изд. — Ижевск: РХД, 2000. — 168с.
- Фоменко А. Т. Симплектическая геометрия. Методы и приложения. — М.: Изд. МГУ, 1988. — 414с.
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |