Internal problem ID [3955]
Book: Ordinary Differential Equations, By Tenenbaum and Pollard. Dover, NY 1963
Section: Chapter 2. Special types of differential equations of the first kind. Lesson 9
Problem number: Exact Differential equations. Exercise 9.13, page 79.
ODE order: 1.
ODE degree: 1.
CAS Maple gives this as type [_exact]
\[ \boxed {4 x^{3}-\sin \left (x \right )+y^{3}-\left (y^{2}+1-3 x y^{2}\right ) y^{\prime }=0} \]
✓ Solution by Maple
Time used: 0.0 (sec). Leaf size: 1162
dsolve((4*x^3-sin(x)+y(x)^3)-(y(x)^2+1-3*x*y(x)^2)*diff(y(x),x)=0,y(x), singsol=all)
\begin{align*} y \left (x \right ) = \frac {{\left (\left (-12 x^{4}+4 \sqrt {\frac {27 x^{9}-9 x^{8}+54 \cos \left (x \right ) x^{5}+54 c_{1} x^{5}-18 \cos \left (x \right ) x^{4}-18 c_{1} x^{4}+27 x \cos \left (x \right )^{2}+54 c_{1} x \cos \left (x \right )+27 c_{1}^{2} x -9 \cos \left (x \right )^{2}-18 c_{1} \cos \left (x \right )-9 c_{1}^{2}-4}{3 x -1}}-12 \cos \left (x \right )-12 c_{1} \right ) \left (3 x -1\right )^{2}\right )}^{\frac {1}{3}}}{6 x -2}+\frac {2}{{\left (\left (-12 x^{4}+4 \sqrt {\frac {27 x^{9}-9 x^{8}+54 \cos \left (x \right ) x^{5}+54 c_{1} x^{5}-18 \cos \left (x \right ) x^{4}-18 c_{1} x^{4}+27 x \cos \left (x \right )^{2}+54 c_{1} x \cos \left (x \right )+27 c_{1}^{2} x -9 \cos \left (x \right )^{2}-18 c_{1} \cos \left (x \right )-9 c_{1}^{2}-4}{3 x -1}}-12 \cos \left (x \right )-12 c_{1} \right ) \left (3 x -1\right )^{2}\right )}^{\frac {1}{3}}} \\ y \left (x \right ) = -\frac {{\left (\left (-12 x^{4}+4 \sqrt {\frac {27 x^{9}-9 x^{8}+54 \cos \left (x \right ) x^{5}+54 c_{1} x^{5}-18 \cos \left (x \right ) x^{4}-18 c_{1} x^{4}+27 x \cos \left (x \right )^{2}+54 c_{1} x \cos \left (x \right )+27 c_{1}^{2} x -9 \cos \left (x \right )^{2}-18 c_{1} \cos \left (x \right )-9 c_{1}^{2}-4}{3 x -1}}-12 \cos \left (x \right )-12 c_{1} \right ) \left (3 x -1\right )^{2}\right )}^{\frac {1}{3}}}{4 \left (3 x -1\right )}-\frac {1}{{\left (\left (-12 x^{4}+4 \sqrt {\frac {27 x^{9}-9 x^{8}+54 \cos \left (x \right ) x^{5}+54 c_{1} x^{5}-18 \cos \left (x \right ) x^{4}-18 c_{1} x^{4}+27 x \cos \left (x \right )^{2}+54 c_{1} x \cos \left (x \right )+27 c_{1}^{2} x -9 \cos \left (x \right )^{2}-18 c_{1} \cos \left (x \right )-9 c_{1}^{2}-4}{3 x -1}}-12 \cos \left (x \right )-12 c_{1} \right ) \left (3 x -1\right )^{2}\right )}^{\frac {1}{3}}}-\frac {i \sqrt {3}\, \left (\frac {{\left (\left (-12 x^{4}+4 \sqrt {\frac {27 x^{9}-9 x^{8}+54 \cos \left (x \right ) x^{5}+54 c_{1} x^{5}-18 \cos \left (x \right ) x^{4}-18 c_{1} x^{4}+27 x \cos \left (x \right )^{2}+54 c_{1} x \cos \left (x \right )+27 c_{1}^{2} x -9 \cos \left (x \right )^{2}-18 c_{1} \cos \left (x \right )-9 c_{1}^{2}-4}{3 x -1}}-12 \cos \left (x \right )-12 c_{1} \right ) \left (3 x -1\right )^{2}\right )}^{\frac {1}{3}}}{6 x -2}-\frac {2}{{\left (\left (-12 x^{4}+4 \sqrt {\frac {27 x^{9}-9 x^{8}+54 \cos \left (x \right ) x^{5}+54 c_{1} x^{5}-18 \cos \left (x \right ) x^{4}-18 c_{1} x^{4}+27 x \cos \left (x \right )^{2}+54 c_{1} x \cos \left (x \right )+27 c_{1}^{2} x -9 \cos \left (x \right )^{2}-18 c_{1} \cos \left (x \right )-9 c_{1}^{2}-4}{3 x -1}}-12 \cos \left (x \right )-12 c_{1} \right ) \left (3 x -1\right )^{2}\right )}^{\frac {1}{3}}}\right )}{2} \\ y \left (x \right ) = -\frac {{\left (\left (-12 x^{4}+4 \sqrt {\frac {27 x^{9}-9 x^{8}+54 \cos \left (x \right ) x^{5}+54 c_{1} x^{5}-18 \cos \left (x \right ) x^{4}-18 c_{1} x^{4}+27 x \cos \left (x \right )^{2}+54 c_{1} x \cos \left (x \right )+27 c_{1}^{2} x -9 \cos \left (x \right )^{2}-18 c_{1} \cos \left (x \right )-9 c_{1}^{2}-4}{3 x -1}}-12 \cos \left (x \right )-12 c_{1} \right ) \left (3 x -1\right )^{2}\right )}^{\frac {1}{3}}}{4 \left (3 x -1\right )}-\frac {1}{{\left (\left (-12 x^{4}+4 \sqrt {\frac {27 x^{9}-9 x^{8}+54 \cos \left (x \right ) x^{5}+54 c_{1} x^{5}-18 \cos \left (x \right ) x^{4}-18 c_{1} x^{4}+27 x \cos \left (x \right )^{2}+54 c_{1} x \cos \left (x \right )+27 c_{1}^{2} x -9 \cos \left (x \right )^{2}-18 c_{1} \cos \left (x \right )-9 c_{1}^{2}-4}{3 x -1}}-12 \cos \left (x \right )-12 c_{1} \right ) \left (3 x -1\right )^{2}\right )}^{\frac {1}{3}}}+\frac {i \sqrt {3}\, \left (\frac {{\left (\left (-12 x^{4}+4 \sqrt {\frac {27 x^{9}-9 x^{8}+54 \cos \left (x \right ) x^{5}+54 c_{1} x^{5}-18 \cos \left (x \right ) x^{4}-18 c_{1} x^{4}+27 x \cos \left (x \right )^{2}+54 c_{1} x \cos \left (x \right )+27 c_{1}^{2} x -9 \cos \left (x \right )^{2}-18 c_{1} \cos \left (x \right )-9 c_{1}^{2}-4}{3 x -1}}-12 \cos \left (x \right )-12 c_{1} \right ) \left (3 x -1\right )^{2}\right )}^{\frac {1}{3}}}{6 x -2}-\frac {2}{{\left (\left (-12 x^{4}+4 \sqrt {\frac {27 x^{9}-9 x^{8}+54 \cos \left (x \right ) x^{5}+54 c_{1} x^{5}-18 \cos \left (x \right ) x^{4}-18 c_{1} x^{4}+27 x \cos \left (x \right )^{2}+54 c_{1} x \cos \left (x \right )+27 c_{1}^{2} x -9 \cos \left (x \right )^{2}-18 c_{1} \cos \left (x \right )-9 c_{1}^{2}-4}{3 x -1}}-12 \cos \left (x \right )-12 c_{1} \right ) \left (3 x -1\right )^{2}\right )}^{\frac {1}{3}}}\right )}{2} \\ \end{align*}
✓ Solution by Mathematica
Time used: 60.211 (sec). Leaf size: 567
DSolve[(4*x^3-Sin[x]+y[x]^3)-(y[x]^2+1-3*x*y[x]^2)*y'[x]==0,y[x],x,IncludeSingularSolutions -> True]
\begin{align*} y(x)\to \frac {\sqrt [3]{2} \left (-3 (1-3 x)^2 \left (x^4-c_1\right )+\frac {1}{27} \sqrt {4 (9-27 x)^3+6561 (1-3 x)^4 \left (x^4+\cos (x)-c_1\right ){}^2}-3 (1-3 x)^2 \cos (x)\right ){}^{2/3}+6 x-2}{2^{2/3} (3 x-1) \sqrt [3]{-3 (1-3 x)^2 \left (x^4-c_1\right )+\frac {1}{27} \sqrt {4 (9-27 x)^3+6561 (1-3 x)^4 \left (x^4+\cos (x)-c_1\right ){}^2}-3 (1-3 x)^2 \cos (x)}} \\ y(x)\to \frac {9 i \sqrt [3]{2} \left (\sqrt {3}+i\right ) \left (-3 (1-3 x)^2 \left (x^4-c_1\right )+\frac {1}{27} \sqrt {4 (9-27 x)^3+6561 (1-3 x)^4 \left (x^4+\cos (x)-c_1\right ){}^2}-3 (1-3 x)^2 \cos (x)\right ){}^{2/3}+\left (2+2 i \sqrt {3}\right ) (9-27 x)}{18\ 2^{2/3} (3 x-1) \sqrt [3]{-3 (1-3 x)^2 \left (x^4-c_1\right )+\frac {1}{27} \sqrt {4 (9-27 x)^3+6561 (1-3 x)^4 \left (x^4+\cos (x)-c_1\right ){}^2}-3 (1-3 x)^2 \cos (x)}} \\ y(x)\to \frac {i \left (2 \left (\sqrt {3}+i\right )-\frac {\sqrt [3]{2} \left (\sqrt {3}-i\right ) \left (-3 (1-3 x)^2 \left (x^4-c_1\right )+\frac {1}{27} \sqrt {4 (9-27 x)^3+6561 (1-3 x)^4 \left (x^4+\cos (x)-c_1\right ){}^2}-3 (1-3 x)^2 \cos (x)\right ){}^{2/3}}{3 x-1}\right )}{2\ 2^{2/3} \sqrt [3]{-3 (1-3 x)^2 \left (x^4-c_1\right )+\frac {1}{27} \sqrt {4 (9-27 x)^3+6561 (1-3 x)^4 \left (x^4+\cos (x)-c_1\right ){}^2}-3 (1-3 x)^2 \cos (x)}} \\ \end{align*}