Difféomorphismes
Dans ce qui suit, et sont des - espaces vectoriels normés de dimension finie.
Définition :
Soit une base de et une base de .
Soit une application de dans qui admet en un point de des dérivées partielles d'ordre .
La matrice jacobienne de la fonction en est la matrice en notant ses fonctions coordonnées.
Si , le déterminant de la matrice jacobienne de en est appelé jacobien de en .
Par exemple, la fonction définie par : a pour coordonnées : , et : .
Ses fonctions coordonnées admettent des dérivées partielles d'ordre sur .
Donc la matrice jacobienne de en est : .
Et le jacobien de en est : .
Fondamental :
Propriétés
pour tous réels et .
.
Ces propriétés sont des conséquences directes des propriétés des dérivées partielles.
Définition :
Une fonction est un - difféomorphisme d'un ouvert non vide de dans un ouvert de si :
la fonction est de classe sur ,
la fonction est bijective de dans ,
sa réciproque est de classe sur .
La fonction est un - difféomorphisme de dans si c'est un - difféomorphisme pour tout entier .
Fondamental :
Propriétés
Si est un - difféomorphisme d'un ouvert de dans un ouvert de , alors :
.
l'application est un - difféomorphisme de dans .
.
.
Fondamental :
Théorème d'inversion locale
Soit une application de classe sur un ouvert de à valeurs dans tel que .
Si en un point , alors il existe un ouvert de contenant tel que la restriction de à soit un - difféomorphisme de dans .
Dans l'exemple précédent, la fonction définie par : est un -difféomorphisme local au voisinage de tout point de .
En effet : , donc : si .
Mais on peut remarquer que : .
Donc, au voisinage de , la fonction n'est pas injective, donc n'est pas un -difféomorphisme local.
Donc la fonction n'est pas un -difféomorphisme de dans .
Fondamental :
Théorème d'inversion globale
Si est injective, de classe sur et si , alors est un ouvert de et est un - difféomorphisme de dans .
Ce théorème permet d'effectuer des changements de variables dans des équations aux dérivées partielles.