В статистической механике, канонический ансамбль - это статистический ансамбль, который представляет возможные состояния механической системы в тепловом равновесии с термостатом в фиксированная температура. Система может обмениваться энергией с термостатом, так что состояния системы будут различаться по общей энергии.
Основной термодинамической переменной канонического ансамбля, определяющей распределение вероятностей состояний, является абсолютная температура (символ: T). Ансамбль обычно также зависит от механических переменных, таких как количество частиц в системе (символ: N) и объем системы (символ: V), каждая из которых влияет на характер внутренних состояний системы. Ансамбль с этими тремя параметрами иногда называют ансамблем NVT .
Канонический ансамбль присваивает вероятность P каждому отдельному микросостоянию, заданному следующей экспонентой:
где E - полная энергия микросостояния, а k - постоянная Больцмана.
Число F - это свободная энергия (в частности, свободная энергия Гельмгольца ) и является постоянной для ансамбля. Однако вероятности и F будут отличаться, если будут выбраны разные N, V, T. Свободная энергия F выполняет две роли: во-первых, она обеспечивает коэффициент нормализации для распределения вероятностей (вероятности по полному набору микросостояний должны в сумме равняться единице); во-вторых, многие важные средние по ансамблю можно напрямую вычислить с помощью функции F (N, V, T).
В альтернативной, но эквивалентной формулировке того же понятия вероятность записывается как
с использованием канонической функции распределения
, а не свободная энергия. Приведенные ниже уравнения (в терминах свободной энергии) можно переформулировать в терминах канонической статистической суммы с помощью простых математических манипуляций.
Исторически канонический ансамбль был впервые описан Больцманом (который назвал его голодом) в 1884 году в относительно неизвестной статье. Позднее он был переформулирован и подробно исследован Гиббсом в 1902 году.
Канонический ансамбль - это ансамбль, который описывает возможные состояния системы, находящейся в тепловом равновесии с термостатом ( вывод этого факта можно найти у Гиббса).
Канонический ансамбль применим к системам любого размера; хотя необходимо предположить, что термостат очень большой (т.е. возьмем макроскопический предел ), сама система может быть маленькой или большой.
Условие механической изоляции системы необходимо для гарантии того, что она не будет обмениваться энергией с какими-либо внешними объектами, кроме термостата. В общем, желательно применять канонический ансамбль к системам, которые находятся в прямом контакте с термостатом, поскольку именно этот контакт обеспечивает равновесие. В практических ситуациях использование канонического ансамбля обычно оправдывается либо 1) предположением, что контакт является механически слабым, или 2) включением подходящей части соединения термостата в анализируемую систему, так что механическое влияние соединения в системе моделируется внутри системы.
Когда полная энергия фиксирована, но внутреннее состояние системы в остальном неизвестно, подходящим описанием является не канонический ансамбль, а микроканонический ансамбль. Для систем, в которых число частиц является переменным (из-за контакта с резервуаром частиц), правильным описанием является большой канонический ансамбль. В учебниках статистической физики для взаимодействующих систем частиц предполагается, что три ансамбля термодинамически эквивалентны : флуктуации макроскопических величин вокруг их среднего значения становятся небольшими и, поскольку количество частиц стремится к бесконечность, они стремятся исчезнуть. В последнем пределе, называемом термодинамическим пределом, средние ограничения фактически становятся жесткими. Предположение об эквивалентности ансамбля восходит к Гиббсу и было проверено для некоторых моделей физических систем с короткодействующими взаимодействиями и с небольшим количеством макроскопических ограничений. Несмотря на то, что во многих учебниках до сих пор говорится о том, что эквивалентность ансамбля сохраняется для всех физических систем, за последние десятилетия были найдены различные примеры физических систем, для которых происходит нарушение эквивалентности ансамбля.
Если систему, описываемую каноническим ансамблем, можно разделить на независимые части (это происходит, если разные части не взаимодействуют), и каждая из эти части имеют фиксированный материальный состав, тогда каждая часть может рассматриваться как отдельная система и описываться каноническим ансамблем, имеющим ту же температуру, что и все. Более того, если система состоит из нескольких одинаковых частей, то каждая часть имеет точно такое же распределение, как и другие части.
Таким образом, канонический ансамбль обеспечивает в точности распределение Больцмана (также известное как статистика Максвелла – Больцмана ) для систем с любым числом частиц. Для сравнения, обоснование распределения Больцмана из микроканонического ансамбля применимо только для систем с большим количеством частей (то есть в термодинамическом пределе).
Само распределение Больцмана является одним из наиболее важных инструментов в применении статистической механики к реальным системам, поскольку оно значительно упрощает изучение систем, которые можно разделить на независимые части (например, частицы в газе, электромагнитные моды в полости, молекулярные связи в полимере ).
В системе, состоящей из частей, которые взаимодействуют друг с другом, обычно невозможно найти способ разделить систему на независимые подсистемы, как это сделано в распределение Больцмана. В этих системах необходимо прибегать к использованию полного выражения канонического ансамбля, чтобы описать термодинамику системы, когда она термостатирована к термостату. Канонический ансамбль, как правило, является наиболее простой структурой для изучения статистической механики и даже позволяет получать точные решения в некоторых взаимодействующих модельных системах.
Классическим примером этого является модель Изинга, которая является широко обсуждаемой игрушечной моделью для явлений ферромагнетизма и формирования самоорганизованного монослоя и является одной из простейших моделей, демонстрирующих фазовый переход. Ларс Онзагер, как известно, точно рассчитал свободную энергию модели Изинга с квадратной решеткой бесконечного размера при нулевом магнитном поле в каноническом ансамбле.
Точное математическое выражение для статистического ансамбля зависит от типа рассматриваемой механики - квантовой или классической, - поскольку понятие «микросостояние» в этих двух случаях существенно различается. В квантовой механике канонический ансамбль обеспечивает простое описание, поскольку диагонализация обеспечивает дискретный набор микросостояний с определенными энергиями. Классический механический случай более сложен, поскольку он включает вместо этого интеграл по каноническому фазовому пространству, а размер микросостояний в фазовом пространстве может быть выбран произвольно.
Статистический ансамбль в квантовой механике представлен матрицей плотности, обозначенной Автор . В безбазисной нотации канонический ансамбль представляет собой матрицу плотности
где Ĥ - оператор полной энергии системы (гамильтониан ), а exp () - это матричный экспоненциальный оператор . Свободная энергия F определяется условием нормировки вероятности, что матрица плотности имеет след единицы, :
В качестве альтернативы канонический ансамбль можно записать в простой форме, используя скобку, если известны собственные состояния энергии системы и собственные значения энергии. Учитывая полный базис собственных состояний энергии | ψ i ⟩, индексированный i, канонический ансамбль имеет вид:
где E i - собственные значения энергии, определяемые формулой Ĥ | ψ i ⟩ = E i|ψi⟩. Другими словами, набор микросостояний в квантовой механике задается полным набором стационарных состояний. Матрица плотности диагональна в этом базисе, причем каждый диагональный элемент непосредственно дает вероятность.
В классической механике статистический ансамбль вместо этого представлен совместной функцией плотности вероятности в системном фазовом пространстве, ρ ( p 1,… p n, q 1,… q n), где p 1, … P n и q 1,… q n - это канонические координаты (обобщенные импульсы и обобщенные координаты) внутренних градусов системы свободы. В системе частиц число степеней свободы n зависит от числа частиц N способом, который зависит от физической ситуации. Для трехмерного газа из моноатомов (не молекул) n = 3N. В двухатомных газах также будут вращательные и колебательные степени свободы.
Функция плотности вероятности для канонического ансамбля:
где
Опять же, значение F определяется требованием, чтобы ρ было нормализованным Функция плотности вероятности:
Этот интеграл равен по всему фазовому пространству .
Другими словами, микросостояние в классической механике - это область фазового пространства, и эта область имеет объем hC. Это означает, что каждое микросостояние охватывает диапазон энергии, однако этот диапазон можно сделать произвольно узким, выбрав h очень маленьким. Интеграл фазового пространства может быть преобразован в суммирование по микросостояниям после того, как фазовое пространство будет точно разделено в достаточной степени.
Канонический ансамбль - это замкнутая система, поэтому его свободная энергия содержит поверхностные члены. Поэтому, строго говоря, CE следует называть ансамблем NVAT, где A - площадь окружающей поверхности. Если в статистической сумме нет специальных членов для поверхностного потенциала, это поверхность твердого твердого тела.