Produit vectoriel

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

Le produit vectoriel est le résultat d'une multiplication vectorielle dans l'espace euclidien orienté de dimension trois. Cette notion a été théorisée dans les années 1880 par Josiah Willard Gibbs à partir des travaux de Hermann Günther Grassmann.

[modifier] Définition

Le produit vectoriel de deux vecteurs $\vec u$ et $\vec v$ se définit comme l'unique vecteur $\vec w$ tel que :

le vecteur $\vec w$ est orthogonal aux deux vecteurs donnés,
le repère $(\vec{u},\vec{v}, \vec{w})$ est de sens direct,
$\|\vec w\| = \|\vec u\| \cdot \|\vec v\| \cdot \sin(\widehat{\vec u,\vec v})$ .

[modifier] Approche tensorielle

Soient deux vecteurs à trois composantes $u i$ et $v j$ . On peut définir le tenseur

$\begin{pmatrix} u_1 v_1 & u_1 v_2 & u_1 v_3 \\ u_2 v_1 & u_2 v_2 & u_2 v_3 \\ u_3 v_1 & u_3 v_2 & u_3 v_3 \\ \end{pmatrix}$

qui, en notation tensorielle, s'écrit simplement :

$u_i\cdot v_j$

Ce tenseur peut se décomposer en la somme de deux tenseurs, l'un complètement symétrique :

$u_i\cdot v_j + u_j\cdot v_i$

qui a 6 composantes indépendantes, et l'autre complètement anti-symétrique :

$u_i\cdot v_j - u_j\cdot v_i$

qui a 3 composantes indépendantes. On peut alors « transformer » ce tenseur anti-symétrique en un vecteur à trois composantes en utilisant le symbole de Levi-Civita $\varepsilon_{ijk}$ (tenseur totalement anti-symétrique) :

$z_k = \varepsilon_{ijk} \cdot (u_i\cdot v_j - u_j\cdot v_i )$

(selon la convention de sommation d'Einstein, on somme sur i et sur j dans la formule ci-dessus). Le vecteur z_k est le produit vectoriel de $u i$ et $v j$ .

On voit que si l'on échange les indices i et j, le signe change. De fait, en physique, lorsqu'une grandeur est le produit vectoriel de deux vecteurs, elle est souvent qualifiée de « pseudo-vecteur » (c'est le problème de l'image du système dans un miroir).

[modifier] Notation

Plusieurs notations sont en concurrence pour le produit vectoriel. On utilise spécialement en France le V renversé ( $\wedge$ ) initié par Cesare Burali-Forti, mais qui a le gros défaut d'être en conflit avec la notation du produit extérieur. La notation par une croix ( $\times$ ), due à Josiah Willard Gibbs, a le défaut d'être en conflit avec le produit des réels ou le produit cartésien.

Voici quelques exemples de notation:

$\vec A\wedge \vec B$ en France et dans les pays francophones en général;
$\vec A\times \vec B$ dans les pays anglophones et hispanophones, en Allemagne, Chine, Japon, Canada (y compris francophone), Corée, Vietnam etc;
$\left[\vec A\, \vec B\right]$ en Russie;
$\left[\vec A\, , \vec B\right]$ en Ukraine.

[modifier] Propriétés

Le produit vectoriel :

est distributif sur l'addition :

$\vec u\wedge(\vec v+\vec w) = \vec u\wedge\vec v+\vec u\wedge\vec w$ ,
est compatible avec la multiplication par un scalaire :

$\lambda (\vec u\wedge\vec v) = \lambda\vec u\wedge\vec v = \vec u\wedge\lambda\vec v$ ,
est anticommutatif :

$\vec u\wedge\vec v = -\vec v\wedge\vec u$
est non associatif :

$\vec u\wedge(\vec v\wedge\vec w) \ne (\vec u\wedge\vec v)\wedge\vec w$
satisfait l'identité de Jacobi :

$\vec u\wedge(\vec v\wedge\vec w) + \vec w\wedge(\vec u\wedge\vec v) + \vec v\wedge(\vec w\wedge\vec u) = \vec 0$

Ces propriétés montrent que $\R^3$ muni du produit et de l'addition vectoriels forment une algèbre de Lie.

D'autre part, il satisfait aux identités de Lagrange :

$\vec u\wedge(\vec v\wedge\vec w) \equiv (\vec u\cdot\vec w)\vec v - (\vec u\cdot\vec v)\vec w$

$(\vec u\wedge\vec v)\wedge\vec w \equiv (\vec u\cdot\vec w)\vec v - (\vec v\cdot\vec w)\vec u$

Dans une base orthonormée directe $\left(\vec i, \vec j, \vec k \right)$ :

$\vec u \wedge \vec v = \begin{vmatrix} \vec i & \vec j & \vec k \\ u_x & u_y & u_z \\ v_x & v_y & v_z \end{vmatrix}=(u_yv_z-u_zv_y)\vec i+(u_zv_x-u_xv_z)\vec j+(u_xv_y-u_yv_x)\vec k$

En partant de l'identité algébrique :

$\left((bc'-b'c)^2+(ca'-c'a)^2+(ab'-a'b)^2\right) + (aa'+bb'+cc')^2 = (a^2+b^2+c^2)\cdot (a'^2+b'^2+c'^2)$ ,

on peut démontrer facilement l'égalité (aussi appelée Identité de Lagrange) :

que l'on peut aussi écrire sous la forme :

$\left(\frac{\|\vec u\wedge\vec v\|}{\|\vec u\|\cdot \|\vec v\|}\right)^2 + \left(\frac{\vec u\cdot\vec v}{\|\vec u\|\cdot \|\vec v\|}\right)^2 = 1\,$

ce qui équivaut à l'identité trigonométrique :

$\sin^2(\widehat{\vec{u},\vec{v}}) + \cos^2(\widehat{\vec{u},\vec v}) = 1$ ,

et qui n'est rien d'autre qu'une des façons d'écrire le théorème de Pythagore.

D'après la définition du produit vectoriel, le sinus de l'angle formé par deux vecteurs est égal à :

$\sin (\widehat{\vec u,\vec v}) = \frac{\|\vec u\wedge\vec v\|}{\|\vec u\|\cdot\|\vec v\|}$

Ainsi, si les vecteurs sont colinéaires, $\vec u \| \vec v$ , alors l'angle entre eux est nul et la multiplication vectorielle donne le vecteur nul :

$\vec u\wedge\vec v = \vec 0$ .

Si les vecteurs $\vec u$ et $\vec v$ ont même origine, la norme $\|\vec u \wedge \vec v\|$ est égale à l'aire du parallélogramme construit sur $\vec u$ et $\vec v$ , car l'aire du parallélogramme est le produit de sa hauteur par un des côtés, et sa hauteur est égale au produit de l'autre côté par le sinus de l'angle.

[modifier] Applications

On définit l'opérateur rotationnel comme suit :

$\operatorname{rot} \ \vec u = \nabla \wedge \vec u=\begin{vmatrix} \vec i & \vec j & \vec k \\ \partial_x & \partial_y & \partial_z \\ u_x & u_y & u_z \end{vmatrix}$