磁铁吸引金属时发生了什么?(二):狄拉克,与藏在时空里的磁性
系列第(二)篇,共四篇。第(一)篇证明了经典物理禁止磁性(玻尔–范雷文),而第一块相对论补丁(克莱因–戈登)又因负能量和负概率而崩塌。我们把狄拉克留在了一条线索上:坚持要一个对时间一阶、却又相对论协变的波动方程,看看你会被迫接受什么。
我们从上一篇结束的地方接着往下走。当时我们写下了狄拉克那个大胆的猜测——一个对动量只是线性的哈密顿量,
其中四个系数 \(\alpha_x, \alpha_y, \alpha_z, \beta\) 还悬而未决。现在整盘棋就剩一个问题:要让这个方程和相对论自洽,这些东西必须是什么?我们不预设它们是矩阵,而是会被逼到这一步。
1. 把方程平方,逼出一个克利福德代数
自洽的要求说起来很简单。狄拉克一阶方程的任何解,都必须同时满足相对论能量–动量关系——也就是说,把这个算符作用两次,必须重新得到 \(E^2 = c^2\vec{p}^2 + m^2c^4\)。那我们就把哈密顿量平方,并要求它给出正确的结果:
小心地展开左边——动量 \(p_i\) 彼此对易,但我们绝不预设系数也对易——得到
现在把它和干净的右边逐项对照。那些交叉项根本不该出现,所以必须为零;平方项的系数则必须是 1。这番对照交给我们四条代数戒律——克利福德代数(Clifford algebra):
- \(\alpha_i^2 = I\)
- \(\beta^2 = I\)
- \(\{\alpha_i, \alpha_j\} = 0 \quad (i \neq j)\)
- \(\{\alpha_i, \beta\} = 0\)
请盯着第 3 条看一秒。它说 \(\alpha_1 \alpha_2 = -\alpha_2 \alpha_1\)——系数反对易。普通的数没有这种本事(对数而言,\(ab = ba\) 永远成立)。所以 \(\alpha_i\) 和 \(\beta\) 不可能是数。它们被迫成为矩阵——而我们从没这样假设过,是相对论加上”对时间一阶”逼出来的。就是在这一刻,电子长出了内禀结构。
2. 伽马矩阵,与四分量的不可避免
为了让洛伦兹协变性显式地呈现,更利落的做法是把系数重新打包成伽马矩阵 \(\gamma^0 = \beta\)、\(\gamma^i = \beta\alpha_i\)。上面那四条戒律就收拢成一个优雅的关系,
其中 \(\eta^{\mu\nu} = \text{diag}(1,-1,-1,-1)\) 是闵可夫斯基度规;而狄拉克方程本身则呈现出它著名的紧凑形式,
可这些矩阵到底多大?妙就妙在这里:代数本身把答案钉死了。我们需要四个互相反对易的矩阵,每个的平方都是 \(\pm I\)、迹为零。把维数挨个过一遍:1×1 的数根本无法反对易;2 维里泡利矩阵只给得出三个反对易矩阵,差一个;迹与平方的条件又逼着维数必须是偶数,排除了 3 维。第一个容得下四个的维数,是 4 维。电子相对论代数的最小表示,无可回避地是四维的。
一个标准的具体选择是狄拉克表示,由 \(2\times 2\) 单位矩阵和泡利矩阵搭起来:
我们别急着翻过去,看清刚才发生了什么。只不过要求了一个线性的、相对论性的波动方程,就逼得波函数 \(\psi\) 必须带上四个分量——我们如今把它读作电子(自旋上/下)和它的反粒子正电子(自旋上/下)。狄拉克本来只想治好负概率那个病,却不经意间一脚踹开了通往自旋和反物质的大门。这条教训,我们后面还会反复撞见:磁性不是焊在物质上的某种属性,它是时空对称性的必然推论。
3. 把电磁场打开
再漂亮,这也还只是个自由电子。要看见磁性,我们得让电子感受到场。配方是最小耦合替换:把动量换成正则动量 \(\vec{p} \to \vec{p} - q\vec{A}\),把能量算符换成 \(i\hbar\partial_t \to i\hbar\partial_t - q\Phi\),其中 \(\vec{A}\)、\(\Phi\) 是磁矢势和电标势。狄拉克方程变成
或者,用协变导数 \(D_\mu = \partial_\mu + \frac{iq}{\hbar}A_\mu\) 写成完全协变的装束,
这里我们用不着相对论性的情形——一块冰箱贴可一点都不相对论。我们要的是非相对论极限,其中静能 \(mc^2\) 压倒一切。把四分量旋量拆成”大分量” \(\phi\) 和”小分量” \(\chi\)(各是一个二分量旋量),再把快速振荡的静能相位剥出来:
按乘积法则对时间求导,
代回狄拉克方程(用标准表示),两边的指数因子相消,剩下
其中 \(\vec{\pi} = \vec{p} - q\vec{A}\) 是正则动量。这其实是两个耦合方程:
在非相对论极限下,动能和势能比静能小得多,于是 \(|i\hbar\partial_t\chi| \ll |2mc^2\chi|\)、\(|q\Phi\chi| \ll |2mc^2\chi|\)。小分量方程便坍缩成一个代数关系:
顺便也解释了它的名字:\(\chi\) 比 \(\phi\) 小了大约 \(v/c\) 这么一个量级。
4. 收获:磁性掉了出来
现在把 \(\chi\) 代回大分量方程。一切都化简成关于 \(\phi\) 的单个方程:
而磁铁,自始至终就藏在那个看似人畜无害的 \((\vec{\sigma}\cdot\vec{\pi})^2\) 里。用泡利恒等式 \((\vec{\sigma}\cdot\vec{A})(\vec{\sigma}\cdot\vec{B}) = \vec{A}\cdot\vec{B} + i\vec{\sigma}\cdot(\vec{A}\times\vec{B})\):
如果 \(\vec{\pi}\) 是个普通向量,第二项就该是零——任何向量和自己叉乘都为零。可 \(\vec{\pi} = \vec{p} - q\vec{A}\) 是个算符,而 \(\vec{p}\) 与 \(\vec{A}\) 不对易。作用在一个试探函数 \(f\) 上,
由于 \(\vec{p}\times\vec{p}=0\)、\(\vec{A}\times\vec{A}=0\),幸存下来的是
因为 \(\nabla\times\vec{A} = \vec{B}\)。于是这个”自叉乘”非但没有消失,它本身就是磁场:
代回去,我们就推出了泡利方程,哈密顿量里赫然多出一个崭新的项:
最后那一项 \(-\frac{q\hbar}{2m}\vec{\sigma}\cdot\vec{B}\),正是塞曼能 \(U = -\vec{\mu}\cdot\vec{B}\)——一个内禀磁矩,直接和磁场耦合。把它的大小与轨道运动产生的磁矩一比,你会发现这个磁矩是朴素经典估计的两倍:这就是著名的旋磁比 \(g = 2\),不需要任何额外输入就被预言了出来。
值得停下来想想它为什么会出现。要是我们从没引入 \(\vec{\sigma}\) 矩阵——也就是停留在无自旋的克莱因–戈登世界——动能项就会是一个朴素的 \(\vec{\pi}^2\),它不会和 \(\vec{B}\) 产生线性耦合,哈密顿量便退化成无自旋的 \(H_{\text{Spin-0}} = \frac{(\vec{p}-q\vec{A})^2}{2m} + q\Phi\)。换句话说:\(\vec{\sigma}\) 矩阵正是赋予粒子一根内禀转轴的东西。没有它,电子是一个各向同性的点,场只能从外部推搡它。有了它,\(\vec{\pi}\) 的不对易性——也就是乔装的 \(\vec{B}\)——被直接接进电子的内禀维度,化作了一份磁能。第 1 节里相对论硬塞给我们的那套矩阵结构,简直就是字面意义上磁铁的源头。
这把我们带到了哪里
于是真凶到手了。一个孩子手里把玩的磁铁,由一个没有任何经典成因的内禀磁矩驱动;它是电子相对论性、四分量本性在低速世界里留下的残影。玻尔和范雷文说经典物理禁止磁性,他们是对的——只不过他们身处的那个世界,缺了两个维度。
但请注意,我们几乎是从一道侧门拿到自旋的:打开一个场,看着一个项冒出来。这应该让我们隐隐有点不安。自旋本该是内禀的——它该在没有任何场的情况下就存在,写进电子在我们旋转实验室时所遵循的方式里。而且我们打了个结、随手搁下了一根线头:动力学论证给的是一个二分量旋量,可狄拉克方程坚持要四个。另外那两个去哪了?
要回答这个,就得彻底告别动力学,转而追问一个纯粹运动学的问题:当我们旋转空间——以及旋转时空——时,一个波函数必须如何变换?这正是第(三)篇的主题。在那里,SU(2)、SO(3) 和洛伦兹群将解释:电子凭什么一开始就是个旋量。未完待续。