4.15 problem Recognizable Exact Differential equations. Integrating factors. Exercise 10.7, page 90

Internal problem ID [3974]

Book: Ordinary Differential Equations, By Tenenbaum and Pollard. Dover, NY 1963
Section: Chapter 2. Special types of differential equations of the first kind. Lesson 10
Problem number: Recognizable Exact Differential equations. Integrating factors. Exercise 10.7, page 90.
ODE order: 1.
ODE degree: 1.

CAS Maple gives this as type [_rational]

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

Solution by Maple

Time used: 0.016 (sec). Leaf size: 25

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

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

Solution by Mathematica

Time used: 60.132 (sec). Leaf size: 1427

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

\begin{align*} y(x)\to \frac {1}{4} \left (\sqrt {2} \sqrt {\frac {8 \sqrt [3]{2} x+2^{2/3} \left (x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}\right ){}^{2/3}}{x \sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}}-2 \sqrt {-\frac {2 \sqrt {2} \left (x^3-3 c_1\right )}{\sqrt {\frac {8 \sqrt [3]{2} x+2^{2/3} \left (x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}\right ){}^{2/3}}{x \sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}}}-\frac {4 \sqrt [3]{2}}{\sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}-\frac {\sqrt [3]{x \left (x^4-3 c_1 x\right ){}^2+\sqrt {x^2 \left (-256 x+\left (x^4-3 c_1 x\right ){}^4\right )}}}{\sqrt [3]{2} x}}\right ) \\ y(x)\to \frac {1}{4} \left (\sqrt {2} \sqrt {\frac {8 \sqrt [3]{2} x+2^{2/3} \left (x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}\right ){}^{2/3}}{x \sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}}+2 \sqrt {-\frac {2 \sqrt {2} \left (x^3-3 c_1\right )}{\sqrt {\frac {8 \sqrt [3]{2} x+2^{2/3} \left (x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}\right ){}^{2/3}}{x \sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}}}-\frac {4 \sqrt [3]{2}}{\sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}-\frac {\sqrt [3]{x \left (x^4-3 c_1 x\right ){}^2+\sqrt {x^2 \left (-256 x+\left (x^4-3 c_1 x\right ){}^4\right )}}}{\sqrt [3]{2} x}}\right ) \\ y(x)\to \frac {1}{4} \left (-\sqrt {2} \sqrt {\frac {8 \sqrt [3]{2} x+2^{2/3} \left (x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}\right ){}^{2/3}}{x \sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}}-2 \sqrt {\frac {2 \sqrt {2} \left (x^3-3 c_1\right )}{\sqrt {\frac {8 \sqrt [3]{2} x+2^{2/3} \left (x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}\right ){}^{2/3}}{x \sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}}}-\frac {4 \sqrt [3]{2}}{\sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}-\frac {\sqrt [3]{x \left (x^4-3 c_1 x\right ){}^2+\sqrt {x^2 \left (-256 x+\left (x^4-3 c_1 x\right ){}^4\right )}}}{\sqrt [3]{2} x}}\right ) \\ y(x)\to \frac {1}{4} \left (2 \sqrt {\frac {2 \sqrt {2} \left (x^3-3 c_1\right )}{\sqrt {\frac {8 \sqrt [3]{2} x+2^{2/3} \left (x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}\right ){}^{2/3}}{x \sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}}}-\frac {4 \sqrt [3]{2}}{\sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}-\frac {\sqrt [3]{x \left (x^4-3 c_1 x\right ){}^2+\sqrt {x^2 \left (-256 x+\left (x^4-3 c_1 x\right ){}^4\right )}}}{\sqrt [3]{2} x}}-\sqrt {2} \sqrt {\frac {8 \sqrt [3]{2} x+2^{2/3} \left (x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}\right ){}^{2/3}}{x \sqrt [3]{x^3 \left (x^3-3 c_1\right ){}^2+\sqrt {x^3 \left (-256+x^3 \left (x^3-3 c_1\right ){}^4\right )}}}}\right ) \\ \end{align*}