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