Dérivée de Lie

Dérivée de Lie

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 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.

Sommaire

Premiers exemples

Dérivée de Lie d'une fonction numérique

Définition comme dérivée directionnelle

La dérivée de Lie généralise aux variétés différentielles la notion de dérivée directionnelle d'une fonction numérique.

Si f est une fonction différentiable de la variété différentielle M dans \mathbb{R}, si X est un champ de vecteurs sur M, la dérivée de Lie de f au point p est :

\mathcal{L}_Xf(p)=X_p \cdot f=df(p)\, [X(p)]

C'est-à-dire l'image du vecteur X(p) par la différentielle de f en p. Si la variété est munie d'une structure riemannienne, il est encore possible d'écrire ce calcul à l'aide du gradient de f :

\mathcal{L}_Xf(p)=X_p \cdot f=\langle X | \nabla f(p)\rangle

En coordonnées locales, et en utilisant les conventions de sommation d'Einstein, on peut encore l'écrire ainsi :

\mathcal{L}_Xf(p)=X^a\frac{\partial f}{\partial x^a}

Définition équivalente, en suivant le flot

Avec les mêmes notations, le champ de vecteurs X définit une famille de courbes intégrales sur M.

Notamment il existe une courbe γ(t), tracée sur M, passant par p en t=0, et tangente au champ de vecteurs en tout point :

\frac{d\gamma}{dt}(t)=X\left( \gamma(t) \right)

La dérivée de Lie de la fonction f peut alors également être définie par :

\mathcal{L}_Xf(p)=\frac{d}{dt} f \left( \gamma(t) \right) \vert_{t=0}.

Identification des dérivations et des champs de vecteurs

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 de F dans F, linéaire et qui vérifie la formule de Leibniz :

D(\lambda f+g)=\lambda D(f)+D(g) \qquad D(fg)=fD(g)+gD(f)

Notamment, pour tout champ de vecteurs X, la dérivation de Lie f\mapsto \mathcal{L}_Xf définit une dérivation. La réciproque est vraie : toute dérivation de M est une application de la forme \mathcal{L}_X 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.

Dérivée de Lie d'un champ de vecteurs

Définition par le crochet de Lie

Soit V une variété différentielle, X et Y deux champs de vecteurs sur V.

Alors l'expression :

{\mathcal L}_X{\mathcal L}_Y-{\mathcal L}_Y{\mathcal L}_X

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 {\mathcal L}_X Y (dérivée de Lie de Y selon X), de sorte que :

{\mathcal L}_{[X,Y]}={\mathcal L}_{{\mathcal L}_X Y}={\mathcal L}_X{\mathcal L}_Y-{\mathcal L}_Y{\mathcal L}_X=-{\mathcal L}_{{\mathcal L}_Y X}

qui se traduit, pour toute fonction indéfiniment différentiable f, par :

{\mathcal L}_{[X,Y]}f=[X,Y]\cdot f = X\cdot (Y\cdot f) -Y \cdot (X\cdot f) = {\mathcal L}_X Y.f-{\mathcal L}_Y X.f

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 X\cdot(Y\cdot f) = {\mathcal L}_X{\mathcal L}_Yf d'autre part (X\cdot Y)\cdot f = {\mathcal L}_{{\mathcal L}_XY}f et les deux sont bien évidemment différents, la différence est {\mathcal L}_Y{\mathcal L}_Xf)

En coordonnées locales, toujours dans le cadre des conventions d'Einstein

[X,Y] = X\cdot(Y^a\frac{\partial}{\partial x^a}) - Y\cdot(X^a\frac{\partial}{\partial x^a}) = \left(X^b \frac{\partial Y^a}{\partial x^b} - Y^b \frac{\partial X^a}{\partial x^b}\right) \frac{\partial}{\partial x^a}

Définition en suivant le flot

Soit ξt le flot du champ de vecteurs X. Il est possible de transporter le vecteur Y à l'aide de l'application de flot, et d'en tirer la valeur de la dérivée de Lie :

[X,Y](p) ={\mathcal L}_XY(p)=\lim_{t\to 0} \frac1t\left(Y(p)-\xi_t^*Y(p)\right)

où \xi_t^*Y(p) := (d \xi_t)_p^{-1}(Y(\xi_t(p)))

Approche axiomatique générale

Il existe une unique application linéaire \mathcal{L}_X:\Omega M\rightarrow \Omega M vérifiant les hypothèses suivantes :

  1. \mathcal{L}_X préserve le degré.
  2. \mathcal{L}_X est une dérivation de l'algèbre ΩM.
  3. \mathcal{L}_X et d commutent.

Définition dynamique

Soit ϕt le flot de X (pour t petit). On défini la dérivée de Lie d'un champ de tenseurs K par :

\mathcal{L}_X K=\frac{d}{dt}_{|_{t=0}} \phi^*_t K

où {\phi}^*_t est le pullback associé à \phi_t\ .

Formule de Cartan

\mathcal{L}_X=\iota_X d+d\iota_X

Application :

\mathcal{L}_{fX}\omega=f.\mathcal{L}_X\omega+df\wedge \iota_X\omega

Naturalité

\varphi^*\left[\mathcal{L}_X\omega\right]=\mathcal{L}_{\varphi^*X}\left[\varphi^*\omega\right]

Définition de la divergence

Dans Rn on a la formule suivante :

\mathcal{L}_X\left[dx_1\wedge\dots\wedge dx_n\right]=\left[ \mathrm{div} X\right].dx_1\wedge\dots \wedge dx_n

qu'on peut généraliser en définition de la divergence d'un champ de vecteur sur toute variété munie d'une forme volume ω, en particulier les variétés riemanniennes :

\mathcal{L}_X\omega=\left[ \mathrm{div} X\right].\omega.

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 dynamique 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 :

\mathrm{div} \left( fX \right)=f.\mathrm{div} X + g \left( \nabla f, X \right)

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Dérivée de Lie de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Derivee de Lie — Dérivée de Lie 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 une variété différentielle. On… …   Wikipédia en Français

  • Dérivée De Lie — 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 une variété différentielle. On note ici M une… …   Wikipédia en Français

  • Dérivée de lie — 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 une variété différentielle. On note ici M une… …   Wikipédia en Français

  • Derivee directionnelle — Dérivée directionnelle En analyse, la dérivée directionnelle est un outil d analyse à une variable applicable aux fonctions à plusieurs variables. Il permet de décrire les variations infinitésimales d une fonction dans une direction particulière …   Wikipédia en Français

  • Dérivée Directionnelle — En analyse, la dérivée directionnelle est un outil d analyse à une variable applicable aux fonctions à plusieurs variables. Il permet de décrire les variations infinitésimales d une fonction dans une direction particulière. On peut définir cette… …   Wikipédia en Français

  • Dérivée directionnelle — En analyse mathématique, la notion de dérivée directionnelle permet de quantifier la variation locale d une fonction dépendant de plusieurs variables, en un point donné et le long d une direction donnée dans l espace de ces variables. Dans la… …   Wikipédia en Français

  • Derivee covariante — Dérivée covariante En géométrie différentielle, la dérivée covariante est un outil destiné à obtenir la dérivée d un champ vectoriel sur une variété. Il n existe pas de différence entre la dérivée covariante et la connexion, à part la manière… …   Wikipédia en Français

  • Dérivée Covariante — En géométrie différentielle, la dérivée covariante est un outil destiné à obtenir la dérivée d un champ vectoriel sur une variété. Il n existe pas de différence entre la dérivée covariante et la connexion, à part la manière dont elles sont… …   Wikipédia en Français

  • Derivee exterieure — Dérivée extérieure En mathématiques, la dérivée extérieure, opérateur de la topologie différentielle, étend le concept de la différentielle d une fonction aux formes différentielles de plus haut degré. Elle permet de définir les formes… …   Wikipédia en Français

  • Dérivée Extérieure — En mathématiques, la dérivée extérieure, opérateur de la topologie différentielle, étend le concept de la différentielle d une fonction aux formes différentielles de plus haut degré. Elle permet de définir les formes différentielles fermées et… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”