§ 25.6. Бесконечно малые контактные преобразования.

Уравнения

в которых малый параметр и определяют контактное преобразование, если пренебречь членами порядка (§ 24.5). Расстояние на фазовой плоскости между точками является малой величиной порядка Во всех последующих выкладках величинами порядка мы будем пренебрегать; поэтому в членах, в которые входит в качестве множителя,

можно не делать различия между старыми и новыми переменными, что существенно упрощает вычисления.

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

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

Рассмотрим систему с функцией Гамильтона и подвергнем ее бесконечно малому контактному преобразованию (25.6.1). После преобразования система будет иметь функцию Гамильтона равную

и выраженную через (§ 25.1). Согласно (25.6.2) будем иметь

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

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

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

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