Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В статистической механике , А канонический ансамбль представляет собой статистический ансамбль , который представляет возможные состояния механической системы в тепловом равновесии с термостатом при фиксированной температуре. [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]
  • Статистическое равновесие (установившееся состояние): канонический ансамбль не развивается с течением времени, несмотря на то, что основная система находится в постоянном движении. Это потому, что ансамбль - это только функция сохраняющегося количества системы (энергии). [1]
  • Тепловое равновесие с другими системами : две системы, каждая из которых описывается каноническим ансамблем равных температур, приведенных в тепловой контакт [примечание 1] , каждая будет сохранять тот же самый ансамбль, и результирующая комбинированная система описывается каноническим ансамблем с той же температурой. [1]
  • Максимальная энтропия : Для заданной механической системы (фиксированный N , V ), канонический ансамбль среднего -⟨log Р ( энтропия ) является максимально возможным любым ансамбль с тем же E . [1]
  • Минимальная свободная энергия : Для заданной механической системы (фиксированный N , V ) и дали значение Т , канонический ансамбль среднем Е + кТ журнал Р ( свободная энергия Гельмгольца ) является наименьшим возможным из любого ансамбля. [1] Легко видеть, что это эквивалентно максимизации энтропии.

Свободная энергия, средние по ансамблю и точные дифференциалы [ править ]

  • Частные производные функции F ( N , V , T ) дают важные канонические средние по ансамблю величины:
    • среднее давление [1]
    • энтропия Гиббса является [1]
    • частная производная F / ∂ N приблизительно связана с химическим потенциалом , хотя концепция химического равновесия не совсем применима к каноническим ансамблям малых систем. [заметка 2]
    • а средняя энергия [1]
  • Точный дифференциал : Из приведенных выше выражений видно, что функция F ( V , T ) для данного N имеет точный дифференциал [1]
  • Первый закон термодинамики : Подставляя выше соотношение для E в точный дифференциал F , уравнение аналогично первый закон термодинамики найден, за исключением того, со средними знаками на некоторых из величин: [1]
  • Колебания энергии : энергия в системе имеет неопределенность в каноническом ансамбле. Дисперсия энергии является [1]

Примеры ансамблей [ править ]

Распределение Больцмана (разделимая система) [ править ]

Если систему, описываемую каноническим ансамблем, можно разделить на независимые части (это происходит, если разные части не взаимодействуют), и каждая из этих частей имеет фиксированный материальный состав, то каждая часть может рассматриваться как отдельная система и описывается каноническим ансамблем, имеющим ту же температуру, что и все. Более того, если система состоит из нескольких одинаковых частей, то каждая часть имеет точно такое же распределение, как и другие части.

Таким образом, канонический ансамбль обеспечивает точное распределение Больцмана (также известное как статистика Максвелла – Больцмана ) для систем любого числа частиц. Для сравнения, обоснование распределения Больцмана из микроканонического ансамбля применимо только для систем с большим числом частей (то есть в термодинамическом пределе).

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

Модель Изинга (сильно взаимодействующая система) [ править ]

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

Классическим примером этого является модель Изинга , которая является широко обсуждаемой игрушечной моделью для явлений ферромагнетизма и образования самоорганизованного монослоя и является одной из простейших моделей, демонстрирующих фазовый переход . Известно, что Ларс Онсагер точно рассчитал свободную энергию модели Изинга с квадратной решеткой бесконечного размера при нулевом магнитном поле в каноническом ансамбле. [10]

Точные выражения для ансамбля [ править ]

Точное математическое выражение для статистического ансамбля зависит от типа рассматриваемой механики - квантовой или классической, - поскольку понятие «микросостояние» в этих двух случаях существенно различается. В квантовой механике канонический ансамбль дает простое описание, поскольку диагонализация обеспечивает дискретный набор микросостояний с определенными энергиями. Классический механический случай более сложен, поскольку он включает вместо этого интеграл по каноническому фазовому пространству , а размер микросостояний в фазовом пространстве может быть выбран произвольно.

Квантовая механика [ править ]

Пример канонического ансамбля для квантовой системы, состоящей из одной частицы в потенциальной яме.
Канонический ансамбль для этой системы для указанной температуры. Состояния имеют экспоненциальный вес по энергии.
Гамильтониан частицы является Шредингера типом, H = U ( х ) + р 2 2 / м (потенциал U ( х ) нанесен в виде красной кривой). На каждой панели показан график энергетического положения с различными стационарными состояниями, а также боковой график, показывающий распределение состояний по энергии.

Статистический ансамбль в квантовой механике представлен матрицей плотности , обозначенной . В безбазисной нотации канонический ансамбль - это матрица плотности [ необходима цитата ]

где Ĥ - оператор полной энергии системы ( гамильтониан ), а exp () - матричный экспоненциальный оператор. Свободная энергия F определяется условием нормализации вероятности того, что матрица плотности имеет след единицы ,:

В качестве альтернативы канонический ансамбль может быть записан в простой форме с использованием обозначений в скобках , если известны собственные энергетические состояния системы и собственные значения энергии. Учитывая полную основу собственных состояний энергии | ψ я , индексируются I , канонический ансамбль:

где Е я являюсь собственными значениями энергии , определяемые ˙h | ψ я ⟩ = Е я | ψ я . Другими словами, набор микросостояний в квантовой механике задается полным набором стационарных состояний. Матрица плотности диагональна в этом базисе, причем каждый диагональный элемент непосредственно дает вероятность.

Классическая механика [ править ]

Пример канонического ансамбля для классической системы, состоящей из одной частицы в потенциальной яме.
График всех возможных состояний этой системы. Доступные физические состояния равномерно распределены в фазовом пространстве, но с неравномерным распределением энергии; на боковом графике отображается dv / dE .
Канонический ансамбль для этой системы для указанной температуры. Состояния имеют экспоненциальный вес по энергии.
Каждая панель показывает фазовое пространство (верхний график) и пространство энергетических позиций (нижний график). Гамильтониан частицы является Н = U ( х ) + р 2 /2 м , с потенциалом U ( х ) показан в виде красной кривой. На боковом графике показано распределение состояний по энергии.

В классической механике статистический ансамбль вместо этого представлен совместной функцией плотности вероятности в фазовом пространстве системы , ρ ( p 1 ,… p n , q 1 ,… q n ) , где p 1 ,… p n и q 1 ,… Q n - канонические координаты (обобщенные импульсы и обобщенные координаты) внутренних степеней свободы системы. В системе частиц число степеней свободы nзависит от числа частиц N способом, который зависит от физической ситуации. Для получения трехмерного газа monoatoms (не молекулы), п = 3 N . В двухатомных газах также будут вращательные и колебательные степени свободы.

Функция плотности вероятности для канонического ансамбля:

куда

  • E - энергия системы, функция фазы ( p 1 ,… q n ) ,
  • h - произвольная, но заранее определенная константа в единицах энергии × время , задающая размер одного микросостояния и обеспечивающая правильные размеры для ρ . [заметка 3]
  • C - поправочный коэффициент для пересчета, часто используемый для систем частиц, в которых идентичные частицы могут меняться местами друг с другом. [примечание 4]
  • F обеспечивает нормирующий коэффициент, а также является характеристической функцией состояния, свободной энергией.

Опять же, значение F определяется требованием, чтобы ρ была нормализованной функцией плотности вероятности:

Этот интеграл берется по всему фазовому пространству .

Другими словами, микросостояние в классической механике является область пространства фазы, и эта область имеет объем ч н C . Это означает, что каждое микросостояние охватывает диапазон энергий, однако этот диапазон можно сделать произвольно узким, выбрав h очень маленьким. Интеграл фазового пространства может быть преобразован в суммирование по микросостояниям после того, как фазовое пространство будет точно разделено в достаточной степени.

Окружающая поверхность [ править ]

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

Примечания [ править ]

  1. ^ Тепловой контакт означает, что системы могут обмениваться энергией посредством взаимодействия. Взаимодействие должно быть слабым, чтобы не нарушать микросостояния систем. [ требуется разъяснение ]
  2. ^ Поскольку N является целым числом, эта "производная" фактически относится квыражению конечных разностей, например F ( N ) - F ( N - 1) , или F ( N + 1) - F ( N ) , или [ F ( N + 1) - F ( N - 1)] / 2 . Эти конечно-разностные выражения эквивалентны только в термодинамическом пределе (очень большое N ).
  3. ^ (Историческое примечание) Первоначальный ансамбль Гиббса фактически установил h = 1 [единица энергии] × [единица времени] , что привело к зависимости от единицы значений некоторых термодинамических величин, таких как энтропия и химический потенциал. С момента появления квантовой механики h часто принимают равным постоянной Планка, чтобы получить полуклассическое соответствие с квантовой механикой.
  4. ^ В системе из N одинаковых частиц C = N ! ( Факториал из N ). Этот фактор корректирует перерасчет в фазовом пространстве из-за того, что идентичные физические состояния обнаруживаются в нескольких местах. См. Статью о статистическом ансамбле для получения дополнительной информации об этом пересчете.

Ссылки [ править ]

  1. ^ a b c d e f g h i j k l m n o Гиббс, Джозия Уиллард (1902). Элементарные принципы статистической механики . Нью-Йорк: Сыновья Чарльза Скрибнера .
  2. ^ Черчиньяни, Карло (1998). Людвиг Больцманн: человек, который доверял атомам . Издательство Оксфордского университета. ISBN 9780198501541.
  3. ^ Roccaverde, Andrea (август 2018). «Монотонно ли нарушение ансамблевой эквивалентности по количеству ограничений?». Indagationes Mathematicae . 30 : 7–25. arXiv : 1807.02791 . DOI : 10.1016 / j.indag.2018.08.001 . ISSN 0019-3577 . 
  4. ^ Гарлашелли, Диего; ден Холландер, Франк; Роккаверде, Андреа (25 ноября 2016 г.). «Ансамблевая неэквивалентность в случайных графах с модульной структурой». Журнал физики A: математический и теоретический . 50 (1): 015001. arXiv : 1603.08759 . DOI : 10.1088 / 1751-8113 / 50/1/015001 . ISSN 1751-8113 . 
  5. ^ Гарлашелли, Диего; ден Холландер, Франк; Роккаверде, Андреа (13 июля 2018 г.). «Ковариационная структура за нарушением ансамблевой эквивалентности в случайных графах». Журнал статистической физики . 173 (3–4): 644–662. arXiv : 1711.04273 . Bibcode : 2018JSP ... 173..644G . DOI : 10.1007 / s10955-018-2114-х . ISSN 0022-4715 . 
  6. ^ Hollander, F. den; Mandjes, M .; Roccaverde, A .; Старревелд, Нью-Джерси (2018). «Ансамблевая эквивалентность плотных графов». Электронный журнал вероятностей . 23 . arXiv : 1703.08058 . DOI : 10.1214 / 18-EJP135 . ISSN 1083-6489 . 
  7. ^ Эллис, Ричард С .; Хейвен, Кайл; Теркингтон, Брюс (2002). «Неэквивалентные статистические ансамбли равновесия и уточненные теоремы устойчивости для наиболее вероятных течений». Нелинейность . 15 (2): 239. arXiv : math-ph / 0012022 . DOI : 10.1088 / 0951-7715 / 15/2/302 . ISSN 0951-7715 . 
  8. ^ Барре, Жюльен; Гонсалвеш, Бруно (декабрь 2007 г.). «Неэквивалентность ансамбля в случайных графах». Physica A: Статистическая механика и ее приложения . 386 (1): 212–218. arXiv : 0705.2385 . DOI : 10.1016 / j.physa.2007.08.015 . ISSN 0378-4371 . 
  9. ^ Бакстер, Родни Дж. (1982). Точно решаемые модели в статистической механике . Academic Press Inc. ISBN 9780120831807.
  10. Онсагер, Л. (1944). «Кристаллическая статистика. I. Двумерная модель с переходом порядок-беспорядок». Физический обзор . 65 (3–4): 117–149. Полномочный код : 1944PhRv ... 65..117O . DOI : 10.1103 / PhysRev.65.117 .