这是一个非常核心的常微分方程（ODE）稳定性概念问题。汇是稳定的，而源是不稳定的。
（图片来源网络，侵删）
下面我将详细解释为什么,并引入更严谨的数学概念。
核心思想：水流比喻
为了方便理解，我们可以用一个水流来比喻“源”和“汇”：
- 源: 想象一个喷泉，水从这里不断涌出，如果你把一滴水放在喷泉口附近，它会被水流冲走，远离那个点，这个“涌出点”就是源，因为它把周围的点都“推开”了,所以它是不稳定的。
- 汇: 想象一个下水道口，水被不断吸进去，如果你把一滴水放在下水道口附近，它会被水流卷进去，最终到达那个点，这个“吸入点”就是汇，因为它把周围的点都“吸引”过来,所以它是稳定的。
数学上的定义与判断
在常微分方程中，我们通常研究的是自治系统，其形式为： $$ \frac{dx}{dt} = f(x) $$
一个点 $x^$ 如果满足 $f(x^) = 0$，则被称为平衡点或奇点，这意味着如果系统状态恰好是 $x^*$,它将永远保持不变。
（图片来源网络，侵删）
源和汇都是平衡点的一种特例,它们是一维系统中最简单的平衡点。
源 - 不稳定平衡点
- 定义: 如果在平衡点 $x^$ 附近，所有的解都会随着时间 $t$ 的增加而远离 $x^$，那么这个平衡点就是一个源。
- 数学特征: 在源点 $x^$ 处，函数 $f(x)$ 的导数是正的。 $$ f'(x^) > 0 $$
- 解释:
- 当 $x$ 略大于 $x^$（即 $x > x^$），由于 $f'(x^) > 0$，函数 $f(x)$ 在 $x^$ 附近是递增的，这意味着 $f(x) > f(x^) = 0$，$\frac{dx}{dt} > 0$，状态 $x$ 会继续增大，进一步远离 $x^$。
- 当 $x$ 略小于 $x^$（即 $x < x^$），由于 $f(x)$ 是递增的，$f(x) < f(x^) = 0$，$\frac{dx}{dt} < 0$，状态 $x$ 会继续减小，同样远离 $x^$。
- 无论你从哪边接近源点，都会被“推”出去，源是不稳定的。
汇 - 稳定平衡点
- 定义: 如果在平衡点 $x^$ 附近，所有的解都会随着时间 $t$ 的增加而趋近于 $x^$，那么这个平衡点就是一个汇。
- 数学特征: 在汇点 $x^$ 处，函数 $f(x)$ 的导数是负的。 $$ f'(x^) < 0 $$
- 解释:
- 当 $x$ 略大于 $x^$（即 $x > x^$），由于 $f'(x^) < 0$，函数 $f(x)$ 在 $x^$ 附近是递减的，这意味着 $f(x) < f(x^) = 0$，$\frac{dx}{dt} < 0$，状态 $x$ 会减小，向 $x^$ 靠拢。
- 当 $x$ 略小于 $x^$（即 $x < x^$），由于 $f(x)$ 是递减的，$f(x) > f(x^) = 0$，$\frac{dx}{dt} > 0$，状态 $x$ 会增大，也向 $x^$ 靠拢。
- 无论你从哪边接近汇点，都会被“吸引”回来，汇是稳定的。
举例说明
考虑一个简单的常微分方程： $$ \frac{dx}{dt} = kx $$ $k$ 是一个常数。
-
求平衡点： 令 $\frac{dx}{dt} = 0$，即 $kx = 0$，唯一的平衡点是 $x^* = 0$。
-
判断稳定性： 我们需要计算 $f(x) = kx$ 的导数： $$ f'(x) = k $$ 在平衡点 $x^* = 0$ 处，导数就是 $k$。
-
$k > 0$ ($k=2$)
- $f'(0) = 2 > 0$。
- 根据我们的规则，这是一个源。
- 方程变为 $\frac{dx}{dt} = 2x$，解为 $x(t) = x_0 e^{2t}$，无论初始值 $x_0$ 是正是负，随着时间 $t$ 增加，$|x(t)|$ 都会指数级增长，无限远离 0,这验证了源是不稳定的。
-
$k < 0$ ($k=-2$)
- $f'(0) = -2 < 0$。
- 根据我们的规则，这是一个汇。
- 方程变为 $\frac{dx}{dt} = -2x$，解为 $x(t) = x_0 e^{-2t}$，无论初始值 $x_0$ 是正是负，随着时间 $t$ 增加，$x(t)$ 都会指数级衰减，趋近于 0,这验证了汇是稳定的。
-
更高维度的推广
这个概念可以推广到更高维度的系统 $\frac{d\mathbf{x}}{dt} = \mathbf{f}(\mathbf{x})$，平衡点 $\mathbf{x}^$ 的稳定性由其雅可比矩阵 $J(\mathbf{x}^)$ 的特征值决定：
- 汇: 如果雅可比矩阵在平衡点处的所有特征值的实部都是负数，那么该平衡点是渐近稳定的（就是我们所说的“汇”）。
- 源: 如果雅可比矩阵在平衡点处的所有特征值的实部都是正数，那么该平衡点是不稳定的（就是我们所说的“源”）。
- 鞍点: 如果雅可比矩阵的特征值中，既有实部为正的，也有实部为负的,那么该平衡点也是不稳定的。
| 特性 | 源 | 汇 |
|---|---|---|
| 稳定性 | 不稳定 | 稳定 |
| 物理/几何意义 | 排斥点，将附近状态推开 | 吸引点，将附近状态吸引过来 |
| 一维系统判据 | $f'(x^*) > 0$ | $f'(x^*) < 0$ |
| 高维系统判据 | 所有特征值的实部 > 0 | 所有特征值的实部 < 0 |
| 解的行为 | 解随时间远离平衡点 | 解随时间趋近于平衡点 |
对于你的问题，答案是明确的：汇是稳定的，源是不稳定的。
