La maison d'Hades

A noter avant de poursuivre 

1) Le symbole « Tr » symbolise par la suite la trace d'une matrice.

2) Ce foncteur ne doit pas être confondu avec le foncteur sommation « ⊕ » présenté sur une autre page de ce site : voir le calcul alternatif du second invariant d'un champ électromagnétique.

Quelques manipulations mènent à l'expression recherchée (voir le document .pdf) :

Un calcul agébrique mené à partir des expressions des coefficients dans la diagonale de la matrice [D] permet de constater que :

L’inverse de la matrice déformante inversible a été calculée dans une annexe précédente. Elle peut se décomposer en une somme de trois matrices-lignes de la façon suivante :

Par ailleurs et d'une manière générale, le calcul des coefficients de degré deux fait intervenir un ensemble de (a priori) neuf matrices [_mnT].

Il se trouve en particulier que les matrices [_mmT] pour m = 1, 2, 3 peuvent s'exprimer en fonction des entrées de l'inverse de la matrice déformante de la manière suivante :

Et que :

J'en déduis donc :

[A]^-1.[J] = {[₁₁T] + [₂₂T] + [₃₃T]}^t

Il faut ensuite se lancer dans une comparaison visuelle avec les relations définissant les coefficients dans la diagonale de [D] (rappel) ...

... et constater que, comme proposé plus haut :

Il en découle alors :

 Tr{[D]} = Tr{{|A|.{[A]^-1.[J]}^t}.[P]}

Il existe donc une égalité entre les traces de deux matrices. La première est celle contenant les coefficients de degré deux du polynôme associé avec une décomposition d'un produit vectoriel déformé. La seconde est un produit matriciel dont le second argument est la partie principale de la décomposition en question.

L'égalité des traces ne signe malheureusement pas celle des matrices. Quelques calculs supplémentaires sont encore nécessaires pour parvenir à découvrir le formalisme générique de la partie principale [P].

Cette page a été mise à jour 

le 18 septembre 2026