0% ont trouvé ce document utile (0 vote)
16 vues4 pages

Théorèmes d'inversion et fonctions implicites

Document 214

Transféré par

Abdel Cauchy Bienvenu
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
16 vues4 pages

Théorèmes d'inversion et fonctions implicites

Document 214

Transféré par

Abdel Cauchy Bienvenu
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

214 - Théorème d'inversion locale, théorème des

fonctions implicites. Exemples et applications.

On xe une fois pour toutes n, p ∈ N∗ , U un ouvert de Rn , a ∈ U et


f : U → Rp une application diérentiable de classe C 1 .

1 Théorèmes d'inversion

1.1 Inversion locale

Dimension 1, dessins
Dénition 1. On dit que f est un diéomorphisme sur son image si elle est
de classe C 1, bijective et de réciproque de classe C 1 .
Théorème 1 (Inversion locale). On suppose que f est C k et que df (a) est
inversible. Alors il existe V ⊂ U voisinage ouvert de a et W voisinage ouvert
de f (a) tels que f soit un C k -diéomorphisme de V dans W .
Exemple.
 Contre ex. x 7→ x2 en 0
 Contre ex. Rou p. 204 sans caractère C 1
 (x, y) 7→ (x2 − y 2 , 2xy) diéo au vois. de tt pt diérent de 0 (élévation au
carré cplx)
 L'exponentielle matricielle est un diéo d'un voisinage de 0 vers un voisi-
nage de In .
Application. Gln (K) n'a pas de sous-groupe arbitrairement petit : il existe un
voisinage V de l'identité dans Gln (K) tel que le seul sous-groupe de Gln (K)
inclus dans V soit le sous-groupe trivial.
Application (Laf). Soit ϕ : R → Gln (K) un morphisme continu. Alors il
existe une unique matrice A ∈ Mn (K) telle que pour tout t ∈ R, ϕ(t) =
exp(tA).
Application (Beck). Racine k-ième d'une matrice.
Théorème 2 (Inversion locale holomorphe, [Rou p. 191]). Si f ∈ H(U ),
avec U ouvert de C et z0 ∈ U tel que f 0 (z0 ) 6= 0. Alors il existe V ⊂ U
voisinage ouvert de z0 et W voisinage ouvert de f (z0 ) tels que f soit un
C ∞ -diéomorphisme de V dans W et que f −1 soit holomorphe.

1
Application. Une fonction holomorphe non constante est ouverte.
Théorème 3 (Minoration de la taille des voisinages). Par Rouvière !
Théorème 4 (Du rang constant). On suppose que le rang de la jacobienne
de f est constant au voisinage de a égal à r. Alors il existe un changement
de coordonnées locales au voisinage de a au départ, et un autre au voisinage
de f (a) à l'arrivée, tel que dans ces coordonnées f soit égale à la projection
sur les r premières coordonnées.
Théorème 5 (Morse, [Rou]). On suppose que f est de classe C 3 et que
0 ∈ Ω. Si df (0) = 0 et d2 f (0) est non dégénérée de signature (p, n − p), alors
il existe un diéomorphisme ϕ = (ϕ1 , . . . , ϕn ) C 1 entre deux voisinages de
l'origine de Rn tel que ϕ(0) = 0 et que f (x) − f (0) = ϕ21 (x) + · · · + ϕ2p (x) −
ϕ2p+1 (x) + · · · − ϕ2n (x).

Application. Point double en un point hyperbolique, [Rou p. 330]

1.2 Inversion globale

En général, un diéomorphisme local n'est pas un diéomorphisme global


(cf exemples supra). Néanmoins en ajoutant une hypothèse d'injectivité on
a:

Théorème 6 (Inversion globale). On suppose que f est C k . Alors f est un


C k -diéomorphisme de U sur f (U ) ssi elle est injective et en tout point sa
diérentielle est inversible ; f est alors ouverte.
Théorème 7 (Inversion globale holomorphe, [Beck]). Si f ∈ H(U ) est in-
jective sur U ouvert de C, alors f est un C ∞ diéomorphisme de U sur f (U )
et f −1 est holomorphe sur f (U ).
Exemple. x > 0 est un ouvert maximal pour lequel l'élévation au carré cplx
est un diéo sur son image.
En pratique, injectivité -> calcul de f −1
Lemme 1 (Milnor, [G-T]).
Théorème 8 (Brouwer).
Application. Champ rentrant, boule chevelue.
Dénition 2. Une fonction f est dite propre si l'image réciproque de tout
compact par f est un compact.

Proposition 1. Soit f une fonction continue. Alors f est propre ssi kf (x)k kxk→+∞
−→
+∞.

2
Théorème 9 (Hadamard,[Z-Q]). Soit f : Rn → Rn de classe C 1 telle que
∀x ∈ Rn ,df (x) soit inversible. Si de plus f est propre, alors f est un C 1 -
diéomorphisme de Rn dans Rn .
Exemple. Soit f une fonction de classe C 1 et k-dilatante, k > 0. Alors f est
un C 1 -diéo sur son image.

2 Théorème des fonctions implicites

Théorème 10 (Fonctions implicites). Soient U un ouvert de Rn × Rm ,


(a, b) ∈ U et f ∈ C k (U, Rm ). On suppose que f (a, b) = 0 et que la matrice
jacobienne dy f (a, b) est inversible. Alors il existe un voisinage V de a, un
voisinage W de b et une unique application ϕ ∈ C k (V, W ) tels que :
∀(x, y) ∈ V × W, f (x, y) = 0 ⇐⇒ y = ϕ(x). De plus, la diérentielle de
ϕ vérie : dϕ(x) = − dy f (x, ϕ(x)) ◦ dx f (x, ϕ(x)).
−1

Dessin ! Equivalence inversion locale


Exemple. Le folium de Descartes : l'ensemble des (x, y) ∈ R2 vériant x3 +
y 3 − 3xy = 0 admet un paramétrage local en tout point diérent de l'origine.
Application (Beck). Régularité d'une racine simple d'un polynôme, donc des
valeurs propres.
Application. P V = nRT [Rou p. 248].
Application. Point xe à paramètre C 1 , [Rou p. 250].
Application. Équation de Burgers, [Rou p. 257].

3 Sous-variétés

Dénition 3. Un sous-ensemble M ⊂ Rn est appelé une sous-variété de


dimension p de Rn si pour tout a ∈ M , il existe des voisinages ouverts de
a et 0 dans Rn et un diéomorphisme F : U → V tels que F (U ∩ M ) =
V ∩ (Rp × {0}).

Exemple. Dimension 0, Sn , Tn , ouverts, sea, courbes, pas cône, pas segment.


Dénition 4. Immersion, submersion.

Théorème 11 (Des sous-variétés). Laf p. 29.


Exemple (Laf p. 31). On
Dénition 5. Espace tangent.

Exemple. Sphère, On ...


Théorème 12 (Extremums liés).

3
Application. Dvpt 21 pb d'extremums dans un triangle.
Application. exo 4 p. 319 Gourdon
Théorème 13. Classication des sous-variétés de dimension 1.

Vous aimerez peut-être aussi