Internal problem ID [8042]
Book: Collection of Kovacic problems
Section: section 1
Problem number: 566.
ODE order: 2.
ODE degree: 1.
CAS Maple gives this as type [[_2nd_order, _with_linear_symmetries]]
\[ \boxed {9 x^{2} \left (x +1\right ) y^{\prime \prime }+3 x \left (-x^{2}+11 x +5\right ) y^{\prime }+\left (-7 x^{2}+16 x +1\right ) y=0} \]
✓ Solution by Maple
Time used: 0.157 (sec). Leaf size: 38
dsolve(9*x^2*(1+x)*diff(y(x),x$2)+3*x*(5+11*x-x^2)*diff(y(x),x)+(1+16*x-7*x^2)*y(x)=0,y(x), singsol=all)
\[ y \left (x \right ) = \frac {c_{1} \operatorname {HeunC}\left (-\frac {1}{3}, -\frac {4}{3}, 0, -\frac {1}{9}, \frac {11}{18}, x +1\right )}{x^{\frac {1}{3}} \left (x +1\right )^{\frac {4}{3}}}+\frac {c_{2} \operatorname {HeunC}\left (-\frac {1}{3}, \frac {4}{3}, 0, -\frac {1}{9}, \frac {11}{18}, x +1\right )}{x^{\frac {1}{3}}} \]
✓ Solution by Mathematica
Time used: 0.133 (sec). Leaf size: 50
DSolve[9*x^2*(1+x)*y''[x]+3*x*(5+11*x-x^2)*y'[x]+(1+16*x-7*x^2)*y[x]==0,y[x],x,IncludeSingularSolutions -> True]
\[ y(x)\to \frac {e^{x/3} \left (c_1-\sqrt [3]{3 e} c_2 \Gamma \left (\frac {1}{3},\frac {x+1}{3}\right )\right )}{\sqrt [3]{x} (x+1)^{4/3}} \]