ODE
\[ -y(x) \left (k^2-p (p+1) \left (1-x^2\right )\right )+\left (1-x^2\right )^2 y''(x)-2 x \left (1-x^2\right ) y'(x)=0 \] ODE Classification
[[_2nd_order, _with_linear_symmetries]]
Book solution method
TO DO
Mathematica ✓
cpu = 0.0290496 (sec), leaf count = 20
\[\left \{\left \{y(x)\to c_1 P_p^k(x)+c_2 Q_p^k(x)\right \}\right \}\]
Maple ✓
cpu = 0.056 (sec), leaf count = 17
\[ \left \{ y \left ( x \right ) ={\it \_C1}\,{\it LegendreP} \left ( p,k,x \right ) +{\it \_C2}\,{\it LegendreQ} \left ( p,k,x \right ) \right \} \] Mathematica raw input
DSolve[-((k^2 - p*(1 + p)*(1 - x^2))*y[x]) - 2*x*(1 - x^2)*y'[x] + (1 - x^2)^2*y''[x] == 0,y[x],x]
Mathematica raw output
{{y[x] -> C[1]*LegendreP[p, k, x] + C[2]*LegendreQ[p, k, x]}}
Maple raw input
dsolve((-x^2+1)^2*diff(diff(y(x),x),x)-2*x*(-x^2+1)*diff(y(x),x)-(k^2-p*(p+1)*(-x^2+1))*y(x) = 0, y(x),'implicit')
Maple raw output
y(x) = _C1*LegendreP(p,k,x)+_C2*LegendreQ(p,k,x)