60.2.392 problem 970

Internal problem ID [10966]
Book : Differential Gleichungen, E. Kamke, 3rd ed. Chelsea Pub. NY, 1948
Section : Chapter 1, Additional non-linear first order
Problem number : 970
Date solved : Sunday, March 30, 2025 at 07:35:20 PM
CAS classification : [_rational]

\begin{align*} y^{\prime }&=-\frac {216 y \left (-2 y^{4}-3 y^{3}-6 y^{2}-6 y+6 x +6\right )}{-126 y^{10}-315 y^{9}-8 y^{12}-36 y^{11}+2808 y^{4}+1728 y^{3}-1296 y^{2}-18 y^{8}+594 y^{7}+4428 y^{5}+2484 y^{6}+72 y^{8} x +216 y^{7} x +1080 y^{5} x -216 x^{2} y^{4}+594 x y^{6}-648 x y^{3}-1296 x y-324 x^{2} y^{3}-648 x^{2} y^{2}-432 x y^{4}-648 x^{2} y-1944 x y^{2}+216 x^{3}-1296 y} \end{align*}

✓ Maple. Time used: 0.047 (sec). Leaf size: 181

ode:=diff(y(x),x) = -216*y(x)*(-2*y(x)^4-3*y(x)^3-6*y(x)^2-6*y(x)+6*x+6)/(2484*y(x)^6-432*y(x)^4*x-648*x^2*y(x)+1728*y(x)^3-216*x^2*y(x)^4-648*x^2*y(x)^2-1296*x*y(x)-648*x*y(x)^3-1944*x*y(x)^2-1296*y(x)^2+4428*y(x)^5+2808*y(x)^4-126*y(x)^10-315*y(x)^9-8*y(x)^12-36*y(x)^11-18*y(x)^8+594*y(x)^7-324*x^2*y(x)^3+72*y(x)^8*x+216*y(x)^7*x+1080*y(x)^5*x+594*x*y(x)^6-1296*y(x)+216*x^3); 
dsolve(ode,y(x), singsol=all);
 

\begin{align*} \frac {-6 \sqrt {3 \ln \left (y\right )-108 c_1 +9}+\left (2 y^{4}+3 y^{3}+6 y^{2}-6 x +6 y\right ) \ln \left (y\right )-72 c_1 y^{4}-108 c_1 y^{3}-216 c_1 y^{2}+216 c_1 x -216 c_1 y+18}{216 c_1 -6 \ln \left (y\right )} &= 0 \\ \frac {6 \sqrt {3 \ln \left (y\right )-108 c_1 +9}+\left (2 y^{4}+3 y^{3}+6 y^{2}-6 x +6 y\right ) \ln \left (y\right )-72 c_1 y^{4}-108 c_1 y^{3}-216 c_1 y^{2}+216 c_1 x -216 c_1 y+18}{216 c_1 -6 \ln \left (y\right )} &= 0 \\ \end{align*}

✓ Mathematica. Time used: 0.45 (sec). Leaf size: 66

ode=D[y[x],x] == (-216*y[x]*(6 + 6*x - 6*y[x] - 6*y[x]^2 - 3*y[x]^3 - 2*y[x]^4))/(216*x^3 - 1296*y[x] - 1296*x*y[x] - 648*x^2*y[x] - 1296*y[x]^2 - 1944*x*y[x]^2 - 648*x^2*y[x]^2 + 1728*y[x]^3 - 648*x*y[x]^3 - 324*x^2*y[x]^3 + 2808*y[x]^4 - 432*x*y[x]^4 - 216*x^2*y[x]^4 + 4428*y[x]^5 + 1080*x*y[x]^5 + 2484*y[x]^6 + 594*x*y[x]^6 + 594*y[x]^7 + 216*x*y[x]^7 - 18*y[x]^8 + 72*x*y[x]^8 - 315*y[x]^9 - 126*y[x]^10 - 36*y[x]^11 - 8*y[x]^12); 
ic={}; 
DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
 

\[ \text {Solve}\left [\frac {36 \left (2 y(x)^4+3 y(x)^3+6 y(x)^2+6 y(x)-6 x-3\right )}{\left (y(x) \left (2 y(x)^3+3 y(x)^2+6 y(x)+6\right )-6 x\right )^2}+\log (y(x))=c_1,y(x)\right ] \]

✗ Sympy

from sympy import * 
x = symbols("x") 
y = Function("y") 
ode = Eq((1296*x - 432*y(x)**4 - 648*y(x)**3 - 1296*y(x)**2 - 1296*y(x) + 1296)*y(x)/(216*x**3 - 216*x**2*y(x)**4 - 324*x**2*y(x)**3 - 648*x**2*y(x)**2 - 648*x**2*y(x) + 72*x*y(x)**8 + 216*x*y(x)**7 + 594*x*y(x)**6 + 1080*x*y(x)**5 - 432*x*y(x)**4 - 648*x*y(x)**3 - 1944*x*y(x)**2 - 1296*x*y(x) - 8*y(x)**12 - 36*y(x)**11 - 126*y(x)**10 - 315*y(x)**9 - 18*y(x)**8 + 594*y(x)**7 + 2484*y(x)**6 + 4428*y(x)**5 + 2808*y(x)**4 + 1728*y(x)**3 - 1296*y(x)**2 - 1296*y(x)) + Derivative(y(x), x),0) 
ics = {} 
dsolve(ode,func=y(x),ics=ics)
 

NotImplementedError : The given ODE -216*(6*x - 2*y(x)**4 - 3*y(x)**3 - 6*y(x)**2 - 6*y(x) + 6)*y(x)/(-216*x**3 + 216*x**2*y(x)**4 + 324*x**2*y(x)**3 + 648*x**2*y(x)**2 + 648*x**2*y(x) - 72*x*y(x)**8 - 216*x*y(x)**7 - 594*x*y(x)**6 - 1080*x*y(x)**5 + 432*x*y(x)**4 + 648*x*y(x)**3 + 1944*x*y(x)**2 + 1296*x*y(x) + 8*y(x)**12 + 36*y(x)**11 + 126*y(x)**10 + 315*y(x)**9 + 18*y(x)**8 - 594*y(x)**7 - 2484*y(x)**6 - 4428*y(x)**5 - 2808*y(x)**4 - 1728*y(x)**3 + 1296*y(x)**2 + 1296*y(x)) + Derivative(y(x), x) cannot be solved by the factorable group method