Einstein 1905 Lorentz Maxwell c E p E 2 (pc) 2 = m 2 c 4 (7.1) m E ( ) E p µ =(p 0,p 1,p 2,p 3 )=(p 0, p )= c, p (7.2) x µ =(x 0,x 1,x 2,x

第

章 相対論的量子論（入門）

7.1

特殊相対性理論

7.1.1

４元ベクト ル

Einsteinは 1905 年，Lorentz 変換に対する光速度不変性と電磁場に関するMaxwell 方 程式の共変性に基づいて特殊相対性理論を構築した．相対性理論によると，どの慣性系にお いても，光速度cが一定であるだけでなく，物理法則は同じ形で表される． ４元ベクト ル 粒子のエネルギー E と運動量pは，異なる慣性系においては異なる値をとる．しかし，両 者の２乗の差 E2− (pc)2= m2c4 (7.1) は，どの慣性系で観測しても同じ値になる．ここで，mは粒子の質量で，粒子が静止して いる慣性系におけるエネルギーE を光速度の２乗で割ったものである．すなわち，慣性系 のあいだの変換によってエネルギーと運動量は値を変えて見えるが，両者を合わせた量は変 換に対して不変であるので，ひとまとまりの量と考えた方が合理的である： pµ = ( p0, p1, p2, p3) = ( p0, p ) =
E c, p  (7.2) これを４元運動量と呼ぶ．同様に，時間座標と空間座標を合わせて xµ = ( x0, x1, x2, x3) = ( x0, x ) = ( ct, x ) (7.3) とする．４元運動量の時間成分は E/cとし，時間座標は ctとするが，これによって４元ベ クトルの成分が同じ次元をもつ．このような量を４元ベクトルという．一般に，４元ベクト ルの成分を表すときにはギリシャ文字の添字が用いられる． ４元運動量の時間成分は質量を含むエネルギーである．非相対論の場合との対応から，運 動エネルギーを K = E− mc2 (7.4) で定義する．(7.1)より， E =  m2_c4_{+ p}2_c2 _{= mc}2  1 + p 2 m2_c2 (7.5) 123

であるから，運動量が質量に比べて十分小さいときはp2/(mc)2 について展開して E = mc2  1 +1 2 p2 m2_c2 − 1 8  p2 m2_c2 2 + 1 16  p2 m2_c2 3 +· · ·   = mc2+1 2mv 2  1−1 4
v c 2 +1 8
v c 4 − · · ·  (7.6) が得られる．ここで，p = mvを用いた．(7.4)で定義した運動エネルギーは，v/cが小さい 極限で古典論に一致する． 反変ベクト ルと共変ベクト ル ４元ベクトルの内積は通常の３次元のベクトルの内積と異なり，たとえば，４元運動量の内 積は p· p = p0p0− (p1p1+ p2p2+ p3p3) = E 2 c2 − p 2 _(7.7) で定義される．そこで，４元ベクトルの空間成分の符号を変えたベクトルを新たに定義し， 上で定義した４元ベクトルと区別するために添字を下につける．たとえば，４元運動量は p_µ = ( p₀, p₁, p₂, p₃) =
E c,−p  (7.8) である．内積は上付き添字と下付き添字について和をとると約束する．すなわち，２つの４ 元ベクトルの内積は次のように書ける： a· b = 3 µ=0 aµb_µ = 3 µ=0 a_µbµ = a0b0− a · b (7.9) 上付きの添字がある４元ベクトルを 反変ベクトル（contravariant vector），下付き添字 がある４元ベクトルを 共変ベクトル（covariant vector） と呼ぶ．たとえば，座標xµ の 内積は x· x = 3 µ=0 xµx_µ = 3 µ=0 x_µxµ = (ct)2− x2 (7.10) である． ４元ベクトルの内積は，４行４列のMinkowski計量テンソル g_µν = gµν =       1 0 0 0 0 −1 0 0 0 0 −1 0 0 0 0 −1       (7.11) を導入して， a· b = µν g_µνaµbν = µν gµνa_µb_ν (7.12)

と表すこともできる．すなわち，計量テンソルを用いて４元ベクトルの添字の上げ下げがで きる： aµ = 3 ν=0 gµνa_ν a_µ = 3 ν=0 g_µνaν (7.13) なお，繰り返し現われる添字については和をとるという約束が用いられることが多い．これ を Einsteinの規約 という．たとえば，上の式を aµ = gµνa_ν a_µ = g_µνaν (7.14) と書き，νについて0 から 3 までの和があると解釈する．

7.1.2

４元ベクト ルの変換

２つの慣性系のあいだの変換を与えるのがLorentz変換である．これは，Newton力学に おける Galilei変換に対応する．Newton力学においては，時間は全ての慣性系で同じであ るが，相対論では時間座標と空間座標は独立ではない． ある慣性系における４元ベクトルが aµ であるとき，この慣性系に対して z軸方向に速 度 −vで運動している別の慣性系からみた同じ４元ベクトルの値a
µは変換       a
0 a
1 a
2 a
3       =       1/1− β2 _{0 0 β/}₁− β2 0 1 0 0 0 0 1 0 β/1− β2 _{0 0 1/}₁− β2             a0 a1 a2 a3       (7.15) で与えられ，ここで， β = v c (7.16) である．あるいは， β = tanh θ (7.17) とおくと，

cosh2θ− sinh2θ = 1 tanh θ = sinh θ

cosh θ (7.18) を用いて， 1  1− β2 = cosh θ β  1− β2 = sinh θ (7.19) となる．従って，Lorentz変換(7.15)は       a
0 a
1 a
2 a
3       =       cosh θ 0 0 sinh θ 0 1 0 0 0 0 1 0 sinh θ 0 0 cosh θ             a0 a1 a2 a3       (7.20)

と表せる． ４元ベクト ル xµ ４元ベクトル xµに対するLorentz変換は       ct
x
y
z
      =       1/1− β2 _{0 0 β/}_{1− β}2 0 1 0 0 0 0 1 0 β/1− β2 _{0 0 1/}₁− β2             ct x y z       (7.21) と書ける．ここでは，z 軸方向の運動を考えているので，空間座標のx 成分と y 成分は変 化しない．時間成分と空間座標の z成分は t
=  t 1− β2 + vz/c2  1− β2 z
=  v 1− β2 + z  1− β2 (7.22) と変換される．ここで，β = v/c→ 0の極限をとると，       t
x
y
z
      =       1 0 0 0 0 1 0 0 0 0 1 0 v 0 0 1             t x y z       (7.23) となり，Galilei変換が得られる． ４元運動量 ４元運動量pµに対する Lorentz変換は，同様に       E
/c p
1 p
2 p
3       =       1/1− β2 _{0 0 β/}_{1− β}2 0 1 0 0 0 0 1 0 β/1− β2 _{0 0 1/}₁− β2             E/c p1 p2 p3       (7.24) で与えられる．特に，粒子の静止系では p = 0であるから，エネルギーは質量に等しい： E = mc2．この４元運動量に Lorentz変換をほどこすと， E
= mc 2  1− β2, p
1_{= p}
2_{= 0, p}
3 _{= }mv 1− β2 (7.25) が得られる．E
は速度 v で運動する質量m の粒子のエネルギーである．すなわち，エネ ルギーは E2 = p2c2+ m2c4 = m 2_c4 1−v 2 c2 (7.26)

と表せる．これより，３次元運動量の大きさとエネルギーの関係式 | p | = Ev c2 (7.27) が得られる． 内積 慣性系の変換（Lorentz変換）に対して，内積は不変量になる．実際，２つの４元ベ クトル aµと bµを Lorentz変換 (7.15)して得られるa
µ と b
µ の内積をつくると， a
· b
= a
0b
0− a
1b
1− a
2b
2− a
3b
3 = a 0_{− βa}3  1− β2 b0− βb3  1− β2 − a 1_b1_{− a}2_b2₋ −βa_ 0+ a3 1− β2 −βb0_{+ b}3  1− β2 = a0b0− a1b1− a2b2− a3b3 = a· b (7.28) であり，不変であることが確かめられる．

7.2

Dirac

方程式

7.2.1

自由粒子の基本方程式

非相対論的古典論 質量がmの自由粒子のエネルギー（運動エネルギー）は，古典力学で は次の式で与えられる： E = p 2 2m (7.29) 非相対論的量子論（Schr¨odinger方程式） 古典力学から量子力学への移行は，エネルギーE と運動量pを微分演算子に置き換えるこ とによって行われる： E −→ i¯h ∂ ∂t p −→ ¯ h i ∇ (7.30) この置き換えにより，(7.29)に対応した自由粒子の Hamiltonian H = p 2 2m (7.31) から，自由粒子のSchr¨odinger方程式 i¯h∂ψ(t, x) ∂t = − ¯ h2 2m∇ 2_{ψ(t, x) (7.32)} が得られる．この方程式は波動関数ψ(t, x) の時間発展を規定する． (7.32)に ψ∗ をかけたものから，(7.32)の複素共役に ψ をかけたものを引くと，連続の 方程式（確率の保存） ∂ρ ∂t +∇ · j = 0 (7.33) が得られる．ここで， ρ = ψ∗ψ = | ψ |2 j = 1 2m ¯ h i [ψ ∗_{(∇ψ) − (∇ψ}∗_{) ψ]} (7.34) は，それぞれ，確率密度と確率の流れの密度であり，(7.33)は確率の保存を表す．ρは正値 であり確率密度と解釈することができる． 相対論的量子論（Klein-Gordon方程式） Schr¨odinger方程式(7.32)は非相対論的であり，相対論的なエネルギーと運動量の関係 E2 = p2c2+ m2c4 (7.35) に対応していない．また，そのため，Lorentz変換に対して左辺と右辺の変換は異なる．相 対論的量子論における自由粒子の方程式は，エネルギーと運動量の関係式 (7.35)に，演算

子による置き換え (7.30)をして得られる：  ¯ h2  ∂2 ∂t2 − c 2_∇2  + m2c4  ψ = 0 (7.36) この方程式は Klein-Gordon方程式 と呼ばれる． 相対論では，エネルギーと運動量は４元ベクトル（４元運動量）の成分として変換する． 従って，上に示した方程式は４元ベクトルを用いて表すことができる．ただし，反変ベクト ルと共変ベクトルに注意が必要である．次の４つの成分
1 c ∂ ∂t,− ∇  =
1 c ∂ ∂t,− ∂ ∂x1,− ∂ ∂x2,− ∂ ∂x3  (7.37) は，Lorentz変換に対して，上付き添字の反変ベクトル( ct, x1, x2, x3)と同じように変換し，
1 c ∂ ∂t,∇  =
1 c ∂ ∂t, ∂ ∂x1, ∂ ∂x2, ∂ ∂x3  (7.38) は下付き添字の共変ベクトル( ct,−x1,−x2,−x3) = ( ct, x1, x2, x3)と同じように変換す る．従って，４元運動量の反変ベクトル pµと共変ベクトル p_µ は，それぞれ，次のように 表すことができる： pµ = i¯h∂µ = i¯h ∂ ∂x_µ =
i¯h c ∂ ∂t, ¯h i ∂ ∂x  p_µ = i¯h∂_µ = i¯h ∂ ∂xµ =
i¯h c ∂ ∂t,− ¯ h i ∂ ∂x  (7.39) エネルギーと運動量の関係式は４元運動量の内積を用いて pµp_µ− m2c2 = 0 (7.40) と書けるので，Klein-Gordon方程式は [ ¯h2∂µ∂_µ+ m2c2] ψ = 0 (7.41) と簡単に表せる． 確率解釈の問題 非相対論的 Schr¨odinger方程式の解に対して確率の保存 (7.33)を求めた のと同様な計算を，Klein-Gordon方程式の解に対して行うと，全く同じ形の連続の方程式 ∂ρ ∂t +∇ · j = 0 (7.42) が得られる．ただし， ρ = i¯h 2mc2  ψ∗
∂ψ ∂t  −
∂ψ∗ ∂t  ψ  j = 1 2m ¯ h i [ψ ∗_{(∇ψ) − (∇ψ}∗_{) ψ]} (7.43)

である．空間成分j は非相対論的な場合と同じであるが，時間成分 ρは時間微分を含んで いる．従って，ρが正値である保証はなく，ρを確率密度とみる解釈ができない．これは， Klein-Gordon方程式が時間についての２階微分を含んでいることに起因する． 簡単な例として，Klein-Gordon方程式の平面波解 ψ = N exp  −i ¯h(Et− p · x)  (7.44) を考えると，(7.43)から ρ = 1 mc2 | N | 2_{E (7.45)} となる．エネルギー E = ±  p2_c2_{+ m}2_c4 _(7.46) の符号に応じて，ρは正にも負にもなることがわかる． この段階では，Klein-Gordon方程式の解に対する確率密度の問題は解決できない．実際 には，場の量子論に基づいて確率密度を定義することができ，Klein-Gordon方程式はスピ ンが 0であるスカラー粒子が満たす方程式であることが示せる．

7.2.2

Dirac

方程式

時間微分について線形な方程式 P.A.M. Dirac は，Lorentz変換に対して不変（E2 = p2_c2_{+ m}2_c4 _{を満たす）であり，しかも，Schr¨odinger方程式のように時間微分に関して線} 形である方程式を求め，いわゆる Dirac方程式に至った． エネルギーと運動量は４元ベクトルの成分として変換されるので，時間微分に関して線 形であるならば，空間座標についての微分も線形でなければならない．すなわち，次のよう な方程式が考えられる： H ψ = i¯h∂ψ ∂t = ¯ hc i
α1 ∂ψ ∂x1 + α 2∂ψ ∂x2 + α 3 ∂ψ ∂x3  + βmc2ψ =
¯ hc i α k ∂ ∂xk + βmc 2  ψ (7.47) ここで，３つの空間成分についての和（k = 1, 2, 3）を暗に表した． 微分演算を２回行うと２階の微分方程式
_i¯h c ∂ ∂t 2 ψ =
_¯hc i α j ∂ ∂xj + βmc 2 
_¯hc i α k ∂ ∂xk + βmc 2  ψ = − (¯hc)2 3 k=1 (αk)2 ∂ 2_ψ (∂xk₎2 − (¯hc) 2 3 1=j<k (αjαk+ αkαj) ∂ 2_ψ ∂xj_∂xk +¯hcm i 3 k=1 (αkβ + βαk) ∂ψ ∂xk + β 2_m2_c4_ψ (7.48)

になるが，この式が，４元運動量の関係式(7.35)から導かれる Klein-Gordon方程式
i¯h c ∂ ∂t 2 ψ =
¯ hc i ∂ ∂xk 2 ψ + m2c4ψ (7.49) に一致しなければならない．そのためには，αk とβ が反交換関係 αjαk+ αkαj = 2δik αkβ + βαi = 0 (7.50) を満たすことが要請され，また， β2 = 1 (7.51) である．さらに，Hamiltonianの固有値であるエネルギーは実数であるから，Hamiltonian は Hermiteであり，従って，αkと β も Hermiteでなければならない： αk† = αk β† = β (7.52) このような条件を満たす αk と β は単なる数ではなく，正方行列（行の数と列の数が等し い行列）で表される．従って，波動関数ψは幾つかの成分をもつことになる． ガンマ行列 上で導入した４つの行列αk とβ の代わりに，相対論的な形式に合ったガン マ行列を次のように定義する： γ0 = β γk = βαk ( k = 1, 2, 3 ) (7.53) αk とβ が満たすべき条件(7.50), (7.51), (7.52) は γµγν+ γνγµ = 2gµν (7.54) γ0† = γ0 γk† = − γk (7.55) と書き直される．gµν は４元ベクトルの添字の上げ下げをする計量テンソルである．また， ガンマ行列の時間成分γ0 _{は Hermiteであるが，空間成分 γ}k _{は反Hermiteになる．} 波動関数ψの成分の数は以下のように考えられる．第１に，４つの行列が互いに反交換 しなければならないので，成分の数は３以上である．成分の数が２であると仮定すると，２ 行２列の行列で互いに反交換するものが４つなければならない．しかし，２行２列の行列は Pauliのスピン行列（３個）と単位行列で表すことができるが，反交換するのは３つである． 第２に，ガンマ行列の反交換関係 (7.54)から，波動関数の成分の数は偶数でなければなら ないことが示せる．まず，µ = ν = 0のとき，(γ0)2 = 1から，γ0 の固有値は ±1であり， k = µ = ν = 0 のとき，(γk)2=−1から，γkの固有値は ±iである．また，ガンマ行列の 積の対角成分の和（トレースという）は，µ= ν のとき Tr (γµγνγν) = −Tr (γνγµγν) = −Tr (γµγνγν) = 0 (7.56) となる．ここで，(γν)2 =±1より， Tr (γµ) = 0 (7.57)

が得られる．このような条件を満たす行列の行数（列数）は偶数でなければならない．上で 得られた「３以上」で「偶数」という条件から，以下では，波動関数の成分の数は４である とする： ψ(t, x) =       ψ₁(t, x) ψ₂(t, x) ψ₃(t, x) ψ₄(t, x)       (7.58) 反交換関係を満たす４行４列の行列として，ここでは，次の形を採用する： γ0 =  I 0 0 −I  γk =  0 σk −σk ₀  (7.59) I は２行２列の単位行列で，σkは Pauliのスピン行列である： σ1 =  0 1 1 0  σ2 =  0 −i i 0  σ3 =  1 0 0 −1  (7.60) ここで採用した形をDirac-Pauli表示 と言う．一般に，上に示した行列をunitary変換し て得られる行列も反交換関係を満たす．別の表示としては，たとえば， γ0 =  0 I I 0  γk =  0 −σk σk 0  (7.61) が用いられる．これを Wyle表示 あるいはChiral表示 という． Dirac方程式 ガンマ行列を用いると (7.47)は i¯h
γ0 ∂ ∂x0 + γ 1 ∂ ∂x1 + γ 2 ∂ ∂x2 + γ 3 ∂ ∂x3  ψ− mc ψ = 0 (7.62) と書ける．これが，スピンが 1₂ の自由な粒子の波動関数が満たすべきDirac方程式である． また，波動関数は（４成分）スピノールと呼ばれる．上のDirac方程式は，繰り返し現われ る添字について和をとると約束して ( i¯hγµ∂_µ− mc ) ψ = 0 (7.63) と簡単に表すことが多い． 確率密度 Klein-Gordon方程式で問題になった確率密度（及び，確率の流れの密度）は， Dirac方程式(7.47)から導ける．ただし，波動関数は４成分をもつので，複素共役の代わり にHermite共役をとる．(7.47)のHermite共役は −i¯h∂ψ† ∂t = ψ †
₋¯hc i α· ← − ∇ + βmc2  (7.64)

であり，ここで，←∇−は左にある ψ†に作用する微分演算子で，たとえば，x成分は ψ†←∇−_x = ∂ψ † ∂x (7.65) を意味する．確率の保存は ∂ρ ∂t +∇ · j = 0 (7.66) と表され，ここで， ρ = ψ†ψ j = cψ†α ψ = c( ψ†α1ψ, ψ†α2ψ, ψ†α3ψ, ) (7.67) である．４元ベクトルでは次のように表される： ∂jµ ∂xµ = ∂µjµ = 0 jµ = ( cρ, j ) (7.68) 確率密度 ρは，波動関数の４成分で陽に表すと ρ = ( ψ₁∗, ψ₂∗, ψ₃∗, ψ₄∗)       ψ₁ ψ₂ ψ₃ ψ₄       = 4 k=1 | ψk|2 > 0 (7.69) より，常に正値であり，確率解釈が可能である．

7.2.3

Dirac

方程式の解

４成分からなるDirac方程式は，独立な４つの解をもつ．エネルギーEと運動量pの固 有状態は ψ(t, x) = w exp  − i ¯ h(Et− p · x)  (7.70) と書くことができる．wは４成分をもつ： w =       u₁ u₂ u₃ u₄       (7.71) (7.71) を Dirac方程式 (7.62) に代入し，Dirac-Pauli表示のガンマ行列の表示 (7.59) と (7.60)を用いると，u_k(p)（k = 1, 2, 3, 4）に関する連立方程式が得られ，行列の形で書くと       E− mc2 0 −cp3 −c(p1− ip2) 0 E− mc2 −c(p1+ ip2) cp3 −cp3 _−c(p1_{− ip}2_{) E + mc}2 ₀ −c(p1_{+ ip}2_{) cp}3 _{0 E + mc}2             u₁ u₂ u₃ u₄       = 0 (7.72)

となる．この連立方程式が解をもつのは，u_kの係数行列の行列式が 0になるとき  E2− (pc)2− m2c42 = 0 (7.73) すなわち，エネルギーと運動量の関係式が成り立つときである．運動量pが指定されたと き，エネルギーは E_± = ±  p2_c2_{+ m}2_c4 _(7.74) の２つの値が許される．絶対値は等しく，一方は正であり，他方は負である．これは，Klein-Gordon方程式の場合と同じである．正のエネルギー E+ に対して２つの独立な解が存在 する： w = N           1 0 cp3 E++ mc2 c(p1+ ip2) E++ mc2           w = N           0 1 c(p1− ip2) E++ mc2 − cp3 E++ mc2           (7.75) 同様に，負のエネルギー E₋に対しても２つの独立な解が存在する： w = N           cp3 E₋− mc2 c(p1+ ip2) E₋− mc2 1 0           w = N           c(p1− ip2) E₋− mc2 − cp3 E₋− mc2 0 1           (7.76) 規格化因子は N =  1 + p 2_c2 (| E_±| + mc2₎2 _−1/2 (7.77) で与えられる． ４成分スピノールw は，しばしば，２成分ずつに分けて w =  φ χ  φ =  u₁ u₂  χ =  u₃ u₄  (7.78) と表される．(7.70)を Dirac方程式 (7.62)に代入し，(7.59)を用いると， E c  I 0 0 −I   φ χ  +  0 σ· p −σ · p 0   φ χ  − mc  I 0 0 I   φ χ  = 0 (7.79)

より，２成分スピノール φと χの連立方程式 (E− mc2_{) φ− c σ · p χ = 0} (E + mc2) χ− c σ · p φ = 0 (7.80) が得られる．後者を χについて解いて，４成分スピノール wは w = N    φ c σ· p E + mc2φ    (7.81) と表される．エネルギーと運動量の関係は，(7.80) の下の式を χについて解いて上の式に 代入すると，Pauli行列の関係式 (σ· p) (σ · p) = p2I (7.82) を用いて (E− mc2) (E + mc2) φ = (pc)2φ (7.83) が得られる．この結果は，４成分に分けて計算した場合 (7.73)に一致する．

7.3

Dirac

波動関数の変換

7.3.1

Lorentz

変換

この章の始めにLorentz変換について簡単に述べたが，ここでは，広い意味でのLorentz 変換について説明する． ４元ベクト ルの線形変換 一般に，Lorentz変換とは，４元ベクトル xµ の線形変換 xµ −→ x
µ = Λµ_νxν (7.84) で， x· x = xµx_µ (7.85) を不変に保つもの，すなわち， x
µx
_µ = xµx_µ (7.86) が成り立つものをいう． (7.86) の左辺にある４元ベクトルの内積において，計量テンソル g_µν を用いて共変ベクト ルx
_µを反変ベクトル x
µ で表し，x
µを (7.84)によって書き換える： x
µx
_µ = g_µνx
µx
ν = g_µν(Λµ_ρxρ) (Λν_σxσ) = g_µνΛµ_ρΛν_σxρxσ (7.87) 一方，(7.86)の右辺は xρx_ρ = g_ρσxρxσ (7.88) と表せる．両者が一致するためには，Lorentz変換を表すΛµ_ν が g_µνΛµ_ρΛν_σ = g_ρσ (7.89) を満たさなければならない． 連続的な変換と離散的な変換 g_µν 及び Λµ ν は４行４列の行列で表される．そこで，(7.89)の行列式を計算する．行列の積 の行列式は，個々の行列の行列式の積に等しいので，(7.89)より ( det Λ )2 = 1 (7.90) が得られる．すなわち， det Λ = ±1 (7.91) である．例として，z軸方向の並進運動を表す Lorentz変換 (7.15)の場合は， det Λ =      1/1− β2 _{0 0 β/}_{1− β}2 0 1 0 0 0 0 1 0 β/1− β2 _{0 0 1/}₁− β2      = 1 (7.92)

である． 一般に，恒等変換から微小変換の積み重ねで到達できる Lorentz変換の場合は det Λ = +1 である．行列式がdet Λ =−1であるLorentz変換は離散的な空間反転と時間反転（Λをそ れぞれ P , T と表す）： 空間反転 P =       +1 0 0 0 0 −1 0 0 0 0 −1 0 0 0 0 −1       (7.93) 時間反転 T =       −1 0 0 0 0 +1 0 0 0 0 +1 0 0 0 0 +1       (7.94) 及び，そこから微小変換の積み重ねで到達できる場合である． 共変ベクト ルの変換 (7.89)の両辺に gτ ρをかけて τ と ρについて和をとる．左辺は計量テンソルによる添字の 上げ下げの規則により gτ ρg_µνΛµ_ρΛν_σ = gτ ρΛ_νρΛν_σ = Λ_ντΛν_σ (7.95) 右辺は gτ ρg_ρν = δτ_σ (7.96) より， Λ_ντΛν_σ = δ_στ (7.97) が得られる．ここで，δτ_σ はKroneckerのデルタである．(7.97)は Λµ_ν の添字を上げ下げし て得られる Λ_µν が，もとの行列Λ の転置逆行列(Λ−1)T になっていることを表している： Λ_µν = ( Λ−1)ν_µ (7.98) 共変ベクトルの変換 x_µ → x
_µは，添字の上げ下げを用いて次のようにして求められる： x
_µ = g_µνx
ν = g_µνΛν_ρxρ = g_µνΛν_ρgρσx_σ = Λ_µσx_σ (7.99) 最後の等号では計量テンソルによる Λの添字の上げ下げを用いた．この結果，及び (7.98) の関係より，共変ベクトルの変換 x_µ −→ x
_µ = Λ_µνx_ν = x_ν( Λ−1)ν_µ (7.100) が得られる．

２階のテンソル 一般に，任意の階数のテンソルのLorentz変換は，上付き添字は反変ベクトルとして，下付 き添字は共変ベクトルとして変換するものとして定義する．たとえば，上付き添字を２つも つ２階のテンソルTµν は次のように変換される． Tµν −→ T
µν = Λµ_ρΛν_σTρσ (7.101) 特に，計量テンソル gµν の場合は gµν −→ g
µν = Λµ_ρΛν_σgρσ = ΛµσΛν_σ = gµρΛ_µσΛν_σ = gµρδ_ρν = gµν (7.102) と変換されるので，Lorentz変換に対して不変である（不変テンソル）ことがわかる． Dirac方程式は Lorentz変換に対して形を変えないことが確かめられる．（それを示すこと はここではしない．）慣性系によらずに同じ形になることを 相対論的に共変 であるという． 以下では，連続的な変換として簡単な例を示し，また，離散的な変換と関連した事項につい て述べる．

7.3.2

連続的な変換

空間座標軸のまわりの回転 例としてk軸（k = 1, 2, 3）のまわりの角度θの回転を考える．非相対論において，k軸の まわりの角度 θの回転に対するスピン s状態の変換は，角運動量演算子Jk の2s + 1表現 を用いて ψs −→ ψs
= S(θ)ψs (7.103) S(θ) = exp (iJkθ) (7.104) と書ける．スピンが 1₂ のとき，角運動量演算子はPauli行列で表される（Jk = 1₂σk）ので， ２成分スピノールに作用する変換行列は S(θ) = exp  iσ k 2 θ  (7.105) と表すことができる．２行２列の行列σk を含むexp(iσkθ/2)は級数展開 exp  iσ k 2 θ  = ∞ n=0 1 n!  iσ k 2 θ n (7.106) で定義される．Pauli行列の性質 _ σk 2 = I (7.107) を用いると，偶数次の項は単位行列になり，その結果， exp  iσ k 2 θ  = I cosθ 2+ i σ k_sinθ 2 (7.108)

と表される． Dirac波動関数はスピンが 1₂ の粒子の相対論的波動関数である．非相対論的な場合との 違いは Dirac波動関数ψが４成分スピノールで表されることである．実際には，４成分の うち，上の２成分と下の２成分が非相対論的な場合と同様に変換する．すなわち， ψ(x) −→ ψ
(x
) = S(θ) ψ(x) (7.109) と表すことができ，S(θ)は４行４列の変換行列で与えられる： S(θ) =  I 0 0 I  exp  iσ k 2 θ  (7.110) σk_{はk軸のまわりの無限小回転を生じるHermite行列であるので，変換行列は unitary行} 列である． 並進（狭義の Lorentz変換） 例として x軸（１軸）方向への速度vの並進運動を考える．このとき，時間座標x0 と１軸 座標 x1 は，β = v/c = tanh θとして次のように変換する（Lorentz変換 (7.20)において， 速度の符号を変えて）： x0 −→ x
0 = + x0cosh θ− x1sinh θ x1 −→ x
0 = − x0sinh θ + x1cosh θ (7.111) この Lorentz変換のもとで，４成分スピノール ψ(x) の変換は ψ(x) −→ ψ
(x
) = S(θ) ψ(x) (7.112) と書ける．S(θ)は４行４列の行列で，空間座標の回転の場合と良く似た形で表される： S(θ) = exp
−i σ01 2 θ  (7.113) ここで， σ₀₁ =       0 0 0 −i 0 0 −i 0 0 −i 0 0 −i 0 0 0       (7.114) である．σ₀₁ の２乗は４行４列の単位行列に −1をかけたものになるので， S(θ) = I4cosh θ 2− i σ01sinh θ 2 (7.115) と書ける．I4 は４行４列の単位行列である．無限小変換を生じる行列σ01はHermiteでは ないので，変換行列は unitary行列ではない．

スカラー・ベクト ル・テンソル ４元ベクトルに対して定義される Lorentz変換 xµ −→ x
µ = Λµ_νxν (7.116) のもとで，Dirac方程式の解ψは次のように変換される： ψ −→ ψ
= S ψ (7.117) しかし，Lorentz変換(7.111)の場合，Dirac波動関数の変換(7.112)において，変換行列は unitaryでない．従って，波動関数ψのHermite共役 ψ†はLorentz変換に対する良い変換 性を示さない．相対論的に共変であることを見やすくするには，Dirac波動関数の Hermite 共役の代わりに，Hermite共役に右から γ0 をかけた波動関数を導入すると便利である．こ れを ψの上に横線を付けて表す： ψ = ψ†γ0 (7.118) ４成分を陽に書くと ψ = ( ψ₁∗, ψ₂∗, ψ₃∗, ψ₄∗) γ0 = ( ψ₁∗, ψ₂∗,−ψ₃∗,−ψ₄∗) (7.119) である．上に横線を付けた波動関数は，Lorentz変換に対してS(θ)の逆行列で変換される： ψ(x) −→ ψ
(x
) = ψ(x) S(θ)−1 (7.120) 関係式 (7.120)を考慮すると，波動関数ψ₁ と ψ₂ の積の変換は ψ₁ψ₂ −→ ψ
₁ψ
₂ = ψ₁S−1Sψ₂ = ψ₁ψ₂ (7.121) となり，Lorentz変換に対して不変であることがわかる．添字1と 2は異なる波動関数に対 しても成り立つことを表す．このようにLorentz変換に対して不変な量を スカラー と呼ぶ． ガンマ行列 γµをはさんだ量ψ₁γµψ₂ の変換は ψ₁γµψ₂ −→ ψ
₁γµψ₂
= ψ₁S−1γµSψ₂ (7.122) と書ける．（ここでは導出しないが ）変換行列S に対して， S−1γµS = Λµ_νγν (7.123) が成り立つ．従って，上の変換は ψ₁γµψ₂ −→ ψ
₁γµψ₂
= Λµ_νψ₁γµψ₂ (7.124) となり，４元ベクトルと同じ変換をすることがわかる．このように４元ベクトルと同じよう に変換する量をベクト ル という．

ガンマ行列の変換 (7.123)を考えると，２つのガンマ行列の積をはさんだ量はテンソルとし て変換する： ψ₁γµγνψ₂ −→ ψ
₁γµγνψ
₂ = Λµ_ρΛν_σψ₁γργσψ₂ (7.125) 通常，γµγν の代わりに，ガンマ行列の交換関係によって定義される σµνがテンソルとして 用いられる： σµν = i 2[ γ µ_{, γ}ν_{] (7.126)} なお，計量テンソルを用いて添字を下げたσ₀₁が，変換行列(7.113)に現われた４行４列の 行列である． 確率密度 Dirac波動関数の確率密度は４元ベクトルで jµ = ( cρ, j ) = ( cψ†ψ, cψ†αψ ) (7.127) と表される．ここで，ψ†の右側に単位行列β2 = Iを挿入し，β = γ0，ψ = ψ†γ0，γk = βαk の関係式を用いると， jµ = cψγµψ (7.128) と書き直せる．すなわち，確率密度の４元ベクトルjµは Lorentz変換に対してベクトルと して変換することが確かめられる．

7.3.3

空間反転とカイラリティ

空間反転 空間反転は次の変換として定義される：  t −→ + t x −→ − x (7.129) すなわち，Lorentz変換を表すΛµ_ν は計量テンソルgµν に等しい．従って，ガンマ行列の変 換は P−1γµP = gµνγν =  + γ0 (µ = 0) − γk _{(µ = 1, 2, 3)} (7.130) と表される．変換行列P は P = eiϕγ0 (7.131) と表すことができる．実際，P の逆行列は P−1 = e−iϕ(γ0)−1 = e−iϕγ0 (7.132) であるので， P−1γµP = γ0γµγ0 (7.133)

から，µ = 0のときは γ03 = γ0 であり，µ = 1, 2, 3のときはガンマ行列の反交換関係を 用いて γ0γkγ0 = − γkγ0γ0 = − γk (7.134) となる．また，変換行列は P†P = γ0e−iϕeiϕγ0 = (γ0)2 = I (7.135) を満たすので，明らかに unitary変換である： P−1 = P† (7.136) 擬スカラー・擬ベクト ル 位置ベクトル xや運動量ベクトル pは空間反転に対して符号を変えるが，角運動量x× p は符号を変えない．角運動量のように，空間回転に対してはベクトルと同じように変換する が，空間反転に対して符号を変えない量を 擬ベクトル量 と呼ぶ．また，空間回転に対して 変換しないスカラーのなかには，空間反転に対して符号を変えるものがある．このような量 を擬スカラー量 と呼ぶ． 擬スカラー量や擬ベクトル量をつくるには，次の式で定義されるγ5 を導入すると便利で ある： γ5 = γ₅ = iγ0γ1γ2γ3 =  0 I I 0  (7.137) ここでは，具体的な形として Dirac-Pauli表示で示した． ψ₁γ5ψ₂ は擬スカラーである．すなわち，Lorentz変換に対してはスカラーψ₁ψ₂ と同様に符 号を変えないが，空間反転に対してはスカラーと異なって符号を変える．ベクトル ψ₁γµ_ψ 2 に対応して，擬ベクトルはψ₁γ5γµψ₂である．Lorentz変換に対してはベクトルと同様に振 るまい，空間反転に対しては符号を変えない． 双一次形式 Dirac波動関数 ψ と ψ = ψ†γ0 から作られる ψΓ ψ を双一次形式という．ガンマ行列は４ 行４列の行列であるから，独立成分の数は 16 である．従って，双一次形式のΓ をガンマ 行列の組み合わせでつくるとすると，双一次形式の独立な成分の個数も 16である．それら は，Lorentz変換と空間反転に対する変換性から，以下のように分類することができる： スカラー S ψψ 1 擬スカラー P ψγ5ψ 1 ベクトル V ψγµψ 4 擬ベクトル A ψγ5γµψ 4 テンソル T ψσµν_{ψ 6} 右端の数字は独立な成分の個数を表している．独立な成分の和は 16になり，双一次形式の すべてが尽くされている．

カイラリィ (7.137) で定義した行列γ5 を２乗すると恒等変換になる： ( γ5)2 =  I 0 0 I  (7.138) 従って，固有値は ±1である．Dirac波動関数は固有値が+1の成分と −1の成分をもって いる．前者をカイラリィが正であるといい，後者をカイラリィが負であるという． ２つの成分は，次の行列を用いることによって分離できる： P₊ = 1 + γ 5 2 P− = 1− γ5 2 (7.139) (7.138) より， ( P₊)2 = P₊ ( P₋)2 = P₋ P₊P₋ = 0 (7.140) が容易に導ける．また，明らかに P₊+ P₋ = 1 (7.141) である．すなわち，P_±は射影演算子の役割を果たす．P₊は γ5 _{の固有値が+1の成分だけ} を取り出し，P₋は −1の成分だけを取り出す： ψ = ψ_R+ ψ_L ψ_R = P₊ψ ψ_L = P₋ψ (7.142) カイラリィ正は右巻き（right-handed）に対応し，カイラリィ負は 左巻き（left-handed） に対応する．波動関数につけた添字Rと Lは頭文字を付けたものである．

7.3.4

Hole

理論

負エネルギー解の問題 Dirac方程式にはエネルギーが正の解だけでなく，負の解も存在する（Klein-Gordon方程 式の場合も同様であった）．たとえば，運動量が p の電子があるとき，エネルギー E は E = ±p2_c2_{+ m}2_c4 _{の２つの値をもつ解が存在する．電子が取り得るエネルギーの値は} E = 0に対して対称である（ただし，−mc2< E < mc2の範囲の値を取ることはできない）． 正のエネルギーをもつ電子はフォトン（光子）を放出して，よりエネルギーが低い負のエネ ルギー状態へと遷移できる．従って，電子は全て負のエネルギー状態へと遷移してしまうこ とになる．これを負エネルギー解の問題という． Diracの解釈 Diracは負エネルギー解の問題を次のように解釈した．真空は，負エネルギー状態は全て電 子によって占有されている．Fermi粒子である電子にはPauliの排他律がはたらき，１つの

量子状態には１つの電子しか入ることができない．従って，既に電子によって占有されてい る負のエネルギー状態へ，正エネルギーをもつ電子は遷移できない．このような真空は無限 に大きな負の電荷とエネルギーをもつことになるが，我々が観測するのは，この真空からの ずれだけである． 0 mc2 −mc2 0 mc2 −mc2 図7.1: 左：陽電子，右：電子と陽電子の対消滅 真空中の負エネルギー状態の電子が１つないとき，真空に１つの holeがあると考える． この holeは，真空に対して１つの電子が欠如している状態であるから，電子と等しい大き さで反対符号の正電荷をもつ．従って，真空中の１つの holeを，正エネルギーをもつ状態 に正電荷をもつ粒子（陽電子）が存在すると解釈する（図7.1の左図参照）．この解釈を応 用すると，電子と陽電子の対消滅 e−+ e+ → γ + γ (7.143) は，正エネルギー状態にある電子が負エネルギー状態のhole（陽電子）へ遷移することに 対応する（図7.1の右図参照）．逆に，電子と陽電子の対生成は，真空中の負エネルギー状 態にある電子がエネルギーを受け取って，正エネルギー状態へ遷移することとして理解で きる． Feynmanの解釈 Feynmanは負エネルギー解を次のように解釈した： 負エネルギー状態にあり，時間を負の向きに進む粒子は， 正エネルギー状態にあり，時間を正の向きに進む反粒子に等しい． 例として，電子 e− のポテンシャルによる散乱を考える．Feynmanによると，図 7.2の左 図に示すように，粒子が時間の負の向きに散乱されることも可能である．この散乱過程は， 図7.2の右図と等価であると考える．すなわち，時間を負の向きに進むe−は負エネルギー 解であり，時間の負の向きにしか進むことができないと考える．そして，これを正エネル

t x e− e− e− t x e− e+ e− 図7.2: 電子 e− のポテンシャルによる散乱 ギーをもち時間の正の向きに進む陽電子e+（e−の反粒子）であるとする．一方，正エネル ギーの e−は時間の正の向きにしか進むことはできない． この考えを次のように推し進めることができる．ある系が正エネルギー E の電子e− を 放出したとする．系のエネルギーは E だけ減少する．また，電荷は−e だけ減少する．つ まり，+eだけ増加する．この電荷の増加は陽電子e+ の吸収によってももたらされる．し かし，e+の吸収過程が e− の放出過程と等価であるには，すなわち，e+ の吸収によってエ ネルギーが Eだけ減少するには，陽電子 e+ は負のエネルギーをもたなければならない． 反粒子 以上見てきたように，真空状態に１つ holeができた状態は，１つの粒子として扱うことが できる．この粒子の質量は電子の質量に等しいが，エネルギーは逆符号（負）であり，電子 とは逆符号で等量の電荷をもつ．このような粒子を電子の反粒子 と呼ぶ．負エネルギー解 の状態が消滅したとき，正エネルギーの反粒子が生成したと解釈する．逆に，正エネルギー の反粒子が消滅したときは，負エネルギー状態に粒子が生成されたと考えられる．

DiracはDirac方程式に負エネルギー解が存在することを示し，また，Hole理論を提唱し て，電子に反粒子があることを予言した．後に，Andersonによって電子と同じ質量をもち， 異符号等量の電荷をもった粒子（反粒子）が発見され，陽電子（positron）と名付けられた．

7.3.5

荷電共役

荷電共役変換 粒子と反粒子を入れ換える変換を荷電共役変換という．粒子の波動関数を ψとすると，反 粒子の波動関数は複素共役ψ∗で基本的にはよい．しかし，荷電共役変換は内部変換であり Lorentz変換性を保たなければならない．すなわち，複素変換とともに成分の混合が考えら れる．そこで，成分の混合を表す４行４列の行列を C として，Dirac波動関数に対する荷

電共役を ψc = C ψT (7.144) と定義する．上付きの横線を引いたψ = (ψ∗)Tγ0 は，ψに複素共役と転置の操作をして得 られる行ベクトルに，右からγ0をかけたものである． ４行４列の行列 C は，反粒子が粒子と同じ Dirac方程式を満たす要請から求められる． その結果，ガンマ行列は Cによって次のように変換される： C−1γµC = − (γµ)T (7.145) 行列 C は unitary行列で表すことができ，Dirac-Pauli表示における具体的な形は C = i γ2γ0 =       0 0 0 −1 0 0 1 0 0 −1 0 0 1 0 0 0       (7.146) である．ψの４成分を ψ =       ψ₁ ψ₂ ψ₃ ψ₄       (7.147) と表すと，ψの荷電共役は ψc =       ψ₄∗ −ψ3∗ −ψ2∗ ψ₁∗       (7.148) である．なお，関係式(7.145)から，行列C により，γ5 は C−1γ5C = (γ5)T (7.149) と変換される． 反粒子のカイラリティ 粒子のカイラリティが負である成分に対して荷電共役変換をすると，反粒子の正のカイラリ ティの成分が得られる．これは次のように示せる．まず，ψの荷電共役変換は ψc = C ψT = C ψ†γ0T = C (γ0)Tψ∗ (7.150) と表せる．カイラリティの射影演算子は P_L = 1− γ 5 2 PR = 1 + γ5 2 (7.151)

で定義され，γ5は実対称行列である（Dirac-Pauli表示）．従って， (ψ_L)c = C P_LψT = C (γ0)T(P_Lψ)∗ (7.150) = C (γ0)TP_Lψ∗ P_L∗= P_L = C P_R(γ0)Tψ∗ γ0γ5 =−γ5γ0 = P_RC (γ0)Tψ∗ ガンマ行列の反交換関係 = P_Rψc (7.150) (7.152) となる．カイラリティが正の成分に対する荷電共役変換では，γ5 にかかる符号が逆になる だけの違いであるので，結果としてカイラリティが逆になる．すなわち， (ψ_L)c = (ψc)_R (ψ_R)c = (ψc)_L (7.153) が得られる．

7.4

電磁場

7.4.1

Maxwell

方程式

古典電磁気学の基本法則は Maxwell方程式にまとめられる：電場を E，磁束密度を B， 電荷密度をρ_em，電流密度を j_em として ∇ · E = ρem (7.154) ∇ × E = −∂B ∂t (7.155) ∇ · B = 0 (7.156) ∇ × B = jem+ ∂E ∂t (7.157) また，電荷に関する連続の方程式 ∂ρ_em ∂t +∇ · jem = 0 (7.158) が成り立つ． 電磁場のポテンシャル 古典電磁気学，そして，特に量子力学では，電場と磁束密度の代わりにスカラーポテンシャ ルφとベクトルポテンシャル Aを導入すると便利である： E = − ∇ φ − ∂A ∂t (7.159) B = ∇ × A (7.160) この定義により，(7.155)と (7.156)は自動的に満たされる（勾配の回転，及び回転の発散 は恒等的に0である）． 相対論的表現 Lorentz変換に対して，スカラーポテンシャルとベクトルポテンシャルは合わせて４元ベク トルとして変換する．反変ベクトル Aµと共変ベクトル Aµ は，それぞれ Aµ =
φ c, A  A_µ =
φ c,−A  (7.161) と表される．また，電荷密度ρemと電流密度 jem も４元ベクトル j_emµ = ( cρ_em, j_em) j_{em µ} = ( cρ_em,−j_em) (7.162) として変換し，連続の方程式は ∂_µj_emµ = ∂j µ em ∂xµ = 0 (7.163)

と書ける． 場の強さのテンソル ポテンシャルが４元ベクトルを成すのに対して，電場や磁束密度は次の式で定義される場の 強さのテンソル（２階の反対称テンソル）の成分として現れる： Fµν = ∂µAν− ∂νAµ (7.164) このテンソルは４行４列のテンソルであるが，定義から明らかに反対称 Fµν = − Fνµ (7.165) であるので，対角成分は Fµµ= 0である．非対角成分のうち，µ = 0, ν = 1, 2, 3の成分は F0k = 1 c ∂Ak ∂t − 1 c ∂φ ∂x_k = 1 c  ∂Ak ∂t + ∂φ ∂xk  = −1 cE k _(7.166) より，電場E の k成分に比例する．残る1≤ µ < ν ≤ 3の成分は， Fjk = ∂A k ∂x_j − ∂Aj ∂x_k = −  ∂Ak ∂xj − ∂Aj ∂xk  (7.167) となる．これは，磁束密度B の成分であることがわかる．２つをまとめて，場の強さのテ ンソルは Fµν =      

0 −E1/c −E2/c −E3/c E1/c 0 −B3 B2 E2/c B3 0 −B1 E3/c −B2 B1 0       (7.168) と書ける． Fµνは (7.164)の定義から明らかに，Lorentz変換に対して２階の反変テンソルとして変 換する．従って，計量テンソルによって添字を下げることができ， F_µν = g_µρg_νσFρσ (7.169) その結果，２階の共変テンソル F_µν =       0 E1_{/c E}2_{/c E}3_/c −E1_{/c 0 −B}3 _B2 −E2_{/c B}3 _{0 −B}1 −E3_{/c −B}2 _B1 ₀       (7.170) が得られる．反変テンソルと共変テンソルの添字について和をとると −1 4F µν_F µν = 1 2  E2 c2 − B 2  (7.171)

は，Lorentz変換に対してスカラーとして変換する（不変である）． Maxwell方程式のうちの２つはポテンシャルの導入で自動的に成立したが，残る２つの 方程式 (7.154)と(7.157)は，反対称テンソルを用いて， ∂_µFµν = ∂F µν ∂xµ = j ν em (7.172) とまとめられる．ここで，反対称テンソルの定義式(7.164)を代入して４元ベクトルAµで 表すと ∂_µ∂µAν− ∂ν(∂_µAµ) = j_emν (7.173) となる．

7.4.2

ゲージ不変性

ゲージ変換 物理的な場である電場E と磁束密度Bに対して，ポテンシャル φとAは一意的には決ま らない．χ(t, x)を任意の関数として，ベクトルポテンシャルを A −→ A
= A +∇χ (7.174) としても，勾配の回転は恒等的に 0であるので，磁束密度Bは変わらない．このとき，電 場E も変わらないようにするには，ベクトルポテンシャルと同時に，スカラーポテンシャ ルを φ −→ φ
= φ−∂χ ∂t (7.175) とすればよい．４元ベクトルの形では， Aµ −→ A
µ = Aµ− ∂µχ (7.176) と表せる． このように，電磁場のポテンシャルには不定性がある．(7.174) と (7.175) を合わせて， あるいは，(7.176)を（電磁場の）ゲージ変換 と言い，χをゲージ関数 という．ゲージ変 換に対して，電場や磁束密度は変わらない．これを ゲージ不変性 という．電磁場の強さの テンソルFµν は，電場と磁束密度から構成されるので，Fµν は必然的にゲージ変換(7.176) に対して不変である． 最小作用の原理によると，作用 S_em = cε  d4x
−1 4F µν_F µν  (7.177) を最小にするように，電磁場のポテンシャルAµが実現する．すなわち，この作用をポテン シャルについて変分すると，電磁場の基本方程式である Maxwell方程式が導かれる．Fµν

はゲージ変換に対して不変であるので，Maxwell方程式だけでなく，作用 S_em もゲージ変 換に対して不変である． ゲージ条件 ゲージ変換の不定性を利用して，扱う問題に応じて，適当なゲージを取ることができる．言 いかえると，ある条件を課してゲージの不定性を除くことができる．この条件を ゲージ条 件 といい，ゲージ条件を課してゲージの不定性を除く操作を ゲージ固定 という． Lorentzゲージ は相対論的共変性を明確にするのに便利なゲージである： ∂_µAµ = 1 c ∂ ∂t φ c +∇ · A = 0 (7.178) この条件をLorentz条件という．ただし，Lorentz条件によって，ゲージ変換の自由度が完 全になくなったわけではない．ゲージ関数 χが 1 c2 ∂2χ ∂t2 − ∇ · (∇χ) = 0 (7.179) を満たす限り，Lorentz条件が満たされているからである． ゲージ関数を適当に選んで，ベクトルポテンシャルAが ∇ · A = 0 (7.180) を満たすとき，これをCoulombゲージ という．このとき，真空中（ρem= jem = 0）では， φ = 0  1 c2 ∂2 ∂t2 − ∇ · ∇  A = 0 (7.181) となる．この式は波動方程式であり，解は電磁波を表す．なお，３成分をもつベクトルポテ ンシャル Aには Coulombゲージ条件 (7.180)が課せられているので，電磁場の自由度は ２である．すなわち，電磁波は横波であり，縦波成分はない．

7.5

第

7

章の参考文献

1. 物理学基礎シリーズ １０ 「素粒子物理学」，坂井典佑（培風館，１９９３年） 2. 「量子力学」，L.I. Schiff,井上健 訳（吉岡書店，１９７１年）

3. Advanced Quantum Mechanics, J.J. Sakurai, (Addison-Wesley Publishing Company, 1967)

4. Relativistic Quantum Mechanics, J.D. Bjorken and S.D. Drell, (McGrow-Hill, Inc., New York, 1964)

5. Relativistic Quantum Field Theory, J.D. Bjorken and S.D. Drell, (McGrow-Hill, Inc., New York, 1964)

6. Gauge Theories in Particle Physics, I.J.R. Aitchison and A.J.G. Hey, Graduate Student Series in Physics, (Adam Hilger, Bristol, Philadelphia, 1989)

7. 新物理学シリーズ ２３，２４ 「ゲージ場の量子論」I・II，九後汰一郎，（培風館，１ ９８９年）