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