64.22.9 problem 4(b)

Internal problem ID [13603]
Book : Differential Equations by Shepley L. Ross. Third edition. John Willey. New Delhi. 2004.
Section : Chapter 11, The nth order homogeneous linear differential equation. Section 11.8, Exercises page 583
Problem number : 4(b)
Date solved : Monday, March 31, 2025 at 08:02:24 AM
CAS classification : [[_2nd_order, _with_linear_symmetries]]

\begin{align*} \left (t^{4}+t^{2}\right ) x^{\prime \prime }+2 t^{3} x^{\prime }+3 x&=0 \end{align*}

✓ Maple. Time used: 0.046 (sec). Leaf size: 85

ode:=(t^4+t^2)*diff(diff(x(t),t),t)+2*t^3*diff(x(t),t)+3*x(t) = 0; 
dsolve(ode,x(t), singsol=all);
 

\[ x = \sqrt {t}\, \left (c_1 \,t^{-\frac {i \sqrt {11}}{2}} \operatorname {hypergeom}\left (\left [\frac {3}{4}-\frac {i \sqrt {11}}{4}, \frac {1}{4}-\frac {i \sqrt {11}}{4}\right ], \left [1-\frac {i \sqrt {11}}{2}\right ], -t^{2}\right )+c_2 \,t^{\frac {i \sqrt {11}}{2}} \operatorname {hypergeom}\left (\left [\frac {3}{4}+\frac {i \sqrt {11}}{4}, \frac {1}{4}+\frac {i \sqrt {11}}{4}\right ], \left [1+\frac {i \sqrt {11}}{2}\right ], -t^{2}\right )\right ) \]

✓ Mathematica. Time used: 0.158 (sec). Leaf size: 139

ode=(t^4+t^2)*D[x[t],{t,2}]+2*t^3*D[x[t],t]+3*x[t]==0; 
ic={}; 
DSolve[{ode,ic},{x[t]},t,IncludeSingularSolutions->True]
 

\[ x(t)\to t^{\frac {1}{2}-\frac {i \sqrt {11}}{2}} \left (c_1 \operatorname {Hypergeometric2F1}\left (\frac {1}{4}-\frac {i \sqrt {11}}{4},\frac {3}{4}-\frac {i \sqrt {11}}{4},1-\frac {i \sqrt {11}}{2},-t^2\right )+c_2 t^{i \sqrt {11}} \operatorname {Hypergeometric2F1}\left (\frac {1}{4}+\frac {i \sqrt {11}}{4},\frac {3}{4}+\frac {i \sqrt {11}}{4},1+\frac {i \sqrt {11}}{2},-t^2\right )\right ) \]

✗ Sympy

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

ValueError : Expected Expr or iterable but got None