Internal problem ID [9144]
Book: Differential Gleichungen, E. Kamke, 3rd ed. Chelsea Pub. NY, 1948
Section: Chapter 4, linear fourth order
Problem number: 1565.
ODE order: 4.
ODE degree: 1.
CAS Maple gives this as type [[_high_order, _with_linear_symmetries]]
Solve \begin {gather*} \boxed {x^{4} y^{\prime \prime \prime \prime }+6 y^{\prime \prime \prime } x^{3}+\left (4 x^{4}+\left (-\rho ^{2}-\sigma ^{2}+7\right ) x^{2}\right ) y^{\prime \prime }+\left (16 x^{3}+\left (-\rho ^{2}-\sigma ^{2}+1\right ) x \right ) y^{\prime }+\left (\rho ^{2} \sigma ^{2}+8 x^{2}\right ) y=0} \end {gather*}
✓ Solution by Maple
Time used: 0.033 (sec). Leaf size: 85
dsolve(x^4*diff(diff(diff(diff(y(x),x),x),x),x)+6*x^3*diff(diff(diff(y(x),x),x),x)+(4*x^4+(-rho^2-sigma^2+7)*x^2)*diff(diff(y(x),x),x)+(16*x^3+(-rho^2-sigma^2+1)*x)*diff(y(x),x)+(rho^2*sigma^2+8*x^2)*y(x)=0,y(x), singsol=all)
\[ y \relax (x ) = c_{1} \BesselJ \left (\frac {\sigma }{2}+\frac {\rho }{2}, x\right ) \BesselJ \left (-\frac {\sigma }{2}+\frac {\rho }{2}, x\right )+c_{2} \BesselJ \left (\frac {\sigma }{2}+\frac {\rho }{2}, x\right ) \BesselY \left (-\frac {\sigma }{2}+\frac {\rho }{2}, x\right )+c_{3} \BesselY \left (\frac {\sigma }{2}+\frac {\rho }{2}, x\right ) \BesselJ \left (-\frac {\sigma }{2}+\frac {\rho }{2}, x\right )+c_{4} \BesselY \left (\frac {\sigma }{2}+\frac {\rho }{2}, x\right ) \BesselY \left (-\frac {\sigma }{2}+\frac {\rho }{2}, x\right ) \]
✓ Solution by Mathematica
Time used: 0.265 (sec). Leaf size: 175
DSolve[(rho^2*sigma^2 + 8*x^2)*y[x] + ((1 - rho^2 - sigma^2)*x + 16*x^3)*y'[x] + ((7 - rho^2 - sigma^2)*x^2 + 4*x^4)*y''[x] + 6*x^3*Derivative[3][y][x] + x^4*Derivative[4][y][x] == 0,y[x],x,IncludeSingularSolutions -> True]
\begin{align*} y(x)\to 2^{-\rho -\sigma } \Gamma \left (-\frac {\rho }{2}-\frac {\sigma }{2}+1\right ) J_{\frac {1}{2} (-\rho -\sigma )}(x) \left (c_3 2^{\rho } \Gamma \left (\frac {1}{2} (\rho -\sigma +2)\right ) J_{\frac {\rho -\sigma }{2}}(x)+c_1 2^{\sigma } \Gamma \left (\frac {1}{2} (-\rho +\sigma +2)\right ) J_{\frac {\sigma -\rho }{2}}(x)\right )+\Gamma \left (\frac {1}{2} (\rho +\sigma +2)\right ) J_{\frac {\rho +\sigma }{2}}(x) \left (c_2 2^{\rho } \Gamma \left (\frac {1}{2} (\rho -\sigma +2)\right ) J_{\frac {\rho -\sigma }{2}}(x)+c_4 2^{\sigma } \Gamma \left (\frac {1}{2} (-\rho +\sigma +2)\right ) J_{\frac {\sigma -\rho }{2}}(x)\right ) \\ \end{align*}