Теорема Лиувилля о сохранении фазового объёма
Материал из Википедии — свободной энциклопедии
В математической физике, теорема Лиувилля, названная по имени французкого математика Жозефа Лиувилля, является ключевой теоремой в статистической и гамильтоновой механике. Она гласит, что функция распределения в фазовом пространстве постоянна вдоль траекторий системы - плотность точек системы около данной точки системы, движущихся через фазовое пространство постоянно во времени.
Содержание |
[править] Уравнение Лиувилля
Уравнение Лиувилля описывает эволюцию во времени функции распределения в фазовом пространстве(хотя плотность правильный математический термин, но физики называют это распределением). Рассмотрим динамическую систему с координатами qi и сопряжёнными импульсами pi, где . Тогда распределение в фазвом пространстве ρ(p,q) определяет вероятность , что частица будет найдена в малом объёме . Уравнение Лиувилля управляет эволюцией ρ(p,q;t) во времени t:
Производная по времени обозначается точками, и оценивается согласно уравнениям Гамильтона для системы. Это уравнение демонстрирует сохранение плотности в фазовом пространстве. Теорема Лиувилля гласит
- Функция распределения постоянна вдоль любой траектории в фазовом пространстве.
Простое доказательство теоремы состоит в наблюденнии, что эволюция ρ определяется уравнением неразрывности:
и замечанием, что разность между этим выражением и уравнением Лиувилля определяется только следующими слагаемыми
где H — гамильтониан, и были использованы уравнения Гамильтона. Это можно представить как движение через фазовое пространство «потока жидкости» точек системы, теорема означает, что конвективная производная плотности dρ / dt равна нулю, что следут из уравнения непрерывности, замечая, что поле скоростей в фазовом пространстве бездивергентно (это следует из гамильтоновых уравнений).
Другая иллюстрация состоит в том, чтобы рассмотреть траекторию множества точек в фазовом пространстве. Легко показать, что множество траекторий растягивается в одной координате, скажем – pi – но сжимается по другой координате qi так, что произведение ΔpiΔqi остаётся константой.
[править] Физическая интерпретация
Ожидаемое полное число частиц — интеграл по всему фазовому пространству от функции распределения:
(Нормировочный множитель обычно включается в меру фазового пространства, но здесь опущен.) В простейшем случае, когда частица движется в евклидовом пространстве в поле сил с координатами и импульсами , теорему Лиувилля можно записать в виде
где — скорость. В астрофизике это выражение называется уравнением Власова или бесстолкновительным уравнением Больцмана, и используется, чтобы описать большое число бесстолкновительных частиц двигающихся в гравитационном потенциале.
В классической статистической механике число частиц N огромно, (обычно по порядку величины число Авогадро, в лабораторных условиях). Полагая, что даёт уравнение для стационарных состояний системы, можно найти плотность микросостояний доступных в данном статистическом ансамбле. Уравнение для стационарных состояний удовлетворяет выражению ρ равно любой функции гамильтониана H: в частности, распределению Максвелла-Больцмана , где T — температура, k — постоянная Больцмана.
Смотрите также: канонический ансамбль и микроканонический ансамбль.
[править] Другие формулировки
Теорему часто формулируют в терминах скобок Пуассона:
или оператора Лиувилля,
как
Другой способ формулировки теоремы Лиувилля заключается в том, чтобы сказать, что фазовый объём Γ сохраняется при сдвигах времени. Если
и Γ(t) множество точек фазового пространства, в которое может эволюционировать множество Γ в момент времени t, тогда
для всех времён t. Объём фазового пространства сохраняется. Поскольку эволюция во времени в гамильтоновой сеханике каноническое преобразование, это может быть доказано если показать, что все канонические преобразования имеют якобиан единичный якобиан.
[править] Замечания
- Каноническое квантование даёт квантовомеханическую версию теоремы.
Эта процедура, часто используемая, чтобы получить квантовые аналоги классических систем, вовлекает описание классической системы, используя гамильтоновую механику. Классическим переменным тогда дают иное толкование, а именно, как квантовые операторы, в то время как скобки Пуассона заменены коммутаторами. В этом случае получается уравнение
-
- где ρ матрица плотности.
- Уравнение Лиувилля верно для равновесных и неравновесных систем. Это фундаментальное уравнение неравновесной статистической механики. Обобщение на системы со столкновениями называется уравнением Больцмана.