光路可逆性原理的数学表述
在几何光学的宏大架构中，光路可逆性原理（Principle of Reversibility of Light）是一项具有基石意义的基本定律。它不仅在理论推导中提供了极大的便利，也是现代光学仪器设计与分析的核心工具。理解光路可逆性的数学表述，能够帮助我们从更深层次的物理与数学视角剖析光线的传播行为。
光路可逆性原理的核心思想是：如果光线沿某个特定路径从A点传播到B点，那么当光的传播方向被严格反向时，它将沿原路返回，从B点传播到A点。这意味着，在相同的介质条件和边界条件下，光传播的轨迹与方向无关，系统具有时间反演对称性。
从波动光学的角度来看，这种可逆性源于麦克斯韦方程组在真空或各向同性介质中的时间反演不变性；而在几何光学中，它则直接表现为费马原理（Fermat's Principle）的数学推论。
基于费马原理的数学推论
费马原理指出，光沿着光程（Optical Path Length, OPL）取极值的路径传播。设光线从起点 $A(x_1, y_1, z_1)$ 出发，经过空间中的一系列折射或反射表面，最终到达终点 $B(x_2, y_2, z_2)$。
光程 $S$ 的数学积分表达式为：
$$S = \int_{A}^{B} n(s) , ds$$
其中：
- $n(s)$ 表示路径上各点的折射率。
- $ds$ 是路径的微元长度。
根据费马原理，实际光路满足变分法的条件：
$$\delta \int_{A}^{B} n(s) , ds = 0$$
当我们颠倒积分的方向，将起点视为 $B$，终点视为 $A$ 时，路径微元的方向虽然相反（即积分方向逆转），但整个几何路径的轨迹保持不变，且介质的折射率分布 $n(s)$ 仅取决于空间位置，与光线行进方向无关。因此：
$$\int_{A}^{B} n(s) , ds = \int_{B}^{A} n(s) , ds$$
这表明正向传播的光程与反向传播的光程完全相等。因此，满足变分极值的路径在两个方向上是完全重合的。
矩阵光学中的数学表述
在近代光学设计中，矩阵光学（旁轴光学中的ABCD矩阵法）为光路可逆性提供了强有力的代数表述。
假设光线通过一个光学系统（由多个透镜、反射镜或均匀介质组成），其输入面的光线状态向量为 $\begin{bmatrix} r_1 \ \alpha_1 \end{bmatrix}$（其中 $r_1$ 为高度，$\alpha_1$ 为孔径角），输出面的状态向量为 $\begin{bmatrix} r_2 \ \alpha_2 \end{bmatrix}$。
该光学系统的传输矩阵 $\mathbf{M}$ 定义为：
$$\begin{bmatrix} r_2 \ \alpha_2 \end{bmatrix} = \mathbf{M} \begin{bmatrix} r_1 \ \alpha_1 \end{bmatrix} = \begin{bmatrix} A & B \ C & D \end{bmatrix} \begin{bmatrix} r_1 \ \alpha_1 \end{bmatrix}$$
根据光学系统的能量守恒和拉格朗日不变式（Lagrange Invariant），对于任何由折射和反射表面的ABCD矩阵，其行列式恒等于 1：
$$\det(\mathbf{M}) = AD - BC = 1$$
若要实现光路的反向传播，即从输出面 $\begin{bmatrix} r_2 \ \alpha_2 \end{bmatrix}$ 反向推导输入面的状态，我们需要使用逆矩阵 $\mathbf{M}^{-1}$：
$$\begin{bmatrix} r_1 \ \alpha_1 \end{bmatrix} = \mathbf{M}^{-1} \begin{bmatrix} r_2 \ \alpha_2 \end{bmatrix}$$
根据二阶矩阵求逆公式，结合 $\det(\mathbf{M}) = 1$，逆矩阵 $\mathbf{M}^{-1}$ 可以表示为：
$$\mathbf{M}^{-1} = \begin{bmatrix} D & -B \ -C & A \end{bmatrix}$$
这在数学上精确地证明了：通过将原系统的矩阵主对角线元素对换（$A$ 与 $D$）、次对角线元素变号（$-B$ 和 $-C$），即可完美描述光线逆向传播的数学规律。这一特性在激光谐振腔设计和复杂光学系统对准中得到了广泛应用。
光路可逆性的应用全景
光路可逆性原理的数学表述不仅具有理论美感，更在实际光学工程中展现出巨大的实用价值：
- 光学系统校准与自准直：利用自准直仪，通过观察反射回来的光斑是否与原光斑重合，可以高精度地判断光学元件表面是否垂直于光轴。
- 光纤通信与双向传输：在光纤网络中，光路可逆性保证了光信号在复杂纤芯和连接器中双向传输时遵循相同的传输特性，简化了双向收发模块的设计。
- 激光谐振腔分析：在分析激光在谐振腔内的往返传播时，可逆性简化了腔内模式的数学建模，确保了谐振条件的稳定建立。
综上所述，无论是通过费马原理的变分分析，还是通过矩阵光学的代数推导，光路可逆性原理都展现出了严密的数学基础。它是连接几何光学底层理论与上层应用的关键纽带。