Internal problem ID [6238]
Internal file name [OUTPUT/5486_Sunday_June_05_2022_03_41_11_PM_32735869/index.tex]
Book: Differential Equations: Theory, Technique, and Practice by George Simmons, Steven
Krantz. McGraw-Hill NY. 2007. 1st Edition.
Section: Chapter 1. What is a differential equation. Section 1.9. Reduction of Order. Page
38
Problem number: 1(b).
ODE order: 2.
ODE degree: 1.
The type(s) of ODE detected by this program : "unknown"
Maple gives the following as the ode type
[NONE]
Unable to solve or complete the solution.
\[ \boxed {x y y^{\prime \prime }-y^{\prime }-{y^{\prime }}^{3}=0} \]
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 a change of variables {x -> y(x), y(x) -> x} 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 -> trying 2nd order, dynamical_symmetries, fully reducible to Abel through one integrating factor of the form G(x,y)/(1+H(x,y)*y)^2 --- trying a change of variables {x -> y(x), y(x) -> x} and re-entering methods for dynamical symmetries --- -> trying 2nd order, dynamical_symmetries, fully reducible to Abel through one integrating factor of the form G(x,y)/(1+H(x,y)*y) trying 2nd order, integrating factors of the form mu(x,y)/(y)^n, only the singular cases trying symmetries linear in x and y(x) trying differential order: 2; exact nonlinear trying 2nd order, integrating factor of the form mu(y) trying 2nd order, integrating factor of the form mu(x,y) trying 2nd order, integrating factor of the form mu(x,y)/(y)^n, only the general case trying 2nd order, integrating factor of the form mu(y,y) trying differential order: 2; mu polynomial in y trying 2nd order, integrating factor of the form mu(x,y) differential order: 2; looking for linear symmetries -> trying 2nd order, the S-function method -> trying a change of variables {x -> y(x), y(x) -> x} and re-entering methods for the S-function -> trying 2nd order, the S-function method -> trying 2nd order, No Point Symmetries Class V --- trying a change of variables {x -> y(x), y(x) -> x} and re-entering methods for dynamical symmetries --- -> trying 2nd order, No Point Symmetries Class V -> trying 2nd order, No Point Symmetries Class V --- trying a change of variables {x -> y(x), y(x) -> x} and re-entering methods for dynamical symmetries --- -> trying 2nd order, No Point Symmetries Class V -> trying 2nd order, No Point Symmetries Class V --- trying a change of variables {x -> y(x), y(x) -> x} and re-entering methods for dynamical symmetries --- -> trying 2nd order, No Point Symmetries Class V trying 2nd order, integrating factor of the form mu(x,y)/(y)^n, only the general case -> trying 2nd order, dynamical_symmetries, only a reduction of order through one integrating factor of the form G(x,y)/(1+H(x,y)*y)^ --- trying a change of variables {x -> y(x), y(x) -> x} and re-entering methods for dynamical symmetries --- -> trying 2nd order, dynamical_symmetries, only a reduction of order through one integrating factor of the form G(x,y)/(1+H(x,y)* --- Trying Lie symmetry methods, 2nd order --- `, `-> Computing symmetries using: way = 3 `, `-> Computing symmetries using: way = 5 `, `-> Computing symmetries using: way = formal`
✗ Solution by Maple
dsolve(x*y(x)*diff(y(x),x$2)=diff(y(x),x)+(diff(y(x),x))^3,y(x), singsol=all)
\[ \text {No solution found} \]
✓ Solution by Mathematica
Time used: 1.417 (sec). Leaf size: 103
DSolve[x*y''[x]==y'[x]+(y'[x])^3,y[x],x,IncludeSingularSolutions -> True]
\begin{align*} y(x)\to c_2-i e^{-c_1} \sqrt {-1+e^{2 c_1} x^2} \\ y(x)\to i e^{-c_1} \sqrt {-1+e^{2 c_1} x^2}+c_2 \\ y(x)\to c_2-i \sqrt {x^2} \\ y(x)\to i \sqrt {x^2}+c_2 \\ \end{align*}