We denote $\alpha > -1/2$, $F_n$ the vector subspace of $E$ of polynomial functions of degree less than or equal to $n$ (where $n \in \mathbb{N}$), and
$$\varphi_\alpha(y) : t \mapsto \left(1-t^2\right)y''(t) - (2\alpha+1)t\,y'(t)$$
Verify that two eigenvectors of $\varphi_\alpha$ of distinct degrees are associated with distinct eigenvalues.\\
One may be interested in the leading coefficient of a judiciously chosen polynomial.