微分方程解的连续性条件：初值问题解的有效域疑问

首先，咱们把问题理清楚：你求解的是初值问题
$$y' = \frac{2x}{1 + 2y}, \quad y(2) = 0$$
得到的显式解为
$$y = \frac{1}{2} \left(-1 + \sqrt{4x^2-15}\right)$$

你疑惑的核心是解的有效域——从代数角度你得到了$\left(\frac{\sqrt{15}}{2},\infty\right) \bigcup \left(-\infty,-\frac{\sqrt{15}}{2}\right)$，但被告知仅需保留其中一个区间。这里的关键是：微分方程的初值解的有效区间，不仅要满足表达式有意义，还要包含初值点，并且保证解在区间内连续可导。

咱们一步步拆解：

• 先看代数定义域：$4x^2 -15 ≥ 0$确实给出了$|x| ≥ \frac{\sqrt{15}}{2}$，但这只是表达式本身的允许范围，不是初值问题的解区间。
• 结合初值条件验证：你的初值是$y(2)=0$，把$x=2$代入解的表达式，得到$\frac{1}{2}(-1 + \sqrt{16-15}) = 0$，完全符合初值。而$x=2$显然落在$\left(\frac{\sqrt{15}}{2},\infty\right)$区间内（因为$\frac{\sqrt{15}}{2}≈1.936 < 2$）。
• 验证区间内解的合法性：在$\left(\frac{\sqrt{15}}{2},\infty\right)$里，$4x^2-15 > 0$，根号为正实数，此时$1+2y = 1 + 2*\frac{1}{2}(-1+\sqrt{4x^2-15}) = \sqrt{4x^2-15} > 0$，原微分方程的分母不为零，$y'$存在，解连续可导，完全满足微分方程的要求。
• 分析另一个区间：$\left(-\infty,-\frac{\sqrt{15}}{2}\right)$里的x都是负数，虽然表达式本身有意义、代入微分方程也成立，但它和初值点$x=2$没有连续连接——中间的$\left(-\frac{\sqrt{15}}{2},\frac{\sqrt{15}}{2}\right)$区域内根号为负，解不存在。这个区间的函数是微分方程的另一个解分支，但和你的初值问题无关，因为它不包含给定的初值点，也无法从初值点延伸到该区间。

所以正确的有效域应该是$\left(\frac{\sqrt{15}}{2},\infty\right)$——大概率是你被告知时出现了表述上的混淆哦。

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