On munit l'espace vectoriel du produit scalaire euclidien
et on désigne par l'espace vectoriel des endomorphismes linéaires de
muni de la norme d'opérateur associée à la norme euclidienne.
a) Soit la fonction définie par
Calculer pour chaque
et chaque
b) Soient et
On suppose que
et que
est un vecteur de norme 1 de
Montrer qu'il existe un voisinage U de u_0 dans
un voisinage V de
dans
et une fonction
de classe
tels que pour
soit le seul couple de V formé d'un vecteur propre x de norme 1 de u associé à une valeur propre
de u.
Notons et
de sorte que
.
J'ai du mal!
Je suppose que c'est :
sont partiellement différentiable en
(resp.
)
est partiellement différentiable en
(resp.
) ?
Si oui, j'ai du mal a voir qui est qui et quoi est quoi!
est bien une application de
dans
?
Je ne saisi pas la notation .
b) regardons la différentielle précédente, pour l'inverser avec .
Il faut écrire , où l'on a décomposé l'espace selon
.
désigne l'espace engendré par
,
est son orthogonal pour la structure euclidienne.
Si l'on connait et
, on connait déjà
.
On remarque que est inversible de
dans
, où
désigne projection orthogonale sur
. Je m'explique:
Le noyau de est de dimension 1, et
ne rencontre pas le noyau de
.
En effet, l'image de ne rencontre pas le noyau de
d'après la dimension de
. Ce noyau est justement celui de
On en déduit que l'on peut alors calculer en faisant la projection de
sur
.
On peut enfin calculer aisément maintenant que l'on connait
et
Donc la différentielle est inversible, et on peut appliquer le théorème des fonctions implicites.
On considère comme une fonction de
et
seulement, en fixant
. Notons
l'application ainsi obtenue.
est une application qui va de
dans
.
Si cette application a une différentielle au point , alors cette différentielle est par définition
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :