5.29 problem 1562

Internal problem ID [9141]

Book: Differential Gleichungen, E. Kamke, 3rd ed. Chelsea Pub. NY, 1948
Section: Chapter 4, linear fourth order
Problem number: 1562.
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 }+4 y^{\prime \prime \prime } x^{3}-\left (4 n^{2}-1\right ) x^{2} y^{\prime \prime }+\left (4 n^{2}-1\right ) x y^{\prime }-4 y x^{4}=0} \end {gather*}

Solution by Maple

Time used: 0.017 (sec). Leaf size: 93

dsolve(x^4*diff(diff(diff(diff(y(x),x),x),x),x)+4*x^3*diff(diff(diff(y(x),x),x),x)-(4*n^2-1)*x^2*diff(diff(y(x),x),x)+(4*n^2-1)*x*diff(y(x),x)-4*y(x)*x^4=0,y(x), singsol=all)
 

\[ y \relax (x ) = c_{1} \BesselJ \left (n , \left (\frac {1}{2}-\frac {i}{2}\right ) \sqrt {2}\, x \right ) \BesselJ \left (n , \left (\frac {1}{2}+\frac {i}{2}\right ) \sqrt {2}\, x \right )+c_{2} \BesselJ \left (n , \left (\frac {1}{2}-\frac {i}{2}\right ) \sqrt {2}\, x \right ) \BesselY \left (n , \left (\frac {1}{2}+\frac {i}{2}\right ) \sqrt {2}\, x \right )+c_{3} \BesselY \left (n , \left (\frac {1}{2}-\frac {i}{2}\right ) \sqrt {2}\, x \right ) \BesselJ \left (n , \left (\frac {1}{2}+\frac {i}{2}\right ) \sqrt {2}\, x \right )+c_{4} \BesselY \left (n , \left (\frac {1}{2}-\frac {i}{2}\right ) \sqrt {2}\, x \right ) \BesselY \left (n , \left (\frac {1}{2}+\frac {i}{2}\right ) \sqrt {2}\, x \right ) \]

Solution by Mathematica

Time used: 0.609 (sec). Leaf size: 140

DSolve[-4*x^4*y[x] + (-1 + 4*n^2)*x*y'[x] - (-1 + 4*n^2)*x^2*y''[x] + 4*x^3*Derivative[3][y][x] + x^4*Derivative[4][y][x] == 0,y[x],x,IncludeSingularSolutions -> True]
 

\begin{align*} y(x)\to c_1 \, _0F_3\left (;\frac {1}{2},1-\frac {n}{2},\frac {n}{2}+1;\frac {x^4}{64}\right )+\frac {1}{8} i c_2 x^2 \, _0F_3\left (;\frac {3}{2},\frac {3}{2}-\frac {n}{2},\frac {n}{2}+\frac {3}{2};\frac {x^4}{64}\right )+c_3 \left (\frac {i}{2}\right )^{-n} \Gamma (1-n)^2 \left (\text {ber}_{-n}(x){}^2+\text {bei}_{-n}(x){}^2\right )+c_4 \left (\frac {i}{2}\right )^n \Gamma (n+1)^2 \left (\text {ber}_n(x){}^2+\text {bei}_n(x){}^2\right ) \\ \end{align*}