Loading AI tools
une opération de différentiation sur les champs de tenseurs De Wikipédia, l'encyclopédie libre
La dérivée de Lie est une opération de différentiation naturelle sur les champs de tenseurs, en particulier les formes différentielles, généralisant la dérivation directionnelle d'une fonction sur un ouvert de ou plus généralement sur une variété différentielle.
On note ici M une variété différentielle de dimension n, ΩM l'espace des formes différentielles sur M et X un champ de vecteurs sur M.
On peut définir la dérivée de Lie des formes différentielles sur M essentiellement de deux façons.
Soit une forme différentielle sur M de degré p. En chaque point x de M, on peut considérer que permet de donner une mesure des parallélogrammes formés de p vecteurs tangents à M en x. Lorsque l'on part de x et que l'on suit les lignes du champ X, cette mesure varie et la dérivée de Lie donne le taux de variation de cette mesure.
Soit le flot de X, c'est-à-dire la fonction telle que, pour tout x de M, , et pour t assez proche de 0, . L'expression représente la position à l'instant t d'une particule se trouvant en x à l'instant initial, et qui suit les lignes de champs à la vitesse X. Entre les instants 0 et t, la forme différentielle varie de à . Si ,, ..., sont des vecteurs tangents à M en x, les vecteurs correspondants en sont , , ..., , où désigne la différentielle en x de . La forme différentielle qui, en chaque x de M, associe aux vecteurs ,, ..., la quantité s'appelle le pullback ou l'image réciproque de par , et est notée .
On définit alors la dérivée de Lie de la forme différentielle par :
On définit de même la dérivée de Lie d'un champ de tenseurs covariant K par :
Si est de degré 0, il s'agit d'une fonction numérique f différentiable de la variété différentielle M dans . Dans ce cas, n'est autre que . La règle de dérivation des fonctions composées donne :
C'est l'image du vecteur par la différentielle de f en x. Si la variété est munie d'une structure riemannienne, il est encore possible d'écrire ce calcul à l'aide du gradient de f :
En coordonnées locales, et en utilisant les conventions de sommation d'Einstein, on peut encore l'écrire ainsi :
On montre qu'il existe une unique application linéaire vérifiant les hypothèses suivantes :
On montre que la dérivation de Lie en suivant le flot vérifie ces trois conditions, ce qui assure l'équivalence des deux définitions. La définition axiomatique permet une approche calculatoire plus efficace. Elle permet également de montrer des identités entre dérivées de Lie ; il suffit de montrer que les deux membres de l'identité vérifient les mêmes trois hypothèses.
On désigne par le produit intérieur et par d la dérivée extérieure. On a alors :
On en déduit que :
Pour toute forme différentielle :
Dans on a la formule suivante :
qu'on peut généraliser en définition de la divergence d'un champ de vecteurs sur toute variété munie d'une forme volume , en particulier les variétés riemanniennes :
Cette définition a bien un sens car en tout point x de M l'espace des formes multilinéaires alternée en degré maximal est de dimension 1.
Vu la définition en suivant le flot donnée plus haut, le flot local du champ X préserve la forme volume si et seulement si sa divergence est nulle.
Pour la forme volume associée à une métrique riemannienne g on a :
Soit de nouveau une variété différentielle M, F l'anneau commutatif des fonctions numériques indéfiniment différentiables sur M.
Une dérivation est une application linéaire D de F dans F qui vérifie la formule de Leibniz :
Notamment, pour tout champ de vecteurs X, la dérivation de Lie définit une dérivation. La réciproque est vraie : toute dérivation de M est une application de la forme pour un certain champ de vecteurs X. On peut donc identifier l'espace vectoriel des dérivations et celui des champs de vecteurs.
La composée de deux dérivations n'est plus une dérivation. Le théorème de Schwarz de l'analyse à plusieurs variables ne se généralise pas : si X et Y sont deux champs de vecteurs, les dérivées secondes X.(Y.f) et Y.(X.f) ne sont pas nécessairement égales. Ce défaut de commutation est à l'origine de la définition du crochet de Lie qui coïncide avec la dérivée de Lie des champs de vecteurs.
Soit V une variété différentielle, X et Y deux champs de vecteurs sur V.
Alors l'expression :
est une dérivation sur V, ce qui permet de parler du champ de vecteurs associé. On le note [X,Y] (crochet de Lie de X et Y), ou encore (dérivée de Lie de Y selon X), de sorte que :
qui se traduit, pour toute fonction indéfiniment différentiable f, par :
Il définit en effet sur l'espace vectoriel des champs de vecteurs une structure d'algèbre de Lie.
(Attention, il n'y a pas associativité : d'une part d'autre part et les deux sont bien évidemment différents : la différence est .)
En coordonnées locales, toujours dans le cadre des conventions d'Einstein
Une fois définie pour les fonctions et les champs de vecteurs, la dérivée de Lie s'étend aux champs de tenseurs en stipulant les propriétés suivantes :
si Y est un champ de vecteurs et une 1-forme,
On vérifie que l'on aboutit au même résultat pour les formes différentielles.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.