Kuantum Alan Teorisi

Transkript

Kuantum Alan Teorisi
Kuantum Alan Teorisi
Kayhan ÜLKER
TÜBİTAK – Feza Gürsey Enstitüsü (TBAE)
www.gursey.gov.tr
October 8, 2010
Kayhan Ülker - 2010
,,
ÖZET:
Temel bilgiler :
Klasik Alan Teorisi
Özel Görelilik, Lorentz Simetrisi ve Temel Parçacıklar
Kuantum Mekaniği
Kuantum Mekaniği + Özel Görelilik = Kuantum Alan Teorisi
Pertürbasyon
Feynman diyagramları
Iraksaklıklar
Regülarizasyon
Renormalizasyon
Kesin Renormalizasyon Grubu (Vakit kalırsa)
Süpersimetrik teorilerin KRG yardımıyla renormalize
edilebilirliği : (Bir başka bahara)
Kayhan Ülker - 2010
,,
ÖZET:
Temel bilgiler :
Klasik Alan Teorisi
Özel Görelilik, Lorentz Simetrisi ve Temel Parçacıklar
Kuantum Mekaniği
Kuantum Mekaniği + Özel Görelilik = Kuantum Alan Teorisi
Pertürbasyon
Feynman diyagramları
Iraksaklıklar
Regülarizasyon
Renormalizasyon
Kesin Renormalizasyon Grubu (Vakit kalırsa)
Süpersimetrik teorilerin KRG yardımıyla renormalize
edilebilirliği : (Bir başka bahara)
Kayhan Ülker - 2010
,,
ÖZET:
Temel bilgiler :
Klasik Alan Teorisi
Özel Görelilik, Lorentz Simetrisi ve Temel Parçacıklar
Kuantum Mekaniği
Kuantum Mekaniği + Özel Görelilik = Kuantum Alan Teorisi
Pertürbasyon
Feynman diyagramları
Iraksaklıklar
Regülarizasyon
Renormalizasyon
Kesin Renormalizasyon Grubu (Vakit kalırsa)
Süpersimetrik teorilerin KRG yardımıyla renormalize
edilebilirliği : (Bir başka bahara)
Kayhan Ülker - 2010
,,
ÖZET:
Temel bilgiler :
Klasik Alan Teorisi
Özel Görelilik, Lorentz Simetrisi ve Temel Parçacıklar
Kuantum Mekaniği
Kuantum Mekaniği + Özel Görelilik = Kuantum Alan Teorisi
Pertürbasyon
Feynman diyagramları
Iraksaklıklar
Regülarizasyon
Renormalizasyon
Kesin Renormalizasyon Grubu (Vakit kalırsa)
Süpersimetrik teorilerin KRG yardımıyla renormalize
edilebilirliği : (Bir başka bahara)
Kayhan Ülker - 2010
,,
Klasik Mekanik
Büyük ve yava! nesnelerin fiziği
Kuantum mekaniği
Küçük ama yava! nesnelerin
fiziği
+
Özel Görelilik
Hızlı ama büyük nesnelerin
fiziği
Kuantum Alan Teorisi
Hızlı ve küçük parçacıkların fiziği
Kayhan Ülker - 2010
,,
4 | I. Motivation and Foundation
Klasik Alan Teorisi
İki boyutta birbirine
yaylarla bağlanmış pek
çok parçacık düşünelim.
Burada l iki parçacık
arasındaki mesafe (örgü
uzunluğu) olsun.
Figure I.1.1
Bu sistemin Eylemi aşağıdaki şekilde yazılabilir.
S=
�
dtL =
1
2
�

dt 
�
a

treated as a field; well, it is a field. Its Fourier components are quantized as a collection
of harmonic oscillators, leading to creation and annihilation operators for photons. So
2 the electromagnetic field is a quantum field. Meanwhile, the electron is treated as a
there,
ab a b
abc a b c
poora cousin, with a wave function !(x) governed by the good old Schrödinger equation.
Photons cana,b
be created or annihilated,a,b,c
but not electrons. Quite aside from the experimental
fact that electrons and positrons could be created in pairs, it would be intellectually more
satisfying to treat electrons and photons, as they are both elementary particles, on the same
footing.
So, I was more or less right: Quantum field theory is a response to the ephemeral nature
of life.
All of this is rather vague, and one of the purposes of this book is to make these remarks
more precise. For the moment, to make these thoughts somewhat more concrete, let us
ask where in classical physics we might have encountered something
vaguely resembling
Kayhan Ülker - 2010
,,
the birth and death of particles. Think of a mattress, which we idealize as a 2-dimensional
lattice of point masses connected to each other by springs (fig. I.1.1). For simplicity, let
mq −
�
k q q −
�
g
q q q + ···
İlgilendiğimiz fizik l örgü uzunluğundan çok büyük olsun.
Matematiksel olarak l → 0 limiti alınmalıdır. Bu limitte
olacağından
�
�
a → �x ,
→ dDx
4 | I. Motivation and Foundation
Figure I.1.1
treated as a field; well, it is a field. Its Fourier components are quantized as a collection
of harmonic oscillators, leading to creation and annihilation operators for photons. So
there, the electromagnetic field is a quantum field. Meanwhile, the electron is treated as a
poor cousin, with a wave function !(x) governed by the good old Schrödinger equation.
Photons can be created or annihilated, but not electrons. Quite aside from the experimental
fact that electrons and positrons could be created in pairs, it would be intellectually more
satisfying to treat electrons and photons, as they are both elementary particles, on the same
footing.
So, I was more or less right: Quantum field theory is a response to the ephemeral nature
of life.
All of this is rather vague, and one of the purposes of this book is to make these remarks
more precise. For the moment, to make these thoughts somewhat more concrete, let us
ask where in classical physics we might have encountered something vaguely resembling
the birth and death of particles. Think of a mattress, which we idealize as a 2-dimensional
lattice of point masses connected to each other by springs (fig. I.1.1). For simplicity, let
us focus on the vertical displacement [which we denote by qa (t)] of the point masses and
neglect the small horizontal movement. The index a simply tells us which mass we are
talking about. The Lagrangian is then
L = 21 (! mq̇a2 −
a
!
a,b
kab qa qb −
!
a , b, c
gabc qa qb qc − . . .)
(1)
Keeping only the terms quadratic in q (the “harmonic approximation”) we have the equa"
tions of motion mq̈a = − b kab qb . Taking the q’s as oscillating with frequency ω, we
"
have b kab qb = mω2qa . The eigenfrequencies and eigenmodes are determined, respectively, by the eigenvalues and eigenvectors of the matrix k. As usual, we can form wave
packets by superposing eigenmodes. When we quantize the theory, these wave packets behave like particles, in the same way that electromagnetic wave packets when quantized
behave like particles called photons.
a
ve a.ncı parçacık qa yerine
qa (t) → q(t, �x ) ≡ φ(x)
xµ = (t, �x ) noktasındaki φ alanı yazılalabilir.
Böylelikle önceden yazdığımız eylem
� � �
�
�
�
2
� �2
∂φ
�
S(q) → S(φ) = dt d D x α
− β ∇φ
− γφ2 − ρφ4 − · · ·
∂t
şeklinde elde edilir. Görüldüğü gibi bu eylem d = D + 1 boyutlu bir
alan teorisine karşılık gelmektedir.
Kayhan Ülker - 2010
,,
Özel Görelilik
Tüm fizik yasaları yereldir.
Işık hızının bir limiti vardır v ≤ c
⇒ Uzay ve zaman birlikte düşünülmelidir !
⇒ Minkowski uzayı
(∆x)2 = (ct � −ct)2 −(x � −x)2 −(y � −y )2 −(z � −z)2
NOTASYON : c = � = 1
x ≡ t , x ≡ x , x ≡ y , x 3 ≡ z ⇒ x µ , µ = 0, 1, 2, 3
0
1
2

1
0

(∆x)2 = gµν (x �µ −x µ )(x �ν −x ν ) , g µν = (gµν )−1 = 
0
0
−1
0
0

0
0
−1
0
0
0
0
−1
xµ = gµν x ν = (t, −x, −y , −z)⇒x µ xµ = t 2 − x 2 − y 2 − z 2
Kayhan Ülker - 2010
,,
Minkowski uzayında mesafeyi değişmez kılan simetri grubu
Poincaré (öteleme+Lorentz)grubudur :
x µ → x �µ = aµ + Λµν x ν
Lorentz grubu SO(3, 1) = SU(2) ⊗ SU(2) gibi yazılabilir.
Bu grubun indirgenemez temsilleri (n, m) , n, m = 0, 12 , 1, 32
Bu durumda (n, m) temsilinin toplam spini n + m olacağı
aşikardır.
Kayhan Ülker - 2010
,,
Minkowski uzayında mesafeyi değişmez kılan simetri grubu
Poincaré (öteleme+Lorentz)grubudur :
x µ → x �µ = aµ + Λµν x ν
Lorentz grubu SO(3, 1) = SU(2) ⊗ SU(2) gibi yazılabilir.
Bu grubun indirgenemez temsilleri (n, m) , n, m = 0, 12 , 1, 32
Bu durumda (n, m) temsilinin toplam spini n + m olacağı
aşikardır.
Kayhan Ülker - 2010
,,
Minkowski uzayında mesafeyi değişmez kılan simetri grubu
Poincaré (öteleme+Lorentz)grubudur :
x µ → x �µ = aµ + Λµν x ν
Lorentz grubu SO(3, 1) = SU(2) ⊗ SU(2) gibi yazılabilir.
Bu grubun indirgenemez temsilleri (n, m) , n, m = 0, 12 , 1, 32
Bu durumda (n, m) temsilinin toplam spini n + m olacağı
aşikardır.
Kayhan Ülker - 2010
,,
Minkowski uzayında mesafeyi değişmez kılan simetri grubu
Poincaré (öteleme+Lorentz)grubudur :
x µ → x �µ = aµ + Λµν x ν
Lorentz grubu SO(3, 1) = SU(2) ⊗ SU(2) gibi yazılabilir.
Bu grubun indirgenemez temsilleri (n, m) , n, m = 0, 12 , 1, 32
Bu durumda (n, m) temsilinin toplam spini n + m olacağı
aşikardır.
Kayhan Ülker - 2010
,,
(n, m) → (toplam spin=n+m)
(0, 0) → φ ⇒ skaler
(1/2, 0) → λL ⇒ sol elli Weyl spinörü
(0, 1/2) → λ̄R ⇒ sağ elli Weyl spinörü
Diğer tüm temsiller yukarıda verilen temsiller yardımıyla
bulunabilir. Örneğin,
(1/2, 0) ⊕ (0, 1/2) → Ψ ⇒ Dirac spinörü
(1/2, 0) ⊗ (0, 1/2) = (1/2, 1/2) → A = σ µ · Aµ ⇒ 4-vektör
Şimdiye kadar gözlemlediğimiz tüm temel parçacıklar yukarıda
verilen matematiksel yapıyla ilişkilidir.
Kayhan Ülker - 2010
,,
(n, m) → (toplam spin=n+m)
(0, 0) → φ ⇒ skaler
(1/2, 0) → λL ⇒ sol elli Weyl spinörü
(0, 1/2) → λ̄R ⇒ sağ elli Weyl spinörü
Diğer tüm temsiller yukarıda verilen temsiller yardımıyla
bulunabilir. Örneğin,
(1/2, 0) ⊕ (0, 1/2) → Ψ ⇒ Dirac spinörü
(1/2, 0) ⊗ (0, 1/2) = (1/2, 1/2) → A = σ µ · Aµ ⇒ 4-vektör
Şimdiye kadar gözlemlediğimiz tüm temel parçacıklar yukarıda
verilen matematiksel yapıyla ilişkilidir.
Kayhan Ülker - 2010
,,
(n, m) → (toplam spin=n+m)
(0, 0) → φ ⇒ skaler
(1/2, 0) → λL ⇒ sol elli Weyl spinörü
(0, 1/2) → λ̄R ⇒ sağ elli Weyl spinörü
Diğer tüm temsiller yukarıda verilen temsiller yardımıyla
bulunabilir. Örneğin,
(1/2, 0) ⊕ (0, 1/2) → Ψ ⇒ Dirac spinörü
(1/2, 0) ⊗ (0, 1/2) = (1/2, 1/2) → A = σ µ · Aµ ⇒ 4-vektör
Şimdiye kadar gözlemlediğimiz tüm temel parçacıklar yukarıda
verilen matematiksel yapıyla ilişkilidir.
Kayhan Ülker - 2010
,,
Önce elde ettiğimiz eylem
� �
�
�
S(φ) =
dt
D
d x α
∂φ
∂t
�2
�
�2
�
− β ∇φ
− γφ2 − ρφ4 − · · ·
�
skaler parçacıklara karşılık geliyor.
Eğer klasik alanlar için yazdığımız bu eylem Lorentz dönüşümleri
altında da değişmez kalması istenirse (c = 1 için),
�
�
�
1 µ
1 2 2 λ 4
d
S(φ) = d x
∂ φ∂µ φ − m φ − φ − · · ·
2
2
4!
fromunda yazılmalıdır. Burada dikkate edilirse
∂ µ φ∂µ φ = (∂φ/∂t)2 − (∂φ/∂x)2 − (∂φ/∂y )2 − (∂φ/∂z)2 dir.
Kayhan Ülker - 2010
,,
Kuantum Mekaniği (iz integrali formulasyonu)
qi noktasından qs noktasına T zamanda gitme genliği
< qs |e −iHT |qi > ile verilir.
T ’yi δt = T /N olacak şekilde N
parçaya bölelim.
�
dqa |qa >< qa | = 1 olduğundan
< qs |e −iHT |qi >=
<
elde edilir.
�N−1
�
dqa
�
I.2. Path Integral Formulatio
O
S
Figure I.2.3
But dear reader, surely you see what that wise guy Feynman was driving at. I esp
enjoy his observation that if you put in a screen and drill an infinite number of hole
< qs |e −iHδt |qN−1
> is not really there. Very Zen! What Feynman showed is that even i
then that screen
a=1
qN−1 |e −iHδt |qN−2
were just empty space between the source and the detector, the amplitude for the p
to propagate from the source to the detector is the sum of the amplitudes for the par
go through each one of the holes in each one of the (nonexistent) screens. In other
we have to sum over the amplitude for the particle to propagate from the source
detector following all possible paths between the source and the detector (fig. I.2.3
> · · · < q2 |e −iHδt |q1 >< q1 |e −iHδt |qi >
A(particle to go from S to O in time T ) =
!
"
#
A particle to go from S to O in time T following a particular path
(paths)
$
Now the mathematically rigorous will surely get anxious over how (paths) is
defined. Feynman followed Newton and Leibniz: Take a path (fig. I.2.4), approxim
by straight line segments, and let the segments go to zero. You can see that this is ju
filling up a space with screens spaced infinitesimally
close to each other, with an i
Kayhan Ülker - 2010
,,
number of holes drilled in each screen.
Fine, but how to construct the amplitude A(particle to go from S to O in time T fol
H = H(p̂, q̂) ve p̂|p >= p|p > , < q|p > e ipq olduğundan
yukarıdaki benzer numarayı kullanarak
�
R
−iHT
< qs |e
|qi >= dq(t)e i dt L(q,q̇)
şeklinde olası tüm yollar üzerinden bir integral ile ifade edilebilir.
Diğer taraftan |qs > ve |qi > durumlarını taban durumu |0 >
olarak seçersek
�
−iHT
Z ≡< 0|e
|0 >= dq(t)e iS
bulunur.
Kayhan Ülker - 2010
,,
KUANTUM ALAN TEORİSİ :
Yukarıdaki bilgiler yardımıyla boşluk (vakum) için rölativistik
parçacıkların kollektif davranışını veren bölüşüm fonksiyonu
�
Z (0) = Dφe iS(φ)
şeklinde yazılır. Burada S(φ) önceden tartışıldığı gibi (gerçel skaler
parçacıklar için) Lorentz değişmez eylemdir :
�
�
�
1 µ
1 2 2 λ 4
d
S(φ) = d x
∂ φ∂µ φ − m φ − φ
2
2
4!
Burada, m skaler alanların kütlesi, λ ise bu alanların birbirleriyle
hangi şiddette etkileştiklerini gösteren etkileşme (bağlanma, kuplaj)
sabitidir.
Kayhan Ülker - 2010
,,
Elimizdeki bu sistemin içine bir kaç parçacık atıp nasıl
davrandıklarına bakmak istiyoruz. Matematiksel olarak bu eyleme
bir kaynak terimi eklemeye karşılık gelir :
�
R d
Z (J) = Dφe iS(φ)+ d xJ(x)φ(x)
Başka bir değişle bizim (rölativistik) yaylı yatak üzerinde hoplayıp
zıplayıp dalga paketçikleri üretiyoruz :)
NOT : Burdan itibaren matematiksel olarak hesapları daha tutarlı
yapmak için basitçe
ix0 = x4
alarak (Wick döndürmesi) Minkowski uzayından Euclid uzayına
(gµν = δµν ) gideceğiz.
Kayhan Ülker - 2010
,,
Gerçekten de Z ’yi J(x) cinsinden seriye açarsak,
Z (J) =
�
�
�
∞
�
1
4
4
d x1 d x2 · · · d 4 xn J(x1 ) · · · J(xn ) ×
n!
n=0
�
�
�
× Dφ φ(x1 )φ(x2 ) · · · φ(xn )e S(φ)
görüldüğü gibi J’nin n.nci kuvveti n–parçacık içeren sürece karşılık
gelmektedir. Örneğin J 4 için φ + φ → φ + φ saçılmasının elde
edilmesi gibi !
Dolayısıyla yukarıdaki ifadeyi n–nokta Green fonksiyonları ile de
ifade edebiliriz :
�
�
∞
�
1
4
Z (J) = N
d x1 · · · d 4 xn J(x1 ) · · · J(xn )G (n) (x1 , · · · , xn )
n!
n=0
Formel olarak bu Green fonksiyonları
G (n) (x1 , · · · , xn ) ≡
�
Dφ φ(x1 )φ(x2 ) · · · φ(xn )e S(φ)
= N −1
şeklinde yazılabilir.
δ
δ
···
Z (J)|J=0
δJ(x1 )
δJ(xn )
Kayhan Ülker - 2010
,,
Ilk örnek olarak etkileşme olmayan skaler teoriyi ele alalım.
�
�
1�
1
S0 = d 4 x
(∂φ)2 + m2 φ2 = − φ.K .φ
2
2
Üreteç fonksiyonu için φ integrali kolayca hesaplanabilir
�
1
1
Z0 (J) = Dφ e − 2 φ.K .φ+J.φ = e 2 J.∆.J
Burada ∆ K ’nın tersi olup
�
d 4 z∆(x, z)K (z, y ) = δ (4) (x − y )
propagatör olarak adlandırılır.
NOT: Burada notasyonu basitleştirmek için
�
φ.K .φ = dxdy φ(x)K (x, y )φ(y ) ,
v.b. kullanıyoruz !
J.φ =
�
dxJ(x)φ(x)
Kayhan Ülker - 2010
,,
D(xi − xj ) = Dij ),
T {φ1 φ2 φ3 φ4 } = : φ1 φ2 φ3 φ4 : +D12 : φ3 φ4 : +D13 : φ2 φ4 :
+D23 : φalan
(5.85)
14 : φ2 φ3 :skaler
1 φ4 : +D
24 : φ1 φ
3 :
Böylelikle+Dserbest
teorisi
için
: φ3 φ4 : +D13 : φ2 φ4 :
: φ1 φ4 : +D24 : φ1 φ3 :
(5.85)
D34 + D13 D24 + D14 D23 .
+D34 : φ1 φ2 : +D12 D34 + D13 D24 + D14 D23 .
2–nokta fonksiyonu :
The
proof of
thenumber
can be given by induction on the number
by induction
on the
<theorem
φ(x
1 )φ(x
2 ) >= ∆(x
1 , xpages
2 ) 88–90. When
r
(1995),
pages
88–90.
When
of fields, see, e.g.
Peskin
and Schroeder
(1995),
l terms with a normal ordering
thebeen
vacuum
expectation
ewe
all take
fields have
contracted
value, all terms with a normal ordering
4–nokta fonksiyonu
:
factor give zero, and only the terms where all fields have been contracted
<
φ(x
)φ(x
)φ(x
)φ(x
survive. Thus in our
example 2
3
4 ) >= ∆(x1 , x2 )∆(x3 , x4 )
D D +D D .
(5.86) 1
13
24
14
23
+ 3 terim.
elde edilir.
interpretation.
If 1we
φ2interpret
φ3 φ4 }|0� = D12 D34 + D13 D24 + D14 D23 .
(5.86)
�0|T {φ
pagation of a particle from the
x2 )D(x3 − x4 ) is the amplitude
The
equation has a vivid physical interpretation. If we interpret
from xabove
1 to x2 and another from
D(x
− xcan
as the
amplitude
for the propagation of a particle from the
other.1 We
associate
a
2 ) now
ch non-vanishing
contribution.
space-time
point
x1 to x2 , then D(x1 − x2 )D(x3 − x4 ) is the amplitude
1 2
xi and xj for each propagator
for
process in which one
particle goes from x1x to x2 and another from
− xthe
2 )D(x3 − x4 ) can be assox1
2
spaceinteracting
given
xiagram
x4position
, without
with each other. We can now associate a
3 to in
Feynman çizgeleri :
Seri açılımında her bir propagator ∆(x , x ) için x1 ’den x2 ’ye bir
!
Feynman çizgi
graph çiz
in position
space to each non-vanishing contribution.
q. (5.67) in powers of HI , each
We simply
line
points xi andx xj for each propagator
ace-time
point. draw
As we awill
see connecting
x3
4
vial Feynman
For instance, the term D(x1 − x2 )D(x3 − x4 ) can be assoD(x
i − xj ).graphs.
machinery is to put it to work,
ciated
to the (rather trivial) Feynman
1 2 diagram
3 4in position space given
the next two subsections, we Fig. 5.2 The diagrammatic repren
Fig. The
5.2.important point sentation of D(x1 − x2 )D(x3 − x4 ).
details.
notWhen
necessary
time tothe
go exponential in eq. (5.67) in powers of HI , each
weevery
expand
e will present, since the results
term
HI the
contains
fields at the same space-time point. As we will see
set of rules,
Feynman rules,
explicitly
below,diagrams,
this gives rise to less trivial Feynman graphs.
ude
a set of Feynman
e contribution
each Feynman
The bestofway
to understand all this machinery is to put it to work,
t be useful to go through all the
and
to start computing. Therefore, in the next two subsections, we
Feynman rules as an automatic
will
a few computations in all details. The important point
sh to perform
follow the computations
next two
find
that
willsubsections
emerge,and
however,
is that it is not necessary every time to go
Örneğin ∆(x , x )∆(x , x ) için ⇒
Etkileşme olmadığından parçacıklar
birbirlerini görmeden kendi yollarında
gidiyorlar !
x1
x2
x3
x4
Fig. 5.2 The diagrammatic repre-
x2 )D(x
sentation of D(x
Kayhan
- 20103 − x4 ).
1 −Ülker
,,
Diyelimki yaylı� yatakta olduğu gibi etkileşme terimi
λ
SE (φ) = − 4!
d 4 x φ4 olsun. Hesaplamamız gereken bölüşüm
fonksiyonu bu durumda
�
Z (J) = Dφe −S0 (φ)−SE (φ)+J.φ
olur
İlk sorun :
�
dx e −ax
2 −λx 4
formundaki integralleri hesaplamayı bilmiyoruz !
Bu durumda yapabileceğimiz en iyi şey λ’nın küçük olduğu
durumlar için seri açılımı yapıp mertebe mertebe hesap yapmak.
Z (J) =
�
1
1
Dφ(1 − SE (φ) + (SE (φ))2 − (SE (φ))3 + · · · )e −S0 +J.φ
2
6
Kayhan Ülker - 2010
,,
Burada
φ(x) =
R
δ
e dyJ(y )φ(y )
δJ(x)
λ
olduğuna dikkat edilirse seri açılımdaki SE (φ) = − 4!
terimleri yerine
�
δ
λ
δ 4
SE ( ) = −
dx(
)
δJ
4!
δJ(x)
�
dxφ4 (x)
yazılabilir ve böylelikle perturbasyon açılımı için bölüşüm fonksiyonu
δ
1
Z (J) = e −SE ( δJ ) e 2 J.∆.J
elde edilir.
Kayhan Ülker - 2010
,,
m field theory which has no symmetries (especially no gauge
İlk örnek olarak
λ mertebesine
nokta
the procedure
of regularisation.
Wekadar
shalliki
also
use fonksiyonuna
the path
bakalım,
es which corresponds to a non-normal-ordered
Lagrangian.
�
�
�
�4
�
malisation this means notδmore δthan that λwe have
also
to
1
δ
< this
φ(x1is
)φ(x
1 − renormalisations.
d 4x
+ · · · e 2 J.∆.J
2 ) >=
ory and
done
by an
additional
mass
δJ(x1 ) δJ(x2 )
4!
δJ(x)
path integral formalism is more simple in the case of gauge
J’ye göre fonksiyonel türevler alınırsa ilk terim önceden
hesapladığımız
propagator ∆(x , x )
4 -theory, which is 1the2 tadpole contribution
-loop-diagram
in φise
İkinci terim
.1.
λ∆(x1 , x)∆(x, x)∆(x, x2 )
Σ(1) =
ile orantılı
l olur. Bu ifadeyi
Feynman çizgesi ile ifade edebiliriz.
Fiziksel olarak λ mertebesindeki bu ilk terim propagatöre gelen ilk
1-loop tadpole contribution to the self-energy
kuantum düzeltme olarak düşünülebilir.
ave found in the third chapter within the canonical operator
Önemli
bir nokta:
the path
integral
formalism that the analytic expression of
İlk� defa bir parçacığın yaratılıp yok edildiğini gördük !
d4 l
1
iλ
1)
= Kuantum alan teorisinde. parçacık sayısı korunmuyor(5.1)
Kayhan Ülker - 2010
,,
Elde edilen bu yeni çizgeyi hesaplamak gerekli.
Bu hesap en kolay momentum uzayında yapılır ! Bu amaçla
4–boyutta Fourier dönüşümü yapalım
�
�
�
�
d 4p
φ(x) =
φ(p)e ipx , δ 4 (x − y ) = e ip(x−y ) ,
≡
(2π)4
p
p
p
Momentum uzayında Eylem
�
1
S =−
φ(−p)(p 2 + m2 )φ(p) + SE (φ)
2 p
şeklinde yazılır. Böylelikle popagator
∆(p) =
p2
1
+ m2
şeklinde elde edilir.
Kayhan Ülker - 2010
,,
give the same contribution to the diverg
the 2 → 2 scattering amplitude in λφ4 is
Hesaplamaya çalıştığımız çizgenin x-uzayında
2
2→2 = −iλ + iλ (β0 log Λ +
∆(x1 , x)∆(x, x)∆(x, x2 ) ile orantılı olduğunuiM
görmüştük.
Momentum uzayında ise
with
k
p
p
3
β0 =
Bu çizgedeki halka (yani ∆(x, x))
16π 2
k–üzerinden
bir
momentum
integrali
verir.
The sign of β plays a very important role
0
in Section 5.9.
�
�
4k
are typical of loop
1
1 These ddivergences
Fig. 5.11 A tadpole
I = graph.
≡
→∞
we
will 2understand
how they can be cur
2
2
4
2
(2π)
k +m
p k +m
another example of divergence, consider
λφ4 theory. In momentum space, at ze
Feynman propagator D̃(p). At order λ
BÜYÜK SORUN
Fig. 5.11. This graph is known as a tadp
Propagatöre gelen küçük düzeltmeyi hesaplamaya çalışınca
SONSUZ çıktı.
Bir şeyler yapmalı.
Kayhan Ülker - 2010
,,
Regülarizasyon :
Bu sonsuz integrale bir şekilde bir parametre ekleyip bu
parametreye bağlı sonlu bir sonuç bulma sanatı.
En popüler yöntem,
Boyutsal regularizasyon :
İntegrali 4 yerine 4 − � üzerinden almak.
En güzel (kişisel görüş!) ve fiziksel yöntem,
Kesim (cut-off)
k–integrali üst sınır� ∞’a giderken bir Λ değerinde kesmek.
Λ d 4k
Örneğin böylelikle
∼ Λ2 elde edilir.
k 2 +m2
Kayhan Ülker - 2010
,,
Renormalizasyon :
Regülarize edildikten sonra hesaplanan gözlemlenebilir fiziksel
büyüklüklerin kullanılan regülarizasyondan bağımsız olması için
alanların, kütlelerin ve bağlanma sabitlerini yeniden tanımlanması.
Basitçe matematiksel olarak anlatmak istersek,
bu parametrelerin yeniden tanımlanması eylemi
S(φ) −→ S(φ) + δS(φ)
almaya karşılık gelir.
Eğer fonksiyonel olarak δS(φ) ile S(φ) aynı formdaysa teori
renormaliza edilebilirdir !
Kayhan Ülker - 2010
,,
Momentum Kesimi :
Kesim momentumu Λ doğal olarak incelediğimiz sistemin ölçeğine
bağlı. Dikkat edilirse
Λ → ∞ ⇒ (ölçek) → 0
Ne kadar yüksek enerjiye çıkarsak o kadar küçük mesafedeki
fiziksel olayları incelemeye başlıyoruz !
Bir taş attığımız zaman nereye düşeceğini bulmak için
kuantum mekaniksel hesaplama yapmaya gerek yok !
⇒ Fizikle ilgili iki önemli olgu.
Kayhan Ülker - 2010
,,
Ölçek Bağımlılığı
Fizik ölçeğe bağlıdır !
1 cm
10−5 cm
10−8 cm
10−13 cm
10−18 cm
10−33 cm
Klasik mekanik
Moleküler fizik
Atom fiziği
Nükleer fizik
QCD – Kuantum Renk Dinamiği
?
Kayhan Ülker - 2010
,,
Ayrışma (decoupling)
Büyük ölçekteki fizik küçük ölçekteki fizikten ayrıktır.
Örneğin Klasik mekaniğini anlamak için parçacık için kütle,
konum ve zaman bilmemiz yeterli.
Örtneğin kütle daha küçük ölçekteki fizik kullanarak
hesaplanabilir
Ama bir şekilde bu büyüklükleri ölçebiliyorsak küçük ölçekteki
fiziği bilmesek de olur.
Esasında bu ayrışma sayesinde yüz yıllardır fizik yapabiliyoruz.
Kayhan Ülker - 2010
,,
Yüksek ölçekli teoriler düşük ölçekli teorilerden sadece sonlu
sayıda parametrenin bilgisini hatırlıyor kalan detayları
unutuyor.
Fiziksel olarak bu durum küçük ölçekten büyük ölçeğe
geçerken gereksiz serbestlik dereceleri üzerinden ortalama
alınıyor demek.
Matematiksel olarak ise bu unutlan parametreler integrasyon
değişkenleri haline geliyor
� ve sonuçta integral alındığında yok
oluyor. (Yani f (x) = dy g (x, y )gibi)
Kayhan Ülker - 2010
,,
ENERJİ
IR- Kızıl ötesi
(Düşük momentum)
Λ
Λ0
UV-Mor ötesi
(Yüksek momentum)
Fizikte İki önemli gelişme :
Wilson Usülü renormalizasyon
Etkin (efektif) alan teorileri.
Kayhan Ülker - 2010
,,
Teşekkür ederim !
Kayhan Ülker - 2010
,,

Benzer belgeler

Kinetic of Color and Texture Changes in Rehydrated Figs

Kinetic of Color and Texture Changes in Rehydrated Figs They contain essential amino acids and are rich in vitamins A, B1, B2 and C and minerals (Veberic et al 2008). The main exporters of dried figs are Turkey, United States of America and Iran, respec...

Detaylı

magnet k rezonans elastograf ve elast s te problem nde ler

magnet k rezonans elastograf ve elast s te problem nde ler Dokunma (palpation), yumu”ak dokularda herhangi bir sertle meyi anlayabilmek i in y zy llard r klinikte uygulanan ok temel bir muayene y ntemidir. Tiroid, meme ve prostatta dokunarak tespit edilen ...

Detaylı

Parçacık Fiziğine Giriş

Parçacık Fiziğine Giriş Burada, F~i (t), i’inci parçacığıa etki eden kuvvetlerin toplamıdır. (Klasik mekaniği, Lagranj veya Hamiltonyen formalizminde de tanımlayabiliriz, ancak bu, bu dersin kapsamı dışındadır. Detayl...

Detaylı