在研究量子场论的狄拉克场时,理查德·费曼发明了方便的费曼斜线标记(英语:Feynman slash notation,有时也叫狄拉克斜线标记,但不常用[1])。
若A为共变向量(即1-形式),则使用了费曼斜线标记的A的定义为:
![{\displaystyle A\!\!\!/\ {\stackrel {\mathrm {def} }{=}}\ \gamma ^{\mu }A_{\mu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5af9b9f770387d8452cd36bf6c50106192971a27)
上式使用了爱因斯坦求和约定,其中γ为狄拉克矩阵.
恒等式[编辑]
透过使用狄拉克矩阵的反对易关系,可以证明任何
与
满足
![{\displaystyle a\!\!\!/a\!\!\!/=a^{\mu }a_{\mu }=a^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19f944fd6950f75bbc54797a06cb595b399a7a99)
。
特别是,
。
透过直接将狄拉克矩阵恒等式中的度量张量换成内积则可得出更多的恒等式。例如,
![{\displaystyle \operatorname {tr} (a\!\!\!/b\!\!\!/)=4a\cdot b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d260d9517af00c7fb276abd20bc3cba21f395cfd)
![{\displaystyle \operatorname {tr} (a\!\!\!/b\!\!\!/c\!\!\!/d\!\!\!/)=4\left[(a\cdot b)(c\cdot d)-(a\cdot c)(b\cdot d)+(a\cdot d)(b\cdot c)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e6cc3a21d7e7d37b0ac854b6f0ff709cc0bb681)
![{\displaystyle \operatorname {tr} (\gamma _{5}a\!\!\!/b\!\!\!/c\!\!\!/d\!\!\!/)=4i\epsilon _{\mu \nu \lambda \sigma }a^{\mu }b^{\nu }c^{\lambda }d^{\sigma }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132731a22925ad4030bc433d602321924ba3872c)
.
![{\displaystyle \gamma _{\mu }a\!\!\!/b\!\!\!/\gamma ^{\mu }=4a\cdot b\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ef8e8ca475f6a47e19db5afe03926a0d83e9931)
![{\displaystyle \gamma _{\mu }a\!\!\!/b\!\!\!/c\!\!\!/\gamma ^{\mu }=-2c\!\!\!/b\!\!\!/a\!\!\!/\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8428e60b824592097bad20f524798eae5ee7008f)
- 其中
为列维-奇维塔符号。
在四维动量上[编辑]
很多时候,为计算出截面而解狄拉克方程时,会发现四维动量上出现费曼斜线标记:
使用
的狄拉克基表示
![{\displaystyle \gamma ^{0}={\begin{pmatrix}I&0\\0&-I\end{pmatrix}},\quad \gamma ^{i}={\begin{pmatrix}0&\sigma ^{i}\\-\sigma ^{i}&0\end{pmatrix}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0ab3a749d92954da28864c7e600b905f1eb086d)
以及四维动量的定义
![{\displaystyle p_{\mu }=\left(E,-p_{x},-p_{y},-p_{z}\right)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b2577dd961ebf0ecc444cffe91f05e6ea5b5f5e)
可明确地得出
![{\displaystyle {\begin{aligned}p\!\!/&=\gamma ^{\mu }p_{\mu }=\gamma ^{0}p_{0}-\gamma ^{i}p_{i}\\&={\begin{bmatrix}p_{0}&0\\0&-p_{0}\end{bmatrix}}-{\begin{bmatrix}0&\sigma ^{i}p_{i}\\-\sigma ^{i}p_{i}&0\end{bmatrix}}\\&={\begin{bmatrix}E&-\sigma \cdot {\vec {p}}\\\sigma \cdot {\vec {p}}&-E\end{bmatrix}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/329c4740a550598bbf529e152786734b8a6d2f8b)
使用其他基也能得出相同的结果,例如外尔基。
参考资料[编辑]