58.2.47 problem 47

Internal problem ID [9170]
Book : Second order enumerated odes
Section : section 2
Problem number : 47
Date solved : Sunday, March 30, 2025 at 02:24:45 PM
CAS classification : [[_3rd_order, _with_linear_symmetries]]

\begin{align*} y^{\prime \prime \prime }-x y&=0 \end{align*}

✓ Maple. Time used: 0.008 (sec). Leaf size: 45

ode:=diff(diff(diff(y(x),x),x),x)-x*y(x) = 0; 
dsolve(ode,y(x), singsol=all);
 

\[ y = c_1 \operatorname {hypergeom}\left (\left [\right ], \left [\frac {1}{2}, \frac {3}{4}\right ], \frac {x^{4}}{64}\right )+c_2 x \operatorname {hypergeom}\left (\left [\right ], \left [\frac {3}{4}, \frac {5}{4}\right ], \frac {x^{4}}{64}\right )+c_3 \,x^{2} \operatorname {hypergeom}\left (\left [\right ], \left [\frac {5}{4}, \frac {3}{2}\right ], \frac {x^{4}}{64}\right ) \]

✓ Mathematica. Time used: 0.008 (sec). Leaf size: 76

ode=D[y[x],{x,3}]-x*y[x]==0; 
ic={}; 
DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
 

\[ y(x)\to c_1 \, _0F_2\left (;\frac {1}{2},\frac {3}{4};\frac {x^4}{64}\right )+\frac {1}{8} x \left ((2+2 i) c_2 \, _0F_2\left (;\frac {3}{4},\frac {5}{4};\frac {x^4}{64}\right )+i c_3 x \, _0F_2\left (;\frac {5}{4},\frac {3}{2};\frac {x^4}{64}\right )\right ) \]

✗ Sympy

from sympy import * 
x = symbols("x") 
y = Function("y") 
ode = Eq(-x*y(x) + Derivative(y(x), (x, 3)),0) 
ics = {} 
dsolve(ode,func=y(x),ics=ics)
 

NotImplementedError : solve: Cannot solve -x*y(x) + Derivative(y(x), (x, 3))