Теорема Лиувилля утверждает, что объём фазового пространства гамильтоновой системы сохраняется во времени.История теоремы восходит к 1838 году, когда французский математик Жозеф Лиувилль исследовал движение планет. Он заметил удивительное свойство: если взять множество копий механической системы, слегка различающихся начальными условиями, то объём, занимаемый этими копиями в фазовом пространстве (координаты + импульсы), остаётся постоянным во времени. Это как если бы стадо овец рассыпалось по пастбищу, но занимаемая ими площадь не менялась бы. Позднее, в работах Гиббса и Эйнштейна, теорема Лиувилля стала фундаментом статистической механики. Она объясняет, почему энтропия изолированной системы не может уменьшаться: микроскопические траектории не сжимаются.
Жозеф Лиувилль опубликовал свою теорему в 1838 году в заметке о методе вариации произвольных постоянных в небесной механике. В современной формулировке её часто связывают с Анри Пуанкаре, который использовал сохранение фазового объёма в исследованиях устойчивости Солнечной системы. Эренфест в начале XX века дал наглядную трактовку: «жидкость фазовых точек несжимаема». Квантовый аналог — уравнение фон Неймана — также сохраняет вероятностный объём, но с оговорками из-за некоммутативности.
Теорема Лиувилля играет ключевую роль в физике плазмы и ускорителей, где сжатие пучков ограничено сохранением эмиттанса (параметра, пропорционального фазовому объёму). В статистической физике она объясняет, почему микроскопическая обратимость не противоречит макроскопической необратимости: фазовый объём сохраняется, но из-за неустойчивости траекторий он перемешивается до такой степени, что крупнозернистая энтропия растёт (так называемая перемешиваемость). Границы применимости: теорема верна только для изолированных гамильтоновых систем без диссипации и внешних полей, нарушающих каноническую структуру.
Теорема Лиувилля лежит в основе статистической физики и проектирования ускорителей частиц: она объясняет, почему нельзя сфокусировать пучок в бесконечно малое пятно без потери яркости.
Если бы не теорема Лиувилля, вечные двигатели второго рода были бы возможны. Молекулы воздуха могли бы сами собой собраться в одном углу комнаты, и вы бы получили дармовую энергию. Но сохранение фазового объёма запрещает такие фокусы — хаос всегда берёт своё.
| hcap(γ_t) | переменная | Емкость полуплоскости лёвнерова множества в момент времени t — half plane capacity м² |
| t | переменная | Временной параметр эволюции Лёвнера — время с |
