TENSEURS

Un espace vectoriel physique permet de reprsenter un tat du systme tudi comme un point de lespace. Lespace vectoriel reprsente lensemble des tats possibles que peut prendre le systme : cest lespace des tats Cela dtermine la dimension de lespace utiliser

 A cet espace vectoriel E de dimension n, on associe un corps scalaire K. Dans cet espace on a choisi un systme de coordonnes Au systme de coordonnes correspond une base (e1, e2, , en) de n vecteurs

 A partir de E et de K on peut construire un ensemble de fonctions constitu des homomorphismes de E dans K Les coordonnes dune de ces fonctions sont obtenues en appliquant la fonction sur chacun des vecteurs de base de E (ei) = i Si u est un vecteur de E alors u= ui ei (u) = (ui ei) = ui (ei) = ui i

 On distingue n homomorphismes particuliers laide de la relation canonique

ei (ej) = ij
On peut alors dcomposer tout homomorphisme sur cette famille libre et gnratrice

= i ei
Nous obtenons un nouvel espace vectoriel de dimension n : lespace dual E* dfini sur le corps scalaire K

 E* tant un espace vectoriel, nous pouvons alors dfinir son dual en utilisant la mme dmarche Il est impossible de distinguer E** de E. Le bidual est donc confondu avec lespace vectoriel initial E. u() = u(i ei) = i u(ei) = i uj ej(ei) u() = i uj ij = i ui

 En utilisant E et E* on est alors capable de dfinir des ensembles de fonctions T dfinies sur Ep x E*q dans K qui sont linaires par rapport chaque argument. Chacun de ces ensembles forme un espace vectoriel dfini sur le corps K Les lments de ces espaces vectoriels sont appels tenseurs

 Les coordonnes de T sont obtenues par la relation suivante : T(ei1,, eip,ej1, ,ejq) = Ti1 ip j1 jq Les indices i1 ip et les exposants j1 jq varient de 1 n la dimension de E T possde donc n p+q composantes

 Chacun de ces espaces se diffrencie des autres par sa dimension et donc par la somme : p+q qui dtermine le rang du tenseur Mais surtout par ses arguments et donc par le couple (q, p) qui dtermine le type du tenseur La position des indices et des exposants dans lcriture des coordonnes du tenseur traduit lappartenance de T un de ces espaces

 On connat les coordonnes dun tenseur mais comment dtermine-t-on la base correspondante ?

 Prenons un tenseur T de rang 2 et de type (1, 1) Ses coordonnes sont : Tij =T(ei, ej) T(u, ) = T(ui ei, j ej) =ui j T(ei, ej) T(u, ) = ui j Tij

 Opration produit tensoriel Soient une forme linaire et v un vecteur v (u, ) = (u) v() = i ui vj j Cette opration dfinit une application bilinaire et constitue bien un tenseur de type (1,1) Elle est anticommutative

 Utilisons maintenant les vecteurs et les formes linaires de base ei ej (u, ) = ei(u) ej() = ui j Nous pouvons dfinir n2 formes bilinaires diffrentes

 En utilisant les n2 coordonnes Tij nous pouvons dfinir un nouvelle forme bilinaire T = Tij ei ej T(u, ) = Tij ei ej (u, ) = Tij ui j = T(u, ) Les ei ej forment donc une base de lespace des tenseurs de type (1, 1)

 La dmarche est identique pour tous les espaces constitus par les fonctionnelles multilinaires Un lment de la base des tenseurs de type (q, p) scrit donc el1 elp ek1 ekq Do T = Tl1 lp k1 kq el1 elp ek1 ekq

 Le choix du systme de coordonnes dans lespace vectoriel E (et par consquent de sa base) fixe de faon unique les bases des espaces de tenseurs (et par consquent leurs coordonnes)

 Comment dterminer si un objet reprsent par une collection de n p+q nombres est un tenseur ?

 Consquences dun changement de systme de coordonnes dans E

base (e1, e2, , en) coordonnes (x1, x2, , xn) base (E1, E2, , En) coordonnes (y1, y2, , yn)

Changement de base Ej=

x i y j

ei

 Dans le dual E* nous obtenons alors : El (Ej) = lj

i x l y j
j

x i i = j y
eeee EEEE
l

( i ) = jl
j

EEEE

y x xs y j
i

eeee

y l ( i ) = s j x

eeee EEEE

On remarque que :

y x i = s x s y j
j i
l l l y y y l ( s ) = s = j sj = j x x x

eeee EEEE

eeee eeee

il vient alors :

do :

y l = j x

EEEE

eeee
j

 Reprenons lexemple du tenseur de type (1, 1) T = Tij ei ej Dans la nouvelle base on obtient T = Tlk El Ek T est un lment dun espace vectoriel Ces deux expressions sont donc quivalentes

 En crivant cette galit on dtermine la relation entre les anciennes et les nouvelles coordonnes. On obtient alors :

x y Ti = T ' k i y x
j l j k l

 Pour dterminer la loi de transformation des coordonnes dun tenseur de type quelconque il suffit dappliquer la mme dmarche. On remplace dans lexpression de T les nouveaux vecteurs de base par leur expression en fonction des anciens et les nouvelles formes linaires de base par leur expression en fonction des anciennes Il ne reste plus qu identifier terme terme les coordonnes de T

Es1 Esq Ek1 Ekp Est un lment de base des tenseurs de type (p, q) On remplace chaque lment en utilisant ces deux relations
s1

y s1 x i1 x j1 y k1

EEEE

eeee

i1

EEEE

eeee

k1

j1

 La loi de transformation suivie par les coordonnes est donc caractristique dune fonctionnelle multilinaire et dpend directement de son type. Tout objet reprsent par une collection de nh lments qui vrifie une de ces lois de transformation est un tenseur Lcriture de la loi donne le type (p, q) du tenseur, h= p +q

 Nous venons de dfinir une famille despaces vectoriels. Le choix du systme de coordonnes dans lespace gomtrique modlis E fixe les bases pour lensemble de la famille

 Quelles oprations peut-on effectuer sur les lments de cette famille ?

 Un tenseur de type (p, q) appartient un espace vectoriel. On peux donc sommer deux tenseurs de mme type (opration interne) On peux multiplier ce tenseur par un lment du corps scalaire (opration externe) Le rsultat de ces oprations est un lment de lespace vectoriel des tenseurs de type (p, q)

 A ces deux oprations on ajoute 3 oprations algbriques : Le produit tensoriel La permutation La contraction

Le produit tensoriel Lopration a t introduite dans le but dexpliciter les lments de base des espaces de fonctions multilinaires Soient une forme linaire et v un vecteur v (ei, ej) = (ei) v(ej) = i vj Les coordonnes de la forme bilinaire sont ( v)ij = i vj

 Cette opration se gnralise sous la forme suivante Soient T un tenseur de type (p, q) et S un tenseur de type (k, l)
T = Ta1 aq b1 bp ea1 eaq eb1 ebp S = Sc1 cl d1 dk ec1 ecl ed1 edk T S = Ta1 aq b1 bp Sc1 cl d1 dk (ea1 eaq eb1 ebp) (ec1 ecl ed1 edk)

 Le rsultat de cette opration est un nouveau tenseur de type (p+k, q+l) Les coordonnes du tenseur rsultant sont :

(T S) a1 aq b1 bp c1 cl d1 dk =
Ta1 aq b1 bp Sc1 cl d1 dk

 Cette opration nest pas commutative (T S) (S T) Il faut donc faire attention lordre des indices et des exposants dans lcriture des coordonnes

La permutation Les oprations de permutation vont servir rechercher les symtries (ou antisymtries) que prsente un tenseur. Une forme bilinaire est symtrique si : Bi1i2 = Bi2i1 Cette relation doit tre vrifie pour tous les indices i1 et i2

 Pour que cette relation ait un sens, nous devons crire lgalit des n2 composantes de 2 tenseurs Linversion des indices est la traduction dune permutation particulire dfinie par :

1 2 2 1

 Lopration prcdente se traduit alors par : (T)i1i2 = Ti(1)i(2) = Ti2i1 coordonne i1 i2 de(T)

=
Ti1i2 coordonne i1 i2 de T On a appliqu la permutation au tenseur T Le rsultat est un tenseur de mme type La proprit de symtrie est obtenue en comparant coordonne coordonne les deux tenseurs

 La gnralisation de cette opration des tenseurs de type (p, q) est :

(T) a1 aq b1 bp = Ta(1) a(q) b1 bp est un permutation du groupe Sq des permutations de q indices Il nest pas possible de permuter des indices et des exposants entre eux

La contraction Cette opration sert dfinir les quantits invariantes associes aux tenseurs Cest la gnralisation de la notion de trace dune application linaire.

 Une application linaire est un tenseur de rang 2 et de type (1,1) T = Tij ei ej T (el, el) = Tij ei ej (el, el) = Tll Le rsultat de cette opration est un scalaire. Il est invariant par changement de systme de coordonnes (ie de base)

 Lopration trace met en relation un tenseur de type (1, 1) avec un tenseur de type (0, 0) = (1-1,1-1) Lopration contraction met en relation un tenseur de type (p, q) avec un tenseur de type (p-1,q-1) Pour effectuer cette opration on doit prciser quel indice et quel exposant on va utiliser

 Prenons comme exemple un tenseur de rang 3 de type (2,1) Ses coordonnes sont Tijk i,j et k prennent des valeurs de 1 la dimension de lespace Il est possible deffectuer 2 contractions diffrentes sur T
Tj=Tsjs contraction entre le 1er exposant et lindice Ti=Tiss contraction entre le 2me exposant et lindice Dans les deux cas le rsultat est un vecteur Les deux vecteurs ne sont pas identiques

Rsum Tenseur est un autre nom pour forme multilinaire Il est caractris par son type qui prcise quel espace vectoriel il appartient Les coordonnes dun tenseur de type (p, q) possdent p exposants et q indices On caractrise un tenseur par la loi de transformation de ses coordonnes lors dun changement de base de lespace des tats En plus de laddition interne et de la multiplication par un scalaire on dfinit 3 nouvelles oprations.