54.2.347 problem 926

Internal problem ID [12221]
Book : Differential Gleichungen, E. Kamke, 3rd ed. Chelsea Pub. NY, 1948
Section : Chapter 1, Additional non-linear first order
Problem number : 926
Date solved : Wednesday, October 01, 2025 at 01:14:36 AM
CAS classification : [_rational, [_Abel, `2nd type`, `class C`]]

\begin{align*} y^{\prime }&=\frac {-8 x^{2} y^{3}+16 x y^{2}+16 x y^{3}-8+12 x y-6 x^{2} y^{2}+x^{3} y^{3}}{16 \left (-2+x y-2 y\right ) x} \end{align*}

✓ Maple. Time used: 0.010 (sec). Leaf size: 75

ode:=diff(y(x),x) = 1/16*(-8*x^2*y(x)^3+16*x*y(x)^2+16*x*y(x)^3-8+12*x*y(x)-6*x^2*y(x)^2+x^3*y(x)^3)/(-2+x*y(x)-2*y(x))/x; 
dsolve(ode,y(x), singsol=all);
 

\begin{align*} y &= \frac {2}{x} \\ y &= \frac {2 \sqrt {c_1 +8 \ln \left (x \right )}+8}{x \sqrt {c_1 +8 \ln \left (x \right )}+4 x -8} \\ y &= \frac {2 \sqrt {c_1 +8 \ln \left (x \right )}-8}{x \sqrt {c_1 +8 \ln \left (x \right )}-4 x +8} \\ \end{align*}

✓ Mathematica. Time used: 1.52 (sec). Leaf size: 650

ode=D[y[x],x] == (-1/2 + (3*x*y[x])/4 + x*y[x]^2 - (3*x^2*y[x]^2)/8 + x*y[x]^3 - (x^2*y[x]^3)/2 + (x^3*y[x]^3)/16)/(x*(-2 - 2*y[x] + x*y[x])); 
ic={}; 
DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
 

\begin{align*} y(x)&\to \frac {32-\frac {64 \sqrt {-2 \int _1^x-\frac {1024 \exp \left (2 \int _1^{K[2]}\frac {2}{(K[1]-2) K[1]}dK[1]\right ) K[2]}{(K[2]-2)^2}dK[2]+c_1}}{x \left (64 \exp \left (\int _1^x\frac {2}{(K[1]-2) K[1]}dK[1]\right )+\sqrt {-2 \int _1^x-\frac {1024 \exp \left (2 \int _1^{K[2]}\frac {2}{(K[1]-2) K[1]}dK[1]\right ) K[2]}{(K[2]-2)^2}dK[2]+c_1}\right )}}{16 (x-2)}\\ y(x)&\to \frac {32-\frac {64 \sqrt {-2 \int _1^x-\frac {1024 \exp \left (2 \int _1^{K[2]}\frac {2}{(K[1]-2) K[1]}dK[1]\right ) K[2]}{(K[2]-2)^2}dK[2]+c_1}}{x \left (-64 \exp \left (\int _1^x\frac {2}{(K[1]-2) K[1]}dK[1]\right )+\sqrt {-2 \int _1^x-\frac {1024 \exp \left (2 \int _1^{K[2]}\frac {2}{(K[1]-2) K[1]}dK[1]\right ) K[2]}{(K[2]-2)^2}dK[2]+c_1}\right )}}{16 (x-2)}\\ y(x)&\to \frac {2}{x}\\ y(x)&\to \frac {2 \left (\sqrt {2} (x-2) \sqrt {-\int _1^x-\frac {1024 \exp \left (2 \int _1^{K[2]}\frac {2}{(K[1]-2) K[1]}dK[1]\right ) K[2]}{(K[2]-2)^2}dK[2]}-64 x \exp \left (\int _1^x\frac {2}{(K[1]-2) K[1]}dK[1]\right )\right )}{(x-2) x \left (\sqrt {2} \sqrt {-\int _1^x-\frac {1024 \exp \left (2 \int _1^{K[2]}\frac {2}{(K[1]-2) K[1]}dK[1]\right ) K[2]}{(K[2]-2)^2}dK[2]}-64 \exp \left (\int _1^x\frac {2}{(K[1]-2) K[1]}dK[1]\right )\right )}\\ y(x)&\to \frac {2 \left (\sqrt {2} (x-2) \sqrt {-\int _1^x-\frac {1024 \exp \left (2 \int _1^{K[2]}\frac {2}{(K[1]-2) K[1]}dK[1]\right ) K[2]}{(K[2]-2)^2}dK[2]}+64 x \exp \left (\int _1^x\frac {2}{(K[1]-2) K[1]}dK[1]\right )\right )}{(x-2) x \left (\sqrt {2} \sqrt {-\int _1^x-\frac {1024 \exp \left (2 \int _1^{K[2]}\frac {2}{(K[1]-2) K[1]}dK[1]\right ) K[2]}{(K[2]-2)^2}dK[2]}+64 \exp \left (\int _1^x\frac {2}{(K[1]-2) K[1]}dK[1]\right )\right )} \end{align*}

✗ Sympy

from sympy import * 
x = symbols("x") 
y = Function("y") 
ode = Eq(Derivative(y(x), x) - (x**3*y(x)**3 - 8*x**2*y(x)**3 - 6*x**2*y(x)**2 + 16*x*y(x)**3 + 16*x*y(x)**2 + 12*x*y(x) - 8)/(16*x*(x*y(x) - 2*y(x) - 2)),0) 
ics = {} 
dsolve(ode,func=y(x),ics=ics)
 

Timed Out