设有微分方程 $$bex fracrd bbxrd t=bbftbbx eex$$ $bbfin CGsubset bbRtimesbbR^n$ 试证 若对 $forall t_0bbx^0in G$ Cauchy 问题的解都存在唯一 则解必对初值连续依赖将上文的数学公式正常输出

设存在两个初值 $(t_0, \mathbf{x}^0)$ 和 $(t_0, \mathbf{y}^0)$，它们的解分别为 $\mathbf{x}(t)$ 和 $\mathbf{y}(t)$。

根据题目条件，对任意的 $(t_0, \mathbf{x}^0) \in G$，Cauchy问题的解都存在唯一，即存在一个唯一的函数 $\mathbf{x}(t)$ 满足微分方程和初值条件 $\mathbf{x}(t_0) = \mathbf{x}^0$。

考虑函数 $\mathbf{z}(t) = \mathbf{x}(t) - \mathbf{y}(t)$，我们需要证明如果 $\mathbf{x}(t)$ 和 $\mathbf{y}(t)$ 是微分方程的解，那么 $\mathbf{z}(t) = \mathbf{x}(t) - \mathbf{y}(t)$ 也是微分方程的解。

我们有： $$ \frac{d\mathbf{z}}{dt} = \frac{d(\mathbf{x} - \mathbf{y})}{dt} = \frac{d\mathbf{x}}{dt} - \frac{d\mathbf{y}}{dt} = \mathbf{f}(t, \mathbf{x}) - \mathbf{f}(t, \mathbf{y}) $$

因为 $\mathbf{x}(t)$ 和 $\mathbf{y}(t)$ 是微分方程的解，所以： $$ \frac{d\mathbf{x}}{dt} = \mathbf{f}(t, \mathbf{x}),\quad \frac{d\mathbf{y}}{dt} = \mathbf{f}(t, \mathbf{y}) $$

所以： $$ \frac{d\mathbf{z}}{dt} = \mathbf{f}(t, \mathbf{x}) - \mathbf{f}(t, \mathbf{y}) = \mathbf{f}(t, \mathbf{x}) - \mathbf{f}(t, \mathbf{x}) = \mathbf{0} $$

即 $\mathbf{z}(t)$ 是一个常数函数，记为 $\mathbf{C}$。

根据初值条件 $\mathbf{z}(t_0) = \mathbf{x}^0 - \mathbf{y}^0 = \mathbf{C}$，我们可以得到 $\mathbf{z}(t) = \mathbf{C}$ 对于任意的 $t$ 成立。

因此，对于任意的初值 $(t_0, \mathbf{x}^0)$ 和 $(t_0, \mathbf{y}^0)$，它们的解 $\mathbf{x}(t)$ 和 $\mathbf{y}(t)$ 之间的差 $\mathbf{z}(t) = \mathbf{x}(t) - \mathbf{y}(t)$ 是一个常数函数。

这说明解对初值连续依赖。