7.2.5 Domain and Validity Considerations（定义域与有效性）

确定解的有效定义域，识别解可能失效的奇点或间断点

定义

定义域与有效性是指微分方程解的适用范围和失效条件。当验证一个函数是微分方程的解时，必须确定该解在哪些点或区间上是有效的。

具体地，对于微分方程 \(\frac{dy}{dx} = f(x,y)\)，其解 \(y = y(x)\) 的有效定义域由以下因素决定：

1. 函数的定义域：解函数本身必须在某个区间上有定义。例如，\(y = \ln(x)\) 仅在 \(x > 0\) 上有定义。

2. 导数的存在性：解必须在其定义域内可导。若解在某点不可导，则该点不在有效定义域内。

3. 奇点和间断点：当微分方程右侧 \(f(x,y)\) 在某点无定义或不连续时，该点称为奇点（singular point）。解在奇点处可能失效或产生多个解。

4. 分母为零：若解的表达式或微分方程中含有分母，当分母为零时，解失效。例如，若 \(y = \frac{1}{x-1}\)，则 \(x = 1\) 处解无定义。

5. 隐函数的隐含条件：对于隐函数解，需要检查隐函数定理的条件是否满足。

有效定义域通常表示为开区间、闭区间或其并集，例如 \((a,b)\)、\([a,b]\) 或 \((a,b) \cup (b,c)\) 等。

核心公式

• \(\frac{dy}{dx} = f(x,y)\)
• \(y = y(x) \text{ 在区间 } I \text{ 上是解，当且仅当 } y'(x) = f(x, y(x)) \text{ 对所有 } x \in I \text{ 成立}\)
• \(\text{若 } f(x,y) \text{ 和 } \frac{\partial f}{\partial y} \text{ 在点 } (x_0, y_0) \text{ 的邻域内连续，则存在唯一解过该点}\)
• \(y = \frac{1}{x-a} \text{ 在 } x = a \text{ 处有垂直渐近线，解在此点失效}\)
• \(\text{解的有效定义域} = \{x \in \mathbb{R} : y(x) \text{ 有定义且 } y'(x) = f(x,y(x))\}\)

易错点

• ⚠️ 忽视分母为零的情况：学生常常忘记检查解中分母为零的点，导致给出的定义域不完整。例如，对于 \(y = \frac{1}{x^2-4}\)，应排除 \(x = \pm 2\)，但学生可能遗漏这一点。
• ⚠️ 混淆解的存在性与唯一性：学生可能认为只要函数满足微分方程，就在整个实数域上有效，而忽视了存在唯一性定理的条件限制。在奇点处，解可能不唯一或不存在。
• ⚠️ 未检查隐函数的隐含条件：对于隐函数解（如 \(x^2 + y^2 = 1\)），学生常常忽视隐函数定理要求 \(\frac{\partial F}{\partial y} \neq 0\) 的条件，导致在某些点（如 \((1,0)\) 和 \((-1,0)\)）错误地声称解有效。
• ⚠️ 忽视原始微分方程中的限制条件：当微分方程本身含有限制条件（如 \(\frac{dy}{dx} = \sqrt{y}\) 要求 \(y \geq 0\)），学生可能给出不满足这些条件的解。