Analyse multivectorielle

Cet article est une ébauche concernant l’algèbre, la géométrie et l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

L’analyse géométrique, calcul géométrique, analyse multivectorielle, ou encore calcul multivectoriel^[1], est une branche des mathématiques qui est aux structures d'algèbres géométriques ce que l'analyse vectorielle est aux espaces vectoriels. En substance, l'analyse géométrique considère des fonctions définies sur un espace vectoriel et à valeurs dans l'algèbre géométrique sous-tendue par cet espace, et s'intéresse aux limites exhibées par ces fonctions dans le cadre du calcul infinitésimal.

Structure algébrique induite[modifier | modifier le code]

L'ensemble ${\mathcal {G}}^{\mathcal {V}}$ des fonctions de ${\mathcal {V}}$ dans ${\mathcal {G}}$ n'est pas, a priori, une algèbre géométrique. Cependant il peut être doté d'une telle structure en plaquant, point par point, la structure algébrique de ${\mathcal {G}}$ , et en associant à tout élément de ${\mathcal {G}}$ un élément de ${\mathcal {G}}^{\mathcal {V}}$ à valeur constante.

{\begin{array}{ccl}F+G&:&\mathbf {x} \mapsto F(\mathbf {x} )+G(\mathbf {x} )\\\lambda F&:&\mathbf {x} \mapsto \lambda F(\mathbf {x} )\\FG&:&\mathbf {x} \mapsto F(\mathbf {x} )G(\mathbf {x} )\\M_{\mathrm {cst} }&:&\mathbf {x} \mapsto M\end{array}}

Il est trivial de vérifier que ${\mathcal {G}}^{\mathcal {V}}$ muni d'une telle structure constitue une algèbre géométrique. Il n'est par ailleurs pas difficile de se convaincre que l'opération $M\mapsto M_{\mathrm {cst} }$ constitue une injection ainsi qu'un morphisme d'algèbres. Ce morphisme donne un sens à une expression telle que:

$A+B\wedge F$

où $A$ et $B$ appartiennent à ${\mathcal {G}}$ tandis que $F$ appartient à ${\mathcal {G}}^{\mathcal {V}}$ .

De la même façon, tout opérateur qui agit sur ${\mathcal {G}}^{\mathcal {V}}$ , c'est-à-dire qui transforme une fonction à valeurs multivectorielles en un autre fonction à valeurs multivectorielles, peut être incorporé à l'algèbre sus-mentionnée, et ce à l'aide d'un plaquage point par point similaire. Un tel plaquage sera utilisé pour étudier les propriétés algébriques des opérateurs définis dans cet article.

Dérivée directionnelle[modifier | modifier le code]

Définition[modifier | modifier le code]

Étant donné une application $F$ d'un espace vectoriel ${\mathcal {V}}$ vers son algèbre géométrique ${\mathcal {G}}({\mathcal {V}})$ , ainsi que deux vecteurs $\mathbf {a}$ et $\mathbf {b}$ de ${\mathcal {V}}$ , on appelle dérivée de $F$ dans la direction $\mathbf {b}$ au point $\mathbf {a}$ , la limite, lorsqu'elle existe, du quotient $(F(\mathbf {a} +\epsilon \mathbf {b} )-F(\mathbf {a} ))/\epsilon$ lorsque le scalaire $\epsilon$ tend vers zéro. Cette limite est alors notée^[2] $\partial _{\mathbf {b} }F(\mathbf {a} )$ :

$\partial _{\mathbf {b} }F(\mathbf {a} )=\lim _{\epsilon \rightarrow 0}{\frac {F(\mathbf {a} +\epsilon \mathbf {b} )-F(\mathbf {a} )}{\epsilon }}$

L'opérateur $F\mapsto (\mathbf {a} \mapsto \partial _{\mathbf {b} }F(\mathbf {a} ))$ , dit de dérivation selon la direction $\mathbf {b}$ , est noté $\partial _{\mathbf {b} }$ .
Dans une base $(\mathbf {e} _{1},\mathbf {e} _{2},\cdots )$ , l'opérateur de dérivation selon la direction $\mathbf {e} _{j}$ est noté $\partial _{j}$ .

Propriétés[modifier | modifier le code]

$\partial _{\mathbf {a} +\mathbf {b} }=\partial _{\mathbf {a} }+\partial _{\mathbf {b} }$
$\partial _{\lambda \mathbf {a} }=\lambda \partial _{\mathbf {a} }$
$\partial _{\mathbf {a} }(F+G)=\partial _{\mathbf {a} }F+\partial _{\mathbf {a} }G$
$\partial _{\mathbf {a} }(FG)=(\partial _{\mathbf {a} }F)G+F\partial _{\mathbf {a} }G$ (règle du produit)
$\partial _{\mathbf {a} }{\langle F\rangle _{k}}=\langle \partial _{\mathbf {a} }F\rangle _{k}$ (invariance de grade)
$\partial _{\mathbf {f} _{i}}=(\mathbf {f} _{i}\cdot \mathbf {e} ^{j})\partial _{\mathbf {e} _{j}}$ (covariance).
$\partial _{\mathbf {a} }({F\circ \lambda })=(\partial _{\mathbf {a} }\lambda ){\frac {dF}{d\lambda }}$ (règle dite d'enchainement scalaire, où $\lambda \in \mathbb {K} ^{\mathcal {V}}$ et $F\in {\mathcal {G}}^{\mathbb {K} }$ )
$\partial _{\mathbf {a} }(\mathbf {x} \mapsto \mathbf {x} )=\mathbf {a}$
$\partial _{\mathbf {a} }(\mathbf {x} \mapsto A)=0$ , (où $A$ est un multivecteur constant)
$\partial _{\mathbf {a} }(\mathbf {x} \mapsto |\mathbf {x} |)=(\mathbf {x} \mapsto {\frac {\mathbf {a} \cdot \mathbf {x} }{|\mathbf {x} |}})$
$\partial _{\mathbf {a} }(\mathbf {x} \mapsto {\frac {\mathbf {x} }{|\mathbf {x} |}})=(\mathbf {x} \mapsto {\frac {(\mathbf {a} -(\mathbf {a} \cdot \mathbf {x} )\mathbf {x} ^{-1})}{|\mathbf {x} |}}={\frac {\mathbf {x} ^{-1}(\mathbf {x} \wedge \mathbf {a} )}{|\mathbf {x} |}})$
$F(\mathbf {x} +\mathbf {a} )=e^{\partial _{\mathbf {a} }}F(\mathbf {x} )=\sum _{k>=0}{\frac {(\partial _{\mathbf {a} })^{k}}{k!}}F(\mathbf {x} )$ (développement de Taylor)

Différentielle[modifier | modifier le code]

Définition[modifier | modifier le code]

Une fonction $F\in {\mathcal {G}}^{\mathcal {V}}$ est dite continuellement différentiable en un point $\mathbf {x} \in {\mathcal {V}}$ lorsque pour tout vecteur $\mathbf {a} \in {\mathcal {V}}$ , la dérivée de $F$ selon la direction $\mathbf {a}$ existe en tout point $\mathbf {y}$ d'un voisinage de $\mathbf {x}$ , et forme une fonction continue de $\mathbf {y}$ dans ce voisinage.
Si $F$ est effectivement continuellement différentiable en $\mathbf {x}$ , alors l'application $\mathbf {a} \mapsto \partial _{\mathbf {a} }F(\mathbf {x} )$ est une application linéaire appelée différentielle, ou première différentielle, de $F$ . Cette application est notée en soulignant $F$ ou en l'indexant par $\mathbf {a}$ de telle sorte qu'on a:

${\underline {F}}(\mathbf {a} ,\mathbf {x} )=F_{\mathbf {a} }(\mathbf {x} )=\partial _{\mathbf {a} }F(\mathbf {x} )$

ou encore, lorsque le point fixe $\mathbf {x}$ est sous-entendu:

${\underline {F}}(\mathbf {a} )=F_{\mathbf {a} }=\partial _{\mathbf {a} }F$

Propriétés[modifier | modifier le code]

${\underline {F}}(\mathbf {a} +\mathbf {b} )={\underline {F}}(\mathbf {a} )+{\underline {F}}(\mathbf {b} )$
Pour $|\mathbf {x} -\mathbf {x_{0}} |$ suffisamment petit, $F(\mathbf {x} )-F(\mathbf {x_{0}} )\approx {\underline {F}}(\mathbf {x} )-{\underline {F}}(\mathbf {x_{0}} )$
${\frac {dF}{dt}}(\mathbf {x} (t))={\underline {F}}({\frac {d\mathbf {x} (t)}{dt}},\mathbf {x} )$

Dérivée vectorielle[modifier | modifier le code]

Définition[modifier | modifier le code]

Il existe plusieurs manières de définir la dérivée vectorielle^[3], et avec elle l'opérateur de dérivation vectorielle. Chacune présente des avantages et des inconvénients. Dans cette section les principales méthodes de définition sont présentées et sont assumées équivalentes. Dans tous les cas, la dérivée vectorielle d'une fonction est l'application de l' opérateur de dérivation vectorielle sur cette fonction, ou inversement, selon que ce qui est défini tout d'abord est la dérivée vectorielle ou l'opérateur de dérivation vectorielle.

À partir d'opérateurs de dérivation directionnelle[modifier | modifier le code]

Théorème et définition — Pour toute base $(\mathbf {e} _{1},\mathbf {e} _{2},\ldots )$ de base duale $(\mathbf {e} ^{1},\mathbf {e} ^{2},\ldots )$ , l'expression $\textstyle \sum _{j}\mathbf {e} ^{j}\partial _{j}$ ne dépend pas de la base choisie.

Cette expression, notée $\partial$ , est alors appelée opérateur de dérivation vectorielle:

\partial =\sum _{j}\mathbf {e} ^{j}\partial _{j}

qui peut aussi être écrit, avec la convention de sommation d'Einstein:

\partial =\mathbf {e} ^{j}\partial _{j}

Démonstration

Il suffit d'observer que $\partial$ est un produit contracté.

À partir de différentielles[modifier | modifier le code]

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Définition de Hestenes[modifier | modifier le code]

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Propriétés[modifier | modifier le code]

Comportement algébrique[modifier | modifier le code]

Théorème — L'opérateur de dérivation vectorielle se comporte algébriquement comme un vecteur.

\partial \wedge I=I\wedge \partial =0

Démonstration

Il s'agit essentiellement d'une conséquence du comportement algébrique de l'opérateur de dérivation directionnelle.

\partial \wedge I=e^{i}\partial _{i}\wedge I=\partial _{i}e^{i}\wedge I=\partial _{i}(e^{i}\cdot e^{j})e_{j}\wedge I=0

Caractérisation algébrique de la dérivée directionnelle[modifier | modifier le code]

Théorème — L'opérateur de dérivation directionnelle est le produit intérieur de sa direction par l'opérateur de dérivation vectorielle.

\partial _{\mathbf {a} }=\mathbf {a} \cdot \partial

Démonstration

Il suffit essentiellement de remarquer que $\mathbf {a}$ s'écrit, dans une base $(\mathbf {e} _{1},\mathbf {e} _{2},\ldots )$ :

\mathbf {a} =(\mathbf {a} \cdot \mathbf {e} ^{i})\mathbf {e} _{i}

Il vient alors:

{\begin{aligned}\partial _{\mathbf {a} }&=\partial _{(\mathbf {a} \cdot \mathbf {e} ^{i})\mathbf {e} _{i}}\\&=\mathbf {a} \cdot \mathbf {e} ^{i}\partial _{\mathbf {e} _{i}}\\&=\mathbf {a} \cdot \partial \end{aligned}}

∎

Notes et références[modifier | modifier le code]

↑ Le manque de sources francophones, ainsi que l'existence de plusieurs termes même parmi les sources anglo-saxonnes, fait qu'il est difficile de choisir une expression unique pour nommer cette discipline. calcul géométrique est une traduction plus littérale pour l'expression anglaise geometric calculus, tandis que analyse géométrique a le mérite de mettre en évidence l'analogie avec l'analyse vectorielle.
↑ D'autres notations existent, notamment: $\partial _{\mathbf {b} }F(\mathbf {a} )=\mathbf {b} \cdot \partial F(\mathbf {a} )=\mathbf {b} \cdot \nabla F(\mathbf {a} )$
↑ Certaines sources semblent utiliser simplement le terme gradient, mettant en évidence l'analogie avec le gradient en analyse vectorielle. Dans Multivector calculus par exemple, Hestenes n'utilise pas une seule fois l'expression vector derivative.

Annexes[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]

(en) Vector Differential Calculus, Eckhard Hitzer.
(en) Multivector calculus [PDF], David Hestenes.
(en) Differential forms in Geometric Calculus [PDF], David Hestenes.

[1] Le manque de sources francophones, ainsi que l'existence de plusieurs termes même parmi les sources anglo-saxonnes, fait qu'il est difficile de choisir une expression unique pour nommer cette discipline. calcul géométrique est une traduction plus littérale pour l'expression anglaise geometric calculus, tandis que analyse géométrique a le mérite de mettre en évidence l'analogie avec l'analyse vectorielle.

[2] D'autres notations existent, notamment: $\partial _{\mathbf {b} }F(\mathbf {a} )=\mathbf {b} \cdot \partial F(\mathbf {a} )=\mathbf {b} \cdot \nabla F(\mathbf {a} )$

[3] Certaines sources semblent utiliser simplement le terme gradient, mettant en évidence l'analogie avec le gradient en analyse vectorielle. Dans Multivector calculus par exemple, Hestenes n'utilise pas une seule fois l'expression vector derivative.

[1]

[2]

[3]