Déterminant presque de Vandermonde
Bonjour
Le déterminant suivant ressemble fort à celui de Vandermonde à part la dernière colonne (1 de puissance en trop).
un truc horrible en faisant C4 devient C4 - a²C3 puis C3 devient : C3 - a²C1 puis C2 devient C2 - aC1.
Ce truc horrible est : (b-a)(c-a)(d-a)(c-b)(d-b)(d²+db+ad+ab-c²-cb-ac-bc) et c'est surtout la dernière parenthèse qui me gêne.
Merci pour un coup de pouce pour écrire ce déterminant sous forme factorisée.
Bonne soirée.
gauss
Le déterminant suivant ressemble fort à celui de Vandermonde à part la dernière colonne (1 de puissance en trop).
1 a a² a[sup]4[/sup] 1 b b² b[sup]4[/sup] 1 c c² c[sup]4[/sup] 1 d d² d[sup]4[/sup]Y a-t-il un moyen de s'y ramener : pour le calcul du déterminant ci-dessus, j'arrive à :
un truc horrible en faisant C4 devient C4 - a²C3 puis C3 devient : C3 - a²C1 puis C2 devient C2 - aC1.
Ce truc horrible est : (b-a)(c-a)(d-a)(c-b)(d-b)(d²+db+ad+ab-c²-cb-ac-bc) et c'est surtout la dernière parenthèse qui me gêne.
Merci pour un coup de pouce pour écrire ce déterminant sous forme factorisée.
Bonne soirée.
gauss
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
le déterminant cherché est au signe près le coefficient de $x^3$ ,facile à trouver quend on a développé le determinant de Vandermonde.
Pour un peu plus de confort, j'utilise $x_1, x_2, x_3, x_4$ au lieu de $a,b,c,d$ et je note $D$ le déterminant. C'est un polynôme homogène en les $x_i$ de degré $0 + 1 + 2 + 4 = 7$. Comme déjà observé, il est divisible par chaque $x_i - x_j$. Donc par $P = \prod_{1 \le i < j \le 4} (x_i - x_j)$, de degré 6. Bilan : $D = P \times L$ pour un certain $L$. Pourquoi le nom $L$ ? Parce que $7 - 6 = 1$. I.e. $L$ est linéaire c.a.d. $L$ de la forme $u_1x_1 + u_2x_2 + u_3x_3 + u_4x_4$ où les $u_i$ sont des constantes à trouver. Pour des raisons de symétrie, on peut penser que $u_1 = u_2 = u_3 = u_4$. Et il reste encore un petit truc à faire.
PS : je n'ai aucun mérite car la vraie vérité c'est que j'ai utilisé un système de Calcul Formel pour ... Et ensuite, je réfléchis. Ou je fais semblant de.
$$ \begin{array}{|cccc|}
1&1&1&0\\
a&b&c&1\\
a^2&b^2&c^2&2a\\
a^3&b^3&c^3&3a^2\\
\end{array}$$
En te lisant, je constate que j'ai fait une faute de goût en écrivant $\prod_{1 \le i < j \le 4} (x_i - x_j)$ ; j'aurais dû écrire $\prod_{1 \le i < j \le 4} (x_j- x_i)$. Ceci pour être en accord avec :
$$
\det V(x_1, \cdots, x_n) = \prod_{1 \le i < j \le n} (x_j - x_i)
$$
où $V(x_1, \cdots, x_n)$ est la matrice $n \times n$ de Vandermonde habituelle. Que je choisis ici (par coquetterie ?) de mettre en lignes : la première ligne est $(1, \cdots, 1)$ et la dernière ligne est $(x_1^{n-1}, \cdots, x_n^{n-1})$.
Modifions la dernière ligne en $(x_1^{n-1+r}, \cdots, x_n^{n-1+r})$ où $r$ est un entier $\ge 0$, pour obtenir une matrice $V_r(x_1, \cdots, x_n)$. Si bien que pour $r=0$, on retrouve notre chère matrice $V(x_1, \cdots, x_n)$. Il y a fort à parier que :
$$
\det V_r(x_1, \cdots, x_n) = \prod_{1 \le i < j \le n} (x_j - x_i) \times H_r(x_1, \cdots, x_n) \qquad\qquad \text{avec} \qquad
H_r(x_1, \cdots, x_n) = \sum_{|\alpha| = r} x^\alpha =_{\rm def} \sum_{|\alpha| = r} x_1^{\alpha_1} \cdots x_n^{\alpha_n}
$$
Note : $H_r(x)$ est la fonction symétrique complète de degré $r$, somme de tous les monômes en $x_1, \cdots, x_n$ de degré $r$.
Bien entendu, avant de poster ce matin, j'ai réalisé quelques vérifications rapides. J'ai horreur de perdre mon temps à vouloir prouver quelque chose de faux. Avec $n = 5$, voici quelques $V_r(x_1, \cdots, x_n)$ : Les premières fonctions symétriques complètes en 5 variables J'ai préparé mon produit $P = \prod_{1 \le i < j \le n} (x_j - x_i)$ et je peux faire les vérifications Avec un peu d'habitude, ce type de vérifications est très très rapide à réaliser. Bien entendu, aucune preuve pour l'instant.
Cordialement, j__j
Je n'y arrive pas en faisant comme tu dis (récurrence sur $r$ ...etc..). Ce qui ne m'étonne qu'à moitié (je suis assez mauvais dans ce genre de trucs).
@john_john
Mais c'est bien sûr ! J'avais oublié cela alors que j'en connais un peu le B.A.BA. Sauf que cela nous emmène bien plus loin que la question du post initial ! Est ce que la formule de Jacobi-Trudi c'est celle encadrée en rouge qui donne la fonction de Schur $s_\lambda$ comme quotient de deux déterminants alternés ? A condition bien sûr d'avoir défini les fonctions de Schur autrement (dans la note, elles étaient définies à partir des tableaux de Young).
Du coup, avec l'habitude des combinatoriciens qui utilisent des partitions décroissantes (pour les compléter par $0$ à l'infini), et en suivant MacDonald, on change légèrement la définition de matrice de Vandermonde pour respecter la décroissance Ci-dessous, je suis fidèle (en principe) aux notations de la note attachée. Tout ce fourbi pour des partitions de type $[r]$ de longueur 1. Cela ne dispense pas pour autant d'en donner une preuve directe car sur les partitions de longueur 1, fonctions symétriques complètes et fonctions de Schur coïncident. Ci-dessous, il faut comprendre que $S$ et $H$ sont les algèbres symétriques au dessus de $\Z$ à une infinité dénombrable d'indéterminées avec des $\Z$-bases indexées par les partitions.
Bien cordialement, j__j
En préparant la leçon 168 sur les racines d'un polynôme à une indéterminé. Relations racines-coefficients, je tombe sur le calcul du déterminant de Vandermonde incomplet.
Après rajout de la colonne k manquante et de la ligne 1, X, X^2, ..., X^n, le déterminant incomplet, noté Dn,k, apparaît comme le kème coefficient du développement du déterminant complété par rapport à la dernière ligne.
Des calculs simples permettent d'établir la relation suivante :
Dn,k=Vandermonde(x1, x2, ..., xn) fois sigma(n-k), où sigma(n-k) est la fonction élémentaire symétrique des racines(x1,x2, ...,xn) d'ordre (n-k).
Une si belle formule !