Kvattistatistiikka 1 Kevät 2018 Lueoitsija Aleksi Vuorie (aleksi.vuorie@helsiki.fi, A322) Laskuharjoitusassist. Pyry Wahlma (pyry.wahlma@helsiki.fi, C311) Yleistä Lueot ma ja ti 12-14 salissa A315; laskarit pe 14-16 D106 Kurssikirjaa Arpoe & Hokoe, Statistie fysiikka; lisäksi prujut ettii aia luetoja ee Kurssi kotisivulta http://www.courses.physics.helsiki.fi/teor/stamec/ prujut, laskarit, ajakohtaista tietoa, je. Laskareita yhteesä 6 kpl. Ilmestyvät ettii suutaisi ja palautetaa suljettuu laatikkoo 2. kerrokse laskarihuoeessa reilua viikkoa myöhemmi ma klo 14 meessä. Käydää läpi torstai laskaritilaisuudessa. Laskarit eivät pakollisia mutta erittäi suositeltavia. Niissä meää myös luetomateriaali ulkopuolelle, ja tämä tulee olemaa osa koealuetta. Lueto- ja laskaritauko pääsiäise ympärillä 29.3.-4.4.; lisäksi ei luetoja vappuaattoa ja -päivää ma 30.4. ja ti 1.5. Viimeie lueto ti 24.4. ja viimeiset laskarit pe 4.5. Loppukoe ti 8.5. klo 13.00-17.00. Detaljit myöhemmi kurssi kotisivuilla. Suoritus: loppukoe 75% ja laskarit 25% 1 Tämä luetomoiste o kehittyyt vuosie varrella useide kurssi lueoitsijoide toimesta; erityisesti Ismo Napari ja Jooas Merikato ovat kirjoittaeet siitä suure osa. 1
Mitä kvattistatistiikka pitää sisällää? Statistise mekaiika jatkokurssi, jossa käytetää Kvattimekaiikka I: (ja pieeltä osi II:) koeistoa statististe eli moe hiukkase systeemie kvatti-ilmiöide tutkimisee Kaksi tärkeää ja kurssilla usei toistuvaa peruskysymystä: o Millä tavoi kvattimekaaisia efektejä tulee käsitellä isoissa (moe hiukkase) systeemeissä? Erityisesti: mitkä ovat klassise faasiavaruude, esembleje, je. vastieet, ja mite meetelmät toisaalta poikkeavat peruskvattimekaiika koeistosta? o Missä kulkee kvattimekaaiste ja klassiste systeemie rajapita, ts. milloi kvatti-imiöt o otettava (isoissaki systeemeissä) huomioo ja milloi klassie raja kelpaa? Kurssia ilmiölähtöisempi kui Statistie mekaiikka: SM: pieeä ogelmaa eitriviaalie esimerkkisysteemie vähäie määrä; tällä kurssilla ei samaa haastetta. Pohjatiedot: Statistie mekaiikka ja Kvatti I sekä äide kurssie (matemaattiset) esitiedot oleaisia: erityisesti kvattimekaiika perusformalismi sekä klassiste esembleje tutemus tärkeää. Puuttuvia taustatietoja mahdollista kerrata kurssi aikaa. Joki verra laskeallisesti haastavampi/työläämpi kui Statistie mekaiikka, mutta materiaalia ei silti 5 op: kurssiksi kohtuuttomasti. Ilmoittakaa jos/ku joki epäselvää tai vaikeaa! Kurssi alustava sisällys Viikot 1-2: kvattimekaiika kertausta, moihiukkassysteemit kvattimekaiikassa, kvattimekaaie esembleteoria Viikot 3-4: yhteys termodyamiikkaa, vapaa spisysteemi, kaksiatomie kvattimekaaie ideaalikaasu, bosoi- ja fermioistatistiikat Viikot 5-6: bosoi- ja fermioisysteemie käsittely statistisessa mekaiikassa, esimerkkejä molemmista 2
3 TILASTOLLISEN KVANTTIMEKANIIKAN PERUSTEITA (AH 5.1-5.3) Mikrotilat (kertausta Kvattimekaiika kurssilta) Kvattimekaiikassa yhde hiukkase systeemi täydellise kuvaukse ataa sitä vastaava tilavektori Ψ, joka o (yhde hiukkase) Hilberti avaruutee H kuuluva vektori. Hilberti avaruus o lieaarie, ts. kahde se vektori kompleksikertoimie summa kuuluu avaruutee. H:ssa o myös määritelty sisätulo a b, joka toteuttaa yleiset skalaaritulo aksioomat. Fysikaaliset tilat voidaa aia ormittaa ykköseksi, ja tästä lähtie oletammeki, että kvattitiloille Ψ Ψ Ψ 2 = 1. Observaabeleita (havaittavia suureita) vastaavat kvattimekaiikassa lieaariset hermiittiset operaattorit Â, jotka Schrödigeri kuvassa oletetaa ajasta riippumattomiksi. Observaabeli mahdollisia havaittavia arvoja ovat Â: omiaisarvot, jotka yhdessä vastaavie (ajasta riippumattomie) omiaistiloje kera saadaa selville omiaisarvoyhtälöstä  = A, joka ratkaisut o tässä yksikertaisuude vuoksi oletettu diskreetiksi. Kaikki alla johdettavat tulokset voidaa kuiteki helposti yleistää tapauksee, jossa hermiittise operaattori  omiaisspektri (eli omiaisarvot ja -tilat) o jatkuva. Tällöi kaikki summat tiloje yli korvataa yksikertaisesti itegraaleilla. Operaattori oletetusta hermiittisyydestä seuraa, että se omiaisarvot ovat reaalisia ja omiaisvektorit muodostavat Hilberti avaruude täydellise ortoormittuva kaa. Voidaa siis olettaa, että omiaistilat toteuttavat relaatio m = δ m, mikä lisäksi ykkösoperaattori voidaa kirjoittaa muodossa 1 =. Observaabeli  odotusarvo kvattitilassa Ψ saadaa äi kirjoitettua muotoo  = Ψ Â Ψ = Ψ m m Â Ψ = A Ψ 2, m,
jossa tulkitsemme site, että tekijät Ψ 2 atavat todeäköisyyde sille, että tarkasteltavalle observaabelille saadaa mittauksessa diskreetti arvo A. Usei o kätevää kirjoittaa myös tilavektorit kompoettiesitykseä sopiva hermiittise operaattori ortoormitetussa kaassa Ψ = Ψ, missä olemme käyttäeet yllä johdettua yksikköoperaattori muotoa. Koordiaattikaassa x vastaavat kertoimet ovat tuttuja aaltofuktioita x Ψ = Ψ(x, t), joide itseisarvoje eliö kertoo todeäköisyyde löytää hiukkae koordiaattiavaruude pisteestä x ajahetkellä t. (Huomaa, että aikariippuvuus tulee tähä tila Ψ aikariippuvuudesta.) Hyvi oleaisia relaatioita ovat x p = h 3/2 e ix p /ħ, x x = δ(x x ), p p = δ(p p ) jotka tarjoavat mahdollisuude siirtyä koordiaatti- ja impulssikatoje välillä. Tällaie kaa muutos o esimerkki uitaarise operaaattori idusoimasta muuoksesta jossa siirrymme kaasta toisee. Operaattori jälki Tr  määritellää sitä vastaava matriisi diagoaalielemettie summaa, Tr  = Â, joka o kuiteki selvästi kaasta riippumato suure. Se toteuttaa lisäksi ormaalit matriisilaskea jälje relaatiot, kute syklisyyde. Määrittelemällä yt systeemi ormitettua tilaa Ψ vastaava s. projektio-operaattori ρ Ψ Ψ Ψ, ähdää helposti, että observaabeleide odotusarvot o lausuttavissa muodossa  = Tr ρ Ψ ja kahde eri tila välise sisätulo ormi eliö puolestaa muodossa Ψ Φ 2 = Tr ρ Ψρ Φ. Kute tulemme myöhemmi moee kertaa toteamaa, jälje laskemie kvattimekaiikassa o ii 1- kui moihiukkassysteemie tapauksessa hyvi tarkkaa aalogie itegroiille klassisessa faasiavaruudessa. Tiloje ajallise kehitykse määrää Schrödigeri yhtälö 4
iħ Ψ(t) = Ĥ Ψ(t), t missä Ĥ o Hamiltoi operaattori ja joka formaali ratkaisu o Ψ(t) = exp ( iĥ t) Ψ(0). ħ Ns. eergiaesityksessä tilat esitetää Ĥ: omiaistiloje kaassa, jossa pätee omiaisarvoyhtälö Ĥ = E, missä E ovat systeemi omiaiseergiat ja tilat määritelmällisesti ajasta riippumattomia. Schrödigeri yhtälöstä saamme helposti yleise tila Ψ(t) aikakehitykseksi johtue relaatiosta Ψ(t) = Ψ(t) = exp ( ie t) Ψ(0) ħ Ψ(t) = exp ( iĥ ħ t) Ψ(0) = exp ( ie t) Ψ(0). ħ Moihiukkassysteemit ja Focki avaruus Moihiukkassysteemi mahdolliset tilat kuuluvat kvattimekaiikassa N: hiukkase Hilberti avaruutee, joka o muodoltaa N: yksihiukkasavaruude suora tulo H (N) = H 1 H 1 H 1 H 1. Jos H 1 : katavektoreita o umeroituva määrä, voidaa iistä muodostaa H (N) : kata suora tulo avulla, ja mielivaltaie tila Ψ esittää muodossa Ψ = l 1 l N l 1,, l N Ψ, l 1 l N 5
missä kuki ideksi l 1 käy läpi kaikki systeemi yksihiukkastilat ja käytämme otaatiota jossa l 1 l N l 1,, l N. Todelliset kvattimekaaiset systeemit eivät kuitekaa miehitä koko avaruutta H (N), vaa aioastaa aliavaruude, joka o täysi symmetrie (bosoit) tai atisymmetrie (fermioit) kahde hiukkase vaihdossa, koska bosoit oudattavat s. Bose-Eisteii statistiikkaa ja fermioit Fermi-Diraci statistiikkaa. Oikeat N: hiukkase systeemi katafuktiot saadaaki ottamalla 1-hiukkastiloje suorista tuloista s. Slateri (ati)determiatteja. Käytäössä moihiukkaskvattimekaiikka formuloidaa kätevimmi Focki avaruudessa ja käyttämällä hyväksi hiukkaste luomis- ja tuhoamisoperaattoreita. Focki avaruus o kaikkie N: hiukkase (ati)symmetrisoituje Hilberti avaruuksie suora summa F = H (0) H (1) PH (N), jossa H (0) = C (eli kompleksilukuje joukko) ja P projektio-operaattori symmetrisee (bosoit) tai atisymmetrisee (fermioit) Hilberti moihiukkasavaruutee. Focki avaruude alkiot voidaa yt esittää koordiaattiesityksessä vektoria Φ = (z, Ψ 1 (ξ 1 ), Ψ 2 (ξ 1, ξ 2 ),, Ψ N (ξ 1,, ξ N ) ), jossa z o puhdas kompleksiluku, Ψ k täysi (ati)symmetrie k: muuttuja fuktio ja ξ i = (x i, s i ), missä s i o hiukkase i spi. Kyseise avaruude ykkösee ormitetut katavektorit voidaa puolestaa esittää muodossa (N) (0,0,, Ψ 1 N (ξ 1,, ξ N ), 0,0, ) (N) missä ideksit i käyvät läpi kaikki 1-hiukkastilat, ja ormitetut katafuktiot Ψ {} ovat lausuttavissa yksihiukkaskatafuktioide Ψ i (ξ) ξ i avulla muodossa (N) 1 (ξ 1,, ξ N ) = N! 1! 2! ε P Ψ 1 [P(ξ 1 )] Ψ N [P(ξ N )]. P{ξ i } Ψ {} Tässä summaus suoritetaa kaikkie N: hiukkae permutaatioide yli (yht. N! kpl), ja i o puolestaa kvattitila i miehitysluku. Se kertoo, kuika mota 6
(N) kyseistä kvattitilaa vastaavaa yksihiukkasaaltofuktiota katafuktio Ψ {} termeissä o, ts. kuika mota kertaa i esiityy ideksijoukossa {}. Käytäössä i o siis tilassa i olevie hiukkaste lukumäärä kyseisessä moihiukkastilassa. Yo. summassa fuktio ε P riippuu hiukkaste statistiikasta ja o bosoeilla ε P = 1 fermioeilla { ε P = +1 parillisella permutaatioilla ε P = 1 parittomalla permutaatioilla. Katafuktio ormitustekijä itegraali 1 N! 1! 2! o puolestaa helppo perustella laskemalla dx 1 dx N ε P P{ξ i } Ψ 1 [P(ξ 1 )] Ψ N [P(ξ N )] ε P = N! 1! 2! P {ξ i } Ψ 1 [P (ξ 1 )] Ψ N [P (ξ N )] missä o otettu huomioo se, että jokaista P: permutaatiota (N! kpl) kohti o täsmällee 1! 2! kpl P : permutaatiota, joille yo. itegraali ataa tulokse 1, muille 0. Näissä siis permutoidaa vai tiety kvattitila l aaltofuktioide ξ i - koordiaatteja. Huomaa, että ε P : merkitys häviää tässä tarkastelussa (miksi?). Esimerkki: Tarkastetaa yllä käytetty moihiukkasaaltofuktio ormitus kahde hiukkase tapauksessa 1) Kaksi bosoia: Ψ ij (1,2) = Φ i (1)Φ j (2) + Φ i (2)Φ j (1), jossa Φ i viittaa oikei ormitettuu tila i aaltofuktioo ja 1/2 puolestaa hiukkasee - oikeasti siis Φ i (1) = Φ i (ξ 1 ), je. Nyt saadaa kaksihiukkasaaltofuktio eliöksi Ψ ij Ψ ij = Φ i (1)Φ j (2)Φ i (1)Φ j (2) + Φ i (1)Φ j (2)Φ i (2)Φ j (1) +Φ i (2)Φ j (1)Φ i (1)Φ j (2) + Φ i (2)Φ j (1)Φ i (2)Φ j (1), jolloi läpikäytävää o kaksi eri mahdollisuutta: i) Hiukkaset ovat eri tiloissa (i j): Fuktioide Φ i ortoormaalisuude vuoksi 2. ja 3. termi yllä häviävät itegroitaessa, ja saamme Ψ Ψ = 2. Tässä tapauksessa o toisaalta N = 2, 1 = 1, 2 = 1, jote aiempi ormituskaava (N! 1! 2!) 1/2 = 1/ 2 ataa selvästi oikea tulokse. 7
ii) Hiukkaset ovat samassa tilassa (i = j): Nyt kaikista yo. kaava termeistä tulee kotribuutio itegroitaessa, ja Ψ Ψ = 4. Koska N = 2, 1 = 2 ja 2 = 0, ii (N! 1! 2!) 1/2 = 1 = 1, eli ormituskaava toimii jällee. 4 2 2) Kaksi fermioia: Ψ 12 (1,2) = Φ 1 (1)Φ 2 (2) Φ 1 (2)Φ 2 (1), eli hiukkasilla o parito permutaatio. Nyt hiukkaste o oltava eri tiloissa (kute tässä oki idikoitu), ja ormitustekijä o (N! 1! 2!) 1/2 = 1/ 2, mikä selvästi o jällee oikea tulos (lasku vastaa täysi bosoie i) tapausta yllä). Yllä määriteltyjä katafuktioita Ψ (N) {} (ξ 1,, ξ N ) vastaavia tiloja o helpoita merkitä symbolilla { i }, jossa i vastaa kvattitila i miehityslukua. Tällöi voidaa määritellä yleistetyt luomis- ja tuhoamisoperaattorit a i ja a i, jotka lisäävät kvattitilaa (vähetävät tilasta) i yhde hiukkase. Bosoiset operaattorit toteuttavat silloi tutut kommutaatio- ja fermioiset atikommutaatiorelaatiot. Lyhyellä laskulla saadaa tällöi se ylläoleva tarkastelu kassa yhtäpitävä tulos, että kahta fermioia ei voi laittaa samaa kvattitilaa, ts. kuki tila miehitusluvut ovat joko 0 tai 1. Tätä säätöä kutsutaa Pauli kieltosääöksi. Maiittakoo vielä lopuksi, että vuorovaikuttamattoma moihiukkasjärjestelmä Hamiltoi fuktio o helpoita lausua määrittelemällä esi tuttu miehityslukuoperaattori i = a i a i, joka laskee tilassa i olevie hiukkaste lukumäärä, ja kirjoittamalla se avulla H = ε l l, missä ε l vastaa tila l yksihiukkaseergiaa. Focki avaruude katatilassa { i } Hamiltoi fuktio (eli eergia) omiaisarvo o tällöi yksikertaisesti l E = ε l l, missä l o operaattori l omiaisarvo ja kertoo vastaava tila miehitysluvu. Tällöi kostruktiossa o erityisesti huomattavaa, että systeemi hiukkaste l 8
kokoaismäärää ei tarvitse eksplisiittisesti spesifioida, mikä oki Focki avaruudessa toimimise hyödyllie piirre. Makrotilat ja tiheysoperaattori Aiva kute klassisessa mekaiikassa, myös kvattimekaiikassa esemble määritellää joukkoa mikrotiloja, jotka vastaavat samaa, yleesä termodyaamiste suureide avulla määriteltyä makrotilaa. Palaamme tuoempaa useisii esimerkkitapauksii varsiki tasapaioesembleistä; e määritellää tyypillisesti hyvi aalogisesti klassiste vastieittesa kassa. Puhtaassa tilassa systeemi tila tuetaa maksimaalisella tarkkuudella, ts. sitä kuvaa joki vektori Ψ N: hiukkase (ati)symmetrisoidussa Hilberti avaruudessa. Tämä o kuiteki varsiki makroskooppiste systeemie tapauksessa äärimmäise harviaie tilae; yleesä systeemi oki s. sekatilassa, jossa hiukkaste lukumäärääkää ei usei tarkkaa tiedetä. Sekatila määritellää joukkoa mahdollisia (ykkösee ormitettuja) kvattitiloja Ψ, joissa systeemimme o todeäköisyyksillä p. Mielivaltaise operaattori  esemblekeskiarvo lasketaa silloi odotusarvoa  = p Ψ Â Ψ = p Ψ m m  Ψ,m, = Ψ p Ψ m m Â,m, ϱ m m  = Tr(ϱ Â), m, missä summat m: ja : yli käyvät läpi relevati avaruude (Focki avaruude tai N: hiukkase (ati)symmetrisoidu Hilberti avaruude) joki täydellise kaa kaikki kvattitilat. Olemme määritelleet tässä tiheysoperaattori 9
ϱ = p Ψ Ψ, jota usei käytetää sekatila määritelmää. Tässä summa käy läpi systeemissä esiityvät kvattitilat ja selvästi vaaditaa, että p = 1 (huomaa kuiteki, että tiloje Ψ ei vaadita muodostava täydellistä kataa tai oleva edes ortogoaalisia keskeää). Tiheysoperaattori o suora kvattimekaaie vastie klassisesta statistisesta fysiikasta tutulle faasiavaruude tiheysjakaumalle. Puhtaassa tilassa ϱ = Ψ Ψ, mistä selvästi seuraa relaatio ϱ 2 = ϱ ; (helpoksi) harjoitustehtäväksi jätetää se äyttämie, että implikaatio toimii myös toisee suutaa, ts. ϱ 2 = ϱ pätee vai puhtaille tiloille. Tiheysoperaattori tärkeimpiä omiaisuuksia ovat: 1. Automaattie ormitus: Tr ϱ = ϱ = p Ψ Ψ, = p Ψ Ψ = p = 1 2. Hermittiivisyys: ϱ = ( p Ψ Ψ ) = p Ψ Ψ = ϱ. 3. Positiivisuus: mielivaltaiselle tilalle Φ Φ ϱ Φ = p Φ Ψ Ψ Φ = p Φ Ψ 2 0., Tiheysoperaattori aikakehitys saadaa puolestaa suoraa Schrödigeri yhtälöstä: iħ t ϱ = iħ t p Ψ Ψ = iħ p ( t Ψ ) Ψ + p Ψ ( t Ψ ) 10
= p Ĥ Ψ Ψ p Ψ Ψ Ĥ = [Ĥ, ϱ ] iħ ϱ = [Ĥ, ϱ ]. t Tämä o vo Neumai yhtälö, joka vastaa klassise mekaiika Liouville yhtälöä. Se pätee systeemeille, jotka eivät vuorovaikuta ympäristösä kassa, ts. joissa Ĥ ei riipu mahdollisista ulkoisista koordiaateista. O mielekiitoista huomata, kuika paljo kivuttomampaa liikeyhtälö johto oli kvattimekaaisessa tapauksessa kui Liouville yhtälö johto klassisessa faasiavaruudessa. Statioaarisessa tilassa o selvästi oltava ϱ = 0 eli [Ĥ, ϱ ] = 0. Aiva kute t klassise mekaiika tapauksessa aiemmi, tämä o mahdollista, jos tiheysoperaattori riippuu vai säilyvistä (Ĥ: kassa kommutoivista) suureista. Huom 1 Statioaarise tila ehdosta [Ĥ, ϱ ] = 0 seuraa suoraa mielekiitoie tulos eergia omiaistiloille: Ĥ = E ; Ĥ β = E β β [Ĥ, ϱ ] = 0 E ϱ β = E β ϱ β ϱ β = 0 ellei E = E β, eli ϱ o diagoaalie eergiakaassa. Kyseessä o luoollisestiki vai erikoistapaus siitä yleisestä tuloksesta, että jos kaksi operaattoria kommutoivat keskeää, iille voidaa valita yhteiset omiaistilat. Mielivaltaisessa kaassa ϱ : ei kuitekaa tarvitse olla diagoaalie, mutta elemettie fysikaalie merkitys (todeäköisyystulkita) o kuiteki selkei diagoaalisessa tapauksessa. Huom 2 Statistiselle eli Gibbsi etropialle (ei itsestääselvästi sama kui termodyaamie etropia) voidaa määritellä suora kvattimekaaie vastie S = Tr ϱ l ϱ. Koska tiheysoperaattori o hermiittie, o olemassa täydellie ortoormaali kata k jossa 11
ϱ = p k k k k ja edellee k p k = 1. Tässä kaassa tilastollie etropia saa selvästi muodo S = p k l p k, joka o positiividefiiitti ja häviää (miimoituu) puhtaassa tilassa. k Tilatiheys Tutkitaa jällee yksikertaisuude vuoksi systeemiä, jolla o diskreetti eergiaspektri, ja määritellää tilakertymäfuktio J(E) = θ(e E ). Se selvästiki kertoo tiloje lukumäärä, joide eergialle E pätee E E. Tilatiheys ω(e) määritellää yt derivaattaa ω(e) = dj(e) de = δ(e E ), jolloi kombiaatio ω(e)de kertoo eergiavälillä (E, E + de) olevie tiloje lukumääärä. Kaasta riippumattomasti voidaa selvästi kirjoittaa ja J(E) = Tr θ(e Ĥ) ω(e) = Tr δ(e Ĥ). Tilatiheys voidaa ajatella kvattimekaiika vastieea klassise faasiavaruude eergiapia tilavuudelle Σ E. Termodyaamisella rajalla (iso N, V), jossa tiloje spektristä tulee jatkuva, se saa tyypillisesti deltafuktioesitystä sileämmä muodo (ks. esimerkit alla). 12
Huom 1 Tähä meessä olemme löytäeet seuraavat vastaavuudet klassise ja kvattimekaaise moihiukkasformalismi välille: ϱ = p Tr ~ dγ [, ]~{, } ω(e)~σ E Ψ Ψ ~ρ class Vastaavatyyppisiä aalogioita tulee myöhemmi vastaa lisääki, ja e o hyvä pitää mielessä verrattaessa kvattimekaaiste systeemie käsittelyä klassisii. Esimerkki 1: Yhde vapaa hiukkase tilatiheys Tarkastellaa vapaata hiukkasta, joka Hamiltoi fuktio o H = p 2 /2m. Ku hiukkae o suljettu laatikkoo V = L 3, ovat ormitetut eergia omiaisfuktiot tuetusti missä k = 2π L ( x, y, z ) ja p 2 = ħ 2 k 2. Tilakertymäfuktioksi saadaa yt Ψ k (r ) = 1 V eik r J(E) = g θ (E ħ2 k 2 2m ) jatkumo gv (2π) 3 d3 k θ (E ħ2 k 2 2m ) x, y, z = gv (2π) 3 4π 1 (2mE) 3/2 3 (ħ) 3 = 4π 3 gv (2mE)3/2 h 3 missä g o esim. spiistä johtuva mahdollie degeeraatiotekijä ja jossa otettua jatkumorajaa tullaa käyttämää vielä usei. Tilatiheys saadaa tästä suoraa muodossa ω 1 (E) = dj(e) de gv = 2π h 3 (2m)3/2 E 1/2 C 1 VE 1/2, C 1 = 2πg( 2m h 2 )3/2. 13
Esimerkki 2: N: vapaa hiukkase tilatiheys. Nyt H = ħ2 2 N k i i=1 ja edellee 2m J(E) = g N θ (E ħ2k i ) 2m x, y, z i=1 x, y, z N 2 g N V N (2π) 3N d 3 k 1 d 3 k N θ (E ħ2 2 N k i i=1 ). 2m Itegraali vastaa selvästi 2mE/ħ -säteise 3N-ulotteise pallo tilavuutta, joka yleie kaava o tuetusti V d = πd/2 r d Γ ( d. 2 + 1) Tästä saadaa ottamalla huomioo N: idettise hiukkase permutaatiosymmetriasta klassisesti tuleva N! ja edellee J N (E) = g N V N π 3N/2 ( 2mE 3N ħ ) (2π) 3N Γ ( 3N 2 ω N (E) = dj N(E) de + 1) N! = 3N gnvn π 2 (2mE) 3N/2 h 3N Γ ( 3N + 1) N! 2 = gn V N 3N π 2 (2m) 3N/2 E 3N 2 1 N! h 3N Γ ( 3N 2 ) = (C 2V) N E 3N 2 1 N! Γ ( 3N, jossa C 2 = g(2πm)3/2 2 ) h 3. O hyvä huomata, että tässä johdettu tulos o oikea aioastaa klassisella rajalla, jossa yksikää kvattitila ei ole moikertaisesti miehitetty. Oikeisii bose- ja fermikaasuje kvattistatistiikkoihi palaamme myöhemmi. 14