アインシュタインの縮約記法
m は ψ の質量である。μ=0,1,2,3 についてはアインシュタインの縮約記法を用いる。微分formula_2 は