Soit un entier naturel non nul et l'espace vectoriel des polynômes de degré inférieur ou égal à sur un corps de caractéristique nulle.
Pour montrer qu'il s'agit d'un endomorphisme, calculer le degré de l'image d'un monôme et utiliser la linéarité de la dérivation.
La matrice sera triangulaire supérieure ; ses valeurs propres sont donc situées sur sa diagonale principale.
Pour la diagonalisabilité, vérifier si les valeurs propres sont distinctes ou si la dimension des sous-espaces propres coïncide avec la multiplicité des racines du polynôme caractéristique.
Pour le noyau de , résoudre l'équation différentielle dans l'espace des polynômes.
Stabilité du degré pour les opérateurs différentiels.
Étude de la structure d'une matrice triangulaire.
Critère de diagonalisation : comparaison entre dimension et multiplicité.
1. Étude de l'endomorphisme
Stabilité : Soit . Si , . Si , posons . Le degré de est au plus . Le degré de est au plus . Ainsi, , ce qui prouve que .
On obtient après simplification :
La matrice est donc triangulaire supérieure :
Vérifions si ces valeurs sont distinctes. Soient tels que .
\begin{align*}
j(j+1) = k(k+1) &\iff j^2 + j - k^2 - k = 0
&\iff (j-k)(j+k) + (j-k) = 0
&\iff (j-k)(j+k+1) = 0
\end{align*}
Comme , on a , donc . En caractéristique nulle, cela impose , soit .
Les valeurs propres sont distinctes dans un espace de dimension .
2. Étude de l'endomorphisme
De la même manière, on montre que est un endomorphisme. Calculons l'image de la base canonique :
La matrice de est triangulaire supérieure avec pour coefficients diagonaux . Le spectre de est :
Observons les premières valeurs : et . La valeur propre est au moins double. Pour , la fonction est strictement croissante sur . Ainsi, sont deux à deux distinctes et non nulles.
La multiplicité de la valeur propre dans le polynôme caractéristique est exactement .
Déterminons la dimension du sous-espace propre associé :
\begin{align*}
P \in \ker(f) &\iff (X^2-1)P'' = 0
&\iff P'' = 0 \text{(car } \mathbb{K}[X] \text{ est intègre et } X^2-1 \neq 0\text{)}
&\iff P \in \mathbb{K}_1[X]
\end{align*}
On en déduit que , d'où . Pour les autres valeurs propres (), elles sont simples, donc .
La somme des dimensions des sous-espaces propres est :
Attention dans la question 2 : l'existence d'une valeur propre double () ne permet pas de conclure immédiatement à la diagonalisabilité. Il est impératif de vérifier que la dimension du noyau est égale à la multiplicité (ici ).