Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
cusl
OLTR E IL TEST O
Il lavoro ha richiesto, da una parte, un piu serrato confron to con
i
docenti interess ati e,dall'a ltra, una relazione costant e tra quanti
si
sono assunti l'impeg no di collabo rare.
Tutto ci6, oltre che consen tire la pubblic azione del present e e di altri
testi, ha condot to chi ne stato coinvolto, ad esiti che stimiam o
rilevanti, primo fra tutti la trasform azione della routine univers itaria
in una effettiva esperie nza umana e cultura le.
INDICE
1. INTEGRALE SUI CAMMINI
Note & Bibliografia
1l
l7
27
3O
39
40
51
5. TEORIA f/J4
55
6. CAMPI FERMIONICI
6. 1 EQUAZIONE DI DIRAC
6.2 SOLUZIONI LIBERE DEL L'EQUAZIONE DI DIRAC
6.3 ELICITA'.PARITA'.DENSITA' DI PROBABILlTA'.QUANTlTA'
BILINEARI
6.4 SECONDA QUANTIZZAZIONE DELL 'EQUAZIONE DI DIRAC
Note & Bibliografia
7. TEORIE DI GAUGE
7.1 ELEMENTI DI TEORIA DEI GRUPPI
7.2 LA DINAMICA DELLE SIMMETRIE: LE TEORIE DI GAUGE
7.3 ROTTURA SPONTANEA DELLA SIMMETRIA: IL MECCANISMO
DI
HIGGS
7.4 QUANTIZZAZIONE DELLE TEORIE DI GAUGE
Note & Bibliografia
59
67
75
77
81
83
92
92
97
98
105
113
119
119
123
131
138
147
P. Feynman, che, in una serie di lavori magistrali apparsi alla fine degli anni
quaranta, segno' una nuova importante via della meccanica quantistica.
Consideriamo un sistema meccanico semplice con un solo grado di li berta'
descritto da un'hamiltoniana classica
H(p,q)
ove p e q sono le usuali variabili coniugate classiche.
In meccanica quantistica vale la corrispondenza
e si richiede che
[P,O] .. -in
classiche).
Sviluppando la corrispondenza tra sistema classico e sistema quantistico, si
trova che le equazioni di moto classiche
q = {q,H}
p={p,H}
2
diventano
cO
i
di
= - 41
dP
di
[Q,H)
i
= - ~ [P, H)
= qlq>
P Ip>
= plp>
idq
si ha
Nota l
<plq> ! =
(1 .1)
si ottiene
3
Per introdu rre il formali smo dell'int egrale funzionale o
Path
proponiamo di calcolare l'ampiezza di transizione:
Integra I. ci
(1.2)
qF
qj+l
qj
...
q
e, nell'ipotesi che sia H .. H(P,Q) e che valga l'ordine normale (vd. Nota 3), posso
scrivere
<qjIHlq}-l> =
(1.1)
dp exp [ -i p. (q.-q. 1)
...:!J...
2Jcli
.Ii J J J-
H (p' q. 1)
l' J-
Dunque
dPi
[ -p.
i
id t
--'-exp
2ro1i
.tI J (q'-q'1)--H(pql)
J J,ft
J' J-
l
(1.4)
(1.5)
Usando (1.4), (1.5) e ponendo tj '" j l1t + ti ho
f
f
I[ dq~:(I)
l ! (,~
exp
< I-'
(pq - H(p,q)) dI
L(q,p) = P q - H(p,q)
e
tF
J,r
t,
(pq - H) dt
tF
L(q,p) dt
= S[q,p]
6
che e' l'azione.
In definitiva
(1.6)
q(t) e p(t) danno una generica traiettoria (nello spazio delle fasi) che passi per
i punti generici (qj' p j) al tempo t e che colleghi gli stati ql e qF'
Nel
formalismo del "Path Integrai" (che e' un formalismo per descrivere il sistema
quantistico) 1:!I!!JRiezza di transizione e'
~ressa
unosta1~Lfinal~_~R~S!tLqJ:l.
Questa fase e' un'esponenziale del tipo ex p [(i111) S), quindi l'esponenziale di i
volte l'azione in unita' di h, costante di Planck.
l'integrando
un
oscilla
rapidamente
rendendo
contributo
O)
trascurabile
In
= -1
2m
P + V(q)
(1.7)
Ponendo
.1t
2.tlm
a= - -
.1q
Il = -2m
.1t
i.1t [ Pj2 - 2m M
dpj exp - 2flm
.1q Pj
II
Il Pj]} =
xrr[-~
2hm)112
.
J
~t
Chiamiamo
e riscriviamo
Cioe'
(1.8)
l'JJlLcas1__l!l~'Hamiltoniana sia
J.
(1.9)
ove ad esempio
o anche
ave
10
se t >0
se t < O
11
NOTE
NOTA 1
Ricordiamo che QF = FP ove F e' l'operatore di
Quindi
QF /p> = FP /p> = pF /p>
FP /p> .. pF /p>
Ip>
eipq
Iq>
dq
(2n) 112
Da cui
ipq
1b)
/p>
Altro modo per ottenere questo risultato senza ricorrere all'operatore F e'
(2n) 112
e ipx
/q> = o(x-q)
<q/p>
dx o(x-q)
=:)
1
(2n) 1/2
12
NOTA 2
Ricordiamo
che
in
introdurre
gli
autostati
Qlq> = q Iq>
descrizione di Heisenberg
descrizione di Schroedinger
NOTA 3
nello scrivere prima tutti i P e poi tutti i Q (cioe' (PQ)n=pnQn e non (PQ) .....
(PQ)).
sono dati dalla parte giusta per far "saltare fuori" i rispettivi autovalori, cioe'
13
NOTA 4
Inoltre 11 e 12
14
Cioe'
J
_
dx
e-I<lK
-Jrr dx .
e-I<lX
Ora se si scrive
e-I-y
4
.lt
X=
ove y
9t, si ha
=e
-i2!.
4
~
Yrrc
il =y -I il
(1 .10)
NOTA 5
Limitiamoci al caso di avere il prodotto di due operatori X(td e X(t2). ove t1>t2.
Supponiamo che si,a tl .. tk e t2 .. th per qualche h e k.
Iql,tl> =
<qF,l,:1 T(X(tl)X(t2
I[
V <qF,IFlq"-"I~,>
d ql ]
Allora
15
16
BIBLIOGRAFIA
1) R.
P.
Feynman:
to Non-Relativistic Quantum
17
L (<II,di\ <II)
18
(21 )
d,fl principio di minima azione
05
aL
aL
----=0
l'aal'<1> a<1>
(22)
e' Lorentz-invarlante.
Consideriamo ora un campo scalare reale <1>, la cui densita' lagrangiana e'
data da
L=
Lof(CI\lTz'
(al' <1
m6 <1>2 l
(23)
IMV'/'{<'I!\f<lir
19
Osserv iamo che L. e' una quantit a' Lorent z-invar iante (da
qui in avanti
I) L'equa zione di moto (22) e' l'equaz ione di Klein-G ordon
K =
(24)
~ 2rop (21t)3
e- ip ' X
( t
e sue coniug ate f*p Qui p, x indica il prodot to scalare
p. x = Po X o - p. x, La
soluzio ne piu' genera le di (2.4) e' rappre sentata da una sovrap
posizio ne di tutte
le sue soluzio ni indipen denti e possiam o scriver la come
(25)
(26)
ove
valga la relazio ne
In questo modo si ha
i '{' .t,
20
Q (
pr)
d~p)f/c><)]::
~
r;' -f)
x
tL
.::
(r )
a(p) = (f p, <1 = i
t-I
f d 3 X f p(X) a
o <l>(x)
(27)
un operatore.
regol~
di commutazione
>:
" \\
si ha
GI i operatori
a+ e a si
distruzione, per cui lo stato di particella singola puo' essere SCritto come
21
:2.
eosl::uill::;. .etdM.o
d&e I l'n ~\"'l~O'Wi..-,
(28)
ove
~IN
~OUT
(x) =
QUT
d 3k [aiN (k)
aUT
ovr
(29)
ove
fkC x) =
J (2Jt)3 2~
e- ikX
22
verra'
chiarito
rinormallzzazione,
in
seguito
quando
si
artrontera'
il
problema
della
(l'''' l,H \
\ 1':\1 ,I. ,\ p{>
C[{\'VO {
al,N (k)
=i
;\'\r; ('() :
'
d 3 x f k (x) o IN (x)
11>,
i i' (>Z)
J ecl
(210)
\)
I p,
(211 )
< POUT I a IN )
(212)
ed S e' unitario
S S
S S
23
IO in>
IO out>
cloe
5 00
ricaviamo
Spa = <13 aUTla'p IN> = <13 aUTla;N(p) I a' IN> =
<13 aUTla~uT(p) I a' IN> + <13 aUTla;N(p)-a~ur<P) I a' IN>
<j3-p aUTla' IN> + <P aUTla;N(p)-a~uT(p) I a' IN>
\\
()
nell()sta~o
ab~ia
lo stesso
mom~nto
~-
Possiamo dunque
Spa
=-
l < POUT I
e, poiche'
24
+00
d x
9 I (x)
a2 g2 (x)
a x~
00
a2 9 I (x)
g2
a x~
(x)
si ha
Spa
,Jz f
d x [f p (x)
IN > -
(.'\
(}o
IN ) l
\7'21.)('_"
-'I
-
+(JYl
l-o
i---.------
\.S~a = ~~
d x f P (X) Kx <13
O~T~<l>(X).I~~~j
--------------~.._~---_.--
(x
m2 )
:::: ( , .
'1i.'
abbiamo
< 13 OUT I n' I N > = < 13' p' OUT I <l>(X) I n' I N > =
= <13'
aIN(p')
I n' I N )
25
ed, analog amente a quanto fatto prima, si trova
(y)
cioe'
t-
.. ,
> ~
ll(xn
I O > Ky f~
J
(YJ)
(213)
,
(214)
26
in termini di Integrale funzionale, cioe' di un integrale sui cammini pesato da
un esponenziale di i volte l'azione, cioe' da una fase.
AI di la' di una piu' stretta relazione con la dinamica classi}(ca (come
abbiamo gia' osservato), il path integraI comporta solamente l'uso di funzioni
ordinarie (non di operatori) e risulta particolarmente adatto nel caso di
c:.2n vincolo, come ad esempio le teorie di gauge (vd. cap. 7).
d'ora in avanti faremo uso di questo formalismo.
~istemi
27
NOTE
NOTA I
Scriviamo
Dunque
(rttm)
_
GI1
(x I ""xn+m) -
abbiamo
(Z)
-~
2
(rttm)
G
(X I " X rttm )
28
I fattori
m2
29
BIBLIOGRAFIA
I) J. D. Bjorken - S. Drell:
I
I
30
Diamo
in
questo capitolo
alcuni
cenni
di analisi
funzionale:
cio' ci
X 2 ............................. Xi
I I
.................... ..
ove fi :; f(xi)'
Nel limite a
31
aF
a ti
1 aF ~ aF[f]
a f(x)
a a fi
(x
a a ti
La
gi
dx g(X)
Allora,
cioe'
dx O(x-y) g(x)
= g(y)
Quindi
Xi)
32
8(}(-~)
I
l
BF[~\
- - = o(x-y)
o f(x)
dx f(x) Rx)
(3.1 )
_0_ 1" l
of(x)
()
(3.2)
la chain-rule ci
= f"~
of(x)
(3.3)
- - = i I(x) 1"0
o t(x)
33
Cambio di yariabili: siano introdotte delle funzioni
Allora, se e'
ho
~ continuo
[df] F[f] =
J Il: Il
[dg)
G[g)
cioe'
g(x) =
da cui ricavo
dy G(x,y) f(y)
CL,."o
~~~~~>
S ~ (x)
S f (Y)
.~~-
Og(x) = G(x,y)
of(y)
34
Se
,n
det G =
II Ai = II e
ln
~ = e 11 In ~ = eTr In G
[df] exp i{ ~
=
Nel discreto ho
dx B(x) f(x) }
Z .
Scrivo allora
Da qui
xt G x =
Xi
Gij
Xj
= l
Ril
Gij
Rkj k
l AI
li lk l
L ~ cl
k
35
Bt x =
~ Xk
Rik i =
L Bi i
i
ove
e
Quindi
ove
Cioe', poiche'
\'\
f
';'
'.
36
ho
I =
(rr
2 i :)N exp [ - -2
i
Lk
"K
"1<
= _ _1'1_ _ e
(det G) 1/2
-+
BI G- B
[df] exp {i [
(det
exp [ -
dx B(x) f(x)
~
2
G)1/2
J}
Jt Cl*J.,,1
-#lLO-' D-) ~ Jo.- ~
Q
.-
/
.
aa" +a" a= a2 = a"2 = O
~ J~
(3.5)
J J
da =
da" = O
(3.6)
da a =
da" a* = 1
(3.7)
37
f(a,a") = A + S a + C a
+ D a a"
con ~autovalori di
M~
Si ottiene
ove
Jk =
d<Xf< d<Xf<* exp (-l1k <Xf<. IXJ< - (S* U)k IXJ< - Uk (U+ S)k )
\.....y---'
'-V----'
JK
il"
Poniamo (S*U)k" tt e (U+S)k .. 'Yk ed espandiamo l'esponenziale
Jk =
dlXJ<
d~ *
+ IXJ< Th
6
IXJ<) l
38
Passando al continuo si ha
f [d'V d'V"] exp { i [ f dx dy 'V" (x) S(x,y) 'V(Y) + fdX J(x) 'V(X) +
+ f dx 'V*(X) J(x)]}
=:NdetSexp [ -i fdXdYJ*(X)S-lJ(y)]
(3.8)
39
BIBLIOGRAFIA
1) C. Itzykson e J.-B. Zuber:
Company, 1980, Cap. 9
2) S. Pokorski: op. cit., Cap. 2
40
Pl ... PN
00
ottiene e'
<<<1>( J( ,t)I1>( Y ,l
=N
[d1>] exp
I l
.~ ~ItF L dt
(4.1 )
Anche le allre formule calcolate nel caso di 2 gradi di liberla' sono derivate
per analogia nel caso del campo.
che per il campo da'
41
,t
[d<!l]<!l(Xl) .. <!l(XN)exp
I~
J.'\dt)
I
(4.2)
(4.3)
Definiamo ora
Z[O]
= <0,+0010,-00> =
1, :: .i.
2.
[d<!l] exp i
?J/A
J~d 4x L(x)
(4.4)
ti"
+-
Z[J]
= <O,+ooIO,-OO>J
[d<!l] exp i
f_
<hre,\'f\ l\
(4.5)
La
(4.4)
la
(4.5)
sono
rispettivamente
proporzionali
all'ampiezza
di
sorgente esterna.
Dalle definizioni (4.4) e (4.5) e da (4.3) segue
42
(4.7)
J f
= .!. Jd
d4x
2
[(al1 $) (aI1$) - m $2]
4
2
x [al1 ($aI1$) - $al1a11$ - m $2]
~
=-
fJ
=-
tns\.lA\'<.iw!1t
4
2
d x $(x) [al1a11 + m ] $(x)
Jx
d
d y $(X)
lD x + ~] 14(x:r> $(y)
~~I('!<.I ~)
8i ottiene
Z[.1J ~d (f)]
(0)(
43
(4.10)
cioe'
(4.11)
Notiamo che
G(x,y) .. G(x-y)
Ora se si scrive la relazione fra G e G1 nello spazio dei momenti, osservando
che l'integrale (4.10) e' un integrale di convoluzione, abbiamo
(4.12)
Consideriamo /e re/azioni
Go(X-z) =
Go(x) =
d4p
- - exp {--IP(X-Z)}
(21t)4
d4
-p- exp {-ipx} Go(p)
(21t)4
Ora
Go\P)
Quindi
f
=f 4
=
2
d x exp {ipx} [dJ.lif + m ]
o\X)
44
(4.13)
Quindi
(4.14)
cioe'
(4.1 5)
Vr;') i
45
1m po
1m po
Re
sposto +ie
sposto -ie
Il
pxn
. 1(.
t')) >< a
~VY\
eKAY
~------4--~
{ Jo/VI
(/j()
n,xo- f?x)
1m po >0 e Xo
<o
(p o )( o
1m Po
<o
e Xo >0
X" )
o
(l,-.
l,.
46
Re Po < O
in modo che solo i termini del tipo e,iA con A > O contribuiscono all'integrale
(4,14)
Quindi da a) + b) segue
(4.16)
( ) -GoX
d P
-(21t)4
p2 _
-1
-ipx
e
m 2 + ie
(4,1 7)
E' opportuno notare che (4.16) e' un modo compatto per indicare le prescrizioni
sui poli e sul contorno di integrazione nell'integrale che compare in (4.17).
JL
Z[J:I:
tr
d x J(X) <I>(x) }
cP(1f J
:!
,/ u
l'I
.l .
47
Se usiamo la forma di So[<1I] ottenuta in (4.9) si ha
Zo[Jj =
[d<1l) exp i
j--} J
d x J(X) <1I(x)
(4.18)
(4.19)
Quindi
(4.20)
o
La (4.6) con il teorema di Wick da'
La
48
11
"
IO> =
(-i Go (X P1 - XP2)]
coppie
...
(-i Go (X pN-l - X )]
PN
4.22)
TEORIA PERTURBATIVA.
Se introdu ciamo il potenzi ale la lagrang iana pUO' essere
scritta
L
= Lo -
A ~4
VC<P):: 4! 'f
V(II
= 1[-iOJ~x)lJ [dll>]expi
Jd Xfo(X)+ Jd XJ(X)II>(X)}
(4.24)
Se definia mo
1(<1 = exp -i
d x V(<1
49
Z[J] = exp -i
d x V[_i_O_] Zo[J]
oJ(X)
(4.25)
Z[J]
[1 - f
i
Riassunto.
Tramite il meccanismo di riduzione della matrice S (formalismo LSZ) abbiamo
ottenuto che il calcolo degli elementi di matrice si pud; considerare risolto una
volta che si conoscano le funzioni di Green G(n).
Il primo passo consiste nel definire Z[J] funzionale generatore e nel considerare
che si puo' scrivere
e consideriamo uno
1 ... xn)
= (-I)
n -O
- ... -O
- [1 - I.
&J(X1)
+ (_i)2
2!
In
d4 x d 4
&J(x n)
V[
_i_O_]
&J(x)
f V[
d
V[
-1O- ]
&J(X)
&J(y)
J=O
il
calcolo
delle
funzioni
di
Green
si
riduce
2. lo J
-e><f t~
~<eIT(#1)f""~ 4><><101)1 0
>
NOTE
NQTA 1
Con l'aggiunta del termine iE, i poli sono dati da
ave
tg <p
caso -ie
ed e' facile rendersi conto che cio' e' esattamente quanto indicai
1);1
ci ('('/
,L'
i/ )'
po
~1)
(\
~.
:F L
O..
..
e-
:'~
\:
"
t'
~ ~,
.
'f
~-~-
Cf>
rJ ~
" \< 7(
"
(';
1<
/"
i! () ...
~I
E'
,;
,/
j'
-=
\t
(O
\ [.
l2
1(:;
,(
I 1/1
i
(\l
,\
.2,
c'
(
. .,
rL
.')
C'
", V
'"
, , 11
(,i
I .
\ ,'tJ -~~
:;
.'
,'.
c-
l';''
'.
( LI
I fll")
(i
lli!1.:
n_'>
.I.E.b,:
appl'ICO
- ,c'>
1--:
c'>J(X2)
d'y
=-
Go(X,-y) J(y)
i GO(X1-X2)
l ~
2 exp [
~ f d'x d'y
II Lo
y)
53
- i { G,(,,-,,) .
(f
- iG,(',-',) .
+(f
(f
e,p
l-
d y GO(Xl-Y) J(y)-
. exp [
e cosi' via.
(J
exp [
G'(X2-X,) . ex p [
(if
l
l
d y GO(X2-Y) J(y) J .
li Lo
(f
d y GO(X3-Y) J(y) )-
54
BIBLIOGRAFIA
1) S. Pokorski: op. ci t. , Cap. 2
2) J. O. Bjorken - S. O. Orell: Relativistic Quantum Mechanics, McGraw-Hi/l
Book Company, 1965, cap. 6
JJJ
[1'
J.~
:2. Lo]
ex
e.;,.p) -
J' J4 x
V[-- L
J(x)
~(x-~) J(y) J
~~,_]1lJJJ}
J
S.J (x)
55
,[
-e;(
. [)
J'
,~~ ------=-~~-=~'~
(-i)"
o oJ(x")
o
(-I.)" OJ(XI)'"
lA
{l 'Jd
- 1
o ( .
4!
0)4
-I oJ(z)
0)2(.-1ID(i)
~ (1..4T
o )4(.-I &J(w)
0)4
} Zo[I]
+...
Z[O]
dzdw
(_i)2
+ 2! x
1=0
10(0]
-- -"._--70['0.1 (5.1.)
~-
." M(x,)
o ... [ ... ] (2[0])
Zo[Jl 1
1=0
[o
(-I)
56
+ 2!
J;()
ZI'
faccio 'collassare'
----------)
i punti z
2co(fii! 2
Consideriamo il 2 termine
8 ',bt'
+ 2!
== + 21! (-i
-:-;7
4 coppie (,2wppie w
IJ=O ==
Diagrammaticamente
(J)~
'/)
57
z,
l'D ~3\~ILI
CO ~\I'If.S~IO J./I
----~
faccio 'collassare'
----------)
i punii w
_ _ _ _ _ W2
W3 - - - - - W4
Zl-----
z ___ __
faccio 'collassa re'
~~
"-j')
~~=---
i punti z e w
58
! (QJ
c<;~
~
(lo!
()
5.2.
Zo[J]
(5<3.)
0=0
in due
categorie: mc: fattori che sono connessi alle linee esterne xl'x 2 .<o.x n e m-mc ..
m,di fattori che sono sconnessi dalle linee esterne. Il numero di modi in cui si
puo' effettuare questa scomposizione e' ovviamente
(u:)
quindi si ha
<Jv(-1m-;U
<o 't,4 x
eltp I
Zo[]]
~ (i)ffi,
Zo[O] = ~ mc'
m,=O
~ ~ [Jd4
~ rns'
m.:::;()
v(_.l..)]m.
Zo[J]
ZolO]
01
1
(5A.)
Y fatto
59
g~r~ntisce che le grandezze fisiche da essi dipendenti ( sezioni d'urto e vite
o
(2) (
x,y )
o
= (-I. 51(x)
. O
+ F(-1 41 )
CXI;;T
X'
o)
-I WV)(
y
A, o.l
l-I'fd4Z 41
o ( . o )4
-I OJ(z)
4.
C2o~~
(20[1]),20[0,]
'Z,. [O]
11=0
Ordine O
X'
diagrammi si rappresenta
4} /";{/
con
terv".1 \\1
(5.1.1.)
60
~t
Ordine
'.~.-~.~
'\
.~" 'j~
,~i'4
o
(-I. 5J(x)
X.
-I
Sl(y)
41
O )
Q<'"i")
f (
NOfA2
. )2
-fio +IE
d p4 ( 2 i 2 . )
(2Jt)
P -fio +IE
(5.1.3)
Diagrammaticamenta
x
faccio 'collassare
-----------
Zl-----
_o>
i punti x,y,z
Zl
Z3
Z4
faccio 'collassare
-----------
- ->
i punti x,y,z
che sono l'esempio all'ordine piu' basso dei diagrammi che fattorizzano per
dare ( parte connessa )x(diagrammi di vuoto )
In definitiva per la parte connessa avremo ( vista nello spazio dei momenti )
due propagatori associati alle gambe esterne e un integrale in d 4p associato al
loop
61
osserviamo che
e' una costante divergente. La divergenza deriva dal fatto che l'integrale e'
fatto su uno spazio dei momenti .illimitato. In re alta' noi non possiamo garantire
che
in
natura
si
possono
avere
momenti
infinitamente
grandi
corrispondente ad
una
i parametri che
ilJ-> 1.~.~-~
62
Wj
'-'j
tAl
QQ)
Ordine 2
, li
( -I 8I(x)
X.
= ;, (-i
~~
-I
li ) l ( . o
8I(y)
y{
2f
-1
41
)2.fd4
d4 ( , li )4(, li )4
Z w -I gI(z)
-I gI(w)
. .
= Teo di Wlck
IJ~
4x4x3x3 d4zd4w[-iGo(x-z))[-iGo(z-w))[-iGo(O))[-iGo(Y-w)) +
+ 4x4x3x2 d4zd4W[-iGO(X-Z))[-iGO(Y-W)][-iGO(Z-W))3}
= -} (-io)2
Zo[I)
Z[O)
. ) [-iGo(O) (
P -1110 +11:
2 i 2 . )[-iGo(O)l( 2 i 2 . )
p -1110 +IE
P -1110 +IE
(5.
1.3.)
corrispondente ad un diagramma
-----z 1
-----w1
w -----y
faccio 'collassare
-----------
_o>
I punti x,y,z,w
00
63
(5.1.4.)
con il power counting presenta una divergenza 0 .. 0, ed e' una quantita'
n 2(p2).
Questo pezzo e' corrispondente ad un diagramma
t1:~~L..:L2
x-----
Z2-----
Il
laccio 'collassare
-----------
-->
i punti x,y,z,w
Z4-----
'" ~l2~.
@9
I
y-----
Sommiamo tutti
momenti)
64
1:::'0
+
4'-2,
'~"'"
=?J
1= 8-?,
.2.
O O +
1::.8-2_3
2..
I", !6.----~
""t
2.
~
O,~
~()
~
I~ ~;1! =.;-
08
( p
i 2.
-mo +IE
)D
22 + 3(
(n 2(p)]
i 2.
-mo +IE
)4 (nt(o)] 2n (p)
2 + .........
2
2.
P -lllo + lE
--->
n ( O)
--->
n (p 2 )
2
65
(5.1.5.)
Consideriamo ora che n 2(p2).e' dipendente da p2 e puo' essere sviluppato in serie.
Sviluppiamo il termine sulla massa fisica m (capiremo dopo il perche')
Evidentemente
~(m2)diverge quadraticamente
2--
~j
2
'2
- m )n 2(m ) -
(p2 -
m2)2
(T.F.) + .... J =
2
22
(p ~ m) (T.F.)
66
se definiamo
m
= ~ + TIt(O)
p - m -
=l~-m.
'2
(2
(1 - TI'
2 m
(p2 -
si ha
(p - m )TI 2(m) -
2)
12
+ TI 2(m2)
(p
m2)2
(T.F.)
22
~ m) (T.F.)
(5.1.6.)
se definiamo
(5.1.7.)
si ha
= (p - m
tJ r t -
2
(p2 _ m )2
(T.F.) + (T.F.)
G2)(p) =
-2:--Z~2
p - m
e' la
r~gi()~e
Se definiamo
(5.1.8.)
67
(5.1.9.)
d 2)(p)
= --2
2
P - m
(5.1.10.)
(5.1.11.)
,
1
e' servito per regolarizzare le divergenze, ne segue che anche mo2 dipende
dai parametri del reticolo spazio-temporale, non sarebbe accettabile
avere una teoria in cui le grandezze osservabili dipendessero dalla nostra
conoscenza del passo reticolare spazio-temporale, cioe'
()~n_"I~gi~~rgE!DZ~
cioe' . Ie cl i..,e rgElnz e _cl Q\I ut E:) ad autPll1! E:) r a zi ()1')E:)__ fl er__.I!I{E!rt!._LJIL.PEL!rn et ro.
finito e non dipendente dal passo reticolare spazio-temporale
o _ ... _ o _
- <O/T(.h(x ) .. .h(x /0> _ (.l.)n_
G(n)(x I '''x)
n 'l'
I
'l' n
i
oJ(xl)
oJ(x n)
Z(J]
Z(O)
I1=0
68
le
funzioni
di
Green
irriducibili
ad
una
particelle
( one-particle
irriducilbili
rimangono
ad
una particella.
connessi
dopo
il
Questi
taglio
sono
arbitrario
i diagrammi che
di
una
linea
1 PI
risiede nel fatto che qualsiasi diagramma riducibile ad una particella puo'
essere decomposto in diagrammi 1PI senza ulteriori integrazioni di loop,
e se sappiamo "prenderei cura delle divergenze nei diagrammi 1PI, siamo
anche in grado di maneggiare i diagrammi riducilbili.
Consideriamo la funzione 1PI a 4 particelle. AI primo ordine ho, con ovvia
notazione:;(l"'k,~_,
.,
,'ti/ ". XI.
Xl
Zl
X2
Z2
X3
Z3
X4
Z4
(i~'
X;}
i~
){I,
X
3
faccio 'collassare'
----------)
i punti z
X
2
'" - i . O
X4
K~
-'
~ l,
;(
Xl
l
l
Wl
IN2
X4
W4
i)
w.~
b'
il.
il
II
~,
l!>,
r/
69
.,<~
Y/1.
BO/..LA
>0<
-->
X4
X
I
.1
X3
l2
Wl
BOLLA .t;
>
l
W2
X4
W4
70
~ (P3 +'P-4)t
"'o'
CQ, ECM)2
u = (Pl - P4)2
::c
(J'3 -
'P2.)
(5.2.1.)
2-
dalla relazione
s+t+u=4mJ
(XI
tramite
la
71
(5.2.3.)
introduciamo la variabile
L=!-e x(PI-I P2)
dC -
d~,
e, ricordando la (5.2.1.), ho
ave
a2 =
mJ - ex( ! - ex) s
d.,
(~/
(P
'1.1,
J _
l'm~
)(c
c'
'!
-\
;r) -\
,,';':y
('
- ,-1-
p/ ?
(r'i l l',' /I
(
{
I
72
ha poli per
JdLo
e
f(L) = O
1m l
1\
L (L+a
o
1/2
+iEl
---1----~----~--->
fii
L (
cioe'
Pongo
si ha
C+ a
ReL O
i t) 1/2
73
(5.2.3.)
cioe'
L:J
= LE sin", cos9
L4 = LE COS'"
ove
Li
-2
= L + L4 , O ~ 9,,,, ~ lt
Osserviamo che
2
a -
lE
74
i~
l2
r(s) == - - 2 il da dx
2(21t) o
X+ a - iE
i~il
A2
i~il
r(s) == - - da dx
= -daln
321t 2 o
o
x + a2 - iE
321t2 o
i
i~
-
321t2 In
A2+m~-a(a-l)s-iE
m~ - a ( a - l ) s - iE
A2
....(4)(
)
l'
S,I,U
'1
.,
In A2 + lemum
. . ti10111
.. = .~
= -111.0
+ 3- 1"0
- 2 -2
-1
321t
fio
r<4)(S,I,u )
2 ]
l - -31..
o In 2
- 2 -A
+ T .F .
321t
l110
(5.
2.5.)
75
ove
(5.2.6.)
e'
una costante di
rinormalizzazione,
introdotta
per "curare"
le
(5.2.7.)
jl4,due diagrammi,
D '" 4L - 2i
,~
:J/'L.=
.2
4N .. 2i + e
(5.3.2.)
(IJ)
Ogni vertice introduce una legge di conservazione del momento, ma di queste
solo
N-1 sono indipendenti, in quanto vale la conservazione del quadri momento
complessivo, conservazione che non dipende dai momenti interni. Ad esempio
nel grafico
P
~O~
P~
2
~P
77
i due vertici introdu cono due funzion i 1\: 1\4(P +P -1 -1
1
2 1 2) e 1\4(1 1 +1 2-P3-P4)' e
queste posson o essere riscritte come 1\4(Pl+P2-P3-P4)1\4(P
l+P2-ll-12)' Poiche ',
come abbiam o visto in alcuni casi, nei diag.i~f!!mi ~LEeynm
!!LQ9bbilf!1()
i!1t~~r1,,-e _~uCl~nil'110lT1~nt()
conservazion~, abbiamo
L::: ,I- __ (N ~ 1 )
(5.3.3.)
(5.3.4.)
e .. 2
D = 2
divergenza quadratica
O divergenza logaritmica
(5.4.1.)
78
dipendente dal campo q,o e in cui compaiono i termini mo e o'
Con il formalismo del path integrai abbiamo calcolato le funzioni di Green.
In questo calcolo compaiono degli integrali divergenti: per poterli trattare in
modo amtematiamente accettabile, dobbiamo regolarizzarli. Questo e' quanto e'
stato fatto introducendo una cut-oH A per momenti molto alti (vedi NOTA 4)
Successivamente tut!i
'\0
~. ~ Sl)'r~2,
~llll2~
(I> V
(5.4.2.)
71
l
"\Ii
2
2 2
ZI 4
Lo = TZ[(dJlq,)(u q,) - (m -om )q, ]q, =
4f
- 4f(Z
1-
l)q,
= L + 6L
(5.4.3.)
ove
(5.4.4.)
(5.4.5.)
79
d Lo
che
contiene
le
costanti
di
rinormalizzazione
divergenti
e'
delta
sviluppiamo
la
teoria
peturbativa
a
O~
partire
dalla
lagrangiana
O svilupperanno delle
pary~
divergenti : cio' che vorremmo e' che i controtermini siano esattamente del tipo
necessario a cancellare le divergenze e a lasciare la teoria " libera da infiniti".
Vediamo ora qualitativamente come i controtermini dL abbiano proprio la
struttura adatta. Sappiamo dal power counting che la funzione di Green a 2
punti ha 0=2; cio' richiede che i controtermini abbiano una struttura del tipo
'-
/-
----"*---
f->-t'{
80
Osserviamo che
cui scriviamo
Lo =Llibera +
(5.4.6.)
Linterazione
ove
Lliber.
l
'\II
= T[(a~<I(u <1
Linterazione
=-
A.
TI <I>
m <I>
+ ~L
l
(5.4.7.)
81
un~J:I!311o_con
.f\l
cF 1
82
o
e
)c(
S = 1/2
1/6
1
, I
S '" 1/2
!:
1/4
L,2. ,\:
'I",
l,l,
L.
83
NOTE
NOTA 1
Consideriamo il problema del power counting ( vedi paragrafo 5.3.) in un ambito
piu' grande.
Sia, infatti, il potenziale della forma
$ n ,ove
D .. 4L - 2i
(5.3.1.)
L=i-N+l
(5.3.3.)
(5.6.1.)
ricavo dunque
D ., 4(i - N + 1) - 2i .. 2i - 4N + 4 .. (nN - e ) - 4N + 4 --+
--+ D .. 4 - e + (n -4)N
(5.6.2.)
Nella teoria 1..<I>4(n .. 4) non compare il termine (n-4)N. Nella (5.6.2.) possiamo
distinguere tre casi:
1) n<4 : l'unico esempio e' n",3. In questo caso
D '" 4-e-N
e la teoria e'
$n detta
qualsiasi con e gambe esterne, solo un numero finito di grafici da' contributi
divergenti, cioe' aggiungendo vertici ( cioe' andando ad ordini superiori della
teoria perturbativa). diminuisce il grado di divergenza del diagramma. Ad
esempio per e .. 2
84
-o-
D .. -2 ( non divergente) ( N .. 4)
D =4-e
~olo U[UJLJm~ro fiDit()
~~l?l~!ono
D '" -2
(non divergente)
(N",2)
D = O (divergente logarilmicamente) (N = 4)
Cos'e' o?
Consideriamo il calcolo naive delle dimensioni di un operato
re in unita' di
massa. Poiche' l'azione e' adimensionale (ti=>1!!). L ha la dimens
ione 4 e tutti i
termini che compongono L devono avere dimensione 4. In partico
lare m2P2 nella
lagrangiana libera ha dimensione 4, quindi ha dimensione 1.
Inoltre da
85
dim(A$4) = 4
dim($)" 1
(5.6.3.)
(5.6.4.)
ho
dim(A) = 4-n '" -
NOIA 2
Ricordando che questa espressione e' una funzione del tipo -iGo(x-y) cioe'
funzione solo di (x-y) e ricordando la relazione fra Go nello spazio dei momenti
e delle coordinate, si ha
GoV<-i;)
1 - {. (K ~f)P .
4
)(211)4 e
~cC?) (;l P
Gt p) ": 4~~~~~~- .
'P _1ffi2 +'" ~
) (
86
dPI dP2 e tiPt(x-z) i e+ip:!(z-y) i +ip(x-y)
4
4 2
2
2
2
e
d(x-y)
(2lt) (2lt) PI - !Ilo + ie P2 - mo + ie
o(x)
= ~e +ipx
(2lt)4
ricordando che
O(x)=
_dx
_ e''ipx
(27t)4
dpI dP2
i
i
+iP(x-Y)d() d iZ(Pt- p:!) -iPt x + iPV'
--4--4 2
2. 2
2. e
x-y
ze 0'0 .I e
=
(2lt) (27t) PI -!Ilo + le P2 - mo + le
I v " ('0
'\
(21\)" d l'I \'1 I
x
dP2
i
i
"(
) (2 )4
=
-dPI
-e +ip(x-Y)d()
x-ye-iPt + in..v
rv U P,-P2lt
( .) (2lt)4 (2lt)4 p~ - ~ + ie p~ - m~ + ie
f ~(
4
(27t)
f
f
dPI
-(
(2lt)4
i
)2 +ip(x-Y)d( _ ) -iPt(x -y)
2
2
e
xye
PI -!Ilo + ie
i
)2e+i(x-y)(P - Pt) d( x-y ) =
p~ - ~ + ie '~.oV/----~
0.11) ,
~ (Io.
FII)
In questo modo si e' dimostrato (nel caso particolare, ma e' vero in generale)
che .nello spazio dei momenti le gambe esterne contribuiscono con
propagatore
'l
p@p
IV
;L
,
2
!J
un
87
dpt (
(21t)4
dP4
pi -
i)
~-
ie (Pt - P3 -P4 )2 -
m~ + ie
(21t)4 p~ - m~ + ie
i
.
= ( Pt2 - mo2-le
)2
dPJ dP4
(2)4
(21t)4
1t
-p~-----=m-~-+-i-e
i
2
dP3
(21t)4
i
2.
P3 - fio + le P4 - mo2+le
.
Pt - P3 -P4 )2 - mo2 + le
88
NOTA 3
Dimostriamo che
Osserviamo che
J,-o dI'e"
Il
-AA
I n fa tti
(n - l )!
An
Allora
89
NOTA 4
ai
90
indicate con A.
Begolarjzzazione
dimensionale
('t
Hooft-Veltman,1972):
nasce
integrali
con
divergenze
ultraviolette
possono
essere
resi
91
BIBLIOGRAFIA
1) S. Pokorski: op. cit., Capp. 2,4
2) T.P. Cheng & L.F.Li: op cit.,Cap 2
3) C. Itzykson e J.-B. Zuber: op. ci t. , Capp. 2,8
92
6. CAMPI FERMIONICI.
(6.1.1)
p2
H=2m
si ricava l'equazione di Schroedinger non relativistica
. IL
iJ
I
,!,(x. )
iJI
l.fl -
= - -if2
2m
V2 '!'(x. t
e ricordato che
(E Px. Py. pz )
~.
93
(6.1.2)
L'equazione (6.1.2) e' difficile da trattare matematicamente ed e' asimmetrica
nelle coordinate spaziali e temporali.
(6.1.3)
cioe'
e, per analogia,
cioe'
(6.1.4)
ave
94
(X , X , X , X ) ==
(ct,
X,
y, z)
definita
Cio' lo
(6.1.5)
I (i~-m)f::::O
Qui:
( SI..Ac-e)
ove le yI1 sono matrici che agiscono in uno spazio di dimensione N; 'l' e' un
vettore in questo spazio.
Scriviamo allora
Ci
da cui segue
= O
95
(6.1.6)
ove
o O
-1 O
O -1
O O
(6.1.7)
("l)2 ==
(1)2=-1
+1
{"l/h = O
c/,'h = O
11==0, v=k
Il == k, v = i, i
Se scegliamo
l'
;t
(k= 1,2,3)
(6.1.8)
l'
puo'
'yO=_yO,
(6.1.9)
Passando alla traccia e ricordando che Tr(AB) = Tr(BA): si ha
Tr (yo) = Tr (, yO ,) == Tr ("
l)
= - Tr (yO)
.,
U
Tr (l) = O
Da quanto detto prima sugli autovalori di
Le scelte piu' semplici sono: N",2 e N=4.
l'
pr4
T(O~)'=
di Pauli e l'identita' formano una base nello spazio 2x2, ma non possono
96
soddisfare le relazioni di anticommutazione (6.1.6).
Vedremo adesso che N.. 4 e' lo spazio di dimensione piu' piccola in cui e'
p()~~sibile
sia diagonale:
Yo=(*l=(~X+~J~r)
fi=
l>e.,t-
rO .,:.
+4
Se scriviamo
=.
_.<c....+.... M<._
\\
+
e'
scegliElndo
ove le
Irr//
(J3=G~J
97
(6.2.1)
ov~
r = 1,2
+1
er
(6.2.2)
=o
r", 3, 4
-1
r Er = +i
t=r
t"'
fC ssa.Co .
(i,
e (6.1.5) diventa ;
~r Pr
0/
= - i er Pii
([ -
1j1r
r _
(YYL )
41 -
(p'-erm)wr(p) = O
Scriviamo
ove Xf e
scrive
<pf
(6.2.3)
~ (::j
(6.2.4)
In termini di questi, (6.2.3) si
98
(pO _ Er m)xr _ p'
(J
q>r
(J
=O
''l
= O
(6.2.5)
da cui
r = 1, 2:
E=+p
r = 3,4:
wr(P)
= [~
q>rj
E+m
q>r
(P) = u (p,+1)
vl(p) = u (p,-1)
W
(P) =
(p,+ 1)
w\P) = v (p,-1)
l'
<=>
<=>
J" (iC
t (~
ot",-1<=>
J,
(j'l'",-1
lf
:.~1
(6.2.6)
e si pone:
6.3.
BILINEARI.
Per introdurre il concetto di elicita', consideriamo il caso di un fermione di
Ci
99
'r."'.' ".""
t:.
j-
1 - 15
1 (
PH- = -2- = 2" ~ 1
(6.3.2)
ave
. o
1 _2 3
15 = I 1 1 r 1 =
Consideriamo (m=O)
t.
r-=
t=. -
PHU (p, ) = -1 (1
2 1
ave n .. p/ipi.
r;:;1 t t
c\
J '"
vR+P'I ~Pt f
(6.3.3)
/:)0
1 ),[
1
(0-1-10\1)
l ) [l
= -1
a' n Xr
a . n xr )
r
X + a . n Xr
'=~,
a . n xr = az xr =
r=2
da cui
P H- u(p,+)
=O
100
Cerchiamo di dare un significato fisico ai risultati trovati.
Osserviamo che
H=<J'P=<J'n
Ipi
(6.3.4)
rappresenta la proiezione dello spin <J nella direzione n del' moto della
particella: questa grandezza e' detta
e..I.i.!.Li..ta
della particella.
Gli operatori PH
rappresentano gli operatori !Le.roiE)zi().!1~_su!ut()~p_azi con elicita' definita":
~ (b)'
il (~)
t
-1
i n f a Il i .
,~
'<J
[~:) = +[~:l
H[~~ l -[~:2l
.. n (t) ~ (.~)
cioe'
[~:2) ha
+1
elicita' -1
Osserviamo che .I~~,!~!~ta' e' un buon numero quantico solo per particelle con
massa nulla.
(6.3.5a)
componente sinistrorsa
(6.3.5b)
"
'fl+'l'f=o
::t(4. ot' l' -ml) Ys 4' ~
:4:
inSi"
\ ;y14 r L
fr(IJ)
lf
(6.3.6)
.~ o
101
con velocita' v < c.
stessa direzione.
=======1[:>
-G-----~p
()
<.Jt===
p
appare
I
ove
1jI+
1jI,
Se
ljI
ii - m) ljI
-1
e' soluzione di
=
(6.3.8)
si trova che
+
ljI = ljI 10
e' soluzione di
102
~
\ji(id'+m)=O
(6.3.9)
Se sotto
risulta
'~1. I
tp(x)
"'"
(6.3.10)
lUi
+ v'f.
Ov
: ;: WT ,Jc.. +
-~
Lf 0" . -
"" tpex )
'"
5'~0)
(6.3.11 )
Consideriamo l'inversione spaziale:
x' '" - x
Je.t I\.~ ~ ~1
t' '" t
~ TR,As F. II1f'Rof'fl-IA
se
(id' - m) 'l'(t,X) = O
(i-oo"Osservando che
()o'
r(t,x)
00
1f(c, -)()
(6.3.12)
x)
=:0
103
Moltiplichiamo a destra per
e ricordando la (6.1.6):
cioe'
(iii - m) 10 ljI(t,-X) = O
Quindi l'operazione di parita' e' data da
(6.3.13)
ove q>
9l.
(6.3.14)
Verifichiamo che
(6.3.15)
soddisfa l'equazione (6.3.14), se ljI e' soluzione dell'eq. di Dirac.
Infatti
<-I
->1
- m) ljI = O
b\rc
l)tr~e b0\,Gtl..
per le equazioni (6.1.5) e (6.3.9) .
.ilH E'
~
che questa risulta definita positiva (quindi almeno uno dei problemi di
interpretazione sollevati dall'eq. (6.1.4) e' stato risolto!); infatti
104
(6.3.16 )
d x '1/(t,X) \jf(t,X)
=1
jl"(if or 1f')'"
<* tp'(l"lf ~
(6.3.17 )
e' conservata.
Conclu diamo questo paragr afo introdu cendo i possib ili
covaria nti bilinea ri
della teoria di Dirac. Osserviamo che in uno spazio 4x4 una
base e' formata da
16 matrici indipendenti r.
Una scelta particolare di questa base e' data da:
rs = 1
r=
scAL.ARE
f"::t;. u/)o.s cA L/\Rl;
"(5
(~
lt )
r l1v = "(11
r l1A = "(5 "(11
T
r l1v
= O'I1V
U<AP .:;-
i [r<x
O;3J
( G ). ti n \'.
(6.3.18 )
ijf(x) r \jf(X)
Osservando che
(~ ti~
(6.3.19 )
('vI"' V
1(),()~(
Jr'tbJ/ii'"
105
e, quindi,
P 15
= - 15 P
si ricava che
scalare
pseudoscalare
v.
r 11'
vettore
r::
pseudovettore
r I1TV .'
tensore
CoVAR,I/ltJT8
C&L 2 oRDINI;,
questo
paragrafo
tratteremo
punti
fondamentali
della
seconda
formalismo
fermionici.
= o/(i al - m)1jI
(6.4.1)
ljI
ljI
barra ottengo
106
l'equazione di Dirac (6.1.5) e la sua aggiunta (6.3.9)
.k-rtlf~ ri.i~-'
i< 'lf r,"\\W"'" 9
... LI'
all~-~=o
(i
(;I -
m) '" =
aallo/ aiii
(6.4.2)
0/ Ci al + m)
O
(6.4.3)
aL = I",
. +
il= -
ao/
(6.4.4)
(6.4.5)
Consideriamo la soluzione generale dell'eq. di Dirac libera (6.4.2); ricordando i
risultati del 6.2 possiamo scrivere
~f
",ex) == ~
s
d p
(21t)3/2
~
. + d\p,s) V(p,S) e1PXj
.
- [b(p,s) u(p,S) e- 1Px
Ep
(6.4.6)
ove
107
b+(p,s). d(p,s) e d+(p,s) come operatori che creano e distruggono particelle.
Richiediamo che questi operatori soddisfino le regole di anticommutazione
(6.4.7)
ove si intende che in tutte le altre combinazioni l'anticommutatore di due
operatori sia nullo.
(6.4.8)
H=
d3x K =
(6.4.9)
Infatti, se
108
In
analogia
con
quanto
viene
fatto
per
l'oscillatore
non
relativistico,
interpretiamo
(6.4.10)
come l'operatore che mi da' il numero di occupazione per gli elettroni; l'analogo
per i positroni e'
Njp,s) = d+(p,s) d(p,s)
(6.4.11)
invece
un
dei
commutatori.
Consideriamo,
infatti,
oscillatore
armonico
bb;l-: 1-
b+b
Se
= (b+b)
(b+b)
= b+ (1
- b+ b) b
= b+ b = N
br(bbt)b
cioe'
Quindi N ha come autovalori O ed 1: non e' possibile avere due particelle nello
c1q~ ;;~d+d
Se
nella
(6.4.9)
usiamo
",,(.~.
d.+cl,
(6.4.7)
ed
<l d+
regole
di
anticommutazione
109
H=
L fd p ~ [N+(p,S) + N_(p,s)]
af'll;;;Rcqlri DtP(l~rtf)
p()~ litVf\
(6.4.10)
Questa formula ci dice ancora una volta che e' necessario quantizzare il campo
fermionico per mezzo di (6.4.7).
H =
L f d p Ep [N+(p,s) - N_(p,s)]
3
formale sarebbe stato possibile avere stati con energie negative e grandi a
piacere: non esisterebbe uno stato di vuoto stabile.
Vedremo
traiettorie
ora come
sia possibile
fermioniche.
introdurre
Osserviamo
che
l'integrale
il
sui
formalismo
cammini
per
dell'integrale
Nel caso di campi scalari abbiamo visto che si usano funzioni <p(x) a
valori complessi: cio e' strettamente legato al falto che nella quantizzazione
canonica si richiede che il campo <p soddisfi la regola di commutazione
110
[rp(X,t),rp(y,t)) = O
(6.4.11 )
E' evidente che la regola (6.4.11) e' soddisfatta anche se rp(x,t) e' una funzione
numerica!
(6.4.12)
ed e' allettanto evidente che le (6.4.12) non possono essere soddisfatte da
usuali funzioni numeriche.
Grassmannn
avevamo
visto
che
per
esse
valevano
le
regole
di
(6.4.13)
ove J e J barra sono i campi sorgente (vd. Nota 4).
(6.4.14)
<-
l>
l>
== (-i) - - Wo[J,J]-_
I>J(y)
l> J(x)
2
IJ=J=o
Wo[O,O]
(6.4.15)
~ [TJ
~[oJ j~o
111
f
=f
d 4x \jI(X) (i al - m) ",(x) =
4 4
d x d y\jJ(x) (i
a~ - m) 04(X-Y) ",(y)
4
d 4x d y \jI(x) S-l (X-y) ",(y)
(6.4.16)
ove
S-l(p)
=-
=-
d 4z e ipz (i
il - m) 04(Z) =
(pl - m)
quindi
(6.4.17)
Con la prescrizione di Feynman
S(x-y) = -
d4p
--
p/+m
(2n)4 p2 _ m 2 + i E
exp [ - i P (x - y)
(6.4.18)
112
WolJ,J]
= Ndet
= WolO,O] exp [i
(6.4.19 )
e con (6.4.15) si ha
SF(X-Y) = - i S(X-Y)
(6.4.20
cioe'
(6.4.21 )
e
d4
SF(X-Y) = f-P-
exp l - i P (x - V)]
(2lt)4 p/-m+ i
(6.4.22 )
113
NOTE
NOTA 1
Scriviamo
Ricordando che
(6.5.1 )
si pUO' scrivere:
-1.
Scegliamo
E '"
+1
Jl = - 1
Riassumendo
o=
(10-1O)
114
NaTA 2
Si consideri una trasformazione di Lorentz fra un sistema
di riferimento a
ed un altro sistema a'.
Le coordinate nei due riferimenti sono legati dalla
relazio ne
(6.5.2)
ove l'invarianza dell'intervallo di tempo proprio
implica
(6.5.3)
Se det I\. =- + 1, la trasformazione di Lorentz e' delta propria
; se det I\. = - 1, la
trasformazione di Lorentz e' delta impropria.
La covarianza di Lor~ntz
richiede che ci sia una prescrizione esplicita che permetta,
data la funzione
",(x) soluzione dell'eq. di Dirac
/1
ff
:)'.
115
S(A) = A~
"l
(6.5.4)
ove
e
e le matrici
crfLV
sono
(6.5.5)
Si dimostra che, per trasformazioni proprie finite, vale
S-l = 10 S+ 10
(6.5.6)
116
NOTA 3
(6.5.7)
(P' + m) V(P,) = O
(6.5.8)
e
si ha
U(P,) (P' - m) = O
(6.5.9)
V(P,) (P' + m) = O
(6.5.10)
(6.5.11)
I.
mentre
N-)
1
21EI
(2n)3
(6.5.12)
117
NOTA 4
118
BIBLIOGRAFIA
1) J. O. Bjorken - S. O. Orell: op. cit. (R. Q. M.), capp. 1, 2, 3, 5
2) J. O. Bjorken - S. O. Orell: op. cit. (R. Q. F.), cap. 13
3) S. Pokorski: op. cit., Cap. 2
4) L. O. Landau - E. M. Lifsits: Teoria quantistica relativistica, Editori Riuniti,
cap. 2
5) C. Itzykson - J. B. Zuber: op. cit., cap. 9
119
7. TEORIE DI GAUGE.
Chiusura, Se 9 ed t e G, t'g e G
ii)
Associativa,
t(gh) .. (tg)h
iii) Identita'. Esiste un elemento e tale che et '" te = t, V'te
G
iv)
Inverso.
Esiste un elemento t-l tale che ff-l = t-l t '" e , V'te G
Inoltre se la moltiplicazione e' commutativa, cioe' tg ,. gt
V'f,g e G, G e' detto
gruppo abelia no.
Se il numero di elementi in G e' finito, si dice che G e' un
gruppo fi.o..i.t2. Un sottog rypoo e' un sottoinsieme di G che
abbia la struttura di
gruppo.
RAPPRESENTAZIONE DI UN GRUPPO. Dato un gruppo G ed
uno spazio vettoriale
H, la rappresentazione e' una applicazione
G ----------> {op. limitati su H } '" L(H)
9 ----------> T(g) e L(H)
che conserva le proprieta' di gruppo:
V'f,geG
T(fg}
sa
T(f) T(g}
T(e} ,. 1e L(H}
Delto in maniera meno formale la rappresentazione e'
una realizz azione
specifica delle proprieta' di un gruppo astratto per mezzo
di operato ri (o
120
matrici).
Diciamo inoltre che se una rappresentazione T(f) puo' essere messa in forma di
blocchi diagonali, cioe' esiste una matrice non singolare M, indipendente dagli
elementi del gruppo, tale che
Tl(f)
T2(f)
M T(f) M-l =
'v'f e G
O
T(f) e' chiamata rappresentazione riduci bile, questa sara' indicata da una
somma diretta T l (f) E9 T 2(f) E9...
irriducibile.
Noi possiamo considerare le matrici T(f) come trasformazioni lineari su
insieme di basi.
~'
quindi la dimensione
</l
stabilire nell'intorno di
ogni ge G la
t.c.
geG
121
del gruppo di Lie (dove per infinitesima si intende definita da parametri della
coordinatizzazione in un intorno di O di :R. n ovvero di 1 della rappresentazione)
e si puo' scrivere
(7.1 .1)
I '" 1...... n
ove Il '" generatori della rappresentazione infinitesima; costituiscono un'algebra chiusa rispetto al commutatore
ove
Cj /k
sono
dette
costanti
di
struttura
sono
indipendenti
dalla
rappresentazione
Il gruppo di Lie quindi ci permette di individuare l'elemento di un gruppo
mediante un numero di parametri pari alla dimensione dello spazio :R. n. La
dimostrazione che la rappresentazione puo' essere espressa mediante la (7.1.1.)
ci indica che il numero dei generatori e' pari alla dimensione n di :R. n cioe' al
numero dei parametri.
GRUPPO UNITARIO U(n).
20
1,
122
SU(2).
tre
generatori
per la
rappresentazione
infinitesima.
Consideriamo
una
aj parametri reali
,J' :::. i, f'l,u / ~):z
deve essere
det U = 1
inoltre
(Jl =
(~ ~)
~=(~~i)
(J3 =
(~ ~J
123
(E ijk
Si ha
matematico
che
permette
di
concentrarsi
sul
problema
delle
simmetrie, ed e' proprio il concetto di simmetria che e' alla base delle teorie
di gauge nel senso che queste teorie hanno la caratteristica fondamentale di
instaurare un naturale legame fra simmetrie e campi, consentendo cioe' una
naturale introduzione del concetto di interazione.
Analizziamo in maggior dettaglio il concetto di simmetria.
Il concetto di
e'
l'invarianza
di
spin
isotopico:
questa
simmetria
Un tipico
si
basa
Da un punto di vista
124
Un
altro
esempio
dell'elettromagnetismo.
di
simmetria
e'
la
simmetria
di
carica
nelle quali si puo' stabilire una convenzione indipendente per ogni punto dello
spazio e per ogni istante di tempo.
Si
vedra' che usando simmetrie locali, richiedendo cioe' l'invarianza della teoria
rispetto ad una trasformazione locale, si dovra' aggiungere qualcosa di nuovo:
la forza.
In questo senso le affermazioni iniziali acquistano un significato.
Il
TRASPORTO PARALLELO.
125
3
v
46'
La non
Se
~(J
circuito (solo se lo spazio e' piatto, AmO, il vettore trasportato coincide con il
vettore iniziale).
In una geometria riemanniana il trasporto parallelo cambia solo la direzione
del vettore ma non la sua lunghezza e neppure il prodotto scalare con unK altro
vettore.
Weyl penso' che in uno spazio-tempo reale anche la lunghezza del vettore v
cambiasse per trasporto parallelo e si accorse che se cio' succedeva avveniva
in maniera completamente analoga a
e si poteva scrivere
126
In questo senso
Sperimentalmente questa teoria doveva fornire risultati, che non sono pero'
mai stati osservati.
Il concetto era comunque giusto e l'idea di generare la teoria di Maxwell con
una richiesta di
osservabile.
SIMMETRIE DI GAUGE U(1) ABELIANE.
Lo = iji (x)
Consideriamo la Lagrangiana
127
IjI(X) -) eiGIjI(X)
l'G
a~ IjI(X) -) e a~ IjI(X)(7.2.1)
Consideriamo cioe' una trasformazione di fase con 8 non dipendente da x:
trasformazione globale. Osserviamo inoltre che la
a~
normale.
Si dimostra facilmente (vedi nota 1) che
abbiamo che
Nell'ambito
della
geometria
differenziale
c'e'
un
metodo
standard
per
campo stesso.
(7.2.3)
128
D~
connessione affine che nel nostro linguaggio e' correlata al campo di gauge
A~ (x)
A~ (X) -+ A~ (x) - -
a~ 9(x)
(7.2.4)
e A~
(7.2.5)
e' facile dimostrare (vedi nota 1) che DI!IjI(x) si trasforma sotto (7.2.2) e (7.2.4)
come indicato nella (7.2.3).
al! con
sotto trasformazioni
DI!0vunque in Lo.
(7.2.6)
Nel senso che la Lagrangiana del tipo (7.2.6) e' invariante sotto trasformazione
del tipo
(7.2.7)
Notiamo che si richiede anche la legge di trasformazione del campo perche' un
campo e' stato introdotto nella Lagrangiana dalla D' (derivata covariante), cioa'
la richiesta che la Lagrangiana sia invariante sotto trasformazioni locali di
gauge introduce naturalmente un campo AI! (x) nella Lagrangiana stessa (vedi
7.2.6.)
129
Se noi vogliamo interpretare questo campo A~ come il S~8-ev@BR"~~AAD\~~,
!l~~~,
Questo termine deve essere gauge invariante e sara' del tipo (nota 2)
(7.2.8)
ove
(7.2.9)
notiamo che la lagrangiana (7.2.9) non contiene termine AIlAIl dal momento che
termini del genere non sarebbero gauge invarianti., quindi se si richiede
camno di gauge non abbia massa.!
invarianza sotto (7.2.7) si fa in modo che il .r-y:..v-:v-V--V--~--v~rV--V-V)"'---"~
(che e' la costante moltiplicativa di termini AIlAIl).
SIMMETRIE DI GAUGE NON ABELIANE.
trasformazioni di tipo U(1), eia, ed abbiamo considerato i due casi: 1) caso con
non dipendente da x; 2) caso con e:; e(x) e abbiamo visto che nel caso di
trasformazioni
locali
la
richiesta di
gauge
invarianza della
lagrangiana
IJI(X)
sara' un vettore in Cn
130
U(x) sara' della forma
U(X) = exp
(~
i !XJX) Tk )
(7.2.10)
ave
campi in questo caso sono dei vettori AI! a e sono in numero pari ai
(7.2.11)
Si pUO' dimostrare che (vd. nota 3)
(7.2.12)
e che sotto trasformazioni del tipo
'l'(x) --+ U(X) 'l'(X)
(7.2.13)
La lagrangiana
Lo --+ LI = iji(x) (i
P-
m) 'l'(X) =
131
e' invariante.
La parte -(1/4) FJ.1v FJ.1V deve essere generalizzata nel caso non abeliano (vd. nota
3)
(7.2.14)
ove
(7.2.15)
Si puo' notare che nel caso di trasformazioni di gauge non abeliane compaiono
dei campi accoppiati fra di loro (vd. 7.2.14 e 7.2.15) per la presenza di termini
(AJ.1)3 e (AJ.1) 4 , ma ancora una volta privi di massa per l'assenza di termini del
tipo AJ.1 AJ.1.
7.3.
DI HIGGS.
Abbiamo visto finora che la richiesta di una simmetria di gauge locale
implica l'esistenza di particelle vetloriali senza massa.
Se vogliamo evitare
132
gauge invariante che fornisca in modo diretto la massa al campo (termine del
tipo AI! AI!); in questo modo pero' cadrebbe la rinormalizzabilita' della teoria.
Un modo alternativo e' quello di una rottura spontanea della simmetria, che
puo' essere vista come una simmetria nascosta nel senso che pur essendo la
lagrangiana invariante. la scelta di un particolare stato di vuoto rompe la
simmetria fissando la fase del campo.
sistema e' "scivolato in uno specifico stato di vuoto non puo' spostarsi in una
altro.
ROTTURA SPONTANEA DI UNA SIMMETRIA DISCRETA
Prendiamo un campo
scalare ordinario
una
costante
adimensionale
di
133
v (q:)
Ha un minimo a <p-O.
la
lagrangiana
e'
rispetto
ad
una
trasformazione
<p
~ -<p.
,
I
v(q:)
134
cp ..
o diventa
costante possiamo scrivere V(cp) in modo che abbia valore O nei minimi.
v (Cf)
.. (cp 2 - T] 2)
V(cp) = -
La scelta di uno dei due possibili stati di vuoto rompe la simmetria nel senso
che abbiamo una lagrangiana speculare rispetto a trasformazioni cp
vuoto cp '"
T]
-cp ed un
135
v(<)
v (<)
~--
V(q
:::;
O vi e' un
Un punto
soddisfano la condizione
kp I '"'
11'' 2 e stanno
della fase della funzione q> rompiamo l'invarianza rispetto a trasformazioni del
tipo q> -+ q> eiO.
Il passo
136
successivo consiste nello scrivere il campo q> nella forma
1
q>(x) = {2 (TI + X(x
variabili
L = -1 2 dXI!
=.!.2 (S)
_.!.8 2X2(2T1 + X)2 + .!.2 e2Al!2(TI + X)2 - .!.4 FI!V FI-Iv
dX
l!
i) il campo X ha massa TI
ii) il campo vettoriale di gauge AI! acquista una massa e la sua massa e'
2 Se si scrivesse il campo come 4> = 1 1";2 (TI
en
137
In simmetrie di gauge locali non solo i campi scalari X hanno una massa, ma
anche i campi di gauge vettoriale All acquistano una massa ed inoltre esiste un
accoppiamento tra i campi di gauge ed i campi X.
campo di gauge acquista una massa a spese dei bosoni di Goldstone, che
vengono
massivo.
Higgs e le particelle scalari descritte dal campo X sono dette bosoni di Higgs.
L=
rl.IY
-1 2( 1<il 12 - -1']2 ) - -1 Tr F r'
2
2
2
IlY
anche in questo caso X ha massa T\ e si e' data massa ai tre campi di gauge
(quanti sono in SU(2)) pari a 9T\.
Rivediamo schematicamente il modello di Higgs
1) scegliere un gruppo di gauge (trasformazioni locali)
2) scrivere la piu' generale lagrangiana invariante sotto trasformazioni U
(nella quale i
138
la struttura stessa del gauge non possono essere dotati di massa in quanto il
termine AI! AI! non e' gauge invariante; il meccanismo di Higgs fornisce un
metodo che mantenendo la rinormalizzabilita' della teoria permette di fornire
massa ai campi di gauge a patto di introdurre un ulteriore campo scalare
anch'esso dotato di massa detto campo di Higgs.
Consideriamo
un integrale funzionale
(7.4.1)
ave [dAI!] rappresenta una misura gauge invariante ed L e' l'usuale lagrangiana
gauge invariante.
Introducendo la notazione
(7.4.2)
per il trasformato di AI! sotto un'arbitraria trasformazione U del gruppo di
gauge posso riscrivere le affermazioni di qui sopra in forma compatta:
139
}
(7.4 .3)
Osserviamo
che
l'integrale
(7.4.1)
e'
calcolato
su
tutte
le
possibili
Noi,
fisiche diverse.
l'equazione
(7.4.4)
una
data
configurazione
AI!
e, partendo da questa,
ru:..b.i.1a.
della forma generale PX(x,[AI!J) in quanto per fissare il gauge abbiamo bisogno di
un'equazione (in ogni punto dello spazio-tempo) per ogni parametro del gruppo.
Ad esempio, nell'elettrodinamica (GmU(1 )), il gauge di Lorentz e' fissato
dall'equazione aIlAI!(X)mO.
Per ottenere che l'integrale (7.4.1) sia calcolato sui campi che soddisfano la
condizione di gauge (7.4.4). introduciamo il funzionale Il[A Il ] definito con
l'equazione
140
(7.4.5)
Qui /)[F[A .... (x)ll rappresenta il prodotto di funzioni /) di Dirac usuali:
(7.4.6)
=
=
f
f
[dU'] /)[F[A~u'])
[d(UU')] /)[F[A~u'll
(7.4.7)
Integrare su un gruppo e' equivalente, per un gruppo discreto, ad una somma sui
vari elementi del gruppo.
Ad esempio, la quantita'
VG
'"
f [dU]
(7.4 .8)
non e' nient'altro , per un gruppo discreto, che il numero di elementi di gruppo.
Vedremo adesso che l'integrale (7.4.1) e' proporzionale a VG'
prodotto
(7.4.5)
(e' uguale ad
1!) in
(7.4.1)
ed
invertiamo
integrazione:
f f
/)[F[A~ll
Scriviamo il
l'ordine di
141
f [d~] 6[A~
f[dA~]
f M~J
exp (iS[AIl])
U
MAlll exp
o[F[A~]]
[dAIl]
exp
(iS[A~]) o[F[A~ll =
(iS[A~) o[F[~ll
Quindi posso
(7.4.9)
che rappresenta il punto di partenza della teoria con la condizione di gauge
F[Alll .. O.
-1
o[F]
cioe'
(7.4.10)
6[A ll l e' detto determinante di Faddeev - Popov.
142
U
MA.,)
..
oF[A li )
= det-OU -
U=1
=det
M;
F[A,,)
..
=O
(7.4.11)
Nel caso delle teorie non abeliane il calcolo di detM viene fatto introducendo
dei campi ausiliari complessi che sono variabili di Grassmann (ma non sono
degli spinori!)
(7.4.12)
I campi "fantasma" TI (x) entrano solo nel calcolo di loop interni e, pur se l'eq.
(7.4.12) e' analoga alla (6.4.13) per i campi fermionici, i campi TI
caratteristiche dei campi scalari.
hanno
la forma -i/(k 2 +ie), analoga (ma con il segno sbagliato!) a quella di un campo
scalare con massa nulla.
(7.4.13)
Allora
(7.4.14)
Ottengo (vd. nota 5):
(7.4.15)
ave S(x) '" T" Sa(x).
143
(7.4.16)
ove
M9(x)
d y M(x,y) 9(y)
(7.4.17)
Per calcolare
6L~rentz[A~]
f II(M
[d9]
9(x
M9(x)
ed ho
6- 1
[A ] lorenlz Il -
[d]
det M
II l):(.,(x -_det
_
1_ I
M
M 8= O
(7.4.18)
a [T
, T~l
contributo e' nullo e quindi detM risulta indipendente dal campo AJl'
Possiamo
144
in (7.4.9), ottengo
f [dA~]
S[A~])
exp (i
= VG
f [dA~]
+ f
i
[dTJ dii]
4
4
Tj(X) M(x,y) TJ(y) d x d
y)
(7.4.19)
Completiamo il calcolo del propagatore nel gauge di lorentz, nel caso G=U(1).
Scriviamo l'azione del campo elettromagnetico libero
f
~f
= +~
d x
=+
d x
A" a2 Av = + ~
-l
D~v
(x,y) = D-l
~v (x-y) =
d x A~ a
4
a2x g~y
",4
g~v A =
u (x-y)
145
OI1
I1 Y
(k) = - - g -
k2 + i e
(7.4.20)
(3,i4)
= Zam[O] exp [ -
OI1
Y(X-y) Jy(y) =
(7.
4.21 )
e il propagatore e'
(7.4.22)
In realta', poiche' si puo' porre uguale a zero la parte longitudinale di Ali (vd,
nota 7), otteniamo che anche il propagatore deve essere trasversale (k"G"y,Bm""O)
e scriviamo
(7.4.23)
Ai fini dei calcoli l'uso di G"Yem(k) come definito da (7.4.22) o da (7.4.23) e'
146
equivalente; nel seguito, dunque, considereremo il propagatore espresso da
(7.4.22).
147
NOTE
NOIA 1
= Lo
= eiO(X)dll'V(X) +
= eiO(X)dll'l'(X) +
ie iO (X)'V(X)d 9(X)
Il
ie iO(X)'V(X)d 9(X)
Il
+ ieAIl'eiO(X)'V(X)
+ ie~eiO(X)'V(X) - ieiO(X)'V(X)d 9(X)
Il
= eiO(X)DIl'V(x)
NOIA 2
a) F IlY e' gauge invarian te.
Flly -t FIlY' = dll ( Av -.; dy 9(x) ) - dv(AIl -.; d 9(X) =
Il
= dllAv - -
148
b) (1/4) FliyFIlV e' un termine di energia cinetica in quanto non e' altro che
la
Ey Ez
Bz -By
O
Bx
-B x O
ma
=_
2.. (E 2 + 8 2)
2
NOTA 3
149
DI1Ijf(X)
DI1 (U(x)Ijf(X
= dl1 (U(XIjf(X)
= dl1 (U(X)Ijf(X
+ igA I1'U(x)Ijf(X)
otteniamo
Tr (Fl1y FI1Y)
150
NOTA 4
2
L=
1D
/1
cP 12 -
cP
poniamo
1 ( O )
cP - - ..J2 11+X
con la scelta CPl .. O, 1m CP2 .. O
Ora
t.
151
In definitiva
NOTA 5
secondo in S:
152
NOTA 6
NOTA?
Infatti, trascurando
parti nell'azione, ho
..!. Av (al1a11Av 2
..!. Av (il-Av 2
al1av AI1)
al1avAI1 )
si ha
153
Allora
A~.A~
Si osservi che
Quindi posso porre Afl L' in quanto l'azione del campo elettromagnetico
libero dipende solo dalla parte trasversale di Afl.
154
BIBLIOGRAFIA
1) G. Preparata: The Standard Model: Its Foundations and Its Problems, da
Hadronic
Physics
at
Intermediate
Energy,
Eisevier
Science