如何将使常微分方程（ODE）无定义的点纳入解的定义域？

这个问题问得特别到位——不少初学常微分方程的同学都会在这种“看似矛盾”的点上卡壳，我来给你梳理清楚其中的逻辑：

1. 先理解教授求解时的假设为什么存在 #

原ODE是：
$$y' = \frac{y}{1+x}$$
教授分离变量的时候，做了**$y \neq 0$且$x \neq -1$的隐含假设，这是因为分离变量需要两边同时除以$y$和$1+x$，而数学里除法的前提是除数不为0。所以通过分离变量得到的通解$y = c(x+1)$，严格来说是在$y \neq 0$且$x \neq -1$的区间**（比如$(-\infty, -1)$或者$(-1, +\infty)$）内成立的解。

2. 容易被忽略的特殊解：零解$y(x)=0$ #

这里有个关键的特殊解：$y(x)=0$对所有实数$x$都成立，它也是原ODE的解。你可以验证一下：

• 左边$y' = 0$；
• 右边$\frac{y}{1+x} = \frac{0}{1+x}$，虽然当$x=-1$时形式上是$\frac{0}{0}$的不定式，但从解的定义来看，$y(x)=0$在$x=-1$处可导（导数为0），且我们可以把ODE右端项在$(x,y)=(-1,0)$处补充定义为0，这样等式$y' = f(x,y)$在整个实数轴上都成立。

这个零解的定义域是整个$\mathbb{R}$，自然包含了$x=-1$这个原本使右端项无定义的点。

3. 为什么初始条件$y(-1)=0$是合理的？ #

当教授引入初始条件$y(-1)=0$时，对应的解其实就是这个零解$y(x)=0$，而不是$c \neq 0$的通解分支：

• 对于$c \neq 0$的解$y = c(x+1)$，它们在$x=-1$处的函数值确实是0，但在$x=-1$处的导数是$c \neq 0$，而原ODE右端项在$x=-1$处无定义，无法对应这个导数，所以这类解的定义域不能包含$x=-1$；
• 只有零解$y(x)=0$在$x=-1$处的导数为0，和右端项在该点的“极限意义下的值”一致，因此可以将$x=-1$纳入定义域。

4. 一般规律：无定义点纳入定义域的核心逻辑 #

这类使ODE右端项无定义的点能被纳入解的定义域，通常满足两个条件：

• 存在一个连续可导的函数，它在除该点外的区域满足ODE；
• 该函数在无定义点处的导数，等于ODE右端项当$(x,y)$趋近于该点时的极限值（或者可以通过补充定义右端项在该点的值，使得等式成立）。

简单来说，就是这个解在无定义点处的行为是“兼容”ODE的，没有出现矛盾的导数或函数值。

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