2.33 problem 32

Internal problem ID [6416]

Book: Own collection of miscellaneous problems
Section: section 2.0
Problem number: 32.
ODE order: 2.
ODE degree: 1.

CAS Maple gives this as type [[_2nd_order, _linear, _nonhomogeneous]]

Solve \begin {gather*} \boxed {y^{\prime \prime }-x y-x^{3}=0} \end {gather*}

Solution by Maple

Time used: 0.016 (sec). Leaf size: 81

dsolve(diff(y(x),x$2)-x*y(x)-x^3=0,y(x), singsol=all)
 

\[ y \relax (x ) = \AiryAi \relax (x ) c_{2}+\AiryBi \relax (x ) c_{1}-\frac {\left (-\frac {5 \pi \left (3^{\frac {1}{3}} \AiryBi \relax (x )-3^{\frac {5}{6}} \AiryAi \relax (x )\right ) \hypergeom \left (\left [\frac {4}{3}\right ], \left [\frac {2}{3}, \frac {7}{3}\right ], \frac {x^{3}}{9}\right )}{6}+x \hypergeom \left (\left [\frac {5}{3}\right ], \left [\frac {4}{3}, \frac {8}{3}\right ], \frac {x^{3}}{9}\right ) \Gamma \left (\frac {2}{3}\right )^{2} \left (\AiryBi \relax (x ) 3^{\frac {1}{6}}+\AiryAi \relax (x ) 3^{\frac {2}{3}}\right )\right ) x^{4}}{10 \Gamma \left (\frac {2}{3}\right )} \]

Solution by Mathematica

Time used: 0.067 (sec). Leaf size: 88

DSolve[y''[x]-x*y[x]-x^3==0,y[x],x,IncludeSingularSolutions -> True]
 

\begin{align*} y(x)\to \frac {1}{20} x^5 \left (5 \, _0F_1\left (;\frac {4}{3};\frac {x^3}{9}\right ) \, _1F_2\left (\frac {4}{3};\frac {2}{3},\frac {7}{3};\frac {x^3}{9}\right )-4 \, _0F_1\left (;\frac {2}{3};\frac {x^3}{9}\right ) \, _1F_2\left (\frac {5}{3};\frac {4}{3},\frac {8}{3};\frac {x^3}{9}\right )\right )+c_1 \text {Ai}(x)+c_2 \text {Bi}(x) \\ \end{align*}