24.16 problem 678

Internal problem ID [3417]

Book: Ordinary differential equations and their solutions. By George Moseley Murphy. 1960
Section: Various 24
Problem number: 678.
ODE order: 1.
ODE degree: 1.

CAS Maple gives this as type [_exact, _rational]

Solve \begin {gather*} \boxed {\left (x -y x^{2}-y^{3}\right ) y^{\prime }-x^{3}+y-x y^{2}=0} \end {gather*}

Solution by Maple

Time used: 0.004 (sec). Leaf size: 29

dsolve((x-x^2*y(x)-y(x)^3)*diff(y(x),x) = x^3-y(x)+x*y(x)^2,y(x), singsol=all)
 

\[ -\frac {x^{4}}{4}-\frac {x^{2} y \relax (x )^{2}}{2}+x y \relax (x )-\frac {y \relax (x )^{4}}{4}+c_{1} = 0 \]

Solution by Mathematica

Time used: 143.738 (sec). Leaf size: 1807

DSolve[(x-x^2 y[x]-y[x]^3)y'[x]==x^3-y[x]+x y[x]^2,y[x],x,IncludeSingularSolutions -> True]
 

\begin{align*} y(x)\to -\frac {\sqrt {-2 x^2+\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}+\frac {4 \left (x^4-3 c_1\right )}{\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}}}{\sqrt {6}}-\frac {1}{2} \sqrt {-\frac {8 x^2}{3}-\frac {4 \sqrt {6} x}{\sqrt {-2 x^2+\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}+\frac {4 \left (x^4-3 c_1\right )}{\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}}}-\frac {2}{3} \sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}-\frac {8 \left (x^4-3 c_1\right )}{3 \sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}} \\ y(x)\to \frac {1}{2} \sqrt {-\frac {8 x^2}{3}-\frac {4 \sqrt {6} x}{\sqrt {-2 x^2+\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}+\frac {4 \left (x^4-3 c_1\right )}{\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}}}-\frac {2}{3} \sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}-\frac {8 \left (x^4-3 c_1\right )}{3 \sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}}-\frac {\sqrt {-2 x^2+\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}+\frac {4 \left (x^4-3 c_1\right )}{\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}}}{\sqrt {6}} \\ y(x)\to \frac {\sqrt {-2 x^2+\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}+\frac {4 \left (x^4-3 c_1\right )}{\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}}}{\sqrt {6}}-\frac {1}{2} \sqrt {-\frac {8 x^2}{3}+\frac {4 \sqrt {6} x}{\sqrt {-2 x^2+\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}+\frac {4 \left (x^4-3 c_1\right )}{\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}}}-\frac {2}{3} \sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}-\frac {8 \left (x^4-3 c_1\right )}{3 \sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}} \\ y(x)\to \frac {\sqrt {-2 x^2+\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}+\frac {4 \left (x^4-3 c_1\right )}{\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}}}{\sqrt {6}}+\frac {1}{2} \sqrt {-\frac {8 x^2}{3}+\frac {4 \sqrt {6} x}{\sqrt {-2 x^2+\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}+\frac {4 \left (x^4-3 c_1\right )}{\sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}}}-\frac {2}{3} \sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}-\frac {8 \left (x^4-3 c_1\right )}{3 \sqrt [3]{-8 x^6+9 (3+4 c_1) x^2+3 \sqrt {3} \sqrt {-16 x^8+(27+8 (9-2 c_1) c_1) x^4+64 c_1{}^3}}}} \\ \end{align*}