Internal problem ID [12417]
Book: Differential Equations, Linear, Nonlinear, Ordinary, Partial. A.C. King, J.Billingham,
S.R.Otto. Cambridge Univ. Press 2003
Section: Chapter 3 Bessel functions. Problems page 89
Problem number: Problem 3.12.
ODE order: 2.
ODE degree: 1.
CAS Maple gives this as type [[_2nd_order, _linear, _nonhomogeneous]]
\[ \boxed {y^{\prime \prime } x^{2}+y^{\prime } x +\left (-\nu ^{2}+x^{2}\right ) y=\sin \left (x \right )} \]
✓ Solution by Maple
Time used: 0.0 (sec). Leaf size: 158
dsolve(x^2*diff(y(x),x$2)+x*diff(y(x),x)+(x^2-nu^2)*y(x)=sin(x),y(x), singsol=all)
\[ y \left (x \right ) = -\frac {x^{1-\nu } 2^{\nu -1} \operatorname {BesselJ}\left (\nu , x\right ) \Gamma \left (\nu +2\right ) \operatorname {hypergeom}\left (\left [\frac {1}{2}-\frac {\nu }{2}, \frac {5}{4}-\frac {\nu }{2}, \frac {3}{4}-\frac {\nu }{2}\right ], \left [\frac {3}{2}, 1-\nu , \frac {3}{2}-\nu , \frac {3}{2}-\frac {\nu }{2}\right ], -x^{2}\right )}{\nu \left (\nu -1\right ) \left (\nu +1\right )}+\operatorname {BesselJ}\left (\nu , x\right ) c_{2} +\operatorname {BesselY}\left (\nu , x\right ) c_{1} -\frac {\pi 2^{-1-\nu } x^{\nu +1} \left (\operatorname {BesselJ}\left (\nu , x\right ) \cot \left (\pi \nu \right )-\operatorname {BesselY}\left (\nu , x\right )\right ) \operatorname {hypergeom}\left (\left [\frac {\nu }{2}+\frac {1}{2}, \frac {5}{4}+\frac {\nu }{2}, \frac {3}{4}+\frac {\nu }{2}\right ], \left [\frac {3}{2}, \nu +1, \frac {3}{2}+\nu , \frac {3}{2}+\frac {\nu }{2}\right ], -x^{2}\right )}{\Gamma \left (\nu +2\right )} \]
✓ Solution by Mathematica
Time used: 1.228 (sec). Leaf size: 205
DSolve[x^2*y''[x]+x*y'[x]+(x^2-\[Nu]^2)*y[x]==Sin[x],y[x],x,IncludeSingularSolutions -> True]
\[ y(x)\to -\frac {\pi 2^{\nu -1} \csc (\pi \nu ) x^{1-\nu } \operatorname {BesselJ}(\nu ,x) \, _3F_4\left (\frac {1}{2}-\frac {\nu }{2},\frac {3}{4}-\frac {\nu }{2},\frac {5}{4}-\frac {\nu }{2};\frac {3}{2},1-\nu ,\frac {3}{2}-\nu ,\frac {3}{2}-\frac {\nu }{2};-x^2\right )}{(\nu -1) \operatorname {Gamma}(1-\nu )}+\frac {\pi 2^{-\nu -1} x^{\nu +1} (\operatorname {BesselY}(\nu ,x)-\cot (\pi \nu ) \operatorname {BesselJ}(\nu ,x)) \, _3F_4\left (\frac {\nu }{2}+\frac {1}{2},\frac {\nu }{2}+\frac {3}{4},\frac {\nu }{2}+\frac {5}{4};\frac {3}{2},\frac {\nu }{2}+\frac {3}{2},\nu +1,\nu +\frac {3}{2};-x^2\right )}{(\nu +1) \operatorname {Gamma}(\nu +1)}+c_1 \operatorname {BesselJ}(\nu ,x)+c_2 \operatorname {BesselY}(\nu ,x) \]