Singular solution

A singular solution of a differential equation is a solution that satisfies the following conditions:

It solves the original differential equation.
It is tangent to every solution from the family of general solutions of the ODE. By tangent we mean that there is a point x where y_s(x) = y_c(x) and y'_s(x) = y'_c(x) where y_c is any general solution.

Usually, singular solutions appear in differential equations when there is a need to divide in a term that might be equal to zero. Therefore, when one is solving a differential equation and using division one must check what happens if the term is equal to zero, and whether it leads to a singular solution.

Example

Clairaut's equation:

$y(x) = x \cdot y' + (y')^2$

We write y' = p and then

$y(x) = x \cdot p + (p)^2$

Now, we shall take the differential according to x:

pdx = dy = p(dx) + x(dp) + 2p(dp)

which by simple algebra yields

0 = (2p + x)dp

This condition is solved if 2p+x=0 or if dp=0.

If dp=0 it means that y' = p = c = Const and the general solution is:

$y_c(x) = c \cdot x + c^2$

where c is determined by the initial value.

If x + 2p = 0 than we get that p = -(1/2)x and subsituting in the ODE gives

$y_s(x) = -(1/2)x^2 + (-(1/2)x)^2 = -(1/4) \cdot x^2$

Now we shall check whether this a singular solution.

First condition of tangency: y_s(x) = y_c(x) . We solve

$c \cdot x + c^2 = y_c(x) = y_s(x) = -(1/4) \cdot x^2$

to find the intersection point, which is (-2c, -c).

Second condition tangency: y'_s(x) = y'_c(x) .
We calculate the derivatives:

$y_c'(-2 \cdot c) = c$

$y_s'(-2 \cdot c) = -(1/2) \cdot x |_{x = -2 \cdot c} = c$

We see that both requirements are satisfied and therefore y_s is tangent to general solution y_c. Hence,

$y_s(x) = -(1/4) \cdot x^2$

is a singular solution for the family of general solutions

$y_c(x) = c \cdot x + c^2$

of this Clairaut equation:

$y(x) = x \cdot y' + (y')^2$

Note: The method shown here can be used as general algorithm to solve any Clairaut's equation, i.e. first order ODE of the form

$y(x) = x \cdot y' + f(y').$

See also: caustic (mathematics).

Categories: Differential equations

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia article. Browse Wikipedia for more information.