Identités vectorielles

Identités vectorielles

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


Sommaire

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 BjδlAm. 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.
 


v · Analyse vectorielle
Objets d'étude Champ de vecteurs • Champ scalaire • Équation aux dérivées partielles (de Laplace et de Poisson) Champ vectoriel
Opérateurs Nabla • Gradient • Rotationnel • Divergence • Laplacien scalaire • Bilaplacien • Laplacien vectoriel • D'alembertien
Théorèmes de Green • de Stokes • de Helmholtz • de flux-divergence • du gradient • du rotationnel

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Identités vectorielles de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Identités trigonométriques — Identité trigonométrique Une identité trigonométrique est une relation impliquant des fonctions trigonométriques et qui est vérifiée pour toutes les valeurs des variables intervenant dans la relation. Ces identités peuvent être utiles quand une… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Regle du produit — Règle du produit En analyse, la règle du produit (aussi appelée règle de Leibniz, voir dérivation) est une formule utilisée afin de trouver les dérivées de produits de fonctions. On peut l énoncer ainsi : Soit f et g des fonctions… …   Wikipédia en Français

  • Règle du produit — Pour les articles homonymes, voir Règle de Leibniz. En analyse, la règle du produit (aussi appelée règle de Leibniz, voir dérivation) est une formule utilisée afin de trouver les dérivées de produits de fonctions. On peut l énoncer ainsi :… …   Wikipédia en Français

  • Analyse Vectorielle — Articles d analyse vectorielle …   Wikipédia en Français

  • Analyse vectorielle — L analyse vectorielle est une branche des mathématiques qui étudie les champs de scalaires et de vecteurs suffisamment réguliers des espaces euclidiens, c est à dire les applications différentiables d un ouvert d un espace euclidien E à valeurs… …   Wikipédia en Français

  • Calcul vectoriel — Analyse vectorielle Articles d analyse vectorielle …   Wikipédia en Français

  • Convention De Sommation D'Einstein — Articles scientifiques sur les tenseurs Généralités Tenseur Mathématiques Tenseur (mathématiques) Produit tensoriel ... de deux modules ... de deux applications linéaires Algèbre tensorielle Champ tensoriel Espace tensoriel …   Wikipédia en Français

  • Convention d'Einstein — Convention de sommation d Einstein Articles scientifiques sur les tenseurs Généralités Tenseur Mathématiques Tenseur (mathématiques) Produit tensoriel ... de deux modules ... de deux applications linéaires Algèbre tensorielle Champ tensoriel… …   Wikipédia en Français

Share the article and excerpts

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