2.1.62 problem 62

Solved as second order missing x ode
Maple step by step solution
Maple trace
Maple dsolve solution
Mathematica DSolve solution

Internal problem ID [8200]
Book : Own collection of miscellaneous problems
Section : section 1.0
Problem number : 62
Date solved : Sunday, November 10, 2024 at 03:09:41 AM
CAS classification : [[_2nd_order, _missing_x], [_2nd_order, _reducible, _mu_x_y1]]

Solve

\begin{align*} y y^{\prime \prime }&=1 \end{align*}

Solved as second order missing x ode

Time used: 0.480 (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*} y p \left (y \right ) \left (\frac {d}{d y}p \left (y \right )\right ) = 1 \end{align*}

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

The ode \(p^{\prime } = \frac {1}{p y}\) is separable as it can be written as

\begin{align*} p^{\prime }&= \frac {1}{p y}\\ &= f(y) g(p) \end{align*}

Where

\begin{align*} f(y) &= \frac {1}{y}\\ g(p) &= \frac {1}{p} \end{align*}

Integrating gives

\begin{align*} \int { \frac {1}{g(p)} \,dp} &= \int { f(y) \,dy}\\ \int { p\,dp} &= \int { \frac {1}{y} \,dy}\\ \frac {p^{2}}{2}&=\ln \left (y \right )+c_1 \end{align*}

Solving for \(p\) gives

\begin{align*} p &= \sqrt {2 \ln \left (y \right )+2 c_1} \\ p &= -\sqrt {2 \ln \left (y \right )+2 c_1} \\ \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 } = \sqrt {2 \ln \left (y\right )+2 c_1} \end{align*}

Unable to integrate (or intergal too complicated), and since no initial conditions are given, then the result can be written as

\[ \int _{}^{y}\frac {1}{\sqrt {2 \ln \left (\tau \right )+2 c_1}}d \tau = x +c_2 \]

Singular solutions are found by solving

\begin{align*} \sqrt {2 \ln \left (y \right )+2 c_1}&= 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 = {\mathrm e}^{-c_1} \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 } = -\sqrt {2 \ln \left (y\right )+2 c_1} \end{align*}

Unable to integrate (or intergal too complicated), and since no initial conditions are given, then the result can be written as

\[ \int _{}^{y}-\frac {1}{\sqrt {2 \ln \left (\tau \right )+2 c_1}}d \tau = x +c_3 \]

Singular solutions are found by solving

\begin{align*} -\sqrt {2 \ln \left (y \right )+2 c_1}&= 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 = {\mathrm e}^{-c_1} \end{align*}

Will add steps showing solving for IC soon.

The solution

\[ y = {\mathrm e}^{-c_1} \]

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

Summary of solutions found

\begin{align*} \int _{}^{y}\frac {1}{\sqrt {2 \ln \left (\tau \right )+2 c_1}}d \tau &= x +c_2 \\ \int _{}^{y}-\frac {1}{\sqrt {2 \ln \left (\tau \right )+2 c_1}}d \tau &= x +c_3 \\ \end{align*}

Maple step by step solution

Maple trace
`Methods for second order ODEs: 
--- Trying classification methods --- 
trying 2nd order Liouville 
trying 2nd order WeierstrassP 
trying 2nd order JacobiSN 
differential order: 2; trying a linearization to 3rd order 
trying 2nd order ODE linearizable_by_differentiation 
trying 2nd order, 2 integrating factors of the form mu(x,y) 
trying differential order: 2; missing variables 
`, `-> Computing symmetries using: way = 3 
-> Calling odsolve with the ODE`, (diff(_b(_a), _a))*_b(_a)-1/_a = 0, _b(_a), HINT = [[_a, 0]]`   *** Sublevel 2 *** 
   symmetry methods on request 
`, `1st order, trying reduction of order with given symmetries:`[_a, 0]
 
Maple dsolve solution

Solving time : 0.053 (sec)
Leaf size : 51

dsolve(y(x)*diff(diff(y(x),x),x) = 1, 
       y(x),singsol=all)
 
\begin{align*} \int _{}^{y}\frac {1}{\sqrt {2 \ln \left (\textit {\_a} \right )-c_{1}}}d \textit {\_a} -x -c_{2} &= 0 \\ -\left (\int _{}^{y}\frac {1}{\sqrt {2 \ln \left (\textit {\_a} \right )-c_{1}}}d \textit {\_a} \right )-x -c_{2} &= 0 \\ \end{align*}
Mathematica DSolve solution

Solving time : 60.072 (sec)
Leaf size : 93

DSolve[{y[x]*D[y[x],{x,2}]==1,{}}, 
       y[x],x,IncludeSingularSolutions->True]
 
\begin{align*} y(x)\to \exp \left (-\text {erf}^{-1}\left (-i \sqrt {\frac {2}{\pi }} \sqrt {e^{c_1} (x+c_2){}^2}\right ){}^2-\frac {c_1}{2}\right ) \\ y(x)\to \exp \left (-\text {erf}^{-1}\left (i \sqrt {\frac {2}{\pi }} \sqrt {e^{c_1} (x+c_2){}^2}\right ){}^2-\frac {c_1}{2}\right ) \\ \end{align*}