あもんノート2 +jk ej 2 です。このときk0 e の積分範囲は+i1 » ¡i1 ですが、 a2...
TRANSCRIPT
あもんノート
ユークリッド幾何学、ニュートン力学から、相対論、量子論、素粒子論、宇宙論、そして超ひも理論まで、理論物理学を簡潔にかつ幅広く網羅したノートです。TOP へは下の URL をクリックして行けます。専用の画像掲示板で、ご意見、ご質問等も受け付けております。
http://amonphys.web.fc2.com/
1
目 次
第20章 くりこみ理論 3
20.1 パラメータ公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
20.2 運動量積分公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
20.3 スカラー 4乗模型とくりこみ因子 . . . . . . . . . . . . . . . . . . . 5
20.4 頂点関数とくりこみ条件 . . . . . . . . . . . . . . . . . . . . . . . . 6
20.5 頂点関数のループ数展開 . . . . . . . . . . . . . . . . . . . . . . . . 8
20.6 散乱振幅の 2次補正 . . . . . . . . . . . . . . . . . . . . . . . . . . 12
20.7 QEDのくりこみ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
20.8 QEDの頂点関数の有限性 . . . . . . . . . . . . . . . . . . . . . . . 14
20.9 ファリーの定理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
20.10 シュレーディンガー場のくりこみ . . . . . . . . . . . . . . . . . . . 18
2
第20章 くりこみ理論
相対論的場の量子論の章において、摂動の高次において生じるループグラフが発散することを見ました。この章ではこれら発散の処理、すなわち、くりこみ理論について簡単に解説します。スカラー4乗模型、QED, シュレーディンガー場の量子論についてそれぞれ具体的に見ていくことにします。
20.1 パラメータ公式
くりこみの話の前に少し数学をやっておく必要があります。
まずは、
1
ab=
∫ 1
0dx
1
(ax + b(1−x))2,
1
abc=
∫ 1
0dx
∫ 1−x
0dy
2
(ax + by + c(1−x−y))3
といった積分公式で、ファインマンのパラメータ公式と呼ばれます。一般化した式は、
1
a1a2 · · · an=
∫ 1
0dx1 · · ·
∫ 1
0dxn
Γ(n) δ (1−x1−· · ·−xn)
(a1x1+· · ·+anxn)n
です。ここで Γ(n) はガンマ関数です。証明は以下の通り。
[証明]
1
a1 · · · an=
∫ ∞
0dt1 · · ·
∫ ∞
0dtn e−(a1t1+···antn)
=
∫ ∞
0dt
∫ ∞
0dt1 · · ·
∫ ∞
0dtn δ(t−t1−· · ·−tn) e−(a1t1+···antn).
ここで ti = txi で積分変数を置換し、
=
∫ ∞
0dt
∫ ∞
0dx1 · · ·
∫ ∞
0dxn tnδ
(t(1−x1−· · ·−xn)
)e−(a1x1+···anxn)t
=
∫ ∞
0dx1 · · ·
∫ ∞
0dxn δ(1−x1−· · ·−xn)
∫ ∞
0dt tn−1 e−(a1x1+···anxn)t
=
∫ 1
0dx1 · · ·
∫ 1
0dxn
Γ(n) δ (1−x1−· · ·−xn)
(a1x1+· · ·+anxn)n .
[証明終]
3
20.2 運動量積分公式
次に一般的な時空次元 (= 2η)における運動量積分公式です。基本となる公式は、∫
d2ηk
(2π)2η
1
(a2−k2−iε)c=
iΓ(c−η)
(4π)ηΓ(c)a2(c−η)
です。ここで、a2 > 0, c ∈ Z+ (正の整数), k2 = k ·k = (k0)2−|k|2, ε → +0.
[証明] k0 = ik0E, k = kE で積分変数を置換 (ユークリッド化)すると、
(左辺) = i
∫d2ηkE
(2π)2η
1
(a2+k2E−iε)c.
ここで k2E = (k0
E)2 + |kE|2 です。このとき k0E の積分範囲は +i∞ ∼ −i∞ですが、
a2 + k2E − iε = (k0
E)2 + a′2 − iε = (k0E)2 −
(ia′ +
ε
2a′
)2
ここで a′ =√
a2 + |kE|2 > 0
に注意すると、被積分関数の極は複素 k0E 平面の第 1象限と第 3象限にあることが
わかります。よって図 20.1の積分経路 C1 を C2 に変形することができ、 弧における積分は R → ∞ で消えるので、結果 k0
E の積分範囲を −∞ ∼ +∞ に置き換えることができます。これをウィック回転といいます。
図 20.1: ウィック回転
そうすると、簡単に確かめられる関係、
1
sc=
1
Γ(c)
∫ ∞
0dt tc−1 e−st (Re s > 0)
4
に注意して、
(左辺) = i
∫d2ηkE
(2π)2η
1
Γ(c)
∫ ∞
0dt tc−1 e−(a2+k2
E)t
=i
(2π)2ηΓ(c)
∫ ∞
0dt tc−1 e−a2t
∫d2ηkE e−k2
Et
=i
(2π)2ηΓ(c)
∫ ∞
0dt tc−1 e−a2t
(π
t
)η
=iπη
(2π)2ηΓ(c)
∫ ∞
0dt tc−η−1 e−a2t =
iΓ(c−η)
(4π)ηΓ(c)a2(c−η).[証明終]
上の運動量積分公式で、kµ → kµ−bµ, a2 → a2+b2 とすれば、∫
d2ηk
(2π)2η
1
(a2 + 2b·k−k2−iε)c=
iΓ(c−η)
(4π)ηΓ(c)
1
(a2+b2)c−η.
これを辺々 bµ で微分して整理すれば、∫
d2ηk
(2π)2η
kµ
(a2 + 2b·k−k2−iε)c=
iΓ(c−η)
(4π)ηΓ(c)
bµ
(a2+b2)c−η.
同様にさらに微分して整理すれば、∫
d2ηk
(2π)2η
kµkν
(a2 + 2b·k−k2−iε)c=
i
(4π)ηΓ(c)
(Γ(c−η)bµbν
(a2+b2)c−η− Γ(c−η−1)gµν
2(a2+b2)c−η−1
)
が得られるでしょう。これら運動量積分公式はループグラフの計算で用います。
20.3 スカラー4乗模型とくりこみ因子
スカラー場 φ(x) に対し、スカラー 4乗模型のラグランジアン密度は、
L =1
2(∂φ)2 − m2
2φ2 − λ
4!φ4
でした。ここで m は φ 粒子の質量、λ は相互作用における結合定数ですが、このように相互作用がある場合は、その影響で、質量、結合定数、さらには場のスケールがずれ、よってこれらの量は物理的に観測されるものとは一般に異なります。
そこで本来のラグランジアン密度を、改めて、
L =1
2(∂φ0)
2 − m20
2φ2
0 −λ0
4!φ4
0
5
のように書きます。このとき m0 を裸の質量、λ0 を裸の結合定数、φ0(x) を裸の場と呼びます。これらは物理的なものとは異なり、無限大である可能性もあります。そして次のように、くりこまれた量 m, λ, φ を定義します。
φ0 =√
1 + ζφ φ, m20 =
1 + ζm
1 + ζφm2, λ0 =
1 + ζλ
(1 + ζφ)2 λ.
ζφ, ζm, ζλ をくりこみ因子といいます。このときラグランジアン密度は、
L =1
2(∂φ)2 − m2
2φ2 +
ζφ
2(∂φ)2 − ζmm2
2φ2 − λ(1 + ζλ)
4!φ4
となるでしょう。くりこみ因子 ζi (i = φ,m, λ) を含む項を相殺項といいます。
図 20.2: 頂点のグラフ
そうすると、ファインマングラフには図 20.2のような頂点が存在することになります。(a)は 2本の線が入る頂点で、流入する運動量を pµ として、
(a) =i
2(ζφp
2 − ζmm2).
(b)は 4本の線が入る頂点で、
(b) = − iλ(1 + ζλ)
4!
です。(a)の式については、
ζφ
2(∂φ)2 − ζmm2
2φ2 =
1
2φ (−ζφ¤− ζmm2)φ + (全微分項)
および、ファインマングラフの頂点において微分演算子 ∂µ は、頂点に流入する 4
元運動量を pµ として ∂µ → −ipµ となることに注意すればわかるでしょう。
◇ 一般に相互作用系では実はツリーレベルでもこのようなくりこみの処理を行っていて、φ(x)はくりこまれた場で、m や λ はくりこまれた量です。しかしツリーレベルではくりこみ因子の効果を無視して良いので、このことをあらわに意識することはなかったわけです。
20.4 頂点関数とくりこみ条件
n 個 (n ≥ 2) の端点を持つ分離していないグラフがあって、どの内線を切ってもグラフが分離しないとき、このグラフを 1粒子既約であるといいます。このよ
6
うなグラフの外線を取り除いてできるグラフを全て足したものを n 点頂点関数といい、Πφn と書きます。
頂点関数はファインマングラフの重要な構成単位になります。全てのファインマングラフは頂点関数を内線で繋いだものと考えることができます。ファインマングラフを仮に自然数だとすると、頂点関数は素数のような役割を果たすわけです。
スカラー 4乗模型の頂点関数を図 20.3に示します。n が奇数のグラフはトポロジカルな理由により存在しないので、n が奇数のときは Πφn = 0 です。
図 20.3: 頂点関数
図 20.4: 相互作用の効果を含む内線
スカラー場の伝播関数の運動量表示、すなわち内線は、
∆(p) =
∫d4x <0|Tφ(x)φ(0)|0> eip·x =
i
p2−m2+iε
7
ですが、相互作用と相殺項の効果を全て含む内線 ∆′(p)を考えると、これは図20.4
のように 2点頂点関数を用いて展開されるので、
∆′ = ∆ + ∆Πφ2∆ + ∆Πφ2∆Πφ2∆ + · · · = ∆∞∑
n=0
(Πφ2∆)n
=∆
1− Πφ2∆=
1
∆−1−Πφ2
=i
p2−m2+iε− iΠφ2
となります。ここでもし、くりこまれた質量 m や場 φ(x) が物理的なものなら、∆′(p) の極は p2 = m2−iε にあり、その留数は i になるだろうと考えられるので、
limp2→m2−iε
(p2−m2+iε)∆′(p) = i ∴ limp2→m2
Πφ2
p2−m2 = 0.
ここから、
Πφ2|p2=m2 = 0,∂
∂p2 Πφ2|p2=m2 = 0
を得るでしょう。このような条件はくりこみ条件と呼ばれます。
同様に、くりこまれた結合定数 λ が物理的なものであるという要請から、4点頂点関数について、
Πφ4|p21=p2
2=p23=p2
4=m2 = −iλ
ですが、実は 4点頂点関数に流れ込む運動量 pµ1 , pµ
2 , pµ3 , pµ
4 を全て質量殻上 (p2i =
m2) においても、まだ pi·pj に不定性が残ります。そこでここでは、4元運動量の保存 pµ
1 + pµ2 + pµ
3 + pµ4 = 0 に注意して、
µ : pµ1 = pµ
2 = −pµ3 = −pµ
4 = (m,0)
をくりこみ点として、Πφ4|µ = −iλ
というくりこみ条件を設定します。
◇ もし別のくりこみ点を取れば、散乱振幅や断面積の計算結果は変わってくるわけですが、それは質量や結合定数をずらすことで他と一致します。質量や結合定数などの物理量は実験から決まるいわゆるインプットパラメータであることを考えると、このことは本質的な違いではないわけです。ちなみに物理定数表などにある素粒子の質量や電荷の値は、無限遠方、すなわち低エネルギー極限における値を意味しています。
20.5 頂点関数のループ数展開
頂点関数 Πφn をフルに計算することは一般には不可能なので、何らかの分類による摂動計算が必要になります。ここではループ数展開というものを採用します。つまり、グラフに含まれるループ数 (未定運動量の数)で分類し展開するわけです。
Πφn = Π(0)φn + Π
(1)φn + Π
(2)φn + · · · .
8
Π(0)φn は0ループ部分、すなわちツリー部分で、Π
(1)φn は 1ループ部分、Π
(2)φn は2ルー
プ部分、以下同様です。このとき同時に、くりこみ因子 ζi を、1ループ相当、2
ループ相当、· · · とみなした項で展開し、ζi = ζ
(1)i + ζ
(2)i + · · ·
とします。ζ(m)i はmループ相当の項で、これを頂点に持つグラフは、その頂点に
mループがあるものとみなします。
そうすると、頂点関数のツリー部分と 1ループ部分は図 20.5のようになります。頂点に (1)と書いてあるのはくりこみ因子1ループ相当の項を拾うことを意味しています。また、何も書いてない頂点はくりこみ因子を含まない項を拾うことを意味します。
図 20.5: ループ数展開
2点頂点関数の 1ループ部分 Π(1)φ2 を考えてみましょう。それは、
Π(1)φ2 = 2 · i
2(ζ
(1)φ p2 − ζ(1)
m m2) +4!
2
(−iλ
4!
) ∫d2ηk
(2π)2η
i
k2 −m2 + iε
と表せます。時空の次元を 2η としました。運動量積分公式により積分部分を計算すると、
I =
∫d2ηk
(2π)2η
i
k2 −m2 + iε=
Γ(1− η)
(4π)η(m2)1−η.
時空の次元は 4なので、η = 2− ε (ε → 0) とすると、
I =m2
16π2 Γ(−1 + ε)(4π)ε(m2)−ε
ですが、ここで、
Γ(−1 + ε) =Γ(ε)
−1 + ε= −Γ(ε) (1 + ε + O(ε2)) = −(Γ(ε) + 1 + O(ε)),
9
xε = eε log x = 1 + ε log x + O(ε2)
に注意すれば、
I = − m2
16π2
(Γ(ε) + 1 + log
4π
m2 + O(ε)
)
と評価されるので、結局、
Π(1)φ2 = i(ζ
(1)φ p2 − ζ(1)
m m2) +iλm2
32π2
(Γ(ε) + 1 + log
4π
m2
)
です。よってくりこみ条件から、
ζ(1)φ = 0, ζ(1)
m =λ
32π2
(Γ(ε) + 1 + log
4π
m2
)
とくりこみ因子が定まり、この結果、
Π(1)φ2 = 0
となります。limε→0
Γ(ε) は無限大ですが、それがくりこみ因子 ζ(1)m からの寄与と相
殺し、結果、頂点関数は有限になっていることに注意してください。ループグラフによる補正は無限大、質量の補正は無限大で、これら無限大が打ち消しあって、結果、全体の補正は有限というわけです。時空の次元を4からずらし発散する積分をいったん有限化 (正則化) して計算するこの方法は、次元正則化と呼ばれます。
次に 4点頂点関数の 1ループ部分 Π(1)φ4 ですが、図 20.5の第 2項のループグラフ
は、パラメータ公式と運動量積分公式を用いて次のように計算されます。
(4!)2
2
(−iλ
4!
)2 ∫d2ηk
(2π)2η
i
(k−p1)2−m2+iε
i
(k+p3)2−m2+iε
=λ2
2
∫d2ηk
(2π)2η
1
m2−(k−p1)2−iε
1
m2−(k+p3)2−iε
=λ2
2
∫d2ηk
(2π)2η
∫ 1
0dx
1((m2−(k−p1)2−iε
)x+
(m2−(k+p3)2−iε
)(1−x)
)2
=λ2
2
∫d2ηk
(2π)2η
∫ 1
0dx
1(m2−xp2
1−(1−x)p23+2k ·(xp1−(1−x)p3
)−k2−iε)2
=λ2
2
iΓ(2−η)
(4π)η
∫ 1
0dx
1(m2−x(1−x)(p1+p3)2
)2−η
=iλ2
32π2 Γ(ε) (4π)ε
∫ 1
0dx
(m2−x(1−x)(p1+p3)
2)−ε
=iλ2
32π2
(Γ(ε) + log
4π
m2 − I
((p1+p3)
2
m2
)).
10
ここで I(s) =
∫ 1
0dx log
(1−x(1−x)s
). よって、
Π(1)φ4 =− iλζ
(1)λ +
iλ2
32π2
(3
(Γ(ε)+log
4π
m2
)
−I
((p1+p3)
2
m2
)−I
((p1+p4)
2
m2
)−I
((p1+p2)
2
m2
))
ですが、くりこみ条件 Π(1)φ4 |µ = 0 から、I(0) = 0 に注意して、
ζ(1)λ =
λ
32π2
(3
(Γ(ε)+log
4π
m2
)− I(4)
)
とくりこみ因子が定まり、
Π(1)φ4 = − iλ2
32π2
(I
((p1+p3)
2
m2
)+I
((p1+p4)
2
m2
)+I
((p1+p2)
2
m2
)−I(4)
)
を得ます。無限大である Γ(ε) はやはりくりこみ因子により相殺しました。
6点以上の頂点関数の 1ループの部分 Π(1)φ6 , Π
(1)φ8 , · · · が有限になることは、ルー
プ運動量の次数を考えればわかるでしょう。
◇ 一方で、例えばスカラー 5乗模型 :
L =1
2(∂φ)2 − m2
2φ2 − kφ5 (kは定数)
の 6点頂点関数を考えると、図 20.6のグラフが対数発散し、これを相殺する相殺項もありません。すなわちスカラー 5乗模型はくりこみ可能ではないわけです。結合定数 k は質量次元 −1 であることがわかりますが、一般に結合定数が負の質量次元を持つ理論は、次元解析による分析からそのくりこみ可能性が絶望的であることが知られています。ちなみにもし図 20.6の発散を相殺しようとするなら、相殺項を用意するために φ6 の相互作用項の追加が必要です。しかしそうすると 7点頂点関数や 8点頂点関数が同様の理由で発散し、これを相殺するためにさらに φ7 や φ8 の相互作用項の追加が必要となり、このようなことは永遠に続いてしまいます。
図 20.6: スカラー 5乗模型の発散グラフ
11
20.6 散乱振幅の2次補正
スカラー 4乗模型において φφ → φφ の散乱振幅を考えると、λの最低次 (1次)
は図 20.7(a) により与えられ、M(1) = −iλ でした。
図 20.7: 散乱振幅の 2次補正
λの2次の補正を考えると、それは図20.7(b)∼(g)のグラフの和になるでしょう。これらグラフは 12個ありますが、(c)と (d)は Π
(1)φ2 = 0 により相殺し、残ったグ
ラフの和はちょうど Π(1)φ4 に相当します。ただし散乱振幅においては pµ
3 と pµ4 が
頂点から出て行く方向に定義されるので、散乱振幅の 2次補正は、
M(2) = − iλ2
32π2
(I
((p1−p3)
2
m2
)+I
((p1−p4)
2
m2
)+I
((p1+p2)
2
m2
)−I(4)
)
ということになります。
特に重心系においては、入射粒子の運動量を ±p. 散乱角を θ として、
(p1−p3)2 = −2|p|2(1−cos θ), (p1−p4)
2 = −2|p|2(1+cos θ),
(p1+p2)2 = 4(m2 + |p|2).
また、
I(s) =
∫ 1
0dx log
(1−x(1−x)s
)=
r logr+1
r−1− 2 (s < 0)
r log1+r
1−r− 2 + iπr (s ≥ 4).
12
ここで r =√
1−(4/s) です。これらに注意して、重心系における散乱振幅の 2次補正は、
M(2) = − iλ2
32π2
(r1 log
r1+1
r1−1+ r2 log
r2+1
r2−1− 4 + r3 log
1+r3
1−r3+ iπr3
)
となります。ここで、
r1 =
√1 +
2m2
|p|2(1−cos θ),r2 =
√1 +
2m2
|p|2(1+cos θ),r3 =
|p|√m2+|p|2.
計算の途中で現れる無限大はくりこみにより消え去り、有限の結果が得られました。微分断面積は、λ の 1次においては等方的でしたが、2次の補正においては方向依存性を持つことがわかります。
20.7 QEDのくりこみ
次に QED のくりこみについて見ておきます。QED のラグランジアン密度は、ゲージ固定項を含めて、
L = ψ̄(i/∂ −m)ψ − 1
4FµνF
µν − 1
2α(∂ ·A)2 − qAµψ̄γµψ
でした。ここでの定数と場を裸の量とみなし添字 0 を付けて表し、改めて、
ψ0 =√
1 + ζψ ψ, Aµ0 =
√1 + ζA Aµ, α0 = (1 + ζA)α,
m0 =1 + ζm
1 + ζψm, q0 =
1 + ζq
(1 + ζψ)√
1 + ζA
q
でくりこまれた量 (添字なし)を定義すると、
L = ψ̄(i/∂ −m)ψ − 1
4FµνF
µν − 1
2α(∂ ·A)2
+ ζψψ̄i/∂ψ − ζmmψ̄ψ − 1
4ζAFµνF
µν − q(1 + ζq)Aµψ̄γµψ
のように、ラグランジアン密度に相殺項が付加されます。
これにより ψψ̄ に対応する頂点として i(ζψ/p− ζmm), また、
− iζA
4FµνF
µν =iζA
2Aµ(−∂µ∂ν + gµν¤)Aν + (全微分項)
に注意すると、AµAν に対応する頂点として (iζA/2)(pµpν−gµνp2). さらに、ψψ̄Aµ
に対応する頂点として −iq(1 + ζq)γµ が存在することがわかります。
13
ゲージパラメータは、くりこまれた量である α を、通常 1 にとります (ファインマンゲージ)。このため裸のゲージパラメータ α0 は 1 からずれることに注意してください。ゲージパラメータを導入しておく理由がここにあります。
◇ QED くりこみの考案者は、ファインマン、シュウィンガー、朝永。次元正則化はトホーフト・ベルトマン (1972)によります。
20.8 QEDの頂点関数の有限性
QED の頂点関数で、1ループにおいて発散の危険性があるものはまずは図 20.8
に示す 3つです。これらがきちんと有限になることを見ておきましょう。
最初に Π(1)ψψ̄ですが、第 1項は i(ζ
(1)ψ /p− ζ
(1)m m), 第 2項のループグラフは、
∫d2ηk
(2π)2η(−iqγµ)
−igµν
iε(−1)tr
((−iqγν)
i(/k + m)
k2 −m2 + iε
)
であり、非常に特異性の強いグラフですが、/k の項は奇関数の積分であることから消え、そうすると tr(γν) = 0 であることからこの式は 0 であるとわかります。一方、第 3項のループグラフは、パラメータ公式と運動量積分公式を用いて、
∫d2ηk
(2π)2η(−iqγµ)
i(/p− /k + m)
(p−k)2 −m2 + iε(−iqγν)
−igµν
k2 + iε
= −2q2∫
d2ηk
(2π)2η
∫ 1
0dx
/k − /p + 2m((m2−p2)x + 2xp·k − k2 − iε
)2
=iq2
16π2 Γ(ε)(/p− 4m) + O(1)
と評価されます。ここで O(1) は ε の 0次以上の項、すなわち ε → 0 で有限に留まる項です。よって、
ζ(1)ψ = − q2
16π2 Γ(ε) + O(1), ζ(1)m = − q2
4π2 Γ(ε) + O(1)
とすることにより Π(1)ψψ̄は有限になります。
次に Π(1)AµAν ですが、第 1項は iζ
(1)A (pµpν − gµνp
2), 第 2項のループグラフは、∫
d2ηk
(2π)2η(−1)tr
((−iqγµ)
i(/k + m)
k2 −m2 + iε(−iqγν)
i(/k − /p + m)
(k−p)2 −m2 + iε
)
= −4q2∫
d2ηk
(2π)2η
∫ 1
0dx
2kµkν−gµνk2−pµkν−pνkµ+gµνp·k+gµνm
2
(m2 − xp2 + 2xp·k − k2 − iε
)2
=iq2
12π2 Γ(ε)(pµpν − gµνp2) + O(1)
14
図 20.8: QEDの頂点関数
と評価され、上手い具合に発散部分が (pµpν − gµνp2) に比例します。よって、
ζ(1)A = − q2
12π2 Γ(ε) + O(1)
とすることで Π(1)AµAν は有限になります。ゲージ場は質量を持たないため、ゲージ
場の 2点頂点関数に存在するくりこみ因子は ζ(1)A の 1つだけであり、無限大の相
殺が危ういのですが、実際にはこのように上手くいくのです。これはゲージ理論の奇跡の一端といえます。一般に非可換ゲージ理論 (ヤン・ミルズ理論)を含め、ゲージ理論はくりこみ可能であることが知られています。
最後に Π(1)ψψ̄Aµ ですが、第 1項は −iqζ
(1)q γµ, 第 2項のループグラフを Lµ とおき
ましょう。流入する運動量を pµ1 , pµ
2 , pµ3 とおくと、pµ
1 + pµ2 + pµ
3 = 0 なので、Lµ
は pµ1 と pµ
2 の関数です。これらの変数で展開して、
Lµ = Lµ|pµ1=pµ
2=0 + pν1
∂Lµ
∂pν1
∣∣∣∣pµ1=pµ
2=0+ pν
2∂Lµ
∂pν2
∣∣∣∣pµ1=pµ
2=0+ · · · .
ところが Lµ の被積分関数はループ運動量の −4 次なので、すでに対数発散でしかなく、これを流入運動量で 1回でも微分すれば収束するはずです。すなわち上の展開式で発散するのは右辺第 1項だけであり、それは、
∫d2ηk
(2π)2η(−iqγρ)
i(/k + m)
k2 −m2 + iε(−iqγµ)
i(/k + m)
k2 −m2 + iε(−iqγσ)
−igρσ
k2 + iε
= − iq3
16π2 Γ(ε)γµ + O(1)
15
と評価されます。よって、
ζ(1)q = − q2
16π2 Γ(ε) + O(1)
とすることで Π(1)ψψ̄Aµ は有限になるわけです。
◇ Lµ|pµ1=pµ
2=0 を計算する際には、
∫d2ηk
(2π)2η
kµkν
(k2 + iε)(k2 −m2 + iε)2=
iΓ(ε)gµν
64π2+ O(1)
という積分公式を用いるのがてっとり早いです。証明ですが、この積分を Iµν とすると、Iµν = Cgµν
と書けるはずですが、このとき、
Iµµ = 2ηC =
∫d2ηk
(2π)2η
1
(k2 −m2 + iε)2=
iΓ(ε)
16π2+ O(1)
が運動量積分公式からすぐにわかります。よって C =iΓ(ε)
64π2+ O(1) です。
この他、Π(1)AµAνAλ やΠ
(1)AµAνAρAσ なども発散する危険性がありそうに見えますが、
Π(1)AµAνAλ は図 20.9に示すフェルミオンの三角ループグラフ 2つから成り、これらは相殺し消えてしまいます (後述)。
図 20.9: 三角ループグラフ
一方、Π(1)AµAνAρAσ は 3! = 6 つの四角ループグラフ (ボックスグラフ) からなり、
やはり有限になることが知られています。頂点が 5個以上あるフェルミオンループはループ運動量の次数を考えればわかるように、収束します。
◇ ボックスグラフ Π(1)AµAνAρAσ が収束することを確かめるのはかなり面倒ですが、全スカラー
モード : µ = ν = ρ = σ = 0 の場合なら簡単に確かめられます。このときやはり発散する可能性があるのは流入運動量により展開した初項だけで、それを I とすると、γ0γµγ0 = γµ に注意して、
I ∝∫
d4ktr (γ0(/k+m)γ0(/k+m)γ0(/k+m)γ0(/k+m))
(k2 −m2 + iε)4=
∫d4k
kµkνkρkσtr (γµγνγργσ)
(k2 −m2 + iε)4+ (有)
∝∫
d4k2(kµkµ)2 − (k2)2
(k2 −m2 + iε)4+ (有) =
∫d4k
(k0)4 + 6|k|2(k0)2 + |k|4(k0+
√|k|2+m2−iε′)4(k0−
√|k|2+m2+iε′)4
+ (有).
16
ここで ∝ は有限の係数を無視して等しいことを意味し、(有) は有限項。また、ε′ は、ε と同様、正の無限小量です。留数定理により k0 積分を実行すると、
I ∝∫
d3k4m2|k|2 −m4
(|k|2 + m2)7/2+ (有)
となり、被積分関数の分子は |k| の 2次式になるため、この積分は収束します。すなわち I は有限になるのです。
20.9 ファリーの定理
一般にQEDにおいては、正の奇数 n に対し、電磁場のn点頂点関数の 1ループ補正は正確に 0になります。これをファリーの定理といいます。
証明ですが、まず電磁カレント jµ(x) = ψ̄(x)γµψ(x) が荷電共役変換 C に対して、(jµ(x))C = Cjµ(x)C−1 = −jµ(x) と符号を変えること、および C|0> = |0>
に注意すると、正の奇数 n に対し、
<0|Tjµ1(x1)jµ2(x2) · · · jµn(xn)|0> = 0 (∗)
がわかります。なぜなら左辺は、カレントとカレントの間、およびカレントと真空の間に C−1C = 1 を挟めば、n が奇数のとき符号が変わるからです。
n = 1 のとき (∗)は、<0|T ψ̄(x)γµψ(x)|0> = 0 ∴ tr(γµ∆(0)) = 0.
ここで、
∆(x−x′) = <0|Tψ(x)ψ̄(x′)|0> =
∫d4k
(2π)4
i(/k + m)
k2 −m2 + iεe−ik·(x−x′)
はフェルミオンの伝播関数です。この結果はすでに Π(1)ψψ̄の第 2項の評価で見た通
りです。
n = 3 のとき (∗)は、<0|T ψ̄(x1)γ
µ1ψ(x1)ψ̄(x2)γµ2ψ(x2)ψ̄(x3)γ
µ3ψ(x3)|0> = 0
ですが、ウィックの定理で展開し、n = 1 の結果に注意すれば、
tr(γµ1∆(x1−x2)γ
µ2∆(x2−x3)γµ3∆(x3−x1)
)
+tr(γµ1∆(x1−x3)γ
µ3∆(x3−x2)γµ2∆(x2−x1)
)= 0
を得ます。左辺はちょうど Π(1)Aµ1Aµ2Aµ3 , すなわち三角ループグラフ 2つの和 (その
空間表示) に比例していて、それが 0だというわけです。
以下、n = 5, n = 7, · · · においても同様のことを示すことができ、よってファリーの定理がいえます。
17
20.10 シュレーディンガー場のくりこみ
最後に非相対論的な場の量子論であるシュレーディンガー場の量子論のくりこみについて見ておきましょう。
シュレーディンガー場を ψ(x) として、作用は、
S =
∫d4xψ†(x)
(i∂t +
1
2m4
)ψ(x).
mは粒子の質量を意味します。場の方程式、および正準交換関係 (フェルミオンの場合は反交換関係)は、
(i∂t +
1
2m4
)ψ(x) = 0, [ ψs(x), ψ∗s′(x
′) ]t=t′ = δss′δ3(r−r′)
となり、他は同時刻 (反)可換です。一般解は、
ψs(x) =
∫d3k
(2π)3 cs(k) eik·r−iε(k)t, ε(k) =|k|22m.
ここで、 [cs(k), c∗s′(k
′)]
= (2π)3δss′δ3(k−k′)
であり、他は (反)可換です。伝播関数は、ψs(x) が真空を消すことに注意して、
<0|Tψs(x)ψ∗s′(x′)|0> = θ(t−t′) <0|ψs(x)ψ∗s′(x
′)|0>
=
∫dω
2πi
1
ω−iεeiω(t−t′) δss′
∫d3k
(2π)3 eik·(r−r′)−iε(k)(t−t′)
=
∫dωd3k
(2π)4
iδss′
−ω+iεeik·(r−r′)−i(ε(k)−ω)(t−t′)
=
∫d4k
(2π)4
iδss′
k0−ε(k)+iεe−ik·(x−x′)
のように計算されます。途中、k0 = ε(k)− ω で積分変数を置換しました。よってファインマングラフにおける粒子の内線は、粒子の 4元運動量を (k0, k) として、iδss′/(k
0 − ε(k) + iε) です。
以上の自由場の理論に次の相互作用項を付加します。
SI = −V
∫d4x ψ†(x)ψ(x)− 1
2
∫d4xd4x′G(x−x′)ψ†(x)ψ(x)ψ†(x′)ψ(x′).
ここで V は定数の外部ポテンシャルを意味します。また、自己相互作用としてクーロン力だけがあるとし、
G(x) =q2δ(t)
4π|r| =
∫d4k
(2π)4
q2
|k|2 e−ik·x
18
とします。q は粒子の電荷を意味します。このときファインマングラフには図20.10
に示す 2つの頂点が存在し、それぞれ、
(a) = −iV δs1s2, (b) =
−iq2
|k|2 δs1s2δs3s4
ということになります。ここで k は点線部 (仮想光子)の運動量を意味します。
図 20.10: シュレーディンガー場の頂点
外部ポテンシャル V をループ数で展開し、
V = V (1) + V (2) + · · ·
としましょう。そうすると、2点頂点関数の1ループ部分 Π(1)ψψ∗ は図20.11のように
与えられますが、簡単のためスピン0のボゾンの場合を考えると、第1項は −iV (1).
第 2項は、−iq2
|0|2∫
d4k
(2π)4
i
k0−ε(k)+iε=−iq2
2|0|2∫
d3k
(2π)3.
第 3項は、流入する運動量を p として、∫
d4k
(2π)4
i
k0−ε(k)+iε
−iq2
|k−p|2 =−iq2
2
∫d3k
(2π)3
1
|k|2
と評価されます。ここで簡単に確かめられる積分公式 :
∫ ∞
−∞
dx
x− ia=
{+iπ (a > 0)
−iπ (a < 0)
を用いて、それぞれの k0 積分を実行しました。第 2項と第 3項は共に無限大ですが、これらを V (1) によりくりこんで、
Π(1)ψψ∗ = 0
とおくことができます。第 2項も第 3項も流入する 4元運動量 (p0, p) に依存しないため、恒等的に上式を仮定でき、くりこみ点の概念は必要ありません。これは非相対論的な場の量子論の特徴といえます。
19
図 20.11: シュレーディンガー場の頂点関数
4点頂点関数 Π(1)ψψ∗ψψ∗ については、ループに沿って内線が同じ向きになるグラ
フが、∫
dk0 1
k0 + A + iε
1
k0 + B + iε
=1
B − A
∫dk0
(1
k0 + A + iε− 1
k0 + B + iε
)= 0
という機構により全て消えるので、図 20.11に示すように 2つの梯子グラフだけから成り、これらは有限であることが確かめられます。
QEDがくりこみ可能であれば、その近似理論であるシュレーディンガー場の量子論 (+クーロン相互作用)がくりこみ可能である必要はないわけですが、このように少なくとも 1ループにおいてはくりこみが可能で、正しい補正計算を行うことができるわけです。
20
索 引
あ
1粒子既約 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6ウィック回転 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4運動量積分公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
か
くりこみ因子 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6くりこみ条件 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8くりこみ点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8くりこみ理論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
さ
次元正則化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10相殺項 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6
た
頂点関数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
は
裸の結合定数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6裸の質量 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6裸の場 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6パラメータ公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3ファインマンのパラメータ公式 . . . . . . . . . . . . 3ファリーの定理 . . . . . . . . . . . . . . . . . . . . . . . . . . .17
や
ユークリッド化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
ら
ループ数展開 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
21