Kvantestatistisk mekanikk - Quantum statistical mechanics

Kvantestatistisk mekanikk er statistisk mekanikk som brukes på kvantemekaniske systemer . I kvantemekanikken er et statistisk ensemble (sannsynlighetsfordeling over mulige kvantetilstander ) beskrevet av en tetthetsoperator S , som er en ikke-negativ, selvtilknyttet , sporklasseoperatør av spor 1 på Hilbert-rommet H som beskriver kvantesystemet. Dette kan vises under forskjellige matematiske formalismer for kvantemekanikk . En slik formalisme er gitt av kvantelogikk .

Forventning

Fra klassisk sannsynlighetsteori vet vi at forventningen til en tilfeldig variabel X er definert av fordelingen D X av

forutsatt selvfølgelig at den tilfeldige variabelen er integrerbar eller at den tilfeldige variabelen er ikke-negativ. La A på samme måte være en observerbar av et kvantemekanisk system. A er gitt av en tett definert selv adjungerte operatør på H . Det spektrale måletA definert av

entydig bestemmer A og omvendt, blir entydig bestemt av A . E A er en boolsk homomorfi fra Borel undergrupper av R i gitteret Q av selv Adjoint projeksjoner av H . I analogi med sannsynlighetsteori, gitt en tilstand S , introduserer vi fordelingen av A under S som er sannsynlighetsmål som er definert på Borels undersett av R med

På samme måte er den forventede verdien av A definert i form av sannsynlighetsfordelingen D A med

Merk at denne forventning er i forhold til det blandede tilstand S som benyttes i definisjonen av D- A .

Bemerkning . Av tekniske årsaker må man separat vurdere de positive og negative delene av A som er definert av Borel funksjonell beregning for ubegrensede operatører.

Man kan enkelt vise:

Vær oppmerksom på at hvis S er en ren tilstand som tilsvarer vektoren ψ, så:

Sporet av en operator A er skrevet som følger:

Von Neumann entropi

Av spesiell betydning for å beskrive tilfeldighet av en tilstand er von Neumann -entropien S formelt definert av

.

Egentlig er operatøren S log 2 S ikke nødvendigvis sporklasse. Imidlertid, hvis S er en ikke-negativ selvtilstøtende operatør som ikke er av kursklasse, definerer vi Tr ( S ) = +∞. Vær også oppmerksom på at enhver tetthetsoperator S kan diagonaliseres, at den kan representeres på en eller annen ortonormal basis med en (muligens uendelig) matrise av skjemaet

og vi definerer

Konvensjonen er at siden en hendelse med sannsynlighet null ikke skal bidra til entropien. Denne verdien er en utvidet reelt tall (det vil si i [0, ∞]), og dette er helt klart en enhetlig invariant av S .

Bemerkning . Det er faktisk mulig at H ( S ) = + ∞ for noen tetthet operatør S . Faktisk T være diagonal matrise

T er ikke-negativ sporklasse, og man kan vise T log 2 T er ikke sporingsklasse.

Teorem . Entropi er en enhetlig invariant.

I analogi med klassisk entropi (legg merke til likheten i definisjonene), H ( S ) måler mengden av tilfeldigheten i den tilstand S . Jo mer spredte egenverdiene er, desto større er systemets entropi. For et system der rommet H er endelig-dimensjonalt, er entropi maksimert for tilstandene S som i diagonal form har representasjonen

For et slikt S , H ( S ) = log 2 n . Tilstanden S kalles den maksimalt blandede tilstanden.

Husk at en ren tilstand er en av formene

for ψ en vektor av norm 1.

Teorem . H ( S ) = 0 hvis og bare hvis S er en ren tilstand.

For S er en ren tilstand hvis og bare hvis den diagonale formen har nøyaktig en ikke-null oppføring som er en 1.

Entropi kan brukes som et mål på kvanteforvikling .

Gibbs kanoniske ensemble

Betrakt et ensemble av systemer som er beskrevet ved hjelp av en Hamilton- H med gjennomsnittlig energi E . Hvis H har et rent punktspekter og egenverdiene til H går til +∞ tilstrekkelig raskt, vil e - r H være en ikke-negativ sporklasse-operator for hver positiv r .

Den Gibbs kanonisk ensemble er beskrevet av tilstanden

Hvor β er slik at ensemblet gjennomsnitt av energi tilfredsstiller

og

Dette kalles partisjonsfunksjonen ; det er den kvantemekaniske versjonen av den kanoniske partisjonsfunksjonen til klassisk statistisk mekanikk. Sannsynligheten for at et system valgt tilfeldig fra ensemblet vil være i en tilstand som tilsvarer energi egenverdi er

Under visse forhold maksimerer Gibbs kanoniske ensemble von Neumann -entropien til staten som er underlagt energibesparelseskravet.

Grand kanonisk ensemble

For åpne systemer der energien og antallet partikler kan svinge, er systemet beskrevet av det grand canonical ensemble , beskrevet av tetthetsmatrisen

hvor N 1 , N 2 , ... er partikkelnummeroperatørene for de forskjellige partikeltypene som utveksles med reservoaret. Vær oppmerksom på at dette er en tetthetsmatrise som inkluderer mange flere tilstander (med varierende N) sammenlignet med det kanoniske ensemblet.

Den store partisjonsfunksjonen er

Se også

Referanser

  • J. von Neumann, Mathematical Foundations of Quantum Mechanics , Princeton University Press , 1955.
  • F. Reif, statistisk og termisk fysikk , McGraw-Hill, 1965.