$\mathbb{R}^n$上一阶初值问题解的存在唯一性：全局唯一解判定问询

嘿，这个问题问得好——毕竟Picard定理只给了局部的存在唯一性，要把这个结论拓展到整个$(a,b)$区间，确实需要给$f(x,y)$加一些全局约束。下面我整理几个常用的充分条件，都是针对任意初值$y(a)=y_1\in\mathbb{R}^n$都能保证解在$(a,b)$上存在唯一的情况：

1. 全局Lipschitz条件（关于$y$） #

• 要求函数$f(x,y)$在区域$D=(a,b)\times\mathbb{R}^{n$上**连续**，并且存在一个与$x$无关的常数$L>0$，使得对所有$x\in(a,b)$，以及任意$y_1,y_2\in\mathbb{R}}n$，都满足：
  $$|f(x,y_1) - f(x,y_2)| \leq L|y_1 - y_2|$$
  这里的$|\cdot|$可以是$\mathbb{R}^n$上的任意范数（有限维空间里所有范数都是等价的，不用纠结具体用哪种）。
• 这个条件的作用：Picard定理已经保证了局部解的存在唯一性，而全局Lipschitz约束可以通过解的延拓定理把局部解一步步拓展到整个$(a,b)$区间——它能防止解在区间内部“爆破”（也就是解的范数突然趋向无穷）。同时，局部唯一性加上延拓的一致性，自然就得到了全局的唯一性。

2. 线性增长条件+局部Lipschitz条件 #

如果$f(x,y)$满足以下组合条件：

1. 在$D=(a,b)\times\mathbb{R}^n$上连续；
2. 存在常数$M>0$和$K>0$，使得对所有$x\in(a,b)$，$y\in\mathbb{R}^n$，有：
   $$|f(x,y)| \leq M|y| + K$$
3. 对$\mathbb{R}^n$中的任意有界闭集$B$，$f(x,y)$在$(a,b)\times B$上关于$y$是局部Lipschitz的（这是光滑函数的固有性质，大部分连续非线性函数也能满足）。

• 这个组合比全局Lipschitz条件更宽松：比如$f(x,y)=\frac{y}{1+y^2}$（n=1时），它的增长有界（$|f| \leq 1/2$），满足线性增长条件（$M=0,K=1/2$），同时关于$y$局部Lipschitz，其初值问题的解就能全局存在唯一。
• 线性增长条件的核心是限制$f$的增长速度不超过$y$的线性速度，避免解在有限时间内爆破；局部Lipschitz条件保证局部解唯一，延拓后自然得到全局唯一性。

3. 耗散条件（单调性的n维推广） #

这个条件适合非线性很强的场景，比前两个条件更宽松：

• 要求$f(x,y)$在$D=(a,b)\times\mathbb{R}^{n$上**连续**，并且存在常数$L>0$，使得对所有$x\in(a,b)$，任意$y,z\in\mathbb{R}}n$，满足：
  $$\langle f(x,y) - f(x,z), y - z\rangle \leq L|y - z|^2$$
  这里$\langle\cdot,\cdot\rangle$是$\mathbb{R}^n$上的标准内积。
• 举个例子：n=1时的$f(x,y)=-y^3$，代入验证：
  $$(-y^3 + z^3)(y-z) = -(y-z)^2(y2+yz+z^2) \leq 0 \leq L(y-z)^2$$
  显然满足条件，它的解不会爆破且唯一。
• 这个条件的本质是让$f$在$y$的方向上呈现“耗散”特性，既限制解的增长，又能通过Gronwall不等式证明两个解的差会趋向于0，从而保证唯一性。

额外说明 #

以上都是充分条件而非必要条件——也就是说，存在一些不满足上述任何条件的函数，其初值问题的解依然能在$(a,b)$上全局存在唯一。但这些条件是工程和分析中最常用的，因为它们容易验证，覆盖了绝大多数常见的非线性场景。

内容的提问来源于stack exchange，提问作者Moonshine