69.1.49 problem 68

Internal problem ID [14123]
Book : DIFFERENTIAL and INTEGRAL CALCULUS. VOL I. by N. PISKUNOV. MIR PUBLISHERS, Moscow 1969.
Section : Chapter 8. Differential equations. Exercises page 595
Problem number : 68
Date solved : Wednesday, March 05, 2025 at 10:35:46 PM
CAS classification : [_rational, _Bernoulli]

\begin{align*} 3 y^{2} y^{\prime }-a y^{3}-x -1&=0 \end{align*}

Maple. Time used: 0.027 (sec). Leaf size: 104
ode:=3*y(x)^2*diff(y(x),x)-a*y(x)^3-x-1 = 0; 
dsolve(ode,y(x), singsol=all);
 
\begin{align*} y &= \frac {{\left (a \left (c_{1} {\mathrm e}^{a x} a^{2}-1+\left (-x -1\right ) a \right )\right )}^{{1}/{3}}}{a} \\ y &= -\frac {{\left (a \left (c_{1} {\mathrm e}^{a x} a^{2}-1+\left (-x -1\right ) a \right )\right )}^{{1}/{3}} \left (1+i \sqrt {3}\right )}{2 a} \\ y &= \frac {{\left (a \left (c_{1} {\mathrm e}^{a x} a^{2}-1+\left (-x -1\right ) a \right )\right )}^{{1}/{3}} \left (i \sqrt {3}-1\right )}{2 a} \\ \end{align*}
Mathematica. Time used: 0.361 (sec). Leaf size: 144
ode=3*y[x]^2*D[y[x],x]-a*y[x]^3-x-1==0; 
ic={}; 
DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
 
\begin{align*} y(x)\to e^{\frac {a x}{3}} \sqrt [3]{3 \int _1^x\frac {1}{3} e^{-a K[1]} (K[1]+1)dK[1]+c_1} \\ y(x)\to -\sqrt [3]{-1} e^{\frac {a x}{3}} \sqrt [3]{3 \int _1^x\frac {1}{3} e^{-a K[1]} (K[1]+1)dK[1]+c_1} \\ y(x)\to (-1)^{2/3} e^{\frac {a x}{3}} \sqrt [3]{3 \int _1^x\frac {1}{3} e^{-a K[1]} (K[1]+1)dK[1]+c_1} \\ \end{align*}
Sympy. Time used: 22.545 (sec). Leaf size: 196
from sympy import * 
x = symbols("x") 
a = symbols("a") 
y = Function("y") 
ode = Eq(-a*y(x)**3 - x + 3*y(x)**2*Derivative(y(x), x) - 1,0) 
ics = {} 
dsolve(ode,func=y(x),ics=ics)
 
\[ \left [ y{\left (x \right )} = \sqrt [3]{\left (C_{1} + 3 \left (\begin {cases} - \frac {x e^{- a x}}{3 a} - \frac {e^{- a x}}{3 a} - \frac {e^{- a x}}{3 a^{2}} & \text {for}\: a^{2} \neq 0 \\\frac {x^{2}}{6} + \frac {x}{3} & \text {otherwise} \end {cases}\right )\right ) e^{a x}}, \ y{\left (x \right )} = \frac {\sqrt [3]{\left (C_{1} + 3 \left (\begin {cases} - \frac {x e^{- a x}}{3 a} - \frac {e^{- a x}}{3 a} - \frac {e^{- a x}}{3 a^{2}} & \text {for}\: a^{2} \neq 0 \\\frac {x^{2}}{6} + \frac {x}{3} & \text {otherwise} \end {cases}\right )\right ) e^{a x}} \left (-1 - \sqrt {3} i\right )}{2}, \ y{\left (x \right )} = \frac {\sqrt [3]{\left (C_{1} + 3 \left (\begin {cases} - \frac {x e^{- a x}}{3 a} - \frac {e^{- a x}}{3 a} - \frac {e^{- a x}}{3 a^{2}} & \text {for}\: a^{2} \neq 0 \\\frac {x^{2}}{6} + \frac {x}{3} & \text {otherwise} \end {cases}\right )\right ) e^{a x}} \left (-1 + \sqrt {3} i\right )}{2}\right ] \]