Internal problem ID [7281]
Book: Collection of Kovacic problems
Section: section 1
Problem number: 561.
ODE order: 2.
ODE degree: 1.
CAS Maple gives this as type [[_2nd_order, _with_linear_symmetries]]
Solve \begin {gather*} \boxed {4 x^{2} \left (x^{2}+x +1\right ) y^{\prime \prime }+12 x^{2} \left (x +1\right ) y^{\prime }+\left (3 x^{2}+3 x +1\right ) y=0} \end {gather*}
✓ Solution by Maple
Time used: 1.047 (sec). Leaf size: 492
dsolve(4*x^2*(1+x+x^2)*diff(y(x),x$2)+12*x^2*(1+x)*diff(y(x),x)+(1+3*x+3*x^2)*y(x)=0,y(x), singsol=all)
\[ y \relax (x ) = \frac {c_{1} \left (\frac {i x \sqrt {3}-x -2}{i \sqrt {3}-2 x -1}\right )^{\frac {1}{4}-\frac {i \sqrt {3}}{4}} \sqrt {i \sqrt {3}-2 x -1}\, {\mathrm e}^{-\frac {\sqrt {3}\, \arctan \left (\frac {\left (2 x +1\right ) \sqrt {3}}{3}\right )}{2}} \hypergeom \left (\left [\frac {1}{2}-\frac {\sqrt {\frac {1-i \sqrt {3}}{1+i \sqrt {3}}}}{2}-\sqrt {\frac {1-i \sqrt {3}}{\left (1+i \sqrt {3}\right )^{3}}}, \frac {1}{2}+\frac {\sqrt {\frac {1-i \sqrt {3}}{1+i \sqrt {3}}}}{2}-\sqrt {\frac {1-i \sqrt {3}}{\left (1+i \sqrt {3}\right )^{3}}}\right ], \left [1-2 \sqrt {\frac {1-i \sqrt {3}}{\left (1+i \sqrt {3}\right )^{3}}}\right ], \frac {-4+2 i x \sqrt {3}-2 x}{\left (1+i \sqrt {3}\right ) \left (i \sqrt {3}-2 x -1\right )}\right ) \sqrt {x}}{\left (x^{2}+x +1\right )^{\frac {3}{4}}}+\frac {c_{2} \left (\frac {i x \sqrt {3}-x -2}{i \sqrt {3}-2 x -1}\right )^{\frac {1}{2}+\sqrt {\frac {1-i \sqrt {3}}{\left (1+i \sqrt {3}\right )^{3}}}} \sqrt {i \sqrt {3}-2 x -1}\, {\mathrm e}^{-\frac {\sqrt {3}\, \arctan \left (\frac {\left (2 x +1\right ) \sqrt {3}}{3}\right )}{2}} \hypergeom \left (\left [\frac {1}{2}+\frac {\sqrt {\frac {1-i \sqrt {3}}{1+i \sqrt {3}}}}{2}+\sqrt {\frac {1-i \sqrt {3}}{\left (1+i \sqrt {3}\right )^{3}}}, \frac {1}{2}-\frac {\sqrt {\frac {1-i \sqrt {3}}{1+i \sqrt {3}}}}{2}+\sqrt {\frac {1-i \sqrt {3}}{\left (1+i \sqrt {3}\right )^{3}}}\right ], \left [1+2 \sqrt {\frac {1-i \sqrt {3}}{\left (1+i \sqrt {3}\right )^{3}}}\right ], \frac {-4+2 i x \sqrt {3}-2 x}{\left (1+i \sqrt {3}\right ) \left (i \sqrt {3}-2 x -1\right )}\right ) \sqrt {x}}{\left (x^{2}+x +1\right )^{\frac {3}{4}}} \]
✓ Solution by Mathematica
Time used: 0.557 (sec). Leaf size: 93
DSolve[4*x^2*(1+x+x^2)*y''[x]+12*x^2*(1+x)*y'[x]+(1+3*x+3*x^2)*y[x]==0,y[x],x,IncludeSingularSolutions -> True]
\begin{align*} y(x)\to \frac {\sqrt {x} e^{-\sqrt {3} \text {ArcTan}\left (\frac {2 x+1}{\sqrt {3}}\right )} \left (c_2 \int _1^x\frac {e^{\sqrt {3} \text {ArcTan}\left (\frac {2 K[1]+1}{\sqrt {3}}\right )}}{K[1] \sqrt {K[1]^2+K[1]+1}}dK[1]+c_1\right )}{\sqrt {x^2+x+1}} \\ \end{align*}