Русская Википедия:Теорема Ли Хуачжуна

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Теорема Ли Хуачжуна — теорема о единственности универсального относительного инварианта первого порядка для классической динамической системы в потенциальном поле.

Формулировка

Любой универсальный относительный инвариант первого порядка <math>\tilde{J_{1}}</math> может отличаться от инварианта Пуанкаре лишь постоянным множителем, то есть для любого инварианта Пуанкаре <math>J_{1}</math> существует константа <math>c</math> такая, что <math>\tilde{J_{1}} = c J_{1}</math>.

Пояснения

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

Универсальный интегральный инвариант Пуанкаре имеет вид

<math>J_{1} = \oint\limits_{\tilde{C}} \sum p_{j} \delta q_{j}</math>,

где <math>\tilde{C}</math> — некоторый изохронный контур (замкнутая кривая в пространстве <math>(t,q_i,p_j)</math>, все точки которой имеют равную <math>t</math>-координату).

Универсальный относительный интегральный инвариант первого порядка в общем виде можно было бы записать так:

<math>\tilde{J_{1}} = \oint \limits_{\tilde{C}} \sum [A_{j}(q, p, t)\delta q_{j} + B_{j}(q, p, t)\delta p_{j}]</math>.

Теорема Ли Хуачжуна утверждает, что если эта величина сохраняется по времени для любого контура независимо от гамильтониана, то её значения на всех контурах соответственно пропорциональны значениям <math>J_{1}</math>, то есть отличаются от них лишь на умножение на константу, не зависящую от контура.

Литература

• Айзерман, М. А. Классическая механика. — М. : Наука, 1980. — С. 305.