Интегралы движения

В механике функция $I=I(q,\stackrel{\dot{}<!--\; \dot{}\; -->}{q}),$$I=I(q, \dot q),$ где $q$$q$ — обобщённые координаты, $\stackrel{\dot{}<!--\; \dot{}\; -->}{q}$$\dot q$ — обобщённые скорости системы, называется интегралом движения (данной системы), если $I(q,\stackrel{\dot{}<!--\; \dot{}\; -->}{q})=\mathrm{c}\mathrm{o}\mathrm{n}\mathrm{s}\mathrm{t}$$I(q, \dot q)=\mathrm{const}$ на каждой траектории $q(t)$$q(t)$ данной системы, но функция $I(q,\stackrel{\dot{}<!--\; \dot{}\; -->}{q})$$I(q, \dot q)$ не является тождественно постоянной.

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

Интегралы движения в классической механикеПравить

В классической механике для замкнутой системы из $N$$N$  частиц в трёхмерном пространстве, между которыми нет жёстких связей, можно образовать $6N-<!--\; -\; -->1$$6N-1$  независимых интегралов движения — это первые интегралы соответствующей системы уравнений Гамильтона. Из них аддитивными являются три: энергия, импульс, момент импульса.

ПрименениеПравить

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

Методы нахождения интегралов движенияПравить

Существует несколько методов нахождения интегралов движения:

• Наиболее простой, но и наименее строгий метод заключается в интуитивном подходе, часто основанном на экспериментальных данных и последующего математического доказательства сохранения величины.

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

• Другой подход заключается в сопоставлении сохраняющейся величины и какой-либо симметрии Лагранжиана. Теорема Нётер даёт систематический способ вывода таких величин из симметрий. Например, закон сохранения энергии является результатом того, что лагранжиан не изменяется относительно сдвига по времени, закон сохранения импульса эквивалентен инвариантности лагранжиана относительно сдвига начала координат в пространстве (трансляционная симметрия) и закон сохранения момента импульса следует из изотропности пространства (лагранжиан не меняется при поворотах системы координат). Обратное тоже верно: каждая симметрия лагранжиана соответствует интегралу движения.

• Величина $A$$A$  сохраняется, если она не зависит явным образом от времени и её скобки Пуассона с гамильтонианом системы равны нулю:

$\frac{dA}{dt}=\frac{\mathrm{\partial <!--\; \partial \; -->}A}{\mathrm{\partial <!--\; \partial \; -->}t}+[A,H]=0$${\frac {dA}{dt}}={\frac {\partial A}{\partial t}}+[A,H]=0$ .

Другой полезный результат известен как теорема Пуассона, в которой утверждается, что если есть два интеграла движения $A$$A$  и $B$$B$ , то скобки Пуассона $[A,B]$$[A, B]$  этих двух величин тоже является интегралом движения, при условии получения независимого от интегралов выражения.

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

В гидродинамикеПравить

При свободном (без внешних сил) движении идеальной (нет диссипации, вязкость отсутствует) несжимаемой (объём любой части сохраняется) жидкости сохраняются следующие величины:

• кинетическая энергия $\underset{V}{\int <!--\; \int \; -->}{\stackrel{\to <!--\; \to \; -->}{v}}^{2}dV$$\int\limits_V\vec{v}^2\,dV$  (см. также интеграл Бернулли)
• гидродинамическая спиральность $\underset{V}{\int <!--\; \int \; -->}\stackrel{\to <!--\; \to \; -->}{v}\cdot <!--\; \cdot \; -->\mathrm{rot}\stackrel{\to <!--\; \to \; -->}{v}dV$$\int\limits_V\vec{v}\cdot\operatorname{rot}\,\vec{v}\,dV$ 

Если движение двумерно, то сохраняется также энстрофия ${\int <!--\; \int \; -->}_S{\left(\mathrm{\nabla <!--\; \nabla \; -->}\times <!--\; \times \; -->\stackrel{\to <!--\; \to \; -->}{v}\right)}^{2}dS$$\int_{S} \left(\nabla\times\vec{v}\right)^{2}dS$ .

В идеальной магнитной гидродинамике первый интеграл (полная энергия как сумма кинетической энергии жидкости и энергии магнитного поля) сохраняется, второй (гидродинамическая спиральность) пропадает, но появляется два других интеграла движения:

• Спиральность магнитного поля — $\underset{V}{\int <!--\; \int \; -->}\stackrel{\to <!--\; \to \; -->}{A}\cdot <!--\; \cdot \; -->\mathrm{rot}\stackrel{\to <!--\; \to \; -->}{A}$$\int\limits_V\vec{A}\cdot\operatorname{rot}\,\vec{A}$ , где $\stackrel{\to <!--\; \to \; -->}{A}$$\vec{A}$  — векторный магнитный потенциал.
• Перекрёстная спиральность — $\underset{V}{\int <!--\; \int \; -->}\stackrel{\to <!--\; \to \; -->}{v}\cdot <!--\; \cdot \; -->\stackrel{\to <!--\; \to \; -->}{B}$$\int\limits_V\vec{v}\cdot\vec{B}$ 

В квантовой механикеПравить

Наблюдаемая величина Q сохраняется, если она коммутирует с гамильтонианом H, который не зависит явным образом от времени. Поэтому

$\frac{d}{dt}⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\stackrel{^<!--\; ^\; -->}{Q}|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->=\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\left[\stackrel{^<!--\; ^\; -->}{\mathcal{H}},\stackrel{^<!--\; ^\; -->}{Q}\right]|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->+⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\frac{\mathrm{\partial <!--\; \partial \; -->}\stackrel{^<!--\; ^\; -->}{Q}}{\mathrm{\partial <!--\; \partial \; -->}t}|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->$${\frac {d}{dt}}\langle \psi |{\hat {Q}}|\psi \rangle ={\frac {i}{\hbar }}\langle \psi |\left[{\hat {\mathcal {H}}},{\hat {Q}}\right]|\psi \rangle +\langle \psi |{\frac {\partial {\hat {Q}}}{\partial t}}|\psi \rangle$ ,

где используется коммутационное соотношение

$[\stackrel{^<!--\; ^\; -->}{\mathcal{H}},\stackrel{^<!--\; ^\; -->}{Q}]=\stackrel{^<!--\; ^\; -->}{\mathcal{H}}\stackrel{^<!--\; ^\; -->}{Q}-<!--\; -\; -->\stackrel{^<!--\; ^\; -->}{Q}\stackrel{^<!--\; ^\; -->}{\mathcal{H}}$$[\hat{\mathcal H},\hat{Q}] = \hat{\mathcal H} \hat{Q} - \hat{Q} \hat{\mathcal H}$ .

ВыводПравить

Пусть имеется некоторая наблюдаемая $Q$$Q$ , которая зависит от координаты, импульса и времени

$Q=Q(x,p,t)$$Q=Q(x,p,t)$ ,

а также имеется волновая функция, которая является решением соответствующего уравнения Шрёдингера

$i\mathrm{\hslash <!--\; \hslash \; -->}\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\psi <!--\; \psi \; -->}}{\mathrm{\partial <!--\; \partial \; -->}t}=\stackrel{^<!--\; ^\; -->}{\mathcal{H}}\mathrm{\psi <!--\; \psi \; -->}$$i\hbar {\frac {\partial \psi }{\partial t}}={\hat {\mathcal {H}}}\psi$ .

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

$\frac{d}{dt}⟨<!--\; ⟨\; -->Q⟩<!--\; ⟩\; -->=\frac{d}{dt}⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\stackrel{^<!--\; ^\; -->}{Q}|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->=$$\frac{d}{dt} \langle Q \rangle \, = \frac{d}{dt} \langle \psi | \hat{Q} | \psi \rangle \, =$

$=⟨<!--\; ⟨\; -->\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\psi <!--\; \psi \; -->}}{\mathrm{\partial <!--\; \partial \; -->}t}|\stackrel{^<!--\; ^\; -->}{Q}|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->+⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\frac{\mathrm{\partial <!--\; \partial \; -->}\stackrel{^<!--\; ^\; -->}{Q}}{\mathrm{\partial <!--\; \partial \; -->}t}|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->+⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\stackrel{^<!--\; ^\; -->}{Q}|\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\psi <!--\; \psi \; -->}}{\mathrm{\partial <!--\; \partial \; -->}t}⟩<!--\; ⟩\; -->=$$= \langle \frac{\partial \psi}{\partial t} | \hat{Q} | \psi \rangle + \langle \psi | \frac{\partial \hat{Q}}{\partial t} | \psi \rangle + \langle \psi | \hat{Q} | \frac{\partial \psi}{\partial t} \rangle\, =$

$=\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}⟨<!--\; ⟨\; -->\stackrel{^<!--\; ^\; -->}{\mathcal{H}}\mathrm{\psi <!--\; \psi \; -->}|\stackrel{^<!--\; ^\; -->}{Q}|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->+⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\frac{\mathrm{\partial <!--\; \partial \; -->}\stackrel{^<!--\; ^\; -->}{Q}}{\mathrm{\partial <!--\; \partial \; -->}t}|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\stackrel{^<!--\; ^\; -->}{Q}|\stackrel{^<!--\; ^\; -->}{\mathcal{H}}\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->=$$= \frac{i}{\hbar} \langle \hat{\mathcal H} \psi | \hat{Q} | \psi \rangle + \langle \psi | \frac{\partial \hat{Q} }{\partial t} | \psi \rangle - \frac{i}{\hbar}\langle \psi | \hat{Q} | \hat{\mathcal H} \psi \rangle \, =$

$=\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\stackrel{^<!--\; ^\; -->}{\mathcal{H}}\stackrel{^<!--\; ^\; -->}{Q}|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->+⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\frac{\mathrm{\partial <!--\; \partial \; -->}\stackrel{^<!--\; ^\; -->}{Q}}{\mathrm{\partial <!--\; \partial \; -->}t}|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\stackrel{^<!--\; ^\; -->}{Q}\stackrel{^<!--\; ^\; -->}{\mathcal{H}}|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->=$$= \frac{i}{\hbar} \langle \psi | \hat{\mathcal H} \hat{Q} | \psi \rangle + \langle \psi | \frac{\partial \hat{Q} }{\partial t} | \psi \rangle - \frac{i}{\hbar}\langle \psi | \hat{Q} \hat{\mathcal H} | \psi \rangle \, =$

$=\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\left[\stackrel{^<!--\; ^\; -->}{\mathcal{H}},\stackrel{^<!--\; ^\; -->}{Q}\right]|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->+⟨<!--\; ⟨\; -->\mathrm{\psi <!--\; \psi \; -->}|\frac{\mathrm{\partial <!--\; \partial \; -->}\stackrel{^<!--\; ^\; -->}{Q}}{\mathrm{\partial <!--\; \partial \; -->}t}|\mathrm{\psi <!--\; \psi \; -->}⟩<!--\; ⟩\; -->$$={\frac {i}{\hbar }}\langle \psi |\left[{\hat {\mathcal {H}}},{\hat {Q}}\right]|\psi \rangle +\langle \psi |{\frac {\partial {\hat {Q}}}{\partial t}}|\psi \rangle$ .

В итоге получим

$\frac{d}{dt}\stackrel{^<!--\; ^\; -->}{Q}=\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\left[\stackrel{^<!--\; ^\; -->}{\mathcal{H}},\stackrel{^<!--\; ^\; -->}{Q}\right]+\frac{\mathrm{\partial <!--\; \partial \; -->}\stackrel{^<!--\; ^\; -->}{Q}}{\mathrm{\partial <!--\; \partial \; -->}t}$${\frac {d}{dt}}{\hat {Q}}={\frac {i}{\hbar }}\left[{\hat {\mathcal {H}}},{\hat {Q}}\right]+{\frac {\partial {\hat {Q}}}{\partial t}}$ .

Отношение к квантовому хаосу и квантовой интегрируемостиПравить

В классической механике имеется теорема Лиувилля, согласно которой система, в которой число интегралов движения в инволюции совпадает с числом степеней свободы $n$$n$ , может быть полностью проинтегрирована (решена) методом разделения переменных в уравнении Гамильтона — Якоби. Такая система является интегрируемой системой. Траектория такой системы в $2n$$2n$ -мерном фазовом пространстве может быть представлена в подходящих переменных (переменных действие — угол) как намотка на $n$$n$ -мерном торе. Система, число интегралов в которой меньше числа степеней свободы, проявляет хаотическое поведение, то есть траектории в фазовом пространстве с близкими начальными условиями могут экспоненциально расходиться. При небольшой деформации интегрируемой системы в неинтегрируемую $n$$n$ -мерный тор в $2n$$2n$ -мерном фазовом пространстве разрушается («размывается»), превращаясь, например, в странный аттрактор.

Квантовый аналог теоремы Лиувилля неизвестен, однако и в квантовом случае системы можно разделить на интегрируемые и неинтегрируемые. Под интегрируемыми в этом случае подразумевают системы, которые допускают точное решение в смысле возможности найти все собственные значения и собственные функции гамильтониана в разумном виде. Известен квантовый аналог метода разделения переменных, однако его применение не столь универсально в классических случаях. Известные примеры показывают, что в квантовых интегрируемых системах, также как и в классических, имеется $n$$n$  интегралов движения, коммутирующих между собой. Однако наличие $n$$n$  интегралов движения, по-видимому, ещё не гарантирует квантовой интегрируемости. Задача квантования интегрируемых систем представляет собой поиск такой квантовой системы, которая допускала бы точное решение и давала бы данную классическую систему в классическом пределе. Имеются также примеры интегрируемых квантовых систем, не имеющих интегрируемых классических аналогов. Это происходит в том случае, если система может быть решена при специальных значениях параметров квантового гамильтониана, либо когда система не допускает классического описания (как, например, система спинов).

Все остальные квантовые системы проявляют в той или иной степени признаки квантового хаоса. Классические хаотические системы допускают квантование в том смысле, что может быть корректно определено их пространство состояний и гамильтониан, однако как и классические хаотические системы, так и квантовые, по-видимому, не допускают точного решения. Их можно исследовать приближёнными методами, такими как теория возмущений и вариационный метод, а также исследованы численно методами молекулярной динамики в классическом случае или численной диагонализации гамильтониана в квантовом случае.

См. такжеПравить

• Поле Киллинга
• Суперинтегрируемая гамильтонова система

ЛитератураПравить

• Griffiths, David J.  (англ.) (рус.. Introduction to Quantum Mechanics (2nd ed.) (англ.). — Prentice Hall, 2004.
• Ландау Л. Д., Лифшиц Е. М. Механика. — Издание 4-е, исправленное. — М.: Наука, 1988. — 215 с. — («Теоретическая физика», том I). — ISBN 5-02-013850-9.
• Арнольд В. И. Математические методы классической механики. — 5-е изд. — М.: Едиториал УРСС, 2003. — ISBN 5-354-00341-5.
• Савельев И. В. Курс общей физики. Т. 1. Механика. Молекулярная физика. — М.: Наука, 1987. — 432 с.