25.4 problem 4

Internal problem ID [10821]

Book: Handbook of exact solutions for ordinary differential equations. By Polyanin and Zaitsev. Second edition
Section: Chapter 1, section 1.3. Abel Equations of the Second Kind. subsection 1.3.4-2. Equations of the form \((g_1(x)+g_0(x))y'=f_2(x) y^2+f_1(x) y+f_0(x)\)
Problem number: 4.
ODE order: 1.
ODE degree: 1.

CAS Maple gives this as type [_exact, _rational, [_1st_order, `_with_symmetry_[F(x),G(x)]`], [_Abel, `2nd type`, `class A`]]

\[ \boxed {\left (y+A \,x^{n}+a \right ) y^{\prime }+n A \,x^{n -1} y=-k \,x^{m}-b} \]

Solution by Maple

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

dsolve((y(x)+A*x^n+a)*diff(y(x),x)+n*A*x^(n-1)*y(x)+k*x^m+b=0,y(x), singsol=all)
 

\begin{align*} y \left (x \right ) &= \frac {\sqrt {\left (-2 x^{1+m} k +\left (1+m \right ) \left (x^{2 n} A^{2}+2 A \,x^{n} a +a^{2}-2 b x -2 c_{1} \right )\right ) \left (1+m \right )}+A \left (-m -1\right ) x^{n}-a m -a}{1+m} \\ y \left (x \right ) &= \frac {-\sqrt {\left (-2 x^{1+m} k +\left (1+m \right ) \left (x^{2 n} A^{2}+2 A \,x^{n} a +a^{2}-2 b x -2 c_{1} \right )\right ) \left (1+m \right )}+A \left (-m -1\right ) x^{n}-a m -a}{1+m} \\ \end{align*}

Solution by Mathematica

Time used: 21.171 (sec). Leaf size: 118

DSolve[(y[x]+A*x^n+a)*y'[x]+n*A*x^(n-1)*y[x]+k*x^m+b==0,y[x],x,IncludeSingularSolutions -> True]
 

\begin{align*} y(x)\to -\sqrt {\frac {1}{x}} \sqrt {x \left (\left (a+A x^n\right )^2-\frac {2 x \left (b m+b+k x^m\right )}{m+1}+c_1\right )}-a-A x^n \\ y(x)\to \sqrt {\frac {1}{x}} \sqrt {x \left (\left (a+A x^n\right )^2-\frac {2 x \left (b m+b+k x^m\right )}{m+1}+c_1\right )}-a-A x^n \\ \end{align*}