En algèbre linéaire, la matrice compagnon du polynôme unitaire
![{\displaystyle p(X)=c_{0}+c_{1}X+\dots +c_{n-1}X^{n-1}+X^{n}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce5e57c07d61131788efa2c62329494b99555ec6)
est la matrice carrée suivante[1],[2],[3] :
![{\displaystyle C(p)={\begin{pmatrix}0&0&\cdots &0&-c_{0}\\1&0&\cdots &0&-c_{1}\\0&1&\cdots &0&-c_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\cdots &1&-c_{n-1}\\\end{pmatrix)),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba549d839bd941e6af69ea80f13770c69b2df064)
mais il existe d'autres conventions :
![{\displaystyle {\begin{pmatrix}-c_{n-1}&-c_{n-2}&\cdots &-c_{1}&-c_{0}\\1&0&\cdots &0&0\\0&1&\cdots &0&0\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\cdots &1&0\\\end{pmatrix)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90594bcb45d49000435a3c279ce0c371534159c1)
Le polynôme caractéristique de C(p) est égal à p (ou (–1)np selon la convention choisie pour le polynôme caractéristique)[8] ; en ce sens, la matrice C(p) est la « compagne » du polynôme p.
Si le polynôme p possède n racines distinctes λ1, …, λn (les valeurs propres de C(p)), alors C(p) est diagonalisable de la façon suivante :
![{\displaystyle VC(p)V^{-1}={\mbox{diag))(\lambda _{1},\dots ,\lambda _{n})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61b93a9128f69751cdd68c2c097d230afaa56511)
où V est la matrice de Vandermonde associée à λ1, …, λn. Réciproquement, la matrice compagnon n'est diagonalisable que dans ce cas, puisque ses espaces propres sont de dimension 1.
Si A est une matrice d'ordre n dont les coefficients appartiennent à un corps commutatif K, alors les propositions suivantes sont équivalentes :
- A est semblable à une matrice compagnon à coefficients dans K ;
- le polynôme minimal de A est égal à son polynôme caractéristique ;
- il existe un vecteur v dans Kn tel que (v, Av, A2v, …, An-1v) soit une base de Kn.
Toutes les matrices carrées ne sont pas semblables à une matrice compagnon mais toute matrice est semblable à une matrice composée de blocs de matrices compagnons. De plus, ces matrices compagnons peuvent être choisies de telle sorte que le polynôme caractéristique de chacune divise celui de la suivante ; ils sont alors déterminés de façon unique par A. C'est la forme canonique rationnelle de A.
En automatique, la forme compagnon est aussi appelée la forme canonique de commandabilité. Si une matrice peut se transformer à travers une base en matrice sous la forme compagnon, elle est obligatoirement commandable.
La forme compagnon est particulièrement utile lorsqu'on dispose d'une fonction de transfert irréductible ou d'une équation différentielle. Selon les coefficients, on peut écrire immédiatement la représentation d'état, qui est l'une des formes les plus efficaces et précises de représentation des systèmes continus ou échantillonés.
- ↑ Saunders Mac Lane et Garrett Birkhoff, Algèbre [détail des éditions], vol. 1, p. 365.
- ↑ Aviva Szpirglas, Algèbre L3 : Cours complet avec 400 tests et exercices corrigés [détail de l’édition], § 11.102.
- ↑ Daniel Guinin et Bernard Joppin, Algèbre et géométrie MP, Éditions Bréal, 2004 (ISBN 978-2-7495-0388-2), p. 186.
- ↑ David C. Lay, Algèbre linéaire : Théorie, exercices et applications, De Boeck, 2004 (ISBN 978-2-8041-4408-1), p. 372.
- ↑ Dany-Jack Mercier, Exercices pour le CAPES mathématiques (externe et interne) et l'agrégation interne, vol. 1, Publibook, 2005 (ISBN 978-2-7483-0995-9), p. 103.
- ↑ Alfio Quarteroni, Riccardo Sacco et Fausto Saleri, Méthodes numériques : algorithmes, analyse et applications, Springer, 2007 (ISBN 978-88-470-0495-5), p. 207.
- ↑ Jacques Rappaz et Marco Picasso, Introduction à l'analyse numérique, PPUR, 1998 (ISBN 978-2-88074-363-5), p. 106.
- ↑ Voir par exemple cet exercice corrigé sur Wikiversité.
|
Forme |
|
Transformée |
|
Relation |
|
Propriété |
|
Famille |
|
Associée |
|
Résultats |
|
Articles liés |
|