59.1.198 problem 200

Internal problem ID [9370]
Book : Collection of Kovacic problems
Section : section 1
Problem number : 200
Date solved : Sunday, March 30, 2025 at 02:33:24 PM
CAS classification : [[_2nd_order, _with_linear_symmetries]]

\begin{align*} t^{2} y^{\prime \prime }+t y^{\prime }+\left (t^{2}-\frac {1}{4}\right ) y&=0 \end{align*}

✓ Maple. Time used: 0.011 (sec). Leaf size: 17

ode:=t^2*diff(diff(y(t),t),t)+t*diff(y(t),t)+(t^2-1/4)*y(t) = 0; 
dsolve(ode,y(t), singsol=all);
 

\[ y = \frac {c_1 \sin \left (t \right )+c_2 \cos \left (t \right )}{\sqrt {t}} \]

✓ Mathematica. Time used: 0.034 (sec). Leaf size: 39

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

\[ y(t)\to \frac {e^{-i t} \left (2 c_1-i c_2 e^{2 i t}\right )}{2 \sqrt {t}} \]

✓ Sympy. Time used: 0.204 (sec). Leaf size: 15

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

\[ y{\left (t \right )} = C_{1} J_{\frac {1}{2}}\left (t\right ) + C_{2} Y_{\frac {1}{2}}\left (t\right ) \]