Przejdź do zawartości

Mechanika kwantowa/Dowód niepełny i pełny relatywistycznej teorii kwantów Diraca

Z Wikibooks, biblioteki wolnych podręczników.
Mechanika kwantowa
Mechanika kwantowa
Dowód niepełny i pełny relatywistycznej teorii kwantów Diraca

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ść.


Udowodnijmy równania własne zależnego i niezależnego od czasu równań mechaniki kwantowej relatywistycznej Diraca.

W równaniach mechaniki kwantowej Diraca podobnie jak w mechanice kwantowej nierelatywistycznej, wtedy funkcja falowa wektorowa jest napisane w sposób bardzo podobny do (11.8) lub (11.9), albo według (11.10), tylko, że zamiast funkcji falowych skalarnych są wektory funkcji falowych. Prawa mechaniki relatywistycznej kwantowej Diraca rozważane są słuszne jedynie dla pól elektromagnetostatycznych, czyli dla pól elektrycznych i magnetycznych, stałych w czasie.

Równanie własne pewnego operatora występującego w definicji operatora energii relatywistycznej

[edytuj]

Napiszmy i udowodnijmy równanie własne operatora energii relatywistycznej (26.24) wykorzystując udowodnioną tożsamość (11.19), którą dla dowolnej jego potęgi możemy przepisać wzorem, co nie trudno udowodnić na podstawie indukcji matematycznej:

(27.1)

bo dla s=1 równość (27.1) przechodzi w (11.19), a dla s=0 ona jest tożsamością, udowodnijmy twierdzenie dla s+1, wtedy podziałajmy obie strony (27.1) operatorem , wtedy mamy:



(27.2)

Powyższe dowody są prawdziwe jedynie w elektromagnetostatyce, w której zachodzi cechowanie dla pola magnetycznego stałego: (cechowanie Coulomba), i niezależność potencjału tensorowego elektromagnetycznego względem czasu. Udowodnijmy twierdzenie potrzebne do dowodu (27.2) dla pola elektromagnetostatycznego:



(27.3)
  • bo we dowodzie (27.3) występuje wyrażenie, które dla pola elektromagnetostatycznego jest równe zero.

Weźmy taki układ odniesienia, w którym jest stały w danym punkcie potencjał wektorowy pola elektromagnetostatycznego, czyli , wtedy zastosujmy cechowanie Coulomba (EK-10.4), co po przetransformowaniu do układu dowolnego, też dla tego samego rodzaju pola:

To wyrażenie jest równe zero na podstawie cechowania Coulomba i niezależności potencjału tensorowego od czasu, podanego powyżej. Zatem na podstawie tego równość (27.3) piszemy w formie:

(27.4)

Dowód niepełny wyprowadzenia operatora energii relatywistycznej

[edytuj]

Równość (27.2) jest taka sama jak (27.1) dla s+1 zamiast s. Zatem wzór (27.1) jest zawsze spełniony na podstawie indukcji matematycznej. Wiedząc, że i jest to koleino położenie i pęd uogólniony po 3N współrzędnych dla N cząstek, a i jest to koleino wektor operatora pędu i wektor pędu uogólnionego, dla i-tej cząstki, wtedy na podstawie (27.1) i wzoru na operator energii relatywistycznej (26.24) () i skalar energii relatywistycznej (26.23) ():




(27.5)

Sumujmy funkcje ze współczynnikami dla różnych pędów i takich samych energii (energii układu cząstek), wtedy równość (27.5) przyjmuje postać:

(27.6)

Sumujemy ze współczynnikami dla różnych pędach równanie (27.6), wtedy:

(27.7)

Równość (27.7) jest to równanie własne operatora energii relatywistycznej (26.25) z funkcjami własnymi zależącymi od położenia , czasu i energii całkowitej układu .

Dowód pełny wyprowadzenia operatora energii relatywistycznej

[edytuj]

Weźmy wzór na energię relatywistyczną ciała w zależności od jego pędu i masy spoczynkowej, wtedy tam występujące strony możemy zastąpić średnimi.

(27.8)

Ale z drugiej strony rozkład energii relatywistycznej piszemy z definicji wartości średniej (10.1) w mechanice kwantowej:

(27.9)

Napiszmy z definicji wartości średniej energii relatywistycznej przy znajomości wzoru (27.8):

(27.10)

Równość (27.10) mnożymy poprzez iloczyn skalarny dwóch takich samych funkcji :

(27.11)

Dalej rozpiszmy prawą stronę (27.11) rozwijając w szereg Taylora wyraz w tym pierwiastku, wykorzystując przy okazji udowodniony wzór (27.1):


(27.12)

Na podstawie metod matematyczny fizyki możemy napisać iloczyn skalarny w końcowym wywodzie (27.12) jako iloczyn dwóch funkcji falowych, czyli według twierdzenia (Twier. 11.1):

(27.13)

Też nożna powiedzieć naz podstawie (Twier. 11.1) elementy macierzowe względem dwóch dowolnych funkcji:

(27.14)

Ale dla dowolnej funkcji przy ściśle określonej bazie funkcji , we przedstawieniu (27.13), możemy napisać zawsze słuszne wyrażenie:

(27.15)

Średnie jakiś wielkości (operatora) w równaniu na średnich są spełnione dla dowolnych funkcji własnych na podstawie twierdzenia (Twier. 11.2), jeżeli wiadomo, że jego jedna średnia tych wielkości, dla jednej funkcji własnych, jest spełniona w nim dla operatora energii relatywistycznej w mechanice relatywistycznej kwantowej Diraca.

Równanie własne operatora energii (hamiltonianu Diraca) dla słabych i małych zmian pola magnetycznego

[edytuj]

Dowód niepełny

[edytuj]

Skorzystajmy z równania (27.6), zakładając, że występująca funkcja falowa jest wektorem i zobaczmy, czy wyjdzie równanie własne operatora energii (26.3), wykorzystując definicję operatora energii (26.82), co stąd:






(27.16)

Równanie własne końcowe w (27.16) sumujemy ze współczynnikami względem w sposób:

(27.17)

Otrzymany wzór (27.17) jest spełniony dla słabych i małych zmian pola magnetycznego.

Dowód pełny

[edytuj]

Napiszmy wzór na średnią energię całkowitą cząstki, w różnych polach:

(27.18)

Napiszmy wzór na średnią energię relatywistyczną z definicji wartości  średniej w mechanice kwantowej:

(27.19)

Policzmy (27.18) w obu jego stronach wyrażenia na podstawie wartości średniej parametru i operatora:

(27.20)

Pomnóżmy obie strony równości (27.20) przez iloczyn dwóch takich samych funkcji :

(27.21)

Dalej wykonujmy obliczenia na formule przedstawionej w (27.21), rozdzielając iloczyn skalarny po prawej jego stronie na sumy:








(27.22)

Ostatnie równanie na dwie takie same funkcje przekształcamy na dwa różne funkcje z praw iloczynu skalarnego z pierwszą funkcją będącą dowolną funkcją przy ściśle określonej bazie funkcji , czyli według twierdzenia (Twier. 11.1):

(27.23)

Też nożna powiedzieć naz podstawie (Twier. 11.1) elementy macierzowe względem dwóch dowolnych funkcji:

(27.24)

Średnie jakiś wielkości (operatora) w równaniu na średnich są spełnione dla dowolnych funkcji własnych na podstawie twierdzenia (Twier. 11.2), jeżeli wiadomo, że jego jedna średnia tych wielkości, dla jednej funkcji własnej tego operatora, jest spełniona w nim w mechanice kwantowej relatywistycznej Diraca. Gdzie definicja hamiltonianu występująca we wzorze (27.23) piszemy w formie:

(27.25)

Można udowodnić, że według równania własnego (26.3) energia własna jest niezależna od czasu na podstawie dowodu podobnego jak w mechanice falowej klasycznej, czyli według przedstawienia (11.43) na podstawie definicji hamiltonianu (27.25).

Dowód operatora energii relatywistycznej Diraca, że jego przedstawienie jest dokładne z układu dla punktu, w którym dla pola magnetycznego jego indukcja i jego zmiany są małe

[edytuj]

Równość (równanie własne operatora energii całkowitej) (26.25) jest spełniona dla słabych i małych zmian pól magnetycznych dla jakiegoś punktu w układzie i pól elektrycznych dowolnych, ale udowodnijmy, że jest spełniony również dla dowolnych pól magnetycznych, zatem dla pól magnetycznych i ich zmian dążących do zera w jakimś punkcie, oznaczmy w takim układzie operator energii całkowitej przez dla tego punktu. A dokładny operator energii całkowitej Diraca oznaczmy przez w ogólnie dowolnym punkcie w tym układzie, zatem zależność między dwoma operatorami przedstawia się na podstawie (24.5) w układach, w którymś w jakimś punkcie pole i jego zmiany są zerowe, a oba operatory energii są sformułowane dla jednej cząstki, wtedy z punktu, w którym tak nie jest, do punktu, w którym tak już jest:

(27.26)

Wtedy dla równości w układzie, w danym punkcie przy zerowych polach magnetycznych i jej zmianach (27.16), i na podstawie (27.26), możemy przejść w układzie do innego punktu, w którym to pole i jej zmiany, w danym punkcie, nie są ogólnie zerowe, a w jakimś punkcie tak jest, wtedy:

(27.27)

Transformacja z układu A, w którym w danym punkcie pola magnetycznego nie ma i jego zmiany są zerowe, do dowolnego układu odniesienia:

(27.28)
  • Wzór (27.28) wynika z transformacji układu końcowego względem układu odniesienia.

Równanie własne układu A, którego to piszemy, jest równaniem własnym jego operatora energii relatywistycznej układu:

(27.29)

Napiszmy równanie własne na operator energii całkowitej w układzie początkowym, w którym w jakimś punkcję pole magnetostatyczne i jego zmiany w przestrzeni są bardzo małe z dowolnym polem elektrostatycznym, z przejściem do dowolnego układu odniesienia, w którym już tak nie jest, czyli dla dowolnego pola elektromagnetostatycznego:

(27.30)

W dowolnym układzie tutaj i , czyli po przejściu do dowolnego układu odniesienia są Diraca, z układu, w którym było w jakim punkcie i . Czyli na podstawie równości (27.30) w dowolnym układzie równanie własne energii całkowitej przedstawia się w formie (27.30) dla dowolnego punktu dla dowolnego pola elektromagnetostatycznego, czyli wzór na hamiltonian energii całkowitej układu Diraca przedstawia się w formie (26.82). A tam ten hamiltonian, jak udowodniliśmy tutaj, jest dokładny.

Równanie zależne od czasu mechaniki kwantowej Diraca

[edytuj]

Z rozważań nad średnimi otrzymaliśmy taką samą równość w (27.23) jak równanie mechaniki kwantowej niezależne od czasu (26.3) jak w punkcie (11.24), a równanie zależne od czasu wyprowadza się następująco: możemy napisać tożsamość, którą można wyprowadzić jak w punkcie (11.27):

(27.31)

wtedy lewą stronę tej równości przyrównujemy z prawą stroną równości równania własnego hamiltonianu relatywistycznego Diraca niezależnego od czasu, otrzymując równanie operatora energii zależne od czasu, położenia i energii.

(27.32)

Sumujmy funkcje ze współczynnikami dla różnych energii, wtedy otrzymamy równość (11.54) taką samą jak tutaj (26.4):

(27.33)
  • gdzie hamiltonian jest to dokładny hamiltonian Diraca (26.82).