W kwantowej teorii pola oraz w znaczących poddziedzinach elektrodynamiki kwantowej (QED) i chromodynamiki kwantowej (QCD), dwuciałowe równania Diraca (TBDE) dynamiki ograniczeń zapewniają trójwymiarowe, ale wyraźnie kowariantne przeformułowanie równania Bethe-Salpetera dla dwóch cząstek o spinie 1/2 . Takie przeformułowanie jest konieczne, ponieważ bez niego, jak wykazał Nakanishi, równanie Bethe-Salpetera ma rozwiązania o ujemnej normie wynikające z obecności zasadniczo relatywistycznego stopnia swobody, czyli względnego czasu. Te stany „duchów” zepsuły naiwną interpretację równania Bethe-Salpetera jako kwantowo-mechanicznego równania falowego. Dwuciałowe równania dynamiki ograniczeń Diraca naprawiają tę wadę. Formy tych równań można wyprowadzić nie tylko z kwantowej teorii pola, ale można je również wyprowadzić wyłącznie w kontekście dynamiki z ograniczeniami Diraca oraz mechaniki relatywistycznej i mechaniki kwantowej. Ich struktury, w przeciwieństwie do bardziej znanego dwuciałowego równania Diraca Breit , które jest pojedynczym równaniem, to równanie dwóch równoczesnych kwantowych relatywistycznych równań falowych . Pojedyncze dwuciałowe równanie Diraca, podobne do równania Breita , można wyprowadzić z TBDE. W przeciwieństwie do równania Breita, jest ono ewidentnie kowariantne i wolne od typów osobliwości, które uniemożliwiają ściśle nieperturbacyjne traktowanie równania Breita.
W zastosowaniach TBDE do QED dwie cząstki oddziałują na siebie za pomocą czterowektorowych potencjałów wywodzących się z teoretycznych oddziaływań elektromagnetycznych pola między dwiema cząstkami. W zastosowaniach do QCD dwie cząstki oddziałują na siebie za pomocą potencjałów czterowektorowych i niezmiennych oddziaływań skalarnych Lorentza, wywodzących się częściowo z interakcji chromomagnetycznych teorii pola między kwarkami, a częściowo z rozważań fenomenologicznych. Podobnie jak w przypadku równania Breita, używany jest szesnastoskładnikowy spinor Ψ.
a γμ to macierze gamma . Dwuciałowe równania Diraca (TBDE) mają tę właściwość, że jeśli jedna z mas staje się bardzo duża, powiedzmy, wówczas 16-składnikowe równanie Diraca zmniejsza się do 4 -składowe jednociałowe równanie Diraca dla cząstki 1 w potencjale zewnętrznym.
Poniżej zostaną użyte jednostki naturalne. Symbol tyldy jest używany nad dwoma zestawami potencjałów, aby wskazać, że mogą one mieć dodatkowe zależności macierzy gamma, których nie ma w jednociałowym równaniu Diraca. Wszelkie stałe sprzężenia, takie jak ładunek elektronu, są zawarte w potencjałach wektorowych.
Dynamika ograniczeń i TBDE
Dynamika ograniczeń zastosowana do TBDE wymaga szczególnej formy matematycznej spójności: dwaj operatorzy Diraca muszą dojeżdżać do pracy ze sobą. Jest to prawdopodobne, jeśli ktoś postrzega te dwa równania jako dwa kompatybilne ograniczenia funkcji falowej. (Zobacz poniższą dyskusję na temat dynamiki ograniczeń). Gdyby dwa operatory nie dojeżdżały do pracy (jak np. W przypadku operatorów współrzędnych i pędu ograniczenia nie byłyby zgodne (można nie np. mieć funkcję falową, która spełniała zarówno i ). Ta matematyczna spójność lub kompatybilność prowadzi do trzech ważnych właściwości TBDE. Pierwszy to warunek, który eliminuje zależność od względnego czasu w środku układu pędu (cm) określonego przez . (Zmienna jest całkowitą energią w układzie cm). Innymi słowy, czas względny jest eliminowany w sposób kowariantny. W szczególności, aby dwa operatory dojeżdżały do pracy, potencjał skalarny i czterowektorowy mogą zależeć od współrzędnej względnej tylko poprzez jej składową prostopadły do w którym
Oznacza to, że w ramce cm , który ma zerowy składnik czasu.
Po drugie, matematyczny warunek spójności eliminuje również względną energię w układzie cm . Czyni to poprzez narzucenie każdemu operatorowi Diraca struktury takiej, że w określonej kombinacji prowadzą one do tej postaci niezależnej od interakcji, eliminując w sposób kowariantny energię względną.
W tym wyrażeniu względny ma postać dla równych mas. W klatce cm ( , składnik czasu pędu względnego, czyli energii względnej, zostaje w ten sposób wyeliminowane. w tym sensie, że .
matematycznej spójności jest to, że każdy skalar świata wektory potencjały mają termin o ustalonej zależności od i oprócz niezależnej macierzy gamma formy i w zwykłym jednociałowym równaniu Diraca dla potencjałów skalarnych i wektorowych Te dodatkowe warunki odpowiadają dodatkowej zależności od spinu odrzutu, której nie ma w jednociałowym równaniu Diraca i znikają, gdy jedna z cząstek staje się bardzo ciężka (tzw. granica statyczna).
Więcej o dynamice wiązań: uogólnione ograniczenia powłoki bryłowej
Dynamika ograniczeń wyrosła z prac Diraca i Bergmanna. W tej sekcji pokazano, jak zachodzi eliminacja względnego czasu i energii w układzie cm dla prostego układu dwóch relatywistycznych cząstek bez spinu. Dynamika ograniczeń została po raz pierwszy zastosowana do klasycznego relatywistycznego układu dwóch cząstek przez Todorova, Kalba i Van Alstine'a, Komara i Droz-Vincenta. Dzięki dynamice ograniczeń autorzy ci znaleźli spójne i kowariantne podejście do relatywistycznej kanonicznej mechaniki hamiltonowskiej, które również omija twierdzenie Currie-Jordana-Sudarshana o „braku interakcji”. Twierdzenie to stwierdza, że bez pól nie można mieć relatywistycznej dynamiki hamiltonowskiej . Tak więc to samo kowariantne trójwymiarowe podejście, które pozwala skwantyzowanej wersji dynamiki z ograniczeniami na usuwanie duchów kwantowych , jednocześnie omija na poziomie klasycznym twierdzenie CJS. Rozważmy ograniczenie na skądinąd niezależne współrzędne i cztery wektory pędu, zapisane w postaci . Symbol że ograniczenie należy nałożyć dopiero po wszelkich potrzebnych Wykonywane są nawiasy Poissona . W obecności takich ograniczeń, całkowity uzyskuje się z Lagrange'a dodanie legendre suma ograniczeń razy odpowiedni zestaw mnożników Lagrange'a .
,
Ten całkowity hamiltonian jest tradycyjnie nazywany hamiltonianem Diraca. Ograniczenia wynikają naturalnie z niezmiennych parametrów działania formularza
W przypadku czterech oddziaływań wektorowych i skalarnych Lorentza dla pojedynczej cząstki jest to Lagrange'a
a podniesienie do kwadratu prowadzi do uogólnionego stanu powłoki bryły lub uogólnionego ograniczenia powłoki masy
Ponieważ w tym przypadku Hamiltonian Legendre'a znika
hamiltonian Diraca jest po prostu uogólnionym ograniczeniem masy (bez interakcji byłby to po prostu zwykłe ograniczenie powłoki masy)
Następnie postuluje się, że dla dwóch ciał hamiltonian Diraca jest sumą dwóch takich wiązań powłoki masy,
to jest
i że każde ograniczenie będzie stałe we właściwym czasie związanym z
Tutaj słaba równość oznacza, że nawias Poissona może skutkować proporcjonalnie jednym z ograniczeń, przy czym klasyczne nawiasy Poissona dla relatywistycznego układu dwóch ciał są zdefiniowane przez
Aby zobaczyć konsekwencje posiadania każdego ograniczenia jako stałej ruchu, weźmy na przykład
Ponieważ i i jeden ma
Najprostszym rozwiązaniem jest to
co prowadzi do (zwróć uwagę, że równość w tym przypadku nie jest słaba, ponieważ po opracowaniu nawiasu Poissona nie trzeba nakładać żadnych ograniczeń)
(patrz Todorov oraz Wong i Crater ) z tym samym, .
Kwantyzacja
Oprócz zastąpienia klasycznych zmiennych dynamicznych ich odpowiednikami kwantowymi, kwantyzacja mechaniki ograniczeń odbywa się poprzez zastąpienie ograniczenia nałożonego na zmienne dynamiczne ograniczeniem funkcji falowej
,
.
Pierwszy zestaw równań dla i = 1, 2 odgrywa rolę dla cząstek bezspinowych, tak jak dwa równania Diraca dla cząstek o spinie połówkowym. Klasyczne nawiasy Poissona zostały zastąpione komutatorami
Zatem
i widzimy w tym przypadku, że formalizm z ograniczeniami prowadzi do znikającego komutatora operatorów falowych dla dwóch cząstek. Jest to analogia do stwierdzonego wcześniej twierdzenia, że dwaj operatorzy Diraca dojeżdżają do pracy ze sobą.
Kowariantna eliminacja energii względnej
Zniknięcie powyższego komutatora zapewnia, że dynamika jest niezależna od względnego czasu w układzie cm. Aby kowariantnie wyeliminować energię względną, wprowadź względny przez
co wynika z iloczynu skalarnego obu . Z równań ( 1 ) i ( 2 ) ten względny pęd można zapisać w kategoriach i jak
Gdzie
są rzutami pędu i \ wzdłuż kierunku Odejmowanie dwóch ograniczeń i , daje
()
Tak więc w tych stanach
.
Równanie i wewnętrzny ruch względny. Aby scharakteryzować poprzedni ruch, zauważ, że ponieważ potencjał zależy tylko od różnicy dwóch współrzędnych
.
(Nie wymaga to, aby ponieważ ) Zatem całkowity pęd jest stałą ruchu i jest stanem całkowitym pędem . W układzie cm z niezmiennym środkiem energii pędu (cm Zatem
()
więc jest to również stan własny operatorów energii cm dla każdej z dwóch cząstek,
.
Względny pęd wtedy spełnia
,
aby
,
}
Powyższy zestaw równań wynika z ograniczeń i definicji pędu względnego podanej w równaniach { 1).
If instead one chooses to define (for a more general choice see Horwitz),
niezależnie od funkcji falowej
()
()
i łatwo jest pokazać, że równanie z ograniczeniami ( 3 ) prowadzi bezpośrednio do:
()
zamiast . Jest to zgodne z wcześniejszym twierdzeniem dotyczącym zaniku energii względnej w ramie cm wykonanej w połączeniu z TBDE. W drugim wyborze wartość cm energii względnej nie jest zdefiniowana jako zero, ale pochodzi z pierwotnych uogólnionych ograniczeń powłoki masy. Powyższe równania dla względnego i składowego czteropędu są relatywistycznymi odpowiednikami równań nierelatywistycznych
,
,
.
Kowariantne równanie wartości własnej dla ruchu wewnętrznego
równań ( ) , ( 6 ), ( 7 , można napisać w kategoriach i
()
Gdzie
Równanie ( 8 ) zawiera zarówno całkowity pęd b ] i pęd względny . Korzystanie z równania ( 4 ), otrzymujemy równanie wartości własnej
()
b staje się standardową funkcją trójkąta wyświetlającą dokładną relatywistyczną kinematykę dwóch ciał:
Z powyższym ograniczeniem Równania ( 7 ) na wtedy . Pozwala to na zapisanie Eq. ( 9 ) w postaci równania wartości własnej
mający strukturę bardzo podobną do zwykłego trójwymiarowego nierelatywistycznego równania Schrödingera. Jest to równanie ewidentnie kowariantne, ale jednocześnie oczywista jest jego trójwymiarowa struktura. Cztery wektory trzy niezależne składowe od }
Podobieństwo do trójwymiarowej struktury nierelatywistycznego równania Schrödingera można uwypuklić, zapisując równanie w ramce cm, w której
,
,
.
Porównanie otrzymanej formy
()
z niezależnym od czasu równaniem Schrödingera
()
wyraźnie podkreśla to podobieństwo.
Relatywistyczne równania Kleina-Gordona dla dwóch ciał
Wiarygodną strukturę quasipotencjału znaleźć obserwując, że jednociałowe równanie Kleina – trwa postać , gdy wprowadza się interakcję skalarną i interakcję wektorową podobną do czasu poprzez i . W przypadku dwóch ciał oddzielne argumenty z klasycznej i kwantowej teorii pola pokazują, że gdy jeden obejmuje światowe interakcje skalarne i wektorowe, to od dwóch podstawowych niezmiennych funkcji i poprzez dwuciałową formę potencjalną podobną do Kleina-Gordona o tej samej ogólnej strukturze, czyli ZA ( r ) {\
Te teorie pola dalej dają formy zależne od energii cm
I
te, które Tododov przedstawił jako relatywistyczną masę zredukowaną i efektywną energię cząstek dla układu dwóch ciał. Podobnie do tego, co dzieje się w nierelatywistycznym problemie dwóch ciał, w przypadku relatywistycznym mamy ruch tej efektywnej cząstki zachodzący tak, jakby znajdował się w polu zewnętrznym (tutaj generowanym przez S {\ displaystyle S} i \ ). Dwie zmienne kinematyczne i warunkiem Einsteina m
Jeśli wprowadzi się cztery wektory, w tym interakcję wektorową, ZA
i interakcja skalarna , a następnie następująca klasyczna forma ograniczenia minimalnego
reprodukuje
()
Zauważ, że interakcja w tym ograniczeniu „zredukowanej cząstki” zależy od dwóch niezmiennych skalarów, ) czasopodobnym interakcja wektorowa i interakcja skalarna.
Czy istnieje zestaw równań Kleina-Gordona dla dwóch ciał, analogiczny do równań Diraca dla dwóch ciał? Klasyczne ograniczenia relatywistyczne analogiczne do kwantowych równań Diraca z dwoma ciałami (omówione we wstępie) i które mają taką samą strukturę jak powyższa jednociałowa postać Kleina – Gordona to
Definiowanie struktur, które wyświetlają czasopodobne interakcje wektorowe i skalarne
daje
Imponujący
i używając ograniczenia , odtwarza równania ( 12 ) pod warunkiem , że
Odpowiednie równania Kleina – Gordona to
i każdy, ze względu na ograniczenie, jest równoważny
Hiperboliczna i zewnętrzna forma pola równań Diraca dla dwóch ciał
Dla układu dwóch ciał istnieje wiele kowariantnych form interakcji. Najprościej spojrzeć na nie z punktu widzenia struktur macierzy gamma odpowiednich wierzchołków interakcji diagramów wymiany pojedynczych cząstek. Dla wymian skalarnych, pseudoskalarnych, wektorowych, pseudowektorowych i tensorowych te struktury macierzowe są odpowiednio
w którym
Postać równań Diraca dwóch ciał, która najłatwiej łączy wszystkie lub dowolną liczbę tych interakcji, jest tak zwaną hiperboliczną postacią TBDE. W przypadku połączonych interakcji skalarnych i wektorowych formy te ostatecznie redukują się do tych podanych w pierwszym zestawie równań tego artykułu. Równania te nazywane są zewnętrznymi polami, ponieważ ich wygląd jest taki sam, jak w przypadku zwykłego jednociałowego równania Diraca w obecności zewnętrznych pól wektorowych i skalarnych.
Najbardziej ogólną formą hiperboliczną kompatybilnego TBDE jest
()
gdzie reprezentuje . Oprócz zależności od współrzędnych ma strukturę macierzową. W zależności od tego, czym jest ta struktura macierzowa, mamy interakcje skalarne, pseudoskalarne, wektorowe, pseudowektorowe lub tensorowe. Operatory i są ograniczeniami pomocniczymi spełniającymi
()
w którym są wolnymi operatorami Diraca
()
To z kolei prowadzi do dwóch warunków zgodności
I
pod warunkiem, że Te warunki zgodności nie ograniczają struktury macierzy gamma . Ta struktura macierzowa jest określona przez typ struktury wierzchołek-wierzchołek włączony w interakcję. Dla dwóch typów niezmiennych interakcji podkreślonych w tym artykule są one
Dla ogólnych niezależnych interakcji skalarnych i wektorowych
Oddziaływanie wektorowe określone przez powyższą strukturę macierzową dla oddziaływania podobnego do elektromagnetycznego odpowiadałoby cechowaniu Feynmana.
Jeśli wstawi się równanie ( 14 ) do ( 13 ) i przeniesie swobodnego operatora Diraca ( 15 ) na prawo od macierzy funkcji hiperbolicznych i użyje standardowych komutatorów macierzy gamma i antykomutatorów oraz jeden dochodzi do
()
w którym
dla każdej z dwóch cząstek, przy czym i odgrywają role, które i robią w równaniu Diraca pojedynczej cząstki
Oprócz zwykłej części kinetycznej wektorów i potencjałów skalarnych, modyfikacje zależne a ostatni zestaw terminów pochodnych to efekty odrzutu dwóch ciał nieobecne w równaniu Diraca dla jednego ciała, ale niezbędne dla zgodności (spójności) równań dwóch ciał. Powiązania między tym, co jest określane jako niezmienniki wierzchołków masy i energii są
Porównując równanie ( 16 ) z pierwszym równaniem tego artykułu, można stwierdzić, że zależne od spinu oddziaływania wektorów są
Zauważ, że pierwsza część potencjałów wektorowych jest podobna do czasu (równoległa do podczas gdy następna część jest przestrzenna (prostopadła do . Potencjały skalarne zależne od spinu są
Parametryzacja dla i wykorzystuje efektywne formy powyższej sekcji dotyczącej dwuciałowego Kleina równania Gordona) i jednocześnie wyświetla poprawną statyczną postać graniczną dla redukcji Pauliego do postaci podobnej do Schrödingera. Wybór tych parametrów (podobnie jak w przypadku równań Kleina Gordona dla dwóch ciał) jest ściśle powiązany z klasycznymi lub kwantowymi teoriami pola dla oddzielnych oddziaływań skalarnych i wektorowych. Sprowadza się to do pracy w mierniku Feynmana z najprostszą relacją między przestrzenno- i czasopodobnymi częściami interakcji wektora. Potencjały masy i energii są odpowiednio
aby
Zastosowania i ograniczenia
TBDE można łatwo zastosować do dwóch układów ciała, takich jak pozyton , mion , atomy wodoru , quarkonium i układ dwunukleonowy . Zastosowania te obejmują tylko dwie cząstki i nie obejmują tworzenia ani anihilacji cząstek poza nimi. Obejmują one tylko procesy sprężyste. Ze względu na związek między potencjałami używanymi w TBDE a odpowiednią kwantową teorią pola, każda poprawka radiacyjna do interakcji najniższego rzędu może zostać włączona do tych potencjałów. Aby zobaczyć, jak to się dzieje, rozważmy dla kontrastu, jak oblicza się amplitudy rozpraszania bez kwantowej teorii pola. Bez kwantowej teorii pola trzeba dojść do potencjałów za pomocą klasycznych argumentów lub rozważań fenomenologicznych. Kiedy ma się potencjał między dwiema cząstkami, wtedy można obliczyć amplitudę rozpraszania z równania Lippmanna – Schwingera
,
w którym określoną z równania Schrödingera. Ze względu na podobieństwo między równaniem Schrödingera Eq. ( 11 ) i relatywistyczne równanie z więzami ( 10 ), można wyprowadzić równanie tego samego typu co powyższe
,
zwane równaniem quasipotencjalnym z podobnym do podanego w równaniu Lippmanna – Schwingera Różnica polega na tym, że w przypadku równania quasipotencjału zaczyna się od amplitud rozpraszania pola, określonych na podstawie diagramów Feynmana i perturbacyjnego wyprowadzenia quasipotencjału Φ. Wtedy można użyć tego Φ w ( 10 ), aby obliczyć poziomy energii dwóch układów cząstek, które wynikają z teorii pola. Dynamika ograniczeń zapewnia jedno z wielu, w rzeczywistości nieskończonej liczby, różnych typów równań quasipotencjalnych (trójwymiarowych obcięć równania Bethe-Salpetera) różniących się między sobą wyborem sol {\ displaystyle {\ mathcal {G . Stosunkowo proste rozwiązanie problemu względnego czasu i energii z uogólnionego ograniczenia powłoki masy dla dwóch cząstek nie ma prostego rozszerzenia, takiego jak przedstawione tutaj za pomocą x zmienna, albo do dwóch cząstek w polu zewnętrznym, albo do 3 lub więcej cząstek. Sazdjian przedstawił przepis na to rozszerzenie, gdy cząstki są ograniczone i nie mogą podzielić się na klastry o mniejszej liczbie cząstek bez interakcji między klastrami. Lusanna opracowała podejście, które nie obejmuje uogólnionych ograniczeń powłoki masy bez takich ograniczeń, który rozciąga się na N ciał z polami lub bez. Jest sformułowany na hiperpowierzchniach podobnych do przestrzeni, a gdy jest ograniczony do rodziny hiperpłaszczyzn ortogonalnych do całkowitego pędu podobnego do czasu, daje początek kowariantnej wewnętrznej formule 1-czasowej (bez względnych zmiennych czasowych) zwanej „natychmiastową formą spoczynku” dynamiki,