Kanonisk ensemble

En kanonisk ensemble är inom statistisk mekanik en statistisk ensemble, alltså en uppsättning identiskt preparerade system (till exempel atomer eller molekyler), som alla är i energijämvikt med ett externt värmebad.

Den totala energin är fördelad mellan de olika tillstånden enligt tillståndssumman. Den kanoniska ensemblen är en generalisering av den mikrokanoniska ensemblen, där varje enskilt system har fix energi, och ett specialfall av storkanonisk ensemble, där systemen även kan utbyta partiklar.

I vissa härledningar anser man värmebadet bestå av ett stort antal kopior av själva systemet, som är löst kopplade inbördes och till systemet så att de på så sätt har samma totala energi. Detta gör att systemet och värmebadet tillsammans kan beskrivas som en mikrokanonisk ensemble.

Den fundamentala storheten för en kanonisk ensemble är tillståndssumman. Med denna kan man lätt ta sig från den kanoniska ensemblen till en termodynamisk beskrivning av samma system.

En härledning 
Låt S beteckna systemet, S' värmebadet, S* systemet och värmebadet tillsammans, och anta att S och S' är i termisk jämvikt samt att S* är isolerat. Låt m vara ett index för de olika tillstånd S kan vara i och Em energierna för dessa tillstånd. E''' är energin för S' och E* är energin för S*. Ω'(.) är antalet tillstånd som värmebadet kan vara i vid en viss energi (till exempel motsvarar Ω'(E) antalet tillstånd när S har energin E). Det som sökes är sannolikheterna pm för att systemet skall vara i tillstånd m.

Eftersom S* är isolerat är E* en konstant, som kan skrivas

Sannolikheten för att S skall vara i tillståndet m, det vill säga pm, är proportionellt mot antalet tillstånd som reservoaren kan vara i när S är i detta tillstånd, vilket leder till att

Där  är någon konstant. Genom att logaritmera fås

Eftersom Em är liten jämfört med E*, kan den sista logaritmen taylorutvecklas runt energin E'. En tillräckligt bra approximation fås om de två första termerna i denna behålls:

Där T är temperaturen och kB är Boltzmanns konstant (Not: ofta sätts ). Detta ger att

Genom att exponentiera fås 

Faktorn framför exponenten kan tas som en normaliseringskonstant 1/Z enligt

Från detta

Eftersom sannolikheterna måste summera till 1 fås

 kallas tillståndssumman för den kanoniska ensemblen.

 Koppling till termodynamik 
Man kan ta sig till en termodynamisk beskrivning av systemet genom att ta , varvid man erhåller Helmholtz fria energi F:

där S nu betecknar entropin.

 Kvantmekaniska system 
Genom att använda tillståndssumman kan man få motsvarande resultat för en kvantmekanisk kanonisk ensemble. En generell sådan ensemble beskrivs av en densitetsmatris. Antag att Hamiltonoperatorn H är hermitesk med diskreta egenvärden,  motsvarande energierna för de olika tillstånden . På motsvarande sätt som i det klassiak fallet fås att sannolikheten för att systemet skall vara i tillståndet  är , där  är en konstant. Ensemblen beskrivs därmed av densitetsmatrisen 

En densitetsmatris måste ha spår 1 oberoende av bas, vilket gör att man kan anta att egenvärdena divergerar snabbt nog, vilket ger att

ochQ är den kvantmekaniska motsvarigheten till tillståndssumman. Genom att stoppa in detta uttryck i ekvationen för ρ erhålles

På grund av antagandet att energiegenvärdena divergerar följer att hamiltonoperatorn H måste vara obegränsad, vilket gör att Borelsk functionalanalys använts för att exponentiera den. Man kan använda det mindre rigorösa sättet att anta att exponentieringen kommer från en potensserieutveckling.

Notera att

är den kvantmekaniska motsvarigheten till tillståndssumman då det är normaliseringsfaktorn för systemet.

Densitetsoperatorn ρ beskriver därför ett (blandat) tillstånd för en kvantmekanisk kanonisk ensemble. På samma sätt som med andra densitetsoperatorer fås, om A'' är en observerbar storhet, att

Referenser 

Termodynamik och statistisk fysik