Kanonisk ensemble – Wikipedia
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
[redigera | redigera wikitext]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
[redigera | redigera wikitext]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
[redigera | redigera wikitext]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
och
Q ä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
[redigera | redigera wikitext]- Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, tidigare version.