Académique Documents
Professionnel Documents
Culture Documents
Elements de Calcul Tensoriel PDF
Elements de Calcul Tensoriel PDF
Roland FORTUNIER
Centre Micro-lectronique de Provence "Georges Charpak"
Avenue des anmones
13541 - GARDANNE
Introduction
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.
1.2.
1.3.
1.4.
.
.
.
.
9
10
11
12
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
31
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
A. Coordonnes cylindriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
B. Coordonnes sphriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
25
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Annexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
24
24
25
25
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
17
18
19
20
4.1.
4.2.
4.3.
4.4.
4.5.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
17
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
14
15
15
Repre naturel . . . . . . . . . . . . . . .
Symboles de christoffel . . . . . . . . . .
Diffrentielle absolue, drive covariante
Les tenseurs de courbure et de torsion . .
.
.
.
.
.
.
.
.
.
.
.
.
3.1.
3.2.
3.3.
3.4.
. . . .
. . . .
et E
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Introduction
En 1900, Ricci et Levi-Civita ont donn le premier expos systmatique relatif au calcul tensoriel. Dans cet ouvrage,
les auteurs ont attir lattention des mathmaticiens et des physiciens sur un certain nombre dapplications de cette thorie mathmatique. Depuis, lapparition de la thorie de la relativit, qui na t possible que grce lexistence pralable
du calcul tensoriel, lui a fait raliser par contrecoup dimmenses progrs. Ce calcul est devenu lun des instruments
essentiels de toute la physique thorique moderne.
Ltude du calcul tensoriel peut tre ralise au sein dun cadre mathmatique formel, laide de dfinitions et de
dmonstrations plus ou moins compliques. Mais le calcul tensoriel est aussi un outil trs pratique pour lcriture et
ltude des quations servant dcrire des phnomnes physiques. En effet, les lois physiques ne sont valables que si
elles sont indpendantes de tout systme de coordonnes particulier utilis pour les reprsenter mathmatiquement. Il
est ainsi trs commode dutiliser lanalyse tensorielle en relativit gnrale, en gomtrie diffrentielle, en mcanique,
en thermodynamique, et dans de nombreuses autres branches de la science ou de la technologie, et il nest pas ncessaire
pour cela de connatre lensemble des fondements mathmatiques de la thorie.
Dans ce document, nous avons choisi de traiter lanalyse tensorielle comme un outil de description simple et concis
des lois physiques que lingnieur aura sans doute connatre et utiliser au cours de sa vie professionnelle. Le premier
chapitre est consacr la dfinition des notions lmentaires ncessaires la comprhension du calcul tensoriel. Il donne
le cadre mathmatique, volontairement restreint, dans lequel se place ce document. Ensuite, nous dfinissons dans le
second chapitre les tenseurs, leurs composantes, et les diffrentes oprations classiques qui y sont associes. Quelques
notions dalgbre extrieure sont galement fournies. Dans le troisime chapitre, nous utilisons le calcul tensoriel pour
introduire la gomtrie diffrentielle, qui concrtise cet outil. Enfin, dans le quatrime chapitre, quelques oprateurs
diffrentiels sont introduits dans un cadre tensoriel. Ces oprateurs sont la base de la plupart des lois physiques. Ils
sont explicits dans les annexes A et B pour le cas de systmes de coordonnes cylindriques et sphriques.
Le cadre thorique de ce document a t ralis laide des document [LIC 87, RIE 85]. Le lecteur pourra galement
trouver des applications du calcul tensoriel dans [HIL 78, FOR 96] pour la mcanique et la dformation plastique, ainsi
que dans [HEI 73] pour la cosmologie. Enfin, de nombreux exercices rsolus se trouvent dans [MUR 73].
Chapitre 1
Notions de base
(1.1)
x E, y E, K,
(1.2)
Dans la suite, les lments de E seront diffrencis des lments de E par un "trait suprieur".
Considrons maintenant un certain nombre dlments de lespace E dfinis sous la forme :
x E, ai (x) = xi si x = xi ai
(1.3)
10
Calcul tensoriel
On peut remarquer sur lquation prcdente que les lments ai de lespace E sont associs aux lments ai de
E. En particulier, ils sont au nombre de N et satisfont la relation :
aj (ai ) = ij =
1 si i = j
0 si i 6= j
(1.4)
Les lments ai forment une base de E . Pour dmontrer cela, nous vrifions quils forment dans E :
une famille libre, en considrant une combinaison linaire nulle i ai , o les i sont des lments du corps K.
Limage des vecteurs de base aj de E par cette combinaison linaire est donc galement nulle, et on peut crire :
i ai (aj ) = i ji = j = 0
(1.5)
(1.6)
ce qui montre que les composantes de u sur la base des ai sont les images par u des vecteurs de base ai de E
(ui = u(ai )).
La base des ai est souvent appele "base duale" des ai . Elle est constitue de N termes, ce qui montre que E est
de dimension N .
b (x)
(1.7)
xi = Bji y j
y j = Aji xi
et
fi = Aji gj
gj = Bji fi
(1.8)
On remarque sur lquation prcdente que les composantes fi et gj de u voluent de la mme faon (dans le
mme "sens") que les vecteurs de base de E. On dit quelles voluent de faon covariante par rapport ces vecteurs.
Inversement, les composantes xi et y j de u voluent de faon inverse (dans le sens "inverse") des vecteurs de base de
E. On dit quelles voluent de faon contravariante par rapport ces vecteurs.
Notions de base
11
x E, ai (x) = ai .x
(1.9)
ai .aj = ji
(1.10)
Les ai sont donc les lments de E orthogonaux aux vecteurs ai . Il sen suit que les ai forment une base de E.
Plus gnralement, limage de tout lment x de E par un lment u de E peut tre crite sous la forme u(x) =
u.x. En effet, on a :
(1.11)
Les composantes fi de u dans E sont celles de u dans E, relativement la base des ai (on a donc u = fi ai ). On
peut donc identifier tout lment u de E avec son vecteur associ u de E, et donc ne considrer quun seul espace E.
Dans un espace vectoriel pr-euclidien E, la base des ai est dite "covariante" et celle des ai est dite "contravariante".
Un vecteur quelconque u de E aura donc des composantes dans ces deux bases. Pour simplifier les notations, les
composantes fi sont souvent notes xi et on peut crire :
u = xi ai
u = xi ai
et
xi = u.ai
xi = u.ai
(1.12)
Les composantes xi de u sont dites "contravariantes", tandis que les composantes xi (i.e. fi ) sont dites "covariantes".
La figure 1.1 illustre ce rsultat dans le cas dun espace euclidien de dimension 2.
Les espaces euclidiens sont des espaces pr-euclidiens sur le corps des rels, o la dernire condition satisfaite par le
produit scalaire est remplace par la suivante :
Si x 6= 0, alors x.x > 0
Il est alors possible de dfinir une norme sur cet espace vectoriel sous la forme :
x E, k x k=
x.x
(1.13)
12
Calcul tensoriel
(1.14)
avec :
(1.15)
Les termes gij , g ij , gij = ij et gji = ji forment les composantes dun tenseur symtrique appel "tenseur mtrique" ou "tenseur fondamental", qui est dune grande importance en calcul tensoriel. En effet, il permet de calculer le
produit scalaire de deux vecteurs quelconques. On peut dailleurs remarquer que les composantes contravariantes g ij
sont obtenues en "inversant" la matrice forme par les gij , tandis que les composantes "mixtes" gij forment la matrice
identit.
Chapitre 2
Algbre tensorielle
u1 E, u2 E, v F, (u1 + u2 ) v = u1 v + u2 v
K, u E, v F, (u v) = u v = u v
Si N vecteurs ai constituent une base de E et P vecteurs bj une base de F , alors les N P vecteurs ai bj
constituent une base de E F .
Le produit tensoriel de deux espaces vectoriels est galement un espace vectoriel. On peut donc son tour le multiplier (de faon tensorielle) par un troisime espace vectoriel G, et on obtiendra lespace vectoriel (E F ) G. En
constatant que loprateur est associatif, on peut noter lespace final E F G. Dune faon gnrale, on appelle
tenseur construit sur les espaces E, F , G, ... tout lment de lespace vectoriel E F G ... Dans ce qui suit,
nous nous limiterons au cas o lespace vectoriel est engendr uniquement par un espace E et son dual E , tous deux
ventuellement multiplis plusieurs fois entre eux. Dans ce cas les lments de lespace vectoriel engendr sont appels
tenseurs affines.
Considrons par exemple un lment T de lespace vectoriel E E . Si les vecteurs ai et aj constituent des
bases respectives de E et E , alors les composantes de T dans lespace vectoriel E E seront notes Tji et on aura
T = Tji ai aj . Il est vident que T aura des quivalents dans les espaces E E, E E, et E E , mais les
notations dans ce cas deviennent vite lourdes. Or dans la plupart des applications, lespace vectoriel E est pr-euclidien,
de sorte que lon identifie E et E . Il sen suit que lon peut identifier T et ses quivalents. Dans la suite, nous nous
limiterons au cas dun espace vectoriel pr-euclidien E.
Les tenseurs affines dfinis dans des espaces vectoriels issus de produits tensoriels (successifs ou non) entre un espace
vectoriel pr-euclidien E et son dual (identifi E) sont appels tenseurs pr-euclidiens. En notant aj les vecteurs de la
base duale des ai , on peut alors crire :
(2.1)
Ceci permet de dfinir lordre dun tenseur (nombre dindices sur les composantes), ainsi que le type de ses composantes (voir paragraphe suivant).
14
Calcul tensoriel
klm i
T = Xij
a aj ak al am = Yijklm bi bj bk bl bm
(2.2)
rst
t
klm
Ypq
= Aip Ajq Bkr Bls Bm
Xij
(2.3)
Un tenseur dordre zro est un scalaire invariant par changement de systme de coordonnes. Un tenseur est dit
symtrique par rapport deux indices covariants ou deux indices contravariants si ses composantes restent inchanges
dans une permutation des deux indices. Il sera dit antisymtrique par rapport ces indices si ses composantes changent
de signe dans une permutation.
Le tenseur mtrique permet de relier entre elles les diffrentes composantes dun tenseur. En effet,la multiplication
par g ij peut tre interprte de la faon suivante : poser i = j (ou j = i) dans tout ce qui suit et lever lindice. De mme
nous pouvons donner la multiplication par gij la signification suivante : poser i = j (ou j = i) dans tout ce qui suit et
abaisser lindice. Par exemple, les composantes covariantes du tenseur Y de lquation prcdente sont obtenues sous la
forme :
ijk
Ypqrst = gri gsj gtk Ypq
(2.4)
Il existe enfin pour les tenseurs un autre type de composantes, largement utilis en physique, dans les espaces euclidiens. Ces composantes sont dailleurs appeles "composantes physiques". Ce sont les projections du tenseur sur les
vecteurs de base de lespace. Nous avons donc pour un vecteur u les composantes physiques uI suivantes, en fonction
de ses composantes covariantes et contravariantes, et de la mtrique :
uI = u.
ai
ui
gij uj
= =
kai k
gii
gii
(2.5)
De mme, pour un tenseur A dordre 2, les composantes physiques AIJ sobtiennent de la faon suivante :
AIJ = A :
ai aj
Aij
gik gjl Akl
=
=
kai aj k
gii gjj
gii gjj
(2.6)
Dans le cas dune base orthogonale, les composantes de la mtriques forment une matrice diagonale, ce qui permet
de simplifier les relations prcdentes. Dans un systme orthonorm, les composantes du tenseur mtrique concident
toutes avec la matrice identit. Il sen suit que tous les types de composantes dun tenseur sont identiques. Dans ce cas,
les indices sont tous placs "en bas" en ne considrant que les composantes covariantes des tenseurs. En calcul matriciel,
ceci est couramment utilis. La convention de sommation dEinstein est alors tendue aux indices rpts en mme
position (et non en haut et en bas comme cest normalement le cas).
Algbre tensorielle
15
...
2
p
T1 2 ...p
Ti1 i2 ...ip = i11i2 ...i
p
(2.7)
j j ...j
o le terme i11i22...ipp est une gnralisation du symbole de Kroenecker ij qui vaut (1)q si les deux suites i1 i2 . . . ip
et j1 j2 . . . jp se dduisent lune de lautre par q permutations dindices, et 0 sinon.
Ainsi, tous les types de composantes de T se dduisent de ses composantes strictes, qui sont au nombre de Cnp .
Par exemple, pour N = 3, les tenseurs dordre 2 compltement antisymtriques ont C32 = 3 composantes strictes
(T12 , T23 , T13 ). On reconnat ici les termes indpendants des matrices 3x3 antisymtriques.
16
Calcul tensoriel
On peut maintenant dfinir le "produit extrieur" entre p lments de E (u1 , u2 , . . . , up ), qui est une gnralisation
du produit vectoriel classique, sous la forme du tenseur suivant :
i i ...i
1 2
p
u1 u2 . . . up = 12...p
ui1 ui2 . . . uip
(2.8)
Si on note aj les vecteurs de base de E, et xji les composantes contravariantes de ui sur cette base (ui = xji aj ),
alors le produit extrieur scrit :
u1 u2 . . . up
i i ...i
1 2
p
= xji11 xji22 . . . xipp 12...p
aj1 aj2 . . . ajp
jp
j1 j2
= x1 x2 . . . xp aj1 aj2 . . . ajp
(2.9)
On montre ainsi que les Cnp tenseurs a1 a2 . . . ap forment une base de lespace vectoriel E (p) des tenseurs
compltement antisymtriques dordre p. Ceci permet de donner la dimension de cet espace, et dexprimer tout tenseur
T sous la forme :
= T 1 2 ...p a1 a2 . . . ap
= T1 2 ...p a1 a2 . . . ap
(2.10)
Lors dun changement de base dans E (passage des ai aux bj avec bj = Bji ai et ai = Aji bj ), on constate que les
composantes strictes X 1 2 ...p et Y 1 2 ...p dun mme tenseur T de E (p) dans les deux bases issues de celles de E
sont relies de la faon suivante :
T = X 1 2 ...p a1 a2 . . . ap = Y 1 2 ...p b1 b2 . . . bp
(2.11)
avec :
...
2
p
X 1 2 ...p = j11j2 ...j
Bj11 Bj22 . . . Bpp Y 1 2 ...p
p
(2.12)
Chapitre 3
Gomtrie diffrentielle
OM
xi
(3.1)
Ce repre naturel est donc tangent aux lignes de coordonnes (figure 3.1). Lquation prcdente montre que les dxi
sont les composantes contravariantes de dOM (vecteur de E) dans le repre naturel. Il est donc possible de dfinir le
tenseur mtrique (souvent appel "mtrique") de cet espace. Les composantes covariantes de ce tenseur sont issues du
repre naturel (gij = ai .aj ). Ce tenseur dpend du point M , origine du repre naturel, et donc de la position laquelle
on se trouve dans lespace E0 .
Supposons maintenant que lon dfinisse un nouveau systme de coordonnes curvilignes (y i ). Au point M , un
nouveau repre naturel sera constitu du point M et de vecteurs de base bi . Daprs la formule de drivation des fonctions
composes, on peut crire :
18
Calcul tensoriel
ai =
bj =
OM
xi
OM
y j
=
=
OM
y j
OM
xi
y j
xi
xi
y j
=
=
y j
xi bj
xi
y j ai
y j
xi
xi
y j
(3.2)
Cette quation montre quun changement de coordonnes curvilignes est caractris par un changement de repre
naturel. Les composantes dun tenseur T changeront donc lorsque, en un point M fix, on changera de systme de
coordonnes. Pour obtenir les nouvelles composantes de T dans le repre naturel dfini par les bi , on utilisera donc
les relations de changement de base vues prcdemment. Les composantes dun tenseur T pourront galement changer
lorsque lon dplacera le point M , tout en gardant le mme systme de coordonnes, puisque le repre naturel change.
On parle alors de "champs de tenseurs".
3.2. Symboles de christoffel
Nous avons vu que, en chaque point M de lespace E0 , on pouvait caractriser la mtrique de cet espace par un
tenseur de composantes covariantes gij . Ainsi, si lon se dplace de quantits dxi dans le repre naturel des ai , llment
de longueur engendr ds est obtenu par le produit scalaire, dans E, du vecteur dx de composantes dxi avec lui-mme.
On obtient alors :
(3.3)
Le problme fondamental en gomtrie diffrentielle rside dans le fait que le repre naturel, et donc la mtrique,
dpend du point M de lespace. Il sen suit que deux tenseurs dfinis par leurs composantes par rapport deux repres
diffrents (ou en deux points distincts de lespace) ne pourront tre compars que si lon connat le lien entre ces deux
repres. Lobjectif des symboles de Christoffel est de raliser le lien entre deux repres naturels infiniment voisins ai et
ai + dai .
Lorsque lon dplace lorigine M du repre naturel dune quantit dx, les vecteurs de base ai de ce repre se
modifient dune quantit dai . En notant dans le repre naturel initial dxi et dxi les composantes de dx (dx = dxi ai ,
dxi = dx.ai ) et dij et dij celles de dai (dai = dij aj , dij = dai .aj ), les symboles de Christoffel relient ces
quantits sous la forme :
(3.4)
Les fonctions ikj et kij sont appels symboles de Christoffel respectivement de premire et de deuxime espce. Il
sagit de N 3 fonctions relies entre elles sous la forme ikj = gkl lij et kij = g kl ilj . Pour obtenir ces N 3 fonctions,
on diffrencie les composantes covariantes de la mtrique pour obtenir :
g
gjk
dgjk = xjki dxi
= ikj + ijk
i
dgjk = dak .aj + daj .ak = (ikj + ijk )dx
xi
(3.5)
On peut enfin interprter les symboles de Christoffel de seconde espce comme les composantes dans le repre
naturel des drives partielles secondes du vecteur position OM :
ai
2 OM
=
k
x
xk xi
(3.6)
Gomtrie diffrentielle
19
La symtrie des drives secondes croises du vecteur OM (qui sera discute lors de la dfinition du tenseur de
torsion) implique les relations de symtrie ikj = jki et lij = lji , qui permettent dcrire par permutation circulaire
des indices les relations suivantes :
kij + ikj =
ikj + jik =
+ =
jik
kji
gjk
xi
gki
xj
gij
xk
(3.7)
En effectuant dans lquation prcdente la somme des deux premires relations moins la dernire, on obtient la
dfinition des termes ikj . On peut finalement crire lexpression des symboles de Christoffel de premire et de seconde
espce sous la forme :
ik
ikj = 12 ( g
xj +
k
kl
ij = g ilj
gjk
xi
gij
)
xk
(3.8)
On remarque sur les quations prcdentes que les symboles de Christoffel peuvent tre exprims directement en
fonction des variations des composantes du tenseur mtrique le long des lignes de coordonnes.
3.3. Diffrentielle absolue, drive covariante
Considrons un vecteur quelconque u dfini par ses composantes contravariantes ui dans le repre naturel des ai
au point M . Lorsque lon va se dplacer dun quantit infinitsimale sur le systme de coordonnes curvilignes, les
composantes de u vont tre modifies dune quantit dui , mais comme le repre naturel change galement, un terme
(souvent appel "convectif") va venir sajouter cette variation pour obtenir :
du = duj aj + uj daj
(3.9)
Le dernier terme de cette quation est appel "convectif". Il est d la variation du repre naturel au cours du
dplacement dans lespace. Il est illustr sur la figure 3.2, o un vecteur u est simplement transport dans le systme
de coordonnes. On na donc pas de variation de ses coordonnes dans le repre initial (dui = 0), mais ses nouvelles
composantes (dans le nouveau repre naturel) sont tout de mme modifies.
En utilisant les dfinitions prcdentes, les composantes contravariantes du vecteur du peuvent tre crites sous la
forme :
20
Calcul tensoriel
(3.10)
On donne uk le nom de "diffrentielle absolue" de uk . Il sagit des composantes contravariantes du tenseur du,
ce qui nest pas le cas pour les termes duk . Par abus de language, on dit souvent que du est la diffrentielle absolue de
u. En introduisant maintenant les drives partielles par rapport aux coordonnes curvilignes xi , on peut crire :
uk
+ kij uj
xi
(3.11)
Les termes uk,i sont les composantes mixte dun tenseur appel "drive covariante" de u. Si u avait t donn par
ses composantes covariantes uk , alors le mme raisonnement nous aurait conduit dfinir la drive covariante de u par
rapport ses composantes covariantes. On peut rsumer ces rsultats par les formules suivantes :
k j
uk,i = u
xi + ij u
uk
uk,i = xi jki uj
(3.12)
Dune faon plus gnrale, on dfinit la drive covariante dun tenseur dordre quelconque T par celles de ses
composantes. Par exemple, si T est dordre 5, sa drive covariante sera dordre 6. Ses composantes mixtes (4 fois
covariantes et 2 fois contravariantes) seront donnes par :
mn
Tijk,l
=
mn
Tijk
xl
mn
mn
ril Trjk
rjl Tirk
m rn
n mr
+lr Tijk + lr Tijk
mn
rkl Tijr
(3.13)
En applicant par exemple ces formules au tenseur mtrique, et en utilisant les relations prcdentes, on obtient :
gij,k =
gij
gij
lik glj lkj gli =
(jik + kji ) = 0
xk
xk
(3.14)
La diffrentielle absolue du tenseur mtrique est donc nulle. Ce rsultat est connu sous la nom de "thorme de
Ricci".
3.4. Les tenseurs de courbure et de torsion
La drive covariante peut tre calcule sur tout tenseur, et donc en particulier sur des tenseurs eux-mme drive
covariante. En utilisant les relations prcdentes, on peut relier la diffrence entre les drives covariantes secondes
croises dun vecteur ce vecteur sous la forme :
n
n
n
m n
uj,kl uj,lk = Rjkl
un avec Rjkl
= m
jl mk jk ml +
njl
njk
xk
xl
(3.15)
n
Les termes Rjkl
sont les composantes dun tenseur. En effet, daprs cette quation, leur produit contract avec un
tenseur dordre 1 donne une diffrence de tenseurs, et donc un tenseur. Le tenseur R ainsi obtenu est dordre 4. Il est
n
appel "tenseur de Riemann-Christoffel" ou "tenseur de courbure". Ses composantes covariantes sont Rijkl = gin Rjkl
.
On montre quelles sont :
Gomtrie diffrentielle
21
dbi = ji bj
ji = Bik Ajl kl + dBik Ajk
dai = ij aj
(3.16)
En notant maintenant xi les coordonnes curvilignes associes aux ai , et y i celles associes aux bi , et kij et kij les
symboles de Christoffel associs respectivement ces deux systmes de coordonnes, on obtient la relation suivante de
transformation des symboles de Christoffel par changement de coordonnes :
k n
k
kij = Ali Am
j Bn lm + Bn
2 xn
y i y j
(3.17)
Le dernier terme de cette quation montre que les symboles de Christoffel nont pas de caractre tensoriel. Par contre,
ce dernier terme est symtrique en (i, j). Il sen suit que les termes :
k
ij
= kij kji
(3.18)
forment les composantes dun tenseur T du troisime ordre, antisymtrique en (i, j), appel "tenseur de torsion" ou
"tenseur de Cartan". Ce tenseur est par exemple utilis dans la description des dfauts linaires (dislocations) dans les
cristaux [FOR 96].
Nous avions prcdemment reli les symboles de Christoffel aux drives secondes du vecteur position OM . Il
apparat que la nullit du tenseur de torsion equivaut la permutabilit des drives partielles de fonctions vectorielles
(telles que le vecteur position). Elle conduit la symtrie des symboles de Christoffel, et leur expression explicite en
fonction des variations de la mtrique le long des lignes de coordonnes.
Chapitre 4
i =
k
l
v i
dv i
duk
d2 ui
i du du
=
+ ikl v l
=
+
kl
dt
dt
dt
dt2
dt dt
(4.1)
Considrons maintenant les trajectoires des point M dacclration nulle. Ces trajectoires sont communment appeles des "droites". En fait, les trajectoires dacclration nulle sont donnes dune faon gnrale par le systme
dquations diffrentielles suivant, issu de lquation prcdente :
i = 1, ..., N,
k
l
d2 ui
i du du
+
=0
kl
dt2
dt dt
(4.2)
Elles sont appeles "godsiques". Dans un espace dont la mtrique est constante, cest--dire ne dpend pas du
point M considr, alors les symboles de Christoffel sont par dfinition nuls, est on retombe sur lquation dune droite.
Notons enfin que la distance d qui spare deux points situs sur une courbe paramtre xi = xi (t), aux abscisses t1 et
t2 , est donne par :
t2
d=
r
gij
t1
dui duj
dt
dt dt
(4.3)
On montre que les godsiques rendent extrmale cette distance (minimum ou maximum). Par exemple, la surface
dune sphre peut tre considre comme un espace de dimension 2, dans lequel on peut dfinir un systme de coordonnes curvilignes (lattitude et longitude), et dans lequel les grands cercles joignent deux point avec une distance minimum
ou maximum. Ces grands cercles sont des courbes paramtres qui satisfont le systme dquations diffrentielles prcdent. Ce sont les godsiques de cet espace.
24
Calcul tensoriel
4.2. Gradient
Le gradient dun tenseur T est son tour un tenseur, dont les composantes sont obtenues comme la drive covariante
des composantes de T . Le gradient dun tenseur dordre N est donc un tenseur dordre N + 1. Si f est un scalaire
(tenseur dordre 0, invariant par changement de repre), le gradient de f est un tenseur dordre 1 (un vecteur) dont les
f
composantes covariantes sont dfinies par f,i = x
i . Si u est un vecteur (tenseur dordre 1), le gradient de u est un
tenseur dordre 2, dont les composantes covariantes et mixtes sont :
ui,j =
ui
ui
kij uk et ui,j =
+ ijk uk
j
x
xj
(4.4)
Le gradient est largement prsent dans les disciplines scientifiques. Il sert par exemple dfinir les dformations
en mcanique, et les forces motrices en thermique (gradient thermique) et en chimie minrale (gradients de potentiels
chimiques ou dactivit). En coordonnes orthonormes (x, y, z), on obtient par exemple :
grad(f ) =
grad(u) =
f
x
f
y
f
z
ux
x
uy
x
uz
x
(4.5)
ux
y
uy
y
uz
y
ux
z
uy
z
uz
z
(4.6)
4.3. Divergence
La divergence dun tenseur T est son tour un tenseur, dont les composantes sont obtenues par contraction de sa
drive covariante (son gradient) par rapport son dernier indice contravariant. La divergence dun tenseur dordre N
est donc un tenseur dordre N 1. La divergence dun vecteur u est donc le scalaire ui,i , tandis que celle dun tenseur
A dordre 2 est un vecteur dont les composantes contravarientes sont Aij
,j . Lexpression gnrale de la divergence dun
tenseur dordre 2 peut tre simplifie en utilisant le thorme de Ricci.
La divergence est largement prsente dans les quations dquilibre en mcanique, ainsi que dans les quations de
conservation en thermique et en transfert de masse. Elle est principalement appliqu sur des tenseurs dordre 1 et 2. En
coordonnes orthonormes (x, y, z), on obtient :
div(u) =
uy
uz
ux
+
+
x
y
z
div(A) =
Axx
x
Ayx
x
Azx
x
+
+
+
Axy
y
Ayy
y
Azy
y
xz
+ A
z
A
+ zyz
zz
+ A
z
(4.7)
(4.8)
25
4.4. Rotationel
Le rotationel appliqu sur un vecteur u (tenseur dordre 1) est un tenseur dordre 2 dont les composantes covariantes
sont ui,j uj,i . Du fait de la symtrie des symboles de Christoffel de seconde espce sur les indices covariants, les
uj
ui
composantes covariantes du rotationel dun vecteur scrivent simplement x
j xi . Le rotationel dun vecteur est
un tenseur anti-symtrie. Il est prsent dans les quations de Maxwell en lectromagntisme. Il peut tre crit sous la
forme :
0
Rot(u) = R3
R2
R3
0
R1
R2
R1
0
(4.9)
Rx =
Ry =
R =
z
uz
y
ux
z
uy
x
uy
z
uz
x
ux
y
(4.10)
4.5. Laplacien
Le laplacien est la divergence du gradient. Il est souvent not . Cet oprateur conserve donc lordre dun tenseur.
Appliqu sur une fonction scalaire f , on obtient le scalaire (f ) = (g ij f,i ),i = g ij f,ji . Appliqu sur un vecteur u, on
obtient un tenseur dordre 1 dont les composantes covariantes sont g kj ui,jk .
Le laplacien est largement utilis dans les quations dquilibre ou de bilan, lorsque le comportement du matriau
est linaire. En coordonnes orthonormes (x, y, z), on obtient :
(f ) =
(u) =
2f
2f
2f
+ 2 + 2
2
x
y
z
2 ux
x2
2 uy
x2
2 uz
x2
+
+
+
2 ux
y 2
2 uy
y 2
2 uz
y 2
+
+
+
(4.11)
2 ux
z 2
2 uy
z 2
2 uz
z 2
(4.12)
Annexe A
Coordonnes cylindriques
Le systme de coordonnes cylindriques est un systme particulier de coordonnes curvilignes dfini de la faon
suivante (figure A.1). Soit un espace vectoriel E de dimension 3 sur le corps des rels, muni dun systme de coordonnes
orthonormes (xi ) dans un repre (ei ). Soit u un vecteur de E joignant les points O et M . Le systme de coordonnes
cylindriques (r, , z) est gnr par un repre naturel (ai ) tel que, au voisinage du point M :
(A.1)
1
x = rcos
x2 = rsin
3
x =z
(A.2)
cos
a1 = sin
0
rsin
, a2 = rcos
0
0
, a3 = 0
1
(A.3)
28
Calcul tensoriel
1
0
0 , g ij = 0
1
0
1 0
gij = 0 r2
0 0
0
0 ,
1
0
1
r2
(A.4)
ur = u1 = u1
u = ur2 = ru2
uz = u3 = u3
(A.5)
Ar = Ar12 = rA12
2 22
A = Ar22
2 = r A
A32
Az = r = rA32
(A.6)
Les symboles de Christoffel de premire espce sont obtenus laide de leur dfinition et de la mtrique dfinie
prcdemment sous la forme :
i1j
0
0 0
0 et 1ij = 0 r
0
0 0
0 0
= 0 r
0 0
i2j
0 r 0
0
= r 0 0 et 2ij = 1r
0 0 0
0
i3j
0
= 0
0
0
0
0
0
0
0 et 3ij = 0
0
0
1
r
0
0
0
(A.7)
0
0
0
0
0
(A.8)
0
0
0
0
0
0
(A.9)
Lensemble de ces quations permet de retrouver lexpression des oprateurs physiques en coordonnes cyclindriques. On trouve par exemple les composantes physiques suivantes :
le gradient dun scalaire f :
grad(f ) =
f
r
1 f
r
f
z
(A.10)
grad(u) =
ur
r
u
r
uz
r
1 ur
r (
1 u
r (
1 uz
r
u )
+ ur )
ur
z
u
z
uz
z
(A.11)
Coordonnes cylindriques
29
div(u) =
ur
ur
1 u
uz
+
+
+
r
r
r
z
(A.12)
div(A) =
Arr
r
Ar
r
Azr
r
+
+
+
1 Ar
r
1 A
r
1 Az
r
+
+
+
Arz
z
Az
z
Azz
z
+
+
+
Arr A
r
Ar +Ar
r
Azr
r
(A.13)
Rr =
R =
Rz =
u
1 uz
r z
ur
uz
z r
u
1 ur
r r
(A.14)
+
u
r
(f ) =
1 2f
2f
1 f
2f
+
+
+
r2
r2 2
z 2
r r
(A.15)
Annexe B
Coordonnes sphriques
Le systme de coordonnes sphriques est un systme particulier de coordonnes curvilignes dfini de la faon
suivante (figure B.1). Soit un espace vectoriel E de dimension 3 sur le corps des rels, muni dun systme de coordonnes
orthonormes (xi ) dans un repre (ei ). Soit u un vecteur de E joignant les points O et M . Le systme de coordonnes
sphriques (r, , ) est gnr par un repre naturel (ai ) tel que, au voisinage du point M :
(B.1)
1
x = rsincos
x2 = rsinsin
3
x = rcos
(B.2)
sincos
a1 = sinsin
cos
rcoscos
, a2 = rcossin
rsin
rsinsin
, a3 = rsinsin
0
(B.3)
32
Calcul tensoriel
1 0
gij = 0 r2
0 0
1
0
, g ij = 0
0
r2 sin2
0
0
1
r2
0
0
1
r 2 sin2
(B.4)
ur = u1 = u1
u = ur2 = ru2
u3
u = rsin
= rsinu3
(B.5)
Arr = A11
Ar = A21
r
A31
Ar = rsin
Ar = Ar12
A = Ar22
2
32
A = r2Asin
A13
Ar = rsin
23
A = r2Asin
A33
A = r2 sin2
(B.6)
ou :
Arr = A11
Ar = rA21
Ar = rsinA31
Ar = rA12
A = r2 A22
A = r2 sinA32
Ar = rsinA13
A = r2 sinA23
A = r2 sin2 A33
(B.7)
Les symboles de Christoffel de premire espce sont obtenus laide de leur dfinition et de la mtrique dfinie
prcdemment :
0
0 0
et 1ij = 0 r
0
rsin2
0 0
i1j
0 0
= 0 r
0 0
i2j
0 r
0
0
et 2ij = 1
0
= r 0
r
2
0
0 0 r2 sin(2)
i3j
0
=
rsin2
0
0
r2
sin(2)
2
1
r
0
0
0
rsin2
(B.8)
0
2r sin(2)
(B.9)
rsin2
0
r
et 3ij = 0
sin(2)
2
1
0
r
2
0
0
cos
sin
1
r
cos
sin
(B.10)
Ces quations permettent de retrouver les oprateurs diffrentiels classiques en coordonnes sphriques. On trouve
par exemple les composantes physiques des tenseurs suivants :
Coordonnes sphriques
33
grad(f ) =
f
r
1 f
r
1 f
rsin
(B.11)
grad(u) =
ur
r
u
r
u
r
1
r
1
r
1
r
ur
u
r
ur
r
1
rsin
1
rsin
1
rsin
ur
u
r
cos
rsin
u
ur
cos
+ r + rsin u
(B.12)
div(u) =
ur
ur
1 u
1 u
cos
+2 +
+
+
u
r
r
r
rsin
rsin
(B.13)
div(A) =
Arr
r
Ar
r
Ar
r
2A
rr
r
1
cos
r
+ 1r A
+ rsin
Ar
+ rsin +
r
A
3Ar
1 A
1
cos
+ r + rsin + r + rsin (A A )
A
3Ar
1 A
cos
+ 1r + rsin
+ 2 rsin
A
+
r
(B.14)
Rr =
R =
R =
1 u
1 u
cos
r rsin + rsin u
u
u
1 ur
rsin r r
u
u
1 ur
r + r r
(B.15)
(f ) =
1 2f
1
2f
2 f
cos f
2f
+ 2 2 + 2 2
+
+ 2
2
r
r
r sin 2
r r
r sin
(B.16)
Bibliographie
[FOR 96] F OREST S., Modles mcaniques de la dformation htrogne des monocristaux, Thse de Doctorat, Ecole des Mines de
Paris, 1996.
[HEI 73] H EIDMANN J., Introduction la cosmologie, PUF, 1973.
[HIL 78] H ILL R., Aspects of invariance in solid mechanics , Advances in applied mechanics, vol. 18, Academic Press, p. 175,
1978.
[LIC 87] L ICHNEROWICZ A., Elments de calcul tensoriel, Jacques Gabay, 1987, rimpression de Armand Colin (1946).
[MUR 73] M URRAY, S PIEGEL R., Analyse vectorielle : cours et problemes, McGraw-Hill Inc, New-York, 1973, traduit de theory
and problems of vector analysis.
[RIE 85] R IEU -B TRMA C., Elements de calcul tensoriel, cours ENSM-SE, 1985.