Mechanika kwantowa/Symetria cechowania transformacji ładunkowej

Z Wikibooks, biblioteki wolnych podręczników.
Mechanika kwantowa
Mechanika kwantowa
Symetria cechowania transformacji ładunkowej

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


Następny rozdział: Funkcje Greena w teorii kwantów. Poprzedni rozdział: Teoria pola we wzorach Eulera-Lagrange'a.

Podręcznik: Mechanika kwantowa.

Globalna symetria cechowania czyli obrót o kąt niezależny od położenia[edytuj]

Operator obrotu w mechanice kwantowej przyjmuje według (24.27) postać:

(30.1)

Określmy pole ψm(x), co należy powiedzieć, że są one funkcjami własnymi operatora momentu pędu dla współrzędnej zetowej, a zatem wiedząc jakie są wartości własne operatora momentu pędu współrzędnej zetowej wedle (8.43) dla równania własnego tegoż operatora, tzn. (8.35):

(30.2)

Wykorzystując wzory na transformację pola skalarnego poprzez cechowanie, które wykorzystamy poniżej, ale tym razem dla cechowania ładunku poprzez transformację funkcji falowej, napiszmy transformacie przy pomocy wartości własnej pewnego operatora, który naszą wartość własną tego operatora wyrazimy w jednostkach ładunku elementarnego e, tzn. wartość własną , a więc:

(30.3)

Wiemy, że ta transformacja nie zmienia gęstości prawdopodobieństwa znalezienia cząstki, która jest kwadratem modułu funkcji falowej co można udowodnić, że ta gęstość przed i po przetransformowaniu jest taka sama:

(30.4)

Nie zmienia się również kwadrat pochodnej pola ψ, tzn. jeśli mamy tą wielkość zdefiniowaną wedle:

(30.5)

zatem kwadrat modułu pochodnej pola, jak można udowodnić, jest wielkością niezmienniczą:

(30.6)

Jeśli Lagrangian zależy kwadratowo od funkcji i ich pochodnych, to on jest niezmienniczy ze względu na transformację ładunkową, tzn. jeśli gęstość lagrangianu jest zdefiniowana:

(30.7)

Oznaczenie globalnej symetrii ładunkowej, której to w transformacji występuje wielkość θ, która nie zależy od położenia cząstki, dla której dokonujemy transformacji unitarnej. Lokalna transformacja cechowania nazywamy transformację, której wielkość θ zależy od położenia, w której znajduje się dana kwantowa cząstka.

(30.8)

Lokalna symetria cechowania czyli obrót o kąt zależny od położenia[edytuj]

Z definicji transformacji cechowania, kąt obrotu zależy od x, czyli od położenia danej cząstki, dla której dokonujemy transformacji, gdzie x oznacza tensor kontrawariantny położenia w czasoprzestrzeni xμ=(t,xk). Wiemy, że ψT(x)ψ(x) zachowuje się przy transformacji cechowania, czyli gęstość prawdopodobieństwa jest wielkością niezmienniczą, natomiast iloczyn pochodnych już nie, bo zachodzi według dowodu, że kwadrat modułu pochodnych cząstkowych funkcji przetransformowanych i nie zachowuje się podczas tej transformacji:

(30.9)

Co wynika tak jak powyżej powiedziano, że tych iloczyn pochodnych przetransformowanych i nie nie jest niezmienniczy. W tym celu wprowadza się pochodną kowariantną Dμ, zdefiniowany poprzez pochodną cząstkową zdefiniowaną w zwykły sposób, kowariantny tensor potencjału elektromagnetycznego i ładunku cząstki, zatem tą pochodną definiujemy:

(30.10)
  • q to ładunek cząstki.
  • to tensor potencjału elektromagnetycznego.

Gdy podziałamy operatorem Dμ na funkcję ψ(x), to otrzymamy tak jak w transformacji globalnej przy dodatkowych manipulacjach funkcjami i operatorami.

(30.11)

Możemy nałożyć dodatkowy warunek w (30.11) wiążący przetransformowany tensor potencjału elektromagnetycznego z tensorem potencjału elektromagnetycznego i pochodną o wskaźniku μ kąta obrotu θ(x) zależącego od położenia danej cząstki:

(30.12)

W równości (30.11) przy podstawieniu do niego tożsamości (30.12) i na ostatku wykorzystując (30.10) (definicję pochodnej kowariantnej), transformacja pochodnej kowariantnej pewnej funkcji falowej jest równa transformacji pochodnej kowariantnej tej samej funkcji:


(30.13)

Maxwellowskie pole elektromagnetyczne, a lokalna symetria cechowania[edytuj]

W tym rozdziale zajmować się będziemy tensorem pola magnetycznego, udowodnimy, że on jest niezmienniczy ze względu na lokalną symetrię cechowania, w elektrodynamice klasycznej ten tensor jest zdefiniowany wedle wzoru:

(30.14)

We wzorze na tensor pola elektromagnetycznego (30.14) będziemy zastępować wszystkie pochodne cząstkowe pochodnymi kowariantnymi, ten ostatni wzór przechodzi w równanie:

(30.15)

Udowodnijmy, że oba sformułowania tensora elektromagnetycznego w elektrodynamice klasycznej, tzn.(30.14) (przez pochodne cząstkowe) i (30.15) (przez pochodne kowariantne) są ze sobą równoważne, wychodząc najpierw od równania (30.15) na ten tensor:

(30.16)

Dostaliśmy, że oba sformułowania na tensor elektromagnetyczny są równoważne, tzn. (30.14) oznacza to samo co (30.15).

Napiszmy lokalną ładunkową transformację cechowania ładunku elektrycznego tensora elektromagnetycznego zdefiniowaną według (30.15), wiedząc, że zachodzi własność (30.13):

(30.17)

Cechowanie Loretza tuż po cechowaniu ładunkowej transformacji, gdy występujące w nim pola są przetransformowane wedle transformacji cechowania ładunkowego, jest wyrysowana:

(30.18)

Także wiemy, że tensor potencjału wektorowego w elektrodynamice klasycznej spełnia warunek, który tuż po rozłożeniu jego na potencjał skalarny elektryczny i wektorowy pola elektromagnetycznego, jest on o wyglądzie:

(30.19)

Wychodząc z (30.12) przy tensorze potencjału elektromagnetycznego (30.19) dla górnych i dolnych wskaźników, mamy:

(30.20)
(30.21)

Podstawiamy równania (30.20) (transformacja potencjału elektrycznego) i (30.21) (transformacja potencjału wektorowego magnetycznego) do wzoru na transformację Lorentza (30.18), w której występują pola po dokonaniu na nich transformacji cechowania ładunkowego, otrzymujemy:

(30.22)

Cechowanie Lorentza przed dokonaniem na niej operacji cechowania przyjmuje postać:

(30.23)

Wtedy otrzymujemy, że lokalne cechowanie na podstawie obliczeń (30.22) i cecowania Lorentza (30.23) spełnia warunek:

(30.24)

Otrzymaliśmy odpowiedź na podstawione pytanie, jeśli potencjały i spełniają warunek Lorentza, a cechowanie θ(x) spełnia warunek (30.24), to istnieje klasa potencjałów (30.12) spełniający cechowanie Lorentza.

Lagrangian Diraca, a lokalna symetria cechowania z polem elektromagnetycznym[edytuj]

Gęstość Lagrangianu dla pola Diraca zapisujemy według wzoru (29.43). Jeśli jest niezmienniczy ze względu na lokalną symetrię cechowania, to korzystając z cechowania transformacji ładunkowej (30.10) musimy zastąpić według schematu pochodne cząstkowe pochodnymi kowariantnymi zdefiniowaną poprzez tensor pochodnej i tensor potencjału pola elektromagnetycznego:

(30.25)

gdzie:

  • to ładunek cząstki.
  • to tensor potencjału elektromagnetycznego.

A zatem nasz Lagrangian wcześniej wspomniany, po dokonaniu operacji napisaną wzorem według schematu (30.25), przyjmuje postać:

(30.26)

Po rozwinięciu (30.26), dostajemy ostatecznie bardziej skomplikowane wyrażenie, ale równoważne poprzedniemu, korzystając przy tym z definicji pochodnej obustronnej (29.44):

(30.27)

Następnie obliczmy określone pochodne wyrażenia rozwiniętego Lagrangianu (30.27) potrzebne do wzoru (29.23), który jest jakoby twierdzeniem Eulera-Lagrange'a, tzn. wyznaczymy pierwszy i drugi wyraz występujący w ostatnio wspomnianym twierdzeniu.

(30.28)
(30.29)

Po wstawianiu naszych pochodnych do równania Eulegra-Lagrange'a (29.23):

(30.30)

Wykorzystując definicję kontrawariantnego tensora gamma (γμ) (29.36) i definicję tensora potencjału elektromagnetycznego (30.19), który jest wektorem (n+1)-wymiarowym potencjału elektromagnetycznego składającej się z potencjału skalarnego (zerowa współrzędna) i wektorowego w elekromagnetyzmie (dalsze współrzędnych po zerowej), dostajemy pewne równanie różniczkowe, z której będziemy dalej je przekształcać:

(30.31)

Ostatnie równanie mnożymy lewostronnie przez operator , którego kwadrat jest równy jeden (bo (26.10)), zatem dostajemy:

(30.32)

Grupując wyrazy w odpowiedni w sposób w (30.32), w ten sposób by otrzymać równanie zależne od czasu Diraca.

(30.33)

A zatem otrzymaliśmy w ostatnim równaniu własnym równanie Diraca (26.81) z hamiltonianem zdefiniowaną w sposób:

(30.34)

Wnioskujemy, że z równania Diraca dla cząstki swobodnej można otrzymać równanie dla cząstki w polu elektromagnetycznej, zastępując według zasady (25.9) i (25.10), zatem gęstość Lagrangianu (30.26) jest poprawnym Lagragianem, które mieliśmy na wejściu od hamiltonianu opisującego stan swobodny, a na wyjściu mamy hamiltonian opisujący stany ogólnie nieswobodne.