# Analyse multivectorielle

L’analyse géométrique, calcul géométrique, analyse multivectorielle, ou encore calcul multivectoriel, 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

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
### Définition

   É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 $\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

* $\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
### Définition

   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

* ${\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
### Définition

Il existe plusieurs manières de définir la dérivée vectorielle, 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

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}$
Il suffit d'observer que $\partial$ est un produit contracté.

#### Définition de Hestenes
### Propriétés
#### Comportement algébrique

Théorème — L'opérateur de dérivation vectorielle se comporte algébriquement comme un vecteur.
$\partial \wedge I=I\wedge \partial =0$
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

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$
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}}$