1.552 problem 566

Internal problem ID [7285]

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 (1+x \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.056 (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]
 

\begin{align*} 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}} \\ \end{align*}