Теорема Лиувилля о сохранении фазового объёма

Теоре́ма Лиуви́лля, названная по имени французского математика Жозефа Лиувилля, является ключевой теоремой в математической физике, статистической физике и гамильтоновой механике. Теорема утверждает сохранение во времени фазового объёма, или плотности вероятности в фазовом пространстве.

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

[править | править код]

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

Уравнение Лиувилля

[править | править код]

Уравнение Лиувилля описывает эволюцию во времени функции распределения (плотности вероятности) гамильтоновой системы в -мерном фазовом пространстве ( — количество частиц в системе). Рассмотрим гамильтонову систему с координатами и сопряжёнными импульсами , где . Тогда распределение в фазовом пространстве определяет вероятность того, что система будет находиться в элементе объёма своего фазового пространства.

Уравнение Лиувилля описывает эволюцию во времени согласно правилу нахождения полной производной функции с учётом несжимаемости потока в фазовом пространстве:

Производные фазовых координат по времени для гамильтоновых систем описываются согласно уравнениям Гамильтона:

Простое доказательство теоремы состоит в наблюдении, что эволюция определяется уравнением неразрывности (непрерывности):

где  — скорость перемещения исследуемого объёма фазового пространства:

и замечанием, что разность между этим выражением и уравнением Лиувилля определяется только слагаемым, описывающим дивергенцию, а именно её отсутствие, что означает отсутствие источников или стоков плотности вероятности:

где  — гамильтониан, и были использованы уравнения Гамильтона. Это можно представить как движение через фазовое пространство «потока жидкости» точек системы. Теорема означает, что производная Лагранжа или субстанциональная производная плотности равна нулю. Это следует из уравнения непрерывности, так как поле скоростей в фазовом пространстве бездивергентно, что в свою очередь вытекает из гамильтоновых уравнений для консервативных систем.

Геометрическая интерпретация

[править | править код]

Рассмотрим траекторию малого пятна (множества точек) в фазовом пространстве. Перемещаясь вдоль множества траекторий, пятно растягивается в одной координате, скажем —  — но сжимается по другой координате так, что произведение остаётся константой. Площадь пятна (фазовый объём) не изменяется.

Более точно, фазовый объём сохраняется при сдвигах времени. Если

и  — множество точек фазового пространства, в которое может эволюционировать множество в момент времени , тогда

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

Через симплектическую форму

[править | править код]

Пусть симплектическое многообразие и — гладкая функция. Пусть есть симплектический градиент , то есть векторное поле удовлетворяющее соотношению

для любого векторного поля . Тогда

где обозначает производную Ли.

Из этого утверждения следует теорема Лиувилля. Действительно, из выше приведённого тождества следует, что

а если -мерно, то является формой объёма на .

Физическая интерпретация

[править | править код]

Ожидаемое полное число частиц — интеграл по всему фазовому пространству от функции распределения:

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

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

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

Запись через скобку Пуассона

[править | править код]

Используя скобку Пуассона, имеющее в канонических координатах вид

уравнение Лиувилля (другое название: уравнение Лиувилля — фон Неймана[1]) для гамильтоновых систем приобретает вид

Запись с использованием оператора Лиувилля

[править | править код]

При помощи оператора Лиувилля

уравнение для гамильтоновых систем приобретает вид

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

где ρ матрица плотности. Это уравнение называется уравнением фон Неймана и описывает эволюцию квантовых состояний гамильтоновых систем.

  • Уравнение Лиувилля верно для равновесных и неравновесных систем. Это фундаментальное уравнение неравновесной статистической механики.
  • Предположение о несжимаемости фазового потока, то есть выполнение условия
 

является существенным. В общем случае произвольной динамической системы

 

уравнение для эволюции во времени плотности распределения частиц в фазовом пространстве получается из уравнения баланса

 
 

(последнее соотношение — это масштабирование элемента фазового объёма при бесконечно малом перемещении вдоль фазовой траектории). Итоговое уравнение имеет вид

(см. также Уравнение Фоккера — Планка) и в случае   совпадает с уравнением Лиувилля.

Примечания

[править | править код]
  1. Источник. Дата обращения: 27 ноября 2022. Архивировано 27 ноября 2022 года.