3.5.3.3 Example 3

\(y=xy^{\prime }-\frac {1}{4}\left ( y^{\prime }\right ) ^{2}\) is put in normal form (by replacing \(y^{\prime }\) with \(p\)) and solving for \(y\) gives

\begin{align} y & =xp-\frac {1}{4}p^{2}\tag {1}\\ & =xf\left ( p\right ) +g\left ( p\right ) \nonumber \end{align}

Where \(f\left ( p\right ) =p\) and \(g\left ( p\right ) =-\frac {1}{4}p^{2}\). Since \(f\left ( p\right ) =p\) then this is Clairaut ode. Taking derivative of the above w.r.t. \(x\) gives

\begin{align*} p & =\frac {d}{dx}\left ( xp+g\left ( p\right ) \right ) \\ p & =p+\left ( x+g^{\prime }\left ( p\right ) \right ) \frac {dp}{dx}\\ 0 & =\left ( x+g^{\prime }\left ( p\right ) \right ) \frac {dp}{dx}\end{align*}

The general solution is given by

\begin{align*} \frac {dp}{dx} & =0\\ p & =c_{1}\end{align*}

Substituting this in (1) gives the general solution

\[ y=c_{1}x-\frac {1}{4}c_{1}^{2}\]

The term \(\left ( x+g^{\prime }\left ( p\right ) \right ) =0\) is used to find singular solutions.

\begin{align*} x+g^{\prime }\left ( p\right ) & =x+\frac {d}{dp}\left ( -\frac {1}{4}p^{2}\right ) \\ & =x-\frac {1}{2}p \end{align*}

Hence \(x-\frac {1}{2}p=0\) or \(p=2x\). Substituting this back in (1) gives

\begin{align} y\left ( x\right ) & =2x^{2}-x^{2}\nonumber \\ & =x^{2} \tag {3}\end{align}

Eq. (2) is the general solution and (3) is the singular solution.

Another method to find the singular solutions if it exists is called the p-discriminant. This is used only for first order ode with nonlinear in \(y^{\prime }\). We set up the following two equations

\begin{align*} F\left ( x,y,y^{\prime }\right ) & =0\\ \frac {\partial F\left ( x,y,y^{\prime }\right ) }{\partial y^{\prime }} & =0 \end{align*}

We eliminate \(y^{\prime }\) and obtain \(G\left ( x,y\right ) =0\) equation. This is the singular solution. But we still have to check if it satisfies the ode and also if it is true singular solution curve. More on this later. Let us now just find the singular solution found above but using the p-discriminant method. The above two equations are

\begin{align*} y-xy^{\prime }+\frac {1}{4}\left ( y^{\prime }\right ) ^{2} & =0\\ -x+\frac {1}{2}y^{\prime } & =0 \end{align*}

Second equation gives \(y^{\prime }=2x\). Hence the first equation now gives the singular solution as

\begin{align*} y-2x^{2}+\frac {1}{4}\left ( 4x^{2}\right ) & =0\\ y-x^{2} & =0\\ y & =x^{2}\end{align*}

Which is the same obtained earlier.