• Nie Znaleziono Wyników

∑ Zestaw zada ń z mechaniki kwantowej II dla IFMU + I

N/A
N/A
Protected

Academic year: 2021

Share "∑ Zestaw zada ń z mechaniki kwantowej II dla IFMU + I"

Copied!
2
0
0

Pełen tekst

(1)

Zestaw zadań z mechaniki kwantowej II dla IFMU + I

3. Transformacje unitarne, operatory: rzutowy i ewolucji, obrazy: Schrödingera i Heisenberga

Operator Uˆ nazywamy unitarnym, gdy zachodzi związek:

Iˆ Uˆ Uˆ += , gdzie Iˆ jest operatorem jednostkowym.

Każda macierz hermitowska działająca w przestrzeni ࢂሺℂሻ może być zdiagonalizowana przez unitarną zmianę bazy.

lub równoważnie:

Dla każdej macierzy hermitowskiej ષષ istnieje macierz unitarna U (wyrażona przez wektory własne ષષ), taka że macierz ષ U+ΩUjest macierzą diagonalną.

Operator U

(

t,t0

)

nazywamy operatorem ewolucji, gdy spełniony jest związek:

( )

t U

(

t,t0

) ( )

xt0

x = .

1. Operatory unitarne

1.1 Udowodnić, że operatory unitarne nie zmieniają iloczynu skalarnego wektorów, na które działają.

1.2 Wykazać, że jeśli kolumny macierzy unitarnej n×n potraktujemy jako składowe n wektorów, to wektory te będą ortonormalne (podobnie mamy dla wierszy).

1.3 Wykazać, że wartości własne operatora unitarnego są liczbami zespolonymi o module równym jedności.

1.4 Rozważ macierz:





= Ω

0 0 1

0 0 0

1 0 0

a) czy jest ona hermitowska?

b) wyznacz jej wartości i wektory własne;

c) sprawdź, że macierz U+U jest diagonalna, jeśli U jest macierzą wektorów własnych ષ.

2. Operator rzutowy

2.1 Udowodnić, że operator rzutowy jest idempotentny, tzn. Pˆi2 =Pˆi. 2.2 Rozkład spektralny obserwabli.

Wykazać, że operator Aˆ można przedstawić przy pomocy rozkładu:

=

n n nPa ˆ , gdzie an są jego wartościami własnymi.

(2)

2.3 Wykazać, że:

a) zachodzi następująca relacja komutacyjna:

[

Aˆ,Pˆn

]

=0;

b) dla dowolnego wektora ψ ∈ H stan nψ jest stanem własnym obserwabli Aˆ z wartością własną an;

c) wartość oczekiwana wielkości fizycznej A, której odpowiada operator Aˆ dla układu fizycznego znajdującego się w stanie ψ wynosi:

=

=

n n n a

A ψAˆψ ψ 2,

gdzie Aˆ n =an n . 3. Operator ewolucji U 3.1 Wykazać, że:

a) U

(

t0,t0

)

= ; Iˆ

b)

( ) (

0

)

0 ˆ ,

, HU t t t

t t

i U =

∂ ;

c) U

(

t2,t0

)

=U

(

t2,t1

) (

U t1,t0

)

.

3.2 Uzasadnić poprzez formalne scałkowanie równania ruchu dla operatora ewolucji, że ma on następującą postać (w przypadku hamiltonianu niezależnego od czasu):

( ) ( )



− −

= 0

0

ˆ exp

, iH t t

t t

U  .

3.3 Podać postać operatora ewolucji dla równania Schrödingera przy pomocy stanów E , tzn. wektorów własnych hamiltonianu. Wskazówka: skorzystać z faktu, że =

E

E E

oraz z niezależności linowej wektorów E . 4. Obrazy w mechanice kwantowej

4.1 Omówić własności obrazu Schrödingera.

4.2 Omówić podstawowe własności obrazu Heisenberga.

4.3 Udowodnić, że wartości oczekiwane obserwabli w obrazie Schrödingera i Heisenberga są identyczne, tzn.:

( )

( ) ( ) ( ) ( ) ( )

( )H H t

H H S

S S S

t tt tt t

0

0 =

=

= ψ ψ ψ ψ ,

gdzie AˆH

( )

t =U+

(

t,t0

)

SU

(

t,t0

)

.

4.4 Wykazać, że dla układów zachowawczych (hamiltonian niezależny jawnie od czasu) równanie ruchu dla operatora w obrazie Heisenberga wyrażone jest zależnością:

( )

t

[ ( )

t H

]

dt

idH = AˆH , ˆ .

Cytaty

Powiązane dokumenty

Wykazać, że suma i różnica dwóch liczb rzeczywistych, z których jedna jest wymierna a druga niewymierna jest liczbą niewymierną, natomiast suma dwóch liczb niewymiernych może

W każdym z kolejnych zadań zadań podaj granicę (lub granicę niewłaściwą) ciągu. Liczby wymierne podaj w postaci liczby całkowitej lub

Ponieważ prawa strona równości (5) byłaby podzielna przez p, także lewa strona byłaby podzielna przez p, skąd wynika, że liczba m byłaby podzielna

Zbadać, w jakim kole jest zbieżny szereg MacLaurina funkcji tgh z.. Znaleźć kilka pierwszych

Przemia- nowanie jednego z jej bytów na k pozwala uniknąć

Wykazać, że kula jednostkowa w dowolnej normie jest

Wykazać, że kula jednostkowa w dowolnej normie jest zbiorem wypukłym..

Umieszczenie przysłówka „bezwzględnie” w nawiasie oznacza, że wszystkie lub prawie wszystkie wyrazy szeregu mają ten sam znak i zbieżność bezwzględna jest