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)$$
Justify that $\varphi_\alpha$ induces on $F_n$ an endomorphism and that this induced endomorphism (still denoted $\varphi_\alpha$) is diagonalizable.