初值问题(IVP)解在区间[0,α)内恒正的证明方法咨询

嗨Lucas，这个问题咱们可以结合你已经想到的单调性，再加上存在唯一性定理来严谨推导，一步步来理清楚：

• 先明确方程的局部解性质
  你的初值问题是：
  $$\frac{d x}{d t}=-\frac{x^3}{1-t} \quad x(0)=x_0>0$$
  先看右边的函数$f(t,x)=-\frac{x^3}{1-t}$，在区域$D={(t,x)|t<1, x\in\mathbb{R}}$内，$f(t,x)$是连续的，而且对$x$的偏导数$\frac{\partial f}{\partial x}=-\frac{3x^2}{1-t}$也在$D$内连续，根据皮卡-林德洛夫存在唯一性定理，在$(0,x_0)$的某个邻域内，解是唯一存在的。

• 利用单调性锁定解的趋势
  你已经注意到，当$t\in[0,1)$时，$1-t>0$，所以$\frac{dx}{dt}$的符号完全由$x^3$决定：只要$x(t)>0$，$\frac{dx}{dt}<0$，也就是说$x(t)$在$[0,\alpha)$上是严格递减的，结合初始值$x_0>0$，至少在$t=0$的一个小邻域内，$x(t)$肯定是正的。

• 反证法+唯一性定理排除解到达0或负数的可能
  我们用反证法来推导：

  1. 假设存在某个$t_1\in(0,\alpha)$，使得$x(t_1)=0$。那我们考虑零解$y(t)\equiv0$，这个函数显然满足原方程（代入后两边都是0）。现在，$x(t)$和$y(t)$在$t=t_1$处有相同的初值$x(t_1)=y(t_1)=0$，根据唯一性定理，在$t_1$的邻域内这两个解应该完全重合，但$x(t)$在$t\in[0,t_1)$时是正的，而$y(t)$恒为0，这就产生了矛盾——所以$x(t)$不可能在任何$t\in[0,\alpha)$处等于0。
  2. 那有没有可能$x(t)$变成负数？假设存在$t_2\in[0,\alpha)$使得$x(t_2)<0$，因为$x(t)$是连续函数，根据介值定理，必然存在某个$t_1\in(0,t_2)$使得$x(t_1)=0$，这就回到了上面的矛盾，所以$x(t)$也不可能取到负值。

• 结合解析解验证（可选）
  我们还可以直接求解这个方程来验证结论：
  分离变量得$\frac{dx}{x^3}=-\frac{dt}{1-t}$，两边积分：
  $$\int_{x_0}^{x(t)} \frac{1}{u^3}du = -\int_{0}^{t}\frac{1}{1-s}ds$$
  计算后整理可得：
  $$x(t)=\frac{x_0}{\sqrt{1-2x_0^2\ln(1-t)}}$$
  因为$t\in[0,1)$时，$\ln(1-t)$是负数，所以分母里的$1-2x_0^{2\ln(1-t)=1+2x_0}2|\ln(1-t)|>0$，因此$x(t)$在$[0,1)$内始终为正，当$t\to1^-$时$x(t)\to0$，但永远不会等于0，这也印证了我们之前的推导。

总结一下：核心就是用反证法结合唯一性定理，排除解到达0的可能，再通过介值定理排除负值，加上你观察到的单调性，就能严谨证明$x(t)>0$对所有$t\in[0,\alpha)$成立。

备注：内容来源于stack exchange，提问作者Lucas