نمایش مبدأ برای آنسامبل آماری

{{تغییر مسیر|هنگرد}}
{{مکانیک آماری}}
در [[فیزیک]]، '''هنگرد آماری''' یا '''آنسامبل آماری''' {{انگلیسی|ensemble}} به مجموعهٔ فرضی‌ای گفته می‌شود که شامل تعداد زیادی (گاهی تعداد نامتنهاهی‌ای) از یک [[سامانه|سامانهٔ]] فیزیکی است.
این سامانه‌ها کپی‌هایی از یکدیگر هستند ولی هر کدام در یکی از وضعیت‌های ممکن (برای سامانه) قرار دارند.
مفهوم هنگرد را [[جوسایا ویلارد گیبس|گیبس]] در سال [[۱۹۰۲ (میلادی)|۱۹۰۲]] در [[فیزیک آماری]] و [[ترمودینامیک]] معرفی کرد.<ref name="gibbs">{{cite book |last=Gibbs |first=Josiah Willard |title=Elementary Principles in Statistical Mechanics |url=https://archive.org/details/elementaryprinc02gibbgoog |year=1902 |publisher=Charles Scribner's Sons |location=New York}}</ref> یک آنسامبل در واقع [[توزیع احتمال]] وضعیت‌های فیزیکی ممکن برای سامانه است.

'''آنسامبل ترمودینامیکی''' نوع ویژه‌ای از هنگرد آماری است که در حالت [[تعادل ترمودینامیکی|تعادل]] قرار دارد و برای محاسبهٔ ویژگی‌های یک [[سامانه ترمودینامیکی|سیستم ترمودینامیکی]] به‌کار می‌رود.

== هنگردهای ترمودینامیکی ==
* [[هنگرد ریزکانونی|هنگرد ریزبندادی]] {{انگلیسی|microcanonical ensemble}} در این هنگرد (آنسامبل)، انرژی کل سیستم و تعداد کل ذرات سیستم ثابت است. (سیستم نمی‌تواند انرژی یا ذره تبادل کند)
* [[هنگرد بندادی]] {{انگلیسی|canonical ensemble}} در این هنگرد (آنسامبل)، انرژی دقیقاً مشخص نیست ولی تعداد ذرات ثابت است. به جای انرژی، مقدار [[دما]] است که ثابت می‌ماند. آنسامبل کانونیک برای توصیف سیستم بسته‌ای که در تبادل گرمایی ضعیف با حمام گرمایی است به کار می‌آید. این سیستم اگر در تبادل گرمایی ضعیف با سیستم‌های دیگر با دمای مشابه باشد در تعادل می‌ماند.
* [[هنگرد بزرگ‌بندادی]] {{انگلیسی|grand canonical ensemble}} در این آنسامبل نه انرژی ثابت است و نه تعداد ذرات ثابت، به جای اینها دما و [[پتانسیل شیمیایی]] ثابت هستند. این آنسامبل برای توصیف سیستمهای باز مناسب است که در تبادل ضعیف با یک مخزن است. (تبادل گرمایی، تبادل شیمیایی، تبادل تابشی، تبادل الکتریکی و …) این سیستم اگر در تبادل ضعیف با سیستم‌های دیگر با دما و پتانسیل شیمیایی مشابه باشد در تعادل است.<ref>Gibbs, Josiah Willard (1902). Elementary Principles in Statistical Mechanics. New York: Charles Scribner's Sons</ref>

== کاربرد آنسامبل آماری ==
مجموعه متعارف مجموعه‌ای است که حالت‌های احتمالی سیستمی را توصیف می‌کند که با یک حمام گرمایی در تعادل حرارتی است (مشتق این واقعیت را می‌توان در گیبس یافت<ref name="gibbs"/>).

مجموعه متعارف برای سیستم‌هایی با هر اندازه ای اعمال می‌شود. در حالی که لازم است فرض کنیم که حمام حرارتی بسیار بزرگ است (یعنی یک حد ماکروسکوپی را در نظر بگیرید)، سیستم ممکن است کوچک یا بزرگ باشد.

شرایط ایزوله مکانیکی سیستم برای اطمینان از مبادله انرژی با هیچ جسم خارجی به جز حمام حرارتی ضروری است. به‌طور کلی، مطلوب است که مجموعه متعارف را برای سیستم‌هایی که در تماس مستقیم با حمام حرارتی هستند<ref name="gibbs"/>اعمال کنیم، زیرا این تماس است که تعادل را تضمین می‌کند. در موقعیت‌های عملی، استفاده از مجموعه متعارف معمولاً ۱) با فرض اینکه تماس از نظر مکانیکی ضعیف است، یا ۲) با ادغام بخشی مناسب از اتصال حمام حرارتی در سیستم تحت تجزیه و تحلیل توجیه می‌شود، به طوری که تأثیر مکانیکی اتصال. بر روی سیستم در داخل سیستم مدل شده‌است.

هنگامی که انرژی کل ثابت است اما وضعیت داخلی سیستم ناشناخته است، توصیف مناسب مجموعه متعارف نیست، بلکه مجموعه میکروکانونیکال است. برای سیستم‌هایی که تعداد ذرات متغیر است (به دلیل تماس با مخزن ذرات)، توصیف صحیح مجموعه بزرگ متعارف است. در کتاب‌های درسی فیزیک آماری برای سیستم‌های ذره‌ای در حال تعامل، این سه مجموعه از نظر ترمودینامیکی معادل فرض می‌شوند: نوسانات مقادیر ماکروسکوپی حول مقدار متوسط آن‌ها کوچک می‌شود و با گرایش تعداد ذرات به بی‌نهایت، تمایل به ناپدید شدن دارند. در حد اخیر که حد ترمودینامیکی نامیده می‌شود، محدودیت‌های متوسط به‌طور مؤثر به محدودیت‌های سخت تبدیل می‌شوند. فرض هم‌ارزی مجموعه به گیبس برمی گردد و برای برخی از مدل‌های سیستم‌های فیزیکی با فعل و انفعالات کوتاه برد و در معرض تعداد کمی از محدودیت‌های ماکروسکوپی تأیید شده‌است. با وجود این واقعیت که بسیاری از کتاب‌های درسی هنوز این پیام را دارند که هم‌ارزی مجموعه برای همه سیستم‌های فیزیکی وجود دارد، در دهه‌های گذشته نمونه‌های مختلفی از سیستم‌های فیزیکی پیدا شده‌اند که برای آنها شکسته شدن هم‌ارزی مجموعه رخ می‌دهد.<ref>{{cite journal|last=Roccaverde|first=Andrea|date=August 2018|title=Is breaking of ensemble equivalence monotone in the number of constraints?|journal=Indagationes Mathematicae|volume=30|pages=7–25|arxiv=1807.02791|doi=10.1016/j.indag.2018.08.001|issn=0019-3577|s2cid=119173928}}</ref><ref>{{cite journal|last1=Garlaschelli|first1=Diego|last2=den Hollander|first2=Frank|last3=Roccaverde|first3=Andrea|date=2016-11-25|title=Ensemble nonequivalence in random graphs with modular structure|journal=Journal of Physics A: Mathematical and Theoretical|volume=50|issue=1|pages=015001|arxiv=1603.08759|doi=10.1088/1751-8113/50/1/015001|issn=1751-8113|s2cid=53578783}}</ref><ref>{{cite journal|last1=Garlaschelli|first1=Diego|last2=den Hollander|first2=Frank|last3=Roccaverde|first3=Andrea|date=2018-07-13|title=Covariance Structure Behind Breaking of Ensemble Equivalence in Random Graphs|journal=Journal of Statistical Physics|volume=173|issue=3–4|pages=644–662|arxiv=1711.04273|bibcode=2018JSP...173..644G|doi=10.1007/s10955-018-2114-x|issn=0022-4715|s2cid=52569377}}</ref><ref>{{cite journal|last1=Hollander|first1=F. den|last2=Mandjes|first2=M.|last3=Roccaverde|first3=A.|last4=Starreveld|first4=N. J.|date=2018|title=Ensemble equivalence for dense graphs|journal=Electronic Journal of Probability|volume=23|arxiv=1703.08058|doi=10.1214/18-EJP135|issn=1083-6489|s2cid=53610196}}</ref><ref>{{cite journal|last1=Ellis|first1=Richard S.|last2=Haven|first2=Kyle|last3=Turkington|first3=Bruce|date=2002|title=Nonequivalent statistical equilibrium ensembles and refined stability theorems for most probable flows|journal=Nonlinearity|volume=15|issue=2|pages=239|arxiv=math-ph/0012022|bibcode=2002Nonli..15..239E|doi=10.1088/0951-7715/15/2/302|issn=0951-7715|s2cid=18616132}}</ref><ref>{{cite journal|last1=Barré|first1=Julien|last2=Gonçalves|first2=Bruno|date=December 2007|title=Ensemble inequivalence in random graphs|journal=Physica A: Statistical Mechanics and Its Applications|volume=386|issue=1|pages=212–218|arxiv=0705.2385|bibcode=2007PhyA..386..212B|doi=10.1016/j.physa.2007.08.015|issn=0378-4371|s2cid=15399624}}</ref>

== مجموعه‌های نمونه ==
=== توزیع [[توزیع بولتسمان|بولتزمن]] سیستم‌های قابل تفکیک ===
اگر یک سیستم توصیف شده توسط یک گروه متعارف را بتوان به بخش‌های مستقل جدا کرد (این اتفاق در صورتی رخ می‌دهد که قسمت‌های مختلف برهمکنش نداشته باشند)، و هر یک از آن بخش‌ها دارای یک ترکیب (ماده) ثابت باشد، آن‌گاه هر بخش می‌تواند به عنوان یک سیستم برای خود دیده شود و توسط یک مجموعه متعارف که دارای همان دمای کل است توصیف شود. علاوه بر این، اگر سیستم از چندین بخش مشابه تشکیل شده باشد، هر قسمت دقیقاً توزیع مشابهی با قسمت‌های دیگر دارد.

به این ترتیب، مجموعه متعارف دقیقاً توزیع بولتزمن (همچنین به عنوان آمار ماکسول-بولتزمن شناخته می‌شود) برای سیستم‌هایی با هر تعداد ذره ارائه می‌کند. در مقایسه، توجیه توزیع بولتزمن از [[مجموعه میکروکانونیکال]] فقط برای سیستم‌هایی با تعداد قطعات زیاد (یعنی در حد [[ترمودینامیک|ترمودینامیکی]]) اعمال می‌شود.

خود توزیع بولتزمن یکی از مهم‌ترین ابزارها در به‌کارگیری مکانیک آماری در سیستم‌های واقعی است، زیرا مطالعه سیستم‌هایی را که می‌توانند به بخش‌های مستقل جدا شوند (به عنوان مثال، ذرات در گاز، حالت‌های الکترومغناطیسی در یک حفره، پیوندهای مولکولی) به‌طور گسترده ساده می‌کند. در یک پلیمر).

=== Ising model (strongly interacting system) ===
در سیستمی متشکل از قطعاتی که با یکدیگر تعامل دارند، معمولاً نمی‌توان راهی برای جدا کردن سیستم به زیرسیستم‌های مستقل، همان‌طور که در توزیع بولتزمن انجام شد، پیدا کرد. در این سیستم‌ها لازم است به استفاده از بیان کامل مجموعه متعارف به منظور توصیف ترمودینامیک سیستم در هنگام ترموستات شدن آن به [[Heat bath|حمام حرارتی]] متوسل شود. مجموعه متعارف به‌طور کلی ساده‌ترین چارچوب برای مطالعات مکانیک آماری است و حتی به فرد اجازه می‌دهد تا راه حل‌های دقیقی را در برخی از سیستم‌های مدل در حال تعامل به دست آورد.

یک مثال کلاسیک از این مدل، مدل Ising است که یک مدل اسباب‌بازی است که به‌طور گسترده برای [[پدیده‌های فرومغناطیس]] و تشکیل تک‌لایه خودآرایی شده بحث شده‌است و یکی از ساده‌ترین مدل‌هایی است که [[انتقال بازنمودی حالت|انتقال فاز]] را نشان می‌دهد. [[لارس اونزاگر|لارس اونساگر]] دقیقاً انرژی آزاد یک مدل آیزینگ شبکه مربعی با اندازه بی‌نهایت را در [[میدان مغناطیسی]] صفر، در مجموعه متعارف محاسبه کرد.<ref>{{cite journal|last1=Onsager|first1=L.|year=1944|title=Crystal Statistics. I. A Two-Dimensional Model with an Order-Disorder Transition|journal=Physical Review|volume=65|issue=3–4|pages=117–149|bibcode=1944PhRv...65..117O|doi=10.1103/PhysRev.65.117}}</ref>

== توصیفات دقیقی برای آنسامبل آماری ==
به این دلیل که مفهوم زیرحالت یا [[microstate]] در [[مکانیک کوانتومی]] یا [[مکانیک کلاسیک|کلاسیک]] دارای دو تعریف متفاوت است بیان دلیل ریاضیاتی برای یک مجموعه آماری برای هر یک نوع خاصی دارد. در مکانیک کوانتوم آنسامبل آماری توصیف ساده ای را ارائه می‌دهد زیرا مورب سازی مجموعه ای مجزا از ریز حالت‌ها با انرژی‌های خاص را فراهم می‌سازد. همین ادعا در مکانیک کلاسیک پیچده تر به نظر می‌رسد زیرا به جای آن یک [[فضای فاز]] متعارف یکپارچه را شامل می‌شود و اندازه ریز حالت‌ها را می‌توان تا حدودی با اختیار تعیین کرد.

=== مکانیک کوانتومی ===
یک مجموعه آماری در مکانیک کوانتومی با یک ماتریس چگالی<math>\hat \rho</math> نشان داده می‌شود{{multiple image
<!-- Essential parameters -->|align=left|direction=horizontal|width=150|header=مثالی از مجموعه متعارف برای یک سیستم کوانتومی متشکل از یک ذره در یک چاه پتانسیل|image1=Ensemble quantum 1DOF all states.png|width1=|alt1=|caption1=طرح تمام حالت‌های ممکن این سیستم. حالت‌های ساکن موجود به صورت نوارهای افقی با تاریکی متغیر مطابق {{!}}ψi(x){{!}}۲ نمایش داده می‌شوند.
<!-- Image 2 -->|image2=Ensemble quantum 1DOF canonical.png|width2=|alt2=|caption2=این یک مجموعه متعارف برای این سیستم، برای دمای نشان داده شده‌است. حالت‌ها به صورت تصاعدی بر حسب انرژی هستند|footer=|height=300}}

<math>\hat \rho = \exp\left(\tfrac{1}{kT}(F - \hat H)\right),</math>

که در این فرمول {{math|''Ĥ''}} [[عملگر انرژی کل سیستم]] {{math|exp()}} عملگر نمایی ماتریس است. [[انرژی آزاد گیبس|انرژی آزاد]] {{math|''F''}} با شرط نرمال شدن احتمال که [[ماتریس چگالی]] اثری از یک داشته باشد تعیین می‌شود.<math>\operatorname{Tr} \hat \rho=1</math>

<math>e^{-\frac{F}{k T}} = \operatorname{Tr} \exp\left(-\tfrac{1}{kT} \hat H\right).</math>

اگر حالت‌های ویژه و مقادیر ویژه انرژی سیستم مشخص باشد مجموعه متعارف را می‌توان به شکلی ساده با استفاده از نماد براکتی (براکت نوتیشن) نوشت. با توجه به یک پایه کامل از حالت‌های ویژه انرژی {{math|{{!}}''ψ''<sub>''i''</sub>⟩}} نمایه شده توسط i مجموعه متعارف عبارتست از:

<math>\hat \rho = \sum_i e^{\frac{F - E_i}{k T}} |\psi_i\rangle \langle \psi_i | </math>

<math>e^{-\frac{F}{k T}} = \sum_i e^{\frac{- E_i}{k T}}.</math>

که در آن {{math|''E''<sub>''i''</sub>}} مقادیر ویژه انرژی هستند که با {{math|''Ĥ''{{!}}''ψ''<sub>''i''</sub>⟩ {{=}} ''E''<sub>''i''</sub>{{!}}''ψ''<sub>''i''</sub>⟩}} تعیین می‌شوند به عبارت دیگر مجموعه ای از ریز حالت‌ها در مکانیک کوانتومی توسط مجموعه ای کامل از حالت‌های ساکن به دست می‌آید. در این مبنا ماتریس چگالی مورب است و ورودی‌های مورب هر کدام مستقیماً یک احتمال می‌دهند.

=== مکانیک کلاسیک ===
در مکانیک کلاسیک یک مجموعه آماری با یک [[تابع چگالی احتمال مشترک]] در فضای فاز سیستم {{math|''ρ''(''p''<sub>1</sub>, … ''p''<sub>''n''</sub>, ''q''<sub>1</sub>, … ''q''<sub>''n''</sub>)}} نشان داده می‌شوند که در آن {{math|''p''<sub>1</sub>, … ''p''<sub>''n''</sub>}} و {{math|''q''<sub>1</sub>, … ''q''<sub>''n''</sub>}} مختصات [[درجه آزادی|درجات آزادی]] داخل سیستم هستند. در یک سیستم از ذرات تعداد درجات آزادی n به تعداد ذرات N بستگی دارد. به نحوی که به وضعیت فیزیکی هم بستگی دارد برای گاز سه بعدی تک اتمی n=3N در نظر گرفته می‌شود و همچنین [[درجات آزادی چرخشی]] و ارتعاشی در گازهای دو اتمی وجود خواهند داشت.{{multiple image
<!-- Essential parameters -->|align=left|direction=horizontal|width=170|header=مثالی از مجموعه ای متعارف برای یک سیستم کلاسیک متشکل از یک ذره در یک چاه پتانسیل|image1=Ensemble classical 1DOF all states.png|width1=|alt1=|caption1=نمایش تمام حالت‌های ممکن این سیستم حالات فیزیکی موجود به‌طور مساوی در فضای فاز توزیع می‌شوند اما با توزیع نابرابر انرژی پلات جانبی نشان دهنده {{math|''dv''/''dE''}}
<!-- Image 2 -->|image2=Ensemble classical 1DOF canonical.png|width2=|alt2=|caption2=یک مجموعه متعارف برای این سیستم برای دمای مشخص نشان داده شده‌است. حالت‌ها به صورت تصاعدی بر حسب انرژی اندازه‌گیری می‌شوند.|height=5000}}

[[تابع چگالی احتمال]] برای آنسامبل آماری:

<math display="inline">\rho = \frac{1}{h^n C} e^{\frac{F - E}{k T}}</math>

در حالی که:
* {{math|''E''}} انرژِی سیستم مورد نظر است که تابعی از فاز {{math|(''p''<sub>1</sub>, … ''q''<sub>''n''</sub>)}}
* {{math|''h''}} یک ثابت از پیش تعیین شده با [[بعد|دیمانسیون]] {{math|energy×time}} است که وسعت یک ریزحالت را تنظیم می‌کند و ابعاد صحیح را به {{math|''ρ''}} تحویل می‌دهد<ref group="note">(Historical note) Gibbs' original ensemble effectively set {{math|''h'' {{=}} 1 [energy unit]×[time unit]}}, leading to unit-dependence in the values of some thermodynamic quantities like entropy and chemical potential. Since the advent of quantum mechanics, {{math|''h''}} is often taken to be equal to [[Planck's constant]] in order to obtain a semiclassical correspondence with quantum mechanics.</ref>
* {{math|''C''}} یک ضریب تصحیح بیش شماری است که اغلب برای سیستم‌های ذرات استفاده می‌شود که در آن ذرات یکسان قادر به تغییر مکان با یکدیگر هستند.<ref group="note">In a system of {{math|''N''}} identical particles, {{math|''C'' {{=}} ''N''!}} ([[factorial]] of {{math|''N''}}). This factor corrects the overcounting in phase space due to identical physical states being found in multiple locations. See the [[Statistical ensemble (mathematical physics)#Correcting overcounting in phase space|statistical ensemble]] article for more information on this overcounting.</ref>
* {{math|''F''}} یک عامل نرمال کننده را فراهم می‌کند و همچنین تابع حالت مشخصه انرژی آزاد است.

برای تاکید{{math|''F''}} بیش تر مقدار با توجه به اینکه {{math|''ρ''}} یک تابع چگالی احتمال نرمال شده‌است تعیین می‌شود:

<math>e^{-\frac{F}{k T}} = \int \ldots \int \frac{1}{h^n C} e^{\frac{- E}{k T}} \, dp_1 \ldots dq_n </math> این انتگرال روی کل فضای فازی گرفته می‌شود.

به عبارت دیگر یک ریز حالت در مکانیک کلاسیک یک منطقه [[فضای فاز]] است و این ناحیه دارای {{math|''h<sup>n</sup>C''}} حجمی است. و این بدان معنی است که هر ریز حالت طیفی از انرژی را در بر می‌گیرد اما این محدوده را می‌توان با انتخاب یک بسیار کوچک به‌طور دلخواه باریک کرد. انتگرال فضای فاز را می‌توان به یک جمع بر روی ریز حالت‌ها تبدیل کرد زمانی که فصای فاز به میزان کافی به خوبی تقسیم می‌شود

== جستارهای وابسته ==
[[بعد|دیمانسیون]]

[[درجه آزادی|درجات آزادی]]

[[انرژی آزاد گیبس|انرژی آزاد]]

[[مکانیک کلاسیک]]

[[مکانیک کوانتومی]]

فیزیک [[فیزیک آماری|آماری]]

== منابع ==
{{پانویس|۲}}

== یادداشت‌ها ==
[[رده:فلسفه فیزیک حرارتی و آماری]]
[[رده:معادلات فیزیک]]
[[رده:مفاهیم فیزیکی]]