Rozpad neutronu

Transkrypt

Rozpad neutronu
Rozpad neutronu1
1
Co będziemy liczyli
i po co się tym zajmować?
Czas życia neutronu to 885.7 ± 0.8 s [1]. W świecie cząstek elementarnych
taka „długowieczność” może być zaskakująca, skoro na przykład rozpadający
się w wyniku tego samego oddziaływania mion żyje 2.19703±0.00004·10−6 s.
Czy potrafimy jasno pokazać, że takie, wydawałoby się zupełnie rozbieżne,
wartości są zgodne z przewidywaniami teorii? Co odpowiada za różnicę między neutronem a mionem?
Odpowiedzi na właśnie te pytania poświęcone są niniejsze notatki. Drugim i niemniej ważnym celem jest zapoznanie z typowymi metodami rachunkowymi, stosowanymi w teorii pola, a szczególnie — w bliskiej autorom
skryptu fizyce neutrin.
2
Czas życia — co to jest?
3
Krótko o teorii Fermiego
4
Rozpad neutronu
Z poprzednich paragrafów wiemy, że czas życia τ cząstki jest równy odwrotności jej szybkości rozpadu Γ. Zanim napiszemy jak wyraża się szybkość
rozpadu, musimy bardzo precyzyjnie odpowiedzieć sobie na pytanie, co tak
naprawdę chcemy policzyć.
Umówmy się, że naszym celem będzie obliczenie szybkości rozpadu niespolaryzowanej2 tarczy składającej się ze spoczywających neutronów. Interesuje nas całkowita szybkość rozpadu, a nie: przejście do konkretnego stanu,
dlatego musimy wysumować po wszystkich możliwych stanach spinowych
Jest to robocza wersja skryptu sporządzonego z odręcznych obliczeń prof. J. Sobczyka
przez Artura Ankowskiego. Praca nad tymi notatkami polegała głównie na dodaniu komentarzy, rysunków i uszczegółowieniu przekształceń. Obaj będziemy bardzo wdzięczni
za wszelkie uwagi dotyczące tych notatek. Chętnie wprowadzimy wszelkie zasugerowane
ulepszenia, czy to dotyczące pomyłek czysto drukarskich, czy niejasności tekstu.
2
Określenie „niespolaryzowana” oznacza, że liczba cząstek o spinie w górę jest taka,
jak liczba cząstek o spinie w dół. Szybkość rozpadu nie zależy od orientacji spinu, który
ma jednak wpływ na rozkład powstających cząstek. Żeby maksymalnie uprościć rachunki
liczymy rozpad właśnie niespolaryzowanej tarczy, przywracając w ten sposób symetrię.
1
powstających cząstek i wycałkować po wszystkich możliwych stanach pędowych (jedynym warunkiem, jaki mają spełniać, jest zachowanie czteropędu).
Wtedy interesująca nas wielkość to3
Γ = 2π
Z
δ 4 (p′ + k + k ′ − p)
1 X
|Mf i |2 d3 p′ d3 k d3 k ′ .
2 spiny
(1)
Czynnik 21 nieprzypadkowo pojawia się właśnie przed sumą po spinach: bierze się on stąd, że opisujemy tarczę niespolaryzowaną, czyli liczymy średnią
arytmetyczną po spinach początkowego neutronu (innymi słowy: uśredniamy
wkład od spinu w górę i spinu w dół).
W teorii Fermiego element macierzy przejścia Mf i wyraża się następująco:
G
µ
Mf i = √ (2π)3 he− (k′ , λ′ )|Jˆµlept (0)|ν̄(k, λ)ihp(p′, s′ )|Jˆhadr
(0)|n(p, s)i,
2
µ
gdzie Jˆµlept (0) i Jˆhadr
(0) są operatorami przejścia odpowiednio neutrina elektronowego w elektron i neutronu w proton. Operator Jˆµlept (0) jest w sposób
ścisły reprezentowany macierzowo przez γµ (1−γ5 ). Z kolei macierzową repreµ
zentację Jˆhadr
(0) przy niewielkim przekazie pędu q = p′ − p (a właśnie z taką
sytuacją mamy do czynienia przy rozpadzie neutronu) bardzo dobrze opisuje
Γ µ = γ µ (1 + gγ5), gdzie g jest (ujemną) liczbą rzeczywistą (uzasadnienie
takiej postaci Γ można znaleźć w dodatku C).
Przechodząc od notacji Diraca do macierzowej otrzymamy przy naszej
normalizacji stanów (por. dodatek A)
G
1
Mf i = √ (2π)3
[(2π)3/2 ]2
2
s
me mν − ′ ′
e (k , λ )γµ (1 − γ5 )ν̄(k, λ)
Ek′ Ek
1
×
[(2π)3/2 ]2
s
M′ M
p(p′ , s′ )Γ µ n(p, s).
Ep′ Ep
Nie należy mylić pojawiającego się nad e− (oraz nad p) sprzężenia Diraca:
e− = (e− )† γ0 ,
z kreską nad ν, która oznacza antycząstkę.
Delta Diraca opisuje zachowanie czteropędu, element macierzowy |Mf i |2 — szansę
przejścia między stanami o konkretnych pędach i spinach; szukamy całkowitej szybkości
rozpadu (tzn. uwzględniamy wszystkie możliwe sposoby jego zajścia), dlatego sumujemy
po spinach i całkujemy po pędach powstających cząstek.
3
2
Potrzebny jest nam kwadrat modułu Mf i wysumowany po spinach (w poniższym równaniu stosujemy formalny zapis iloczynu, w którym wskaźnik
przebiega po czterech cząstkach uczestniczących w rozpadzie):
X
spiny
|Mf i |2 =
G2 1 Y 1
Lµν Hµν ,
2 (2π)6 i Ei
czyli wielkość, którą dla wygody obliczeń wyraziliśmy przez tensor leptonowy Lµν i tensor hadronowy H µν :
∗
X
.
Lµν = mν me
e− (k′ , λ′ )γµ (1 − γ5 )ν̄(k, λ) e− (k′ , λ′ )γν (1 − γ5 )ν̄(k, λ) ,
λ, λ′
H µν
∗
X
.
p(p′ , s′ )Γ µ n(p, s) p(p′ , s′ )Γ ν n(p, s) .
= MM ′
s, s′
(2)
Rachunki prowadzące do końcowych postaci tych tensorów zostały umieszczone w dodatkach B.14 i B.2, a ich zwężenie, tzn.
Lµν H µν = 4(1 − g)2 k·p k ′ ·p′ + 4(1 + g)2 k ′ ·p k·p′ − 4(1 − g 2 )MM ′ k ′ ·k,
szczegółowo otrzymano w dodatku B.3, patrz równanie (36).
Mamy obliczyć całkę
G2 Z 4 ′
1
d3 p′ d3 k d3 k ′
′
Γ=
δ (p + k + k − p) Lµν Hµν
.
(2π)5 Ep
4
Ep′ Eν Ee
(3)
Ze względu na to, że spektrum powstających elektronów można obserwować,
najpierw znajdziemy wartość całki, która jeszcze zawiera o nim informację,
tzn.
Z 3 ′ 3
1
. dp dk 4 ′
I=
δ (p + k + k ′ − p) Lµν Hµν .
(4)
Ep′ Eν
4
Po pierwsze zwróćmy uwagę, że p − k ′ jest tutaj stałym czterowektorem,
oznaczmy go r. Musimy znaleźć sposób na liczenie następujących całek:
Z
d3 p′
Ep′
Z 3 ′
dp
Ep′
d3 k 4 ′
δ (p + k − r) kα ,
Eν
d3 k 4 ′
δ (p + k − r) p′α kβ .
Eν
(5)
(6)
Tensor leptonowy można też otrzymać z hadronowego, przyjmując g = −1 i zastępując
p → k ′ oraz p → k. Gdybyśmy chcieli odtworzyć etapy pośrednie, musielibyśmy jeszcze
podstawić M ′ → me i M → −mν [bo masa neutrina pojawia się ze wzoru (27), a nie (26)],
ostatecznie człon z masą nie pojawia się w Lµν , co widać po postaci H µν .
4
′
3
Kluczowych podpowiedzi udzieli nam lorentzowski charakter tych wielkości.
Zacznijmy od nieco prostszego przypadku całki
.
F=
Z
d3 p′ d3 k 4 ′
δ (p + k − r).
Ep′ Eν
(7)
Korzystając z zamiany argumentu delty Diraca:
δ f (x) =
−1
∂f
(x0 ) δ(x − x0 )
∂x
(8)
(patrz np. podręcznik B. Średniawy [5] str. 140.), możemy przekonać się
o równości
Z
d4 p′ δ p′2 − M ′2 . . . =
1
=
2
Z
dEp′
Z
dEp′ d3 p′ δ Ep2 ′ − p′2 − M ′2 . . .
q
d 3 p′
1
δ Ep′ − p′2 + M ′2 . . . =
Ep′
2
Z
d3 p′
... .
Ep′
Dlatego całkę F możemy zapisać w jawnie niezmienniczej postaci (składającej się wyłącznie z niezmienniczych miar i niezmienniczych delt Diraca):
Z
F = 4 d4 p′ d4 k δ(p′2 − M ′2 ) δ(k 2 − m2ν ) δ 4 (p′ + k − r).
Jej wartość musi być zatem pewną funkcją skalarną, która zależy wyłącznie
od czterowektora r. Skalarna funkcja czterowektora może zależeć jedynie od
jego normy, czyli
F = F (r 2).
(9)
Jeśli teraz spojrzymy na całkę (5), to zgodzimy się, że różni się ona od
skalarnej F tylko obecnością wektora kα . Ta różnica zmienia charakter całki
— musi ona być wektorem. Jedyny wektor jaki mamy do dyspozycji to r,
dlatego
Z 3 ′ 3
dp dk 4 ′
δ (p + k − r) kα = A(r 2 ) rα
(10)
Ep′ Eν
Pozostaje wyznaczyć funkcję A. Możemy obustronnie pomnożyć powyższą
równość przez r α (i wysumować po α, czego już jawnie nie robimy) oraz
wejść z r α pod znak całki:
Z
d3 p′ d3 k 4 ′
δ (p + k − r) r α kα = A(r 2 ) rα r α ,
Ep′ Eν
Skoro delta Diraca wymusza, żeby r = p′ + k, to
r α kα ≡ r·k = (p′ + k)·k = p′ ·k + m2ν .
4
Jednak skoro
r 2 = (p′ + k)2 = M ′2 + 2p′ ·k + m2ν ,
to iloczyn p′ ·k możemy wyrazić przez r 2 , czyli
1
1
r·k = (r 2 − M ′2 − m2ν ) + m2ν = (r 2 − M ′2 + m2ν ).
2
2
Widzimy, że dostaliśmy postać, która nie zależy ani od p, ani od k. Co więcej,
możemy w niej rozpoznać całkę F , zatem
r 2 − M ′2 + m2ν
F.
2r 2
Obliczenia wartości F zostały zamieszczone w dodatku B.4.
Do wyliczenia pozostała już tylko całka (6), która zawiera dwa wektory, więc jest tensorem drugiego rzędu. Jakimi obiektami lorentzowskimi
„o dwóch nóżkach” dysponujemy? Takimi które można zbudować z rτ , γτ oraz
σαβ , gαβ . Macierz σαβ (czyli iloczyn dwóch różnych macierzy gamma) możemy
od razu odrzucić, bo jest antysymetryczna względem zamiany wskaźników,
a całka — nie. Macierz gamma dopiero po obłożeniu spinorami przekształca
się jak wektor, więc także odpada. Jest oczywiste, że rα rβ spełnia wszystkie
wymagania. A jak jest z gαβ ? Skoro r α gαβ r β jest niezmiennikiem, a r α gαβ —
wektorem, to gαβ zachowuje się jak iloczyn dwóch wektorów, np. jak rα rβ .
Zatem możemy dokonać rozkładu całki (6) w bazie (rα rβ , gαβ ):
A=
Z
d 3 p′ d 3 k 4 ′
δ (p + k − r) p′α kβ = B(r 2 ) gαβ + C(r 2 ) rα rβ .
Ep′ Eν
(11)
Żeby znaleźć dwie funkcje: B i C, potrzebujemy dwóch warunków. Sprawdźmy
co dostaniemy licząc zwężenia kolejno z r α r β i z g αβ :
Z
d3 p′
Ep′
Z 3 ′
dp
Ep′
d3 k 4 ′
δ (p + k − r) r·p′ r·k = Br 2 + Cr 4 ,
Eν
d3 k 4 ′
δ (p + k − r) p′ ·k = B gαβ g αβ + C rα rβ g αβ = 4B + Cr 2 .
Eν
Wiemy już, że r ·k i p′ ·k dają się wyrazić przez stałe i r 2 . Czy jest też tak
z r·p′ ? Ze względu na to, że
1
1
(p′ + k)·p′ = M ′2 + k·p′ = M ′2 + (r 2 − M ′2 − m2ν ) = (r 2 + M ′2 − m2ν ),
2
2
dostajemy układ równań na B i C:



1 2
(r
2
1 2
(r
2
+ M ′2 − m2ν ) 12 (r 2 − M ′2 + m2ν )F = Br 2 + Cr 4 ,
− M ′2 − m2ν )F = 4B + Cr 2 .
5
Jego rozwiązanie daje
F r2 2
1
B= 2
(r − M ′2 − m2ν ) − (r 2 + M ′2 − m2ν )(r 2 − M ′2 + m2ν ) ,
3r 2
4
(12)
F
r2 2
2
′2
2
2
′2
2
′2
2
C = 4 (r + M − mν )(r − M + mν ) − (r − M − mν ) .
3r
2
Mamy już obliczone wszystkie składniki całki (4):
I = (1 − g)2k ′α pβ (Bgαβ + Crα rβ )
+ (1 + g)2 k ′ ·p (Bgαα + Cr 2 ) − (1 − g 2)MM ′ k ′α Arα
= (1 − g)2 (Bk ′ ·p + Ck ′ ·r p·r)
+ (1 + g)2 k ′ ·p (4B + Cr 2 ) − (1 − g 2 )MM ′ A k ′ ·r
i możemy ją na powrót wstawić do równania (3):
Γ=
G2 Z d3 k ′
I
.
(2π)5 Ep
Ee
(13)
Interesują nas całkowita szybkość rozpadu i spektrum elektronów w układzie spoczywającego neutronu, dlatego przyjmiemy p = (M, 0, 0, 0). Pozwoli
to uprościć strukturę całki, bo wyrażenie podcałkowe będzie skalarem, więc
w sferycznym układzie współrzędnych możemy scałkować względem kątów:
q
d3 k ′
|k|′2d|k|′
|k|′ Ee dEe
→ 4π
= 4π
= 4π Ee2 − m2e dEe .
Ee
Ee
Ee
Skoro z definicji r = p − k ′ , to teraz
k ′ ·p = MEe ,
k ′ ·r = k ′ ·(p − k ′ ) = MEe − m2e ,
p·r = p·(p − k ′ ) = M(M − Ee ),
r 2 = (p − k ′ )2 = M 2 − 2MEe + m2e .
Wstawiając wszystkie te wyrażenia otrzymamy ostatecznie różniczkową szybkość rozpadu w postaci
h
i
dΓ
G2 q
= 4 Ee2 − m2e (g − 1)2 BEe + C(M − Ee ) (MEe − m2e )
dEe
8π
+ (g + 1) Ee (4B + Cr ) + (g − 1)M A(MEe −
2
2
6
2
′
m2e )
.
(14)
4.1
Spektrum elektronów
Wzór (14) określa rozkład elektronów produkowanych w wyniku rozpadu
beta jako funkcję energii elektronu (którą można mierzyć doświadczalnie).
Pojawiają się w niej stałe: wartości mas cząstek uczestniczących w oddziaływaniu i stała Fermiego (pomnożona przez kąt Cabibbo). Masa neutrina jak
dotąd nie jest znana, istnieje tylko jej eksperymentalne ograniczenie od góry.
Aktualnie wynosi ono ok. 1 eV [1].
Czy mierząc spektrum elektronów można wyznaczyć masę neutrina? Przekonamy się, czy można to zrobić, wyznaczając jego granicę nisko- i wysokoenergetyczną. Wynik będzie potrzebny również przy obliczaniu całkowitej
szybkości rozpadu neutronu.
Jesteśmy ograniczeni jedynie przez zasadę zachowania czteropędu:
p = p′ + k + k ′ .
(15)
W układzie spoczywającego neutronu p = (M, 0, 0, 0). Skoro
me + mν + M ′ < M
to potrzebna jest energia kinetyczna, żeby zbilansować całkowitą energię. Pęd
musi być zachowany, więc przynajmniej dwie cząstki muszą się poruszać.
Zatem możliwy jest rozpad, w wyniku którego elektron spoczywa, a pędy
protonu i neutrina równoważą się i mają wartość zadaną przez równość
q
√
me + m2ν + k2 + M ′2 + k2 = M.
Jak znaleźć maksymalną wartość energii elektronu? Otóż odpowiada ona
minimalnej energii układu neutrino i proton:
max
z}|{
z
min
}|
{
M = Ee + Ep′ + Ek .
Przekształcając (15) możemy otrzymać pewien niezmiennik:
(p − k ′ )2 = (p′ + k)2 ,
który z jednej strony możemy wyrazić przez wielkości kinematyczne w układzie spoczywającego neutronu:
(p − k ′ )2 = (M − Ee )2 − k′2 = M 2 − 2MEe + Ee2 − k′2 = M 2 − 2MEe + m2e ,
a z drugiej w układzie środka masy protonu i neutrina łatwo przekonać się,
że
g′ + E
f 2 ­ (M ′ + m )2 .
(p′ + k)2 = E
p
k
ν
7
1024dΓ/dEe
1.6
1.4
1.2
1.0
0.8
0.6
0.4
0.2
0
mν (eV):
0
500
750
1000
0.5 0.6 0.7 0.8 0.9 1.0 1.1 1.2 1.3
Ee (MeV)
1.2
mν (eV):
0
500
750
1000
1028dΓ/dEe
1.0
0.8
0.6
0.4
0.2
0
1.2900 1.2905 1.2910 1.2915 1.292 1.2925
Ee (MeV)
Rysunek 1: Spektrum elektronów powstających w wyniku rozpadu beta.
W szerokim zakresie masy neutrina to widmo jest identyczne (górny rysunek), za wyjątkiem maksymalnej dopuszczalnej energii elektronu i niewielkiego przedziału przy niej (dolny rysunek).
8
Minimalna wartość sumy Ep′ + Ek , liczonej w układzie spoczywającego neutronu, wiąże się z minimalną wartością rozpatrywanego niezmiennika (p′ +k)2 :
(Ep′ + Ek )2 = (p′ + k)2 + (p′ + k)2 ­ (M ′ + mν )2 + (p′ + k)2 .
Oznacza to, że granica wysokoenergetyczna może być otrzymana z nierówności
M 2 − 2MEe + m2e ­ (M ′ + mν )2 ,
która po przekształceniu daje
i
1 h 2
M + m2e − (M ′ + mν )2 .
2M
Teraz zastanówmy się, jakie są wnioski z faktu, że energia elektronów,
powstających w wyniku rozpadu beta, jest z zakresu określonego nierównościami
i
1 h 2
me ¬ Ee ¬
M + m2e − (M ′ + mν )2 .
(16)
2M
Widzimy wyraźnie, że niezerowa masa neutrina ogranicza możliwe energie
elektronów („ścina” wysokie wartości, zmniejszając dostępną przestrzeń fazową). Dzięki temu efektowi możemy próbować mierzyć mν , jednak jest on
niezwykle subtelny. Wyniki numeryczne pokazane są na rysunku 1: nawet
w niefizycznym5 zakresie masy neutrina (m2ν < 1.1 eV2 , patrz [1]), jest on
możliwy do zaobserwowania jedynie tuż przy górnym krańcu spektrum. Na
dodatek musimy pamiętać o tym, że rozpatrywaliśmy jedynie wyidealizowaną sytuację teoretyczną: spoczywające, swobodne neutrony na powłoce masy;
rzeczywistość doświadczalna jest od niej bardzo daleka.
Ee ¬
4.2
Szybkość rozpadu neutronu
Żeby obliczyć i dobrze zrozumieć szybkość rozpadu neutronu, nie musimy
uwzględniać niezerowej masy neutrina. Szybkość w postaci (14) jest zaciemniona przez mν 6= 0, która ani trochę nie zmienia precyzji obliczeń.6
Zacznijmy od F . W postaci (41) widzimy, że możemy dokonać zastąpień
M ′2 − m2ν → M ′2 ,
M ′2 + m2ν → M ′2
(17)
Zejście do pojedynczych eV jest istotnym problemem numerycznym. Do zaprezentowania kluczowych cech zależności widma od wartości masy w zupełności wystarczą wartości
rzędu setek eV.
6
Masa protonu to 938.272029±0.000080 MeV, a neutronu: 939.565360±0.000081 MeV,
zatem obie znane są z dokładnością do ok. 80 eV [1]. Ta niepewność pomiarowa pozwala
zaniedbać masę neutrina, która jest mniejsza od ok. 1 eV, zawsze gdy towarzyszy jej masa
protonu lub neutronu.
5
9
i wtedy
F→
2π q ′2
2π 2
2 )2 =
(M
−
r
(r − M ′2 ).
r2
r2
W ostatnim kroku skorzystaliśmy z warunku r 2 ­ M ′2 (patrz: przypis na
str. 23). Identyczna operacja daje też
F 2
(r − M ′2 ),
2r 2
F r2 2
1 2
F
′2
′2
2
′2
B→ 2
(r − M ) − (r + M )(r − M ) =
(r 2 − M ′2 )2
2
3r 2
4
12r
A→
oraz
F
r2
C → 4 (r 2 + M ′2 )(r 2 − M ′2 ) − (r 2 − M ′2 )
3r
2
F 2
= 4 (r − M ′2 ) (r 2 − M ′2 ) + 3M ′2 ,
6r
F
F
4B + Cr 2 → 2 (r 2 − M ′2 )2 + M ′2 (r 2 − M ′2 ) = (r 2 − M ′2 ).
2r
2
Wstawienie otrzymanych postaci współczynników do (14) prowadzi do postaci
q
1
dΓ
G2 F
= 4 (r 2 − M ′2 ) Ee2 − m2e (g − 1)2 4
dEe
8π 12
r
h
i
2 2
′2
2
′2
× r (r − M )Ee + 2 (r − M ) + 3M ′2 (M − Ee ) (MEe − m2e )
1
+ 6(g + 1)2 Ee + 6(g 2 − 1)M ′ 2 (MEe − m2e ) .
r
W tej równości wielokrotnie pojawia się różnica r 2 − M ′2 , którą możemy
zapisać jako
r 2 − M ′2 = M 2 − 2MEe + m2e − M ′2 = (M + M ′ )(M − M ′ ) + m2e − 2MEe .
Wprowadzimy oznaczenie ∆ = M − M ′ i zauważmy, że w wyrażeniu
(M + M ′ )(M − M ′ ) + m2e = (M + M ′ )∆ + m2e = 2M∆ − ∆2 + m2e
wartości liczbowe: 2M∆ = 1215.17 MeV2 i (∆2 − m2e ) = 1.41 MeV2 różnią
się trzema rzędami wielkości, więc zamieniając
r 2 − M ′2 → 2M∆ − 2MEe = 2M(∆ − Ee ).
10
nie tracimy dokładności. Podobnie MEe ­ Mme = 480.12 MeV2 , zaś kwadrat masy elektronu to tylko 0.26 MeV2 , więc zachowamy dokładność na
interesującym nas poziomie, przybliżając
MEe − m2e → MEe .
Z kolei Ee ¬ ∆ = 1.29 MeV, a M = 939.57 MeV dlatego możemy zastąpić
także
M ′ = M − ∆ → M,
M − Ee → M,
1/r 2 → 1/M 2 .
W efekcie dostaniemy
i2 q
i
1 h
dΓ
G2 Ee h
2
2 − m2 (g − 1)2
= 3
2M(∆
−
E
)
E
6M
e
e
e
dEe
4π 12M 2
M2
+ 6(g + 1) + 6(g − 1)
2
2
q
G2
= 3 Ee (∆ − Ee )2 Ee2 − m2e (g − 1)2 + (g + 1)2 + (g 2 − 1)
2π
a po uproszczeniu wyrazów podobnych ostateczna postać to
q
dΓ
G2
= 3 (3g 2 + 1)Ee (∆ − Ee )2 Ee2 − m2e .
dEe
2π
(18)
Żeby otrzymać całkowitą szybkość rozpadu neutronu musimy scałkować
powyższą równość względem energii elektronu w granicach danych równaniem (16), do których — dla spójności rozumowania — stosujemy omówione
wcześniej przybliżenia:
me ¬ Ee ¬ ∆.
Żeby zrozumieć zaskakującą stabilność neutronu nie musimy wcale znać
wyniku całkowania. Gdy zaniedbamy masę elektronu i zastąpimy energię Ee
przez jej średnią wartość Eee , otrzymamy już konkretną wartość liczbową.
Oczywiście nie wiemy ile wynosi Eee , ale to musi być liczba z przedziału
(0, ∆), czyli równoważnie Eee = θ∆ przy θ ∈ (0, 1). Wtedy widzimy, że
Γ ∝ ∆5 .
(19)
Czas życia mionu to ok. 2.2 · 10−6 s. Przy jego rozpadzie ∆µ ≈ 52.8 MeV
[spójrz na równanie (16) w przypadku, gdy wszystkie powstające cząstki są
11
1024dΓ/dEe
1.6
1.4
1.2
1.0
0.8
0.6
0.4
0.2
0
0 eV
app
0.5 0.6 0.7 0.8 0.9 1.0 1.1 1.2 1.3
Ee (MeV)
Rysunek 2: Porównanie spektrum elektronów obliczonego ze wzoru (14) —
linia ciągła — i przybliżenia (18) — punkty.
w przybliżeniu bezmasowe]. Skoro ∆µ /∆ ≈ 40.9 (i po uwzględnieniu odmiennych wartości g oraz faktu, że w rozpadzie mionu pojawia się tylko
stała Fermiego, a w rozpadzie neutronu — pomnożona dodatkowo przez kąt
Cabibbo), to czas życia neutronu powinien być rzędu 183 s. Brakujący czynnik 4.8 (faktycznie czas życia wynosi ok. 886 s) wiąże się zapewne z innymi
w obu przypadkach współczynnikami θ, które są podniesione do czwartej
potęgi. Wystarczy bowiem, że θµ /θ = 21 / 13 , żeby wytłumaczyć otrzymaną
rozbieżność.
Podsumowując nasze rozważania możemy powiedzieć, że neutron jest niezwykle stabilny tylko i wyłącznie dzięki bardzo zbliżonej masie protonu.
W rozpadzie mionu powstające cząstki mają do dyspozycji dużo większą
przestrzeń fazową, więc szybkość różni się ogromnie (mówiąc obrazowo: dużo
większy wybór pędów pozwala im szybciej zdecydować się na rozpad).
12
A
Konwencje
Przyjęte konwencje zgadzają się z klasycznym podręcznikiem Bjorkena i Drella [2]. Równania są pisane w układzie jednostek, w którym ~ = 1 i c = 1,
o ile wyraźnie nie zaznaczono, że jest inaczej. Czterowektory zostały oznaczone kursywą: p, k, zaś wektory przestrzenne — czcionką półgrubą: p, k.
Po powtarzających się na różnych poziomach wskaźnikach greckich (łacińskich) należy zsumować od 0 do 3 (od 1 do 3). Wybrana metryka przestrzeni
Minkowskiego to jeden plus i trzy minusy (g µν = gµν ):




g=

1
−1
−1
−1


.

Oznacza to, że na przykład p0 = p0 , a pi = −pi (bierze się to stąd, że
pµ = gµν pν ). Całkowicie antysymetryczny symbol Levi-Civity definiujemy
jako ǫ0123 = +1. Zwężenie dwóch epsilonów można zapisać przy pomocy
iloczynu delt Kroneckera jako
ǫµνκλ ǫµνρσ = 2(δσκ δρλ − δρκ δσλ ).
(20)
Równanie Diraca w reprezentacji położeniowej ma postać
(iγ µ ∂µ − m)ψ(x) = 0,
(21)
a macierze Diraca spełniają warunek
{γ µ , γ ν } = 2g µν .
(22)
Wybraliśmy7 taką ich realizację, w której (γ 0 )† = γ 0 oraz (γ i )† = −γ i , więc
zachodzi własność
(γ τ )† = γ 0 γ τ γ 0
(23)
dla τ ∈ {0, 1, 2, 3}. Pisząc γ τ będziemy zawsze mieli na myśli dowolną z czterech macierzy gamma. Antyprzemienną z każdą γ τ macierz γ5 definiujemy
jako
γ5 = iγ 0 γ 1 γ 2 γ 3 ,
zatem jest ona hermitowska i nilpotentna: (γ5 )2 = 1l (żeby nie komplikować
zapisu, zwykle będziemy pisali po prostu 1 zamiast macierzy jednostkowej 1l;
Tego wyboru dokonaliśmy pisząc równanie Diraca w postaci (21). Gdybyśmy napisali
je jako (Γµ ∂µ − m)ψ(x) = 0, jak w podręczniku Meissnera [4], to Γ0† = −Γ0 oraz Γi† = Γi .
Wiąże się to z żądaniem hermitowskości operatora hamiltona.
7
13
z kontekstu zawsze łatwo wywnioskować, czy mamy do czynienia z jedynką
macierzową czy liczbową). Z relacji antyprzemienności wiążących macierze
γ τ i γ5 wynika, że są one bezśladowe. Ślad iloczynu dwóch macierzy gamma
jest różny od zera wtedy i tylko wtedy, gdy te macierze są tożsame:
Tr(γ µ γ ν ) = 4g µν .
(24)
Ślad iloczynu nieparzystej liczby macierzy γ τ jest równy zero. W trakcie
obliczeń będziemy także korzystać z równości
Tr γµ γρ γν γσ = 4(gµρ gνσ − gµν gρσ + gµσ gρν ),
Tr γ5 γµ γρ γν γσ = 4iǫµρνσ ,
(25)
patrz np. Bjorken i Drell [2] str. 102. Komutator dwóch macierzy γ τ daje
liniowo niezależną od nich macierz
i
σ µν = [γ µ , γ µ ].
2
Rozwiązania równania Diraca o dodatniej częstości (pµ γ µ − m)u(p, s) = 0
wysumowane po spinach spełniają równość
X
s
pµ γ µ + m
uα (p, s)uβ (p, s) =
2m
,
(26)
αβ
gdzie u oznacza sprzężenie Diraca u = u† γ0 . Analogiczna własność dla rozwiązań o ujemnej częstości (pµ γ µ + m)v(p, s) = 0 ma postać
X
s
pµ γ µ − m
vα (p, s)v β (p, s) =
2m
.
(27)
αβ
Dowody dwóch ostatnich równości można znaleźć np. u Bjorkena i Drella [2]
na stronach 101 i 105. Normalizacja stanów ma postać:
1
|p, si =
(2π)3/2
s
m
u(p, s),
Ep
(28)
√
gdzie Ep = M 2 + p2 .
Jak sprawdzić, że jest poprawna? Reprezentacja położeniowa stanu o określonym pędzie (fala płaska) i spinie to
ψp,s (x) = |p, si exp(−ip·x),
dlatego
Z
d3 x ψ p,s (x)ψp,s (x) =
1 m Z 3
d x u(p, s)u(p, s).
(2π)3 Ep
14
(29)
Ile wynosi ostatnia całka? Otóż
u(p, s)u(p, s′) =
Ep
δss′ ,
m
(30)
bo jest gęstością prawdopodobieństwa i musi się odpowiednio transformować
(jej całka względem objętości musi być skalarem lorentzowskim — nie może
zależeć od układu odniesienia, por. [2], str. 41), więc zachodzi
Z
1 Z 3
d x ψ p,s (x)ψp,s (x) =
d x exp(−i(p − p)·x)
(2π)3
1 Z 3
=
d x exp(−i(p − p)·x).
(2π)3
3
Ostatnia całka jest równa potrójnej delcie Diraca od zera:
Z
d3 x ψ p,s (x)ψp,s (x) = δ 3 (0).
Właśnie takiej (nieskończonej) normalizacji oczekujemy od fali płaskiej w nieskończonej przestrzeni.
Przejście do skończonej objętości, które wiązałoby się z wykonaniem zastąpień (por. [3], str. 158)
s
V
ψp,s (x),
(2π)3
V
δ 3 (p − p′ ) →
δp, p′ ,
(2π)3
ψp,s (x) →
dałoby normalizację do jedynki:
Z
d3 x ψ p,s (x)ψp,s (x) = δp, p = 1,
do której jesteśmy przyzwyczajeni, np. z kursu mechaniki kwantowej. (Pojawiający się w równaniach symbol δp, p′ należy rozumieć jako iloczyn trzech
delt Kroneckera: δpx , p′x δpy , p′y δpz , p′z .)
15
B
Obliczenia pomocnicze
B.1
Tensor leptonowy
W równaniu (2) zdefiniowaliśmy tensor leptonowy następująco:
∗
X
.
Lµν = mν me
e− (k′ , λ′)γµ (1 − γ5 )ν̄(k, λ) e− (k′ , λ′ )γν (1 − γ5 )ν̄(k, λ) .
λ, λ′
Żeby niepotrzebnie nie zaciemniać zapisu, na początkowym etapie obliczeń
pominiemy informację o pędach i spinach cząstek. Obliczmy ile wynosi wyrażenie liczbowe, które wystąpiło ze sprzężeniem zespolonym. Skorzystamy
z własności (γ0 )2 = 1l i z tego, że sprzężenie hermitowskie liczby jest tożsame
sprzężeniu hermitowskiemu:
(e− )† γ0 γν (1 − γ5 )ν̄
∗
= (e− )† γ0 γν (1 − γ5 )γ0 γ0 ν̄
∗
= (e− )† γ0 γν (1 − γ5 )γ0 (γ0 ν̄)
†
†
= (γ0 ν̄)† γ0 γν (1 − γ5 )γ0 e− .
Pamiętając, że macierze γ0 i γ5 są hermitowskie, a γν† = γ0 γν γ0 , [por. równanie (23)] możemy pojawiający się w powyższym wyrażeniu iloczyn macierzy
zapisać jako
γ0 γν (1 − γ5 )γ0
co oznacza, że
†
=
γ0† (1
−
γ5 )† γν† γ0†
= γ0 (1 −
γ5 )γν† γ0
z }| {
= γ0 ( 1 − γ5 ) γ0 γν γ0 γ0
= γ0 γ0 γν (1 − γ5 )γ0 γ0 = 1γν (1 − γ5 )1 = γν (1 − γ5 ),
e− γ0 γν (1 − γ5 )ν̄
∗
= ν̄γν (1 − γ5 )e− .
(31)
Teraz możemy wrócić do głównego wątku obliczeń i przepisać tensor leptonowy w postaci
Lµν = me mν
X
e− (k′ , λ′ )Aµ ν̄(k, λ) ν̄(k, λ)Aν e− (k′ , λ′ ) ,
λ, λ′
oznaczając dla skrótu Aτ = γτ (1 − γ5 ). Napiszmy jawnie wskaźniki macierzowe (α, β, γ, δ ∈ {1, 2, 3, 4}):
Lµν =
4
X
α, β, γ, δ=1
me mν
X
λ, λ′
e− α (k′ , λ′ ) Aµ
16
αβ
ν̄β (k, λ)ν̄ γ (k, λ) Aν
e− (k′ , λ′ ),
γδ δ
i obliczmy sumę po spinach antyneutrina λ ze wzoru (27):
Lµν =
4
X
me mν
α, β, γ, δ=1
X
e−
α (k
′
, λ ) Aµ
′
λ′
αβ
k ρ γρ − mν
2mν
βγ
Aν
e− (k′ , λ′ ).
γδ δ
−
Zarówno e−
γ jak i e α są liczbami (wyrazami macierzy o odpowiednio jednej
kolumnie i jednym wierszu), więc możemy zmienić kolejność w jakiej występują w sumie i przełożyć, na przykład, e− α na koniec:
Lµν =
4
X
me mν Aµ
α, β, γ, δ=1
αβ
k ρ γρ − mν
2mν
βγ
Aν
γδ
X
′
′ −
′
′
e−
δ (k , λ )e α (k , λ ).
λ′
Tylko ostatnie dwa wyrazy zależą od spinu elektronu λ, dlatego przesunęliśmy znak sumy bezpośrednio przed nie. Po skorzystaniu ze związku (26)
otrzymamy
Lµν =
4
X
α, β, γ, δ=1
= me mν
me mν Aµ
4
X
α=1
Aµ
αβ
k ρ γρ − mν
2mν
βγ
k ρ γρ − mν k ′σ γσ + me
Aν
2mν
2me
Aν
k ′σ γ
γδ
+ me
2me
σ
δα
,
αα
czyli ślad pewnego iloczynu macierzy, który po przywróceniu jawnego zapisu
macierzy Aµ i Aν przybierze postać
Lµν =
i
1 h
Tr γµ (1 − γ5 )(k ρ γρ − mν )γν (1 − γ5 )(k ′σ γσ + me ) .
4
Jak było wspomniane w dodatku A na str. 14, ślad nieparzystej liczby macierzy gamma wynosi zero, dlatego takie wyrazy nie przeżywają:
i
1 h
Lµν = Tr γµ (1 − γ5 )k ρ γρ γν (1 − γ5 )k ′σ γσ − γµ (1 − γ5 )mν γν (1 − γ5 )me ,
4
(macierz γ5 zawiera cztery macierze γτ ). Skoro γ5 antykomutuje z γτ , to
i
1 h
Lµν = Tr γµ k ρ γρ γν (1 − γ5 )2 k ′σ γσ − γµ mν γν (1 − γ5 )(1 + γ5 )me .
4
Jednak (1 − γ5 )(1 + γ5 ) = 1 − γ52 = 1 − 1 = 0, a (1 − γ5 )2 = 2(1 − γ5 ), dlatego
pod śladem pozostaje tylko pierwszy wyraz:
i
i
1 h
1 h
Tr γµ k ρ γρ γν (1 − γ5 )k ′σ γσ = Tr (1 + γ5 )γµ k ρ γρ γν k ′σ γσ
2
2
1 ρ ′σ
1 ρ ′σ
= k k Tr(γµ γρ γν γσ ) + k k Tr(γ5 γµ γργν γσ ).
2
2
Lµν =
17
Potrzebne wyrażenia na ślady zostały podane w równaniach (25):
Lµν = 2k ρ k ′σ (gµρ gνσ − gµν gρσ + gµσ gρν ) + 2ik ρ k ′σ ǫµρνσ
= 2(kµ kν′ − k·k ′ gµν + kµ′ kν + iǫµρνσ k ρ k ′σ )
Po uporządkowaniu wskaźników przy epsilonie tensor leptonowy można zapisać w ostatecznej postaci:
Lµν = 2(kµ kν′ − k·k ′ gµν + kµ′ kν − iǫµνρσ k ρ k ′σ ).
(32)
Warto zauważyć, że składa się on z części symetrycznej Lsym
µν i antysymetrycznej Lanty
względem
zamiany
µ
↔
ν:
µν
′
′
′
Lsym
µν = 2(kµ kν + kµ kν − k·k gµν ),
ρ ′σ
Lanty
µν = −2iǫµνρσ k k .
(33)
Ten fakt pozwoli szybciej obliczyć zwężenie tensora leptonowego z hadronowym.
B.2
Tensor hadronowy
Przez tensor hadronowy H µν rozumiemy wyrażenie zdefiniowane w (2):
∗
X
.
H µν = MM ′
p(p′ , s′ )Γ µ n(p, s) p(p′ , s′ )Γ ν n(p, s) .
s, s′
gdzie Γ τ = γ τ (1 + gγ5) jest przybliżoną macierzową reprezentacją operatora
przejścia neutronu w proton, dającą dobry opis przy niewielkim przekazie
pędu q = p′ − p (jak ma to miejsce przy rozpadzie neutronu). Czynnik g jest
ujemną liczbą rzeczywistą.
Podobnie jak przy obliczaniu tensora leptonowego, przez chwilę nie będziemy pisać jawnie pędów ani spinów. Sprzężenie zespolone policzymy tym
razem w nieco inny, całkowicie równoważny, sposób, pisząc jawnie wyrazy
macierzowe:
ν
(p γ0 Γ n) =
†
∗
4
X
(p† )∗α
(γ0 Γ ν )∗αβ
α, β=1
n∗β
=
4
X
pα [(γ0 Γ ν )† ]βα (n† )β .
α, β=1
Pod sumą pojawiły się liczby, więc możemy zmienić ich kolejność i przywrócić
zapis macierzowy:
(p† γ0 Γ ν n)∗ =
4
X
(n† )β [(γ0 Γ ν )† ]βα pα = n† (γ0 Γ ν )† p.
α, β=1
18
Skoro Γ ν = γ ν (1 + gγ5), macierze γ 0 i γ5 są hermitowskie, a g jest liczbą
rzeczywistą, to
(γ0 Γ ν )† = Γ ν† γ0 = [γ ν (1 + gγ5)]† γ0 = (1 + gγ5)γ ν† γ0 .
W związku (23) możemy oczywiście podnieść wskaźniki i w takiej postaci
zastosować go do obliczeń:
z }| {
ν †
ν
ν
(γ0 Γ ) = (1+gγ5)γ0 γ γ0 γ0 = (1+gγ5 )γ0 γ 1 = ( 1+gγ5 ) γ0 γ ν = γ0 γ ν (1+gγ5 ).
Otrzymany wynik można podsumować krótko: iloczyn γ0 Γ ν jest hermitowski.
Teraz wyrażenie
(pΓ ν n)∗ ≡ (p† γ0 Γ ν n)∗ = n† (γ0 Γ ν )† p = n† γ0 Γ ν p = nΓ ν p.
posłuży nam do udowodnienia, że (pΓ µ n)(nΓ ν n)∗ jest równe pewnemu śladowi. Analogicznie jak tensorze leptonowym, zapiszemy H µν jawnie poprzez
składowe macierzy:
4
X
H µν =
MM ′
α, β, γ, δ=1
X
µ
ν
pα (p′ , s′ )Γαβ
nβ (p, s)nγ (p, s)Γγδ
pδ (p′ , s′ ),
s, s′
i skorzystamy ze relacji (26), obliczając najpierw sumę po spinach neutronu s:
H
µν
4
X
=
MM
′
α, β, γ, δ=1
X
pα (p , s
′
′
µ
)Γαβ
s′
pκ γ κ + M
2M
βγ
ν
Γγδ
pδ (p′ , s′ ),
a po przestawieniu liczby pα (p′ , s′ ) na koniec wiersza:
H
µν
4
X
=
MM
′
µ
Γαβ
α, β, γ, δ=1
pκ γ κ + M
2M
βγ
ν
Γγδ
X
pδ (p′ , s′ ) pα (p′ , s′ ),
s′
sumę po spinach protonu s′ :
H
µν
=
4
X
α, β, γ, δ=1
MM
′
µ
Γαβ
pκ γ κ + M
2M
βγ
ν
Γγδ
p′λ γ λ + M ′
2M ′
.
δα
W otrzymanym wyrażeniu na tensor ponownie rozpoznajemy ślad:
i
1 h µ
Tr Γ (pκ γ κ + M)Γ ν (p′λ γ λ + M ′ ) .
4
Macierze Γ τ zawierają nieparzystą liczbę macierzy γ τ , dlatego iloczyn pod
śladem upraszcza się:
H µν =
i
1 h µ
Tr Γ pκ γ κ Γ ν p′λ γ λ + Γ µ MΓ ν M ′
4
1
1
= pκ p′λ Tr(Γ µ γ κ Γ ν γ λ ) + MM ′ Tr(Γ µ Γ ν ).
4
4
H µν =
19
(Pozostałe dwa wyrażenia zawierają nieparzystą liczbę γ τ , więc ich ślad wynosi zero; por. dodatek A, str. 14.) Dla wygody, przekształćmy macierze pod
śladami następująco (pamiętając, że γ52 = 1l):
Γ µ γ κ Γ ν γ λ = γ µ (1 + gγ5 )γ κ γ ν (1 + gγ5 )γ λ
= γ µ (1 + gγ5 )2 γ κ γ ν γ λ = γ µ (1 + gγ5)2 γ κ γ ν γ λ
= (1 + g 2)γ µ γ κ γ ν γ λ − 2gγ5γ µ γ κ γ ν γ λ ,
Γ µ Γ ν = γ µ (1 + gγ5 )γ ν (1 + gγ5) = γ µ (1 + gγ5)(1 − gγ5 )γ ν
= (1 − g 2 )γ µ γ ν .
Teraz możemy zastosować wzory (24) i (25):
H µν = pκ p′λ (1 + g 2 )(g µκ g νλ − g µν g κλ + g µλ g ρκ )
− 2igǫµκνλ pκ p′λ + (1 − g 2 )MM ′ g µν
oraz wykonać zwężenia i uporządkować wskaźniki przy epsilonie
H µν = (1+g 2)(pµ p′ν −p·p′ g µν +p′µ pν )+2igǫµνκλ pκ p′λ +(1−g 2 )MM ′ g µν . (34)
Na tensor hadronowy, podobnie jak na leptonowy, składają się dwie części:
µν
µν
symetryczna Hsym
względem zamiany µ ↔ ν i antysymetryczna Hanty
:
µν
Hsym
= (1 + g 2 )(pµ p′ν − p·p′ g µν + p′µ pν ) + (1 − g 2 )MM ′ g µν ,
µν
Hanty
= 2igǫµνκλ pκ p′λ .
(35)
Wykorzystamy to licząc zwężenie Lµν H µν .
B.3
Zwężenie tensorów
Przy obliczaniu kwadratu modułu macierzy przejścia od stanu początkowego
do końcowego |Mf i|2 potrzebujemy znać zwężenie tensora leptonowego Lµν
z hadronowym H µν .
Żeby zaoszczędzić niepotrzebnych rachunków, sprawdźmy, że zwężenie
tensora symetrycznego z antysymetrycznym wynosi zawsze zero. Oznaczmy
przez S ...µν... tensor symetryczny względem zamiany µ ↔ ν, a przez A...µν...
tensor antysymetryczny względem tej operacji. Jeśli w ich zwężeniu zamienimy interesujące nas wskaźniki miejscami, to pojawi się znak minus:
X
µ, ν
A...µν... S ...µν... = −
20
X
µ, ν
A...νµ... S ...νµ... .
Skoro sumujemy po µ i ν, to te wskaźniki są nieme (ang. dummy indices),
tzn. możemy dowolnie zmienić ich nazwę, bo wynik zwężenia nie zależy od
nich, nie zawiera ich jawnie. Możemy zatem dokonać też zamiany: µ → ν
i równocześnie ν → µ, w której wyniku otrzymamy wniosek, że zwężenie jest
równe sobie samemu z minusem:
X
µ, ν
A...µν... S ...µν... = −
X
A...µν... S ...µν... ,
ν, µ
czyli że musi wynosić zero. Nie musieliśmy robić żadnych dodatkowych założeń, więc nasz wynik jest uniwersalny.
Jak zauważyliśmy przy liczeniu tensora leptonowego i hadronowego, oba
składają się z części symetrycznej i antysymetrycznej [por. równania (33)
i (35)]:
′
′
′
Lsym
µν = 2(kµ kν + kµ kν − k·k gµν ),
ρ ′σ
Lanty
µν = −2iǫµνρσ k k ,
h
i
µν
Hsym
= (1 + g 2 )(pµ p′ν + p′µ pν ) + (1 − g 2 )MM ′ − (1 + g 2 ) p·p′ g µν ,
µν
Hanty
= 2igǫµνκλ pκ p′λ .
Na mocy tego, co właśnie ustaliliśmy, niezerowy wkład dają tylko dwa wyrazy
zwężenia:
µν
anty µν
Lµν H µν = Lsym
µν Hsym + Lµν Hanty .
Zajmijmy się najpierw zwężeniem części symetrycznych:
µν
2
′
′
′
µ ′ν
′µ ν
Lsym
µν Hsym = 2(1 + g )(kµ kν + kµ kν − k·k gµν )(p p + p p )
i
h
+ 2(kµ kν′ + kµ′ kν − k·k ′ gµν ) (1 − g 2)MM ′ − (1 + g 2) p·p′ g µν ,
= 4(1 + g 2 )(k·p k ′ ·p′ + k ′ ·p k·p′ − k·k ′ p′ ·p)
h
i
+ 2(k·k ′ + k ′ ·k − 4k·k ′) (1 − g 2 )MM ′ − (1 + g 2 ) p·p′ ,
co po zredukowaniu wyrazów podobnych jest równe
µν
2
′ ′
′
′
2
′ ′
Lsym
µν Hsym = 4(1 + g )(k·p k ·p + k ·p k·p ) − 4(1 − g )MM k ·k.
Pozostaje jeszcze obliczenie zwężeniem części antysymetrycznych:
µν
ρ ′σ
′
µνκλ
Lanty
= 8g k ρ k ′σ pκ p′λ (δσκ δρλ − δρκ δσλ ),
µν Hanty = 4gk k pκ pλ ǫµνρσ ǫ
przy czym w ostatnim kroku zastosowaliśmy wzór (20) na zwężenie dwóch
epsilonów. Ostatecznie stwierdzamy, że
µν
′ ′
′ ′
Lanty
µν Hanty = 8g (k·p k ·p − k·p k ·p ),
co w sumie daje całkowite zwężenie równe
Lµν H µν = 4(1 − g)2 k·p k ′ ·p′ + 4(1 + g)2 k ′ ·p k·p′ − 4(1 − g 2 )MM ′ k ′ ·k. (36)
21
B.4
Całka pomocnicza
W paragrafie 4 do obliczeń potrzebna jest wartość całki danej równaniem (7)
.
F=
Z
d3 p′ d3 k 4 ′
δ (p + k − r).
Ep′ Eν
Obliczając ją skorzystamy z przestrzennej delty Diraca do usunięcia całki
względem d3 p′ w równaniu (7):
F=
q
Z
d3 k
δ(Ep′ + Eν − r0 ).
Ep′ Eν
(37)
Od tej pory Ep′ = M ′2 + (r − k)2 . Wybierając oś kz w kierunku wektora r,
istotnie uprościmy dalsze rachunki, bo wtedy utożsamimy kąt między k a p′
zq kątem biegunowym θ sferycznego układu współrzędnych. Wtedy Ep′ =
M ′2 + |r|2 − 2|r||k| cos θ + |k|2 i przechodząc do zmiennej cos θ za pomocą
wzoru (8) otrzymamy
δ(Ep′ + Eν − r0 ) =
Ep′
δ(cos θ − cos θ0 ),
|r||k|
gdy argument delty jest równy zero dla pewnego kąta θ0 . Wstawiając ten
związek pod całkę dostajemy
F = 2π
Z
|k|d|k| d cos θ
δ(cos θ − cos θ0 ) = 2π
|r|Eν
Z
Eν dEν
2π
=
|r|Eν
|r|
Z
dEν ,
skoro |k|d|k| = Eν dEν . Gdy oznaczymy dolną i górną granicę całkowania
jako Eνmin i Eνmax , to
2π max
(E
− Eνmin ).
(38)
F=
|r| ν
Pozostaje nam jeszcze znalezienie minimalnej i maksymalnej energii neutrina, dozwolonej przez kinematykę układu. Zasada zachowania energii [czyli
matematycznie: delta Diraca w równaniu (37)] daje warunek
q
Ep′ + Eν − r0 = 0,
przy czym Ep′ = M ′2 + |r|2 − 2|r||k| cos θ0 + |k|2 . Skoro r0 jest ustalone, to
Eνmin odpowiada Epmax
, zaś Eνmax wiąże się z Epmin
′
′ . Energia protonu Ep′ (dla
konkretnej energii Eν , czyli konkretnego |k|) jest największa dla cos θ0 = −1,
a najmniejsza — dla dla cos θ0 = 1. Podsumowując:
Eνmin ↔ cos θ0 = −1,
Eνmax ↔ cos θ0 = +1.
22
(39)
Konkretną postać Eν jako funkcję cos θ0 otrzymamy z równania na zachowanie energii:
q
M ′2 + |r|2 − 2|r||k| cos θ0 + |k|2 = r0 − Eν .
Podnosząc je obustronnie do kwadratu i wyrażając pęd neutrina przez jego
energię dostajemy
q
M ′2 + |r|2 − 2|r| Eν2 − m2ν cos θ0 − m2ν = r02 − 2r0 Eν ,
a porządkując wyrazy i zapisując r02 − |r|2 jako r 2 , a M ′2 − m2ν − r 2 jako −d
(wtedy d > 0), dochodzimy do postaci
q
−d + 2r0 Eν = 2|r| Eν2 − m2ν cos θ0 ,
którą należy podnieść do kwadratu jeszcze raz, by otrzymać równanie na
energię neutrina:
4(r02 − |r|2 cos2 θ0 ) Eν2 − 4r0 d Eν + d2 + 4m2ν |r|2 cos2 θ0 = 0
którego rozwiązaniami są:
Eν =
r0 d ±
q
r02 d2 − (r02 − |r|2 cos2 θ0 )(d2 + 4m2ν |r|2 cos2 θ0 )
2(r02 − |r|2 cos2 θ0 )
.
Czy oba rozwiązania są dodatnie? Decyduje o tym znak drugiego wyrażenia
pod pierwiastkiem (udowodnimy, że d > 0; zaś r0 jest dodatnie jako suma
2
2
2
2
dwóch energii). Skoro r02 − |r|2 cos
q θ0 ­ r0 − |r| = r , a jak sprawdzimy za
chwilę8 niezmiennik r 2 > 0, to r02 d2 − . . . ¬ r0 d. Oznacza to, że dla konkretnej wartości cos θ0 mamy dwie możliwe energie neutrina. Przypominając
sobie związek ekstremalnych energii z cos θ0 dany równaniem (39), możemy
stwierdzić, że rozwiązanie o wyższej energii z cos θ0 = +1 daje Eνmax , zaś
rozwiązanie o niższej energii z cos θ0 = −1 daje Eνmin:
Eνmin =
q
r0 d − |r| d2 − 4m2ν r 2
2r 2
Eνmax =
,
q
r0 d + |r| d2 − 4m2ν r 2
2r 2
.
Wstawiając te wzory do (38) otrzymamy ostateczny wynik:
F=
2π q ′2
(M − m2ν − r 2 )2 − 4m2ν r 2 .
r2
(40)
Z definicji F czterowektor r jest równy p′ + k. Niezmiennik r2 = M ′2 + 2p′ ·k + m2ν
możemy obliczyć w dowolnym układzie odniesienia, np. spoczywającego protonu. Wtedy
r2 = M ′2 + 2M ′ Ẽν + m2ν ­ M ′2 + 2M ′ mν + m2ν > 0. Z kolei d = r2 − M ′2 + m2ν , więc
d ­ 2M ′ mν + 2m2ν > 0.
8
23
Widzimy, że jest od zależny jedynie od r 2 , co zgadza się z naszymi rozważaniami z paragrafu 4.
Na koniec zastanówmy się jeszcze nad jedną kwestią: skoro początkowe
wyrażenie (7) jest w pełni symetryczne względem zamiany p′ ↔ k, to końcowy wynik również powinien mieć tę własność. Jest tak w rzeczywistości,
można się o tym przekonać rozpisując wyrażenie podpierwiastkowe:
2π q ′2
F = 2 (M − m2ν )2 − 2r 2 (M ′2 + m2ν ) + (r 2 )2 .
r
B.5
(41)
Całkowita szybkość rozpadu
Skoro różniczkowa szybkość rozpadu ma postać daną równaniem (18), mianowicie
q
dΓ
G2
= 3 (3g 2 + 1)Ee (∆ − Ee )2 Ee2 − m2e ,
dEe
2π
więc musimy wiedzieć, jak policzyć całki postaci „potęga razy pierwiastek”
z wyrażeniem potęgowym rzędu od pierwszego do trzeciego.
Zacznijmy od przekształcenia
I2k+1
.
=
Z
x2k+1
√
x2 − m2 dx
w następujący sposób:
(2k + 2) I2k+1 =
Z
(2k + 2) x2k+1
√
x2 − m2 dx =
Z x2k+2
′
√
x2 − m2 dx.
Całkowanie przez części da
(2k + 2) I2k+1 = x
2k+2
√
x2
−
czyli
(2k + 2) I2k+1 = x2k+2
−
Z
√
m2 −
Z
x2k+2 √
x2 − m2 x2 − m2
x2k+1 √ 2
dx −
x − m2
x2
x
dx,
− m2
Z
x2k+1 √
Z
√
m2
dx,
x2 − m2
czyli po przeniesieniu szukanej całki na lewo:
(2k + 3) I2k+1 = x2k+2
√
x2 − m2 − m2
24
x2k+1
dx.
x2 − m2
Dla konkretnego przypadku k = 0 oznacza to, że
Z
√
x
dx
3I1 = x2 x2 − m2 − m2 √ 2
2
x
−
m
Z √
′
√
= x2 x2 − m2 − m2
x2 − m2 dx
√
√
= x2 x2 − m2 − m2 x2 − m2 ,
a tym samym
1
I1 = (x2 − m2 )3/2 .
3
Potrzebujemy jeszcze I3 , która odpowiada k = 1:
√
Z
(42)
x3
dx
x2 − m2
Z
Z
√
m2
x2 − m2
2
√
= x4 x2 − m2 − m2 x √ 2
dx
−
m
x
dx
2
2 − m2
x
−
m
x
√
√
= x4 x2 − m2 − m4 x2 − m2 − m2 I1 .
5I3 = x4
x2 − m2 − m2
√
Łącząc dwa pierwsze wyrazy otrzymamy
czyli
5I3 = (x2 + m2 ) (x2 − m2 )3/2 − m2 I1 = I1 (3x2 + 2m2 )
I3 =
Do parzystych potęg
1
(3x2 + 2m2 )(x2 − m2 )3/2 .
15
.
I2k =
Z
x2k
√
(43)
x2 − m2 dx
dla odmiany zastosujemy inne podejście. Po wstawieniu pewnej szczególnej
jedynki:
√
Z
√
x2 − m2
2k
I2k = x
x2 − m2 √ 2
dx
x − m2
dostaniemy różnicę dwóch całek
I2k =
Z
x2k+2
√
dx − m2
x2 − m2
Z
Zajmijmy się osobno pierwszą z nich:
Z
√
x2k+2
dx =
x2 − m2
Z
x2k+1
25
√
√
x2k
dx.
x2 − m2
′
x2 − m2 dx,
(44)
całkując ją przez części
Z
√
Z
√
√
x2k+2
2k+1
2
2
x
−
m
− (2k + 1) x2k x2 − m2 dx
dx
=
x
x2 − m2
√
= x2k+1 x2 − m2 − (2k + 1) I2k
i zapisując jako
Z
√
√
x2k+2
2k+1
2 − m2 − (2k + 1) I .
x
dx
=
x
2k
x2 − m2
(45)
Jednak pociąga to za sobą możliwość wyrażenia w wygodny sposób także
drugiej całki:
Z
√
√
x2k
2k−1
2 − m2 − (2k − 1) I
dx
=
x
x
2k−2 .
x2 − m2
(46)
Równanie (45) wstawione do (44) pozwala wyrazić wyjściową całkę jako
(2k + 2) I2k = x2k+1
√
x2 − m2 − m2
Z
√
x2k
dx.
x2 − m2
(47)
Teraz przyjrzyjmy się szczególnemu przypadkowi k = 0. Aby nie uciekać
się to funkcji area
√ (funkcji polowych), zastosujemy pierwsze podstawienie
Eulera: y = x + x2 − m2 . Pociąga ono za sobą następujący, kluczowy dla
obliczeń, związek między różniczkami:
√
2 − m2 dx
x
+
x
xdx
ydx
√
dy = dx + √ 2
=
=√ 2
.
2
2
2
x −m
x −m
x − m2
Zatem
Z
√
dx
dx =
x2 − m2
Z
√
dy
= ln y = ln x + x2 − m2 .
y
Wynika stąd, że dla k = 0 mamy
√
1 √
m2 I0 = x x2 − m2 −
ln x + x2 − m2 .
2
2
Przy k = 1 w (47) potrzebna jest całka podana w (46):
Z
√
√
x2
2 − m2 − I ,
dx
=
x
x
0
x2 − m2
26
(48)
żeby otrzymać
I2 =
a ostatecznie
I2 =
x3 √ 2
m2 √ 2
m2
x − m2 −
x x − m2 +
I0 ,
4
4
4
√
x3 √ 2
m2 √ 2
m4 x − m2 −
x x − m2 −
ln x + x2 − m2 .
4
8
8
(49)
Już jesteśmy gotowi do zajęcia się bardziej fizyczną stroną szybkości rozpadu. Całkę (18) wykonujemy od me do ∆, dlatego też
1
1
I1 = (∆2 − m2e )3/2 = ∆3 (1 − m2e /∆2 )3/2 ,
3
3
q
1 3q 2
1 2 q 2
m4e
∆
2
2
2
2
ln
+ ∆ /me − 1
I2 = ∆ ∆ − me − me ∆ ∆ − me −
4
8
8
me
1 4q
1 2 2q
m4e
∆ q 2 2
2
2
2
2
ln
+ ∆ /me − 1 ,
= ∆ 1 − me /∆ − me ∆ 1 − me /∆ −
4
8
8
me
1
1
I3 = (3∆2 + 2m2e )(∆2 − m2e )3/2 = ∆5 (3 + 2m2e /∆2 )(1 − m2e /∆2 )3/2 .
15
15
Z jakimi współczynnikami pojawiają się te całki? Skoro
q
G2
dΓ
= 3 (3g 2 + 1)Ee (∆2 − 2∆Ee + Ee2 ) Ee2 − m2e ,
dEe
2π
to widzimy, że
Γ=
G2
(3g 2 + 1)(∆2 I1 − 2∆I2 + I3 ).
3
2π
(50)
Wcześniej dbaliśmy o precyzję na poziomie ok 0.1%. Żeby poznać zerowe
przybliżenie, pójdźmy dużo śmielej do przodu, przyjmując że m2e /∆2 ≪ 1
(w rzeczywistości to 0.156). Wtedy
1
I1 → ∆3 ,
3
1
I2 → ∆4 ,
4
1
I3 → ∆5 ,
5
dlatego szybkość rozpadu
dΓ
G2
=
(3g 2 + 1)∆5 (10 − 15 + 6)
3
dEe
60π
27
ostatecznie upraszcza się w zerowym przybliżeniu do
Γ=
G2
(3g 2 + 1)∆5 .
3
60π
(51)
.
Wiemy, że zaniedbanie wszystkich wyrazów zawierających δ = m2e /∆2 jest
bardzo grubym przybliżeniem, więc nie dziwi nas fakt, że w ten sposób otrzymujemy czas życia τ = 451 s, czyli zaniżony blisko dwa razy. Pełni zapału
optymiści, do jakich przecież się zaliczamy, spojrzą na ten wynik jako na
przybliżenie istotnie lepsze niż oszacowanie z rozpadu mionu na stronie 11.
Zmobilizowani tym sukcesem do dalszej pracy, obliczmy przybliżenie pierwszego rzędu w δ. Skoro pojawiający się wielokrotnie pierwiastek ma następujące rozwinięcie w szereg Maclaurina:
√
1
1 − x2 = 1 − x2 + . . .
2
to bez obliczania rozwinięcia możemy stwierdzić, że
√
3
(1 − x2 )3/2 = (1 − x2 ) 1 − x2 = 1 − x2 + . . .
2
Dlatego w najniższym rzędzie w δ = m2e /∆2
1
3
I1 → ∆3 1 − δ ,
3
2
1
1 2 2
1
m4e
∆
∆
1
1 4
ln
+
1− δ
I2 → ∆ 1 − δ − me ∆ 1 − δ −
4
2
8
2
8
me me
2
4
1
1
1
1
m
2∆ me
= ∆4 1 − δ − δ 1 − δ − e ln
−
4
2
2
2
8
me
2∆
1 4
1 2 1 2
1 4
1
→ ∆ 1 − δ − δ − δ ln(4/δ) → ∆ 1 − δ − δ 2 ln(4/δ) ,
4
4
4
4
4
1 5
3
1 5
5
I3 → ∆ (3 + 2δ) 1 − δ → ∆ 3 − δ .
15
2
15
2
Z równania (50) dostajemy tym razem
Γ=
h
i
G2
2
5
2
(3g
+
1)∆
10
−
15δ
−
15
+
15δ
+
15/4
δ
ln(4/δ)
+
6
−
5δ
,
60π 3
zatem pierwsze przybliżenie wynosi
G2
15
Γ=
(3g 2 + 1)∆5 1 − 5δ + δ 2 ln(4/δ)
3
60π
4
28
(52)
i daje czas życia τ = 872 s. Jest on dość bliski eksperymentalnej wartości
τ = 885.7 ± 0.8 s [1].
Czy jednak otrzymany ciąg przybliżeń dąży do doświadczalnego czasu
życia neutronu? Pierwsze przybliżenie [czyli (52)] od zerowego [tj. (51)] różni
się współczynnikiem, który wynosi 0.5159. Gdy bez przybliżeń obliczymy
wzór końcowy, współczynnikiem będzie 0.4726. Ta blisko dziesięcioprocentowa różnica daje dokładną wartość 953 s.
C
Uzupełnienia
Pełna postać reprezentacji macierzowej operatora przejścia neutronu w proton to
Γµ = γ µ F1 (q 2 ) + iσ µκ qκ
q µ FP (q 2 )
F2 (q 2 )
+ γ µ γ5 FA (q 2 ) + γ5
,
2MN
MN
.
.
gdzie masa nukleonu MN = 21 (M + M ′ ), a przekaz czteropędu q = p′ − p.
W powyższym wzorze pojawiły się skalarne funkcje q 2 zwane czynnikami
postaci (ang. form factors), które dzieli się na dwie grupy — wektorowe:
q 2 −1
q2
2
F1 (q ) = 1 −
GE (q ) −
GM (q 2 ) ,
2
2
4MN
4MN
2 −1 q
2
2
2
−GE (q ) + GM (q )
F2 (q ) = 1 −
4MN2
2
i aksjalny oraz pseudoaksjalny:
FA (q 2 ) =
FP (q 2 ) =
g
(1 − q 2 /MA2 )2
2MN2 FA (q 2 )
.
m2π − q 2
,
W związku z tym, że różnica mas M − M ′ jest niewielka, energia kinetyczna
protonu musi być mała, więc q 2 /MN2 → 0 (stała MA zwana masą aksjalną to
ok. 1.03 GeV, więc jest jeszcze większa od MN ). W tej granicy
Γµ → γ µ F1 (q 2 ) + γ µ γ5 FA (q 2 ) → γ µ · 1 + γ µ γ5 · g = γ µ (1 + gγ5),
ponieważ wtedy GE (q 2 ) → 0. Współczynnik g = −1.2695 i jest zwykle oznaczany w literaturze jako gA .
29
Literatura
[1] W.-M. Yao et al., J. Phys. G 33, 1 (2006).
[2] J.D. Bjorken, S.D. Drell, Relatywistyczna teoria kwantów, PWN, Warszawa 1985.
[3] S. Weinberg, Teoria pól kwantowych, t. 1, PWN, Warszawa 1999.
[4] K.A. Meissner, Klasyczna teoria pola, PWN, Warszawa 2002.
[5] B. Średniawa, Mechanika kwantowa, PWN, Warszawa 1978.
30

Podobne dokumenty