Diagonalisation

Exercice 5 - Exercice 1

30 min
45
Pour vérifier ses acquis.
Question 1
Soit R3\mathbb{R}^3 muni de la base canonique B={e1;e2;e3}\mathfrak{B}=\left\{e_1 ; e_2 ; e_3\right\}. On considère l'endomorphisme uu dont la matrice AA, dans la base B\mathfrak{B}, est la suivante :
A=(321212224)A=\left(\begin{array}{ccc} 3 & -2 & -1 \\ 2 & -1 & -2 \\ -2 & 2 & 4 \end{array}\right)

Déterminer les éléments propres de uu.

Correction
Le polynôme caractéristique est le suivant :
PA3(λ)=det(AλI3)\mathcal{P}_{A-3}(\lambda)=\operatorname{det}\left(A-\lambda \mathbb{I}_3\right)
Soit :
PΛ3(λ)=3λ2121λ2224λ\mathcal{P}_{\Lambda-3}(\lambda)=\left|\begin{array}{ccc} 3-\lambda & -2 & -1 \\ 2 & -1-\lambda & -2 \\ -2 & 2 & 4-\lambda \end{array}\right|
En remplaçant la 3ieˋme 3^{\text{ième }} ligne par la somme de la 2ieˋme 2^{\text{ième }} et de la 3ieˋme 3^{\text{ième }} on obtient :
PΛ3(λ)=3λ2121λ201λ2λ\mathcal{P}_{\Lambda-3}(\lambda)=\left|\begin{array}{ccc} 3-\lambda & -2 & -1 \\ 2 & -1-\lambda & -2 \\ 0 & 1-\lambda & 2-\lambda \end{array}\right|
Puis, en remplaçant la 1ieˋre 1^{\text {ière }} colonne par la somme de la 1ieˋre 1^{\text{ière }} et de la 3ieˋme 3^{\text{ième }}, on obtient :
PΛ3(λ)=2λ2101λ22λ1λ2λ\mathcal{P}_{\Lambda-3}(\lambda)=\left|\begin{array}{ccc} 2-\lambda & -2 & -1 \\ 0 & -1-\lambda & -2 \\ 2-\lambda & 1-\lambda & 2-\lambda \end{array}\right|
Enfin, on remplace la 3ieˋme 3^{\text{ième }} ligne par la soustraction de la 3ieˋme 3^{\text {ième }} et de la 1ieˋre 1^{\text {ière }}, on obtient alors :
PA3(λ)=2λ2101λ203λ3λ\mathcal{P}_{A-3}(\lambda)=\left|\begin{array}{ccc} 2-\lambda & -2 & -1 \\ 0 & -1-\lambda & -2 \\ 0 & 3 \lambda & 3-\lambda \end{array}\right|
En développant sur la 1ieˋre 1^{\text {ière }} colonne, on a :
PA3(λ)=(2λ)1λ23λ3λ\mathcal{P}_{A-3}(\lambda)=(2-\lambda)\left|\begin{array}{cc} -1-\lambda & -2 \\ 3-\lambda & 3-\lambda \end{array}\right|
D'où :
PA3(λ)=(2λ)((1λ)(3λ)(3λ)(2))\mathcal{P}_{A-3}(\lambda)=(2-\lambda)((-1-\lambda)(3-\lambda)-(3-\lambda)(-2))
En factorisant par (3λ)(3-\lambda), on a :
PA3(λ)=(2λ)(3λ)((1λ)(2))\mathcal{P}_{A-3}(\lambda)=(2-\lambda)(3-\lambda)((-1-\lambda)-(-2))
Soit encore :
PA3(λ)=(2λ)(3λ)(1λ)\mathcal{P}_{A-3}(\lambda)=(2-\lambda)(3-\lambda)(1-\lambda)
Finalement :
Pf3(λ)=(1λ)(2λ)(3λ)=(1)3(λ1)1(λ2)1(λ3)1\mathcal{P}_{f-3}(\lambda)=(1-\lambda)(2-\lambda)(3-\lambda)=(-1)^3(\lambda-1)^1(\lambda-2)^1(\lambda-3)^1
D'après la forme du polynôme caractéristique, les valeurs propres de l'endomorphisme ff sont :
- λ=1\lambda=1 qui est non dégénérée, donc sa multiplicité est d1=1d_1=1 ;
- λ=2\lambda=2 qui est non dégénérée, donc sa multiplicité est d2=1d_2=1 ;
- λ=3\lambda=3 qui est non dégénérée, donc sa multiplicité est d3=1d_3=1.
Casλ=3\rightarrow \,\, \mathrm{Cas} \, \, \lambda=3 qui n'est pas dégénérée :
On note par E3E_3 le sous espace associé à λ=3\lambda=3. La dimension du sous-espace associé à une valeur propre simple est nécessairement égale à 11, donc la dimension de E3E_3 est égale à 11. D'où :
dimE3=1\dim E_3 = 1
Et donc :
dimE3=d3\dim E_3 = d_3
On pose v=v1e1+v2e2+v3e3v=v_1 e_1+v_2 e_2+v_3 e_3 avec (e1;e2;e3)B\left(e_1 ; e_2 ; e_3\right) \in \mathfrak{B} et (v1;v2;v3)R3\left(v_1 ; v_2 ; v_3\right) \in \mathbb{R}^3. Ainsi, on est amené à résoudre le système suivant :
(A3I3)v=O3\left(A - 3\mathbb{I}_3\right) v = \mathbb{O}_3
Soit :
(332121322243)(v1v2v1)=(000)(021242221)(v1v2v3)=(000)\left(\begin{array}{ccc} 3-3 & -2 & -1 \\ 2 & -1-3 & -2 \\ -2 & 2 & 4-3 \end{array}\right)\left(\begin{array}{l} v_1 \\ v_2 \\ v_1 \end{array}\right)=\left(\begin{array}{l} 0 \\ 0 \\ 0 \end{array}\right) \Longleftrightarrow\left(\begin{array}{ccc} 0 & -2 & -1 \\ 2 & -4 & -2 \\ -2 & 2 & 1 \end{array}\right)\left(\begin{array}{l} v_1 \\ v_2 \\ v_3 \end{array}\right)=\left(\begin{array}{l} 0 \\ 0 \\ 0 \end{array}\right)
D'où :
{2v2v1=02v14v22v1=02v1+2v2+v1=0{v1=0v2=v2v2=2v2v=(0v22v2)=v2(012)=v2[(010)+2(001)]\left\{\begin{array} { c } { - 2 v _ { 2 } - v _ { 1 } = 0 } \\ { 2 v _ { 1 } - 4 v _ { 2 } - 2 v _ { 1 } = 0 } \\ { - 2 v _ { 1 } + 2 v _ { 2 } + v _ { 1 } = 0 } \end{array} \Longrightarrow \left\{\begin{array}{c} v_1=0 \\ v_2=v_2 \\ v_2=-2 v_2 \end{array} \,\, \Longrightarrow \,\, v=\left(\begin{array}{c} 0 \\ v_2 \\ -2 v_2 \end{array}\right)=-v_2\left(\begin{array}{c} 0 \\ -1 \\ 2 \end{array}\right)=v_2\left[-\left(\begin{array}{l} 0 \\ 1 \\ 0 \end{array}\right)+2\left(\begin{array}{l} 0 \\ 0 \\ 1 \end{array}\right)\right]\right.\right.
soit :
v=v2[e2+2e2]v=v_2\left[-e_2+2 e_2\right]
Finalement, on en déduit que :
E2=Vect[e2+2e3] et v=ε2+2e3E_2=\mathrm{Vect}\left[-e_2+2 e_3\right] \,\, \text { et } \,\, v=-\varepsilon_2+2 e_3
Casλ=2\rightarrow \,\, \mathrm{Cas} \,\, \lambda=2 qui n'est pas dégénérée :
On note par E2E_2 le sous espace associé à λ=2\lambda=2. La dimension du sous-espace associé à une valeur propre simple est nécessairement égale à 11, donc la dimension de E2E_2 est égale à 11. D'où :
dimE2=1\dim E_2 = 1
Et donc :
dimE2=d2\dim E_2=d_2
On pose v=v1e1+v2e2+v3e3v=v_1 e_1+v_2 e_2+v_3 e_3 avec (e1;e2;e3)B\left(e_1 ; e_2 ; e_3\right) \in \mathfrak{B} et (v1;v2;v3)R3\left(v_1 ; v_2 ; v_3\right) \in \mathbb{R}^3. Ainsi, on est amené à résoudre le système suivant :
(A2I3)v=O3\left(A -2 \mathbb{I}_3 \right) v = \mathbb{O}_3
Soit :
(322121222242)(v1v2v1)=(000)(121232222)(v1v2v3)=(000)\left(\begin{array}{ccc} 3-2 & -2 & -1 \\ 2 & -1-2 & -2 \\ -2 & 2 & 4-2 \end{array}\right)\left(\begin{array}{l} v_1 \\ v_2 \\ v_1 \end{array} \right) = \left(\begin{array}{l} 0 \\ 0 \\ 0 \end{array}\right) \Longleftrightarrow \left(\begin{array}{ccc} 1 & -2 & -1 \\ 2 & -3 & -2 \\ -2 & 2 & 2 \end{array}\right)\left(\begin{array}{l} v_1 \\ v_2 \\ v_3 \end{array}\right) = \left(\begin{array}{l} 0 \\ 0 \\ 0 \end{array} \right)
D'où :
{v12v2v2=02v13v22v2=02v1+2v2+2v2=0{v1=v1v2=0v2=v1v=(v10v3)=v2(101)=v2[(100)+(001)]\left\{\begin{array}{ c } { v _ { 1 } - 2 v _ { 2 } - v _ { 2 } = 0 } \\ { 2 v _ { 1 } - 3 v _ { 2 } - 2 v _ { 2 } = 0 } \\ { - 2 v _ { 1 } + 2 v _ { 2 } + 2 v _ { 2 } = 0 } \end{array} \Rightarrow \left\{\begin{array}{l} v_1=v_1 \\ v_2=0 \\ v_2=v_1 \end{array} \,\, \Longrightarrow \,\, v=\left(\begin{array}{c} v_1 \\ 0 \\ v_3 \end{array}\right)=v_2\left(\begin{array}{l} 1 \\ 0 \\ 1 \end{array}\right)=v_2\left[\left(\begin{array}{l} 1 \\ 0 \\ 0 \end{array}\right)+\left(\begin{array}{l} 0 \\ 0 \\ 1 \end{array}\right)\right]\right.\right.
soit :
v=v3[e1+e2]v=v_3\left[e_1+e_2\right]
Finalement, on en déduit que :
E2=Vect[e1+e2]etv=e1+e2E_2 = \mathrm{Vect}\left[e_1+e_2\right] \,\, \text {et} \,\, v=e_1+e_2
Casλ=1\rightarrow \,\, \mathrm{Cas} \,\, \lambda = 1 qui n'est pas dégénérée.
On note par E1E_1 le sous espace associe à λ=1\lambda=1. La dimension du sous-espace associé à une valeur propre simple est nécessairement égale à 11, donc la dimension de E1E_1 est égale à 11. D'où :
dimE1=1\dim E_1 = 1
Et donc :
dimE1=d1\dim E_1 = d_1
On pose v=v1e1+v2e2+v3e3v=v_1 e_1+v_2 e_2+v_3 e_3 avec (e1;e2;e3)B\left(e_1 ; e_2 ; e_3\right) \in \mathfrak{B} et (v1;v2;v3)R3\left(v_1 ; v_2 ; v_3\right) \in \mathbb{R}^3. Ainsi, on est amené à résoudre le système suivant :
(A1I3)v=O3\left(A - 1 \mathbb{I}_3\right) v = \mathbb{O}_3
Soit :
(312121122241)(v1v2v1)=(000)(221222223)(v1v2v3)=(000)\left(\begin{array}{ccc} 3-1 & -2 & -1 \\ 2 & -1-1 & -2 \\ -2 & 2 & 4-1 \end{array}\right)\left(\begin{array}{l} v_1 \\ v_2 \\ v_1 \end{array}\right)=\left(\begin{array}{l} 0 \\ 0 \\ 0 \end{array}\right) \Longleftrightarrow \left(\begin{array}{ccc} 2 & -2 & -1 \\ 2 & -2 & -2 \\ -2 & 2 & 3 \end{array}\right)\left(\begin{array}{l} v_1 \\ v_2 \\ v_3 \end{array}\right)=\left(\begin{array}{l} 0 \\ 0 \\ 0 \end{array}\right)
D'où :
{2v12v2v1=02v12v22v1=02v1+2v2+3v2=0{v1=v1v2=v1v1=0v=(v1v10)=v1(110)=v1[(100)+(010)]\left\{\begin{array}{ c } { 2 v _ { 1 } - 2 v _ { 2 } - v _ { 1 } = 0 } \\ { 2 v _ { 1 } - 2 v _ { 2 } - 2 v _{ 1 } = 0 } \\ { - 2 v _ { 1 } + 2 v _ { 2 } + 3 v _ { 2 } = 0 } \end{array} \,\, \Longrightarrow \,\, \left\{\begin{array}{c} v_1=v_1 \\ v_2=v_1 \\ v_1=0 \end{array} \,\, \Longrightarrow \,\, v=\left(\begin{array}{l} v_1 \\ v_1 \\ 0 \end{array}\right) = v_1\left(\begin{array}{l} 1 \\ 1 \\ 0 \end{array} \right) = v_1 \left[\left(\begin{array}{l} 1 \\ 0 \\ 0 \end{array}\right)+\left(\begin{array}{l} 0 \\ 1 \\ 0 \end{array}\right)\right]\right.\right.
Soit :
v=v1[e1+e2]v=v_1\left[e_1+e_2\right]
Finalement, on en déduit que :
E1=Vect[e1+a2]etv=e1+e2E_1=\mathrm{Vect}\left[e_1+a_2\right] \,\, \text {et} \,\, v = e_1+e_2
Donc pour chaque valeur propre, la dimension du sous-espace propre associé est égale à son ordre de multiplicité en tant que racine du polynôme caractéristique. On en déduit immédiatement que la matrice AA est diagonalisable. Les racines du polynôme caractéristique sont toutes réelles et simples.
Question 2

Calculer An(nN)A^n(n \in \mathbb{N}).

Correction
Ainsi l'ensemble Bp={e1+e2;e1+e3;e2+2e3}\mathfrak{B}_p=\left\{e_1+e_2 ; e_1+e_3 ;-e_2+2 e_3\right\} forme une base propre de l'espace de travail.
On construit la matrice de passage PBBpP_{\mathfrak{B} \rightarrow \mathfrak{B}_p} par un rangement par colonne, des vecteurs de Bp\mathfrak{B}_p exprimés selon ceux de B\mathfrak{B}, en injectant par colonne, les trois vecteurs propres :
PBBp=(110101012)P_{\mathfrak{B} \rightarrow \mathfrak{B}_p}=\left(\begin{array}{ccc} 1 & 1 & 0 \\ 1 & 0 & -1 \\ 0 & 1 & 2 \end{array}\right)
Donc la matrice VAV_A des valeurs propres (en respectant l'ordre des vecteurs propres) est :
VA=(100020003)V_A=\left(\begin{array}{lll} 1 & 0 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 3 \end{array}\right)
On constate que VAV_A est diagonale.
Et on a :
A=PBBpVA[PBBp]1A=P_{\mathfrak{B} \rightarrow \mathfrak{B}_p} V_A\left[P_{\mathfrak{B} \rightarrow \mathfrak{B}_p}\right]^{-1}
On dit que les deux matrices AA et VAV_A sont semblables car elle décrivent toutes les deux, de manière semblable, un même endomorphisme. La seule différence est la base d'expression de cet endomorphisme :
- AA est la description de cet endomorphisme dans une base B={e1;e2;e3}\mathfrak{B}=\left\{e_1 ; e_2 ; e_3\right\};
- VAV_A dans une base propre Bp={e1+e2;e1+e3;e2+2e3}\mathfrak{B}_p=\left\{e_1+e_2 ; e_1+e_3 ;-e_2+2 e_3\right\}, celle qui offre une description plus simple.
On détermine [PBBp]1\left[P_{\mathfrak{B} \rightarrow \mathfrak{B}_p} \right]^{-1} (par la méthode de Gauss par exemple), et on trouve que :
[PBBp]1=PBpB=(121221111)\left[P_{\mathfrak{B} \rightarrow \mathfrak{B}_p} \right]^{-1} = P_{\mathfrak{B}_p \rightarrow \mathfrak{B}} = \left(\begin{array}{ccc} -1 & 2 & 1 \\ 2 & -2 & -1 \\ -1 & 1 & 1 \end{array}\right)
En utilisant les propriétés des matrices semblables, on a nN\forall n \in \mathbb{N} :
An=PBBpVAn[PBBp]1An=PBBp(100020003)n[PBBp]1A^n=P_{\mathfrak{B}} \rightarrow \mathfrak{B}_p V_A^n\left[P_{\mathfrak{B} \rightarrow \mathfrak{B}_p}\right]^{-1} \Leftrightarrow A^n=P_{\mathfrak{B}} \rightarrow \mathfrak{B}_p\left(\begin{array}{lll} 1 & 0 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 3 \end{array}\right)^n\left[P_{\mathfrak{B} \rightarrow \mathfrak{B}_p}\right]^{-1}
D'où :
An=(110101012)(10002n0003n)(121221111) avec : 1n=1A^n=\left(\begin{array}{ccc} 1 & 1 & 0 \\ 1 & 0 & -1 \\ 0 & 1 & 2 \end{array}\right)\left(\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 2^n & 0 \\ 0 & 0 & 3^n \end{array}\right)\left(\begin{array}{ccc} -1 & 2 & 1 \\ 2 & -2 & -1 \\ -1 & 1 & 1 \end{array}\right) \quad \text { avec : } 1^n=1
Ce qui nous donne finalement :
An=(2n+112(12n)12n3n123n13n2(2n3n)2(3n2n)2×3n2n)A^n=\left(\begin{array}{ccc} 2^{n+1}-1 & 2\left(1-2^n\right) & 1-2^n \\ 3^n-1 & 2-3^n & 1-3^n \\ 2\left(2^n-3^n\right) & 2\left(3^n-2^n\right) & 2 \times 3^n-2^n \end{array}\right)