Exercice 1 5598 Correction

Soit $u$ un endomorphisme d’un espace vectoriel réel $E$ diagonalisable et à valeurs propres toutes positives.

Montrer qu’il existe $v \in ℒ (E)$ tel que $v^{2} = u$ .

Solution

Soit $e = (e_{1}, \dots, e_{n})$ une base de $E$ formée de vecteurs propres de $u$ . La matrice de $u$ dans $e$ s’écrit

D = (\begin{matrix} λ_{1} & (*) \\ ⋱ \\ (0) & λ_{n} \end{matrix})

avec $λ_{1}, \dots, λ_{n}$ les valeurs propres de $u$ qui sont des réels positifs.

On peut alors introduire $v$ l’endomorphisme de $E$ déterminé par

{Mat}_{e} (v) = Δ = (\begin{matrix} \sqrt{λ_{1}} & (*) \\ ⋱ \\ (0) & \sqrt{λ_{n}} \end{matrix}) .

On remarque $Δ^{2} = D$ et l’on a donc $v^{2} = u$ .

Exercice 2 809 Correction

Soit $f$ un endomorphisme d’un $𝕂$ -espace vectoriel $E$ de dimension $n \in ℕ^{*}$ admettant exactement $n$ valeurs propres distinctes.

(a)

Montrer qu’il existe $a \in E$ tel que la famille $(a, f (a), \dots, f^{n - 1} (a))$ soit une base de $E$ .
(b)

Quelle est la forme de la matrice de $f$ dans cette base?

Solution

(a)

Notons $λ_{1}, \dots, λ_{n}$ les $n$ valeurs propres distinctes de $f$ et $x_{1}, \dots, x_{n}$ des vecteurs propres associés. La famille $(x_{1}, \dots, x_{n})$ est base de $E$ .
Posons $a = x_{1} + \dots + x_{n}$ . Pour tout $k \in {0,1, \dots, n - 1}$ ,

$f^{k} (a) = λ_{1}^{k} . x_{1} + \dots + λ_{n}^{k} . x_{n} .$

Supposons

$α_{0} . a + α_{1} . f (a) + \dots + α_{n - 1} . f^{n - 1} (a) = 0_{E} .$

En exprimant cette relation en fonction des vecteurs de la famille libre $(x_{1}, \dots, x_{n})$ , on parvient à $P (λ_{1}) = \dots = P (λ_{n}) = 0$ avec

$P = α_{0} + α_{1} X + \dots + α_{n - 1} X^{n - 1} .$

Le polynôme $P$ admet plus de racines que son degré donc $P = 0$ puis $α_{0} = \dots = α_{n - 1} = 0$ .
Ainsi la famille $(a, f (a), \dots, f^{n - 1} (a))$ est libre et finalement base de $E$ .
En fait, n’importe quel vecteur dont les coordonnées sont toutes non nulles dans la base de vecteur propre est solution.
(b)

La matrice de $f$ dans la base considérée est de la forme

$(\begin{matrix} 0 & 0 & α_{0} \\ 1 & ⋱ & ⋮ \\ ⋱ & 0 & ⋮ \\ 0 & 1 & α_{n - 1} \end{matrix})$

avec

$f^{n} (a) = α_{0} . a + α_{1} . f (a) + \dots + α_{n - 1} . f^{n - 1} (a) .$

Exercice 3 3454 Correction

Soit $f$ un endomorphisme d’un $𝕂$ -espace vectoriel $E$ de dimension $n \in ℕ^{*}$ .
On suppose que $f$ possède exactement $n$ valeurs propres distinctes. Montrer que seuls les polynômes en $f$ commutent avec $f$ .

On pourra introduire un polynôme interpolateur convenable.

Solution

Il est bien connu que les polynômes en $f$ commutent avec $f$ .
Inversement, soit $g$ un endomorphisme commutant avec $f$ .
Notons $λ_{1}, \dots, λ_{n}$ les valeurs propres deux à deux distinctes de $f$ et $e_{1}, \dots, e_{n}$ des vecteurs propres associés. La famille $(e_{1}, \dots, e_{n})$ est une base de $E$ diagonalisant $f$ et les sous-espaces propres de $f$ sont de dimension 1. Puisque $f$ et $g$ commutent, ses sous-espaces propres de $f$ sont stables par $g$ et donc, pour tout $k \in {1, \dots, n}$ , il existe $μ_{k}$ tel que $g (e_{k}) = μ_{k} e_{k}$ . Considérons alors un polynôme interpolateur $P$ vérifiant

\forall k \in {1, \dots, n}, P (λ_{k}) = μ_{k} .

On a pour tout $k \in {1, \dots, n}$ ,

P (f) (e_{k}) = P (λ_{k}) (e_{k}) = μ_{k} e_{k} = g (e_{k}) .

Puisque les applications linéaires $P (f)$ et $g$ sont égales sur une base, on peut conclure

P (f) = g .

Exercice 4 4354

Soit $f$ un endomorphisme diagonalisable d’un espace vectoriel $E$ de dimension $n \geq 1$ .

(a)

Montrer qu’un endomorphisme $g$ commute avec $f$ si, et seulement si, les sous-espaces propres de $f$ sont stables par $g$ .
(b)

On note $λ_{1}, \dots, λ_{m}$ les valeurs propres de $f$ et $α_{1}, \dots, α_{m}$ leurs multiplicités respectives.

Montrer que l’ensemble des endomorphismes qui commutent avec $f$ est un sous-espace vectoriel de $ℒ (E)$ et déterminer sa dimension.

Exercice 5 3252

Soit $f$ un endomorphisme d’un espace vectoriel réel $E$ de dimension $n \geq 1$ possédant exactement $n$ valeurs propres distinctes.

(a)

Déterminer les dimensions des sous-espaces propres de $f$ .
(b)

Soit $g$ un endomorphisme de $E$ vérifiant $g^{2} = f$ . Montrer que $g$ et $f$ commutent. En déduire que les vecteurs propres de $f$ sont aussi des vecteurs propres de $g$ .
(c)

Combien y a-t-il d’endomorphismes $g$ de $E$ solutions de l’équation $g^{2} = f$ ?

Exercice 6 2502 CCINP (MP)Correction

Soient $E$ un $ℝ$ -espace vectoriel de dimension finie et $u \in ℒ (E)$ , $v \in ℒ (E)$ diagonalisables vérifiant

u^{3} = v^{3} .

Montrer que $u = v$ .

Solution

Soient $λ \in Sp (u)$ et $x \in E_{λ} (u)$ non nul. On a

v^{3} (x) = u^{3} (x) = λ^{3} . x .

Or $v$ est diagonalisable donc, en notant $μ_{1}, \dots, μ_{p}$ les valeurs propres de $v$ , on a la décomposition en somme directe

E = \oplus_{j = 1}^{p} E_{μ_{j}} (v) .

On peut alors écrire $x = \sum_{j = 1}^{p} x_{j}$ avec $x_{j} \in E_{μ_{j}} (u)$ . L’égalité $v^{3} (x) = λ^{3} . x$ donne

\sum_{j = 1}^{p} μ_{j}^{3} . x_{j} = \sum_{j = 1}^{p} λ^{3} . x_{j} .

Les espaces $E_{μ_{j}} (v)$ étant en somme directe, on peut identifier les termes de ces sommes

μ_{j}^{3} . x_{j} = λ^{3} . x_{j} .

Si $x_{j} \neq 0_{E}$ , on obtient $μ_{j} = λ$ et donc $μ_{j} . x_{j} = λ . x_{j}$ .
Si $x_{j} = 0_{E}$ , l’identité $μ_{j} . x_{j} = λ . x_{j}$ reste vraie.
On en déduit

v (x) = λ . x = u (x) .

Ainsi, les endomorphismes $v$ et $u$ coïncident sur $E_{λ} (u)$ . Or, l’endomorphisme $u$ étant diagonalisable, $E$ est la somme des sous-espaces propres de $u$ . Les endomorphismes $v$ et $u$ coïncident donc sur $E$ .

Exercice 7 806

Soit $u$ un endomorphisme diagonalisable d’un espace vectoriel complexe $E$ de dimension finie $n \geq 1$ . On étudie l’équation $v^{2} = u$ d’inconnue $v \in ℒ (E)$ .

(a)

Montrer qu’il existe au moins un endomorphisme $v$ de $E$ solution.
(b)

Justifier que l’on peut déterminer une solution qui soit un polynôme en $u$ .

[<] Applications de la diagonalisabilité d'une matrice [>] Applications à l'étude de suites numériques

Édité le 29-08-2023

Applications de la diagonalisabilité d'un endomorphisme