المجموعة الكنسية

في الميكانيكا الإحصائية ، يُعرف التجمع الكنسي بأنه التجمع الإحصائي الذي يمثل الحالات الممكنة لنظام ميكانيكي في حالة توازن حراري مع خزان حراري عند درجة حرارة ثابتة. [ 1 ] يمكن للنظام تبادل الطاقة مع الخزان الحراري، ولذلك تختلف حالات النظام في إجمالي الطاقة.

المتغير الديناميكي الحراري الرئيسي للمجموعة الكنسية، والذي يحدد توزيع احتمالية الحالات، هو درجة الحرارة المطلقة (رمزها: T ). وتعتمد المجموعة عادةً أيضًا على متغيرات ميكانيكية مثل عدد الجسيمات في النظام (رمزها: N ) وحجم النظام (رمزها: V )، حيث يؤثر كل منهما على طبيعة الحالات الداخلية للنظام. تُسمى المجموعة التي تحتوي على هذه المعلمات الثلاث، والتي يُفترض ثباتها لكي تُعتبر المجموعة كنسية، أحيانًا بمجموعة NVT .

تُخصص المجموعة الكنسية احتمالًا P لكل حالة دقيقة مميزة ، يُعطى بواسطة الدالة الأسية التالية:

P=هـ(F-هـ)/(كتي)،{\displaystyle P=e^{(FE)/(kT)},}

حيث E هي الطاقة الكلية للحالة المجهرية، و k هو ثابت بولتزمان .

يمثل العدد F الطاقة الحرة (وتحديدًا طاقة هيلمهولتز الحرة )، ويُفترض أن يكون ثابتًا لمجموعة محددة لاعتبارها مجموعةً نموذجية. مع ذلك، تتغير الاحتمالات و F باختلاف قيم N و V و T المختارة. تؤدي الطاقة الحرة F دورين: أولًا، توفر عاملًا معياريًا لتوزيع الاحتمالات (يجب أن يكون مجموع الاحتمالات، على كامل مجموعة الحالات المجهرية، مساويًا للواحد)؛ ثانيًا، يمكن حساب العديد من المتوسطات المهمة للمجموعات مباشرةً من الدالة F ( N , V , T ) .

يمكن صياغة الاحتمالية بشكل بديل ومكافئ لنفس المفهوم على النحو التالي:

P=1Zهـ-هـ/(كتي)،{\displaystyle \textstyle P={\frac {1}{Z}}e^{-E/(kT)},}

باستخدام دالة التقسيم المتعارف عليها

Z=هـ-F/(كتي){\displaystyle \textstyle Z=e^{-F/(kT)}}

بدلاً من الطاقة الحرة. يمكن إعادة صياغة المعادلات أدناه (باستخدام الطاقة الحرة) بدلالة دالة التوزيع الأساسية من خلال عمليات رياضية بسيطة.

تاريخياً، وُصفت المجموعة الكنسية لأول مرة من قبل بولتزمان (الذي أطلق عليها اسم "هولود" ) في عام 1884 في ورقة بحثية غير معروفة نسبياً. [ 2 ] ثم أعيدت صياغتها لاحقاً ودُرست على نطاق واسع من قبل جيبس ​​في عام 1902. [ 1 ]

مدى قابلية تطبيق المجموعة الكنسية

المجموعة الكنسية هي المجموعة التي تصف الحالات الممكنة لنظام في حالة توازن حراري مع حمام حراري (يمكن العثور على اشتقاق هذه الحقيقة في Gibbs [ 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 ]ص=-FV،{\displaystyle \langle p\rangle =-{\frac {\partial F}{\partial V}},}
    • إنتروبيا جيبس ​​هي [ 1 ]S=-كسجلP=-Fتي،{\displaystyle S=-k\langle \log P\rangle =-{\frac {\partial F}{\partial T}},}
    • يرتبط المشتق الجزئي ∂F / ∂N تقريبًا بالجهد الكيميائي ، على الرغم من أن مفهوم التوازن الكيميائي لا ينطبق تمامًا على المجموعات الكنسية للأنظمة الصغيرة. [ ملاحظة 2 ]
    • ومتوسط ​​الطاقة هو [ 1 ]هـ=F+Sتي.{\displaystyle \langle E\rangle =F+ST.}
  • التفاضل التام : من التعبيرات أعلاه، يمكن ملاحظة أن الدالة F ( V , T ) ، لـ N معينة ، لها التفاضل التام [ 1 ]دF=-Sدتي-صدV.{\displaystyle dF=-S\,dT-\langle p\rangle \,dV.}
  • القانون الأول للديناميكا الحرارية : باستبدال العلاقة المذكورة أعلاه لـ E في التفاضل التام لـ F ، يتم الحصول على معادلة مشابهة للقانون الأول للديناميكا الحرارية ، باستثناء الإشارات المتوسطة لبعض الكميات: [ 1 ]دهـ=تيدS-صدV.{\displaystyle d\langle E\rangle =T\,dS-\langle p\rangle \,dV.}
  • تقلبات الطاقة : تتسم الطاقة في النظام بعدم اليقين في المجموعة الكنسية. تباين الطاقة هو [ 1 ]هـ2-هـ2=كتي2هـتي.{\displaystyle \langle E^{2}\rangle -\langle E\rangle ^{2}=kT^{2}{\frac {\partial \langle E\rangle }{\partial T}}.}

أمثلة على المجموعات الموسيقية

"We may imagine a great number of systems of the same nature, but differing in the configurations and velocities which they have at a given instant, and differing in not merely infinitesimally, but it may be so as to embrace every conceivable combination of configuration and velocities..." J. W. Gibbs (1903)[10]

Boltzmann distribution (separable system)

If a system described by a canonical ensemble can be separated into independent parts (this happens if the different parts do not interact), and each of those parts has a fixed material composition, then each part can be seen as a system unto itself and is described by a canonical ensemble having the same temperature as the whole. Moreover, if the system is made up of multiple similar parts, then each part has exactly the same distribution as the other parts.

In this way, the canonical ensemble provides exactly the Boltzmann distribution (also known as Maxwell–Boltzmann statistics) for systems of any number of particles. In comparison, the justification of the Boltzmann distribution from the microcanonical ensemble only applies for systems with a large number of parts (that is, in the thermodynamic limit).

The Boltzmann distribution itself is one of the most important tools in applying statistical mechanics to real systems, as it massively simplifies the study of systems that can be separated into independent parts (e.g., particles in a gas, electromagnetic modes in a cavity, molecular bonds in a polymer).

Ising model (strongly interacting system)

In a system composed of pieces that interact with each other, it is usually not possible to find a way to separate the system into independent subsystems as done in the Boltzmann distribution. In these systems it is necessary to resort to using the full expression of the canonical ensemble in order to describe the thermodynamics of the system when it is thermostatted to a heat bath. The canonical ensemble is generally the most straightforward framework for studies of statistical mechanics and even allows one to obtain exact solutions in some interacting model systems.[11]

A classic example of this is the Ising model, which is a widely discussed toy model for the phenomena of ferromagnetism and of self-assembled monolayer formation, and is one of the simplest models that shows a phase transition. Lars Onsager famously calculated exactly the free energy of an infinite-sized square-lattice Ising model at zero magnetic field, in the canonical ensemble.[12]

Precise expressions for the ensemble

The precise mathematical expression for a statistical ensemble depends on the kind of mechanics under consideration—quantum or classical—since the notion of a "microstate" is considerably different in these two cases. In quantum mechanics, the canonical ensemble affords a simple description since diagonalization provides a discrete set of microstates with specific energies. The classical mechanical case is more complex as it involves instead an integral over canonical phase space, and the size of microstates in phase space can be chosen somewhat arbitrarily.

Quantum mechanical

Example of canonical ensemble for a quantum system consisting of one particle in a potential well.
Plot of all possible states of this system. The available stationary states displayed as horizontal bars of varying darkness according to |ψi(x)|2.
A canonical ensemble for this system, for the temperature shown. The states are weighted exponentially in energy.
The particle's Hamiltonian is Schrödinger-type, Ĥ = U(x) + p2/2m (the potential U(x) is plotted as a red curve). Each panel shows an energy-position plot with the various stationary states, along with a side plot showing the distribution of states in energy.

A statistical ensemble in quantum mechanics is represented by a density matrix, denoted by ρ^{\displaystyle {\hat {\rho }}}. In basis-free notation, the canonical ensemble is the density matrix

ρ^=exp(1kT(FH^)),{\displaystyle {\hat {\rho }}=\exp \left({\tfrac {1}{kT}}(F-{\hat {H}})\right),}

where Ĥ is the system's total energy operator (Hamiltonian), and exp() is the matrix exponential operator. The free energy F is determined by the probability normalization condition that the density matrix has a trace of one, Trρ^=1{\displaystyle \operatorname {Tr} {\hat {\rho }}=1}:

eFkT=Trexp(1kTH^).{\displaystyle e^{-{\frac {F}{kT}}}=\operatorname {Tr} \exp \left(-{\tfrac {1}{kT}}{\hat {H}}\right).}

يمكن كتابة المجموعة الكنسية بصيغة بسيطة باستخدام ترميز برا-كيت ، إذا كانت حالات الطاقة الذاتية وقيم الطاقة الذاتية للنظام معروفة. وبمعرفة أساس كامل لحالات الطاقة الذاتية | ψᵢ⟩ ، المفهرسة بالرمز i ، تكون المجموعة الكنسية كما يلي :

ρ^=أناهـF-هـأناكتي|ψأناψأنا|{\displaystyle {\hat {\rho }}=\sum _{i}e^{\frac {F-E_{i}}{kT}}|\psi _{i}\rangle \langle \psi _{i}|}
هـ-Fكتي=أناهـ-هـأناكتي.{\displaystyle e^{-{\frac {F}{kT}}}=\sum _{i}e^{\frac {-E_{i}}{kT}}.}

حيث تمثل Eᵢ قيم الطاقة الذاتية المحددة بالعلاقة Ĥ | ψᵢ⟩ = Eᵢ | ψᵢ⟩ . بعبارة أخرى، تُعطى مجموعة الحالات المجهرية في ميكانيكا الكم بمجموعة كاملة من الحالات المستقرة. مصفوفة الكثافة قطرية في هذا الأساس، حيث يمثل كل عنصر من عناصر القطر احتمالًا مباشرًا .

الميكانيكا الكلاسيكية

مثال على المجموعة الكنسية لنظام كلاسيكي يتكون من جسيم واحد في بئر جهد.
رسم بياني لجميع الحالات الممكنة لهذا النظام. تتوزع الحالات الفيزيائية المتاحة بالتساوي في فضاء الطور، ولكن بتوزيع غير متساوٍ في الطاقة؛ يعرض الرسم البياني الجانبي dv / dE .
مجموعة فيزيائية نموذجية لهذا النظام، عند درجة الحرارة الموضحة. يتم ترجيح الحالات أُسّيًا في الطاقة.
يُظهر كل جزء من الرسم البياني فضاء الطور (الرسم العلوي) وفضاء الطاقة والموقع (الرسم السفلي). هاميلتونيان الجسيم هو H = U ( x ) + / 2m ، مع تمثيل الجهد U ( x ) بمنحنى أحمر. يُظهر الرسم الجانبي توزيع الحالات في الطاقة .

في الميكانيكا الكلاسيكية، يُمثَّل التجمع الإحصائي بدالة كثافة احتمالية مشتركة في فضاء طور النظام ، ρ ( p₁ , …, pₙ, q₁ , , qₙ ) ، حيث تمثل p₁ , …, pₙ و q₁ , , qₙ الإحداثيات الكنسية (الزخم المعمم والإحداثيات المعممة) لدرجات الحرية الداخلية للنظام. في نظام من الجسيمات، يعتمد عدد درجات الحرية n على عدد الجسيمات N بطريقة تعتمد على الحالة الفيزيائية. بالنسبة لغاز أحادي الذرة ثلاثي الأبعاد (وليس جزيئات)، n = 3N . في الغازات ثنائية الذرة، توجد أيضًا درجات حرية دورانية واهتزازية.

دالة كثافة الاحتمال للمجموعة الكنسية هي:

ρ=1حنجهـF-هـكتي،{\displaystyle \rho ={\frac {1}{h^{n}C}}e^{\frac {FE}{kT}},}

أين

  • E هي طاقة النظام، وهي دالة للطور ( p1 ، ... ، qn ) .
  • h ثابت اعتباطي ولكنه محدد مسبقًا بوحدات الطاقة × الزمن ، ويحدد مدى حالة مجهرية واحدة ويوفر الأبعاد الصحيحة لـ ρ . [ ملاحظة 3 ]
  • C هو عامل تصحيح للعد الزائد، ويستخدم غالبًا لأنظمة الجسيمات حيث يمكن للجسيمات المتطابقة أن تتبادل أماكنها مع بعضها البعض. [ ملاحظة 4 ]
  • يوفر F عاملًا معياريًا وهو أيضًا دالة الحالة المميزة، الطاقة الحرة.

مرة أخرى، يتم تحديد قيمة F من خلال اشتراط أن تكون ρ دالة كثافة احتمالية معيارية:

هـ-Fكتي=...1حنجهـ-هـكتيدص1...دqن{\displaystyle e^{-{\frac {F}{kT}}}=\int \ldots \int {\frac {1}{h^{n}C}}e^{\frac {-E}{kT}}\,dp_{1}\ldots dq_{n}}

يتم حساب هذا التكامل على كامل فضاء الطور .

بمعنى آخر، الحالة المجهرية في الميكانيكا الكلاسيكية هي منطقة في فضاء الطور، وحجم هذه المنطقة هو h n C. هذا يعني أن كل حالة مجهرية تمتد على نطاق من الطاقة، ولكن يمكن تضييق هذا النطاق بشكل تعسفي باختيار قيمة صغيرة جدًا لـ h . يمكن تحويل تكامل فضاء الطور إلى مجموع على الحالات المجهرية، بمجرد تقسيم فضاء الطور بدقة كافية.

انظر أيضاً

ملحوظات

  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. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 جيبس، جوزيا ويلارد (1902). المبادئ الأولية في الميكانيكا الإحصائية . نيويورك: تشارلز سكريبنر وأولاده .
  2. سيرسينياني، كارلو (1998). لودفيج بولتزمان: الرجل الذي وثق بالذرات . مطبعة جامعة أكسفورد. ISBN 978-0-19-850154-1.
  3. روكافيردي، أندريا (أغسطس 2018). "هل كسر تكافؤ المجموعة يتناسب طرديًا مع عدد القيود؟". Indagationes Mathematicae . 30 : 7-25 . arXiv : 1807.02791 . doi : 10.1016/j.indag.2018.08.001 . ISSN 0019-3577 . S2CID 119173928 .  
  4. غارلاشيلي، دييغو؛ دين هولاندر، فرانك؛ روكافيردي، أندريا (25 نوفمبر 2016). "عدم تكافؤ المجموعات في الرسوم البيانية العشوائية ذات البنية المعيارية". مجلة الفيزياء أ: الرياضية والنظرية . 50 (1) 015001. arXiv : 1603.08759 . doi : 10.1088/1751-8113/50/1/015001 . ISSN 1751-8113 . S2CID 53578783 .  
  5. غارلاشيلي، دييغو؛ دين هولاندر، فرانك؛ روكافيردي، أندريا (13 يوليو/تموز 2018). "بنية التغاير وراء كسر تكافؤ المجموعة في الرسوم البيانية العشوائية". مجلة الفيزياء الإحصائية . 173 ( 3-4 ): 644-662 . arXiv : 1711.04273 . Bibcode : 2018JSP...173..644G . doi : 10.1007/s10955-018-2114-x . ISSN 0022-4715 . S2CID 52569377 .  
  6. هولاندر، ف . دين؛ ماندجيس، م.؛ روكافيردي، أ.؛ ستاريفيلد، ن. ج. (2018). "تكافؤ المجموعة للرسوم البيانية الكثيفة". المجلة الإلكترونية للاحتمالات . 23. arXiv : 1703.08058 . doi : 10.1214/18-EJP135 . ISSN 1083-6489 . S2CID 53610196 .  
  7. إليس، ريتشارد س.؛ هافن، كايل؛ توركينغتون، بروس (2002). "مجموعات التوازن الإحصائي غير المتكافئة ونظريات الاستقرار المُحسَّنة للتدفقات الأكثر احتمالاً". اللاخطية . 15 (2): 239. arXiv : math-ph/0012022 . Bibcode : 2002Nonli..15..239E . doi : 10.1088/0951-7715/15/2/302 . ISSN 0951-7715 . S2CID 18616132 .  
  8. باريه، جوليان؛ غونسالفيس، برونو (ديسمبر 2007). "عدم تكافؤ المجموعات في الرسوم البيانية العشوائية". فيزيكا أ: الميكانيكا الإحصائية وتطبيقاتها . 386 (1): 212-218 . arXiv : 0705.2385 . Bibcode : 2007PhyA..386..212B . doi : 10.1016/j.physa.2007.08.015 . ISSN 0378-4371 . S2CID 15399624 .  
  9. غاو، شيانغ (مارس 2022). "رياضيات نظرية المجموعة" . نتائج في الفيزياء . 34 105230. arXiv : 2006.00485 . Bibcode : 2022ResPh..3405230G . doi : 10.1016/j.rinp.2022.105230 . S2CID 221978379 . 
  10. جيبس، جيه دبليو (1928). الأعمال الكاملة، المجلد 2. جرين وشركاه، لندن، نيويورك: لونجمانز.
  11. باكستر، رودني ج. (1982). نماذج محلولة بدقة في الميكانيكا الإحصائية . دار النشر الأكاديمية. رقم ISBN 978-0-12-083180-7.
  12. أونساغر، ل. (1944). "إحصاءات البلورات. الجزء الأول: نموذج ثنائي الأبعاد مع انتقال من حالة الترتيب إلى حالة الفوضى". مجلة Physical Review . 65 ( 3-4 ): 117-149 . Bibcode : 1944PhRv...65..117O . doi : 10.1103/PhysRev.65.117 .