场的运动方程(Field Equations)是描述场(如标量场、矢量场、张量场等)随时间演化的偏微分方程。它们可以从作用量原理(Action Principle)出发,通过欧拉-拉格朗日方程导出。以下是不同情况下场的运动方程的推导方法及其物理应用。
1. 经典场论中的运动方程
作用量原理
场的动力学由作用量 \( S \) 决定: \[ S = \int \mathcal{L}(\phi, \partial_\mu \phi) , d^4x \] 其中:
- \( \mathcal{L} \) 是拉格朗日密度(Lagrangian Density)。
- \( \phi(x^\mu) \) 是场(可以是标量、矢量或张量)。
- \( \partial_\mu \phi = \frac{\partial \phi}{\partial x^\mu} \) 是场的导数。
欧拉-拉格朗日方程(场论形式)
为了使作用量 \( S \) 取极值,场 \( \phi \) 必须满足: \[ \frac{\partial \mathcal{L}}{\partial \phi} - \partial_\mu \left( \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi)} \right) = 0 \] 这就是场的运动方程。
2. 不同场的运动方程
(1) 标量场(Klein-Gordon 方程)
考虑自由实标量场 \( \phi(x) \),其拉氏量为: \[ \mathcal{L} = \frac{1}{2} (\partial_\mu \phi)(\partial^\mu \phi) - \frac{1}{2} m^2 \phi^2 \] 计算欧拉-拉格朗日方程: \[ \frac{\partial \mathcal{L}}{\partial \phi} = -m^2 \phi, \quad \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi)} = \partial^\mu \phi \] 代入得: \[ -m^2 \phi - \partial_\mu (\partial^\mu \phi) = 0 \implies (\partial_\mu \partial^\mu + m^2) \phi = 0 \] 即 Klein-Gordon 方程: \[ \boxed{ (\partial^2 + m^2) \phi = 0 } \] 其中 \( \partial^2 = \partial_\mu \partial^\mu = \frac{\partial^2}{\partial t^2} - \nabla^2 \) 是达朗贝尔算符(d’Alembertian)。
(2) 电磁场(Maxwell 方程)
电磁场的拉氏量为: \[ \mathcal{L} = -\frac{1}{4} F_{\mu\nu} F^{\mu\nu}, \quad F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu \] 其中 \( A_\mu \) 是电磁四势。计算欧拉-拉格朗日方程: \[ \frac{\partial \mathcal{L}}{\partial A_\nu} = 0, \quad \frac{\partial \mathcal{L}}{\partial (\partial_\mu A_\nu)} = -F^{\mu\nu} \] 代入得: \[ \partial_\mu F^{\mu\nu} = 0 \] 这给出 自由空间的 Maxwell 方程: \[ \boxed{ \partial_\mu F^{\mu\nu} = 0 } \] 展开后即: \[ \nabla \cdot \mathbf{E} = 0, \quad \nabla \times \mathbf{B} - \frac{\partial \mathbf{E}}{\partial t} = 0 \]
(3) 狄拉克场(Dirac 方程)
费米场的拉氏量为: \[ \mathcal{L} = \bar{\psi} (i \gamma^\mu \partial_\mu - m) \psi \] 其中 \( \psi \) 是旋量场,\( \gamma^\mu \) 是狄拉克矩阵。计算欧拉-拉格朗日方程: \[ \frac{\partial \mathcal{L}}{\partial \bar{\psi}} = (i \gamma^\mu \partial_\mu - m) \psi = 0 \] 即 Dirac 方程: \[ \boxed{ (i \gamma^\mu \partial_\mu - m) \psi = 0 } \]
3. 广义相对论(爱因斯坦场方程)
在引力场中,时空度规 \( g_{\mu\nu} \) 的动力学由爱因斯坦-希尔伯特作用量决定: \[ S = \int \left( \frac{1}{2\kappa} R + \mathcal{L}_\text{matter} \right) \sqrt{-g} , d^4x \] 其中 \( R \) 是 Ricci 标量,\( \kappa = 8\pi G \)。变分后得到 爱因斯坦场方程: \[ \boxed{ G_{\mu\nu} = \kappa T_{\mu\nu} } \] 其中 \( G_{\mu\nu} = R_{\mu\nu} - \frac{1}{2} R g_{\mu\nu} \) 是爱因斯坦张量,\( T_{\mu\nu} \) 是能量-动量张量。
4. 总结
场类型 | 拉格朗日密度 \( \mathcal{L} \) | 运动方程 |
---|---|---|
标量场 | \( \frac{1}{2} (\partial_\mu \phi)^2 - \frac{1}{2} m^2 \phi^2 \) | Klein-Gordon 方程 \( (\partial^2 + m^2) \phi = 0 \) |
电磁场 | \( -\frac{1}{4} F_{\mu\nu} F^{\mu\nu} \) | Maxwell 方程 \( \partial_\mu F^{\mu\nu} = 0 \) |
旋量场 | \( \bar{\psi} (i \gamma^\mu \partial_\mu - m) \psi \) | Dirac 方程 \( (i \gamma^\mu \partial_\mu - m) \psi = 0 \) |
引力场 | \( \frac{1}{2\kappa} R + \mathcal{L}_\text{matter} \) | Einstein 方程 \( G_{\mu\nu} = \kappa T_{\mu\nu} \) |
这些方程构成了现代物理中场论的基础,广泛应用于粒子物理、宇宙学、凝聚态物理等领域。
1. 一般形式的欧拉-拉格朗日方程(场论)
给定一个拉格朗日密度 \( \mathcal{L}(\phi, \partial_\mu \phi) \),其中:
- \( \phi(x^\mu) \) 是场(可以是标量、矢量、张量等)。
- \( \partial_\mu \phi = \frac{\partial \phi}{\partial x^\mu} \) 是场的导数。
场论形式的欧拉-拉格朗日方程(ELE)为: \[ \frac{\partial \mathcal{L}}{\partial \phi} - \partial_\mu \left( \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi)} \right) = 0 \] 其中 \( \partial_\mu = \left( \frac{\partial}{\partial t}, \nabla \right) = \left( \frac{\partial}{\partial x^0}, \frac{\partial}{\partial x^1}, \frac{\partial}{\partial x^2}, \frac{\partial}{\partial x^3} \right) \) 是四维偏导。
2. 展开坐标和张量(以标量场为例)
假设 \( \phi \) 是一个实标量场,拉格朗日密度为: \[ \mathcal{L} = \frac{1}{2} (\partial_\mu \phi)(\partial^\mu \phi) - V(\phi) \] 其中 \( V(\phi) \) 是势能项。
(1) 展开导数项
\[ \partial_\mu \phi = \left( \frac{\partial \phi}{\partial t}, \nabla \phi \right) \] \[ \partial^\mu \phi = \left( \frac{\partial \phi}{\partial t}, -\nabla \phi \right) \] 因此: \[ \partial_\mu \phi \partial^\mu \phi = \left( \frac{\partial \phi}{\partial t} \right)^2 - (\nabla \phi)^2 \]
(2) 计算欧拉-拉格朗日方程
-
第一项: \[ \frac{\partial \mathcal{L}}{\partial \phi} = -V’(\phi) \]
-
第二项: \[ \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi)} = \partial^\mu \phi \] 所以: \[ \partial_\mu \left( \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi)} \right) = \partial_\mu \partial^\mu \phi = \Box \phi \] 其中 \( \Box = \partial_\mu \partial^\mu = \frac{\partial^2}{\partial t^2} - \nabla^2 \) 是达朗贝尔算符。
-
最终方程: \[ \boxed{ \Box \phi + V’(\phi) = 0 } \] 这就是Klein-Gordon 方程(当 \( V(\phi) = \frac{1}{2} m^2 \phi^2 \) 时)。
3. 矢量场(如电磁场 \( A_\mu \))
对于电磁四势 \( A_\mu = (\phi, \mathbf{A}) \),拉格朗日密度为: \[ \mathcal{L} = -\frac{1}{4} F_{\mu\nu} F^{\mu\nu}, \quad F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu \]
(1) 展开 \( F_{\mu\nu} \)
电磁张量 \( F_{\mu\nu} \) 的矩阵形式为: \[ F_{\mu\nu} = \begin{pmatrix} 0 & -E_x & -E_y & -E_z \\ E_x & 0 & -B_z & B_y \\ E_y & B_z & 0 & -B_x \\ E_z & -B_y & B_x & 0 \\ \end{pmatrix} \] 其中: \[ \mathbf{E} = -\nabla \phi - \frac{\partial \mathbf{A}}{\partial t}, \quad \mathbf{B} = \nabla \times \mathbf{A} \]
(2) 计算欧拉-拉格朗日方程
- 第一项: \[ \frac{\partial \mathcal{L}}{\partial A_\nu} = 0 \]
- 第二项: \[ \frac{\partial \mathcal{L}}{\partial (\partial_\mu A_\nu)} = -F^{\mu\nu} \] 所以: \[ \partial_\mu F^{\mu\nu} = 0 \] 这给出 自由空间的 Maxwell 方程: \[ \boxed{ \partial_\mu F^{\mu\nu} = 0 } \] 展开后: \[ \nabla \cdot \mathbf{E} = 0, \quad \nabla \times \mathbf{B} - \frac{\partial \mathbf{E}}{\partial t} = 0 \]
4. 矩阵场(如规范场 \( A_\mu^a \))
在非阿贝尔规范理论(如 QCD)中,规范场 \( A_\mu^a \) 是矩阵值场(\( a \) 是规范群指标)。拉格朗日密度为: \[ \mathcal{L} = -\frac{1}{4} F_{\mu\nu}^a F^{a,\mu\nu}, \quad F_{\mu\nu}^a = \partial_\mu A_\nu^a - \partial_\nu A_\mu^a + g f^{abc} A_\mu^b A_\nu^c \] 其中 \( f^{abc} \) 是结构常数。
(1) 计算欧拉-拉格朗日方程
- 第一项: \[ \frac{\partial \mathcal{L}}{\partial A_\nu^a} = -g f^{abc} F^{b,\mu\nu} A_\mu^c \]
- 第二项: \[ \frac{\partial \mathcal{L}}{\partial (\partial_\mu A_\nu^a)} = -F^{a,\mu\nu} \] 所以: \[ \partial_\mu F^{a,\mu\nu} + g f^{abc} A_\mu^b F^{c,\mu\nu} = 0 \] 即 Yang-Mills 方程: \[ \boxed{ D_\mu F^{a,\mu\nu} = 0 } \] 其中 \( D_\mu \) 是协变导数: \[ D_\mu F^{a,\mu\nu} = \partial_\mu F^{a,\mu\nu} + g f^{abc} A_\mu^b F^{c,\mu\nu} \]
5. 总结
场类型 | 拉格朗日密度 \( \mathcal{L} \) | 欧拉-拉格朗日方程(展开形式) |
---|---|---|
标量场 \( \phi \) | \( \frac{1}{2} (\partial_\mu \phi)^2 - V(\phi) \) | \( \Box \phi + V’(\phi) = 0 \) |
电磁场 \( A_\mu \) | \( -\frac{1}{4} F_{\mu\nu} F^{\mu\nu} \) | \( \partial_\mu F^{\mu\nu} = 0 \) |
规范场 \( A_\mu^a \) | \( -\frac{1}{4} F_{\mu\nu}^a F^{a,\mu\nu} \) | \( D_\mu F^{a,\mu\nu} = 0 \) |
关键点
- 标量场:直接对 \( \phi \) 和 \( \partial_\mu \phi \) 求导,得到 Klein-Gordon 方程。
- 矢量场:对 \( A_\mu \) 和 \( \partial_\mu A_\nu \) 求导,得到 Maxwell 方程。
- 矩阵场:涉及非阿贝尔规范场,协变导数 \( D_\mu \) 出现,得到 Yang-Mills 方程。
这些方程是量子场论(QFT)、电动力学(EM)、量子色动力学(QCD)等理论的基础。
1. 构造拉格朗日密度的基本原则
拉格朗日密度 \(\mathcal{L}\) 的构造需满足以下条件:
- 洛伦兹协变性:\(\mathcal{L}\) 必须是标量(在洛伦兹变换下不变)。
- 局域性:\(\mathcal{L}\) 仅依赖于场 \(\phi(x)\) 及其一阶导数 \(\partial_\mu \phi\)(高阶导数可能导致非物理的自由度)。
- 物理意义:动能项应体现场的“运动能量”,势能项应包含场的质量或自相互作用。
2. 自由实标量场的拉格朗日密度
对于自由(无相互作用)的实标量场 \(\phi(x)\),其拉格朗日密度通常写为: \[ \mathcal{L} = \frac{1}{2} (\partial_\mu \phi)(\partial^\mu \phi) - \frac{1}{2} m^2 \phi^2 \]
各项的物理意义:
-
动能项:\(\frac{1}{2} (\partial_\mu \phi)(\partial^\mu \phi)\)
- 类比经典力学中的动能 \(T = \frac{1}{2} m \dot{q}^2\),此处 \(\partial_\mu \phi\) 描述场的“变化率”。
- 展开后为 \(\frac{1}{2} \left[ \left( \frac{\partial \phi}{\partial t} \right)^2 - (\nabla \phi)^2 \right]\),其中时间导数项对应动能,空间导数项对应场的“梯度能”(类似弹性势能)。
-
势能项:\(-\frac{1}{2} m^2 \phi^2\)
- 类比谐振子势能 \(V = \frac{1}{2} m \omega^2 q^2\),此处 \(m\) 是场的质量参数。
- 负号是因为拉格朗日密度定义为 \(\mathcal{L} = T - V\)。
3. 推导过程
步骤 1:洛伦兹标量的构造
- 最简单的洛伦兹标量由场的导数组合 \(\partial_\mu \phi \partial^\mu \phi\) 构成(因为 \(\partial_\mu \phi\) 是四维矢量,其缩并 \(\partial_\mu \phi \partial^\mu \phi\) 是标量)。
- 质量项 \(\phi^2\) 本身已是标量。
步骤 2:量纲分析
- 在自然单位制(\(\hbar = c = 1\))中:
- 场 \(\phi\) 的量纲为 \([E]^{1}\)(能量维度)。
- 导数 \(\partial_\mu\) 的量纲为 \([E]^{1}\)。
- 因此 \(\mathcal{L}\) 的量纲为 \([E]^{4}\)(与能量密度一致)。
步骤 3:运动方程的验证
通过欧拉-拉格朗日方程: \[ \frac{\partial \mathcal{L}}{\partial \phi} = -m^2 \phi, \quad \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi)} = \partial^\mu \phi \] 代入后得到 Klein-Gordon 方程: \[ \partial_\mu \partial^\mu \phi + m^2 \phi = 0 \quad \text{(即} \ (\Box + m^2)\phi = 0) \] 这是相对性量子力学中自由标量粒子的运动方程,验证了拉格朗日密度的合理性。
4. 势能项的推广(自相互作用)
若标量场存在自相互作用(如 \(\phi^4\) 理论),拉格朗日密度可推广为: \[ \mathcal{L} = \frac{1}{2} (\partial_\mu \phi)^2 - \frac{1}{2} m^2 \phi^2 - \frac{\lambda}{4!} \phi^4 \] 其中 \(\lambda\) 为耦合常数,\(\phi^4\) 项描述场的非线性相互作用。
5. 与经典力学的类比
将场 \(\phi(x)\) 视为无限维广义坐标 \(q_i(t)\) 的连续推广:
- 经典力学:\( L = \sum_i \frac{1}{2} m \dot{q}_i^2 - V(q_i) \)
- 场论:\( \mathcal{L} = \frac{1}{2} (\partial_\mu \phi)^2 - V(\phi) \)
其中空间导数项 \((\nabla \phi)^2\) 体现了相邻“点”之间的耦合(类似弹簧连接的质点链)。
6. 量子场论中的意义
在量子化后:
- 拉格朗日密度定义了场的正则动量和哈密顿量。
- 动能项 \(\frac{1}{2} (\partial_\mu \phi)^2\) 对应自由传播的粒子(如 Higgs 粒子)。
- 质量项 \(m^2 \phi^2\) 给出粒子的静止能量 \(E = m\)(通过傅里叶模式 \(e^{ipx}\) 解 Klein-Gordon 方程可得 \(E^2 = p^2 + m^2\))。
总结
实标量场的拉格朗日密度公式: \[ \mathcal{L} = \frac{1}{2} (\partial_\mu \phi)^2 - \frac{1}{2} m^2 \phi^2 \] 来源于:
- 洛伦兹协变性的要求(标量组合)。
- 最小作用量原理(导出 Klein-Gordon 方程)。
- 经典场到量子场的自然推广。
它是构建更复杂场论(如 Higgs 机制、暴涨模型)的基础。
1. Klein-Gordon 方程的标准形式
自由实标量场 \(\phi(x)\) 的 Klein-Gordon 方程为: \[ (\partial_\mu \partial^\mu + m^2) \phi = 0 \] 其中:
- \(\partial_\mu = \left( \frac{\partial}{\partial t}, \nabla \right)\) 是四维导数。
- \(\partial^\mu = \left( \frac{\partial}{\partial t}, -\nabla \right)\) 是逆变导数。
- \(\partial_\mu \partial^\mu = \Box = \frac{\partial^2}{\partial t^2} - \nabla^2\) 是达朗贝尔算符。
2. 展开导数项(张量形式)
将 \(\partial_\mu \partial^\mu \phi\) 展开为显式张量求和形式: \[ \partial_\mu \partial^\mu \phi = \sum_{\mu=0}^3 \partial_\mu \partial^\mu \phi = \partial_0 \partial^0 \phi + \partial_1 \partial^1 \phi + \partial_2 \partial^2 \phi + \partial_3 \partial^3 \phi \] 其中:
- \(\partial_0 = \partial^0 = \frac{\partial}{\partial t}\)(时间分量)。
- \(\partial_i = -\partial^i = \frac{\partial}{\partial x^i}\)(空间分量,\(i=1,2,3\))。
因此: \[ \partial_\mu \partial^\mu \phi = \frac{\partial^2 \phi}{\partial t^2} - \left( \frac{\partial^2 \phi}{\partial x^2} + \frac{\partial^2 \phi}{\partial y^2} + \frac{\partial^2 \phi}{\partial z^2} \right) = \frac{\partial^2 \phi}{\partial t^2} - \nabla^2 \phi \]
3. 矩阵表示(度规张量 \(g_{\mu\nu}\) 的作用)
四维导数的缩并 \(\partial_\mu \partial^\mu\) 可以通过闵可夫斯基度规 \(g_{\mu\nu} = \text{diag}(1, -1, -1, -1)\) 实现: \[ \partial_\mu \partial^\mu = g_{\mu\nu} \partial^\nu \partial^\mu \] 展开为矩阵乘法形式: \[ \partial_\mu \partial^\mu = \begin{pmatrix} \partial_0 & \partial_1 & \partial_2 & \partial_3 \end{pmatrix} \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \\ \end{pmatrix} \begin{pmatrix} \partial^0 \\ \partial^1 \\ \partial^2 \\ \partial^3 \\ \end{pmatrix} = \partial_0 \partial^0 - \partial_1 \partial^1 - \partial_2 \partial^2 - \partial_3 \partial^3 \]
4. 完整的 Klein-Gordon 方程(展开形式)
将上述结果代入原方程: \[ \left( \frac{\partial^2}{\partial t^2} - \nabla^2 + m^2 \right) \phi = 0 \] 或显式写出空间导数: \[ \frac{\partial^2 \phi}{\partial t^2} - \left( \frac{\partial^2 \phi}{\partial x^2} + \frac{\partial^2 \phi}{\partial y^2} + \frac{\partial^2 \phi}{\partial z^2} \right) + m^2 \phi = 0 \]
5. 张量场的推广(非标量场情况)
若场是张量场(如矢量场 \(A_\mu\)),Klein-Gordon 方程需对每个分量独立成立: \[ (\partial_\alpha \partial^\alpha + m^2) A_\mu = 0 \quad (\mu = 0,1,2,3) \] 此时方程可写为矩阵方程: \[ \begin{pmatrix} (\Box + m^2) A_0 \\ (\Box + m^2) A_1 \\ (\Box + m^2) A_2 \\ (\Box + m^2) A_3 \\ \end{pmatrix} = 0 \]
6. 总结(矩阵/张量表示的核心思想)
-
标量场:
- 方程形式简单,直接作用在标量 \(\phi\) 上。
- 导数缩并 \(\partial_\mu \partial^\mu\) 隐含度规张量 \(g_{\mu\nu}\) 的求和。
-
张量场:
- 每个分量独立满足 Klein-Gordon 方程。
- 可表示为分量的矩阵方程。
-
关键公式:
\[ \partial_\mu \partial^\mu = g_{\mu\nu} \partial^\nu \partial^\mu = \frac{\partial^2}{\partial t^2} - \nabla^2 \]
附:Klein-Gordon 方程的平面波解
解的形式为平面波: \[ \phi(x) = \phi_0 e^{i p_\mu x^\mu} = \phi_0 e^{i (Et - \mathbf{p} \cdot \mathbf{x})} \] 代入方程后得到色散关系: \[ (-p_\mu p^\mu + m^2) \phi = 0 \implies E^2 = \mathbf{p}^2 + m^2 \] 这正是相对性能量-动量关系。
通过上述展开,Klein-Gordon 方程的矩阵/张量结构清晰可见,其核心是闵可夫斯基度规 \(g_{\mu\nu}\) 对导数的缩并操作。这种形式在量子场论和广义相对论中具有广泛的应用。