Wykłady z Mechaniki Kwantowej

Podobne dokumenty
Wykłady z Mechaniki Kwantowej

Wykład 4 Udowodnimy teraz, że jeśli U, W są podprzetrzeniami skończenie wymiarowej przestrzeni V to zachodzi wzór: dim(u + W ) = dim U + dim W dim(u

POSTULATY MECHANIKI KWANTOWEJ cd i formalizm matematyczny

obrotów. Funkcje falowe cząstki ze spinem - spinory. Wykład II.3 29 Pierwsza konwencja Condona-Shortley a

ALGEBRA LINIOWA Z ELEMENTAMI GEOMETRII ANALITYCZNEJ

Wektory i wartości własne

Jak łatwo zauważyć, zbiór form symetrycznych (podobnie antysymetrycznych) stanowi podprzestrzeń przestrzeni L(V, V, K). Oznaczamy ją Sym(V ).

Zadania z Algebry liniowej 4 Semestr letni 2009

1 Zbiory i działania na zbiorach.

1 Grupa SU(3) i klasyfikacja cząstek

Algebra liniowa. 1. Macierze.

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

Analiza funkcjonalna 1.

1 Formy hermitowskie. GAL (Informatyka) Wykład - formy hermitowskie. Paweł Bechler

Wektory i wartości własne

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

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

Wykład 14. Elementy algebry macierzy

Wykłady z Mechaniki Kwantowej

Wstęp do komputerów kwantowych

Wykład 5. Ker(f) = {v V ; f(v) = 0}

Zadania z Algebry liniowej 3 semestr zimowy 2008/2009

spis treści 1 Zbiory i zdania... 5

3 1 + i 1 i i 1 2i 2. Wyznaczyć macierze spełniające własność komutacji: [A, X] = B

Wstęp do Modelu Standardowego

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;

Metody matematyczne fizyki

φ(x 1,..., x n ) = a i x 2 i +

Zadania egzaminacyjne

Algebra i jej zastosowania ćwiczenia

Analiza matematyczna i algebra liniowa Macierze

Pokazać, że wyżej zdefiniowana struktura algebraiczna jest przestrzenią wektorową nad ciałem

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

Równania liniowe. Rozdział Przekształcenia liniowe. Niech X oraz Y będą dwiema niepustymi przestrzeniami wektorowymi nad ciałem

Baza w jądrze i baza obrazu ( )

Postulaty mechaniki kwantowej

Mechanika kwantowa Schrödingera

1 Macierze i wyznaczniki

Przestrzeń unitarna. Jacek Kłopotowski. 23 października Katedra Matematyki i Ekonomii Matematycznej SGH

Algebra liniowa z geometrią

Wykłady z Mechaniki Kwantowej

21 Symetrie Grupy symetrii Grupa translacji

Macierz o wymiarach m n. a 21. a 22. A =

Zestaw zadań 5: Sumy i sumy proste podprzestrzeni. Baza i wymiar. Rzędy macierzy. Struktura zbioru rozwiązań układu równań.

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi.

Informacja o przestrzeniach Hilberta

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

Układy równań liniowych

15. Macierze. Definicja Macierzy. Definicja Delty Kroneckera. Definicja Macierzy Kwadratowej. Definicja Macierzy Jednostkowej

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

MATEMATYKA I SEMESTR ALK (PwZ) 1. Sumy i sumy podwójne : Σ i ΣΣ

DB Algebra liniowa semestr zimowy 2018

Seria zadań z Algebry IIR nr kwietnia 2017 r. i V 2 = B 2, B 4 R, gdzie

1 Relacje i odwzorowania

Podstawy mechaniki kwantowej / Stanisław Szpikowski. - wyd. 2. Lublin, Spis treści

Met Me ody numer yczne Wykład ykład Dr inż. Mic hał ha Łanc Łan zon Instyt Ins ut Elektr Elektr echn iki echn i Elektrot Elektr echn olo echn

a 11 a a 1n a 21 a a 2n... a m1 a m2... a mn x 1 x 2... x m ...

Definicja macierzy Typy i właściwości macierzy Działania na macierzach Wyznacznik macierzy Macierz odwrotna Normy macierzy RACHUNEK MACIERZOWY

RACHUNEK MACIERZOWY. METODY OBLICZENIOWE Budownictwo, studia I stopnia, semestr 6. Instytut L-5, Wydział Inżynierii Lądowej, Politechnika Krakowska

Niezb. ednik matematyczny. Niezb. ednik matematyczny

DB Algebra liniowa 1 semestr letni 2018

IX. MECHANIKA (FIZYKA) KWANTOWA

Macierze - obliczanie wyznacznika macierzy z użyciem permutacji

Suma i przeciȩcie podprzestrzeni, przestrzeń ilorazowa Javier de Lucas

13 Układy równań liniowych

Treść wykładu. Układy równań i ich macierze. Rząd macierzy. Twierdzenie Kroneckera-Capellego.

Przestrzenie wektorowe

Endomorfizmy liniowe

4 Przekształcenia liniowe

Twierdzenie spektralne

1 Działania na zbiorach

1. PODSTAWY TEORETYCZNE

Zadania z algebry liniowej - sem. I Przestrzenie liniowe, bazy, rząd macierzy

WYKŁADY Z MATEMATYKI DLA STUDENTÓW UCZELNI EKONOMICZNYCH

Zadania z Analizy Funkcjonalnej I Które z poniższych przestrzeni metrycznych są przestrzeniami unormowanymi?

Symetrie w matematyce i fizyce

Wykład 12 i 13 Macierz w postaci kanonicznej Jordana , 0 A 2

Wstęp do Modelu Standardowego

Mechanika kwantowa ćwiczenia, 2007/2008, Zestaw II

1 Podobieństwo macierzy

Macierze. Rozdział Działania na macierzach

Układy statystyczne. Jacek Jurkowski, Fizyka Statystyczna. Instytut Fizyki

1. PODSTAWY TEORETYCZNE

Algebra liniowa z geometria. - zadania Rok akademicki 2010/2011

1 Macierz odwrotna metoda operacji elementarnych

Zadania z Algebry Studia Doktoranckie Instytutu Matematyki Uniwersytetu Śląskiego 1

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

Rozwiązania, seria 5.

ALGEBRA Z GEOMETRIĄ MACIERZE ODWZOROWAŃ LINIOWYCH

2 Rachunek macierzowy, metoda eliminacji Gaussa-Jordana Wprowadzenie teoretyczne Zadania... 9

R n = {(x 1, x 2,..., x n ): x i R, i {1,2,...,n} },

ALGEBRA LINIOWA. Wykład 2. Analityka gospodarcza, sem. 1. Wydział Zarządzania i Ekonomii Politechnika Gdańska

Kombinacje liniowe wektorów.

Atomowa budowa materii

2.1. Postać algebraiczna liczb zespolonych Postać trygonometryczna liczb zespolonych... 26

Szczegółowa lista zagadnień kursu Algebra z geometrią MT obowiązujących na egzamin ustny w roku akademickim 2018/19

Rok akademicki: 2013/2014 Kod: JFT s Punkty ECTS: 5. Poziom studiów: Studia I stopnia Forma i tryb studiów: -

Wstęp do metod numerycznych Uwarunkowanie Eliminacja Gaussa. P. F. Góra

5 Wyznaczniki. 5.1 Definicja i podstawowe własności. MIMUW 5. Wyznaczniki 25

Transkrypt:

Wykłady z Mechaniki Kwantowej

Mechanika Kwantowa, Relatywistyczna Mechanika Kwantowa Wykład dla doktorantów (017) Wykład 6 Długoletnie błądzenie w ciemnościach w poszukiwaniu prawdy odczuwanej, lecz nieuchwytnej, głębokie pragnienie oraz przeplatające się ze sobą okresy wiary i zwątpienia, które poprzedzają jasne i pełne zrozumienie, znane są wyłącznie tym, którzy sami ich doświadczyli Marek Zrałek Zakład Teorii Pola i Cząstek Elementarnych Instytut Fizyki Uniwersytet Śląski Katowice, 017

Ewolucja w czasie układów kwantowego (postulat VI) Układy oddziaływujące z otoczeniem: ρ(t) =f( ρ(t 0 ), τ = t-t 0, t 0 ) Układy izolowane: ρ(t) =f(ρ(t 0 ), τ = t-t 0 ) Układy nieoddziaływujące z otoczeniem Układy izolowane, Układy zachowawcze, Układy odwracalne. Warunki wstępne: Mając ρ(t 0 ), chcemy aby ρ(t) było określone Czas jest ciągłym rzeczywistym parametrem nie jest obserwablą kwantową

Intuicyjne rozumienie ewolucji czasowej wymaga aby: ρ(t 0 ) ρ(t) 1) Odwzorowanie jest liniowe i ciągłe: Końcowy operator statystyczny nie zależy od tego czy najpierw fragmenty układy poddamy ewolucji czasowej: ρ 1 (t 0 ) ρ 1 (t) ρ (t 0 ) ρ (t) a potem dokonamy wymieszania: α ρ 1 (t) + β ρ (t) czy też najpierw wymieszamy: α ρ 1 (t 0 ) + β ρ (t 0 ) i całość będzie ewoluować z czasem: α ρ 1 (t 0 ) + β ρ (t 0 ) α ρ 1 (t) + β ρ (t)

) Ewolucja czasowa tworzyła czasową półgrupę : Operator statystyczny układu nie zależy od tego czy najpierw odczekamy chwilę τ 1 : a później chwilę τ : ρ(t 0 ) ρ(t 1 = t 0 + τ 1 ) ρ(t 1 ) ρ(t = t 1 + τ ) czy też zaraz odczekamy chwilę τ = τ 1 + τ. ρ(t 0 ) ρ(t = t 0 + τ 1 + τ ) Warunki 1) oraz ) są ogólne zawsze spełnione, także dla układów nieizolowanych

Dla układów izolowanych istnieje operator ewolucji czasowej ) Dla układu izolowanego wymagamy dodatkowo aby ewolucja czasowa była zadana przez unitarny operator U(t) spełniający warunki: ρ(t ) ρ(t ) = U( τ ) ρ(t )U ( τ ); τ = t t ; + 0 1 1 0 1 1 1 0 + -1 U()=U(); τ τ U(0)= I; -1 U ( τ)=u( τ); U( τ + τ )=U( τ )U( τ ); 1 1 U(τ) jest ciągłym operatorem parametru τ.

Ciągłość operatora (zależy od topologii): A(t) jest ciągłe w t = t 0 gdy dla t t 0 : względem topologii τ, czyli gdy t t 0. A(t) φ A(t ) 0 0 φ (A(t) A(t )) φ 0 τ Określamy generator ewolucji czasowej: du( τ ) A = d τ τ = 0

Weźmy: U(τ 1 + τ ) = U(τ 1 )U(τ ) Zróżniczkujmy obydwie strony po τ 1 du(τ + τ 1 ) = du(τ + τ ) 1 d(τ + τ 1 ) = du(τ ) 1 U(τ ) dτ 1 d(τ + τ 1 ) dτ 1 dτ 1 Obliczamy granicę: lim... τ 1 0 du(τ ) dτ = AU(τ ) d U(τ ) dτ = d dτ (AU(τ )) = A d dτ U(τ ) = A U(τ ) Czyli: d n U(τ ) dτ n = A n U(τ )

Rozwinięcie U(τ) w szereg Taylora: n U( τ)=i+ τ τ τ Czyli: Zróżniczkujmy równość: n du( τ) d U( τ) d U( τ) n dτ +... + τ = 0!dτ n!dτ τ= 0 τ= 0 1 1 U( τ)=i+a τ + A τ +...+ A τ =! n! e τ n n A U + (τ ) = e τ A+ + U ( τ) U( τ)=i; + du ( τ) + du( τ) dτ U( τ)+u ( τ) ; dτ w granicy τ = 0 otrzymamy A więc generator A jest antyhermitowski: + A = A [τ A] = 1 [A] = [τ 1 ] = sek 1 = energia Możemy więc parametryzować: A = -i H + A + A = 0 τ + U()= = e τ A +

Postulat VI można więc podać w postaci (w obrazie Schrödingera) Generatorem ewolucji w czasie zachowawczego układu fizycznego jest operator A = -i H gdzie H jest operatorem energii układu, czyli Obraz Schrödingera Obserwabla (aparatura i sposób wykonania pomiaru) nie zmienia się w czasie. W czasie zmienia się układ fizyczny, który mierzymy Dwie interpretacje wartości średniej: + A = Tr(A ρ(t)) = Tr(AU( τ) ρ(t () 0)U ( τ)) = ρ t + Tr(U ( τ)au( τ) ρ(t 0)) =Tr(A(t) ρ(t 0)); gdzie + A(t) = U ( τ)au( τ) Zmienia się przepis na sposób wykonania pomiaru a więc obserwabla. Stan układu fizycznego nie ulega zmianie Obraz Heisenberga

Ewolucja operatora statystycznego (obraz Schrödingera) ρ(t) = e iht iht ρ(t = 0) e Ewolucja obserwabli (Obraz Heisenberga) A(t) = e iht A(t = 0) e iht

W obrazie Heisenberga---- równanie Heisengerga: da(t) ih dt = [ A(t),H] W obrazie Schrödingera natomiast równanie Liouville a: d ρ(t) ih dt = [ H, ρ(t) ] Albo dla stanu czystego równanie Schrödingera: ih d ψ dt (t) = H ψ (t) Stała ruchu Wielkość fizyczna jest stała ruchu, gdy nie zależy od czasu da(t) = 0 [ A,H] = 0, A(t) = 0 dt t

Stan stacjonarny Stan nazywamy stanem stacjonarnym, gdy nie zmienia się w czasie, mamy więc: ρ(t) = U( τ) ρ(t )U ( τ) = ρ(t ) + 0 0 u Wartość średnia w stanie stacjonarnym nie zależy od czasu: A t = Tr(AU(t)ρ 0 U + (t)) = Tr(Aρ 0 ) = A t=0 u Stany stacjonarne są zawsze mieszanką stanów własnych operatora energii U(t)ρ 0 U + (t) = ρ 0 U(t)ρ 0 = ρ 0 U(t) [H, ρ 0 ] = 0 [U(t), ρ 0 ] = 0 ρ 0 = Dla stanu czystego a n E n E n H E n = E n E n ψ = e iδ E n n

Ewolucja czasowa jest transformacją symetrii układu [Q(t 0 ), P(t 0 )] = i I [Q(t), P(t)] = i I Operatory z algebra obserwabli spełniają w każdej chwili czasu takie same relacje komutacji. Obraz oddziaływania obraz Diraca: H=H + V; 0 iht U(t) = e ; ; h U (t) = e ; h U(t) = e iht ih0t 0 U (t)=u(t)u (t) U 0 (t) = e ih 0t U(t)=U (t)u (t) + I 0 I 0 A (t) = I I U(t)A + I 0 U(t); 0 I ρ ( t) = U(t) ρ( t) U(t); + 0 Definicja A = Tr( A U(t) ρ(t)u (t))= Tr( A U (t)u (t) ρ(t)u (t)u (t))= (t) + I 0 I + + + 0 0 I 0 0 I Tr( U (t)a U (t) U (t) ρ(t)u (t))=tr(a (t) ρ (t)) 0 + 0 I I

Jeśli [ H 0,V] = 0; Układy niezachowawcze (nieodwracalne, nieizolowane) v Dynamika zależy od czasu v Operator energii zależy od czasu U(t) = e iht! = e i(h 0 +V)! = e ih 0t! e ivt! = U 0 (t)u I (t) = U I (t)u 0 (t) Ewolucja w czasie niezachowawczego układu fizycznego jest dana przez równanie Schrödingera i! d ψ (t) = h(t) ψ (t) ψ (t) = U(t,t dt 0 ) ψ (t 0 ) Gdzie h(t) nazywa się operatorem Hamiltona nie musi być operatorem energii U(t,t 0 ) = I - i! Rozwinięcie perturbacyjne; t 0 h(t')u(t',t 0 )dt' n t t t' 1 1 U(t,t 0)=I+ h(t')dt'+ dt' dt'' h(t')h(t'')+... i 0 h i 0 0 h 1 ih t t t 1 n-1 + dt dt... dt h(t )h(t )...h(t ) +... 0 1 0 0 n 1 n

gdy [ h(t'),h(t'') ] = 0 dla dowolnych chwil t oraz t, wtedy (t 0 = 0): i h dt'h(t') 0 U(t)= e ; t gdy natomiast: [ h(t'),h(t'') ] 0; to otrzymamy: i h dt'h(t') 0 U(t)= Te ; t Iloczyn chronologiczny T jest zdefiniowany w sposób: T(h(t 1)h(t )h(t ))=h(t )h(t 1)h(t ); gdy t t 1 t Przykłady: Mechanika nierelatywistyczna, Teoria pola

Cząstki identyczne, postulat (VII) 1 Przestrzeń stanów: Η=Η1 H H... H N W MK cząstki identyczne są nierozróżnialne --- co to oznacza matematycznie? Weźmy wektor bazowy w H: ξ i i ξ, ξ, ξ,..., ξ = ξ ξ ξ... ξ 1 N 1 1 N N Ale te N elementów możemy ułożyć w innej kolejności: η, η, η,..., η = ξ ξ ξ... ξ 1 N 1 η η η N η 1 N Identyczność cząstek à stany pierwszy i drugi są fizycznie nierozróżnialne à wszelkie pomiary wykonane w tych stanach muszą dać ten sam rezultat stan P ξ, ξ, ξ,..., ξ = η, η, η,..., η 1 N 1 N Numer cząstki

Grupa permutacji = Grupa symetryczna {P} Jest skończenie wymiarowa ma N! elementów, Ma skończenie wymiarowe nieredukowalne reprezentacje unitarne, Istnieją dwie reprezentacje jednowymiarowe. Permutacje można złożyć z transpozycji, Permutacja może mieć parzystą lub nieparzystą liczbę transpozycji, Permutację można złożyć z dowolnej liczby transpozycji, ale zawsze jest ona parzysta lub nieparzysta. W przestrzeni stanów H działa reprezentacja unitarna ---- każdej permutacji N elementów odpowiada unitarny operator P działający na stany fizyczne. P ξ = η Nie wszystkie wektory z przestrzeni stanów są dobrymi stanami opisującymi cząstki identyczne. Czysty stan fizyczny będzie opisany wektorem ψ, który da identyczne wyniki każdego pomiaru niezależnie od tego jakiej permutacji dokonaliśmy na cząstkach. Taki wektor P ψ może różnić się od wektora ψ najwyżej fazą: δ P ψ = e i ψ Działając dowolnym operatorem permutacji na stan N cząstek identycznych otrzymujemy ten sam stan z dokładnością do fazy.

Permutacje nie komutują 1,,,1, P 1 P 1 1,, = P 1,1, =,1, P 1 P 1 1,, = P 1,,1 =,,1 n = P P 1 P P 1 1,, = P P 1 P,1, = P P 1,,1 = P,,1 =,1, n = 4 Permutacja elementów grupa S (składa się z 6 składników) (,1,), (1,,), (,,1) n = 1 (,,1), (,1,), (1,,) n =

Rząd grupy skończonej, r = ilość elementów grupy r(s ) = 6 E = 1 1 A = 1 1 B = 1 1 C = 1 1 D = 1 1 F = 1 1 AB = 1 1. 1 1 = 1 1 = D Mnożenie elementów: E A B C D F E E A B C D F A A E D F B C B B F E D C A C C D F E A B D D C A B F E F F B C A E D Przykład: AB = 1 1. 1 1 = 1 1 = D

Reprezentacja grupy, zbiór macierzy A M (A); B M (B);... Które spełniają mnożenie grupowe: A B = D M (A) M (B) = M (D) Wymiar macierzy M = Wymiar reprezentacji Reprezentacja nieredukowalna nie można macierzy reprezentacji zapisać w postaci: A M 1(A) 0 0 M (A) Twierdzenie (bez dowodu): Wszystkie reprezentacje nieredukowalne o wymiarach spełniają relacje: l 1,l,... (l i ) = h (rząd grupy) i

l = 1, l =, l =, l = 4, l = 5,... S, h=6 l 1 = 1; l = 1; l = S 4, h = 4 l 1 = 1; l = 1; l = ; l = ; l = ; S 5, h=10 x1 + x4 + 1x9 + 0 x16 + 1x5 + x6=10 S 6, h=70 x1 + x4 + 1x9 + x5 + x6 + x49 + x64 + x 81

Diagramy YOUNGA Diagramy i tablice Younga wywodzą się z grupy permutacji ale ich stosowanie jest znacznie szersze. Ponownie określimy operatory symetryzacji i antysymetryzacji Dla dwóch cząstek: S i k = (1+ P i k ) A i k = (1 P i k ) 1, +,1 1,,1 Dla trzech czastek: S 1 = 1+ P 1 + P 1 + P + P 1 P 1 + P 1 P 1 A 1 = 1 P 1 P 1 P + P 1 P 1 + P 1 P 1 Dla trzech cząstek mamy sześć różnych stanów: Φ 1 = S 1 1 Φ = A 1 1 Φ = A 1 S 1 1 = (1 P 1 )(1+ P 1 ) 1 = (1 P 1 + P 1 P 1 P 1 ) 1 = 1 1 + 1 1 Φ 4 = A 1 S 1 1 = (1 P 1 + P 1 P 1 P 1 ) 1 = 1 1 + 1 1 Φ 5 = A S 1 1 = (1 P + P 1 P P 1 ) 1 = 1 1 + 1 1 Φ 6 = A S 1 1 = (1 P + P 1 P P 1 ) 1 = 1 1 + 1 1

W rzeczywistości istnieją tylko 4 niezależne stany; 1) Całkowicie symetryczny: ) Całkowicie antysymetryczny: Φ 1 Φ Φ ) I dwa z symetrią mieszaną, n.p. oraz Φ 4 Φ 5 Φ 4 Stany, są związane transformacją podobieństwa z czterema wymienionymi Odpowiada to trzem różnym diagramom Younga: całkowicie symetryczny całkowicie antysymetryczny symetria mieszana

' α 1 1 1 1 α 1 α 1 S A A S A S 1 1 1 1 1 1 Φ 1 = S 1 1 Φ = A 1 1 A 1 S 1 1 A 1 S 1 1 Ogólna definicja dla grupy S n Wprowadzamy n liczb całkowitych: n λ i Takich, że, oraz kolumny A λ i = 1 (λ 1,λ,λ,...,λ n ) = n λ 1 λ λ... λ n. λ λ λ 4 λ1 wiersze S λ

Konstrukcja reprezentacji nieredukowalnych, ich wymiar oraz baza 1) Każdy możliwy kształt diagramu odpowiada różnym nieredukowalnym reprezentacją, np. dla S 4 : 1 + 1 + + + = 4 ) Wszystkie n liczb pojawia się w kwadratach, ulokowanych tak, że ----- w każdym wierszu liczby rosną od lewej do prawej, ----- w każdej kolumnie liczby rosną z góry do dołu, liczba różnych możliwych ustawień dla danego diagramu Younga daje wymiar reprezentacji { 1 4 1 4 1 4 } ( ) dim =

Stany fizyczne tworzą jednowymiarowe podprzestrzenie w przestrzeni stanów --- jednowymiarowe podprzestrzenie reprezentacji grupy symetrycznej. Wiemy, że grupa ta ma dwie nierównoważne reprezentacje jednowymiarowe: P ψ = ψ ; p P ψ = ( 1) ψ ; Reprezentacja symetryczna Reprezentacja antysymetryczna Istnieją więc dwie jednowymiarowe podprzestrzenie grupy symetrycznej: H = { ψ H; P ψ = ψ } N + Liczba inwersji w permutacji P Podprzestrzeń symetryczna N - H = { ψ H; P ψ = ( 1) ψ } p Podprzestrzeń antysymetryczna Stany cząstek identycznych mogą należeć albo do podprzestrzeni symetrycznej albo podprzestrzeni antysymetrycznej

Postulat (VII) 1 Każdy stan fizycznych układu N identycznych cząstek tworzy podprzestrzeń jednowymiarową grupy permutacji S N symetryczną dla cząstek o spinie całkowitym (BOZONY), a antysymetryczną dla cząstek o spinie połówkowym (FERMIONY). Zasada Pauliego dla fermionów wynika z tego postulatu. Unormowane stany N cząstek identycznych: Dla bozonów: Dla fermionów: ξ = 1 P ξ ξ ξ + 1,,... N N! ξ = 1 (- 1) p P ξ ξ ξ 1,,... N N! P P

S 1 = 1+ P 1 + P 1 + P + P 1 P 1 + P 1 P 1 A 1 = 1 P 1 P 1 P + P 1 P 1 + P 1 P 1 A 1 S 1 = 1 P 1 + P 1 P 1 P 1 A 1 S 1 = 1 P 1 + P 1 P 1 P 1 A S 1 = 1 P + P 1 P P 1 A S 1 = 1 P + P 1 P P 1

Dziękuję za uwagę 4

Wybrane informacje o reprezentacjach grup

Zbiór elementów a,b,c,.. Tworzy grupę G, jeżeli 1. Jest zdefiniowany iloczyn dowolnych dwóch elementów grupy G, który także należy do G: a G, b G ab = c G.. Iloczyn elementów spełnia warunek łączności: (ab)c = a(bc).. W grupie G istnieje element jednostkowy e, taki, że dla dowolnego a G: ae = ea =a 4.Dla dowolnego elementu a G istnieje element odwrotny a -1, taki, że, aa 1 = a 1 a = e.

Reprezentacja grup 1. Definicja Reprezentacji grupy,. Definicja Reprezentacji Równoważnych,. Definicja Charakteru Grupy, 4. Definicja Reprezentacji Unitarnych, 5. Definicja Reprezentacji Redukowalnych i Nieredukowalnych 6. Definicja Sumy prostej macierzy, 7. Definicja Nieredukowalnej, Niezmienniczej Podprzestrzeni, 8. Definicja iloczynu prostego (iloczynu Kroneckera) macierzy

1. Definicja Reprezentacji grup Jeżeli każdemu elementowi g z grupy G g G można przypisać operator (macierz po wybraniu bazy) g A(g) A(G) i ta odpowiedniość jest homomorficzna (lub izomorficzna), wtedy mówimy, że zbiór operatorów A(G) tworzy reprezentację grupy G Przypomnieć Operatory w liniowej przestrzeni Baza wektorów Macierzowa reprezentacja operatorów Zmiana bazy dla operatorów

Dwa układy wektorów bazy: m = p U m, m m=1 m Macierzowa reprezentacja operatora A w bazie : m A m A m ' = A m, m ' Macierzowa reprezentacja operatora A w bazie m : Aby zachować ortonormalność wektorów bazy macierze transformacji muszą być unitarne: U + = U -1 A m A m ' = A m, m ' Jaka jest relacja pomiędzy macierzami w dwóch bazach? A m, m ' A m, m ' p p m=1 m ' =1 * A m, m ' = U m, m m A m ' U m', m = '

Czyli: p p m=1 m ' =1 + ( ) m, m ' = U m, m A m, m 'U m', m = ' U+ AU A = U + A U Macierze w naszych dwóch reprezentacjach są połączone unitarną transformacją podobieństwa ) Definicja reprezentacji równoważnych Dwie macierzowa reprezentacje są równoważne, {A} {A} jeżeli dla każdego elementy grupy transformacją podobieństwa: A(g) = U + A(g) U g G są połączone

) Definicja charakteru grupy Komentarz Charakter każdego elementy grupy jest określony jako ślad macierzy A(g): Charakter = Tr(A(g)) Charakter elementu grupy g nie zmienia się przy zmianie bazy reprezentacji, a więc charakteryzuje sam element g grupy: Tr( A(g) )= Tr U + A(g) U ( ) = Tr A(g) ( ) Równoważne reprezentacje mają ten sam zbiór charakterów. 4) Definicja reprezentacji unitarnej Reprezentacja, w której wszystkie macierze A(g) są unitarne nazywa się reprezentacją unitarną

Można udowodnić, że dla grup skończonych oraz dla ciągłych zwartych grup Liego, jakakolwiek reprezentacja grupy może, odpowiednią transformacją podobieństwa, być przetransformowana w reprezentację unitarną. Istnieje więc taka macierz C, że dla każdego elementu grupy g G, jest unitarne. Dla nieskończenie wymiarowych grup oraz grup niezwartych, reprezentacje nie są unitarne. 5) Definicja reprezentacji nieredukowalnej Załóżmy, że mamy n wymiarową reprezentację A(g). Jeśli dla wszystkich elementów grupy istnieje taka jedna macierz C, że g G C 1 A(g)C C 1 A(g)C = D (1) (g) 0 0 D () (g) Gdzie D (1) (g) oraz D () (g) są macierzami kwadratowymi D (1) (g) = (n 1 n 1 ) oraz takimi, że, wtedy mówimy, że reprezentacja A(g) D () (g) = (n n ) n = n 1 + n jest redukowalna. Jeżeli taki rozkład nie jest możliwy to reprezentację nazywamy nieredukowalną.

6) Definicja sumy prostej macierzy A B A 0 0 B (n 1 n 1 ) (n n ) = (n 1 + n ) (n 1 + n ) Można łatwo udowodnić, że (A 1 B 1 ) (A B ) = A 1 A B 1 B Twierdzenie Jeżeli D (1) (g) oraz D () (g) są dwiema reprezentacjami grupy G wtedy D (1) (g) 0 D(g) = 0 D () (g) jest także reprezentacją. Oraz odwrotnie, jeżeli D(g) jest reprezentacją, to także macierze D (1) (g) oraz D () (g) tworzą reprezentację. Dowód: D(g 1 ) D(g ) = D (1) (g 1 ) 0 D (1) (g ) 0 0 D () (g 1 ) 0 D () (g ) = = D (1) (g 1 )D (1) (g ) 0 0 D () (g 1 )D () (g ) = D (1) (g 1 g ) 0 0 D () (g 1 g ) = D(g g ) 1

Komentarze Proces D(g) = D (1) (g) D () (g) D (k) (g) jest nazywany dodawaniem reprezentacji. D (i) (g) Jeżeli są reprezentacjami nieredukowalnymi, powyższa procedura nosi nazwą rozkładu reprezentacji redukowalnej na sumę prostą reprezentacji nieredukowalnych. Jeżeli w sumie D(g) = D(1) (g) D () (g) D (k ) (g), wszystkie reprezentacje D (i) (g) są różne, wtedy mówimy, że reprezentacja D(g) 7) Definicja nieredukowalnych podprzestrzeni niezmienniczych jest prosto redukowalna. Jeżeli, działając elementami grupy G na dowolne wektory w podprzestrzeni M liniowej przestrzeni L, otrzymujemy wektory nalężące do M, to mówimy że podprzestrzeń M jest niezmiennicza względem grupy G. Jeżeli poza tym w M nie ma mniejszej niezmienniczej podprzestrzeni, to M jest nieredukowalną podprzestrzenią niezmienniczą

8) Definicja iloczynu prostego (Kroneckera) macierzy A B = C C i k, j l = A i j B k l Przykład Elementy o tym samym (i,j) oznaczają wiersze, o tym samym (k,l) kolumny, obowiązuje porządek leksykograficzny. a A = 11 a 1 b B = 11 b Jeżeli oraz 1 wtedy: a 1 a b 1 b A B = a 11 B a 1 B a 1 B a B = a 11 b 11 a 11 b 1 a 1 b 11 a 1 b 1 a 11 b 1 a 11 b a 1 b 1 a 1 b a 1 b 11 a 1 b 1 a b 11 a b 1 a 1 b 1 a 1 b a b 1 a b

Dowód: Twierdzenie Dla iloczynu prostego mamy: (A 1 B 1 ) (A B ) = (A 1 A B 1 B ) ((A 1 B 1 ) (A B )) i k, m n = = (A 1 ) i j (A ) j m Iloczyn prosty macierzy tworzy reprezentacji grupy G tworzy inną reprezentację tej samej grupy: Dowód: j l (C 1 ) i k, j l (C ) j l, m n = {(A 1 ) i j (B 1 ) }{ k l (A ) j m (B ) } l n = j, l (B 1 ) k l (B ) l n = (A A ) (B B ) = (A A B B ) 1 i m 1 k n 1 1 i k,m n D (1) (g) D () (g) = D(g) D (1) () (g) D(g 1 ) D(g ) = (D (1) (g 1 ) D () (g 1 )) (D (1) (g ) D () (g )) = = (D (1) (g 1 ) D (1) (g )) (D () (g 1 ) D () (g )) = (D (1) (g 1 g ) D () (g 1 g )) = D(g 1 g ) j, l

Twierdzenie (bez dowodu) Dla grupy skończonej lub prostej i zwartej jakakolwiek reprezentacja może być rozłożona na sumę prostą reprezentacji nieredukowalnych, D (1) () (k ) (g) = D (χ ) (g) i a i i a i = 0,1,,.., oznaczają jak wiele razy reprezentacja nieredukowalna pojawia się w sumie. Jeżeli a i = 0 lub 1 dla wszystkich i, reprezentacja jest prosto redukowalna Taki rozkład nazywa się szeregiem Clebscha Gordana Twierdzenie Charakter iloczynu prostego dwóch reprezentacji jest równy iloczynowi charakterów każdej reprezentacji. D i (χ ) Dowód: ( ) i k, i k χ (1) () (g)= D (1) (g) D () (g) = i,k = D (1) (g) i ( ) i, i k ( D () (g)) k, k = χ (1) (g) χ () (g)