23.1.65 problem 59

Internal problem ID [4672]
Book : Ordinary differential equations and their solutions. By George Moseley Murphy. 1960
Section : Part II. Chapter 1. THE DIFFERENTIAL EQUATION IS OF FIRST ORDER AND OF FIRST DEGREE, page 223
Problem number : 59
Date solved : Tuesday, September 30, 2025 at 07:57:16 AM
CAS classification : [[_Riccati, _special]]

\begin{align*} y^{\prime }&=a \,x^{n}+b y^{2} \end{align*}
Maple. Time used: 0.002 (sec). Leaf size: 207
ode:=diff(y(x),x) = a*x^n+b*y(x)^2; 
dsolve(ode,y(x), singsol=all);
 
\[ y = \frac {\operatorname {BesselJ}\left (\frac {3+n}{n +2}, \frac {2 \sqrt {a b}\, x^{\frac {n}{2}+1}}{n +2}\right ) \sqrt {a b}\, x^{\frac {n}{2}+1} c_1 +\operatorname {BesselY}\left (\frac {3+n}{n +2}, \frac {2 \sqrt {a b}\, x^{\frac {n}{2}+1}}{n +2}\right ) \sqrt {a b}\, x^{\frac {n}{2}+1}-c_1 \operatorname {BesselJ}\left (\frac {1}{n +2}, \frac {2 \sqrt {a b}\, x^{\frac {n}{2}+1}}{n +2}\right )-\operatorname {BesselY}\left (\frac {1}{n +2}, \frac {2 \sqrt {a b}\, x^{\frac {n}{2}+1}}{n +2}\right )}{x b \left (c_1 \operatorname {BesselJ}\left (\frac {1}{n +2}, \frac {2 \sqrt {a b}\, x^{\frac {n}{2}+1}}{n +2}\right )+\operatorname {BesselY}\left (\frac {1}{n +2}, \frac {2 \sqrt {a b}\, x^{\frac {n}{2}+1}}{n +2}\right )\right )} \]
Mathematica. Time used: 0.258 (sec). Leaf size: 605
ode=D[y[x],x]==a*x^n+b*y[x]^2; 
ic={}; 
DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
 
\begin{align*} y(x)&\to -\frac {\sqrt {a} \sqrt {b} x^{\frac {n}{2}+1} \operatorname {Gamma}\left (1+\frac {1}{n+2}\right ) \operatorname {BesselJ}\left (\frac {1}{n+2}-1,\frac {2 \sqrt {a} \sqrt {b} x^{\frac {n}{2}+1}}{n+2}\right )-\sqrt {a} \sqrt {b} x^{\frac {n}{2}+1} \operatorname {Gamma}\left (1+\frac {1}{n+2}\right ) \operatorname {BesselJ}\left (1+\frac {1}{n+2},\frac {2 \sqrt {a} \sqrt {b} x^{\frac {n}{2}+1}}{n+2}\right )+\operatorname {Gamma}\left (1+\frac {1}{n+2}\right ) \operatorname {BesselJ}\left (\frac {1}{n+2},\frac {2 \sqrt {a} \sqrt {b} x^{\frac {n}{2}+1}}{n+2}\right )-\sqrt {a} \sqrt {b} c_1 x^{\frac {n}{2}+1} \operatorname {Gamma}\left (\frac {n+1}{n+2}\right ) \operatorname {BesselJ}\left (\frac {n+1}{n+2},\frac {2 \sqrt {a} \sqrt {b} x^{\frac {n}{2}+1}}{n+2}\right )+\sqrt {a} \sqrt {b} c_1 x^{\frac {n}{2}+1} \operatorname {Gamma}\left (\frac {n+1}{n+2}\right ) \operatorname {BesselJ}\left (-\frac {n+3}{n+2},\frac {2 \sqrt {a} \sqrt {b} x^{\frac {n}{2}+1}}{n+2}\right )+c_1 \operatorname {Gamma}\left (\frac {n+1}{n+2}\right ) \operatorname {BesselJ}\left (-\frac {1}{n+2},\frac {2 \sqrt {a} \sqrt {b} x^{\frac {n}{2}+1}}{n+2}\right )}{2 b x \left (\operatorname {Gamma}\left (1+\frac {1}{n+2}\right ) \operatorname {BesselJ}\left (\frac {1}{n+2},\frac {2 \sqrt {a} \sqrt {b} x^{\frac {n}{2}+1}}{n+2}\right )+c_1 \operatorname {Gamma}\left (\frac {n+1}{n+2}\right ) \operatorname {BesselJ}\left (-\frac {1}{n+2},\frac {2 \sqrt {a} \sqrt {b} x^{\frac {n}{2}+1}}{n+2}\right )\right )}\\ y(x)&\to \frac {\frac {\sqrt {a} \sqrt {b} x^{n/2} \left (\operatorname {BesselJ}\left (\frac {n+1}{n+2},\frac {2 \sqrt {a} \sqrt {b} x^{\frac {n}{2}+1}}{n+2}\right )-\operatorname {BesselJ}\left (-\frac {n+3}{n+2},\frac {2 \sqrt {a} \sqrt {b} x^{\frac {n}{2}+1}}{n+2}\right )\right )}{\operatorname {BesselJ}\left (-\frac {1}{n+2},\frac {2 \sqrt {a} \sqrt {b} x^{\frac {n}{2}+1}}{n+2}\right )}-\frac {1}{x}}{2 b} \end{align*}
Sympy
from sympy import * 
x = symbols("x") 
a = symbols("a") 
b = symbols("b") 
n = symbols("n") 
y = Function("y") 
ode = Eq(-a*x**n - b*y(x)**2 + Derivative(y(x), x),0) 
ics = {} 
dsolve(ode,func=y(x),ics=ics)
 
NotImplementedError : The given ODE -a*x**n - b*y(x)**2 + Derivative(y(x), x) cannot be solved by th