21 Symetrie Grupy symetrii Grupa translacji

Podobne dokumenty
(U.11) Obroty i moment pędu

PODSTAWY RACHUNKU WEKTOROWEGO

1 Grupa SU(3) i klasyfikacja cząstek

II. POSTULATY MECHANIKI KWANTOWEJ W JĘZYKU WEKTORÓW STANU. Janusz Adamowski

dr Mariusz Grządziel 15,29 kwietnia 2014 Przestrzeń R k R k = R R... R k razy Elementy R k wektory;

Wykład 14. Elementy algebry macierzy

5 Reprezentacje połozeniowa i pedowa

Symetrie i prawa zachowania Wykład 6

IX. MECHANIKA (FIZYKA) KWANTOWA

Wstęp do Modelu Standardowego

2 1 3 c c1. e 1, e 2,..., e n A= e 1 e 2...e n [ ] M. Przybycień Matematyczne Metody Fizyki I

macierze jednostkowe (identyczności) macierze diagonalne, które na przekątnej mają same

REZONANSY : IDENTYFIKACJA WŁAŚCIWOŚCI PRZEZ ANALIZĘ FAL PARCJALNYCH, WYKRESY ARGANDA

(U.14) Oddziaływanie z polem elektromagnetycznym

POSTULATY MECHANIKI KWANTOWEJ cd i formalizm matematyczny

Macierze. Rozdział Działania na macierzach

OPTYKA KWANTOWA Wykład dla 5. roku Fizyki

Matematyka stosowana i metody numeryczne

Dystrybucje, wiadomości wstępne (I)

WEKTORY I WARTOŚCI WŁASNE MACIERZY. = λ c (*) problem przybliżonego rozwiązania zagadnienia własnego dla operatorów w mechanice kwantowej

Mechanika kwantowa Schrödingera

W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora.

Przekształcanie równań stanu do postaci kanonicznej diagonalnej

Michał Praszałowicz, pok strona www: th- wykład 3 godz. za wyjątkiem listopada Egzamin: esej max.

1. PODSTAWY TEORETYCZNE

Przekształcenia geometryczne w grafice komputerowej. Marek Badura

RÓWNANIE SCHRÖDINGERA NIEZALEŻNE OD CZASU

Rozdział 5. Macierze. a 11 a a 1m a 21 a a 2m... a n1 a n2... a nm

Tydzień nr 9-10 (16 maja - 29 maja), Równania różniczkowe, wartości własne, funkcja wykładnicza od operatora - Matematyka II 2010/2011L

OPISY PRZESTRZENNE I PRZEKSZTAŁCENIA

Wyprowadzenie prawa Gaussa z prawa Coulomba

0 + 0 = 0, = 1, = 1, = 0.

III. Układy liniowe równań różniczkowych. 1. Pojęcie stabilności rozwiązań.

3. PŁASKI STAN NAPRĘŻENIA I ODKSZTAŁCENIA

Algebra abstrakcyjna

Co to jest wektor? Jest to obiekt posiadający: moduł (długość), kierunek wraz ze zwrotem.

Przekształcenia liniowe

SIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa

1 Rozwiązywanie układów równań. Wyznaczniki. 2 Wektory kilka faktów użytkowych

Mechanika kwantowa ćwiczenia, 2007/2008, Zestaw II

1 Przestrzeń liniowa. α 1 x α k x k = 0

Reprezentacje położeniowa i pędowa

Janusz Adamowski METODY OBLICZENIOWE FIZYKI Kwantowa wariacyjna metoda Monte Carlo. Problem własny dla stanu podstawowego układu N cząstek

METODY MATEMATYCZNE I STATYSTYCZNE W INŻYNIERII CHEMICZNEJ

Metody Lagrange a i Hamiltona w Mechanice

Wstęp do Modelu Standardowego

Rozdział 3. Tensory. 3.1 Krzywoliniowe układy współrzędnych

Podstawy robotyki. Wykład II. Robert Muszyński Janusz Jakubiak Instytut Informatyki, Automatyki i Robotyki Politechnika Wrocławska

Symetria w fizyce materii

Z52: Algebra liniowa Zagadnienie: Zastosowania algebry liniowej Zadanie: Operatory różniczkowania, zagadnienie brzegowe.

Zaawansowane metody numeryczne

WYKŁAD 6 KINEMATYKA PRZEPŁYWÓW CZĘŚĆ 2 1/11

Rozwiązania zadań z podstaw fizyki kwantowej

1.1 Przegląd wybranych równań i modeli fizycznych. , u x1 x 2

= i Ponieważ pierwiastkami stopnia 3 z 1 są (jak łatwo wyliczyć) liczby 1, 1+i 3

Obrót wokół początku układu współrzędnych o kąt φ można wyrazić w postaci macierzowej następująco

3. Macierze i Układy Równań Liniowych

ALGEBRA LINIOWA Z ELEMENTAMI GEOMETRII ANALITYCZNEJ. 1. Ciała

Politechnika Wrocławska, Wydział Informatyki i Zarządzania. Modelowanie

Zajmijmy się najpierw pierwszym równaniem. Zapiszmy je w postaci trygonometrycznej, podstawiając z = r(cos ϕ + i sin ϕ).

Wielomiany Legendre a, itp.

Równania dla potencjałów zależnych od czasu

Obliczanie długości łuku krzywych. Autorzy: Witold Majdak

VII. Elementy teorii stabilności. Funkcja Lapunowa. 1. Stabilność w sensie Lapunowa.

Układy równań i nierówności liniowych

15 Potencjały sferycznie symetryczne

Obliczenia iteracyjne

Zagadnienia brzegowe dla równań eliptycznych

DRGANIA SWOBODNE UKŁADU O DWÓCH STOPNIACH SWOBODY. Rys Model układu

RÓŻNICZKOWANIE FUNKCJI WIELU ZMIENNYCH: rachunek pochodnych dla funkcji wektorowych. Pochodne cząstkowe funkcji rzeczywistej wielu zmiennych

Mechanika Kwantowa. Maciej J. Mrowiński. 24 grudnia Funkcja falowa opisująca stan pewnej cząstki ma następującą postać: 2 x 2 )

Przekształcenia geometryczne. Mirosław Głowacki Wydział Inżynierii Metali i Informatyki Przemysłowej

Liczby zespolone. x + 2 = 0.

Postulaty mechaniki kwantowej

i = [ 0] j = [ 1] k = [ 0]

ALGEBRA LINIOWA Z ELEMENTAMI GEOMETRII ANALITYCZNEJ

Wykład 9. Matematyka 3, semestr zimowy 2011/ listopada 2011

Nieskończona jednowymiarowa studnia potencjału

Układy współrzędnych

Wstęp. Ruch po okręgu w kartezjańskim układzie współrzędnych

Definicje i przykłady

Model przepływów międzygałęziowych (model Leontiewa)

Dystrybucje. Marcin Orchel. 1 Wstęp Dystrybucje Pochodna dystrybucyjna Przestrzenie... 5

Metoda eliminacji Gaussa. Autorzy: Michał Góra

Matematyka A kolokwium 26 kwietnia 2017 r., godz. 18:05 20:00. i = = i. +i sin ) = 1024(cos 5π+i sin 5π) =

II. Równania autonomiczne. 1. Podstawowe pojęcia.

a 11 a a 1n a 21 a a 2n... a m1 a m2... a mn a 1j a 2j R i = , C j =

z = x + i y := e i ϕ z. cos ϕ sin ϕ = sin ϕ cos ϕ

Przestrzenie liniowe

1 Równania różniczkowe zwyczajne o rozdzielonych zmiennych

Postulaty interpretacyjne mechaniki kwantowej Wykład 6

Przestrzenie wektorowe

(U.16) Dodawanie momentów pędu

Algebra liniowa z geometrią

Notacja Diraca. Rozdział Abstrakcyjna przestrzeń wektorów stanu

A,B M! v V ; A + v = B, (1.3) AB = v. (1.4)

Przykładowe zadania z teorii liczb

Krystalochemia białek 2016/2017

Wstęp do komputerów kwantowych

Rozwiązania, seria 5.

Transkrypt:

21 Symetrie 21.1 Grupy symetrii Spróbujmy odpowiedzieć sobie na pytanie, jak zmienia się stan układu kwantowego pod wpływem transformacji układu współrzędnych. Najprostszą taką transformacją jest np. przesunięcie lub obrót układu współrzędnych. Warto od razu zauważyć, że tego typu transformację możemy zinterpretować jako przesunięcie lub obrót samego układu fizycznego. Stąd bierna i aktywna interpretacja takiej transformacji. Druga uwaga dotyczy matematycznych własności wspomnianych transformacji: otóż zarówno translacje jak i obroty są grupami symetrii. Dysponujemy zatem silnym aparatem matematycznym, który można zastosować w mechanice kwantowej. Przypomnijmy pokrótce definicję grupy. Zbiór obiektów a, b, c... tworzy grupę G, jeżeli można zdefiniować działanie o następujących własnościach: 1. dla każdych a, b G wynik a b G, 2. istnieje element e G, taki że a e = e a = a zwany elementem jednostkowym), 3. do każdego elementu a istnieje element odwrotny a 1, taki że a a 1 = a 1 a = e, 4. działanie jest łączne: a b) c = a b c). Dodatkowo jeśli działanie jest przemienne, to mówimy, że grupa G jest abelowa przemienna). Np. Liczby całkowite 0, ±1, ±2,... tworzą grupę względem dodawania, a elementem jednostkowym jest tutaj 0. Jest to oczywiście grupa przemienna. Grupy mogą składać się ze skończonej liczby elementów, z przeliczalnej liczby elementów, lub z nieprzeliczalnej liczby elementów. W tym ostatnim przypadku elementy grupy wygodnie jest oznaczyć jako funkcje jednego lub kilku ciągłych parametrów. Łatwo przekonać się, że translacje czy obroty są grupami ciągłymi zależnymi od trzech ciągłych parametrów. W przypadku translacji są to trzy składowe wektora przesunięcia, a w przypadku obrotów trzy kąty. W fizyce często wprowadzamy inną, nieco bardziej formalną grupę, mianowicie grupę translacji czasowych. Na koniec tego krótkiego wstępu warto zaznaczyć, że w fizyce odgrywają rolę nie tylko grupy związane z transformacjami czasu i przestrzeni, ale również grupy transformacji w pewnych abstrakcyjnych przetrzeniach. Wrócimy jeszcze do tego problemu w dalszych rozdziałach. 21.2 Grupa translacji Mówiąc o translacji układu fizycznego mamy na myśli transformację r r = r + a, 21.1) 117

gdzie a jest wektorem translacji. Powstaje pytanie, jak zmienia się funkcja falowa układu fizycznego pod wpływem takiego przesunięcia. Jeżeli w przestrzeni nie ma żadnych pól np. elektomagnetycznych lub grawitacyjnych, które byłyby na sztywno związane z jakimś wyróżnionym układem odniesienia) to stan układu kwantowego zasadniczo nie powinien ulec zmianie. Oczywiście pakiet falowy o maksimum w punkcie r 0 zamieni się w pakiet falowy o maksimum w punkcie r 0 + a, ale np. kształt pakietu nie ulegnie zmianie. Czyli jeśli przed przesunięciem układ opisuje funkcja falowa ψ α r), to po przesunięciu opisywany jest on funkcją falową ψ β r + a). Postulat współzmienniczości względem tanslacji sprowadza się do równania ψ β r + a) = ψ α r) lub ψ β r) = ψ α r a) 21.2) Aby odpowiedzieć na pytanie, jak ze stanu kwantowego α otrzymać matematycznie stan β, zdefiniujmy operator U a), taki że Û a) ψ α r) = ψ β r). 21.3) Zauważmy, że równanie??) podaje przepis, jak przejść od jednego stanu do drugiego dla układu w tym samym punkcie. Od razu z zachowania normy dostajemy warunek Û a)û a) = 1, 21.4) czyli że operator U jest unitarny. Aby znalezć jawną postać operatora U musimy skorzystać z równania??) Û a) ψ α r) = ψ α r a). 21.5) Warto w tym miejscu zauważyć, że równanie??) stosuje się w zasadzie dla dowolnej transformacji przestrzennej R: r r = R r, 21.6) wówczas Û R ψ α r) = ψ α R 1 r). 21.7) Dalej wystarczy założyć, że translacja??) jest infinitenzymalna, tzn. że a jest małe i ψ α r a) = ψ α r) a ψ α r) + 1 2 a ) 2 ψα r) +..., 21.8) a stąd Û a) = 1 a + 1 2 a ) +... = e a. 21.9) Na koniec warto przepisać??) przy pomocy operatora pędu Û a) = e i a p/ h = e iax ˆpx+ay ˆpy+az ˆpz)/ h. 21.10) 118

Widzimy, że operatory Û a) tworzą grupę abelową w sensie definicji podanej na początku rozdziału, a poszczególne elementy tej grupy numerowane są trzema ciągłymi parametrami a x, a y i a z. Elementem jednostkowym jest a elementem odwrotnym Û0) = 1, Û 1 a) = Û a) = ei a p/ h. Operator Û przyjmuje postać??) niezależnie od reprezentacji jaką wybierzemy dla operatora p. Operator pędu nazywamy w tym kontekście generatorem grupy. 21.2.1 Równanie ruchu Czy z faktu, że ψ α t, r) spełnia zależne od czasu równanie Schrödingera i h d dt ψ α t, r) = Ĥ ψ α t, r) 21.11) wynika, że ψ β t, r) jest także rozwiązaniem zależnego od czasu równania Schrödingera? Sprawdźmy i h d dt ψ β t, r) = i h d ) ÛR ψ dt α t, r) i h d ) dt ψ α t, r) = ÛR = ÛRĤ ψ α t, r) = ÛRĤ Û R ψ β t, r), 21.12) gdzie w ostatnim kroku skorzystaliśmy z unitarności operatora ÛR i równania??). Równanie to przyjmuje oryginalną postać gdy ] Û R Ĥ Û R [ÛR = Ĥ, czyli, Ĥ = 0. 21.13) Stosując równanie??) do transformacji symetrii, otrzymujemy, że musi zachodzić [ ] ˆp, Ĥ = 0. 21.14) Aby wykazać??) wystarczy rozwinąć Û według??). A zatem, aby układ fizyczny po przesunięciu nadal pozostawał tym samym układem fizycznym czyli spełniał równanie Schrödingera), operator pędu czyli generator symetrii) i hamiltonian układu muszą komutować czyli posiadać wspólny układ funkcji własnych). O takim układzie mówimy, że jest niezmienniczy względem translacji. 119

21.2.2 Elementy macierzowe stanów przesuniętych Dotychczas nasze wywody prowadziliśmy w oparciu o funkcje falowe w przedstawieniu położeniowym. Jednakże równanie??) można z łatwością przepisać w notacji bra i ket Diraka: β = ÛR α. 21.15) Podobnie dla stanu sprzężonego β = α Û R. 21.16) Wykorzystując równania??) i??) zapiszmy element macierzowy dowolnego operatora dynamicznego Ô w układzie przetransformowanym: β Ô R β = α Û RÔRÛR α = α Ô α. 21.17) Widzimy zatem, że operator w układzie wyjściowym wyraża się przez operator w układzie przetransformowanym Ô = Û RÔRÛR. 21.18) Wróćmy do translacji. Intuicyjnie, współrzędna r k w układzie przesuniętym o a, z punktu widzenia układu wyjściwego ma wrtość r k + a k. Sprawdźmy, jak wygląda to w naszym formaliźmie. Przyjmując, że ÔR = ˆr k, mamy Ô = 1 + ī ) a h iˆp i +... ˆr k 1 ī ) a h iˆp i +... = ˆr k + ī h a i [ˆp i, ˆr k ] = r k + ī h a i i hδ ik ) = r k + a k. 21.19) Zatem elementy macierzowe operatora położenia w stanach przesuniętych β są równe odpowiednim elementom macierzowym operatora r + a w stanach wyjściowych α. Z kolei, jeśli Ô R = ˆp, to operator Ô = ˆp. Podobnie jest dla każdego operatora, który jest funkcją ˆp. 21.3 Translacje w czasie Rozpatrzmy teraz analogicznie transformację polegającą na translacji czasowej. Wówczas Korzystajc z analogonu wzoru??) ψ β t + τ, r) = ψ α r) lub ψ β t, r) = ψ α t τ, r). 21.20) Û T τ) ψ α t, r) = ψ α t τ, r) 21.21) i stosując rozwinięcie Taylora ψ α t τ, r) = 1 τ ddt + τ ) 2 d 2 2! dt +... ψ 2 α t, r) = e τ d dt ψα t, r). 21.22) 120

Stąd Û T τ) = e iτĥ/ h 21.23) pod warunkiem, że Ĥ nie zależy od czasu. Tylko wtedy wyższe pochodne dn /dt n dają się zastąpić przez Ĥn. Oczywiście ÛT komutuje z Ĥ i układ posiada symetrię niezmienniczości translacyjnej w czasie. 21.4 Grupa obrotów 21.4.1 Generatory grupy obrotów Aby znaleźć formę operatora ÛR dla obrotów musimy najpierw skonstruować przekształcenie przestrzenne odpowiadające obrotowi wektora r. Każdy obrót R można przedstawić jako złożenie trzech obrotów kolejno wokó osi z, x i y 1 : R = R y φ y )R x φ x )R z φ z ), 21.24) gdzie φ x,y,z są kątami obrotu wokó odpowiednich osi. Warto zaznaczyć, że istotną rolę odgrywa tu kolejność obrotów, gdyż nie są to operacje przemienne. Za dodatni kierunek obrotu przyjmijmy kierunek przeciwny ruchowi wskazówek zegara, wówczas obrót o kąt φ z daje się zapisać za pomocą przekształcenia macierzowego x y z = cos φ z sin φ z 0 sin φ z cos φ z 0 0 0 1 x y z. 21.25) Rzeczywicie dla wektora r = x, 0, 0) leżącego na osi x po obrocie r = x cos φ z, x sin φ z, 0), a więc współrzędna x zmalała a y wzrosła. Obrót wokó osi x o kąt φ x przyjmuje postać x y z = 1 0 0 0 cos φ x sin φ x 0 sin φ x cos φ x natomiast obrót wokó osi y o kąt φ y daje się zapisać jako: x y z cos φ y 0 sin φ y = 0 1 0 sin φ y cos φ y x y z x y z 21.26). 21.27) Zwróćmy uwagę, że znak dla obrotu wokó osi y pojawia się w dolnym rogu macierzy R y, a nie jak w przypadku obrotów wokó osi z i x ponad diagonalną ze względu na to, że przyjęliśmy, że obroty wykonywane są przeciwnie do ruchu wskazówek zegara. 1 Nie jest to jedyna możliwość, wrócimy do tego problemu w rozdziale??. 121

Ponieważ, aby wyliczyć postać operatora ÛR będziemy korzystali z rozwinięcia Taylora, wystarczy rozważyć obroty infinitenzymalne: 0 φ z 0 R z = 1 + φ z 0 0 +..., 0 0 0 0 0 0 R x = 1 + 0 0 φ x +..., 0 φ x 0 0 0 φ y R y = 1 + 0 0 0 +.... 21.28) φ y 0 0 Pełna macierz R jest iloczynem macierzy??). W przypadku obrotów infinitenzymalnych nie gra roli kolejność, gdyż różnica między dwoma obrotami wykonanymi w różnej kolejności jest wyższego rzędu w kątach φ. Zatem R = 1 + 0 φ z φ y φ z 0 φ x φ y φ x 0 +.... 21.29) Stąd r = R r = r + φ y z φ z y φ z x φ x z φ x y φ y x +... = r + φ r +..., 21.30) gdzie wektor φ jest zdefiniowany jako: Skorzystamy teraz z równania??): φ = φ x φ y φ z Û R φ)ψ α r) = ψ α R 1 r),. 21.31) gdzie R 1 otrzymuje się z R przez zamianę φ φ we wzorze??): Û R φ)ψ α r) = ψ α r ) φ r) = ψ α r) φ r ψ α r) { = 1 φ r )} ψ α r) { = 1 ī } h φ r p) ψ α r) { = 1 ī } h φ L ψ α r). 21.32) 122

Po eksponencjacji otrzymujemy jawną postać operatora ÛR: Û R φ ) = e ī h φ L. 21.33) Widzimy zatem, że trzy składowe operatora momentu pędu stanowią generatory transformacji obrotu. Jak wiemy spełniają one relację komutacji [ˆLi, ˆL k ] = i h ɛ ijk ˆLk. Warto spróbować relację??) definiującą obrót w przestrzeni położeń przepisać w postaci analogicznej do??,??). W tym celu przepiszmy ją dla składowej k wektora r ) r k = r k + φ k r = r k + ɛ klm φ l r m = δ km φ l ɛ lkm ) r m. 21.34) Zdefiniujmy teraz trzy macierze l = 1, 2, 3 ) o wymiarach 3 3: które przyjmują jawną postać 0 0 0 s 1 = 0 0 1, s 2 = 0 1 0 s l km = ɛ lkm, 21.35) 0 0 1 0 0 0 1 0 0, s 3 = Przy pomocy tych macierzy możemy zapisać macierz R jako 0 1 0 1 0 0 0 0 0. 21.36) R = 1 + φ 1 s 1 + φ 2 s 2 + φ 3 s 3 = 1 + φ s. 21.37) Nawiasem mówiąc, ten związek możny już było odczytać ze wzoru??).definiując nowe macierze S l : S l = i hs l 21.38) możemy przepisać R w postaci analogicznej do ÛR: Widzimy zatem, że macierze R = 1 ī h φ S. 21.39) S l ) km = i h ɛ lkm 21.40) są generatorami obrotów w przestrzeni położeń. Spróbujmy podsumować dotychczasowe wyniki. Po pierwsze pokazaliśmy, że generatorami grupy obrotów są składowe operatora momentu pędu. Za ich pomocą można zapisać operator obrotu ÛR działający w przestrzeni funkcji falowych. Z poprzednich rozważań wiemy, że przestrzeń, w której działają te operatory daje się scharakteryzować dwoma liczbami kwantowymi l i m. Dla wybranego, ustalonego l operatory te możemy zastąpić przez macierze o wymiarach 2l + 1) 2l + 1). Po drugie, okazało się, że zwykłą 123

transformację obrotu w przestrzeni położeń możemy zapisać przy pomocy generatorów S l, które są macierzami 3 3. Stąd wniosek, że dla tej reprezentacji grupy obrotów l = 1. Warto się przekonać, że 3 1 0 0 S l ) 2 = 2 h 2 0 1 0. 21.41) l=1 0 0 1 Ponieważ wartość własna operatora ˆL 2 wynosi ll + 1), we wzorze??) l = 1. Dotychczas zakładaliśmy milcząco, że funkcje falowe ψ α są skalarami względem transformacji obrotu. Ale można sobie łatwo wyobrazić funkcję falową, która sama jest trójwymiarowym wektorem ψ 1 α r) ψ α r) = ψ 2 α r). 21.42) ψ 2 α r) Wówczas prawo transformacji przybiera postać ψ β R r) = R ψ α r). 21.43) Macierz R działa tylko na wskaźniki wektorowe funkcji falowej, a nie na indeksy α, β. Stąd operator ÛR spełnia równanie Û R ψα r) = ψ β r) = R ψ α R 1 r). 21.44) Dla obrotów infinitenzymalnych Û R ψα r) = = = 1 ī ) h φ S ψ α r φ r) 1 ī ) h φ S 1 ī ) h φ L ψ α r) 1 ī h φ S ī ) h φ L ψ α r). 21.45) Pamiętajmy, że S działają na indeksy wektorowe funkcji ψ α r), a L są operatorami różniczkowymi. Zatem ) Û R φ = 1 ī h ) φ S + ˆL +... 21.46) czyli że generatory obrotów są sumą generatora L i generatora S. 124