关于线性ODE中t<σ₀时原方程与反向时间方程等价性的疑问

我来帮你把这个等价性的逻辑理清楚，核心其实是时间变量替换——这是处理反向时间ODE的经典技巧，你之前卡住主要是没把时间反转的步骤明确出来。

先回到你的问题：我们有原初始值问题（IVP）：
$$\dot{\xi}(t) = A(t)\xi(t), \quad \xi(\sigma_0) = x_0 \tag{I}$$
已经知道它在$t \geq \sigma_0$时有唯一解，但想理解为什么解$t < \sigma_0$的问题等价于解反向时间方程$\dot{\xi} = -A(t)\xi$。

关键步骤：时间反转变量替换 #

我们定义一个反向时间变量：
$$\tau = \sigma_0 - t$$
这个替换的意义很直观：

• 当$t = \sigma_0$时，$\tau = 0$（初始时刻对应反向时间的原点）
• 当$t < \sigma_0$时，$\tau > 0$（原时间轴上$\sigma_0$左边的区间，对应反向时间轴上右边的区间）

接下来用链式法则转换导数关系：
$$\frac{d\xi}{d\tau} = \frac{d\xi}{dt} \cdot \frac{dt}{d\tau} = \dot{\xi}(t) \cdot (-1)$$
也就是$\dot{\xi}(t) = -\frac{d\xi}{d\tau}$。

把这个关系代入原方程(I)：
$$-\frac{d\xi}{d\tau} = A(t)\xi(t)$$
再把$t = \sigma_0 - \tau$代入右边的$A(t)$和$\xi(t)$，整理后得到：
$$\frac{d\xi}{d\tau} = -A(\sigma_0 - \tau)\xi(\sigma_0 - \tau)$$

现在我们定义一个新的函数$\eta(\tau) = \xi(\sigma_0 - \tau)$，那么上面的方程就变成了：
$$\dot{\eta}(\tau) = -A(\sigma_0 - \tau)\eta(\tau)$$
对应的初始条件是$\eta(0) = \xi(\sigma_0) = x_0$——这就是一个标准的反向时间IVP。

等价性的核心对应关系 #

现在你就能明白Sontag说的等价性是什么意思了：

• 我们要求原方程(I)在$t < \sigma_0$的解，等价于求这个反向时间IVP在$\tau > 0$的解$\eta(\tau)$
• 只要把$\tau$换回$t$（即$\tau = \sigma_0 - t$），$\eta(\tau) = \xi(\sigma_0 - \tau) = \xi(t)$，就是原方程在$t < \sigma_0$的解

用常数矩阵的例子验证 #

如果$A$是常数矩阵，原方程(I)在$t \geq \sigma_0$的解是$\xi(t) = e^{A(t - \sigma_0)}x_0$。
对于$t < \sigma_0$，解应该是$\xi(t) = e^{A(t - \sigma_0)}x_0$，而反向时间方程$\dot{\eta}(\tau) = -A\eta(\tau)$的解是$\eta(\tau) = e^{-A\tau}x_0$，替换回$t = \sigma_0 - \tau$后：
$$\xi(t) = e^{-A(\sigma_0 - t)}x_0 = e^{A(t - \sigma_0)}x_0$$
和原方程的解完全一致，完美验证了等价性。

解答你之前的困惑 #

你之前直接看$\dot{\xi}{II}(t) = -A(t)\xi{II}(t)$在$t > \sigma_0$的解，觉得和原方程的解有个负号，其实是因为你没做时间替换——这个$\xi_{II}(t)$（$t > \sigma_0$）对应的就是原方程在$t' = \sigma_0 - t < \sigma_0$的解，把时间轴反转后，负号就被抵消了，两者本质是同一个解的不同时间表达。

最后补充一下：因为反向时间方程$\dot{\xi} = -A(t)\xi$和原方程一样满足全局Lipschitz条件（负号不改变Lipschitz常数），所以它在$\tau > 0$（也就是原时间的$t < \sigma_0$）有唯一解，因此原方程(I)的解可以延拓到整个$(-\infty, \infty)$区间。

备注：内容来源于stack exchange，提问作者César VB