求证ψ=ψ₀e^(iP_μx^μ)为张量形式克莱因-戈登方程解的充要条件

刚接触张量微积分确实容易有点懵，我来一步步帮你把这个证明理清楚——咱们从你已经提到的假设出发，逻辑会非常顺畅：

第一步：从假设出发计算二阶导数 #

你已经假设了动量算子和偏导数的关系：
$$\partial \mu \psi=i p\mu \psi \quad \text{和} \quad \partial^\mu \psi=ip^ \mu \psi$$
现在我们需要计算$\partial_\mu \partial^\mu \psi$（也就是张量形式的达朗贝尔算子作用在$\psi$上）：

1. 先对$\partial^\mu \psi$再做一次$\partial_\mu$偏导：
   $$\partial_\mu \partial^\mu \psi = \partial_\mu \left( ip^\mu \psi \right)$$
2. 因为4动量$p^{\mu$是平面波的常数参数，不随时空坐标$x}\mu$变化，所以可以把$ip^\mu$从导数里提出来：
   $$\partial_\mu \partial^\mu \psi = ip^\mu \cdot \partial_\mu \psi$$
3. 代入你假设的$\partial_\mu \psi = ip_\mu \psi$：
   $$\partial_\mu \partial^\mu \psi = ip^\mu \cdot ip_\mu \psi = i^2 p^\mu p_\mu \psi$$
4. 由于$i^2 = -1$，化简后得到：
   $$\partial_\mu \partial^\mu \psi = -p^\mu p_\mu \psi$$

第二步：代入克莱因-戈登方程推导色散关系 #

把上面的结果代入克莱因-戈登方程$(\partial \mu \partial ^ \mu +m^2)\psi=0$，展开后就是：
$$\partial\mu \partial^\mu \psi + m^2 \psi = 0$$
替换$\partial_\mu \partial^\mu \psi$的表达式：
$$-p^\mu p_\mu \psi + m^2 \psi = 0$$
因为$\psi = \psi_0 e^{ip_\mu x^\mu}$永远不为0（指数函数没有零点），所以可以两边同时除以$\psi$，得到：
$$-p^\mu p_\mu + m^2 = 0 \implies p^\mu p_\mu = m^2$$

这就是4动量需要满足的条件。如果我们用粒子物理中常用的闵氏度规（符号为$(-,+,+,+)$），把4动量展开成能量和三维动量：$p^\mu = (E/c, \vec{p})$，$p_\mu = (-E/c, \vec{p})$，那么$p^\mu p_\mu$可以写成：
$$p^\mu p_\mu = -\left(\frac{E}{c}\right)^2 + \vec{p} \cdot \vec{p}$$
代入$p^\mu p_\mu = m^2$并整理，就能得到我们熟悉的相对论色散关系：
$$E^2 = (pc)^2 + (mc²⁾2$$

第三步：反过来验证满足色散关系时是解 #

如果4动量满足$p^\mu p_\mu = m^{2$，我们也可以直接代入试解$\psi=\psi_0e}{ip_\mu x^\mu}$验证它是方程的解：

1. 计算一阶偏导：$\partial_\mu \psi = \psi_0 \cdot ip_\mu e^{ip_\nu x^\nu} = ip_\mu \psi$
2. 计算二阶偏导：$\partial_\mu \partial^\mu \psi = \partial_\mu (ip^\mu \psi) = ip^\mu \cdot ip_\mu \psi = -p^\mu p_\mu \psi$
3. 代入方程：$-p^\mu p_\mu \psi + m^2 \psi = -(m^2)\psi + m^2 \psi = 0$，完全满足克莱因-戈登方程。

这样就完整证明了：$\psi=\psi_0e^{ip_\mu x^{\mu}$是克莱因-戈登方程的解，**当且仅当**4动量$p_\mu$满足$p}\mu p_\mu = m^2$（即相对论色散关系）。

内容的提问来源于stack exchange，提问作者Convaly