§ 1. Алгебра наблюдаемых классической механики

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

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

Уравнения движения материальной точки в форме Ньютона имеют вид

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

Замечая, что где - функция Гамильтона для частицы в потенциальном поле, мы приходим к уравнениям в форме-Гамильтона

Из курса теоретической механики известно, что широкий класс механических систем и, в частности, консервативные системы описываются уравнениями Гамильтона

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

Здесь в качестве обобщенных координат q взяты декартовы координаты частиц, число степеней свободы такой системы есть потенциал взаимодействия частиц. Зависимость только от разности обеспечивает выполнение третьего закона Ньютона. (Действительно, сила, действующая на частицу со стороны частицы, ). Потенциалы описывают взаимодействие частицы с внешним полем. Первое слагаемое в формуле (5) — кинетическая энергия системы частиц.

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

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

Задача Коши для системы (6) и начальных условий

имеет единственное решение

Для сокращения записи точку фазового пространства иногда будем обозначать через , а уравнения Гамильтона записывать в виде

где — векторное поле этих уравнений, сопоставляющее каждой точке фазового пространства вектор v с компонентами .

Уравнения Гамильтона порождают однопараметрическую коммутативную группу преобразований фазового пространства в себя

где есть решение уравнений Гамильтона с начальным условием Справедливы равенства:

В свою очередь преобразования порождают семейство преобразований алгебры наблюдаемых в себя

где

В координатной записи функция определяется следую образом:

Найдем дифференциальное уравнение, которому удовлетворяет функция . Для этого продифференцируем тождество по переменной s и положим ,

Таким образом, функция удовлетворяет дифференциальному уравнению

и начальному условию

Уравнение (13) с начальным условием (14) имеет единственное решение, которое может быть получено по формуле (12), т. е. для построения решений уравнения (13) достаточно знать решения уравнений Гамильтона.

Уравнение (13) может быть переписано в виде

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

а в случае системы с степенями свободы

Перечислим основные свойства скобок Пуассона:

1) (линейность);

2) (кососимметричность);

3) (тождество Якоби);

4) .

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

где дифференциальный оператор первого порядка, и свойство 4) принимает вид

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

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

Скобка Пуассона вводит в алгебру наблюдаемых структуру вещественной алгебры Ли . Итак, множество наблюдаемых обладает следующей алгебраической структурой. Множество является:

1) вещественным линейным пространством;

2) коммутативной алгеброй с операцией ;

3) алгеброй Ли с операцией .

Две последние операции связаны соотношением

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

Покажем, что отображение Не сохраняет все операции в :

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

Здесь были использованы свойства 2) и 4) скобок Пуассона. Далее,

Теперь наше утверждение следует из единственности решения уравнения (13) с начальным условием (14).