Différentiabilité de l'inverse d'une matrice
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
zaidoun
- Membre Relatif
- Messages: 179
- Enregistré le: 27 Juil 2013, 16:41
-
par zaidoun » 24 Nov 2014, 11:59
Bonjour,
Je voudrais montrer que
) -----> M_n(\mathbb(R)))
définie par
= A^{-1})
est
différentiable et donner sa différentielle.
Je procédé comme suivant:
Si f est différentiable, alors f(A+ H)=
^{-1})
=
 +|| H || \epsilon (H))
En multipliant à gauche par (A + H), on a alors:
 (A + H)^{-1}= I = (A +H ) ( A^{-1} + df_A(H) + ||H| \epsilon(H)))
=
 +HA^{-1} +o(|| H ||))
Donc
 +HA^{-1}=0)
, soit
=- A^{-1} H A^{-1})
.
L'application

étant linéaire et par conséquent continue (dimension finie), f est bien différentiable.
C'est juste ce raisonnement?
-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 24 Nov 2014, 15:31
Salut !
Ca fait 2 ans que je n'ai pas fait de calcul diff, mais le fait que tu dises direct que
=(A + H)^{-1}=A^{-1} + df_A(H) +|| H || \epsilon (H))
me pose deux problèmes (après c'est peut-être moi) :
- Je pense que l'égalité
^{-1}=A^{-1} + df_A(H) +|| H || \epsilon (H))
n'est pas évidente, et je voudrais savoir d'où tu la sors ;
- Ensuite, on te demande montrer que f est différentiable donc qu'il existe une application linéaire df telle que ... . Or là, tu l'utilises directement (sans savoir si elle existe)
=(A + H)^{-1}=A^{-1} + df_A(H) +|| H || \epsilon (H))
sinon, le calcul de
)
a l'air bon.
-
arnaud32
- Membre Irrationnel
- Messages: 1982
- Enregistré le: 18 Oct 2010, 14:43
-
par arnaud32 » 24 Nov 2014, 15:50
tu as trouve un candidat pour ta differentielle, tu dois encore verifier qu'il verifie ta relation
(A^{-1} - A^{-1} H A^{-1})=I-(HA^{-1})^2)
donc
^{-1}(I-(HA^{-1})^2)=(A+H)^{-1}-(A+H)^{-1}(HA^{-1})^2)
reste a prouver que
^{-1}(HA^{-1})^2=o(||H||))
-
zaidoun
- Membre Relatif
- Messages: 179
- Enregistré le: 27 Juil 2013, 16:41
-
par zaidoun » 24 Nov 2014, 18:24
@capitaine nuggets: J'ai supposé que f est différentiable, donc l'égalité sort de la définition d'une application différentiable.
@arnaud32: Je pense que le terme reste que tu as mentionné est un petit o de ||H||, non?
-
Ben314
- Le Ben
- Messages: 21698
- Enregistré le: 11 Nov 2009, 21:53
-
par Ben314 » 24 Nov 2014, 20:03
zaidoun a écrit:@capitaine nuggets: J'ai supposé que f est différentiable, donc l'égalité sort de la définition d'une application différentiable.
Oui, sauf que l'énoncé était "Montrer que f est différentiable" donc si l'ensemble de ton raisonnement est basé sur un "Je suppose que f est différentiable...", j'ai peur que ça réponde pas vraiment à la question...

Donc (bis et répétita) tout ce que tu as démontré, c'est que
si f est différentiable alors sa différentielle ne peut être que blablabla et il te reste donc à montrer... que f est différentiable.
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
zaidoun
- Membre Relatif
- Messages: 179
- Enregistré le: 27 Juil 2013, 16:41
-
par zaidoun » 24 Nov 2014, 20:07
Avez vous une autre méthode pour montrer que f est différentiable?
-
zygomatique
- Habitué(e)
- Messages: 6928
- Enregistré le: 20 Mar 2014, 12:31
-
par zygomatique » 24 Nov 2014, 20:22
salut
supposer que f est différentiable pour montrer que f est différentielle .... voila qui résout bien tous les problèmes ...
posons

^{-1} = B(I + BH)^{-1})
alors en choisissant H" "suffisamment petit" :: ||H|| proche de 0 de façon que ||BH|| < 1 alors
^{-1} = \sum_0^{+\infty} (-1)^k(BH)^k = I - BH + (BH)^2 + ...)
la série converge normalement donc converge ... et f est différentiable ....
et donc
^{-1} ^= A^{-1} -)
...
Ce qui est affirmé sans preuve peut être nié sans preuve. EUCLIDE
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 85 invités