praca-magisterska-wa-c-7617, Dokumenty(2)


Ewolucja stanu polaryzacji fotonu w materii

Ewolucja wektorów stanu polaryzacji fotonu w kalcycie

Rozpatrzymy ewolucję stanu polaryzacji fali świetlnej o częstości ω w ośrodku aktywnym optycznie, np. w kalcycie

0x01 graphic

Rys.10.1

Przyjmijmy, że oś optyczna 0x01 graphic
leży w płaszczyźnie podstawy prostopadłościennej próbki kalcytu. Niech spolaryzowana fala płaska pada prostopadle na boczną powierzchnię tej próbki. Dalej, przyjmijmy, że wektor 0x01 graphic
jest prostopadły także do osi optycznej kryształu. To oznacza, że podstawa leży w płaszczyźnie głównej kryształu (Rys. 3.2). Zgodnie z rozważaniami przedstawionym § 3.2 fala zwyczajna jest liniowo spolaryzowana w kierunku prostopadłym do płaszczyzny głównej i ma współczynnik załamania no, natomiast fala nadzwyczajna jest spolaryzowana liniowo w kierunku osi optycznej i ma współczynnik załamania ne. Obydwie fale rozchodzą się w tym samym kierunku. Jak wiemy w przypadku kalcytu współczynniki załamania promienia spełniają nierówność 0x01 graphic
, a więc zgodnie ze wzorem (3.5) prędkości fazowe spełniają nierówność 0x01 graphic
. Zgodnie ze wzorem (3.15c) wyrazimy liczby falowe ko, ke przez częstość ω i współczynniki załamania 0x01 graphic
(i=e, o)

0x01 graphic
, 0x01 graphic
.

Ponieważ współczynniki załamania fali zwyczajnej i nadzwyczajnej różnią się w każdym punkcie z osi 0x01 graphic
wzdłuż której rozchodzą się te fale mają różne wyładniki czynników fazowych: 0x01 graphic
. Wektor stanu wiązki wchodzącej do bloku kalcytu (z=0) można przedstawić w postaci superpozycji

0x01 graphic
. (10.1)

W dowolnym punkcie 0x01 graphic
osi z składniki superpozycji (10.1) mają różne fazy

0x01 graphic
. (10.2a)

Wprowadzimy operator ewolucji stanu polaryzacji 0x01 graphic

0x01 graphic
0x01 graphic
. (10.3a)

0x08 graphic
Z jego pomocą możemy powiązać wektory stanu 0x01 graphic
i 0x01 graphic

0x01 graphic
. (10.2b)

Relacja (10.2b) jest spełniona dla wszystkich punktów osi z.

Wprowadzimy czas t potrzebny by światło rozchodzące się w próżni mogło przebyć drogę o długości z. Ponieważ 0x01 graphic
więc operator ewolucji (10.3a) można zapisać w postaci zależnej od czasu 0x01 graphic

0x01 graphic
.

Amplituda prawdopodobieństwa i prawdopodobieństwo zdarzenia polegającego na tym, że foton będący początkowo w stanie określonym przez wektor 0x01 graphic
poruszając się wzdłuż osi z po przebyciu drogi o długości l zachowa się jak gdyby był w stanie 0x01 graphic
równe są

0x01 graphic
, 0x01 graphic
.

Zbadajmy własności operatora 0x01 graphic
. Ponieważ operatory 0x01 graphic
, 0x01 graphic
są hermitow­skie i idempotentne (0x01 graphic
) oraz spełnione są związki 0x01 graphic
, opera­tor 0x01 graphic
jest unitarny

0x01 graphic
. (10.4)

Rozpatrzymy iloczyn 0x01 graphic
. Wykorzystując te same, co w przypadku dowodu uni­tar­ności, własności operatorów rzutowania łatwo sprawdzić, że dla dowolnych z oraz a operatory 0x01 graphic
, 0x01 graphic
komutują i mają grupową własność

0x01 graphic
. (10.5a)

Z równania (10.5a) wynika, że

0x01 graphic
. (10.5b)

Jak widać dla każdego a spełniona jest relacja

0x01 graphic
. (10.5c)

Wektor stanu 0x01 graphic
można zapisać w postaci

0x01 graphic
. (10.5d)

10.2 Równanie ewolucji wektora stanu polaryzacji fotonu

Zbadajmy zmianę stanu polaryzacji na drodze 0x01 graphic
. Niech 0x01 graphic
, a zatem także 0x01 graphic
. Rozłożymy operator ewolucji 0x01 graphic
w szereg względem 0x01 graphic
(i=e,o) i pozostawimy dwa pierwsze wyrazy

0x01 graphic
(10.6)

gdzie 0x01 graphic
jest hermitowskim operatorem wektora falowego

0x01 graphic
. (10.7)

Operatory 0x01 graphic
i 0x01 graphic
można przestawić

0x01 graphic
,

to znaczy, że ich komutator 0x01 graphic
znika

0x01 graphic
0x01 graphic

Nietrudno sprawdzić, że wektorami własnymi operatora wektora falowego są 0x01 graphic
i 0x01 graphic
, a od­powiadają im wartości własne 0x01 graphic

0x01 graphic
, 0x01 graphic
. (10.8)

Z tego powodu będziemy nazywać 0x01 graphic
operatorem wektora falowego. Jest to operator hermi­towski, zatem jego wartości własne są liczbami rzeczywistymi i można je zmierzyć w odpowiednim doświadczeniu. Wzór (10.7) określa rozkład spektralny operatora 0x01 graphic
.

Z równania (10.6) wynika, że operator ewolucji spełnia równanie różniczkowe zwy­czajne

0x01 graphic
, (10a)

z warunkiem początkowym

0x01 graphic
. (10.11a)

Po pomnożeniu obydwu stron tego równania z prawej strony przez wektor 0x01 graphic
otrzymamy

0x01 graphic
. (10.10b)

Równanie różniczkowe zwyczajne określa całą rodzinę rozwiązań. Aby wybrać któreś z nich należy zadać warunek początkowy. Niech początkowo układ znajduje się w stanie zadanym przez wektor stanu 0x01 graphic
. Wtedy warunek początkowy ma postać

0x01 graphic
. (10.11b)

Zapiszemy równanie (10.a,b) w jakiejś bazie, np. 0x01 graphic
. Otrzymamy parę równań różniczkowych

0x01 graphic
(10.10c),

Można ją zapisać w postaci zawierającej elementy macierzowe operatora wektora falowego

0x01 graphic
(10.10d)

W prowadzimy macierz 0x01 graphic
operatora 0x01 graphic
i składowe wektora stanu 0x01 graphic
w bazie kartezjańs­kiej x, y, wtedy wzór (10.10c) przyjmie postać

0x01 graphic
, (10.10e)

Dodajmy jeszcze warunki początkowe

0x01 graphic
. (10.11c)

Zbiór amplitud 0x01 graphic
jest dyskretnym odpowiednikiem funkcji falowej. Baza wektorów własnych może być parametryzowana przez parametr ciągły, tak jest np. w przypadku operatora położenia albo operatora pędu cząstki poruszającej się w przestrzeni. Wtedy, jak powiedzieliśmy, zbiór amplitud tworzy funkcję falową cząstki. Równania (10.10) są odpowiednikami równania Schrödingera, które spełniają wektory stanu zależne od czasu.

Ponieważ w czasie propagacji fali w krysztale fotony nie są pochłaniane amplituda fali, a więc i norma wektorów stanu polaryzacji nie powinny się zmieniać, tj. dla każdego 0x01 graphic
i z

0x01 graphic
.

Własność unitarności operatora ewolucji 0x01 graphic
zapewnia spełnienie tego warunku.

Rozwiązaniem równania (10.10a) z warunkiem początkowym 0x01 graphic
jest

0x01 graphic
. (10.12).

Z drugiej strony wektor 0x01 graphic
powinniśmy otrzymać mnożąc wektor wejściowy 0x01 graphic
przez operator ewolucji. To oznacza, że

0x01 graphic
. (10.3b)

O poprawności wzoru (10.3b) można się przekonać rozkładając operator wykładniczy w formalny szereg potęgowy i wykorzystując własności operatorów rzutowania 0x01 graphic
(j=e,o)

0x01 graphic
. (10.13)

Operator wektora falowego 0x01 graphic
, który przez związek (10.3b) jest związany z 0x01 graphic
- unitarnym operatorem ewolucji stanu polaryzacji, nazywać będziemy generatorem ewolucji wektora stanu polaryzacji. W przypadku przekształcenia infinitesimalnego (0x01 graphic
) zmiana wektora stanu związana jest z generatorem ewolucji (wzór (10.9a)), natomiast zmiana składowych wektora stanu jest związana z macierzą reprezentującą generator ewolucji 0x01 graphic
w wybranej bazie (por. wzór (10.9b)).

10.3 Obraz Schrödingera ewolucji stanu polaryzacji fotonu

Rozpatrzymy propagację fali spolaryzowanej kołowo przez ciecz aktywną optycznie. Taką cieczą jest np. terpentyna i roztwór cukru. Jak poprzednio oś z kartezjańskiego układu współ­rzędnych jest równoległa do wektora 0x01 graphic
, natomiast osie x i y zorientowane są dowolnie. Niech fala rozchodzi się wzdłuż osi z i na drodze o długości d zmiana fazy wektora stanu 0x01 graphic
wynosi 0x01 graphic
, natomiast wektora stanu 0x01 graphic
wynosi (0x01 graphic
). Zatem na drodze o długości 0x01 graphic
zmiana fazy 0x01 graphic
(0x01 graphic
dla RCP, 0x01 graphic
dla LCP) stanów kołowo spolaryzowanych równa jest 0x01 graphic
. Jak widać na drodze dz fazy wektorów stanu kołowo spolaryzowanych zmieniają się proporcjonalnie do dz

0x01 graphic
.

Wektor stanu początkowego można przedstawić w postaci superpozycji

0x01 graphic
.

Podobnie możemy postąpić z wektorem stanu 0x01 graphic
. Ponieważ wiemy jak na drodze dz zmieniają się wektory 0x01 graphic
, możemy podać jawną postać wektora stanu 0x01 graphic
zależnego od długości drogi z przebytej przez foton w cieczy aktywnej optycznie

0x01 graphic
. (10.14)

Rozłożymy czynnik wykładniczy we wzorze (10.14) w szereg potęgowy i uwzględnimy to, że zgodnie z § 6.2 0x01 graphic
jest wektorem własnym operatora 0x01 graphic
odpowiadającego wartości własnej 0x01 graphic
.

0x01 graphic

W odróżnieniu od zagadnienia propagacji fotonu przez kalcyt tym razem operator ewolucji 0x01 graphic
związany jest z operatorem momentu pędu fotonu 0x01 graphic

0x01 graphic
. (10.15)

Generator ewolucji ma postać

0x01 graphic
. (10.16)

Jak w poprzednim przypadku generator 0x01 graphic
jest hermitowski, bo operatory 0x01 graphic
i 0x01 graphic
są hermi­to­wskie

0x01 graphic
. (10.17)

Generatorem ewolucji w czasie jest operator Hamiltona 0x01 graphic
, który jest kwantowym odpowiednikiem klasycznej funkcji Hamiltona.

Operator ewolucji 0x01 graphic
spełnia równanie różniczkowe podobne do (10a)

0x01 graphic
, (10a)

z warunkiem początkowym

0x01 graphic
. (10.11a)

Jak w przypadku propagacji fali w kalcycie, wektor stanu 0x01 graphic
jest rozwiązaniem równania różniczkowego

0x01 graphic
. (10.18)

z warunkiem początkowym 0x01 graphic
.

Gdy wektory stanu fotonów zmieniają w wyniku ewolucji będziemy mówili o obrazie Schrödingera. W obrazie Schrödingera operatory charakteryzujące własności układu są stałe, natomiast ewoluują wektory stanu i ich iloczyny skalarne (czyli funkcje falowe). Zbadamy w obrazie Schrödingera ewolucję macierzy gęstości wywołaną rozcho­dze­niem się fali w cieczy aktywnej optycznie. Wykorzystamy spektralną postać macierzy gęstości (§ 9.4). Niech

0x01 graphic

będzie początkowym operatorem statystycznym. Wektory stanu ket i bra w punkcie z osi z mają postać (10.2b) z generatorem 0x01 graphic

0x01 graphic
, 0x01 graphic
.

Zatem w obrazie Schrödingera macierz gęstości się zmienia

0x01 graphic
. (10.22)

Po zróżniczkowaniu obydwu stron równania (10.22) otrzymamy

0x01 graphic
.

Jak widać w obrazie Schrödingera operator statystyczny spełnia równanie różniczkowe

0x01 graphic
, (10.23)

które odpowiada równaniu Liouville'a, określającego ewolucję zależnych od czasu operato­rów statystycznych. Można skonstruować opis układów kwantowych oparty na równaniu Liouville'a. Wymaga to podania warunku początkowego 0x01 graphic
, czyli zadania konkretnej postaci początkowej macierzy gęstości.

Po lewej stronie równania Liouville'a znajduje się komutator macierzy gęstości z generatorem ewolucji. Operator ewolucji jest funkcją wykładniczą generatora ewolucji, zatem komutator operatorów 0x01 graphic
i 0x01 graphic
znika

0x01 graphic
.

Sprawdzimy, że w reprezentacji polaryzacji liniowej operator ewolucji określa ma­cierz obrotu 0x01 graphic
. W tej bazie operator 0x01 graphic
reprezentowany jest przez macierz Pauliego 0x01 graphic
(8.7b). Jej parzysta potęga równa jest macierzy jednostkowej 0x01 graphic
, zaś nieparzysta jest równa 0x01 graphic

0x01 graphic
, 0x01 graphic
(k=0,1,2, ...)

By udowodnić sformułowaną tezę rozpatrzymy równanie, które spełnia operator ewolucji 0x01 graphic

0x01 graphic
.

Elementy macierzowe operatora ewolucji są rozwiązaniami układu równań różniczkowych

0x01 graphic

z warunkiem początkowym 0x01 graphic
. Znajdziemy równanie macierzowe odpowiadające w bazie x, y operatorowemu równaniu różniczkowemu. Po pomnożeniu przez 0x01 graphic
z lewej strony i 0x01 graphic
z prawej oraz wstawieniu pomiędzy operatory 0x01 graphic
i 0x01 graphic
jedynki operatorowej 0x01 graphic
otrzymamy równanie macierzowe

0x01 graphic
.

To macierzowe równanie ma następujące rozwiązanie

0x01 graphic
.

Zauważymy, że

0x01 graphic
.

Rozłożymy to rozwiązanie w formalny szereg potęgowy, który podzielimy na dwie części

0x01 graphic
(10.24)

W ten sposób ustaliliśmy bardzo ważny fakt: generatorem obrotów dookoła osi z jest z-towa składowa operatora momentu pędu 0x01 graphic
. Przechodzenie światła przez ciecz aktywną optycznie powoduje skręcanie płaszczyzny polaryzacji.

10.3 Obraz Heisenberga ewolucji stanu polaryzacji

Ponieważ w tej części R. 10 będziemy rozpatrywać ewolucję wektorów stanu polaryzacji fotonów poruszających się w cieczy aktywnej optycznie opuścimy znak „prim” odróżniający operator ewolucji 0x01 graphic
(10.15) od 0x01 graphic
(10.3a). Zajmijmy się średnią wartością operatora 0x01 graphic
w stanie 0x01 graphic
i wyrazimy ją przez początkowe wektory stanu

0x01 graphic
.

Wprowadzimy oznaczenie

0x01 graphic
. (10.25)

Operator 0x01 graphic
zależy od drogi jaką przebył foton w ośrodku aktywnym optycznie. Mamy

0x01 graphic
. (10.26)

Lewą stronę równania (10.26) możemy uważać za zapisaną w obrazie Schrödingera, gdyż to wektory stanu zależą od z, natomiast operator nie zależy od tego parametru. Natomiast o prawej jego stronie mówimy, że jest zapisana w obrazie Heisenberga. W tym obrazie wektory stanu nie ewoluują, natomiast zmieniają się operatory zgodnie z regułą (10.25). Nietrudno sprawdzić, że pochodne po z obydwu stron równania (10.26) są równe.

Zróżniczkujemy obydwie strony równania (10.26) po z

0x01 graphic
.

Lecz

0x01 graphic
, 0x01 graphic
.

To oznacza, że operator 0x01 graphic
spełnia równanie różniczkowe

0x01 graphic
.

Ponieważ operatory 0x01 graphic
i 0x01 graphic
komutują możemy zapisać powyższe równanie w przypominającej równanie Heisenberga słuszne dla operatorów zmieniających się z upływem czasu

0x01 graphic
. (10.27)

Komutator 0x01 graphic
można także zapisać w postaci 0x01 graphic
.

Po prawej stronie równania Heisenberga, które spełniają operatory zmieniające się z upływem czasu znajduje się komutator z hamiltonianem 0x01 graphic
. W obrazie Heisenberga wektory stanu, funkcje falowe i operatory statystyczne nie zmieniają się. Zwrócimy uwagę na różnicę znaku komutatorów znajdujących się po prawej stronie równania Liouville'a (10.23) i równania Heisenberga (10.26).

10.4 Ewolucja układów kwantowych z upływem czasu

Można zadać pytanie czy wektory stanu w różnych chwilach czasu spełniają związki tego samego typu jak obowiązujące w przypadku ewolucji stanu polaryzacji fali rozchodzącej się w ośrodku aktywnym optycznie Odpowiedzi na to pytanie sformułujemy w postaci postulatów [2,3]. Postulaty te przypominają wyniki otrzymane dla wektorów stanu polaryzacji fotonów przechodzących przez ośrodki aktywne optycznie.

Postulat 1

Pierwszy postulat mówi o możliwości wprowadzenia obrazu Schrödingera także dla ewolucji związanej z upływem czasu. Niech 0x01 graphic
będzie wektorem stanu układu w chwili 0x01 graphic
. Istnieje jednoparametrowa rodzina unitarnych operatorów przekształcenia (ewolucji ) 0x01 graphic

0x01 graphic
, (10.28)

określających zmianę 0x01 graphic
związaną z upływem czasu t

0x01 graphic
. (10.29)

Przekształcenia określane przez operator ewolucji zachowują normę

0x01 graphic
. (10.30)

Pokażemy, że unitarność operatora 0x01 graphic
wynika z grupowych własności ewolucji. Przyjmijmy, że interesujemy się ewolucją układu związaną z upływem czasu od dowolnej chwili t1 do t. Lecz stan układu w chwili t1 został osiągnięty w wyniku ewolucji od dowolnego wcześniejszego od t1 momentu czasu t0, zatem

0x01 graphic
. (10.31)

Jak widać

0x01 graphic
, (10.32a)

a to oznacza, że ewolucję w czasie możemy rozkładać na etapy. Kładąc 0x01 graphic
otrzymamy związek

0x01 graphic
,

Skąd wynika, że

0x01 graphic
. (10.32b)

Konsekwencją relacji (10.27b) jest unitarność operatora ewolucji 0x01 graphic
. Ponieważ

0x01 graphic
,

warunki (10.23) muszą być spełnione.

Postulat 2

Postulat drugi dotyczy istnienia generatora ewolucji w czasie. Generatorem 0x01 graphic
określającym ewolucję w czasie jest operator proporcjonalny do operatora Hamiltona układu 0x01 graphic

0x01 graphic
.

Tak jak znane nam generatory ewolucji 0x01 graphic
i 0x01 graphic
, Hamiltonian jest operatorem hermitowskim. Może on jawnie zależeć od czasu. Taka sytuacja ma miejsce gdy na układ działają zewnętrzne pola zależne od czasu. Większość współczesnych doświadczeń polega na badaniu odpowiedzi układów na różnego rodzaju pola zmieniające się z upływem czasu.

Zbadamy konsekwencje drugiego postulatu. Niech 0x01 graphic
będzie chwilą poprzedzającą moment czasu t. Na podstawie własności grupowych (10.32a) możemy napisać 0x01 graphic
. Lecz gdy 0x01 graphic
to 0x01 graphic
, i 0x01 graphic
. Przenosząc pierwszy wyraz ostatniego związku na lewą stronę, dzieląc obydwie strony tak przekształconego równania przez 0x01 graphic
i przechodząc do granicy 0x01 graphic
otrzymamy równanie różniczkowe, które spełnia operator ewolucji

0x01 graphic
. (10.33a)

Podobne równanie otrzymaliśmy dla ewolucji stanu polaryzacji fotonu. Warunek początkowy jaki spełnia operator ewolucji ma znaną postać

0x01 graphic
. (10.33b)

Nie trudno pokazać, ze równanie całkowe

0x01 graphic
. (10.34)

jest równoważne równaniu różniczkowemu (10.28a). Spełnia ono warunek początkowy (10.28b). Równanie (10.29) stanowi podstawę wielu przybliżonych metod badania ewolucji układów kwantowych. By sprawdzić równoważność równań (10.28a) (10.29) trzeba zauważyć że pochodna funkcji 0x01 graphic
jest równa funkcji podcałkowej obliczonej dla argumentu x: 0x01 graphic
.

Zależne od czasu wektory stanu 0x01 graphic
spełniają równanie Schrödingera

0x01 graphic
. (10.35)

Nałożymy na wektor warunek początkowy 0x01 graphic
. Równanie Schrödingera równoważne jest równaniu całkowemu

0x01 graphic
.

Gdy hamiltonian jawnie nie zależy od czasu to operator ewolucji przyjmuje prostą postać

0x01 graphic
. (10.36)

Zatem zależny od czasu wektor stanu jest proporcjonalny do czynnika wykładniczego

0x01 graphic
. (10.37)

Ograniczymy się do hamiltonianów niezależnych od czasu. Niech 0x01 graphic
, 0x01 graphic
będą wartościami własnymi i stanami własnymi hamiltonianu

0x01 graphic
. (10.38)

Ponieważ hamiltonian jest operatorem hermitowskim wartości własne 0x01 graphic
są liczbami rzeczywistymi. Zbiór wartości własnych 0x01 graphic
tworzy widmo energii. Widmo energii może być dyskretne, ciągłe albo mieć część dyskretną i ciągłą. Wektory własne hamiltonianu tworzą układ zupełny, a więc

0x01 graphic
. (10.39)

Gdy widmo energii jest ciągłe należy zamienić we wzorze (10.34) sumę na całkę.

Zajmijmy się amplitudą prawdopodobieństwa zdarzenia polegającego na tym, że układ w stanie 0x01 graphic
zachowuje się jak gdyby był w stanie 0x01 graphic

0x01 graphic

Wynika stąd wniosek, że układ znajdujący się w dowolnym stanie 0x01 graphic
na ogół nie ma określonej energii

0x01 graphic
.

Jedynie gdy 0x01 graphic
to 0x01 graphic
, a stąd

0x01 graphic
. (10.40)

To zaś oznacza, że układ będący w stanie o wektorze stanu 0x01 graphic
zawsze znajduje się w stanie 0x01 graphic
. O takim stanie mówimy, że jest stacjonarny.

Postulat 3

Jesteśmy już dobrze przygotowani do zrozumienia stwierdzeń następnego postulatu. Oto one: Wynikiem pomiaru energii układu jest jedna z wartości własnych hamiltonianu. Po wykonaniu pomiaru układ znajduje się w stanie własnym 0x01 graphic
odpowiadającym zmierzonej wartości własnej. Średnia wartość 0x01 graphic
otrzymana w wyniku wielokrotnych pomiarów na układami znajdującymi się w tym samym stanie 0x01 graphic
równa jest 0x01 graphic
.

Zbadajmy tę średnią wartość. Wykorzystamy związek (10.34)

0x01 graphic
.

Otrzymaliśmy wyrażenie podobne do (8.9). Jak założenia widać postulatu odpowiadają wynikom uzyskanym dla spolaryzowanych fotonów w § 8.1.

Literatura

[1] G. Baym, Lectures on Quantum Mechanics, Benjamin, Reading, Mass., 1974, R. 1.

[2] R.P. Feynman, R.B. Leighton, M. Sands, Feynmana wykłady z fizyki, Warszawa, PWN, 1972, R. 7, 8, 20.

[3] P. Roman, Quantum Mechanics, an Advanced Course, Addison-Wesley, Reading, Mass. 1965, § 1.5.

1

Szukasz gotowej pracy ?

To pewna droga do poważnych kłopotów.

Plagiat jest przestępstwem !

Nie ryzykuj ! Nie warto !

Powierz swoje sprawy profesjonalistom.

0x01 graphic

0x01 graphic



Wyszukiwarka