FeynCalc manual (development version)

DIDelta

DIDelta[i, j] is the Kronecker-delta in the Dirac space.

DIDelta[i,j] is transformed into DiracDelta[DiracIndex[i],DiracIndex[j]] by FeynCalcInternal.

See also

Overview, DiracChain, DCHN, DiracIndex, DiracIndexDelta, DiracChainJoin, DiracChainExpand, DiracChainFactor.

Examples

DIDelta[i, j]

δij\delta _{ij}

DIDelta[i, i] 
 
DiracChainJoin[%]

δii\delta _{ii}

44

DIDelta[i, j]^2 
 
DiracChainJoin[%]

δij2\delta _{ij}^2

44

DIDelta[i, j] DIDelta[j, k] 
 
DiracChainJoin[%]

δijδjk\delta _{ij} \delta _{jk}

δik\delta _{ik}

ex = DCHN[SpinorUBar[p, m], i0] DCHN[GA[\[Mu]], i1, i2] DCHN[GS[p] + m, i3, i4] DCHN[GA[\[Nu]], i5, i6] DIDelta[i2, i3] DIDelta[i4, i5] DCHN[i7, SpinorV[q]]

δi2  i3δi4  i5(v(q))i7(γˉμ)i1  i2(γˉν)i5  i6(uˉ(p,m))i0(γˉp+m)i3  i4\delta _{\text{i2}\;\text{i3}} \delta _{\text{i4}\;\text{i5}} (v(q))_{\text{i7}} \left(\bar{\gamma }^{\mu }\right){}_{\text{i1}\;\text{i2}} \left(\bar{\gamma }^{\nu }\right){}_{\text{i5}\;\text{i6}} \left(\bar{u}(p,m)\right)_{\text{i0}} \left(\bar{\gamma }\cdot \overline{p}+m\right)_{\text{i3}\;\text{i4}}

ex // FCI // StandardForm

(*DiracChain[DiracIndex[i7], Spinor[-Momentum[q], 0, 1]] DiracChain[Spinor[Momentum[p], m, 1], DiracIndex[i0]] DiracChain[DiracGamma[LorentzIndex[\[Mu]]], DiracIndex[i1], DiracIndex[i2]] DiracChain[DiracGamma[LorentzIndex[\[Nu]]], DiracIndex[i5], DiracIndex[i6]] DiracChain[m + DiracGamma[Momentum[p]], DiracIndex[i3], DiracIndex[i4]] DiracIndexDelta[DiracIndex[i2], DiracIndex[i3]] DiracIndexDelta[DiracIndex[i4], DiracIndex[i5]]*)
DiracChainJoin[ex]

(φ(q))i7(φ(p,m))i0(γˉμ.(γˉp+m).γˉν)i1  i6\left(\varphi (-\overline{q})\right)_{\text{i7}} \left(\varphi (\overline{p},m)\right)_{\text{i0}} \left(\bar{\gamma }^{\mu }.\left(\bar{\gamma }\cdot \overline{p}+m\right).\bar{\gamma }^{\nu }\right){}_{\text{i1}\;\text{i6}}

DiracChainJoin[ex DIDelta[i0, i1]]

(φ(q))i7(φ(p,m).γˉμ.(γˉp+m).γˉν)i6\left(\varphi (-\overline{q})\right)_{\text{i7}} \left(\varphi (\overline{p},m).\bar{\gamma }^{\mu }.\left(\bar{\gamma }\cdot \overline{p}+m\right).\bar{\gamma }^{\nu }\right){}_{\text{i6}}

DiracChainJoin[ex DIDelta[i7, i6]]

(φ(p,m))i0(γˉμ.(γˉp+m).γˉν.φ(q))i1\left(\varphi (\overline{p},m)\right)_{\text{i0}} \left(\bar{\gamma }^{\mu }.\left(\bar{\gamma }\cdot \overline{p}+m\right).\bar{\gamma }^{\nu }.\varphi (-\overline{q})\right){}_{\text{i1}}