Matrice de vandermonde

Matrice de vandermonde

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 d'Alexandre-Théophile Vandermonde.

Sommaire

Présentation

De façon matricielle, elle se présente ainsi :

V=\begin{pmatrix}
1 & \alpha_1 & {\alpha_1}^2 & \dots & {\alpha_1}^{n-1}\\
1 & \alpha_2 & {\alpha_2}^2 & \dots & {\alpha_2}^{n-1}\\
1 & \alpha_3 & {\alpha_3}^2 & \dots & {\alpha_3}^{n-1}\\
\vdots & \vdots & \vdots & &\vdots \\
1 & \alpha_m & {\alpha_m}^2 & \dots & {\alpha_m}^{n-1}\\
\end{pmatrix}

Autrement dit, pour tous i et j, V_{i,j} = {\alpha_i}^{j-1}.

Remarque.
Certains auteurs utilisent la transposée de la matrice ci-dessus.

Inversibilité

On considère une matrice V de Vandermonde carrée (m = n). Elle est inversible si et seulement si les αi sont deux à deux distincts.

Demonstration

Si deux coefficients αi 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 le prochain paragraphe.

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

\begin{cases}
x_0 + \alpha_1 x_1 + \alpha_1^2 x_2 + &\dots + \alpha_1^{n-1} x_{n-1}=0\\
& \dots \\
x_0 + \alpha_n x_1 + \alpha_n^2 x_2 + &\dots + \alpha_n^{n-1} x_{n-1}=0
\end{cases}

Mais en introduisant le polynôme

P(Y)=\sum_{i=0}^{n-1} x_i Y^i

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 n \times n de Vandermonde (m = n dans ce cas) peut s'exprimer ainsi:

\det(V) = \prod_{1\le i<j\le n} (\alpha_j-\alpha_i)

Démonstrations

Il suffit d'exécuter l'opération élémentaire Ci C_{i} - (\alpha_1 \times C_{i-1}) (sur les colonnes, en partant de Cn et en remontant jusqu'à C2).

Le déterminant reste inchangé puisque: detUi,j(λ) = 1 et devient :

\det(V)=\begin{vmatrix}
1 & 0 & 0 & \dots & 0\\
1 & \alpha_2-\alpha_1 & \alpha_2(\alpha_2-\alpha_1) & \dots & \alpha_2^{n-2}(\alpha_2-\alpha_1)\\
1 & \alpha_3-\alpha_1 & \alpha_3(\alpha_3-\alpha_1) & \dots & \alpha_3^{n-2}(\alpha_3-\alpha_1)\\
\vdots & \vdots & \vdots & &\vdots \\
1 & \alpha_n-\alpha_1 & \alpha_n(\alpha_n-\alpha_1) & \dots & \alpha_n^{n-2}(\alpha_n-\alpha_1)\\
\end{vmatrix}


En développant selon la première ligne, il vient tout naturellement :

\det(V)=\begin{vmatrix}
\alpha_2-\alpha_1 & \alpha_2(\alpha_2-\alpha_1) & \dots & \alpha_2^{n-2}(\alpha_2-\alpha_1)\\
\alpha_3-\alpha_1 & \alpha_3(\alpha_3-\alpha_1) & \dots & \alpha_3^{n-2}(\alpha_3-\alpha_1)\\
\vdots & \vdots & &\vdots \\
\alpha_n-\alpha_1 & \alpha_n(\alpha_n-\alpha_1) & \dots & \alpha_n^{n-2}(\alpha_n-\alpha_1)\\
\end{vmatrix}

C’est-à-dire :

\det(V)=
(\alpha_2-\alpha_1)(\alpha_3-\alpha_1)\dots(\alpha_n-\alpha_1)
\begin{vmatrix}
1 & \alpha_2 & \alpha_2^2 & \dots & \alpha_2^{n-2}\\
1 & \alpha_3 & \alpha_3^2 & \dots & \alpha_3^{n-2}\\
1 & \alpha_4 & \alpha_4^2 & \dots & \alpha_4^{n-2}\\
\vdots & \vdots & \vdots & &\vdots \\
1 & \alpha_n & \alpha_n^2 & \dots & \alpha_n^{n-2}\\
\end{vmatrix}

Par récurrence immédiate, on retrouve le résultat annoncé

Autre démonstration

Le déterminant  \quad D_n=D(a_1,a_2,...a_n) de la matrice est clairement un polynôme en  \quad a_1, a_2, ...,a_n . De plus ce déterminant s'annule lorsque 2 des nombres  \quad a_i, a_j sont égaux (puisqu'il y a alors 2 lignes identiques). Par suite ce déterminant est égal à

 \quad Q_n(a_1,a_2,...,a_n).\prod_{1\le i<j \le n} (a_j-a_i)

\quad Q_n est lui-même un polynôme.

Cependant le degré en  \quad a_n du déterminant est n − 1 (il suffit d'imaginer le développement selon la dernière colonne). Comme le degré du terme sous forme de produit est aussi n − 1, \quad Q_n est une constante relativement à  \quad a_n . Il en est de même vis-à-vis de toutes les variables, donc c'est une constante que nous désignerons par kn.

Démontrons alors par récurrence que kn = 1 pour tout n.

Ceci est évidemment vrai pour n = 1 et 2. D'autre part, si cette affirmation est vraie jusque n − 1, calculons de 2 manières le coefficient du terme de plus haut degré (n-1) en an du déterminant \quad D_n . D'une part en développant selon la dernière colonne nous obtenons  \quad D_{n-1} (cofacteur de  a_n^{n-1} ) et d'autre part avec la formule que nous venons d'établir et l'hypothèse de récurrence

 \quad k_n.\prod_{1\le i<j \le n-1} (a_j-a_i) = k_n.D_{n-1}

D'où il résulte bien que kn = 1.

Ceci achève la démonstration.

Voir Aussi

Lien interne

Interpolation lagrangienne

Lien externe

Didier Piau, Un tour du (Vander)monde en 70 minutes


  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Matrice de Vandermonde ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Matrice de vandermonde de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • 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 d Alexandre Théophile Vandermonde. Sommaire 1 Présentation 2 Inversibilité 3 Déterminant …   Wikipédia en Français

  • 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. Sommaire 1 Présentation 2 Inversibilité 3… …   Wikipédia en Français

  • Matrice Compagnon — En algèbre linéaire, la matrice compagnon du polynôme unitaire est la matrice carrée définie de la façon suivante : (il s agit en réalité de la transposée de cette matrice). Le …   Wikipédia en Français

  • Matrice compagnon — En algèbre linéaire, la matrice compagnon du polynôme unitaire est la matrice carrée suivante[1],[2],[3]  …   Wikipédia en Français

  • Vandermonde — Alexandre Théophile Vandermonde Alexandre Théophile Vandermonde (parfois appelé Alexis Théophile), né à Paris le 28 février 1735 et mort à Paris le 1er janvier 1796, est un mathématicien français. Il fut aussi économiste, musicien… …   Wikipédia en Français

  • Matrice (algèbre) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice (mathematiques) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice carrée — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice Diagonalisable — En algèbre linéaire, une matrice carrée M d ordre n ( ) à coefficients dans un corps commutatif K, est dite diagonalisable si elle est semblable à une matrice diagonale, c est à dire s il existe une matrice inversible P et une matrice diagonale D …   Wikipédia en Français

  • Matrice Inversible — En mathématiques et plus particulièrement en algèbre linéaire, une matrice carrée A d ordre n est dite inversible ou régulière ou encore non singulière, s il existe une matrice B d ordre n telle que AB = BA = In, ( AB = In suffit d aprés le… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”