Кіріспе

Тұрақты температурадағы күйлер жиынтығы. Статистикалық механикада канондық жиынтық – бұл жылулық тепе-теңдіктегі жылу резервуарындағы белгілі бір температурадағы механикалық жүйенің мүмкін күйлерін көрсететін статистикалық жиынтық. Жүйе жылу резервуарымен энергия алмаса алады, сондықтан жүйенің күйлері жалпы энергия бойынша өзгеше болады. Канондық жиынтықтың негізгі термодинамикалық айнымалысы, күйлердің ықтималдық бөлінісін анықтайтын абсолютті температура (символ: T) болып табылады. Жиынтық әдетте жүйедегі бөлшектер саны (символ: N) және жүйенің көлемі (символ: V) сияқты механикалық айнымалыларға да тәуелді, олардың әрқайсысы жүйенің ішкі күйлерінің сипатына әсер етеді. Осы үш параметрлі жиынтық, жиынтық канондық деп есептелуі үшін тұрақты деп қарастырылады, кейде NVT жиынтығы деп аталады. Канондық жиынтық әрбір микрокүйге P ықтималдығын келесі экспонента арқылы береді:

мұнда E – микрокүйдің жалпы энергиясы, ал k – Больцман тұрақтысы. F саны – еркін энергия (нақтырақ айтқанда, Гельмгольц еркін энергиясы) және белгілі бір жиынтық канондық деп есептелуі үшін тұрақты деп қарастырылады. Дегенмен, егер әртүрлі N, V, T таңдалса, ықтималдықтар мен F өзгереді. F еркін энергиясы екі қызмет атқарады: біріншіден, ол ықтималдық бөлінісіне нормалау коэффициентін ұсынады (микрокүйлердің толық жиынтығы бойынша ықтималдықтардың қосындысы бірге тең болуы керек); екіншіден, көптеген маңызды жиынтық орташа шамаларды тікелей F(N, V, T) функциясынан есептеуге болады. Сол ұғымның баламалы, бірақ эквивалентті формуласы ықтималдықты еркін энергияның орнына канондық бөлу функциясын қолдану арқылы жазады:

еркін энергияның орнына канондық бөлу функциясын пайдалану арқылы. Төмендегі теңдеулерді (еркін энергия тұрғысынан) қарапайым математикалық амалдар арқылы канондық бөлу функциясы тұрғысынан қайта жазуға болады. Тарихи тұрғыдан алғанда, канондық жиынтықты алғаш рет Больцман 1884 жылы салыстырмалы түрде беймәлім мақалада сипаттаған (ол оны голод деп атаған). Кейіннен оны 1902 жылы Гиббс қайта қарастырып, жан-жақты зерттеген.

Болцманның үлестірілуі (бөлінгіш жүйе)

Егер каноникалық ансамбльмен сипатталған жүйе тәуелсіз бөліктерге бөлінсе (бұл әртүрлі бөліктер өзара әрекеттеспесе), және әр бөлігінің материалдық құрамы тұрақты болса, онда әр бөлікті жеке жүйе ретінде қарастыруға болады және ол бүкіл жүйемен бірдей температураға ие каноникалық ансамбльмен сипатталады. Сонымен қатар, егер жүйе бірнеше ұқсас бөліктерден тұрса, онда әр бөліктің таралуы басқа бөліктермен толықтай сәйкес келеді. Осылайша, каноникалық ансамбль кез келген мөлшердегі бөлшектерден тұратын жүйелер үшін Болцман таралуын (Максвелл-Болцман статистикасы деп те аталады) нақты қамтамасыз етеді. Қарама-қарсылығы, Болцман таралуының микроканоникалық ансамбльден алынуы тек көптеген бөліктері бар жүйелерге (яғни термодинамикалық лимитте) ғана қолданылады. Болцман таралуының өзі статистикалық механиканы нақты жүйелерге қолданудағы ең маңызды құралдардың бірі болып табылады, себебі ол тәуелсіз бөліктерге бөлінетін жүйелерді зерттеуді қатты жеңілдетеді (мысалы, газдағы бөлшектер, қуыстағы электромагниттік толқындар, полимердегі молекулалық байланыстар).

Ising моделі (күшті өзара әрекеттесетін жүйе)

Бір-бірімен өзара әрекеттесетін бөлшектерден тұратын жүйеде, көбінесе Болцман таралымындағыдай, жүйені тәуелсіз кіші жүйелерге бөлуге болмайды. Мұндай жүйелерде, жылу резервуарына термостатталған кезде жүйенің термодинамикасын сипаттау үшін каноникалық жиынның толық формуласын қолдану қажет. Каноникалық жиын, әдетте, статистикалық механиканы зерттеу үшін ең тікелей құрал болып табылады және тіпті кейбір өзара әрекеттесетін модельдік жүйелерде нақты шешімдер алуға мүмкіндік береді. Бұған классикалық мысал – Исинг моделі, ол ферромагнетизм және өздігінен құралатын моноқабаттардың пайда болу құбылыстары үшін кеңінен талқыланатын қарапайым модель болып табылады және фазалық өтуді көрсететін ең қарапайым модельдердің бірі. Ларс Онсагер каноникалық жиында, нөлдік магниттік өріс кезінде шексіз өлшемді шаршы торлы Исинг моделінің еркін энергиясын дәл есептеген.

Ансамбльдің нақты өрнектері

Статистикалық ансамбльдің нақты математикалық өрнегі қарастырылып отырған механика түріне – кванттық немесе классикалық – байланысты, себебі "микрокүй" ұғымы осы екі жағдайда едәуір өзгеше. Кванттық механикада каноникалық ансамбль оңай сипаттама береді, өйткені диагональдау белгілі бір энергиялары бар микрокүйлердің дискретті жиынтығын қамтамасыз етеді. Классикалық механикалық жағдай күрделірек, себебі ол каноникалық фазалық кеңістік бойынша интегралдауды қамтиды, ал фазалық кеңістіктегі микрокүйлердің мөлшері белгілі бір дәрежеде еркін таңдалуы мүмкін.

Кванттық механика

Кванттық механикадағы статистикалық ансамбль тығыздық матрицасымен бейнеленеді, ол In негізсіз белгісімен белгіленеді. Каноникалық ансамбль – бұл тығыздық матрицасы:

мұнда Ĥ – жүйенің жалпы энергия операторы (Гамильтониан), ал exp – матрицалық экспонента операторы. Тығыздық матрицасының ізi біреуге тең болатын ықтималдық нормалау шартымен еркін энергия F анықталады:

Егер жүйенің энергиялық өзіндік күйлері мен энергиялық өзіндік мәндері белгілі болса, каноникалық ансамбльді жақшалы белгілерді қолдана отырып, қарапайым түрде жазуға болады. Энергиялық өзіндік күйлердің толық негізін i индексімен белгілесек, каноникалық ансамбль мынадай болады:

мұндағы Ei – энергияның өзіндік мәндері анықталады. Басқаша айтқанда, кванттық механикадағы микробөлшектер жиынтығы тұрақты күйлердің толық жиынтығымен беріледі. Бұл негізде тығыздық матрицасы диагональды болады, ал әрбір диагональ элементі тікелей ықтималдықты көрсетеді.