Identités vectorielles

Les identités suivantes peuvent être utiles en analyse vectorielle.

• $\mathbf a \cdot (\mathbf b \times \mathbf c) = \mathbf b\cdot(\mathbf c \times \mathbf a) = \mathbf c\cdot(\mathbf a\times \mathbf b)$
• $\mathbf a\times (\mathbf b\times \mathbf c) = (\mathbf c \times \mathbf b) \times \mathbf a = \mathbf b (\mathbf a \cdot \mathbf c) - \mathbf c(\mathbf a\cdot \mathbf b)$
• $(\mathbf a \times \mathbf b)\cdot(\mathbf c \times \mathbf d) = (\mathbf a \cdot \mathbf c)(\mathbf b \cdot \mathbf d) - (\mathbf a\cdot \mathbf d)(\mathbf b\cdot \mathbf c)$ (Identité de Binet-Cauchy)
• $\nabla \times (\nabla \psi) = \mathbf 0$
• $\nabla \cdot (\nabla \times \mathbf V) = 0$
• $\nabla\times(\nabla\times\mathbf V) = \nabla(\nabla\cdot \mathbf V)-\nabla^2\mathbf V$
• $\nabla(\psi\phi) = (\nabla\psi)\phi + (\nabla\phi)\psi$
• $\nabla \cdot (\psi\mathbf V) = (\nabla\psi)\cdot \mathbf V + (\nabla \cdot \mathbf V)\psi$
• $\nabla \times (\psi\mathbf V) = (\nabla\psi)\times \mathbf V + (\nabla\times\mathbf V)\psi$
• $\nabla(\mathbf A\cdot \mathbf B) = (\mathbf A \cdot \nabla)\mathbf B+(\mathbf B\cdot \nabla)\mathbf A + \mathbf A\times(\nabla\times \mathbf B) + \mathbf B\times(\nabla \times \mathbf A)$
• $\nabla\cdot(\mathbf A \times \mathbf B) = (\nabla\times\mathbf A)\cdot \mathbf B - \mathbf A\cdot(\nabla\times\mathbf B)$
• $\nabla \times (\mathbf A\times \mathbf B) = (\nabla\cdot \mathbf B)\mathbf A - (\nabla\cdot \mathbf A)\mathbf B + (\mathbf B\cdot \nabla)\mathbf A - (\mathbf A\cdot\nabla)\mathbf B$
• $\mathbf V \times (\nabla \times \mathbf V)=\nabla (\mathbf V^2/2) - (\mathbf V\cdot \mathbf \nabla)\mathbf V$

Identités vectorielles générales

Dans cette section, a, b, c et d représentent des vecteurs quelconques de $\mathbb R^n$.

Conventions d'écriture

Dans cet article, les conventions suivantes sont utilisées; à noter que la position (levée ou abaissée) des indices n'a pas, ici, beaucoup d'importance étant donné que l'on travaille dans un contexte euclidien. Cela permet néanmoins de retrouver plus directement les couplages (un indice supérieur s'associant avec un indice inférieur).

Produit scalaire

Le produit scalaire de deux vecteurs a et b est noté

$\mathbf a \cdot \mathbf b$

En convention de sommation d'Einstein cela s'écrit :

$\mathbf a \cdot \mathbf b = a_ib^i = a^ib_i$

Produit vectoriel

Le produit vectoriel de deux vecteurs a et b est noté

$\mathbf a \times \mathbf b$

En convention de sommation d'Einstein cela s'écrit :

$(\mathbf a \times \mathbf b)_i = {\epsilon_i}^{jk}a_jb_k$

Symbole de Levi-Civita

Article principal : Symbole de Levi-Civita.

Une identité revenant souvent dans les démonstrations utilisant la convention de sommation d'Einstein est la suivante :

${\epsilon_{ij}}^k{\epsilon_k}^{lm} = \delta_i^l\delta_j^m - \delta_i^m\delta_j^l$

Avec δ le symbole de Kronecker.

Triple produits

• $\mathbf a \cdot (\mathbf b \times \mathbf c) = \mathbf b\cdot(\mathbf c \times \mathbf a) = \mathbf c\cdot(\mathbf a\times \mathbf b)$

Démonstration

En convention de sommation d'Einstein on a :

$\mathbf a \cdot (\mathbf b \times \mathbf c) = a_i{\epsilon^i}_{jk}b^jc^k$

En permutant deux fois les indices du symbole de Levi-Civita et en réarrangeant les termes on obtient tour à tour les expressions équivalentes suivantes :

Premièrement :

$b^j{\epsilon_{jk}}^ic^ka_i = \mathbf b \cdot (\mathbf c \times \mathbf a)$

Deuxièmement :

$c^k{{\epsilon_k}^i}_ja_ib^j = \mathbf c \cdot (\mathbf a\times \mathbf b)$

L'identité est ainsi démontrée.

 

• $\mathbf a\times (\mathbf b\times \mathbf c) = (\mathbf c \times \mathbf b) \times \mathbf a = \mathbf b (\mathbf a \cdot \mathbf c) - \mathbf c(\mathbf a\cdot \mathbf b)$

La première égalité découle des propriétés du produit vectoriel : $(\mathbf a \times \mathbf b) = - (\mathbf b\times \mathbf a)$. La seconde est démontrée ci-dessous.

Démonstration

En convention de sommation d'Einstein on a :

$(\mathbf a\times (\mathbf b\times \mathbf c))_i = {\epsilon_i}^{jk}a_j{\epsilon_k}^{lm}b_lc_m$

En utilisant les propriétés du symbole de Levi-Civita et du symbole de Kronecker, le membre de droite peut se réécrire comme suit :

$\delta_i^l\delta^{jm}a_jb_lc_m - \delta_i^m\delta^{jl}a_jb_lc_m = b_ia_jc^j - c_ia_jb^j$

En explicitant le membre de droite on retrouve l'identité :

$(\mathbf a\times (\mathbf b\times \mathbf c))_i = b_i(\mathbf a\cdot \mathbf c) - c_i(\mathbf a\cdot \mathbf b)$

 

Autres produits

L'identité de Binet-Cauchy:

• $(\mathbf a \times \mathbf b)\cdot(\mathbf c \times \mathbf d) = (\mathbf a \cdot \mathbf c)(\mathbf b \cdot \mathbf d) - (\mathbf a\cdot \mathbf d)(\mathbf b\cdot \mathbf c)$

à noter que l'on retrouve l'identité de Lagrange si a=c et si b=d.

Démonstration

En convention de sommation d'Einstein on a :

$(\mathbf a \times \mathbf b)\cdot(\mathbf c \times \mathbf d) = {\epsilon_i}^{jk}a_jb_k{\epsilon^i}_{lm}c^ld^m$

En utilisant les propriétés du symbole de Levi-Civita et du symbole de Kronecker, le membre de droite peut se réécrire comme suit :

$\delta_l^j\delta_m^ka_jb_kc^ld^m - \delta_m^j\delta_l^ka_jb_kc^ld^m = a_lc^lb_kd^k - a_jd^jb_kc^k$

Le second membre étant obtenu en simplifiant et réarrangeant les termes. On retrouve dans ce membre de droite l'expression de produits scalaires et on a finalement :

$(\mathbf a \times \mathbf b)\cdot(\mathbf c \times \mathbf d) = (\mathbf a\cdot \mathbf c)(\mathbf b \cdot \mathbf d) - (\mathbf a\cdot \mathbf d)(\mathbf b \cdot \mathbf c)$

 

Opérateurs

Cette section fournit une liste explicite de la signification des symboles utilisés pour plus de clarté.

Divergence

Article principal : Divergence.

Divergence d'un champ vectoriel

Pour un champ vectoriel $\mathbf V$, on écrit généralement la divergence comme suit :

$\operatorname{\mathbf{div}}(\mathbf V) = \nabla \cdot \mathbf V$

C'est un scalaire.

En convention de sommation d'Einstein la divergence d'un champ vectoriel s'écrit :

$\nabla\cdot\mathbf V = \partial_iV^i$

Divergence d'un tenseur

Pour un tenseur $\stackrel{\mathbf{\mathfrak{T}}}{}$, on écrit généralement la divergence comme suit :

$\operatorname{\mathbf{div}}(\mathbf{\mathfrak{T}}) = \nabla \cdot \mathbf{\mathfrak{T}}$

C'est un vecteur

Rotationnel

Article principal : Rotationnel.

Pour un champ vectoriel $\mathbf V$, on écrit généralement le rotationnel comme suit :

$\operatorname{\mathbf{rot}}(\mathbf V) = \nabla \times \mathbf V$

C'est un champ vectoriel.

En convention de sommation d'Einstein le rotationnel d'un champ vectoriel s'écrit :

$(\nabla \times \mathbf V)_i = {\epsilon_i}^{jk}\partial_jV_k$

Gradient

Article principal : Gradient.

Gradient d'un champ vectoriel

Pour un champ vectoriel $\mathbf V$, on écrit généralement le gradient comme suit :

$\operatorname{\mathbf{grad}}(\mathbf V)=\nabla \mathbf V$

C'est un tenseur.

Gradient d'un champ scalaire

Pour un champ scalaire ψ, on écrit généralement le gradient comme suit :

$\operatorname{\mathbf{grad}}(\psi) = \nabla \psi$

C'est un vecteur.

En convention de sommation d'Einstein le gradient d'un champ scalaire s'écrit :

$(\nabla\psi)_i = \partial_i\psi$

Combinaisons d'opérateurs

Rotationnel du gradient

Le rotationnel du gradient de n'importe quel champ scalaire ψ est toujours nul :

$\nabla \times (\nabla \psi) = \mathbf 0$

Démonstration

En convention de sommation d'Einstein on a :

$\left(\nabla \times (\nabla \psi)\right)_i = {\epsilon_i}^{jk}\partial_j\partial_k\psi$

En permutant les indices j et k (permutation impaire) on obtient l'expression équivalente :

${-\epsilon_i}^{kj}\partial_k\partial_j\psi = - \left(\nabla \times (\nabla \psi)\right)_i$

Le changement de signe provient de la permutation impaire des indices. On a donc finalement :

$\left(\nabla \times (\nabla \psi)\right)_i = -\left(\nabla \times (\nabla \psi)\right)_i \Leftrightarrow \left(\nabla \times (\nabla \psi)\right)_i = 0$

L'identité est ainsi démontrée.

 

Divergence du rotationnel

La divergence du rotationnel de n'importe quel champ vectoriel $\mathbf V$ est toujours nulle :

$\nabla \cdot (\nabla \times \mathbf V) = 0$

Démonstration

En convention de sommation d'Einstein on a :

$\left(\nabla \cdot (\nabla \times \mathbf V)\right)_i = \partial_i{\epsilon^i}_{jk}\partial^j V^k$

En permutant les indices i et j (permutation impaire) on obtient l'expression équivalente :

$-\partial_j{{\epsilon_j}^{i}}_k\partial_i V^k = -\left(\nabla \cdot (\nabla \times \mathbf V)\right)_i$

Le changement de signe provient de la permutation impaire des indices. On a donc finalement :

$\left(\nabla \cdot (\nabla \times \mathbf V)\right)_i = -\left(\nabla \cdot (\nabla \times \mathbf V)\right)_i \Leftrightarrow \left(\nabla \cdot (\nabla \times \mathbf V)\right)_i = 0$

L'identité est ainsi démontrée.

 

Laplacien

Laplacien d'un champ scalaire

Le Laplacien d'un champ scalaire ψ est défini comme la divergence du gradient :

$\nabla \cdot (\nabla\psi) = \nabla^2\psi$

C'est un scalaire.

En convention de sommation d'Einstein, le Laplacien d'un champ scalaire se note comme suit :

$\nabla^2\psi = \partial_i\partial^i\psi$

Laplacien d'un champ vectoriel

Le Laplacien vectoriel d'un champ vectoriel est le vecteur dont les composantes sont les laplacien des composantes.

En convention de sommation d'Einstein cela se note :

$(\nabla^2 \mathbf V)_i = \nabla^2 (V_i) = \partial_j\partial^j(V_i)$

Rotationnel du rotationnel

Article principal : Rotationnel du rotationnel.

Le rotationnel du rotationnel d'un champ vectoriel $\mathbf V$ est donné par :

$\nabla\times(\nabla\times\mathbf V) = \nabla(\nabla\cdot \mathbf V)-\nabla^2\mathbf V$

Démonstration

En convention de sommation d'Einstein on a :

$\left(\nabla\times(\nabla\times\mathbf V)\right)_i = {\epsilon_i}^{jk}\partial_j{\epsilon_k}^{lm}\partial_lV_m$

En utilisant les propriétés du symbole de Levi-Civita et celles du symbole de Kronecker, on obtient alors :

$\delta_i^l\delta^{jm}\partial_j\partial_lV_m - \delta_i^m\delta^{jl}\partial_j\partial_lV_m = \partial_i\partial^mV_m - \partial_j\partial^jV_i$

On retrouve dans le membre de droite de cette dernière expression le gradient de la divergence et le Laplacien. On a donc finalement :

$\left(\nabla\times(\nabla\times\mathbf V)\right)_i = \left(\nabla(\nabla\cdot \mathbf V)\right)_i-\nabla^2(V_i)$

L'identité est ainsi démontrée.

 

Produit vectoriel du champ par son rotationnel

Le produit vectoriel du champ $\mathbf V$ par son rotationnel est donné par :

$\mathbf V \times (\nabla \times \mathbf V)=\nabla (\mathbf V^2/2) - (\mathbf V\cdot \mathbf \nabla)\mathbf V$

Démonstration

En convention de sommation d'Einstein on a :

$\left(\mathbf V\times(\nabla\times\mathbf V)\right)_i = {\epsilon_i}^{jk}V_j{\epsilon_k}^{lm}\partial_lV_m$

En utilisant les propriétés du symbole de Levi-Civita et celles du symbole de Kronecker, on obtient alors :

$(\delta_i^l\delta_j^m - \delta_i^m\delta_j^l)V_j\partial_lV_m = V_j\partial_iV^j-V_j\partial^jV_i$

L'identité est ainsi démontrée.

 

Autres identités impliquant des opérateurs

Dans cette section, ψ et φ représentent des champs scalaires, $\mathbf V, \mathbf A$ et $\mathbf B$ représentent des champs vectoriels.

• $\nabla(\psi\phi) = (\nabla\psi)\phi + (\nabla\phi)\psi$

Cette relation découle immédiatement de la règle du produit.

• $\nabla \cdot (\psi\mathbf V) = (\nabla\psi)\cdot \mathbf V + (\nabla \cdot \mathbf V)\psi$

Démonstration

En convention de sommation d'Einstein, on a :

$\nabla\cdot(\psi\mathbf V) = \partial_i(\psi \mathbf V)^i$

La règle du produit étant d'application, ce dernier terme est équivalent à :

$(\partial_i\psi)V^i + \psi(\partial_iV^i) = (\nabla\psi)\cdot \mathbf V + (\nabla \cdot \mathbf V)\psi$

L'identité est ainsi démontrée.

 

• $\nabla \times (\psi\mathbf V) = (\nabla\psi)\times \mathbf V + (\nabla\times\mathbf V)\psi$

Démonstration

En convention de sommation d'Einstein, on a :

$(\nabla \times (\psi \mathbf V))_i = {\epsilon_i}^{jk}\partial_j(\psi\mathbf V)_k$

La règle du produit étant d'application, ce dernier terme est équivalent à :

${\epsilon_i}^{jk}(\partial_j\psi)V_k + {\epsilon_i}^{jk}(\partial_jV_k)\psi = ((\nabla\psi)\times \mathbf V)_i + (\nabla \times \mathbf V)_i\psi$

L'identité est ainsi démontrée.

 

Gradient d'un produit scalaire

• $\nabla(\mathbf A\cdot \mathbf B) = (\mathbf A \cdot \nabla)\mathbf B+(\mathbf B\cdot \nabla)\mathbf A + \mathbf A\times(\nabla\times \mathbf B) + \mathbf B\times(\nabla \times \mathbf A)$

Démonstration

En convention de sommation d'Einstein, on a :

$(\nabla(\mathbf A\cdot \mathbf B))_i = \partial_i(A^jB_j) = \partial_i(A^jB_j)+[A^j\partial_jB_i - A^j\partial_jB_i + B_j\partial^jA_i - B_j\partial^jA_i]$

On a ainsi fait apparaître dans la parenthèse les termes $A^j\partial_jB_i = (\mathbf A\cdot \nabla) B_i$ et $B_j\partial^jA_i = (\mathbf B\cdot \nabla) A_i$. Il reste maintenant à montrer que les trois termes restants se combinent pour prendre la forme recherchée. On a, avec la règle du produit,

$\partial_i(A^jB_j) - A^j\partial_jB_i - B_j\partial^jA_i = \partial_iA^jB_j + A^j\partial_iB_j - A^j\partial_jB_i - B_j\partial^jA_i$

En rassemblant le premier et le dernier terme (et de la même manière le second et le troisième terme) on a:

$B_j\partial_iA^j - B_j\partial^jA_i = \delta^l_i\delta^{jm} B_j\partial_lA_m - \delta^{jl}\delta^m_i B_j\partial_lA_m$

où l'on a introduit des δ afin de faire apparaître le terme B_jδ_lA_m. En mettant ce terme en évidence, on a:

$(\delta^l_i\delta^{jm} - \delta^{jl}\delta^m_i)B_j\partial_lA_m = \epsilon_i^{jk} \epsilon_k^{lm}B_j \partial_l A_m$

soit finalement $(\mathbf B \times (\nabla \times \mathbf A))_i$. Le second et le troisième terme mentionnés plus haut donnent exactement le même résultat où A et B sont échangés soit $(\mathbf A\times (\nabla \times \mathbf B))_i$. En rassemblant les résultats précédents, on a finalement:

$(\nabla(\mathbf A\cdot \mathbf B))_i = (\mathbf A\cdot \nabla)B_i + (\mathbf B \cdot \nabla) A_i + (\mathbf A\times(\nabla\times\mathbf B))_i + (\mathbf B \times (\nabla \times \mathbf A))_i$

L'identité est ainsi démontrée.

 

Divergence d'un produit scalaire

• $\nabla\cdot(\mathbf A \times \mathbf B) = (\nabla\times\mathbf A)\cdot \mathbf B - \mathbf A \cdot (\nabla\times\mathbf B)$

Démonstration

En convention de sommation d'Einstein, on a :

$(\nabla \cdot (\mathbf A\times \mathbf B)) = \partial_i({\epsilon^i}_{jk}A^jB^k)$

La règle du produit étant d'application, ce dernier terme est égal à :

${\epsilon^i}_{jk}(\partial_iA^j)B^k + {\epsilon^i}_{jk}A^j(\partial_iB^k)$

En effectuant une permutation paire d'indice sur le premier terme et une impaire sur le second, on obtient :

$({{\epsilon_k}^i}_j\partial_iA^j)B^k - A^j({{\epsilon_j}^i}_k\partial_iB^k) = (\nabla \times \mathbf A)\cdot \mathbf B - \mathbf A \cdot(\nabla \times \mathbf B)$

Le changement de signe provient de la permutation impaire d'indice du symbole de Levi-Civita.

L'identité est ainsi démontrée.

 

Rotationnel d'un produit vectoriel

• $\nabla \times (\mathbf A\times \mathbf B) = (\nabla\cdot \mathbf B)\mathbf A - (\nabla\cdot \mathbf A)\mathbf B + (\mathbf B\cdot \nabla)\mathbf A - (\mathbf A\cdot\nabla)\mathbf B$

Démonstration

En convention de sommation d'Einstein, on a :

$(\nabla\times(\mathbf A\times\mathbf B))_i = {\epsilon_i}^{jk}\partial_j({\epsilon_k}^{lm}A_lB_m) = \epsilon_i^{jk}\epsilon_k^{lm}(\partial_j A_l B_m + A_l\partial_j B_m)$

où l'on a utilisé la règle du produit. Avec les propriétés du symbole de Levi-Civita ce dernier terme se réécrit

$(\delta_i^l\delta^{jm} - \delta_i^m\delta^{jl})(\partial_j A_l B_m + A_l\partial_j B_m)= \partial_jA_iB^j + A_i\partial_j B^j - \partial_jA^jB_i - A^j\partial_jB_i$

Le membre de droite peut alors s'écrire comme suit:

$(\mathbf B\cdot \nabla)A_i + A_i(\nabla\cdot\mathbf B) - (\nabla\cdot \mathbf A)B_i - (\mathbf A\cdot \nabla)B_i$

L'identité est ainsi démontrée.