一阶常微分方程与定性理论

奇解(singular solution)

多数时候通解就是全部故事:每个解都不过是那个单参数族里的一员。但偶尔,方程会藏着一个额外的解,无论你取哪个常数,这一族都够不到它——一条「偷渡」的曲线。这个外来者就是奇解。它是方程货真价实的精确解,只是没被通解公式捕捉到。

从几何上看,奇解通常是解曲线族的包络——一条与族中每个成员都相切、自己却不属于这族的曲线,就像一束直线的外缘能描出一条没有任何一条直线是它的抛物线。它多出现在非线性一阶方程中,最著名的是克莱罗方程:对方程求导会分出两种情况,一种给出直线通解,另一种给出它们全都相切的那一条曲线。由于奇解沿着包络走,存在唯一性定理并未被违背——在包络上,光滑性(利普希茨)假设失效,因此允许过一点有不止一条解曲线。

奇解容易被漏掉,却有真实的物理意义:包络可以是聚焦光线的焦散线、抛体能到达区域的边界,或一族轨迹无法越过的极限形状。实用的告诫很简单:「我求出了通解」并不总等于「我求出了全部解」——对非线性方程,应当检查是否漏掉了一个包络解。

克莱罗方程 y = x*y' - (y')^2 有直线通解 y = C*x - C^2(一族直线)。它的奇解是抛物线 y = x^2/4,与每一条直线都相切,却不由任何 C 值产生。

奇解就是包络:与整族相切却在族外。

奇解并不违背唯一性。唯一性只在方程满足利普希茨条件处才有保证;沿着包络该条件失效,因此允许两条解曲线穿过同一点。

又称
envelope solution包络解包絡解