Matrice de Vandermonde
En algèbre linéaire, une matrice de Vandermonde est une matrice avec une progression géométrique dans chaque ligne. Elle tient son nom du mathématicien français Alexandre-Théophile Vandermonde.
De façon matricielle, elle se présente ainsi :
Autrement dit, pour tous i et j, le coefficient en ligne i et colonne j est
- Remarque.
- Certains auteurs utilisent la transposée de la matrice ci-dessus[1].
Inversibilité
On considère une matrice V de Vandermonde carrée (). Elle est inversible si et seulement si les sont deux à deux distincts.
Si deux coefficients sont identiques, la matrice a deux lignes identiques, donc n'est pas inversible.
Pour la réciproque, on peut procéder au calcul du déterminant, ce qui sera fait dans la prochaine section. Une preuve d'inversibilité plus rapide est cependant de considérer V comme la matrice du système linéaire homogène VX = 0 pour X de composantes x0, …, xn-1 :
En introduisant le polynôme
- ,
on voit que si X vérifie l'équation VX = 0, alors P admet n racines distinctes, soit plus que son degré ; donc P est nul, et ainsi X = 0, ce qui prouve que V est inversible.
Déterminant
Le déterminant d'une matrice de Vandermonde ( dans ce cas) peut s'exprimer ainsi[3],[4]
- .
Le déterminant de la matrice est un polynôme en . De plus, ce déterminant s'annule lorsque deux des nombres sont égaux puisqu'il y a alors deux lignes identiques. Par suite, ce déterminant est égal à
où
et où est lui-même un polynôme.
Cependant, le polynôme est homogène, de degré 0+1+…+(n-1) = n(n-1)/2. Puisqu'il en est de même de , le polynôme est en fait une constante. Enfin, cette constante vaut 1 puisque dans les développements de et de , le coefficient du monôme a la même valeur non nulle égale à 1.
Applications
La matrice de Vandermonde et le calcul de son déterminant sont utilisés en interpolation polynomiale[5].
Un cas particulier de matrice de Vandermonde apparaît dans la formule de la transformée de Fourier discrète, où les coefficients sont des racines complexes de l'unité[6].
Notes et références
- ↑ N. Macon et A. Spitzbart, « Inverses of Vandermonde Matrices », The American Mathematical Monthly, vol. 65, no 2, , p. 95–100 (DOI 10.2307/2308881, JSTOR 2308881)
- ↑ a et b Pour une preuve moins conceptuelle, voir par exemple cet exercice corrigé sur Wikiversité.
- ↑ Cette forme factorisée est utilisée par exemple dans l'épreuve de mathématiques de l'agrégation externe 2006, partie I.10.
- ↑ Mohamed Houimdi, Algèbre linéaire, algèbre bilinéaire: cours et exercices corrigés, Edition Marketing Ellipses, , 551 p., p. 185-186
- ↑ Jean-Philippe Chancelier, « Interpolation et approximation polynomiale: Réponses » , sur CERMICS, (consulté le )
- ↑ (en) Gene H Golub, Charles F Van Loan, Matrix computations, jhu press, 722 p. (ISBN 0801837723), p. 183
Voir aussi
Bibliographie
- Jacqueline Lelong-Ferrand et Jean-Marie Arnaudiès, Cours de mathématiques, tome 1 : algèbre, m.p. - spéciales m',m, Dunod, Paris, 1971 ; pages 316 à 319.
- Daniel Guinin, François Aubonnet et Bernard Joppin, Précis de mathématiques, Tome 2, Algèbre 2, 3e édition, Bréal, 1994 ; pages 19 et 20.
Articles connexes
- Interpolation lagrangienne
Lien externe
- Didier Piau, Un tour du (Vander)monde en 70 minutes
v · m Matrices | |||||
---|---|---|---|---|---|
Forme |
| ||||
Transformée | |||||
Relation | |||||
Propriété | |||||
Famille | |||||
Associée |
| ||||
Résultats |
| ||||
Articles liés |
|
- Portail de l’algèbre