ファインマンのスラッシュ記法

提供: testwiki
ナビゲーションに移動 検索に移動

場の量子論におけるファインマンのスラッシュ記法(ファインマンのスラッシュきほう、テンプレート:En)[1] とは、ディラック場の研究においてファインマンによって導入された、4元ベクトル[2]とガンマ行列 テンプレート:Mvar の縮約を表す記法:

A/ ≡γμAμ=γμAμ.

ここで テンプレート:Mvar は共変ベクトル、テンプレート:Mvar は反変ベクトル、またアインシュタインの縮約記法を用いている。A/は「Aスラッシュ」と読む。

恒等式

ガンマ行列の反交換関係 テンプレート:Math を用いることで、任意のベクトル テンプレート:Mvar, テンプレート:Mvar について次の恒等式が成り立つ:

a/a/≡aμaμ⋅I4=a2⋅I4a/b/+b/a/≡2a⋅b⋅I4.

ここで テンプレート:Math は4次元における単位行列。

特に

∂/2≡∂2⋅I4.

以下の恒等式はガンマ行列の性質から計量テンソルと内積を置き換えることで直接的に得られる。例えば

tr⁡(a/b/)≡4a⋅btr⁡(a/b/c/d/)≡4[(a⋅b)(c⋅d)−(a⋅c)(b⋅d)+(a⋅d)(b⋅c)]tr⁡(γ5a/b/c/d/)≡4iϵμνλσaμbνcλdσγμa/γμ≡−2a/γμa/b/γμ≡4a⋅b⋅I4γμa/b/c/γμ≡−2c/b/a/

ここで テンプレート:Math はレヴィ=チヴィタの完全反対称テンソル。

4元運動量

ディラック方程式を用いて散乱断面積を解くときに、4元運動量についてスラッシュ記法を用いる: ガンマ行列は次のディラック表現を用いると

γ0=(I00−I),γi=(0σi−σi0),

ここで テンプレート:Math はパウリ行列。また4元運動量の定義:

pμ=(E,−px,−py,−pz)

により、次を得る。

p/=γμpμ=γ0p0+γipi=[p000−p0]+[0σipi−σipi0]=[E−σ⋅p→σ⋅p→−E].

同様の結果は、ワイル表現のような他の表現を用いても得られる。

脚注

  1. ↑ 「ディラック・スラッシュ」の記法と呼ばれることもある。例えば テンプレート:Citation
  2. ↑ 実際は4元ベクトルに限らず、時空間が テンプレート:Mvar 次元であれば テンプレート:Mvar 元ベクトルに対し成り立つ。このときガンマ行列は テンプレート:Math から テンプレート:Math までの テンプレート:Mvar 個の行列の組である。

参考文献

関連項目