27.30 problem 40

Internal problem ID [10864]

Book: Handbook of exact solutions for ordinary differential equations. By Polyanin and Zaitsev. Second edition
Section: Chapter 2, Second-Order Differential Equations. section 2.1.2-2 Equation of form \(y''+f(x)y'+g(x)y=0\)
Problem number: 40.
ODE order: 2.
ODE degree: 1.

CAS Maple gives this as type [[_2nd_order, _with_linear_symmetries]]

\[ \boxed {y^{\prime \prime }+\left (a \,x^{2}+b x +c \right ) y^{\prime }+\left (a b \,x^{3}+a c \,x^{2}+b \right ) y=0} \]

Solution by Maple

Time used: 0.344 (sec). Leaf size: 165

dsolve(diff(y(x),x$2)+(a*x^2+b*x+c)*diff(y(x),x)+(a*b*x^3+a*c*x^2+b)*y(x)=0,y(x), singsol=all)
 

\[ y \left (x \right ) = c_{1} {\mathrm e}^{-\frac {x \,\operatorname {csgn}\left (a \right ) \left (\left (a \,x^{2}+\frac {3}{2} b x +3 c \right ) \operatorname {csgn}\left (a \right )+a \,x^{2}-\frac {3 b x}{2}-3 c \right )}{6}} \operatorname {HeunT}\left (0, -3 \,\operatorname {csgn}\left (a \right ), -\frac {3^{\frac {1}{3}} \left (4 a c +b^{2}\right )}{4 \left (a^{2}\right )^{\frac {2}{3}}}, \frac {3^{\frac {2}{3}} a \left (2 a x -b \right )}{6 \left (a^{2}\right )^{\frac {5}{6}}}\right )+c_{2} {\mathrm e}^{-\frac {x \,\operatorname {csgn}\left (a \right ) \left (\left (a \,x^{2}+\frac {3}{2} b x +3 c \right ) \operatorname {csgn}\left (a \right )-a \,x^{2}+\frac {3 b x}{2}+3 c \right )}{6}} \operatorname {HeunT}\left (0, 3 \,\operatorname {csgn}\left (a \right ), -\frac {3^{\frac {1}{3}} \left (4 a c +b^{2}\right )}{4 \left (a^{2}\right )^{\frac {2}{3}}}, -\frac {3^{\frac {2}{3}} \left (a x -\frac {b}{2}\right ) a}{3 \left (a^{2}\right )^{\frac {5}{6}}}\right ) \]

Solution by Mathematica

Time used: 1.096 (sec). Leaf size: 57

DSolve[y''[x]+(a*x^2+b*x+c)*y'[x]+(a*b*x^3+a*c*x^2+b)*y[x]==0,y[x],x,IncludeSingularSolutions -> True]
 

\[ y(x)\to e^{-\frac {1}{2} x (b x+2 c)} \left (c_2 \int _1^x\exp \left (\frac {1}{6} K[1] (6 c+K[1] (3 b-2 a K[1]))\right )dK[1]+c_1\right ) \]