Tenseur symétrique

Cet article est une ébauche concernant les mathématiques.

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

Un tenseur $\mathrm {A}$ d'ordre 2 est dit symétrique si la forme bilinéaire associée est symétrique.

Un tenseur d'ordre 2 étant défini par rapport à un certain espace vectoriel, on peut y choisir des vecteurs de base et le tenseur $\mathrm {A}$ est alors représenté par une matrice $A$ de composantes $A_{ij}$ . Une définition équivalente à la précédente consiste à dire que la matrice $A$ est symétrique, c'est-à-dire que :

A_{ij}=A_{ji}\,

pour tout couple d'indices i et j,

car cette propriété reste inchangée si l'on change de base^[a].

La symétrie d'un tenseur n'est une caractéristique intéressante que si ses composantes sont réelles^[b]. Plusieurs tenseurs symétriques de dimension 3 sont utilisés en physique, notamment le tenseur des contraintes et le tenseur des déformations en science des matériaux, et le tenseur d'inertie en mécanique du solide.

Changement de repère

Si l'on passe d'une base $({\vec {u}}_{1},{\vec {u}}_{2},\ldots ,{\vec {u}}_{n})$ à une autre $({\vec {u}}'_{1},{\vec {u}}'_{2},\ldots ,{\vec {u}}'_{n})$ , la matrice colonne $V=[V_{1},V_{2},\ldots ,V_{n}]^{\mathsf {T}}$ des composantes d'un vecteur $\mathrm {\vec {V}}$ est remplacée par la matrice colonne $V'=[V'_{1},V'_{2},\ldots ,V'_{n}]^{\mathsf {T}}$ définie par $V=P\cdot V'$ où $P$ désigne la matrice de passage.

Soit $f$ la forme bilinéaire associée au tenseur $\mathrm {A}$ :

f(\mathrm {\vec {V}} ,\mathrm {\vec {W}} )=V^{\mathsf {T}}\cdot A\cdot W=(P\cdot V')^{\mathsf {T}}\cdot A\cdot (P\cdot W')=V'^{\mathsf {T}}\cdot P^{\mathsf {T}}\cdot A\cdot P\cdot W'=V'^{\mathsf {T}}\cdot A'\cdot W'

où :

A'=P^{\mathsf {T}}\cdot A\cdot P

est donc la matrice qui représente le tenseur $\mathrm {A}$ dans la nouvelle base.

Quand les deux bases sont orthonormées, la matrice de passage est orthogonale : $P^{\mathsf {T}}=P^{-1}$ .

Valeurs et vecteurs propres

Le vecteur $\mathrm {\vec {V}}$ est un vecteur propre du tenseur $\mathrm {A}$ s'il est non nul et qu'il vérifie $\mathrm {A} \cdot \mathrm {\vec {V}} =\lambda \,\mathrm {\vec {V}}$ . Le scalaire $\lambda$ est appelé valeur propre (de $\mathrm {A}$ ).

Si l'on a choisi une base, le vecteur $\mathrm {\vec {V}}$ est représenté par une matrice colonne $V$ et le tenseur $\mathrm {A}$ par une matrice (carrée) $A$ . Au sens de l'algèbre matricielle, $V$ est un vecteur propre de $A$ , pour la même valeur propre $\lambda$ . Ce résultat est valable quelle que soit la base. On peut montrer que le polynôme caractéristique de la matrice $A$ , $\det(A-\lambda I)$ où $I$ représente la matrice identité, ne dépend pas de la base^[c].

La particularité des tenseurs symétriques est que :

toutes les valeurs propres d'un tenseur symétrique sont réelles ;
deux vecteurs propres correspondant à deux valeurs propres distinctes sont perpendiculaires (orthogonaux) ;
on peut former une base orthonormée de vecteurs propres ; dans cette base le tenseur est représenté par une matrice diagonale (avec les valeurs propres sur la diagonale).

Invariants

Les valeurs propres d'un tenseur sont invariantes par changement de repère, mais ce qu'on appelle invariants sont des fonctions des valeurs propres qui ne dépendent pas de leur numérotation (qui ne changent pas si l'on intervertit deux valeurs propres), et qui sont aussi des fonctions (relativement) simples des coefficients de la matrice représentant le tenseur (dans un repère donné).

Plusieurs choix sont possibles, mais le plus fréquent est celui des coefficients du polynôme caractéristique $\det(A-\lambda I)$ .

Notes et références

↑ Pour démontrer l'indépendance de cette propriété par rapport aux repères, il suffit d'utiliser la formule de changement de base (section suivante) : $A'=P^{\mathsf {T}}\cdot A\cdot P$ donc $A'^{\mathsf {T}}=P^{\mathsf {T}}\cdot A^{\mathsf {T}}\cdot P$ . Si $A^{\mathsf {T}}=A$ , alors $A'^{\mathsf {T}}=A'$ aussi.
↑ Le concept correspondant pour les tenseurs de composantes complexes est celui de tenseur hermitien, c'est-à-dire un tenseur tel que $A_{ij}$ et $A_{ji}$ soient des complexes conjugués.
↑ $\det(A-\lambda I)$ est un polynôme de la variable $\lambda$ , dont les racines sont les valeurs propres.

Voir aussi

Tenseur antisymétrique

Portail des mathématiques

[1] Pour démontrer l'indépendance de cette propriété par rapport aux repères, il suffit d'utiliser la formule de changement de base (section suivante) : $A'=P^{\mathsf {T}}\cdot A\cdot P$ donc $A'^{\mathsf {T}}=P^{\mathsf {T}}\cdot A^{\mathsf {T}}\cdot P$ . Si $A^{\mathsf {T}}=A$ , alors $A'^{\mathsf {T}}=A'$ aussi.

[2] Le concept correspondant pour les tenseurs de composantes complexes est celui de tenseur hermitien, c'est-à-dire un tenseur tel que $A_{ij}$ et $A_{ji}$ soient des complexes conjugués.

[3] $\det(A-\lambda I)$ est un polynôme de la variable $\lambda$ , dont les racines sont les valeurs propres.

[a]

[b]

[c]