Fizyka statystyczna/Zespoły statystyczne w fizyce statystycznej kwantowej
Licencja
|
---|
Autor: Mirosław Makowiecki
Absolwent UMCS Fizyki Komputerowej Uniwersytetu Marii Curie-Skłodowskiej w Lublinie Email: miroslaw(kropka)makowiecki(małpa)gmail(kropka)pl Dotyczy: książki, do której należy ta strona, oraz w niej zawartych stron i w nich podstron, a także w nich kolumn, wraz z zawartościami. Użytkownika książki, do której należy ta strona, oraz w niej zawartych stron i w nich podstron, a także w nich kolumn, wraz z zawartościami nie zwalnia z odpowiedzialności prawnoautorskiej nieprzeczytanie warunków licencjonowania. Umowa prawna: Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Autor tej książki dołożył wszelką staranność, aby informacje zawarte w książce były poprawne i najwyższej jakości, jednakże nie udzielana jest żadna gwarancja, czy też rękojma. Autor nie jest odpowiedzialny za wykorzystanie informacji zawarte w książce, nawet jeśli wywołaby jakąś szkodę, straty w zyskach, zastoju w prowadzeniu firmy, przedsiębiorstwa lub spółki bądź utraty informacji, niezależnie czy autor (a nawet Wikibooks) został powiadomiony o możliwości wystąpienie szkód. Informacje zawarte w książce mogą być wykorzystane tylko na własną odpowiedzialność. |
Podręcznik: Fizyka statystyczna.
Kwantowy zespół statystyczny - jest to układ termodynamiczny opisywanych według prawideł mechaniki kwantowej, którego stan jest opisywany przez hamiltonian .
Operator gęstości w statystyce kwantowej
edytujRozważmy układ termodynamiczny, w którym oznacza stan kwantowy układu. W tym układzie postulujemy istnienie zespołu statystycznego. Ten zespół określa z pośród L kopi danego układu prawdopodobieństwa, że dany układ (kopia) znajduje się w ściśle określonym stanie kwantowym. Będziemy oznaczać wszystkie uogólnione współrzędne wszystkich cząstek wchodzących w skład układu przez literkę x. Niech stanem kwantowym naszego układu określa funkcja kwantowa (falowa) k-ta. W ogólności każda kopia z pośród z L określa inna funkcja falowa oznaczona innym k.
Równanie falowe w mechanice kwantowej zależne od czasu jest reprezentowane przez:
Kolejne warunki jakie funkcja falowa powinna spełniać, która jest rozwiązaniem równania falowego (20.1) powinna spełniać warunek ortogonalności i zupełności, a te warunki są podane poniżej:
Całkowita funkcja falowa, która jest rozwiązaniem równania (20.1) jest kombinacją liniową (w funkcjach dyskretnej ortogonalnej bazy), którego współczynniki są współczynnikami rozwinięcia całkowitej funkcji falowej rozwiązania wspomnianego równania mających wygląd:
gdzie:
- "k" jest to numer funkcji falowej opisującej dany stan kwantowy o tym numerze, liczba tych wszystkich układów jest "L", które muszą być opisane w ogólności funkcją , którego norma nie musi być jeden.
- są to aplitudy prawdopodobieństwa,
- ,jest to prawdopodobieństwo tego, że układ znajduje się w stanie opisywany przez wektor bazy ortogonalnej rozwiązania równania falowego zależnego od czasu ψn(x).
Wartości średnie operatora możemy w taki sposób napisać, gdy mamy L kopii układu, którego badamy. W liczniku oraz w mianowniku poniższego równania jest dzielenie przez liczbę L i które to wyrażania są pewnymi sumami, w liczniku i mianowniku jest tam w sumie L wyrazów, każde dla innego układu z ogólnej ich liczby L. Każdy składnik w mianowniku po podzieleniu przez L jest jakoby prawdopodobieństwem , że wybierzemy pewny układ z L, a w nim pewny parametr z prawdopodobieństwem . Ze względu na z ortogonalizowane funkcje własne, które są rozwiązaniami powyższego równania (20.1), to wyrażenie jest coś w rodzaju wartości średniej, dla pojedynczego układ z L wartości własnej operatora dla funkcji gęstości prawdopodobieństwa policzonej według (20.4), a 1/L jest prawdopodobieństwem, że dany układ jako kopie z L istnieje, zatem średnia wartość omawianego operatora dla L układów, z definicji średniej ważonej, jest napisana:
Jest to podwójna gęstość prawdopodobieństwa, jest to średnia średnich, czyli mając średnią danej kopii układu względem omawianego operatora, a później badając L układów, to policzyć możemy średnią dla L kopii układów. Zakładamy, nie pomijając ogólności wykładu, że funkcja jest unormowana do jedynki, w każdym bodź razie możemy tak zrobić, tzn.:, co według tego możemy napisać:
Równanie (20.5) na wartość średnią naszego operatora na podstawie warunku z unormowania operatorów funkcji własnych rozwiązania równania własnego, wtedy jest spełnione (20.6), zatem nasze wspomniane wyrażenie przy tych dysputach przyjmuje kształt:
Rozwijamy funkcję w szereg w funkcjach bazy naszego zespołu według (20.4), wtedy równanie (20.7) przyjmuje postać:
Oznaczmy, że elementami macierzowymi operatora względem funkcji własnych bazy ortogonalnej o numerach n i m są w postaci:
Przyjmijmy, że elementy macierzowe operatora gęstości są zdefiniowane:
Korzystając ze wzoru na elementy macierzowe operatora gęstości (20.10) i też ze wzoru na średnią wartość operatora (20.8) względem jego elementów macierzowych (20.9), piszemy:
Z równania (20.11) dostajemy równanie na średnią wartość operatora :
Tożsamość na średnią wartość operatora jest napisana poprawnie, gdy ślad operatora gęstości jest równy jeden. Udowodnijmy czemu jest równy mianownik w tożsamości (20.5).
Na podstawie obliczeń (20.13) udowodniliśmy, że ślad operatora gęstości jest równe mianownikowi wyrażenia (20.5) i jeśli zachodzi (20.6), to ten ślad jest równy jeden. Uogólniając wniosek, mówimy że średnia operatora analogicznie do równania (20.12) przy dowodzie (20.13), gdy funkcja nie jest unormowana do jedynki, wtedy to równanie przyjmuje bardziej ogólną postać do równania poprzednio wspomnianego:
Gdy zachodzi (20.14), wtedy nieprawdą jest, że ślad operatora gęstości jest równy jeden. Operator, dla którego elementy macierzowe operatora są przedstawione wedle wzoru, tzn.: (20.10), to ten operator można zapisać wedle:
Widząc definicję na (20.14), wtedy możemy policzyć jej pochodną cząstkową względem czasu pomnożonej przez iloczyn stałej kreślonej Plancka przez jednostkę urojoną:
Stosując rozwiązanie równania falowego rozwiniętego w funkcjach ortogonalnej bazy (20.4) do równania zależnego od czasu mechaniki kwantowej (20.1), to dochodzimy wtedy do wniosku:
Teraz mnożymy obie strony tożsamości (20.17) przez funkcję falową ortogonalnej bazy o numerze m, czyli przez funkcją ψm(x):
Z tożsamości udowodnionej przy pomocy obliczeń w punkcie (20.18) możemy przepisać jego skrajne wyrazy, by potem przeprowadzać kolejne wnioski.
Z definicji elementów macierzowych i definicji iloczynu skalarnego sprzężenie zespolone elementu macierzowego hamiltonianu o numerach "m" i "p" jest równe elementowi macierzowemu, ale z odwróconą jego numeracją, tzn. "p" a później" m":
Zatem policzmy sprzężenie równiania (20.19) wykorzystując przy tym udowodniony warunek (20.20):
Stosując równanie (20.21) i (20.19) i to wszystko podstawiając do równania opisującego propagację elementu macierzowego operatora gęstości (20.16), oczywiste jest:
Napiszmy teraz równanie (20.22), który jest wersji macierzowej w jego wersję operatorową przy pomocy definicji operatora komutacji:
Niech operator gęstości będzie napisany wedle sposobu poniżej, który jest zależny od operatora całkowitej energii układu i od czasu, ale też od operatora gęstości w czasie zerowym :
gdzie jest to operator ewolucji (MK-11.73). Sprawdźmy, czy operator gęstości z definiowanej według (20.24) zależy od czasu, w tym celu obliczmy jego pochodną cząstkową względem czasu:
W (20.25) skorzystaliśmy, że operator komutuje z innymi operatorami zależnymi tylko od niego samego , zatem jeśli będziemy przyjmować, że operator gęstości zależy tylko od operatora całkowitej energii układu wedle sposobu , to operator gęstości wedle tej definicji nie zależy w ogóle od czasu, tzn.:
Jeśli wszystkie kopie badanego układu zespołu statystycznego są w tym samym stanie co oznacza , to równość na element macierzowy operatora gęstości zapisujemy według (20.10) w postaci:
Wyznaczmy kwadrat operatora gęstości zdefiniowanej wedle wzoru (20.27), tzn.:
Na podstawie (20.28) dochodzimy do wniosku, że operator jest operatorem rzutowym (idempotentny). A więc jego wartości własne to są 0 i 1. Napiszmy jeszcze raz dla (20.22) przy definicji operatora gęstości zależnego od hamiltonianu, jeśli zachodzi (20.26) i jednocześnie ψn(x) są stanami własnymi operatora energii, bo ono jest rozwiązaniem równania własnego operatora niezależnego od czasu całkowitej energii, wtedy mamy:
Dochodzimy do wniosku, jeśli elementy macierzowe operatora gęstości nie zależą od czasu, to musi zachodzić na pewno m=n. Na podstawie (20.29), gdy zachodzi warunek na operator gęstości (20.26), to elementy macierzowe operatora gęstości posiadają nieznikające elementy diagonalne, tzn. występują tylko na jego przekątnej, a pozostałe elementy są oczywiście równe zero:
Na podstawie wzoru na elementy macierzowe operatora gęstości (20.10) i zachodzącej tożsamości (20.30), możemy napisać elementy macierzowe operator gęstości wedle sposobu:
Jeśli zachodzi , który jest prawdopodobieństwem, że stan n jest realizowany dla k-tej kopi układu z L, zatem diagonalne jego elementy macierzy gęstości są napisane:
Z obliczeń na diagonalnych elementach macierzowych operatora gęstości (20.32) wynika warunek:
Dochodzimy do wniosku, że elementy diagonalne tegoż operatora mają sens prawdpodobieństwa.
Gdy operator gęstości jest zdefiniowany wedle wzoru (20.15), to wtedy jest spełniony na pewno warunek na ten operator (20.23). Tylko istnieje jeden problem, nie znamy operatora gęstości dla czasu t=0, i z tego względu musimy postulować wygląd tego operatora w czasie początkowym.
Zespół mikrokanoniczny
edytujZespół mikrokanoniczny jest definiowany podobnie jak zespole klasycznej, jego odpowiednika. Przyjmujemy, że jest to układ izolowany, tzn. nie może być wymiany energii, ani masy, ale także liczby cząstek, a objętość jest stała. Kwantowa interpretacja tego rozkładu dla współczynników występująca w definicji elementu macierzowego operatora gęstości jest:
Operator gęstości (20.10) w zespole mikrokanonicznym przyjmuje wygląd:
Można udowodnić, że elementami macierzowymi operatora gęstości (20.35) są elementy diagonalne równe jeden. A oto dowód:
A ślad operatora (20.35) jest napisany wedle sposobu poniżej, jak się przekonamy jest ona równa prawdopodobieństwu termodynamicznemu z jakim istnieje pewien układ statystyczny:
Termodynamikę określamy definiując entropię według wzoru w zależności od prawdopodobieństwa termodynamicznego (12.74), która nadal jest słuszna (tak jak w mechanice klasycznej) w mechanice kwantowej, która jest w pewnym stopniu mechaniką dyskretną.
Zespół kanoniczny (T,V,N,t)
edytujJest to układ zamknięty, w którym temperatura ,objętość, liczba cząstek i czas są stałe. Natomiast układ może wymieniać energię między otoczeniem a układem. Poszczególne poziomy są opisywane przez funkcje falowe są unormowane do jedynki , a także wzór na operator gęstości, którego elementy macierzowe są diagonalne, które są zdefiniowane wedle (20.31), piszemy:
Elementami macierzowymi operatora gęstości (20.38) są z definicji elementami macierzowymi dowolnego operatora o nieznikających diagonalnych elementach, które są prawdopodobieństwami, że układ statystyczny będzie posiadał energię o wartości Ep:
Tutaj elementy macierzowe operatora gęstości są unormowane do jedynki jak bardzo łatwo można wykazać.
Wielki zespół kanoniczny (T,V,μ,t)
edytujJest to układ, w którym temperatura, objętość, czas, potencjał chemiczny i czas są stałe, natomiast liczba cząstek jest wielkością nie stałą. Poszczególne poziomy są opisywane przez funkcje falowe są unormowane do jedynki, a także wzór na operator gęstości, którego elementy macierzowe są diagonalne, które są zdefiniowane wedle (20.31), piszemy:
Elementami macierzowymi operatora gęstości (20.40) są z definicji elementów macierzowych dowolnego operatora, które są prawdopodobieństwami, że układ statystyczny będzie posiadał energię o wartości Ep i liczbę cząstek Np:
Tutaj elementy macierzowe operatora gęstości są unormowane do jedynki jak bardzo łatwo można wykazać.
Zespół kanoniczny (T,p,N,t)
edytujJest to układ, w którym temperatura, ciśnienie i liczba cząstek i czas są stałe, natomiast objętość jest wielkością niestałą. Poszczególne poziomy są opisywane przez funkcje falowe są unormowane do jedynki, a także wzór na operator gęstości, którego elementy macierzowe są diagonalne, które są zdefiniowane wedle (20.31), piszemy:
Elementami macierzowymi operatora gęstości (20.42) są z definicji elementów macierzowych dowolnego operatora, które są prawdopodobieństwami, że układ statystyczny będzie posiadał energię o wartości Ep i objętość Vp:
Tutaj elementy macierzowe operatora gęstości są unormowane do jedynki jak bardzo łatwo można wykazać.
Zespół kanoniczny (T,p,μ,t)
edytujJest to układ, w którym temperatura, ciśnienie, potencjał chemiczny i czas są stałe, natomiast objętość i liczba cząstek są wielkościami nie stałymi. Poszczególne poziomy są opisywane przez funkcje falowe są unormowane do jedynki, a także wzór na operator gęstości, którego elementy macierzowe są diagonalne, które są zdefiniowane wedle (20.31), piszemy:
Elementami macierzowymi operatora gęstości (20.44) są z definicji elementów macierzowych dowolnego operatora, które są prawdopodobieństwami, że układ statystyczny będzie posiadał energię o wartości Ep, objętość Vp i liczbę cząstek Np:
Tutaj elementy macierzowe operatora gęstości są unormowane do jedynki jak bardzo łatwo można wykazać.
Zespół kanoniczny (T,p,μ,ω)
edytujJest to układ, w którym temperatura, ciśnienie oraz potencjał chemiczny i czasowy są stałe, natomiast objętość, liczba cząstek i czas są wielkościami nie stałymi. Poszczególne poziomy są opisywane przez funkcje falowe są unormowane do jedynki, a także wzór na operator gęstości, którego elementy macierzowe są diagonalne, które są zdefiniowane wedle (20.31), piszemy:
Elementami macierzowymi operatora gęstości (20.46) są z definicji elementów macierzowych dowolnego operatora, które są prawdopodobieństwami, że układ statystyczny będzie posiadał energię o wartości Ep, objętość Vp i liczbę cząstek Np oraz był w czasie tn jest:
Tutaj elementy macierzowe operatora gęstości są unormowane do jedynki jak bardzo łatwo można wykazać.