Канонический ансамбль
Статистическая механика |
---|
В статистической механике канонический ансамбль — это статистический ансамбль , который представляет возможные состояния механической системы, находящейся в тепловом равновесии с тепловой баней при фиксированной температуре. [1] Система может обмениваться энергией с тепловой баней, так что состояния системы будут различаться по общей энергии.
Основной термодинамической переменной канонического ансамбля, определяющей распределение вероятностей состояний, является абсолютная температура (обозначение: T ). Ансамбль обычно также зависит от механических переменных, таких как количество частиц в системе (символ: N ) и объем системы (символ: V ), каждая из которых влияет на природу внутренних состояний системы. Ансамбль с этими тремя параметрами, которые считаются постоянными, чтобы ансамбль считался каноническим, иногда называют NVT ансамблем .
Канонический ансамбль присваивает вероятность P каждому отдельному микросостоянию, определяемому следующей экспонентой:
где E — полная энергия микросостояния, а k — постоянная Больцмана .
Число F представляет собой свободную энергию (в частности, свободную энергию Гельмгольца ) и считается константой для конкретного ансамбля, который считается каноническим. Однако вероятности и F будут различаться, если разные N , V , T. выбраны Свободная энергия F выполняет две роли: во-первых, она обеспечивает коэффициент нормализации распределения вероятностей (вероятности по полному набору микросостояний должны в сумме составлять единицу); во-вторых, многие важные средние значения ансамбля могут быть непосредственно вычислены из функции F ( N , V , T ) .
Альтернативная, но эквивалентная формулировка той же концепции записывает вероятность как
используя каноническую функцию распределения
а не свободная энергия. Приведенные ниже уравнения (в терминах свободной энергии) можно переформулировать в терминах канонической статистической суммы с помощью простых математических манипуляций.
Исторически канонический ансамбль был впервые описан Больцманом (назвавшим его холодом ) в 1884 году в относительно неизвестной статье. [2] Позже он был переформулирован и тщательно исследован Гиббсом в 1902 году. [1]
Применимость канонического ансамбля
[ редактировать ]Канонический ансамбль — это ансамбль, описывающий возможные состояния системы, находящейся в тепловом равновесии с тепловой баней (вывод этого факта можно найти у Гиббса). [1] ).
Канонический ансамбль применим к системам любого размера; хотя необходимо предположить, что тепловая ванна очень велика (т. е. принять макроскопический предел ), сама система может быть маленькой или большой.
Условие механической изоляции системы необходимо для того, чтобы гарантировать отсутствие обмена энергией с каким-либо внешним объектом, кроме тепловой ванны. [1] В целом канонический ансамбль желательно применять к системам, непосредственно контактирующим с баней, поскольку именно этот контакт обеспечивает равновесие. В практических ситуациях использование канонического ансамбля обычно оправдывается либо 1) предположением, что контакт механически слабый, либо 2) включением подходящей части соединения тепловой ванны в анализируемую систему, так что механическое влияние соединения в системе моделируется внутри системы.
Когда полная энергия фиксирована, но внутреннее состояние системы неизвестно, подходящим описанием является не канонический ансамбль, а микроканонический ансамбль . Для систем, где число частиц является переменным (из-за контакта с резервуаром частиц), правильным описанием является большой канонический ансамбль . В учебниках статистической физики взаимодействующих систем частиц предполагается, что три ансамбля термодинамически эквивалентны : флуктуации макроскопических величин вокруг их среднего значения становятся малыми, а по мере стремления числа частиц к бесконечности они стремятся к нулю. В последнем пределе, называемом термодинамическим пределом, средние ограничения фактически становятся жесткими ограничениями. Предположение об ансамблевой эквивалентности восходит к Гиббсу и было проверено для некоторых моделей физических систем с короткодействующими взаимодействиями и с небольшим количеством макроскопических ограничений. Несмотря на то, что во многих учебниках до сих пор говорится о том, что ансамблевая эквивалентность справедлива для всех физических систем, за последние десятилетия были найдены различные примеры физических систем, для которых происходит нарушение ансамблевой эквивалентности. [3] [4] [5] [6] [7] [8]
Характеристики
[ редактировать ]- Уникальность : Канонический ансамбль однозначно определен для данной физической системы при данной температуре и не зависит от произвольного выбора, такого как выбор системы координат (классическая механика), базиса (квантовая механика) или нуля энергии. [1] Канонический ансамбль — единственный ансамбль с постоянными N , V и T , воспроизводящий фундаментальное термодинамическое соотношение . [9]
- Статистическое равновесие (стационарное состояние): канонический ансамбль не развивается с течением времени, несмотря на то, что основная система находится в постоянном движении. Это связано с тем, что ансамбль является лишь функцией сохраняющейся величины системы (энергии). [1]
- Тепловое равновесие с другими системами : две системы, каждая из которых описывается каноническим ансамблем одинаковой температуры, вступают в тепловой контакт. [примечание 1] каждый из них сохранит один и тот же ансамбль, и полученная объединенная система описывается каноническим ансамблем той же температуры. [1]
- Максимальная энтропия : для данной механической системы (фиксированные N , V ) каноническое среднее по ансамблю −⟨log P ⟩ ( энтропия ) является максимально возможным для любого ансамбля с тем же ⟨ E ⟩ . [1]
- Минимальная свободная энергия : для данной механической системы (фиксированные N , V ) и данного значения T каноническое среднее по ансамблю ⟨ E + kT log P ⟩ ( свободная энергия Гельмгольца ) является минимально возможным из любого ансамбля. [1] Легко видеть, что это эквивалентно максимизации энтропии.
Свободная энергия, средние значения по ансамблю и точные дифференциалы
[ редактировать ]- Частные производные функции F ( N , V , T ) дают важные канонические средние величины по ансамблю:
- среднее давление [1]
- Гиббса энтропия [1]
- частная производная ∂ F /∂ N приблизительно связана с химическим потенциалом , хотя концепция химического равновесия не совсем применима к каноническим ансамблям малых систем. [примечание 2]
- и средняя энергия [1]
- Точный дифференциал : Из приведенных выше выражений видно, что функция F ( V , T ) для данного N имеет точный дифференциал [1]
- Первый закон термодинамики : Подставив приведенное выше соотношение для ⟨ E ⟩ в точный дифференциал F , можно найти уравнение, аналогичное первому закону термодинамики , за исключением средних знаков некоторых величин: [1]
- Флуктуации энергии : энергия в системе имеет неопределенность в каноническом ансамбле. Дисперсия энергии [1]
Примеры ансамблей
[ редактировать ]«Мы можем представить себе большое количество систем одной и той же природы, но различающихся конфигурациями и скоростями, которые они имеют в данный момент, и различающихся не только в бесконечно малых величинах, но и в том, что они могут охватывать любую мыслимую комбинацию конфигурации и скорости...» Дж. В. Гиббс (1903) [10]
Распределение Больцмана (сепарабельная система)
[ редактировать ]Если систему, описываемую каноническим ансамблем, можно разделить на независимые части (это происходит, если различные части не взаимодействуют), и каждая из этих частей имеет фиксированный материальный состав, то каждую часть можно рассматривать как самостоятельную систему и описывается каноническим ансамблем, имеющим ту же температуру, что и целое. Более того, если система состоит из множества одинаковых частей, то каждая часть имеет точно такое же распределение, как и другие части.
Таким образом, канонический ансамбль обеспечивает именно распределение Больцмана (также известное как статистика Максвелла – Больцмана ) для систем любого количества частиц. Для сравнения, обоснование распределения Больцмана из микроканонического ансамбля применимо только для систем с большим числом частей (т. е. в термодинамическом пределе).
Распределение Больцмана само по себе является одним из важнейших инструментов применения статистической механики к реальным системам, поскольку оно значительно упрощает исследование систем, которые можно разделить на независимые части (например, частицы в газе , электромагнитные моды в полости , молекулярные связи). в полимере ).
Модель Изинга (сильно взаимодействующая система)
[ редактировать ]В системе, состоящей из взаимодействующих друг с другом частей, обычно невозможно найти способ разделить систему на независимые подсистемы, как это делается в распределении Больцмана. В этих системах приходится прибегать к использованию полного выражения канонического ансамбля для описания термодинамики системы при ее термостатировании в термостате. Канонический ансамбль, как правило, является наиболее простой основой для изучения статистической механики и даже позволяет получать точные решения в некоторых взаимодействующих модельных системах. [11]
Классическим примером этого является модель Изинга , которая представляет собой широко обсуждаемую игрушечную модель явлений ферромагнетизма и образования самоорганизующегося монослоя и является одной из простейших моделей, показывающих фазовый переход . Ларс Онсагер , как известно, точно рассчитал свободную энергию модели Изинга с квадратной решеткой бесконечного размера при нулевом магнитном поле в каноническом ансамбле. [12]
Точные выражения для ансамбля
[ редактировать ]Точное математическое выражение статистического ансамбля зависит от типа рассматриваемой механики — квантовой или классической — поскольку понятие «микросостояния» в этих двух случаях существенно различается. В квантовой механике канонический ансамбль дает простое описание, поскольку диагонализация обеспечивает дискретный набор микросостояний с определенными энергиями. Классический механический случай более сложен, поскольку вместо этого он включает интеграл по каноническому фазовому пространству , а размер микросостояний в фазовом пространстве может быть выбран несколько произвольно.
Квантово-механический
[ редактировать ]Статистический ансамбль в квантовой механике представляется матрицей плотности , обозначаемой . В безбазисной записи канонический ансамбль представляет собой матрицу плотности [ нужна ссылка ]
где Ĥ — оператор полной энергии системы ( гамильтониан ), а exp() — матричный экспоненциальный оператор. Свободная энергия F определяется условием нормировки вероятности, что матрица плотности имеет след единицы: :
Альтернативно канонический ансамбль можно записать в простой форме с использованием нотации Брекета , если собственные состояния энергии известны и собственные значения энергии. Учитывая полную основу собственных состояний энергии | ψ i ⟩ , индексированный i , канонический ансамбль:
где E i — собственные значения энергии, определяемые Ĥ | ψ я ⟩ знак равно E я | ψ я ⟩ . Другими словами, набор микросостояний в квантовой механике задается полным набором стационарных состояний. В этом базисе матрица плотности является диагональной, причем каждый диагональный элемент непосредственно дает вероятность.
Классическая механическая
[ редактировать ]В классической механике статистический ансамбль вместо этого представлен совместной функцией плотности вероятности системы в фазовом пространстве : ρ ( p 1 , … p n , q 1 , … q n ) , где p 1 , … p n и q 1 , … q n — канонические координаты (обобщенные импульсы и обобщенные координаты) внутренних степеней свободы системы. . В системе частиц число степеней свободы n зависит от количества частиц N таким образом, что это зависит от физической ситуации. Для трехмерного газа из моноатомов (не молекул) = 3 N. n В двухатомных газах также будут вращательные и колебательные степени свободы.
Функция плотности вероятности для канонического ансамбля:
где
- E — энергия системы, функция фазы ( p 1 , … q n ) ,
- h — произвольная, но заранее определенная константа с единицами энергии×время , определяющая размер одного микросостояния и обеспечивающая правильные размеры ρ . [примечание 3]
- C — поправочный коэффициент завышения, часто используемый для систем частиц, в которых идентичные частицы могут меняться местами друг с другом. [примечание 4]
- F обеспечивает нормирующий коэффициент, а также является характеристической функцией состояния, свободной энергией.
Опять же, значение F определяется требованием, чтобы ρ была нормализованной функцией плотности вероятности:
Этот интеграл берется по всему фазовому пространству .
Другими словами, микросостояние в классической механике представляет собой область фазового пространства, и эта область имеет объем h н С. Это означает, что каждое микросостояние охватывает определенный диапазон энергий, однако этот диапазон можно сделать сколь угодно узким, выбрав h очень маленьким. Интеграл фазового пространства можно преобразовать в суммирование по микросостояниям, если фазовое пространство разделено в достаточной степени.
См. также
[ редактировать ]Примечания
[ редактировать ]- ^ Тепловой контакт означает, что системы способны обмениваться энергией посредством взаимодействия. Взаимодействие должно быть слабым, чтобы существенно не нарушать микросостояния систем. [ нужны разъяснения ]
- ^ Поскольку N является целым числом, эта «производная» на самом деле относится к выражению конечной разности , такому как F ( N ) - F ( N - 1) или F ( N + 1) - F ( N ) или [ F ( N + 1) - F ( N - 1)]/2 . Эти конечно-разностные выражения эквивалентны только в термодинамическом пределе (очень большое N ).
- ^ (Историческая справка) Первоначальный ансамбль Гиббса фактически установил h = 1 [единица энергии]×[единица времени] , что привело к зависимости от единицы измерения значений некоторых термодинамических величин, таких как энтропия и химический потенциал. С момента появления квантовой механики h часто принимают равным постоянной Планка , чтобы получить квазиклассическое соответствие с квантовой механикой.
- ^ В системе N одинаковых частиц C = N ! ( факториал N ) . Этот фактор исправляет пересчет в фазовом пространстве из-за того, что идентичные физические состояния обнаруживаются в нескольких местах. см . в статье о статистическом ансамбле . Дополнительную информацию об этом завышении
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с д и ж г час я дж к л м н тот Гиббс, Джозайя Уиллард (1902). Элементарные начала статистической механики . Нью-Йорк: Сыновья Чарльза Скрибнера .
- ^ Черчиньяни, Карло (1998). Людвиг Больцман: Человек, который доверял атомам . Издательство Оксфордского университета. ISBN 9780198501541 .
- ^ Роккаверде, Андреа (август 2018 г.). «Монотонно ли нарушение ансамблевой эквивалентности по количеству ограничений?». Indagationes Mathematicae . 30 :7–25. arXiv : 1807.02791 . дои : 10.1016/j.indag.2018.08.001 . ISSN 0019-3577 . S2CID 119173928 .
- ^ Гарлашелли, Диего; ден Холландер, Фрэнк; Роккаверде, Андреа (25 ноября 2016 г.). «Ансамблевая неэквивалентность в случайных графах с модульной структурой». Физический журнал A: Математический и теоретический . 50 (1): 015001. arXiv : 1603.08759 . дои : 10.1088/1751-8113/50/1/015001 . ISSN 1751-8113 . S2CID 53578783 .
- ^ Гарлашелли, Диего; ден Холландер, Фрэнк; Роккаверде, Андреа (13 июля 2018 г.). «Ковариационная структура, лежащая в основе нарушения ансамблевой эквивалентности в случайных графах». Журнал статистической физики . 173 (3–4): 644–662. arXiv : 1711.04273 . Бибкод : 2018JSP...173..644G . дои : 10.1007/s10955-018-2114-x . ISSN 0022-4715 . S2CID 52569377 .
- ^ Холландер, Ф. ден; Манджес, М.; Роккаверде, А.; Старревельд, Нью-Джерси (2018). «Ансамблевая эквивалентность плотных графов». Электронный журнал вероятностей . 23 . arXiv : 1703.08058 . дои : 10.1214/18-EJP135 . ISSN 1083-6489 . S2CID 53610196 .
- ^ Эллис, Ричард С.; Хейвен, Кайл; Теркингтон, Брюс (2002). «Неэквивалентные статистические равновесные ансамбли и уточненные теоремы устойчивости наиболее вероятных течений». Нелинейность . 15 (2): 239. arXiv : math-ph/0012022 . Бибкод : 2002Nonli..15..239E . дои : 10.1088/0951-7715/15/2/302 . ISSN 0951-7715 . S2CID 18616132 .
- ^ Барре, Жюльен; Гонсалвес, Бруно (декабрь 2007 г.). «Ансамблевая неэквивалентность в случайных графах». Физика А: Статистическая механика и ее приложения . 386 (1): 212–218. arXiv : 0705.2385 . Бибкод : 2007PhyA..386..212B . дои : 10.1016/j.physa.2007.08.015 . ISSN 0378-4371 . S2CID 15399624 .
- ^ Гао, Сян (март 2022 г.). «Математика теории ансамбля» . Результаты по физике . 34 : 105230. arXiv : 2006.00485 . Бибкод : 2022ResPh..3405230G . дои : 10.1016/j.rinp.2022.105230 . S2CID 221978379 .
- ^ Гиббс, JW (1928). Собрание сочинений, Том. 2 . Green & Co, Лондон, Нью-Йорк: Longmans.
- ^ Бакстер, Родни Дж. (1982). Точно решенные модели статистической механики . Academic Press Inc. ISBN 9780120831807 .
- ^ Онсагер, Л. (1944). «Статистика кристаллов. I. Двумерная модель с переходом порядок-беспорядок». Физический обзор . 65 (3–4): 117–149. Бибкод : 1944PhRv...65..117O . дои : 10.1103/PhysRev.65.117 .