В полной общей структуре, возможно, как вы знаете, вы можете определить гамильтонову систему как динамическую систему, векторное поле которой имеет следующий вид:
[ИксЧАС( х )]я= {Икся, ч}
где
х = (д1, . . . ,дн,п1, . . . ,пн) = ( д, р )
является вектором фазового пространства
Г
(это практически всегда гильбертово пространство),
{ ; }
является скобкой Пуассона, удовлетворяющей обычным свойствам и
ЧАС= Н( х )
— гамильтониан системы, заданной на фазовом пространстве. Действительно важным объектом, который можно определить, является так называемый тензор Пуассона, определяемый как:
Джj k= {ИксДж,Икск}
Заметим, что из этого определения очевидно, что
Дж
обладает тем же свойством косой симметрии, что и скобки Пуассона: это фундаментально для переопределения формулировки любой гамильтоновой системы в терминах
Дж
. На этом этапе, не вдаваясь в подробности, можно развить то, что написано выше, переопределив скобки Пуассона в терминах тензора Пуассона, и таким образом можно написать полную общую форму уравнения Гамильтона ЛЮБОЙ гамильтоновой системы:
Икс˙= Дж( х )∇ИксЧАС( х )
где
Дж
— тензор Пуассона, а обозначение
∇Икс
означает, что градиент действует на вектор фазового пространства
Икс
. Вы можете сделать ЛЮБОЕ изменение переменной
х → у= ф( х )
что вы хотите, но вы НИКОГДА не потеряете гамильтоновых свойств вашей системы (т.е. свойств скобки Пуассона). Это действительно важно и означает, что если система является гамильтоновой, в соответствии с приведенными выше определениями, она останется гамильтоновой НЕЗАВИСИМО от координаты, выбранной для ее описания.
Понятие тензора Пуассона также важно для характеристики набора инвариантов Казимира (т. е. группы симметрии) данной гамильтоновой системы: Инвариант КазимираС( х )
— функция, определенная на фазовом пространстве, такая, что:
Дж( х ) ∇ С( х ) = 0
другими словами, это функция, которая имеет градиент, который находится в ядре тензора Пуассона. Эти функции описывают инвариантность вашей системы. Главный момент (который, я надеюсь, может ответить на ваш вопрос) легко понять только из определения инварианта Казимира и заключается в том, что ЛЮБАЯ гамильтонова система, описываемая одним и тем же тензором Пуассона, имеет одни и те же инварианты Казимира (т.е. симметрия)! Неверно то, как вы задаете свой вопрос, потому что каждая гамильтонова система имеет четко определенную алгебру функций.
А ( Г )
билинейным произведением которого является скобка Пуассона, удовлетворяющая обычным известным вам свойствам: если невозможно определить скобку Пуассона, у вас не может быть никакой гамильтоновой системы. То, о чем вы просите, не имеет смысла, потому что определение классической гамильтоновой алгебры действительно общее и, повторяю, четко определенное в любом случае. Другими словами, гамильтонова алгебра, определенная на фазовом пространстве, не считается, если вы говорите об инвариантности и симметрии гамильтоновой системы, но, как я писал вам выше, основным инструментом для характеристики этого факта является тензор Пуассона системы: тот же тензор Пуассона -> тот же Казимир (симметрии)
Qмеханик
Андреа Пако
Давид Бар Моше