1.70 problem 70

1.70.1 Solved as second order missing x ode
1.70.2 Maple step by step solution
1.70.3 Maple trace
1.70.4 Maple dsolve solution
1.70.5 Mathematica DSolve solution

Internal problem ID [7762]
Book : Own collection of miscellaneous problems
Section : section 1.0
Problem number : 70
Date solved : Monday, October 21, 2024 at 04:16:09 PM
CAS classification : [[_2nd_order, _quadrature]]

Solve

\begin{align*} a y y^{\prime \prime }+b y&=0 \end{align*}

1.70.1 Solved as second order missing x ode

Time used: 0.493 (sec)

This is missing independent variable second order ode. Solved by reduction of order by using substitution which makes the dependent variable \(y\) an independent variable. Using

\begin{align*} y' &= p \end{align*}

Then

\begin{align*} y'' &= \frac {dp}{dx}\\ &= \frac {dp}{dy}\frac {dy}{dx}\\ &= p \frac {dp}{dy} \end{align*}

Hence the ode becomes

\begin{align*} a y p \left (y \right ) \left (\frac {d}{d y}p \left (y \right )\right )+b y = 0 \end{align*}

Which is now solved as first order ode for \(p(y)\).

Integrating gives

\begin{align*} \int -\frac {p a}{b}d p &= dy\\ -\frac {p^{2} a}{2 b}&= y +c_1 \end{align*}

Solving for \(p\) from the above solution(s) gives (after possible removing of solutions that do not verify)

\begin{align*} p&=\frac {\sqrt {-2 a b \left (y +c_1 \right )}}{a}\\ p&=-\frac {\sqrt {-2 a b \left (y +c_1 \right )}}{a} \end{align*}

For solution (1) found earlier, since \(p=y^{\prime }\) then we now have a new first order ode to solve which is

\begin{align*} y^{\prime } = \frac {\sqrt {-2 a b \left (y+c_1 \right )}}{a} \end{align*}

Integrating gives

\begin{align*} \int \frac {a}{\sqrt {-2 a b \left (y +c_1 \right )}}d y &= dx\\ -\frac {\sqrt {2}\, \sqrt {-a b \left (y +c_1 \right )}}{b}&= x +c_2 \end{align*}

Singular solutions are found by solving

\begin{align*} \frac {\sqrt {-2 a b \left (y +c_1 \right )}}{a}&= 0 \end{align*}

for \(y\). This is because we had to divide by this in the above step. This gives the following singular solution(s), which also have to satisfy the given ODE.

\begin{align*} y = -c_1 \end{align*}

Solving for \(y\) from the above solution(s) gives (after possible removing of solutions that do not verify)

\begin{align*} y&=-c_1\\ y&=-\frac {c_2^{2} b +2 c_2 b x +b \,x^{2}+2 c_1 a}{2 a} \end{align*}

For solution (2) found earlier, since \(p=y^{\prime }\) then we now have a new first order ode to solve which is

\begin{align*} y^{\prime } = -\frac {\sqrt {-2 a b \left (y+c_1 \right )}}{a} \end{align*}

Integrating gives

\begin{align*} \int -\frac {a}{\sqrt {-2 a b \left (y +c_1 \right )}}d y &= dx\\ \frac {\sqrt {2}\, \sqrt {-a b \left (y +c_1 \right )}}{b}&= x +c_3 \end{align*}

Singular solutions are found by solving

\begin{align*} -\frac {\sqrt {-2 a b \left (y +c_1 \right )}}{a}&= 0 \end{align*}

for \(y\). This is because we had to divide by this in the above step. This gives the following singular solution(s), which also have to satisfy the given ODE.

\begin{align*} y = -c_1 \end{align*}

Solving for \(y\) from the above solution(s) gives (after possible removing of solutions that do not verify)

\begin{align*} y&=-c_1\\ y&=-\frac {c_3^{2} b +2 c_3 b x +b \,x^{2}+2 c_1 a}{2 a} \end{align*}

Will add steps showing solving for IC soon.

The solution

\[ y = -c_1 \]

was found not to satisfy the ode or the IC. Hence it is removed.

1.70.2 Maple step by step solution
\[ \begin {array}{lll} & {} & \textrm {Let's solve}\hspace {3pt} \\ {} & {} & a y \left (\frac {d}{d x}y^{\prime }\right )+b y=0 \\ \bullet & {} & \textrm {Highest derivative means the order of the ODE is}\hspace {3pt} 2 \\ {} & {} & \frac {d}{d x}y^{\prime } \\ \bullet & {} & \textrm {Isolate 2nd derivative}\hspace {3pt} \\ {} & {} & \frac {d}{d x}y^{\prime }=-\frac {b}{a} \\ \bullet & {} & \textrm {Characteristic polynomial of homogeneous ODE}\hspace {3pt} \\ {} & {} & r^{2}=0 \\ \bullet & {} & \textrm {Use quadratic formula to solve for}\hspace {3pt} r \\ {} & {} & r =\frac {0\pm \left (\sqrt {0}\right )}{2} \\ \bullet & {} & \textrm {Roots of the characteristic polynomial}\hspace {3pt} \\ {} & {} & r =0 \\ \bullet & {} & \textrm {1st solution of the homogeneous ODE}\hspace {3pt} \\ {} & {} & y_{1}\left (x \right )=1 \\ \bullet & {} & \textrm {Repeated root, multiply}\hspace {3pt} y_{1}\left (x \right )\hspace {3pt}\textrm {by}\hspace {3pt} x \hspace {3pt}\textrm {to ensure linear independence}\hspace {3pt} \\ {} & {} & y_{2}\left (x \right )=x \\ \bullet & {} & \textrm {General solution of the ODE}\hspace {3pt} \\ {} & {} & y=\mathit {C1} y_{1}\left (x \right )+\mathit {C2} y_{2}\left (x \right )+y_{p}\left (x \right ) \\ \bullet & {} & \textrm {Substitute in solutions of the homogeneous ODE}\hspace {3pt} \\ {} & {} & y=\mathit {C1} +\mathit {C2} x +y_{p}\left (x \right ) \\ \square & {} & \textrm {Find a particular solution}\hspace {3pt} y_{p}\left (x \right )\hspace {3pt}\textrm {of the ODE}\hspace {3pt} \\ {} & \circ & \textrm {Use variation of parameters to find}\hspace {3pt} y_{p}\hspace {3pt}\textrm {here}\hspace {3pt} f \left (x \right )\hspace {3pt}\textrm {is the forcing function}\hspace {3pt} \\ {} & {} & \left [y_{p}\left (x \right )=-y_{1}\left (x \right ) \left (\int \frac {y_{2}\left (x \right ) f \left (x \right )}{W \left (y_{1}\left (x \right ), y_{2}\left (x \right )\right )}d x \right )+y_{2}\left (x \right ) \left (\int \frac {y_{1}\left (x \right ) f \left (x \right )}{W \left (y_{1}\left (x \right ), y_{2}\left (x \right )\right )}d x \right ), f \left (x \right )=-\frac {b}{a}\right ] \\ {} & \circ & \textrm {Wronskian of solutions of the homogeneous equation}\hspace {3pt} \\ {} & {} & W \left (y_{1}\left (x \right ), y_{2}\left (x \right )\right )=\left [\begin {array}{cc} 1 & x \\ 0 & 1 \end {array}\right ] \\ {} & \circ & \textrm {Compute Wronskian}\hspace {3pt} \\ {} & {} & W \left (y_{1}\left (x \right ), y_{2}\left (x \right )\right )=1 \\ {} & \circ & \textrm {Substitute functions into equation for}\hspace {3pt} y_{p}\left (x \right ) \\ {} & {} & y_{p}\left (x \right )=-\frac {b \left (\left (\int 1d x \right ) x -\left (\int x d x \right )\right )}{a} \\ {} & \circ & \textrm {Compute integrals}\hspace {3pt} \\ {} & {} & y_{p}\left (x \right )=-\frac {x^{2} b}{2 a} \\ \bullet & {} & \textrm {Substitute particular solution into general solution to ODE}\hspace {3pt} \\ {} & {} & y=\mathit {C1} +\mathit {C2} x -\frac {x^{2} b}{2 a} \end {array} \]

1.70.3 Maple trace
Methods for second order ODEs:
 
1.70.4 Maple dsolve solution

Solving time : 0.003 (sec)
Leaf size : 22

dsolve(a*y(x)*diff(diff(y(x),x),x)+b*y(x) = 0, 
       y(x),singsol=all)
 
\begin{align*} y &= 0 \\ y &= -\frac {x^{2} b}{2 a}+c_1 x +c_2 \\ \end{align*}
1.70.5 Mathematica DSolve solution

Solving time : 0.003 (sec)
Leaf size : 28

DSolve[{a*y[x]*D[y[x],{x,2}]+b*y[x]==0,{}}, 
       y[x],x,IncludeSingularSolutions->True]
 
\begin{align*} y(x)\to 0 \\ y(x)\to -\frac {b x^2}{2 a}+c_2 x+c_1 \\ \end{align*}