4.29.9 \(y(x) (a+b x)+2 x y''(x)+y'(x)=0\)

ODE
\[ y(x) (a+b x)+2 x y''(x)+y'(x)=0 \] ODE Classification

[[_2nd_order, _with_linear_symmetries]]

Book solution method
TO DO

Mathematica
cpu = 0.0223117 (sec), leaf count = 115

\[\left \{\left \{y(x)\to \sqrt {x} e^{-\frac {i \sqrt {b} x}{\sqrt {2}}} \left (c_1 U\left (\frac {1}{4} \left (\frac {i \sqrt {2} a}{\sqrt {b}}+3\right ),\frac {3}{2},i \sqrt {2} \sqrt {b} x\right )+c_2 L_{\frac {1}{4} \left (-3-\frac {i \sqrt {2} a}{\sqrt {b}}\right )}^{\frac {1}{2}}\left (i \sqrt {2} \sqrt {b} x\right )\right )\right \}\right \}\]

Maple
cpu = 0.21 (sec), leaf count = 84

\[ \left \{ y \left ( x \right ) =\sqrt {x}{{\rm e}^{-{\frac {i}{2}}\sqrt {2}\sqrt {b}x}} \left ( {{\sl U}\left ({\frac {1}{4} \left ( ia\sqrt {2}+3\,\sqrt {b} \right ) {\frac {1}{\sqrt {b}}}},\,{\frac {3}{2}},\,i\sqrt {2}\sqrt {b}x\right )}{\it \_C2}+{{\sl M}\left ({\frac {1}{4} \left ( ia\sqrt {2}+3\,\sqrt {b} \right ) {\frac {1}{\sqrt {b}}}},\,{\frac {3}{2}},\,i\sqrt {2}\sqrt {b}x\right )}{\it \_C1} \right ) \right \} \] Mathematica raw input

DSolve[(a + b*x)*y[x] + y'[x] + 2*x*y''[x] == 0,y[x],x]

Mathematica raw output

{{y[x] -> (Sqrt[x]*(C[1]*HypergeometricU[(3 + (I*Sqrt[2]*a)/Sqrt[b])/4, 3/2, I*S
qrt[2]*Sqrt[b]*x] + C[2]*LaguerreL[(-3 - (I*Sqrt[2]*a)/Sqrt[b])/4, 1/2, I*Sqrt[2
]*Sqrt[b]*x]))/E^((I*Sqrt[b]*x)/Sqrt[2])}}

Maple raw input

dsolve(2*x*diff(diff(y(x),x),x)+diff(y(x),x)+(b*x+a)*y(x) = 0, y(x),'implicit')

Maple raw output

y(x) = x^(1/2)*exp(-1/2*I*2^(1/2)*b^(1/2)*x)*(KummerU(1/4*(I*a*2^(1/2)+3*b^(1/2)
)/b^(1/2),3/2,I*2^(1/2)*b^(1/2)*x)*_C2+KummerM(1/4*(I*a*2^(1/2)+3*b^(1/2))/b^(1/
2),3/2,I*2^(1/2)*b^(1/2)*x)*_C1)