Correction : Calcul Différentiel
1. Le Théorème d’Inversion Locale
Énoncé : Soit f : U ⊂ E → F une application de classe C k (k ≥ 1) entre deux espaces de Ba-
nach. Si Df (a) est un isomorphisme pour un point a ∈ U , alors f réalise un C k -difféomorphisme
local autour de a.
Démonstration
textbfÉtape 1 : Simplification du problème
On peut supposer, sans perte de généralité, que a = 0E , f (a) = 0F et que Df (0) = IdE (en
considérant l’application f˜(x) = [Df (a)]−1 (f (x + a) − f (a))).
textbfÉtape 2 : Utilisation du Théorème du Point Fixe
Posons g(x) = x − f (x). Alors Dg(0) = Id − Df (0) = 0. Par continuité de Dg, il existe r > 0
tel que pour tout x ∈ B(0, r), ∥Dg(x)∥ ≤ 21 .
D’après l’inégalité des accroissements finis, g est 12 -lipschitzienne sur cette boule.
Pour y ∈ B(0, r/2), définissons ϕy (x) = y + x − f (x).
1. Si ∥x∥ ≤ r, alors :
ϕy (x) = ∥y + g(x)∥
≤ ∥y∥ + ∥g(x) − g(0)∥
≤ 2r + 12 r = r
2. ϕy est une contraction car :
∥ϕy (x1 ) − ϕy (x2 )∥ = ∥g(x1 ) − g(x2 )∥
≤ 21 ∥x1 − x2 ∥
Par le théorème du point fixe de Picard, il existe un unique x = f −1 (y) dans B(0, r).
textbfÉtape 3 : Différentiabilité de l’inverse
On montre que f −1 est Lipschizienne, puis que ∥f −1 (y + k) − f −1 (y) − [Df (x)]−1 (k)∥ = o(∥k∥)
en utilisant le développement de Taylor de f . La continuité de la différentielle assure que f −1
est de classe C k .
2. Le Théorème des Fonctions Implicites
Énoncé : Soit f : E ×F → G de classe C k . Si f (x0 , y0 ) = 0 et Dy f (x0 , y0 ) est un isomorphisme,
alors il existe localement une fonction ϕ telle que f (x, ϕ(x)) = 0.
1
Démonstration
Cette preuve se déduit directement du théorème d’inversion locale.
Considérons l’application auxiliaire suivante F : E × F → E × G :
F (x, y) = (x, f (x, y))
La différentielle de F au point (x0 , y0 ) est! donnée par la matrice jacobienne par blocs :
IdE 0
DF (x0 , y0 ) =
Dx f (x0 , y0 ) Dy f (x0 , y0 )
Le déterminant operatoriel (ou l’inversibilité par blocs) montre que DF (x0 , y0 ) est inversible
si et seulement si Dy f (x0 , y0 ) l’est. Par hypothèse, c’est le cas.
D’après le théorème d’inversion locale, F admet un inverse local G de classe C k défini sur
un voisinage de (x0 , f (x0 , y0 )) = (x0 , 0).
G(x, z) = (x, γ(x, z))
Puisque G = F −1 , nous avons F (G(x, z)) = (x, z), ce qui implique :
(x, f (x, γ(x, z))) = (x, z)
En prenant la deuxième composante, on obtient :
f (x, γ(x, z)) = z
En particulier pour z = 0 :
f (x, γ(x, 0)) = 0
La fonction recherchée est donc ϕ(x) = γ(x, 0), qui est de classe C k car elle est une restric-
tion d’une application C k .
f (x, y) = 0
E
(x0 , y0 )
U ×V
Schéma : Existence locale d’une courbe de niveau zéro y = ϕ(x).