Catalogue Licence
L3 • Analyse Réelle
Recherche L3

Théorèmes d'inversion locale et des fonctions implicites

Difféomorphismes locaux, résolution implicite, sous-variétés, multiplicateurs de Lagrange

Fils Rouges :Fil 4 — Approximation locale : remplacer par du linéaire
Point d'entrée intuitif

Pourquoi une information sur la DÉRIVÉE en un seul point suffit-elle à déterminer le comportement d'une fonction sur tout un voisinage — et pourquoi cette information ne dit-elle jamais rien de global ?

Idée en une phrase :
Une fonction régulière ressemble tellement à son approximation linéaire au voisinage d'un point que l'inversibilité de celle-ci se transmet à celle-là.
Généalogie historique du concept :

Le théorème des fonctions implicites est utilisé de manière informelle dès le XVIII siècle : on dérive des équations sans se demander si elles définissent bien une fonction. Cauchy et Dini en donnent au XIX des versions rigoureuses, Dini publiant en 1878 l'énoncé qui porte souvent son nom. Goursat et Hadamard clarifient le lien avec l'inversion locale. Le point de vue moderne — démonstration par point fixe, extension aux espaces de Banach — est dû à Hildebrandt et Graves dans les années 1920, et il révèle que le résultat ne dépend que de la complétude.

Pourquoi CETTE définition formelle :

Pourquoi exiger la continuité de la DIFFÉRENTIELLE, et non la seule différentiabilité ? Parce que la preuve compare la fonction à sa linéarisation sur tout un voisinage, non en un seul point : il faut que la différentielle reste proche de celle du point de référence. Sans continuité de la différentielle, le théorème devient faux — un contre-exemple explicite existe en dimension un, avec une fonction dérivable de dérivée non continue.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Un difféomorphisme local est un changement de carte : au voisinage d'un point, on peut redresser les coordonnées pour simplifier le problème.

Ce qu'elle capture :

Le théorème autorise à choisir les coordonnées les plus commodes localement, ce qui est le principe même de la géométrie différentielle.

⚠️ Où l'analogie ment :

L'image suggère qu'on peut redresser globalement. Faux : l'exponentielle complexe est un difféomorphisme local partout et n'est injective nulle part globalement. Le théorème est irréductiblement LOCAL.

Modèle #2

Le théorème des fonctions implicites dit qu'une équation définit une fonction, à condition qu'on puisse « diviser » par la dérivée partielle en la variable à isoler.

Ce qu'elle capture :

La condition d'inversibilité de la différentielle partielle est exactement ce qui autorise à résoudre, et elle généralise la division par un coefficient non nul.

⚠️ Où l'analogie ment :

L'image ne dit pas que la fonction obtenue n'est pas calculable. Le théorème est purement existentiel : il donne une formule pour la DÉRIVÉE de la fonction implicite, jamais pour la fonction elle-même.

Modèle #3

Les multiplicateurs de Lagrange expriment qu'à l'optimum sous contrainte, le gradient de l'objectif est perpendiculaire à la surface de contrainte.

Ce qu'elle capture :

S'il ne l'était pas, une composante tangentielle permettrait d'améliorer en restant sur la contrainte : la stationnarité impose l'orthogonalité.

⚠️ Où l'analogie ment :

L'image suppose que la surface de contrainte a bien un plan tangent. Aux points où le gradient de la contrainte s'annule — points singuliers — la méthode échoue et peut manquer l'optimum.

Les Pièges Conceptuels Classiques

1
Une différentielle inversible en tout point donne un difféomorphisme global.

Correction :

Faux. L'application a une différentielle inversible partout où , et n'est pas injective — elle est -périodique. L'exponentielle complexe fournit le même phénomène. L'injectivité globale exige une hypothèse supplémentaire, par exemple la propreté.

2
La différentiabilité suffit pour l'inversion locale.

Correction :

Il faut la classe . La fonction , prolongée par , est dérivable en de dérivée , donc inversible au sens linéaire ; pourtant elle n'est monotone sur AUCUN voisinage de zéro, sa dérivée oscillant entre des valeurs positives et négatives. La continuité de la dérivée est indispensable.

3
Le théorème des fonctions implicites permet de calculer la fonction.

Correction :

Il est purement EXISTENTIEL. La formule donne la dérivée en un point où l'on connaît déjà la valeur de , ce qui permet des développements limités — mais aucune expression close de . Pour , la fonction implicite existe et n'est exprimable par aucun radical.

4
Un point vérifiant les conditions de Lagrange est un extremum.

Correction :

C'est une condition NÉCESSAIRE seulement, exactement comme l'annulation de la dérivée en dimension un. Les points de Lagrange peuvent être des maxima, des minima ou des points selle contraints. Il faut ensuite comparer les valeurs, ou étudier la hessienne restreinte à l'espace tangent.

Glossaire des Notations Mathématiques

différentielle en a

application LINÉAIRE approchant $f$ au voisinage de $a$ ; son inversibilité est l'hypothèse clé

jacobien

déterminant de la différentielle ; non nul équivaut à inversible en dimension finie

différentielle partielle

différentielle par rapport à la variable qu'on veut ISOLER ; son inversibilité autorise la résolution