First-Order ODEs & Qualitative Theory

singular solution

Most of the time the general solution is the whole story: every solution is just a member of that one-parameter family. But occasionally an equation hides an extra solution that the family cannot reach no matter which constant you choose — a stowaway curve. That outsider is the singular solution. It is a genuine, exact solution of the equation that simply is not captured by the general formula.

Geometrically the singular solution is usually the envelope of the family of solution curves — a curve that is tangent to every member of the family without belonging to it, the way the outer boundary of a sheaf of straight lines can trace a parabola that none of the lines is. It typically appears for nonlinear first-order equations, most famously the Clairaut equation, where differentiating the equation produces two cases: one gives the straight-line general solution, the other gives a single curve they all touch. Because the singular solution rides along the envelope, the existence-uniqueness theorem is not violated — at points of the envelope the smoothness (Lipschitz) hypothesis fails, so more than one solution curve through a point is allowed.

Singular solutions are easy to miss and have real physical meaning: an envelope can be the caustic of focused light, the boundary of a region a projectile can reach, or the limiting shape a family of trajectories cannot cross. The practical caution is simply that 'I found the general solution' does not always mean 'I found all solutions' — for nonlinear equations one should check whether an envelope solution has been overlooked.

The Clairaut equation y = x*y' - (y')^2 has the straight-line general solution y = C*x - C^2 (a family of lines). Its singular solution is the parabola y = x^2/4, tangent to every one of those lines but not produced by any value of C.

The singular solution is the envelope: tangent to the whole family yet outside it.

A singular solution does not contradict uniqueness. Uniqueness is only guaranteed where the equation meets the Lipschitz condition; along the envelope that condition breaks, so two solution curves are permitted to pass through the same point.

Also called
envelope solution包络解包絡解