Théorème de l'Inversion Locale > [!NOTE] > ### 1. Énoncé du Théorème > Soit [formule] une application de classe [formule], où [formule] et [formule] sont des Banach. Soit [formule]. > Condition : La différentielle [formule] est un isomorphisme bicontinu. > Conclusion : Il existe un voisinage ouvert [formule] de [formule] et un voisinage ouvert [formule] de [formule] tels que : > * Bijectivité : L'application [formule] est un difféomorphisme de classe [formule] de [formule] sur [formule]. > * Formule : Pour tout [formule], en posant [formule], on a : > [formule] > [!WARNING] > ### 2. Pièges à éviter > * Caractère Local : Le théorème garantit l'injectivité au voisinage de [formule], et non sur [formule] entier. > * Contre-exemple : L'exponentielle complexe [formule] est localement injective partout, mais n'est pas injective sur [formule] car elle est de période [formule]. > * Dimension finie : [formule] est un isomorphisme si et seulement si le déterminant de la Jacobienne [formule] est non nul. > [!TIP] > ### 3. Exercice : Coordonnées Polaires > Énoncé : Soit [formule] définie sur [formule]. Montrer que [formule] est un difféomorphisme local en tout point. Est-ce global ? > > #### Solution Détaillée : > 1. Calcul de la Jacobienne : > L'application est [formule]. On calcule la matrice Jacobienne en tout point [formule] : > [formule] > > 2. Inversibilité locale : > On calcule le déterminant : [formule]. > Comme [formule] sur [formule], le déterminant est toujours non nul. D'après le TIL, [formule] est un difféomorphisme local en tout point. > > 3. Globalité : > [formule] n'est pas un difféomorphisme global de [formule] sur son image [formule] car elle n'est pas injective : [formule]. > [!QUESTION] > ### 4. Questions de Jury > * Q1 : Ce théorème est-il vrai si les espaces ne sont pas complets ? > * Rép : Non. Il existe des contre-exemples classiques dans les espaces de polynômes (théorème de Nash-Moser pour les cas "pathologiques"). > * Q2 : Comment passer du local au global ? > * Rép : Il faut des conditions topologiques supplémentaires. Par exemple, si [formule] est propre et [formule] est connexe (Théorème d'Hadamard-Lévy). > * Q3 : Que faire si [formule] n'est pas inversible ? > * Rép : On est au voisinage d'un point critique. Il faut étudier les rangs (Théorème du rang constant) ou utiliser des développements limités d'ordre supérieur (Théorie des singularités). ### 5. Références Bibliographiques * F. Rouvière, Petit guide de calcul différentiel — Très pédagogique sur le calcul différentiel. * X. Gourdon, Analyse — La référence pour l'agrégation, très complet.