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


Temat: Reprezentacja pędów

Transformaty Fouriera amplitud

Rozpatrzymy harmonikę Fouriera 0x01 graphic
funkcji falowej 0x01 graphic

0x01 graphic
.

Przy jej pomocy można wyrazić funkcję falową, bo jest ona transformatą odwrotną

0x01 graphic
, (14.2a)

Za Baymem [1] przyjęliśmy, że transformata odwrotna jest proporcjonalna do czynnika 0x01 graphic
. Po podstawieniu do wzoru (14.2) postaci (14.1) harmoniki 0x01 graphic
otrzymamy tożsamość

0x01 graphic
. (14.2b)

Zauważymy, że iloczyn 0x01 graphic
jest wielkością bezwymiarową, co gwarantuje, że obydwie strony równania (14.2b) są bezwymiarowe.

Jak widać całka po pędach (wektorach falowych) określa dystrybucję delta

0x01 graphic
. (14.3)

14.2 Reprezentacja pędów

Wprowadzimy zapis

0x01 graphic
. (14.4a)

Rozpatrzymy amplitudę sprzężoną do 0x01 graphic
, zgodnie z jedną z własności iloczynu skalarnego i definicją (14.4a) mamy

0x01 graphic
. (14.4b)

Pokażemy, że harmonikę f(p) można także zapisać w postaci iloczynu 0x01 graphic
. Na podstawie równań (14.1) i (14.4b) i (13.16) mamy

0x01 graphic
. (14.5)

Zajmiemy się teraz relacją (14.2). Na podstawie wzorów (14.4a) i (14.5) możemy napisać

0x01 graphic
.

Zatem spełniony jest związek

0x01 graphic
. (14.6)

Widzimy, że zbiór wektorów 0x01 graphic
parametryzowanych przez wartości składowych 0x01 graphic
wektora pędu 0x01 graphic
tworzy układ zupełny. Możemy zapisać wektory stanu i operatory wielkości fizycznych charakteryzujących cząstkę swobodną w tej bazie. Bę­dziemy mówili o wektorach stanu i macierzach operatorów w reprezentacji pędów.

Rozpatrzymy unormowany do jedności iloczyn skalarny 0x01 graphic
. Wstawimy pomiędzy wektory tego iloczynu jedynkę operatorową (14.6)

0x01 graphic
,

zatem

0x01 graphic
. (14.7)

Wielkość 0x01 graphic
jest prawdopodobieństwem znalezienia pędu cząstki w otoczeniu 0x01 graphic
o objętości 0x01 graphic
punktu p przestrzeni pędów. Zapiszemy zasadę superpozycji w reprezentacji pędów

0x01 graphic
. (14.8)

14.3 Operatory wielkości fizycznych

Przy pomocy wektorów 0x01 graphic
wprowadzimy operator α-tej składowej pędu

0x01 graphic
. (14.9)

Ponieważ energia kinetyczna cząstki musi być wielkością skończona wartości własne każdego z operatorów 0x01 graphic
0x01 graphic
zawarte są w przedziale 0x01 graphic
. Zbadajmy jak działa operator pędu na dowolny wektor stanu 0x01 graphic

0x01 graphic
.

W ten sposób uzyskaliśmy postać spektralną operatora pędu

0x01 graphic
. (14.10)

Ponieważ wyniki pomiatu składowych pędu sa liczbami rzeczywistymi operator pędu jest hermitowski

0x01 graphic
.

Zapiszemy wektor stanu 0x01 graphic
w reprezentacji położeń

0x01 graphic
. (14.11)

Rozpatrzymy element macierzowy w reprezentacji położeń 0x01 graphic

0x01 graphic
(14.12a)

Obecność dystrybucji 0x01 graphic
we wzorze (14.12a) mówi o tym, że mamy do czynienia z elementem diagonalnym. Tak więc „macierz” odpowiadająca w reprezentacji położeń operatorowi składowej pędu jest diagonalna, a wyrazy diagonalne są proporcjonalne do operato­rów różniczkowania

0x01 graphic
. (14.12b)

Znajdziemy operatorową postać równania Schrödingera (13.13) dla cząstki swobodnej nie poddanej działaniu pól zewnętrznych. W tym celu powrócimy do równania Schrödingera (13.11), którego prawą stronę można przekształcić

0x01 graphic
.

Jak widać dla cząstki swobodnej równanie Schrödingera (13.11) można zapisać w postaci nie­zależnej od wyboru reprezentacji

0x01 graphic
. (14.13)

Gdy cząstka znajduje się w polu potencjalnym do hamiltonianu 0x01 graphic
należy dodać jeszcze operator 0x01 graphic
, a więc całkowity operator Hamiltona cząstki ma postać

0x01 graphic
. (14.14)

Operator Hamiltona 0x01 graphic
ma odpowiednik klasyczny - funkcję Hamiltona 0x01 graphic
.

Rozpatrzymy niediagonalny element macierzowy operatora położenia

0x01 graphic
. (14.15)

Jak widać w reprezentacji pędów operator 0x01 graphic
-tej składowej operatora położenia proporcjonalny jest proporcjonalny do operatora różniczkowania po α-tej składowej pędu. Macierz odpowiadająca w reprezentacji pędów α-tej składowej operatora położenia cząstki jest diagonalna, nieznikające elementy są proporcjonalne do tego operatora różniczkowania po α-tej składowej pędu

0x01 graphic
. (14.16)

Element macierzowy 0x01 graphic
proporcjonalny jest do funkcji 0x01 graphic
operatora różniczkowania

0x01 graphic
. (14.17)

14.4 Ruch cząstki swobodnej

Założymy, że na cząstkę nie działają pola zewnętrzne. Przyjmijmy, że początkowo cząstka znajdowała się w stanie o określonym pędzie p: 0x01 graphic
. Zauważymy, że jest to wektor własny operatora Hamiltona. Nie trudno znaleźć wektor stanu cząstki w dowolnej chwili t

0x01 graphic
. (14.18)

Znajdziemy funkcję falową odpowiadającą wybranemu wektorowi stanu 0x01 graphic
w reprezentacji położeń

0x01 graphic
.

Ponieważ 0x01 graphic
mamy do czynienia ze stanem stacjonarnym, co nie powinno być niespodzianką ponieważ początkowo stan określał wektor 0x01 graphic
, czyli wektor własny operatora energii 0x01 graphic
, zatem cząstka miała określoną energię.

14.5 Ruch paczki falowej

Rozważymy ruch cząstki poruszającej się wzdłuż osi x. Niech w momencie czasu t=0 funkcja falowa ma postać

0x01 graphic
, (14.19)

gdzie 0x01 graphic
i 0x01 graphic
są funkcjami rzeczywistymi, ponadto 0x01 graphic
jest wielkością bezwymiarową. Niech funkcja 0x01 graphic
ma w otoczeniu punktu p0 ostre maksimum o szerokości połówkowej 0x01 graphic
, np. można przyjąć, że ma ona postać

0x01 graphic
(14.20)

W momencie czasu t odpowiada jej funkcja falowa 0x01 graphic
, która po wykorzystaniu wzorów (10.32) i (14.4a) przyjmuje postać

0x01 graphic
(14.21)

W momencie czasu t dla większości punktów osi x funkcja wykładnicza znajdująca się pod znakiem całki silnie oscyluje i nawet otoczenie punktu p0, gdzie funkcja 0x01 graphic
jest duża, daje mały wkład, a więc całka określająca funkcję falową znika. Jednak gdy w pewnym przedziale pędów, do którego należy pęd p0, faza wyrażenia podcałkowego

0x01 graphic
(14.22a)

zmienia się powoli to całka ta może być różna od zera. Jeżeli faza 0x01 graphic
jest powoli zmienną funkcją pędu to można ją rozłożyć w szereg potęgowy w 0x01 graphic
w otoczeniu p0 i ograniczyć się do kilku pierwszych wyrazów

0x01 graphic
.(14.22b)

Dla małych 0x01 graphic
znikanie drugiego wyrazu szeregu zapewnia powolną zmienność 0x01 graphic
. Zatem przyjmijmy, że 0x01 graphic
, a to oznacza, że faza 0x01 graphic
ma w tym punkcie ekstremum. Z tego warunku znajdujemy zależność położenia x od czasu

0x01 graphic
, (14.23a)

gdzie

0x01 graphic
. (14.23)

Wielkość 0x01 graphic
ma wymiar prędkości natomiast 0x01 graphic
wobec bezwymiarowości α ma wymiar ilorazu 0x01 graphic
, czyli długości. Ponieważ rozważamy ruch cząstki swobodnej pochodna 0x01 graphic
jest prędkością p/m

0x01 graphic
.

W ogólnym przypadku, gdy prawo dyspersji różne jest od kwadratowego, pochodna energii po pędzie różni się od prędkości p/m. Pochodna 0x01 graphic
określa wektor prędkości grupowej - w naszym przypadku wektor o jednej składowej. Prędkość grupowa jest prędkością propagacji superpozycji (14.21) fal. Taka superpozycja nazywana jest paczką falową. Funkcja 0x01 graphic
określa skład spektralny funkcji falowej, dla tego nazywa się ona gęstością spektralną paczki. Dla gęstości spektralnej w postaci (14.20) otrzymamy

0x01 graphic
, (14.24)

gdzie

0x01 graphic
. (14.25)

Funkcja 0x01 graphic
zależy od czasu i współrzędnej x poprzez argument 0x01 graphic
. Ustalmy moment czasu t. Gdy 0x01 graphic
jest dużą wielkością to funkcja podcałkowa (14.25) silnie oscyluje dla wszystkich pędów należących do przedziału całkowania, w rezulta­cie funkcja 0x01 graphic
jest bardzo mała. Natomiast gdy 0x01 graphic
to funkcja podcałkowa dla pędów z przedziału 0x01 graphic
oscyluje słabo, a więc fale składające się na funkcję 0x01 graphic
interferują konstruktywnie. By konstruktywna interferencja miała miejsce zmiana 0x01 graphic
fazy 0x01 graphic
(14.22b) powinna w przedziale 0x01 graphic
spełniać nierówność

0x01 graphic
.

To oznacza, że gdy

0x01 graphic

mamy do czynienia z interferencją konstruktywną i z całą pewnością punkt x należy do paczki falowej. Zatem rozmiar liniowy paczki falowej 0x01 graphic
jest co najmniej równy 0x01 graphic
, a to oznacza, że rozmiar liniowy paczki 0x01 graphic
spełnia nierówność

0x01 graphic
.

Jak widać rozrzut 0x01 graphic
pędów fal dających wkład o całki (14.25) i rozmiar liniowy 0x01 graphic
paczki falowej spełniają nierówność

0x01 graphic
. (14.26)

Jest to nierówność nazywana nierównością Heisenberga dla jednowymiarowej paczki falowej. Można rozpatrzyć trójwymiarową paczkę falową, wtedy należy wprowadzić gęstość spektralną 0x01 graphic

0x01 graphic

Gdy mamy do czynienia z paczką falową poruszająca się w przestrzeni prędkość grupowa jest wektorem o składowych

0x01 graphic
. (14.27)

Rozmiary paczki 0x01 graphic
w każdym z trzech kierunków 0x01 graphic
spełniają nierówności

0x01 graphic
. (14.28)

Trzy nierówności (14.28) są nierównościami Heisenberga dla trójwymiarowej paczki falowej. Podkreślmy - rozmiar liniowy 0x01 graphic
w kierunku α i rozrzut pędu w kierunku β 0x01 graphic
nie są ze sobą związane. Z nierówności (14.28) wynika, że jeżeli paczka falowa jest dobrze zlokalizowana, tj. gdy 0x01 graphic
, 0x01 graphic
to jej pęd jest całkowicie nieokreślony. Natomiast cząstka niezlokalizowana 0x01 graphic
ma ściśle określony pęd 0x01 graphic
. W granicy klasycznej gdy 0x01 graphic
ograniczenia na nieokreśloność położenia i pędu znikają.

Paczka falowa o prędkości grupowej 0x01 graphic
przebywa w obszarze 0x01 graphic
otaczającym punkt x przez interwał czasu 0x01 graphic
, stąd 0x01 graphic
. Lewa strona tej relacji jest równa w przybliżeniu 0x01 graphic
, natomiast prawa jest nie mniejsza od 0x01 graphic
. To oznacza, że nieokreśloność energii 0x01 graphic
związana z nieokreślonością pędu i charakterystyczny czas lokalizacji cząstki 0x01 graphic
spełniają nierówność rozważanego typu

0x01 graphic
. (14.29)

14.6 Kanoniczne reguły komutacji operatorów składowych położeń i pędów

Pokażemy, że składowe operatora położenia 0x01 graphic
i składowe operatora pędu 0x01 graphic
nie komutują spełniają związek podobny do nakładanego na nawiasy Poissona dla współrzędnych i pędów uogólnionych znanego z mechaniki klasycznej. W tym celu dla dowolnego wektora stanu 0x01 graphic
i dowolnego wektora własnego operatora położenia 0x01 graphic
rozpatrzymy element macierzowy 0x01 graphic
komutatora 0x01 graphic

0x01 graphic

Ponieważ wektor 0x01 graphic
jest dowolny i na wektor wodzący r nie nałożyliśmy ograniczeń, dla każdej składowej α operatora położenia i operatora pędu słuszna jest relacja

0x01 graphic
. (14.30)

14.7 Nierówność Schwartza

Niech 0x01 graphic
będzie dowolnym wektorem stanu. Iloczyn 0x01 graphic
jest wielkością rzeczywistą (0x01 graphic
) spełniającą nierówność

0x01 graphic
. (14.31)

Załóżmy, że 0x01 graphic
, gdzie 0x01 graphic
jest dowolnym parametrem. Przyjmijmy, że 0x01 graphic
. Wykorzystamy nierówność (14.31)

0x01 graphic
.

Wybierzemy 0x01 graphic

0x01 graphic
,

wtedy

0x01 graphic
, (14.32)

Po pomnożeniu obydwu stron nierówności (14.32) przez 0x01 graphic
otrzymamy nierówność Schwartza

0x01 graphic
. (14.33)

Równość ma miejsce wtedy i tylko wtedy gdy 0x01 graphic
, tj. gdy 0x01 graphic
, tzn. gdy wektory 0x01 graphic
są proporcjonalne. Normy wektorów 0x01 graphic
(j=1,2) spełniają nierówność

0x01 graphic
.

14.8 Nierówności Heisenberga

Podamy bardziej formalne wyprowadzenie nierówności Heisenberga, co wyjaśni ich sens, i jednocześnie uogólnimy je. Rozważymy parę hermitowskich, niekomutujących operatorów 0x01 graphic
(0x01 graphic
, 0x01 graphic
, 0x01 graphic
). Niech 0x01 graphic
będzie wektorem własnym operatora 0x01 graphic
, natomiast 0x01 graphic
wektorem własnym operatora 0x01 graphic
. Odpowiednie wartości własne 0x01 graphic
są liczbami rzeczywistymi. Rozważymy amplitudę 0x01 graphic
. Kwadrat jej modułu jest prawdopodobieństwem zdarzenia polegającego na tym, że w przypadku układu będącego w stanie własnym 0x01 graphic
pomiar wielkości związanej z operatorem 0x01 graphic
da wartość własną βj. Przyjmiemy, że ono nie znika 0x01 graphic
. Rozważymy średnie kwadratowe odchylenie 0x01 graphic
w dowolnym stanie 0x01 graphic

0x01 graphic
, 0x01 graphic
.

Średnie odchylenia kwadratowe znikają wtedy i tylko wtedy gdy 0x01 graphic
jest wektorem własnym operatora 0x01 graphic
albo 0x01 graphic
.

Zapiszemy średnie kwadratowe odchylenia w stanie 0x01 graphic
w postaci iloczynów skalar­nych

0x01 graphic
, (14.34a)

0x01 graphic
. (14.34b)

Wykorzystamy nierówność Schwartza

0x01 graphic
. (14.35)

Zbadajmy wyraz 0x01 graphic
. Przekształcimy go wykorzystując własność hermitowskości obydwu operatorów 0x01 graphic

0x01 graphic

Ostatecznie

0x01 graphic
. (14.36a)

Gdy 0x01 graphic

0x01 graphic
. (14.36b)

Ponieważ 0x01 graphic
, 0x01 graphic
, więc ostatecznie otrzymujmy uogólnioną nierówność Heisenberga dla odchyleń standardowych średnich wartości dwóch niekomutujących operatorów

0x01 graphic
. (14.37)

Podkreślmy, nierówność Heisenberga (14.36a) dotyczy odchyleń standardowych i nie wymaga aby pomiary średnich wartości niekomutujących operatorów były jednoczesne. Ponieważ jak dotąd nie znaleziono operatora czasu nierówność (14.29) nie ma takiego samego statusu jak nierówności Heisenberga (14.36).

14.8 Stany z najmniejszą nieokreślonością

Nierówność Schwartza (14.36) sprowadza się do równości gdy wektory ją spełniające są proporcjonalne. Znajdziemy postać funkcji falowej, dla której nierówność Heisenberga dla składowych operatora położenia i składowych operatora pędu sprowadza się do równości, czyli jest minimalna [2]. Takie stany możemy uznać za najbardziej klasyczne stany kwan­towe. Przyjmiemy współczynnik proporcjonalności w postaci 0x01 graphic

0x01 graphic
. (14.38)

Wyprowadzimy równanie różniczkowe dla funkcji falowej 0x01 graphic
. W tym celu pomnożymy obydwie strony równania (14.38) przez wektor bra 0x01 graphic

0x01 graphic
.

Otrzymaliśmy nieskomplikowane równanie różniczkowe, którego rozwiązaniem jest funkcja

0x01 graphic
. (14.39)

Stałe całkowania określimy z warunku normowania funkcji falowej

0x01 graphic
,

i by całka 0x01 graphic
była równa zadanemu średniemu kwadratowemu odchyle­niu 0x01 graphic

0x01 graphic
.

Z tych warunków znajdujemy 0x01 graphic
, 0x01 graphic
. Wybierzemy fazę stałej 0x01 graphic
tak, aby była ona wielkością rzeczywistą, wtedy

0x01 graphic
. (14.40)

W ten sposób otrzymaliśmy w reprezentacji położeń jawną postać funkcji falowej o naj­mniej­szej nieoznaczoności. Gdy układ znajduje się w stanie 0x01 graphic
to wielokrotne pomiary współrzędnej rα daje wynik równy 0x01 graphic
, wielokrotne pomiary składowej α pędu dają 0x01 graphic
. Średnie kwadratowe odchylenie składowej α położenia jest zadane. Natomiast zgodnie z zasadą nieoznaczoności średnie kwadratowe odchylenie składowej α pędu wyraża się przez 0x01 graphic

0x01 graphic
.

Pierwszy czynnik w wykładniku funkcji (14.40) przypomina falę płaską. Zauważymy, że prawdopodobieństwo znalezienia cząstki w przedziale 0x01 graphic
proporcjonalne jest do funkcji rozkładu Gaussa

0x01 graphic
.

W zupełnie podobny sposób (albo dokonując przekształcenia Fouriera funkcji (14.40)) można w reprezentacji pędów znaleźć funkcję falową z stanu najmniejszą nieokreślonością

0x01 graphic
.

14.10 Prędkość fazowa

Wprowadziliśmy prędkość grupową. Z tą prędkością poruszają się paczki falowe, a więc przenoszone są wielkości fizyczne, np. energia i pęd. Wprowadzimy jeszcze prędkość fazową. Rozpatrzymy warunek stałości fazy fali płaskiej

0x01 graphic
.

Określa on rodzinę płaszczyzn prostopadłych do wektora p (Rys. 14.1)

0x01 graphic

Ta płaszczyzna porusza się z prędkością fazową

0x01 graphic
. (14.41)

Prędkość fazowa jest wielkością skalarną. Obliczymy rzut prędkości grupowej (14.27) na kierunek propagacji fali płaskiej

0x01 graphic
.

Taka nierówność jest słuszna także gdy prawo dyspersji nie jest kwadratowe.

Literatura:

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

[2] W. H. Louisell, Radiation and Noise in Quantum Electronics, McGrow-Hill, New York, 1964, § 1.13.

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



Wyszukiwarka