---

质能方程E=mc²极简推导——定积分与最小作用量原理的双重应用

张苏杭
（洛阳，独立研究者）

摘要

传统质能方程推导往往依赖繁复的坐标变换张量运算或特定的辐射模型，教学门槛较高。本文跳出既定框架，以相对论动力学的基本动量形式与拉格朗日作用量原理为物理输入，全程仅借助定积分能量累加与最小作用量变分法两套初等数学工具，完成质能方程的极简推演。通过将积分上限限定在亚光速区域，自然规避奇点并导出相对论动能；借助不显含时间的哈密顿守恒量，直接分离出静能项。整套推导无需涉足高维几何构造，通过巧妙的积分区间选取与变分构造，凸显了物理规律在初等数学框架下的内在自洽性，为狭义相对论的教学与普及提供了一种低门槛、高直观性的轻量化范式。

关键词：质能方程；相对论动能；定积分；最小作用量原理；哈密顿守恒

1 引言

质能等价关系揭示了质量与能量的深层同一性，是现代物理学的理论基石。在主流教学与文献中，质能方程的推导路径大致分为两类：一类沿用爱因斯坦早期的光辐射思想实验，虽物理图像生动，但依赖于特定电磁过程，缺乏普适性；另一类依托洛伦兹变换与四维时空张量，逻辑严密但数学结构较重，初学者难以从基础力学自然过渡。

长期以来，学者们期待一条纯粹从做功与作用量极值出发、仅用初等微积分便能贯通始终的推导路径。本文正是基于这一诉求，构建三层递进式推导体系：

1. 利用亚光速收敛定积分，严格求解相对论动能；
2. 利用最小作用量原理构造自由粒子拉格朗日量，通过哈密顿守恒导出总能量；
3. 推广至任意初末速度的广义能量差形式。

本文的核心“巧思”在于：在不引入高维几何语言的前提下，仅通过对积分上下限的巧妙选取（亚光速约束）和拉格朗日量的对称性构造，使质能关系的数学骨架自然而然地浮现。

2 基础动力学关系

力学能量累积的根本定义是外力做功等于系统能量增量：

dE = F dx

依据动力学定义 F = dP/dt 及运动学关系 dx = v dt，得通用能量微分元：

dE = v\,d(mv) \tag{1}

在相对论动力学框架下，为保证动量守恒，高速粒子动量采取如下标准形式（\gamma 为洛伦兹因子）：

P = \gamma m_0 v,\quad \gamma=\frac{1}{\sqrt{1-v^2/c^2}} \tag{2}

其中 m_0 为静质量。对速度求微分：

dP = \frac{m_0}{\left(1-v^2/c^2\right)^{3/2}}dv \tag{3}

式(1)-(3)作为动力学基础输入，全文推导均在此基础上展开。

3 光速极限的物理预演

若形式上将速度区间延拓至 0 \to c，则能量积分为反常积分：

E=\int_{0}^{c} v\,dP \to \infty

该发散结果虽然数学粗犷，但具有明确的物理启示：将静质量粒子推送至光速需要无穷能量。这为第4章亚光速严格收敛积分的引入提供了直观过渡。

4 核心严谨推导：亚光速体系（0 \to v,\ v<c）

4.1 定积分法求解相对论动能

真实物理过程满足 v<c，积分域无奇点。粒子由静止加速至 v 的动能增量为：

E_k = \int_{0}^{v} v\,dP
= \int_{0}^{v} \frac{m_0 v}{\left(1-v^2/c^2\right)^{3/2}}dv

积分得标准相对论动能公式：

E_k = \frac{m_0 c^2}{\sqrt{1-v^2/c^2}} - m_0 c^2 \tag{4}

这一步清晰地揭示：高速动能天然地表现为“总能量减去静能”的结构，而非经典的 \frac12 mv^2。

4.2 最小作用量原理与哈密顿总能量

对于自由粒子，拉格朗日量由两大核心约束唯一确定：

· 对称性约束：作用量必须为洛伦兹标量；
· 极限回归：低速下应回归经典形式 L \approx \frac12 m_0 v^2。

满足上述条件的唯一构造为：

L = -m_0 c^2 \sqrt{1-v^2/c^2} \tag{5}

依据变分原理 \delta \int L dt = 0，真实路径自动满足欧拉-拉格朗日方程。由于拉格朗日量不显含时间，系统对应哈密顿守恒量：

H = v\frac{\partial L}{\partial v} - L
= \frac{m_0 c^2}{\sqrt{1-v^2/c^2}} \tag{6}

哈密顿量在物理上即为系统的总能量：

E = \gamma m_0 c^2 \tag{7}

4.3 质能方程闭环

联立(4)与(6)，得能量分解：

E = E_k + m_0 c^2

令 m = \gamma m_0，标准质能方程自然浮现：

\boxed{E = m c^2}

本文采用现代物理规范：m_0 为固有静质量（洛伦兹不变量），m 仅作为能量结构的紧凑表达形式。

4.4 光速壁垒的定量刻画

由 E_k = m_0 c^2(\gamma - 1)，当 v \to c^- 时，\gamma \to \infty，必然导致 E_k \to \infty。这一极限行为严格证明了：有限能量输入无法将静质量粒子加速至光速。

5 通用推广：任意初末速度的能量差

设初速 u、末速 v，均满足亚光速约束，能量变化为：

\Delta E = \int_{u}^{v} v\,dP
= \gamma_v m_0 c^2 - \gamma_u m_0 c^2 \tag{8}

式(8)是质能关系最普适的动力学差分形式，不依赖特定参考系，且当 u=0 时自然退化为前文核心推导，体系自洽完备。

6 结论

本文通过定积分与最小作用量原理的双线并行，在保持物理输入标准的前提下，将质能方程的数学推导精简至初等微积分范畴。核心巧思体现在两方面：一是将积分上限物理性地锁定在亚光速区域，确保数学严谨性的同时自然引出能量发散与光速极限；二是利用对称性唯一确定拉格朗日量，通过哈密顿守恒机制巧妙分离动能与静能，避免了复杂的时空几何运算。

本文所展示的推导范式，兼具物理直觉的清晰度与数学推演的简洁性，可作为狭义相对论入门教学中一种高效、自洽的补充路径。

---

参考文献

[1] 爱因斯坦. 狭义与广义相对论浅说[M]. 北京大学出版社.
[2] 朗道, 栗弗席兹. 力学（第五版）[M]. 高等教育出版社.
[3] 俞允强. 广义相对论引论[M]. 北京大学出版社.
[4] 卓里奇. 数学分析原理[M]. 高等教育出版社.

---