9.狄拉克方程的推导

狄拉克方程的推导考虑薛定谔方程薛定谔方程只包含线性的时间一阶\o"导数"导数从而不具有洛伦兹协变性，因此很自然地想到构造一个具有线性的空间一阶导数的\o"哈密顿量"哈密顿量。这一理由是很合理的，因为空间一阶导数恰好是\o"动量"动量。其中的系数和不能是简单的常数，否则即使对于简单的空间旋转变换，这个方程也不是洛伦兹协变的。因此狄拉克假设这些系数都是N×N阶\o"矩阵"矩阵以满足洛伦兹协变性。如果系数是矩阵，那么波函数也不能是简单的标量场，而只能是N×1阶列矢量狄拉克把这些列矢量叫做\o"旋量"旋量（Spinor），这些旋量所决定的概率密度总是正值同时，这些旋量的每一个标量分量需要满足标量场的\o"克莱因-戈尔登方程"克莱因-戈尔登方程。比较两者可以得出系数矩阵需要满足如下关系:满足上面条件的系数矩阵和\o"本征值"本征值只可以取±1，并且要求是无迹的，即矩阵的对角线元素和为零。这样，矩阵的阶数N只能为偶数，即包含有相等数量的+1和-1。满足条件的最小偶数是4而不是2，原因是存在3个\o"泡利矩阵"泡利矩阵。在不同\o"基(线性代数)"基中这些系数矩阵有不同形式，最常见的形式为这里即为\o"泡利矩阵"泡利矩阵因此系数矩阵和可进一步写为按照\o"量子场论"量子场论的习惯，，狄拉克方程可写为狄拉克方程的洛伦兹协变形式定义四个\o"反对易"反对易矩阵γμ,μ=0,1,2,3。其反对易关系为，其中ημν是光滑时空的\o"度规"度规。利用上式可证明这里也采取了量子场论的习惯，。此时狄拉克方程形式为克莱因-戈尔登方程为。很多时候会用\o"自然单位"自然单位（\o"光速"c=\o"约化普朗克常数"ħ=1）写成由于\o"平面波"平面波为此方程已知的一组解，所以方程形式由它决定：遵从狭义相对论的能量动量关系式跟薛定谔方式不同，每一个k在此都对应着两个，只有通过把频率的正负部份分开，才能让方程描述到整个相对论形式的\o"波函数"波函数。若方程在时间流逝下不变，则其形式为。相对论量子力学下的形式推导自由粒子的薛定谔方程是非相对论量子力学的最基本方程：其中是\o"动量"动量算符。薛定谔方程并非相对论\o"协变"协变的，意味着它不满足\o"爱因斯坦"爱因斯坦的\o"狭义相对论"狭义相对论。利用狭义相对论中四维动量的\o"不变性"不变性导出的相对论动量能量关系，相对论能量替换薛定谔方程左边自由粒子的动能，并最终得到它的协变形式其中\o"达朗贝尔算符"达朗贝尔算符从相对论量子力学的观点来看，达朗贝尔算符的出现意味着克莱因-戈尔登方程是一个量子力学的波方程。量子场论下的形式推导：场论中，对于\o"自旋"自旋为零的场（\o"标量"标量场），\o"拉格朗日量"拉格朗日量被写成这里依照量子场论的习惯选取了\o"自然单位"自然单位，将光速和普朗克常数都取作1。代入\o"欧拉-拉格朗日方程"欧拉-拉格朗日方程可直接得到克莱因-戈尔登方程。从量子场论的观点来看，以上推导过程都在经典场论的范围之内，因此克莱因-戈尔登方程只是一个经典场的场方程。自由粒子解：相对论量子力学中自由粒子只是一个理想化的概念，但形如克莱因-戈尔登方程这样的波方程仍然具有形式上的波包解：，其中从克莱因-戈尔登方程得出的能量\o"本征值"本征值为，因而克莱因-戈尔登方程的解包含了负能量。同时，由这个解导出相应的概率密度也不能保证是正值。这两个问题使得克莱因-戈尔登方程在很长一段时间里被认为是缺乏物理意义的。\o"英国"英国物理学家\o"保罗·狄拉克"保罗·狄拉克为了确保概率密度具有物理意