Adloun

La dérivée de l'inverse d'une matrice

Exercice de TD · niveau 3 (difficile) · mathématiques (MP/MPI), chapitre 7 — Fonctions vectorielles · A. Dérivabilité et opérations

Énoncé

Soit dérivable.

a) Montrer que est dérivable, et de classe dès que l'est.

b) Établir .

c) Pourquoi n'a-t-on pas ? Le vérifier sur .

Corrigé

Deux questions à ne pas confondre. Prouver que est dérivable n'est pas gratuit et demande de savoir comment les coefficients de l'inverse dépendent de ceux de ; calculer la dérivée est facile une fois cela acquis. L'erreur classique consiste à dériver sans avoir justifié qu'on en a le droit.

a) La dérivabilité, par les cofacteurs. Posons . La formule de la comatrice donne Chaque coefficient de est, au signe près, un mineur d'ordre , c'est-à-dire un polynôme en les coefficients ; en est un aussi ; et les sont dérivables par hypothèse. Sommes et produits de fonctions dérivables étant dérivables, numérateur et dénominateur sont dérivables, et partout puisque est inversible. Le quotient est donc dérivable : est dérivable, et le même argument avec « de classe » donne la seconde affirmation.

b) Le calcul, par Leibniz. Le produit matriciel est bilinéaire sur , de dimension finie : la règle de l'exercice 3 s'applique à , fonction constante égale à , donc de dérivée nulle : Multiplions à gauche par ; comme , il vient , c'est-à-dire (On multiplie à gauche parce que c'est le seul côté où le second terme se simplifie : à droite, ne donne rien.)

c) Le point délicat — l'ordre des facteurs. Le produit matriciel n'est pas commutatif : on ne peut pas regrouper les deux du même côté, et , calqué sur la dimension , n'a aucune raison de valoir . Vérifions-le. Pour , de déterminant , on a La formule démontrée donne , puis c'est bien la dérivée calculée directement. La formule fautive, elle, donne avec : Elle se trompe d'un facteur : l'ordre des facteurs n'est pas une coquetterie d'écriture.

Ce que l'exercice installe. Deux gestes de nature différente, à toujours séparer : la dérivabilité se prouve par la structure (les cofacteurs font de une fraction rationnelle à dénominateur non nul), la formule en dérivant une identité et en simplifiant du bon côté. Retenir la formule elle-même : c'est la différentielle de l'inversion, qu'on retrouvera en calcul différentiel sous la forme , et qui prouve au passage que est de classe sur l'ouvert .

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.