Documente Academic
Documente Profesional
Documente Cultură
UNIVERSIT PARIS-SUD
ORSAY
CALCUL TENSORIEL
G. Abramovi
i
septembre 2010
C
D
. .
Bases et ve
teurs . . . . . .
S
alaires . . . . . . . . . . .
Oprateurs . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
Cas d'une base non orthonormale . . . . . . . . . . . . .
1
Mtrique . . . . . . . . . . . . . . . . . . . . . . . . . .
2
Bases r
iproques . . . . . . . . . . . . . . . . . . . . . .
3
Composantes
ovariantes et
ontravariantes d'un ve
teur
4
Composantes
ontravariantes et
ovariantes d'un tenseur
5
Convention d'Einstein . . . . . . . . . . . . . . . . . . .
Changements de base
. . . . . . . . . . . . . . . . . . . . .
1
Lois de transformation par
hangement de base . . . . .
2
Appli
ation : orthonormalisation de Gram-S
hmidt . . .
Tableaux r
apitulatifs
. . . . . . . . . . . . . . . . . . .
Rappels d'algbre linaire
1
2
3
II Tenseurs
A
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . .
1
Dnition opratoire . . . . . . . . . . .
2
Dnition intrinsque . . . . . . . . . .
Opration sur les tenseurs
. . . . . . . .
1
Produit tensoriel . . . . . . . . . . . . .
2
Produit
ontra
t . . . . . . . . . . . . .
3
Produit s
alaire . . . . . . . . . . . . . .
Symtries . . . . . . . . . . . . . . . . . . . .
1
Tenseurs symtriques et antisymtriques
2
Autres symtries des tenseurs . . . . . .
3
Produit ve
toriel . . . . . . . . . . . . .
4
Rdu
tion des tenseurs par symtrie . .
Dfinitions des tenseurs
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
9
10
17
17
19
23
24
26
27
27
30
33
37
37
37
39
41
41
45
46
47
47
49
51
56
Glossaire
voir galement
ertaines dnitions dans les tableaux r
apitulatifs
R
Rn
C
Cn
B
B
=
{0}
N
Z
R+
tA
(u.v)
hu|vi
ucv
V
I
O
AB
AB
A
A
tr(A)
tr(A)
det(A)
det(A)
A1
A1
P +Q
Chapitre I
Algbre
A
1 Bases et ve
teurs
a Bases orthonormales
Soit E un espa
e ve
toriel sur R trois dimensions, on notera B = (e1 , e2 , e3 ) ou
en
ore B = (|e1 i, |e2 i, |e3 i) une base orthonormale B , appele base
anonique.
En reprsentation matri
ielle dans sa propre base B , on a
1
B
|e1 i = 0
0
0
B
|e2 i = 1
0
0
B
|e3 i = 0
,
1
0 i 6= j
1 i=j
ij
0
he3 |e3 i = ( 0 0 1 ) 0 = 1 .
1
u1
Soit un ve
teur |ui, on le reprsente dans la base B par la matri
e
olonne uB u2 .
3
Les
oe
ients ui , pour i = 1, 2, 3, s'appellent les
omposantes de |ui, il seront u
3
X
i=1
ui |ei i = uB .
Dmonstration :
X
j
uj |ej i =
X
j
u1
Exemple u2 = ( 0 1 0 ) u2 .
u3
uj hei |ej i = ui .
| {z }
ij
Bra et ket
Dans la notation de Dira
, on reprsente un ve
teur u par le ket |ui, qui
orrespond, matri
iellement, une matri
e
olonne. Kets et ve
teurs sont don
totalement identis.
Par
ontre, un bra n'est pas un ve
teur,
ar il
orrespond, matri
iellement, une
matri
e ligne.
On peut faire une bije
tion parfaite entre bra et ket,
ar l'un est l'adjoint de l'autre.
Matri
iellement, l'adjoint A d'une matri
e A est dnie
omme la transpose et
omplexe
onjugue de A, A = t A, o reprsente la
onjugaison
omplexe.
Finalement, on peut
rire |ui = hu|. On reprsente le bra hu| dans la base B par
une matri
e ligne, selon
u1
B
hu| = uB u2 = ( u1
u3
u2
u3 ) ;
on remarquera qu'on note la matri e ligne par uB sans introduire d'autre notation.
d Forme linaire
On peut identier un bra hu| une forme linaire U ,
'est--dire une appli
ation
de E R : en eet, tout ve
teur |xi E , |xi 7 U |xi hu|xi R.
Il faut savoir que la bije
tion ketbra que l'on a tablie n'est pas valable en
dimension innie : tout ve
teur |ui est bien asso
i une forme linaire hu| ; par
ontre, la r
iproque n'est pas vraie, l'espa
e des formes linaires (not E ) est
plus grand (en dimension innie) que E .
En dimension nie n, par
ontre, E et E sont de mme dimension, une base de
E tant
onstitue de (he1 |, , hen |), o on rappelle que
0
...
B 0
hei | = |ei i = =
1 i
0
..
.
i
0 0 1 0 0 .
e Produit s
alaire
On a dj utilis plusieurs fois la formule du produit s
alaire (on rappelle que l'on
travaille dans R).
6
u1
v
B
B
On se pla
e dans la base
anonique B orthonormale ; soit |ui = u2 et |vi = v2 ,
u3
v3
v1
u3 ) v 2 = uB vB = u1 v 1 + u2 v 2 + u3 v 3 .
v3
u2
X
i
X
ij
!
X
v j |ej i
ui hei |
j
ui v j hei |ej i
| {z }
ij
ui v i .
f Produit hermitien
Tout le
ours sur les tenseurs se fera pour des espa
es ve
toriels rels,
ar
ertains
rsultats du
ours se gnralisent di
ilement au
as
omplexe.
Il sera pourtant utile de rappeler i
i la gnralisation du produit s
alaire au produit
hermitien, dans le
as
omplexe ;
ela servira en analyse
omplexe.
Ave
la mme dnition des
omposantes ui d'un ve
teur |ui, dans la base
anonique B orthogonale, on obtient maintenant, d'aprs (
),
|ui =
X
i
ui |ei i hu| =
D'o nalement
hu|vi =
=
X
i
ui hei | .
!
X
v j |ej i
ui hei |
j
ui v j
ij
hei |ej i
| {z }
ij
ui v i .
On a l'galit fondamentale
hu|vi = hv|ui .
g Norme
Par dnition, la norme du ve
teur |ui s'
rit, dans une base orthogonale,
kuk =
hu|ui
sX
(ui )2 .
=
i
(1)
qP
pP
i 2
i i
Bien sr, dans le
as
omplexe, on a kuk =
i |u | .
iu u =
La linarit du produit s
alaire, que l'on n'a pas rappele, ou la sesquilinarit1
ventuel du produit hermitien dans le
as
omplexe, donne ||u|| = || ||u||, pour
tout R (ou C).
h Relation entre norme et produit s
alaire
On a, par dnition, exprim la norme en fon
tion du produit s
alaire. R
iproquement, on peut exprimer
e dernier en fon
tion de la norme. Soient |ui et |vi
deux ve
teurs, on a :
hu|vi =
1
||u + v||2 ||u v||2 ;
4
(2)
hu|vi
.
||u|| ||v||
(3)
j Ve
teurs orthogonaux
De faon
ohrente ave
la dnition de la base
anonique, on dit que deux ve
teurs
|ui et |vi sont orthogonaux si et seulement si hu|vi = 0.
k Ve
teurs parallles
On rappelle la formule de Cau
hy, pour tout
ouple de ve
teurs |ui et |vi :
|hu|vi| kuk kvk .
v = u .
u2 v 3 u3 v 2
u v = u3 v 1 u1 v 3 .
u1 v 2 u2 v 1
On trouve que
e produit est antisymtrique : v u = u v.
B
Rappel : le produit hermitien (u.v) vrie les rgles suivantes : C, (u.v) = (u.v) et
(on dit qu'il est sesquilinaire gau
he).
(u.v) = (u.v)
m Volume
Soit B la base
anonique (orthonorme), et B une base quel
onque, le volume du
tridre form par les ve
teurs |ei i de B vaut
V = |det ( e1B
(4)
enB )|
|det ( e1B
trois dimensions, on a :
e2B
e
e2B
)| = 1B
0
0
e ) .
= ||e1 || ||e2 || sin(ed
1 2
e3B )| = e1 .(e2 e3 )
= e2 .(e3 e1 )
= e3 .(e1 e2 ) .
Si la base est orthonorme, on a V = 1.
V = |det ( e1B
e2B
n Orientation de l'espa
e
On se pla
e i
i dans le
as rel.
Soit B la base
anonique, et B une base quel
onque, on dnit l'orientation
de la base B (relativement la base
anonique) par le signe du dterminant
det ( e1B enB ). S'il est positif, on dit que la base est oriente positivement,
s'il est ngatif, on dit qu'elle est oriente ngativement.
trois dimension, si l'on observe les ve
teurs de B de faon former un tridre
aigu (d'angle solide < 2 ), la base est oriente positivement quand les ve
teurs
tournent selon la rgle de la main droite et ngativement sinon.
o Produit tensoriel
Soit deux ve
teurs |ui et |vi, alors |uihv| peut tre identi un oprateur, en
rivant :
|xi 7 (|uihv|) |xi = (hv|xi)|ui E ;
on l' rira en ore |ui hv|, et, matri iellement, dans la base B orthonormale,
u1
B
|uihv| = u2 ( v 1
u3
v2
u1 v 1
v 3 ) = u2 v 1
u3 v 1
u1 v 2
u2 v 2
u3 v 2
u1 v 3
u2 v 3 ,
u3 v 3
2 S
alaires
On vient d'tudier deux objets mathmatiques dirents (produit s
alaire et norme)
qui possdent deux proprits
ommunes :
Ces objets sont des rels (on ex
lut a priori les
omplexes).
Ces objets sont invariants par
hangement de base, autrement dit, ils ne dpendent
pas d'une reprsentation dans une base B parti
ulire (en eet, il serait gnant
que la norme d'un ve
teur
hange selon la reprsentation
hoisie).
De tels objets sont appels s
alaires. Il y a parfois
onfusion ave
les rels, mais
et abus
ne sera pas fait dans
e
ours, o les s
alaires dsigneront sp
iquement les objets rels
invariants par
hangement de base.
A
ontrario, la
omposante d'un ve
teur ui est aussi un rel, mais elle dpend par
dnition de la base
hoisie.
9
3 Oprateurs
Un oprateur est une appli
ation linaire de E dans E . L'algbre des oprateurs
est non
ommutative. De mme que l'algbre des matri
es qui les reprsentent. Bien
qu'on se pla
era dans R, il est utile de
onsidrer les reprsentations dans C, par sou
i
de
lart.
a Reprsentation matri
ielle
Soit un oprateur A : E E , |ui 7 A|ui.
On dnit la matri
e A, de
omposantes Ai j , par
A|ei i =
P
j
(5)
Aji |ej i
Ai j uj |ei i
P 1 j 1
A1
j A ju
B P
2
j
=
A u
= A21
Pj 3j j
A31
j A ju
Les olonnes de
1
A13
u
2
A 3 . u2 A uB .
A33
u3
A12
A22
A32
1
1
A1
A|e1 i = A11 |e1 i + A21 |e2 i + A31 |e3 i A 0 = A21
0
A31
X
jk
X
j
Aji |ej i .
o l'on
rira dornavant les indi
es de en diagonale,
omme pour les
omposantes des oprateurs.
b Formule du sandwi
h bra-ket
Dans une base orthogonale, les
omposantes de A sont obtenus par les sandwi
hs
ave
les lments de la base, dnis par :
Ai j = hei | (A|ej i) hei |A|ej i .
A11
= ( 1 0 0 ) A21
A31
A12
A22
A32
1
A13
0
A3
A23 0 = ( 1 0 0 ) A23 .
A33
1
A33
10
Produit
La
omposition des oprateurs A B
orrespond au produit matri
iel AB (
f. le
B 2 h pour la dmonstration).
d Tra
e
Soit un oprateur A et la matri
e A le reprsentant dans la base B . On dnit
la tra
e de la matri
e A, que l'on note tr(A), par la somme de ses lments
diagonaux :
P
tr(A) = Ai i .
(6)
i
tr(A1 A2 ) = tr(A2 A1 )
(1)sig()
Sn
Q
i
Ai (i) .
(7)
Quand ils sont diagonalisables, leur dterminant est le produit des valeurs propres3 .
f Adjoint
L'adjoint A est dni par hu|A |vi = hv|A|ui. Dans une base orthogonale, il a
pour matri
e A t A,
e qui s'
rit, pour les
omposantes,
(A )i j = Aji
2
(8)
11
|vi = A|ui =
ij
Ai j uj |ei i
B
=
d'o
hv| = hu|A =
B
= (
B
ij
uj A1j
u Anj
..
P .j
uj Aji hei |
uj Aj1
mais aussi = ( v1 vn )
=
uj A1j
uj Ajn )
uj Anj
X
j
Ai j hej | .
j
0
..
.
..
.
B
|ei ihej | = i
0. 0
.
.
..
.
0
..
.
0
1
0
..
.
..
.
..
.
.
0
..
.
..
.
0
La d
omposition d'un oprateur A quel
onque s'
rit dans une base orthonormale :
X
i
A=
A j |ei ihej | .
ij
Dmonstration :
On sait
qu'on
rit
A|ei i =
=
X
j
Aji |ej i
Ajk
jk
12
X
jk
ki |ej i
|{z}
=hek |ei i
e qui prouve l'galit pour tous les ve
teurs de base |ei i, et don
, par linarit,
pour tout ve
teur, et nalement pour A lui-mme.
h Valeurs propres et ve
teurs propres
On rappelle que, soit A un oprateur quel
onque, est une valeur propre de A,
et |u i sont les ve
teurs propres asso
is, si et seulement si
A|u i = |u i .
L'espa
e ve
toriel engendr par l'ensemble des |u i, pour une valeur propre xe,
est not E et appel espa
e propre5 . On a, pour tout
ouple de valeurs propres
(, ),
E E = {0} 6= .
i Inversibilit
On rappelle le rsultat fondamental, en dimension nie : soit A, un oprateur, les
trois proprits suivantes sont quivalentes :
A est inversible
Son dterminant det(A) 6= 0.
0 n'est pas valeur propre6 de A.
On a les
as parti
uliers suivants :
En dimension 2, il est utile
onnatre l'expression de A1 , partir de l'ex de
pression de A. Soit A =
a
c
b
, tel que det(A) = ad bc 6= 0, on a alors :
d
1
=
ad bc
d b
c a
d'une matri
e en blo
s de dimensions infrieures ; en parti
ulier, si les blo
s sont
de dimensions 1 ou 2, l'expression de l'inverse s'obtient dire
tement,
omme
dans l'exemple suivant :
a b 0
soit A = c d 0
0 0 e
alors A1 =
d
adbc
c
adbc
b
adbc
a
adbc
0
0 .
1
e
Formellement 0 E , mais il est interdit de
her
her un ve
teur propre |u i nul (on re
her
he en
fait une base de E ).
6
On
rit en
ore que le noyau ker(A) = {0}, o on rappelle que ker(A) = {|ui tel que A|ui = 0}.
13
Les isomtries sont toujours inversibles et, dans une base orthogonale, elles sont
A = A1 .
l Isomtrie relle
Ce sont les isomtries A dont une reprsentation A (dans une base parti
ulire
qui peut tre 6= de la base
anonique) est relle (
'est--dire que toutes ses
omposantes Ai j sont relles).
Il peut exister des reprsentations
omplexes d'une isomtrie relle,
'est--dire
que l'on peut trouver une base B telle qu'il y ait des
omposantes Aij
omplexes.
Il peut mme arriver que les valeurs propres soient
omplexes.
Un exemple qui rassemble
es deux
as est le suivant, deux dimensions
:
0 1
. Il
1
0
0
existe une base B qui diagonalise A, o
ette isomtrie s'
rit A =
.
0
relle (vous vrierez que
ela mar
he dans l'exemple pr
dent). Il vaut don
det(A) = 1.
On distingue les isomtries dire
tes (ou positives) et les isomtries indire
tes (ou
ngatives) selon qu'elles
onservent ou inversent l'orientation de la base.
Les premires
orrespondent au
as det(A) = 1, les se
ondes au
as det(A) = 1.
deux dimensions, les isomtries positives sont les rotations et les isomtries
ngatives sont les symtries orthogonales.
trois dimensions, les isomtries positives sont les rotations et les isomtries ngatives sont les symtries miroir (
e sont les symtries orthogonales par rapport
un plan) et l'inversion A = I .
m Proje
teurs
Les proje
teurs P sont
ara
triss par P P = P . On a une partition de l'espa
e7
E = ker(P) (P) (o dsigne l'image, i.e. (P) = P(E)) ;
ette partition est
galement
ara
tristique d'un proje
teur. ker(P) est l'axe ou le plan paralllement
auquel on projette. (P) est l'axe ou le plan sur lequel on projette (on dit aussi
axe ou plan de proje
tion).
2
Dans toute base B(y
ompris
non orthonormale), P est
ara
tris par P = P .
1 0
.
1 0
Le polynme minimal est P 2 P (
f. r), sauf
as parti
uliers pour P = I et
P = O, on en dduit que leurs valeurs propres sont exa
tement 0 et 1.
Un proje
teur orthogonal P vrie par dnition ker(P) (P). On le
ara
trise
Par exemple P =
galement par
P = P .
= P . Exemple, P =
14
1
2
1 1
.
1 1
Parmi les oprateurs lmentaires,
eux qui s'
rivent |ei ihei | sont toujours des
proje
teurs orthogonaux. Cela est vrai ds que le ve
teur |ei i est norm, y
ompris
quand la base n'est pas orthogonale,
ar il ne faut pas perdre de vue que |ei i, dj
norm, peut toujours tre
omplt en une base orthonormale (
f. C2).
Vrions plus simplement que, pour tout |ui de norme ||u|| = 1, l'oprateur
P|ui |uihu| est un proje
teur orthogonal :
P|ui P|ui = (|uihu|)(|uihu|) = |ui hu|ui hu| = |uihu| = P|ui ;
| {z }
=||u||2 =1
| {z }
=0
1
0 0 1
= 0 ( 0 0 1 ) = 0 0 0 vrie bien A13 A13 = 0.
0
0 0 0
15
p Oprateurs hermitiens
Les oprateurs hermitiens sont
ara
triss par A = A. Dans une base orthogonale,
e
i s'
rit simplement A = A.
Une des deux proprits fondamentales des oprateurs hermitiens est que toutes
leurs valeurs propres sont relles.
Dmonstration : soit une valeur propre, et |ui un des ve
teurs propres asso
is,
on applique l'quation (8) |ui et A :
hu|A|ui = hu|A |ui
et i i
= hu|A|ui
soit en ore
hu|ui = hu|ui
||u||2 = ||u||2
nalement
= .
L'autre proprit est lie la diagonalisation, que nous allons rappeler maintenant.
q Oprateurs diagonalisables
Un oprateur A est dit diagonalisable si et seulement si il existe une base
onstitue
de ses ve
teurs propres. On montre alors que les espa
es propres forment une
partition de E , autrement dit :
E = E1 Ep
16
Comme on l'a souvent fait remarquer, de nombreuses proprits
on
ernant notamment les reprsentations matri
ielles, telles qu'on vient de les rappeler, ne sont valables
que dans une base orthonormale.
Certaines
ritures deviennent plus sophistiques, dans le
as gnral, et il faut utiliser en permanen
e des
hangements de base ;
ependant, quand on se pla
e dans R
uniquement, on d
ouvre une algbre trs
ommode, qui permet de manier les
hangements de base.
L'tude de
es
hangements de base
onstitue le fonds de
e que l'on appelle
al
ul
tensoriel, dit aussi multi-linaire.
1 Mtrique
a Dnition
Soit une base B = (|e1 i, , |en i) quel
onque, on dnit la mtrique g par
(9)
o on ne pr
ise pas que
ette reprsentation est
rite dans la base B
ar g n'est
dnie que pour une base donne, et l'on notera que les indi
es sont en bas.
Quand g est inversible, on dit que la mtrique est dnie.
b Produit s
alaire
Le produit s
alaire de deux ve
teurs |ui et |vi, dans une base B quel
onque, s'
rit :
hu|vi =
(10)
ui gij v j
ij
hu|vi =
=
X
ij
u2
!
X
v j |ej i
ui hei |
j
ui v j hei |ej i .
| {z }
=gij
g11
3
u ) g21
g31
g12
g22
g32
1
g13
v
g23
v2
v3
g33
ui gij v j =
ij
X
ij
17
ui ij v j =
X
i
ui v i ,
|ui =
6 0.
e Proprits
g = g.
Dmonstration : replaons-nous momentanment dans C, la proprit gnrale
hej |ei i = hei |ej i s'
rit exa
tement gji = gij .
Soit g,
ette mtrique est dnie positive si et seulement si il existe une matri
e
( valeur dans C) telle que
g = ,
o est inversible.
Dmonstration : dans le sens dire
t, la dmonstration la plus naturelle fait intervenir les
hangements de base, et sera tudie ultrieurement.
Dans le
indire
t : soit inversible, telle que g = ,
al
ulons ||u|| pour
Psens
i
6 0:
|ui = i u |ei i =
g =
gij =
ik kj
ki kj
d'o
||u||
ui gij uj
ij
ui ki uj kj
ijk
2
X X
=
ui ki
k
}
| i {z
i
= vB
ave
vB = uB
= ||vB ||2
Le volume de la
ellule unitaire dnie par les ve
teurs |ei i de la base B s'
rit10
p
V = det(g) .
(11)
2 Bases r
iproques
a Dnition
Soit une base B = (|e1 i, , |en i) quel
onque, on dnit la base r
iproque Be =
(|1 i, , |n i) par
hi |ej i = i j
(12)
(et par
onsquent hei |j i = ji ). Matri
iellement,
ela s'
rit (iB ) g ejB = i j , o
on rappelle que les ve
teurs|ei iont une reprsentation triviale dans leur propre
1
0
=
... .
0
Chaque ve
teur tant
onnu sur la base B , il sera fa
ile de prouver l'uni
it de
la base r
iproque (
f. la suite du
ours).
Dans le
as orthonorme, on a hei |ej i = ij , on peut
hoisir |i i = |ei i i dans la
dnition (12),
e
i prouve que, dans
e
as, la base dire
te B et la base r
iproque
Be sont gales.
b Passage entre bases dire
te et r
iproque
On notera les
omposantes de l'inverse de la mtrique ave
les indi
es en haut,
'est dire (g1 )ij ; par exemple, g1 g = I s'
rit :
i
X
(g1 )ik gkj = i j .
k
On a
|i i =
P 1 ij
(g ) |ej i ;
j
(13)
1
= 0 , et
., on obtient
0
1 i1
(g )
i
B = (g1 )i2 .
(g1 )i3
On forme des
olonnes des ve
teurs de base, de sorte que l'quation (13) peut
s'
rire, synthtiquement,
|e1 i
|1 i
|2 i = g1 |e2 i .
|e3 i
|3 i
10
Attention,
e volume ne peut tre dni qu'en rfren
e une base orthonorme. Comme la base
anonique B ne l'est a priori pas, il faut en trouver une,
f. se
tion C2, on la notera i
i B . On a alors
V=
ijk
19
X
k
R
iproquement, on a
|ei i =
P
j
g1 g
j
=gik =gki
= ji .
(14)
gij |j i ;
X
k
gjk |k i
X
k
X
k
hei |gjk |k i
gjk hei |k i
| {z }
=ki
= gji = gij .
X
ijk
X
ijk
abc
j b
X
=
(g1 )1a (g1 )2b (g1 )3c abc |{z}
V
abc
kc
=1
= det(g1 )V
1
= p
det(g) .
(15)
(en
ore une fois, on retrouve la formule usuelle dans le
as orthonormale, puisqu'on
peut alors identier |i i ave
|ei i).
11
On fait le
al
ul dans la base orthonormale B introduite la note pr
dente. dsignera le signe
de det(1B 2B 3B ) et
elui de det(e1B e2B e3B ). On vriera que = .
20
Dmonstration : on a
hi |ui =
X
X
hek |(g1 )ik
ul |el i
k
X
=
(g1 )ik hek |el i ul
| {z }
kl
XX
l
= ui .
|k
=gkl
(g
1 ik
) gkl ul
{z
=i l
Ai j |ei ihj |
(16)
Ai j = hi |A|ej i .
(17)
A=
ij
X
jk
X
j
Aji |ej i .
En
onsquen
e, on vrie
i
h |A|ej i = h |
=
X
kl
X
kl
|ej i
l j
= Ai j .
f Relation de fermeture
Montrons enn que la relation de fermeture que l'on
rit ave
les ve
teurs de base
n'est valable que dans le
as d'une base B orthonormale.
P
Notons S = i |ei ihei |, et
al
ulons les images des ve
teurs de base par S . On
trouve :
S|ei i =
X
j
X
j
g1i
.
gji |ej i = .. ,
gni
B
i.e. les reprsentations matri
ielles des images des ve
teurs de base sont les
olonnes (gij )ij=1..n . Comme, par ailleurs, les reprsentations matri
ielles des ve
teurs de base sont les
olonnes (ij )ij=1..n ,
ela prouve que S = I si et seulement
si g = I .
21
X
i
X
i
X
ij
X
ij
|ei ihi |
|i ihei |
|ei i(g1 )ij hej |
|i igij hj | .
X
X
=j i
et,
omme elle est vraie pour tout ve
teur de base, elle se gnralise par linarit
tout ve
teur.
La se
onde se dmontre de la mme faon, mais en appliquant l'oprateur un
ve
teur |i i.
Les deux dernires relations se dmontrent partir des premires en appliquant
(13) ou (14).
h Isomorphisme de groupe
La reprsentation dans une base quel
onque B est un isomorphisme de groupe.
Cela signie que l'appli
ation A A, qui, tout oprateur A asso
ie sa reprsentation matri
ielle A dans B , est
ompatible ave
la
omposition. On
rit :
A B AB
= h |
=
X
kl
X
kl
X
k
B kj |ek i
B kj Al k |el i
B kj Al k hi |el i
| {z }
=i l
Ai k B kj
= ABi j
ui |ei i ,
ui |i i .
(18)
(19)
On notera bien que les
omposantes
ontravariantes seront toujours notes ave
un indi
e en haut , tandis que les
omposantes
ovariantes seront toujours notes
ave
un indi
e en bas .
Bien sr, dans le
as d'une base B orthonormale,
omposantes
ovariantes et
ontravariantes sont gales, puisque Be = B .
b Changement de base
u1
u1
La transformation u2 7 u2 est
elle du
hangement de base B 7 Be, i.e.
u3
u3
base dire
te base r
iproque, qui est trs sp
ique.
Par ailleurs, tout le
al
ul tensoriel est bas sur l'tude des
hangements de base
gnraux, aussi
elui-l ne sera jamais quali de
hangement de base an
d'viter toute
onfusion.
la pla
e, on dira que l'on passe des
omposantes
ontravariantes aux
omposantes
ovariantes.
La transformation des
omposantes
ontravariantes (ui ) vers les
omposantes
ovariantes (ui ) peut s'
rire dire
tement l'aide de la mtrique :
ui =
(20)
gij uj .
Dmonstration : on a
X
j
mais aussi
= ui .
uj |ej i
uj hei |ej i
| {z }
= hei |
X
=gij
X
j
uj |j i
uj hei |j i
| {z }
=j i
23
par dnition
Matri iellement, on a
u1
u
u2 = g u2
u3
u3
u1
u1
u2 = g1 u2
u3
u3
P 1 ij
(g ) uj ;
(21)
on notera uBe la matri
e des
omposantes
ovariantes,
e qui nous permet d'
rire
les relations matri
ielles pr
dentes sous la forme
ondense uBe = g uB et uB =
g1 uBe.
Produit s
alaire
Le produit s
alaire peut s'
rire d'une faon plus
ompa
te :
hu|vi =
ui v i =
(22)
ui vi .
ui v i =
XX
(
uj gij )v i .
i
X
(g1 )ik Akj
k
Aij =
gik Akj
et .
(mais, en
ore une fois, on oubliera systmatiquement qu'il s'agit d'un
hangement
de base, an de distinguer
lairement
es transformations des
hangements de
base que l'on tudiera ultrieurement).
On dit que l'on des
end l'indi
e dans le premier exemple, et qu'on le monte, dans
le se
ond ; de plus, g1 est alors quali d'as
enseur (d'indi
e) et g de des
enseur.
24
j
gij U...
et U...i =
X
(g1 )ij Uj...
j
d'o galement
i
U...
X
=
(g1 )ij
j
k
gjk U...
XX
k
=
(g1 )ij gjk U...
k
{z
=(g 1 g)i k =i k
i
= U...
ouf !
e S
alaires
Les s
alaires ont un statut assez parti
ulier, puisque, n'ayant au
un indi
e, il n'y
a pas de
omposantes
ontra- ou
o-variantes dnir. Cependant,
e sont bien
des tenseurs, qui jouent d'ailleurs un rle prpondrant.
f Mtrique inverse
On a not les
omposantes de la mtrique inverse ave
les indi
es en haut. On va
en
omprendre la raison maintenant.
Soit la mtrique g, dnie don
par ses
omposantes deux fois
ovariantes gij ;
on va
al
uler les
omposantes deux fois
ontravariantes de g. Il faut faire deux
transformation, une pour monter le premier indi
e, l'autre le se
ond. On
rit
don
:
gij
X
kl
X
kl
=(g 1 g)i l =i l
5 Convention d'Einstein
a Proprits remarquables dans les sommes
On
onstate les proprits suivantes :
Une
hose extrmement remarquable que l'on
onstate dans toutes les
ritures
de
e
hapitre est qu'un indi
e qui est somm apparat toujours une fois
ovariant, une fois
ontravariant .
C'est une proprit d'une trs grande ri
hesse, que vous pourrez vrier systmatiquement dans tout le
al
ul tensoriel
ondition de rester dans une
mtrique gnrale et de ne pas parti ulariser les ritures une mtrique donne (notamment la mtrique orthonormale, pour laquelle ette
12
mis part les indi
es stri
tement muetsPentre eux,Pmais on peut toujours s'arranger pour que
ette
respe
te, par exemple i ui wi = i v i wi peut toujours s'
rire sans ambigut
P irgle soit
P en
ore
j
.
u
w
=
v
w
i
j
i
j
26
Changements de base
Le
al
ul tensoriel
onsiste, entre autres, tudier la faon dont les direntes quantits se transforment, quand on fait un
hangement de base B B .
On va revisiter l'ensemble des formules de
hangement de base,
ertaines vous sont
dj
onnues mais seront reformules de faon nouvelle.
B dsignera la base
anonique, quel
onque, et B une autre base, galement quel
onque.
11
= 21
31
12
22
32
13
23
33
D'aprs
es relations, les
olonnes de sont les reprsentations des ve
teurs |ei i
dans la base B . Pour
al
uler , il sut d'
rire, dans leur reprsentation en
matri
es
olonne, les nouveaux ve
teurs dans la base des an
iens .
La premire relation matri
ielle peut s'inverser. On notera toujours = 1 la
matri
e du
hangement inverse B B , et elle s'
rit
(|e1 i, |e2 i, |e3 i) = (|e1 i, |e2 i, |e3 i) .
(24)
On peut la dtailler :
|e1 i = 11 |e1 i + 21 |e2 i + 31 |e3 i
D'aprs
es relations, les
olonnes de sont les reprsentations des ve
teurs |ei i
dans la base B . Pour
al
uler , il sut d'
rire, dans leur reprsentation en
matri
es
olonne, les an
iens ve
teurs dans la base des nouveaux .
27
(25)
|1 i
| i
|2 i = |2 i
|3 i
|3 i
o l'on manipule des
olonnes formelles de ve
teurs, et le produit matri
iel est
droite.
Transformation des
omposantes
ontravariantes d'un ve
teur
Soit |ui un ve
teur, on peut d
omposer
e ve
teur dans l'an
ienne base
u1
B
|ui = u1 |e1 i + u2 |e2 i + u3 |e3 i = u2 uB
u3
ou dans la nouvelle
u1
|ui = u1 |e1 i + u2 |e2 i + u3 |e3 i = u2 uB .
u3
B
(26)
Matri
iellement,
ette formule s'
rit uB = uB , o l'on pr
ise bien qu'il s'agit
du mme ve
teur |ui exprim dans la base B (
ette pr
ision sera n
essaire ultrieurement). Elle peut s'inverser dire
tement en uB = uB , et on retrouverait
ette dernire en pro
dant
omme pour (26) :
ui = i j uj .
28
(27)
(28)
o la
onjugaison
omplexe est absente par
e que l'on travaille dans R. Cela se
voit plus
lairement dans l'expression matri
ielle
orrespondante uBe = uBe , o
on rappelle que uBe est la reprsentation matri
ielle du ve
teur |ui dans la base
r
iproque Be.
Dmonstration : supposons le rsultat, et re
al
ulons le produit s
alaire dans la
nouvelle base, l'aide de la formule (22) ; soit |ui et |vi deux ve
teurs, on retrouve
la
onservation du produit s
alaire, par
hangement de base :
hu|vi = ui v i = (ji uj )( ik v k ) = uj (ji ik )v k = uj jk v k = uj v j .
Finalement,
omme
ette formule est vraie pour tous ve
teurs |ui et |vi, on en
dduit le rsultat.
e Transformation des matri
es reprsentant un oprateur
Il s'agit d'tudier la transformation des
omposantes standards d'un oprateur A.
Ce sont les
omposantes mixtes, dont la matri
e A = (Ai j ) est la reprsentation
de l'oprateur A.
Soit le
hangement de base , B B , on a :
(29)
A = A
ave
et on a :
ui = ij uj
v i = Ai j uj
d'o
mais on a aussi
v i = ij v j
v i = Ai j uj
ij v j = Ai j jk uk
vB = A uB
vB = A uB
vB = A uB
v i = Ai j uj
omme
'est vrai |ui, le rsultat s'obtient en identiant les deux dernires galits.
Remarquez, quand on diagonalise un oprateur par le
hangement de base , D
tant la reprsentation diagonale, elle s'
rit videmment D = A ,
e qui donne
nalement la d
omposition traditionnelle :
A = D .
29
Ai j = ik Akl l j
Ai j = ki Akl jl
g = g .
hu|vi = uB g vB uB g vB
et par onservation
j
= ui gij
v
j l
= ik uk gij
lv
= uB g vB
= uB g vB
d'o,
omme
'est vrai pour tout |ui et |vi, g = g, soit le rsultat annon
.
En prenant l'inverse de la relation (30), on trouve dire
tement la transformation
d'une mtrique inverse g1 ,
g1 = g1 .
= k g l
gij
i kl j
qui sont formellement les mmes formules que elles trouves pour les oprateurs.
Pourtant, on peut toujours trouver une base orthonormale, qui sous-tendra alors la
base
anonique,
omme si elle l'avait pr
de.
L'existen
e de
ette base permet la dmonstration lgante de nombreux rsultats,
dont nous avons report la preuve.
a Thorme d'orthonormalisation de Gram-S
hmidt
Soit une base quel
onque B = (|ei i)i=1..n , alors, il existe une base orthonorme
B = (|ei i)i=1..n . Si B est simplement norme, on peut toujours
hoisir |e1 i = |e1 i
(o |e1 i peut tre en fait
hoisi de faon arbitraire, parmi les ve
teurs de la base
B ).
On notera,
omme toujours, le
hangement de base B B .
On ne dmontrera pas
e thorme, qui est du programme des annes pr
dentes,
et se trouve dans tous les bons manuels.
b Expression de la mtrique
Soit g la mtrique dnie dans la base
anonique, gij = hei |ej i ; soient |ui et |vi
deux ve
teurs. Dans la base B , la mtrique est triviale, et le produit s
alaire peut
don
s'exprimer simplement en fon
tion des
omposantes ui et vi :
hu|vi =
=
=
ui v i
uB vB
uB vB
o on a utilis (26).
Mais,
omme par ailleurs, le produit s
alaire s'
rit
hu|vi = ui gij v j = uB g vB ;
g =
Thorme 1
1
0
..
.
2 0
0
= .
.
... ...
..
0
p
p
0
13
mais aussi
2
= u u = ||u|| > 0
31
X
j
i j |ej i
toutefois, il est important de pouvoir redmontrer dire
tement
e rsultat. Notons don
provisoirement i j la
omposante, la formule (12) s'
rit dans la base
orthonorme (o la mtrique est triviale) :
hi |ej i = i j
X
k
iBk ejBk = i j
i k kj
= i j
= I
e qui implique = 1 = .
Ce
i prouve enn l'uni
it de la base r
iproque.
f Volume de la
ellule dire
te
D'aprs la formule (4), on peut
rire14
V=
X
ijk
( in ) i=1..n )| = | det()|
14
e = | det()|
V
Il y a une subtilit, puisqu'en n de ompte, B et B hangent leur rle par rapport la formule (4).
32
Tableaux r apitulatifs
Tab.
objet
espa
e ve
toriel
notation
E
v1
B
v = |vi = v 2 vB
v3
i
u ( trois dimension, il y a 3
omposantes)
(|ei i)i=1n
E
ve
teurs
omposantes
base
anonique
espa
e dual
forme linaire
norme et produit s
alaire
produit hermitien
espa
e des oprateurs
oprateur
u = hu| = ( u1
p
||u|| = hu|ui
hv|ui = hu|vi
E E
Tab.
II Nouveaux objets
objet
g, gij = gji
|i i
e
V = 1/V
16
u3 ) uB
15
u2
dnition
hei |ej i
hi |ej i = i j
p
p
det(g) = 1/ det(g1 )
33
Tab.
nom
proje teur
proprits
P proje
teur P 2 = P
P 2 = P
P (proje
teur donn) est P = P
P = P dans une base
oprateurs nilpotents
N p = 0
H = H
H = H dans une base
S 1 = S |ui E ||Au|| = ||u||
|ui, |vi E hAu|Avi = hu|vi
ses valeurs propres vrient || = 1
les hermitiens (et dans une base )
Tab.
les isomtries
les proje
teurs
les nilpotents (sauf O)
A et B sont diagonalisables
et [A, B] AB BA = O
formule P
base
formule gnrale
ui v i
hu|vi = ui gij v j = ui v i = ui vi
ui = hi |ui
i
A j = hi |A|ej i
hu|vi = i
ui = hei |ui
i
A j = hei |A|ej i
Aij = Aji A = t A
P
I = i
|ei ihei |
u2 v 3 u3 v 2
B
(u vi ) i=13 = u3 v 1 u1 v 3
u1 v 2 u2 v 1
(u vi ) i=13
A = g1 t A g
i
I= |i ihei | = |e
i ih |
2 v 3 u3 v 2
u2 v3 u3 v2
u
e
B
B
e u3 v 1 u1 v 3
= V u3 v1 u1 v3 = V
u1 v2 u2 v1
u1 v 2 u2 v 1
BBe
BB
|uihv| uB vB = ( ui v j ) i=1n
|uihv| uB v e = ( ui vj ) i=1n
base anonique de E
base anonique de E
j=1n
j=1n
(hi |)i=1n
(hei |)i=1n
34
Tab.
nom
produit matri
iel
des
ription
M N ij =
n
P
Mi k Nk j
|{z}
k=1
onvention d'Einstein
un exemple
umulant toutes
les rgles mnmote
hniques ensemble :
ontravarian
e
ovarian
e
Ai = ik Ak
|{z}
|{z}
= k l g
gij
i j kl
g = g
Tab.
VI Changements d'indi
e
g1 ij = gij
|i i = gij |ej i
|ei i = gij |j i
e = 1/V
V
Ai j
ui = gij uj
ui = gij uj
= gik Akj = gjl Ail = gik gjl Akl
Tab.
et .
35
|ei i = ji |ej i
|i i = ij |j i
ui = ij uj
ui = ji uj
Aij = ik l j Akl
= k l A
gij
i j kl
36
Chapitre II
Tenseurs
A
Les tenseurs sont aussi appels fon
tions multilinaires,
e qui signie qu'elles sont
linaires par rapport
ha
une de leurs variables. Dirents objets que l'on a ren
ontrs
au
hapitre pr
dent sont des tenseurs (s
alaires, ve
teurs, formes linaires, oprateurs,
formes quadratiques), mais, il nous faut maintenant donner une dnition gnrale des
tenseurs pour qu'une telle armation ait un sens.
0n va tudier deux dnitions. La premire, qualie d'opratoire, est base justement sur la gnralisation des proprits de
es dirents objets, que l'on a dmontres
ou
onstates.
La deuxime est moins te
hnique, mais plus di
ile manipuler. Elle s'inspire des
thories ensemblistes, en mathmatiques.
1 Dnition opratoire
La
ara
tristique
ommune toutes les fon
tions que l'on a tudies pr
demment,
est que les matri
es (11 pour les s
alaires, n1 pour les ve
teurs, 1n pour les formes
linaires, n n pour les oprateurs et les formes quadratiques, n tant la dimension de
l'espa
e) qui les reprsentent
hangent, lors d'un
hangement de base , l'aide des
seules matri
es et .
Plus pr
isment, les lois de
hangement de base font intervenir des produits ave
les
matri
es , ou leur adjoint, de sorte que,
omposante par
omposante, elles s'
rivent :
i i
Aj11jqp = i1u1
ip
v1
uq j 1
vq
u1 up
jp Av1 vq
(31)
o A est une fon
tion p + q -linaire, ave
p indi
es
ontravariants et q indi
es
ovariants.
Les indi
es du bas sont
ovariants,
'est dire qu'ils font intervenir la matri
e .
Les indi
es du haut sont
ontravariants,
'est dire qu'ils font intervenir la matri
e .
Vous pouvez vrier que
ette loi gnrale est bien la gnralisation de
elles tudies
pour les s
alaires (ave
p = q = 0,
ar le produit des matri
es et tant vide, il vaut
1, autrement dit, un s
alaire est invariant par
hangement de base), les ve
teurs (ave
p = 1, q = 0), les formes linaires (ave
p = 0, q = 1), les oprateurs (ave
p = q = 1)
et les formes quadratiques (ave
p = 0, q = 2).
37
Exemples de tenseurs
Pour montrer qu'un objet mathmatique donn est un tenseur, on fait un
hangement de variable, et on vrie la loi (31).
Donnons i
i quelques exemples plus physiques.
La masse dans l'approximation
lassique est un s
alaire, don
un tenseur, puisqu'elle est invariante quand on
hange de base17 . Par
ontre,
e n'est plus un
s
alaire, si on tient
ompte des eets relativistes.
La
harge est un s
alaire don
un tenseur.
Vous vrierez que la vitesse est bien un tenseur, dans l'approximation
lassique.
Pourquoi n'est-
e plus vrai quand on tient
ompte des eets relativistes18 ?
On ngligera dornavant les eets relativistes. Le
hamp le
trique E et la polarisation le
trique P sont des ve
teurs, don
des tenseurs. On en dduit que le
tenseur dile
trique est bien nomme, puisque
'est un oprateur
P = E
P i = i j E j ;
P i = ji E j ik P k = ji jl E l
ui ik P k = ui ji jl E l
| {z }
=uk
P u = ui ji jl E l
| {z }
et don
=ul
ul = ui ji jl
= .
La polarisation P dans un milieu pizo-le
trique est reli au tenseur des
ontraintes
tij (on admettra que
'est un tenseur) via un objet plus
ompliqu, puisqu'il
omporte trois indi
es. Notons-le dijk , il est dni par :
P i = dijk tjk .
Vrions que d est bien trois fois
ontravariant, et don
que
'est un tenseur (
as
p = 3, q = 0 de la loi (31)).
17
18
38
ui ip P p = ui d ijk qj rk tqr
| {z }
=up
P u = ui d ijk qj rk tqr
{z
}
|
uqr
=duqr
u q r ijk
i j k d
et don
au bq cr duqr = au ui bq qj cr rk d ijk
| {z } | {z } | {z }
=ai
=bj
=ck
d abc = au bq cr duqr
De mme que l'on peut
hanger la varian
e des
omposantes d'un ve
teur, de sorte
que les
omposantes
ovariantes du ve
teur sont relies aux
omposantes
ontravariantes
par les formules (20) et (21) du
hapitre I, de mme on peut
hanger la varian
e d'un
indi
e de tenseur (il est prfrable de ne
hanger qu'un indi
e la fois).
Les rgles sont la gnralisation19 de
es formules (21) et (20), autrement dit, g est
en
ore le des
enseur d'indi
e, et g1 l'as
enseur d'indi
e.
2 Dnition intrinsque
La dnition pr
dente est imparfaite,
ar on identie alors un tenseur une matri
e. Examinons le
as d'un ve
teur et d'une forme linaire :
D'une part, la matri
e
olonne qui le reprsente est mal dnie, puisqu'elle dpend de
la base B ; autrement dit, le ve
teur est un invariant,
ontrairement ses reprsentations.
D'autre part, B tant
hoisie, il existe des reprsentations de varian
e dirente d'un
mme ve
teur, selon que l'on
hoisit B ou Be.
Le tenseur qui trans
ende toutes
es reprsentations est le ve
teur lui-mme.
hu| = ( u1
u2
u3 )
39
Dnition
Un tenseur ne sera don
pas dni par sa reprsentation, mais par l'objet mathmatique qui se
a
he derrire.
Il existe une dnition pr
ise qui ralise exa
tement
ela, malheureusement, sa porte ex
de de beau
oup le niveau et les obje
tifs de
e
ours. Toutefois, son appli
ation
revient aux prin
ipes gnraux suivants :
Un tenseur est un objet mathmatique, dont une reprsentation quel
onque matri
ielle est un tenseur au sens opratoire.
On montre que, si une reprsentation d'un tenseur vrie les proprits opratoires
des tenseurs, alors toutes les reprsentations les vrient galement.
La varian
e d'un tenseur n'est don
pas dnie, seul son ordre l'est. Par
ontre, la
varian
e de ses reprsentations est bien dnie, et on peut
hoisir les reprsentations de la varian
e que l'on veut.
Exemples
On va
lasser les tenseurs en fon
tion de leur ordre.
a S
alaires
Il n'y a qu'un type de tenseur d'ordre 0,
e sont les s
alaires.
La
omposante d'un s
alaire a est a lui-mme, elle est invariante par
hangement
de base. Elle n'a pas d'indi
e, don
pas de varian
e.
b Ve
teurs et formes linaires
Il y a deux
lasses de tenseur d'ordre 1, les ve
teurs (ou ket ) et les formes linaires
(ou bra ).
Les
omposantes de ve
teur ont exa
tement un indi
e. Soit un ve
teur |ui, il n'a
que deux types de reprsentations, autrement dit deux types de
omposantes : les
omposantes ui ave
un indi
e
ontravariant (dites
omposantes
ontravariantes)
et les
omposantes ui ave
un indi
e
ovariant (dites
omposantes
ovariantes).
C'est la mme
hose pour une forme linaire. Ce qui distingue une forme linaire
d'un ve
teur,
'est qu'elle se dveloppe sur les bases de bra hi | ou hei |, tandis
qu'un ve
teur se dveloppe sur les bases de ket |ei i ou |i i.
Oprateurs
Un oprateur est un tenseur d'ordre 2.
21
Certes, les
omposantes doivent tre mises en ligne pour le bra et en
olonne pour le ket, mais, si
on tudie leurs
omposantes isolment,
ette subtilit ne permet plus de les distinguer.
40
omposantes
omposantes
omposantes
omposantes
d Tenseurs d'ordre 2
Il existe en tout quatre
lasses de tenseurs d'ordre 2. En dehors des oprateurs,
dnis dans E E , et des formes quadratiques dnies dans E E , que l'on a
dj ren
ontrs, on trouve les formes dnies dans E E (don
les formes agissant
dans l'espa
e dual E ) et les oprateurs de E , dnis dans E E = E E
(gr
e l'identi
ation entre E et E , qui est parfaite en dimension nie22 ).
De mme que pour les ve
teurs et les formes linaires, on ne peut distinguer
les reprsentations de
es tenseurs. Ceux-
i ne dirent que par les bases dans
lesquelles les d
ompositions sont dnies.
Nous allons voir en dtail, la se
tion suivante,
es direntes bases.
1 Produit tensoriel
On a dj ren
ontr plusieurs fois des produits tensoriels. Nous allons maintenant
en donner une dnition gnrale.
Dnition en omposante
j1 jq
ha
un (il n'y a au
une exigen
e que
es reprsentations soient dnies dans des bases
identiques), l'ordre de U vaut i
i p + q ,
elui de V vaut r + s.
Le tenseur W = U V , appel produit tensoriel de
es deux tenseurs, est dni de
telle sorte que ses
omposantes soient le produit des
omposantes de U et V , dans la
base induite par les bases de
es reprsentations. Autrement dit
i ..i k ..k
i ..i
1 ..kr
Wj11..jqpl11..ls r = Uj11..jpq Vlk1 ..l
.
s
La base sur laquelle
ette reprsentation est dnie est elle-mme le produit tensoriel
des bases sur lesquelles les deux premires reprsentations sont dnies23 .
titre d'exemple, on peut
iter le tenseur |uihv| ; les
omposantes ui vj sont bien le
produit des
omposantes de |ui et |vi.
22
Soit E , est une forme de forme, autrement dit : E R, 7 (), l'appli
ation
anonique ho : E E , |ui 7 ho (|ui) = u , ave
u dnie par 7 (u), est une bije
tion en
dimension nie (et une inje
tion dans tous les
as).
23
Pour rsoudre
ette in
ohren
e (puisque le produit tensoriel apparat dans la dnition du produit
tensoriel !), il y a deux stratgies : on peut soit ignorer la base sur laquelle la reprsentation tensorielle est
dnie, quitte la redmontrer la suite, soit remarquer qu'il sut, au pralable, de dnir le produit
tensoriel des ve
teurs de base
anoniques, pour gnraliser ensuite
ette dnition tout tenseur. C'est
ette dernire stratgie qui est gnralement applique.
41
Dans
e dernier exemple, toutefois, on retrouve la mme di
ult qu'ave
la dnition opratoire des tenseurs : rien ne permet de
omprendre,
onnaissant les
omposantes
ui v j , qu'elles proviennent du tenseur |uihv| plutt que du tenseur |ui |vi ou d'un autre
en
ore.
Et pour
ause ! en eet, rien ne distingue les
omposantes de
es dirents tenseurs. Il faut don
, pour lever toute ambigut, dnir le produit tensoriel d'une faon
intrinsque.
On se
ontentera d'tudier les tenseurs d'ordre 2. Tout
e qui suit
e gnralise
tout ordre.
Oprateur ket-bra
a Base
anonique des oprateurs
La base
anonique des oprateurs est {|ei ihj |}, il y en a bien n2 ,
omme la
dimension de E E .
Pour le
omprendre, il sut de regarder la formule (16) du
hapitre I. Ces oprateurs sont des produits tensoriels ket-bra, et, en appliquant la formule (17) du
hapitre I, on trouve que la matri
e de leurs
omposantes dans la base B est24
( ki jl ) k=1..n .
l=1..n
= Aij | ih |
= Ai j |i ihej |
Produit de ve teurs
C'est le vrai produit tensoriel de ve
teur, en tant que tel,
omme on l'utilise, par
exemple, en m
anique quantique.
a Base
anonique du produit tensoriel de ve
teurs
La base
anonique, sur laquelle sont dnis les produits tensoriels de ve
teurs, est,
par essen
e, le produit tensoriel des bases
anoniques des ve
teurs {|ei i |ej i},
ou le signe sera souvent omis.
24
On retrouve en fait matri
iellement les oprateurs lmentaires
onnus dans le
as d'une base
orthonorme :
'est la dnition de l'oprateur de base qui a
hange et non sa reprsentation matri
ielle.
42
On vrie que l'espa
e E E engendr par les produits tensoriels de ve
teurs25 est
de dimension n2 .
b D
omposition d'un produit tensoriel
Soient |ui et |vi deux ve
teurs, leur produit tensoriel |ui |vi se d
ompose sur
la base
anonique pr
dente selon |ui |vi=ui vj |ei i|ej i (on
ommen
e omettre
).
Leurs
omposantes naturelles sont don
ui vi ,
'est--dire le produit des
omposantes de
ha
un,
omme il se doit.
Autres bases de E E
On peut d
omposer un produit tensoriel sur les bases suivantes :
(|ei i|ej i)i,j=1..n base
anonique ;
= ui v j |i i|ej i
= ui vj |ei i|j i
Formes quadratiques
Les formes quadratiques sont lies aux matri
es mtriques : une mtrique g donne
est asso
ie la forme quadratique (X, Y ) 7 X gY .
Ve
toriellement, on doit dnir, de faon plus gnrale, les formes bilinaires (les
formes quadratiques sont les formes bilinaires dnies positives).
Pour ne pas
onfondre une forme quel
onque et la mtrique g
anonique26 , on notera
25
Cet espa
e n'est pas
onstitu que de produits tensoriels, un ve
teur quel
onque de
et espa
e est
une
ombinaison linaire de produits tensoriels ; par exemple, l'ensemble des surfa
es est bien engendr
ve
toriellement par les re
tangles, qui sont le produit tensoriel d'une ligne horizontale par une ligne
verti
ale, mais il est beau
oup plus vaste (un rond est d
omposable en une somme innie de re
tangle).
26
qui n'est pas n
essairement I , on vous le rappelle, puisque la base
anonique n'est pas n
essairement orthonorme.
43
d Autres bases de E E
On peut d
omposer une forme bilinaire sur les bases suivantes :
G = gij
hi |hj |
Chaque terme se fa
torise dans l'espa
e qui lui est asso
i ; pour mieux le
omprendre, il faut
rire
l'espa
e tensoriel E1 E2 et l'espa
e des formes E1 E2 ,
f. la se
tion 3
28
Les
omposantes deux fois
ovariantes gij sont la vraie matri
e g asso
ie G , matri
iellement,
les autres matri
es s'
rivent g 1 g g 1 pour les
omposantes deux fois
ontravariantes, g 1g et g g 1
pour les
omposantes mixtes. Sa
hant que le spe
tre (
'est--dire l'ensemble des valeurs propres, i
i)
des matri
es g et g 1 est stri
tement positif (
'est--dire
ompris dans R+ ), le fait que le spe
tre
des produits g 1 g , g g 1 et g 1g g 1 soit aussi stri
tement positif est une
onje
ture propos par le
mathmati
ien Horn en 1990 et sera admis.
44
Objet
bra ket
Pour a
hever
ette liste des oprateurs d'ordre deux engendrs par le produit tensoriel, il manque les lments de E E .
La base naturelle de
et ensemble est {hi | |ej i}, on trouve bien la dimension n2
de l'espa
e E E .
Ces objets sont pnibles manier,
ar il faut en permanen
e viter la
onfusion
ave
le produit s
alaire hu|vi. Ave
l'identi
ation entre E et E , ils reprsentent les
oprateurs de E . On retrouve des reprsentations en
omposantes analogues aux
as
pr
dents, en adaptant bien sr la varian
e.
Thorme fondamental
Le produit tensoriel de deux tenseurs est un tenseur, et son ordre est la somme des
ordres de
haque tenseur.
Quand on fait un
hangement de base, la transformation du produit tensoriel est
induit par la transformation de
haque tenseur (on obtient le produit des matri
es et
qui interviennent dans la transformation de
ha
un).
2 Produit
ontra
t
Le produit
ontra
t est dni, au dpart, partir du produit tensoriel.
Ce qui
ara
trise le produit tensoriel,
'est que tous les degrs de libert sont
onservs. Au
ontraire, le produit
ontra
t de deux tenseurs possde n
essairement
moins de degrs de libert, l'ordre tant diminu d'un multiple de 2,
omme on va le
omprendre maintenant.
a Contra
tion simple
Soit un produit tensoriel quel
onque de deux tenseurs M et N . La
ontra
tion de
es tenseurs est obtenue en identiant et sommant deux indi
es de
es tenseurs,
que l'on
hoisira de varian
e dirente. Par exemple,
produit tensoriel M ij N kl
produit ontra t M ij N jl
dpend
3 Produit s
alaire
On ne traitera i
i que le produit s
alaire d'un produit tensoriel de ve
teur. Les autres
as ont t dj traits, ou sont des gnralisations immdiates de
e
as, ou sont hors
programme.
a Formule
Soit deux produits tensoriels de ve
teurs, |u1 i|u2 i et |v1 i|v2 i, on peut dnir le
produit s
alaire entre
es deux objets,
'est dire l'appli
ation qui va de (E E)2
dans R, par
hu1 |hu2 |
|v1 i|v2 i = hu1 |v1 ihu2 |v2 i
46
En quelque sorte, |u1 i et |v1 i sont dnis dans un espa
e E1 , et |u2 i et |v2 i dans
un espa
e E2 , qui ne se mlangent jamais, les produits s
alaires tant
al
uls
sparment dans les deux espa
es.
b Dmonstration
Par dnition, la
omposante naturelle T ij de |v1 i|v2 i dans la base |ei i|ej i est
l'image de la forme hi |hj | sur
e ve
teur (
ar {hi |hj |} est la base
anonique des
formes dnies sur E E ). En appliquant la formule (15), on trouve alors
hi |hj |
|v1 i|v2 i
= v1i v2j
= hi |v1 ihj |v2 i
or, la formule que l'on vient d'tablir est bien
elle que l'on re
her
he, pour |u1 i =
|i i et |u2 i = |j i. Par linarit, le rsultat s'tend pour tout |u1 i, |u2 i.
Symtries
On dit qu'il est antisymtrique par rapport deux indi
es de mme varian
e si et
seulement s'il
hange de signe par transposition de
es indi
es :
ij..
ji..
T...
= T...
Ce qu'il faut bien noter, dans
ette dnition,
'est que la varian
e doit tre
ommune aux deux indi
es. Ainsi, on ne peut pas parler d'une matri
e d'oprateur
Ai j symtrique ou antisymtrique (sinon, on violerait la
onvention d'Einstein).
Par
ontre, on peut examiner la symtrie d'une matri
e Aij . Par exemple, on a
dj vu que la mtrique g est une matri
e symtrique.
b Universalit
La symtrie est prserve par tout
hangement de base, y
ompris par les
hangements de varian
e (il faut dans
e dernier
as
hanger la varian
e des deux indi
es
simultanment).
Ainsi, si Tij est symtrique, T ij , Tij et T ij le sont aussi. Par exemple, on a, sa
hant
que Tij = Tji ,
T ij = gik gjl Tkl = gjl gik Tlk = T ji .
47
trois dimensions, un tenseur totalement symtrique d'ordre 3 possde exa
tement 10 degrs de libert, alors que la dimension totale des tenseurs d'ordre 3
(ave
la mme varian
e) est 33 = 27.
e Tenseur totalement antisymtrique d'ordre 3
Il s'agit d'un
as fondamental.
Par dnition, soit T un tel tenseur, il vrie :
Tijk = Tikj = Tjik = Tjki = Tkij = Tkji .
le nombre de degrs de libert est 1 !
ela signie, qu' un fa
teur prs (dtermin
par T123 ),
e tenseur est unique .
On appelle le tenseur totalement antisymtrique d'ordre 3 l'objet dni par
123 = 231 = 312 = 1
ijk = 0 si i = j ou i = k ou j = k ;
ette appellation est
ependant falla
ieuse ; en eet, n'est pas un tenseur. Pour
le voir, appliquons un
hangement de base , en supposant que est un tenseur,
il vient :
ijk = mi nj ok mno
= det()ijk d'aprs la dnition (7) du dterminant.
48
Rgles ommunes
a Cas gnral
Les rotations
orrespondent S = R(, , ), o , et sont les angles d'Euler.
On a R(, , ) =
1
0
0
R() = 0 cos() sin()
0 sin() cos()
mais bien d'autres
as peuvent se produire (bisse
tri
e de deux axes, et
.), que
l'on ne peut d
rire exhaustivement.
30
49
b Exemple
tudions
l'exemple
de la rotation de 2/3 autour de l'axe (1,1,1). On trouve
0 0 1
1
u
u
u
u
0 1 0
u
u1
u2 = u2 0 0 1 u2 = u2 u3 = u2
u3
u1
u3
u3
1 0 0
u3
u3
u1 = u2 = u3 .
Proprits
De faon gnrale, les rotations sont des isomtries positives,
'est dire qu'elles
onservent l'orientation de l'espa
e. C'est une distin
tion trs importante quand
on aborde les pseudo-ve
teurs (ou ve
teurs axiaux),
ar les isomtries positives
agissent sur eux
omme sur les ve
teurs ordinaires.
Symtrie miroir
C'est l'exemple typique de symtrie unitaire indire
te (qui ne prserve pas l'orientation de l'espa
e).
a Premier exemple
tudions un premier
as parti
ulier : la symtrie miroir par rapport au plan x, y ;
S s'
rit simplement
1 0 0
S = 0 1 0 .
0 0 1
a b
c d
A=
0 0
0
0
.
b Se
ond exemple
tudions la symtrie miroir par rapport au plan orthogonal |e1 i|e2 i ; S s'
rit
0 1 0
S = 1 0 0 .
0 0 1
a
Proprits
Les symtries miroir sont des isomtries ngatives, qui inversent l'orientation de
l'espa
e. l'inverse des rotations, elles agissent de faon extraordinaire sur les
ve
teurs axiaux.
50
Symtrie entrale
Il s'agit d'un
as parti
ulier de symtrie unitaire. La symtrie
entrale est tout
simplement = I .
Pour les dimensions paires (n = 2 ou 4 en parti
ulier),
'est une isomtrie positive
et elle se ratta
he, quant aux proprits gnrales, aux rotations (
'est par exemple une
rotation d'angle deux dimensions).
Pour les dimensions impaires (n = 1 ou 3 en parti
ulier),
'est une isomtrie ngative,
ave
une a
tion extraordinaire sur les ve
teurs axiaux. Dans
es dimensions, il est en
fait trs pratique d'
rire, pour toute isomtrie ngative S , que S est une isomtrie
positive.
Les translations ne peuvent tre tudies dans le
adre de
e
ours,
ar elles agissent
dans un espa
e ane, appuy sur E .
Pour engendrer d'autres symtries, on fait des
ombinaisons de toutes les symtries
qui viennent d'tre d
rites. Il faut faire attention que
es
ombinaisons ne
ommutent
pas for
ment, et prendre l'ordre en
ompte.
Les seules symtries non unitaires
onnues en physique sont les
hangements d'
helle
d'un rapport donn.
Les objets invariants par
hangement d'
helle se trouve notamment dans les fra
tales. On ne peut appliquer qu'un nombre ni de
hangements d'
helle (moins d'une
dizaine) sur les vrais objets physiques, par
ontre les fra
tales mathmatiques, qui les
modlisent, sont inniment invariantes par
hangement d'
helle31 .
Souvent, il faut
ombiner un
hangement d'
helle et des rotations, ou des translations, pour d
rire un systme invariant.
3 Produit ve
toriel
On va voir que la gnralisation en toute base du produit ve
toriel est une
hose
assez subtile.
On se pla
e dans la totalit de
ette se
tion dans un espa
e E trois dimensions.
j=13
31
0
= 3
2
3
0
1
2
1 .
0
Toutefois,
omme dans le rseau de Penrose, il peut exister une
helle minimale, partir de laquelle
on ne peut faire que des inations. Mathmatiquement, les transformations sur
e rseau peuvent se
d
rire
omme N et non
omme Z, elles ne forment pas un groupe.
51
Dmonstration :
123 23
1
1ij T ij =
T
2
2
1
231 31
2ij T ij =
T
2
2
1
312 12
3ij T ij =
T
2
2
132 32
T
=
2
213 13
T
=
2
321 21
T
=
2
1 23
T
2
1 31
T
2
1 12
T
2
1 32
T = 1 ;
2
1 13
T = 2 ;
2
1 21
T = 3 .
2
Attention, n'est pas un tenseur, puisque n'en est pas un. On verra qu'il est
li la matri
e d'un pseudo-ve
teur, qu'on dnira plus loin. Par abus, on
rira
que est un pseudo-ve
teur lui mme.
1
Si on dnit32 i = 12 ijk T jk , on trouve i = det()
ji j = det()ji j .
Dmonstration :
i =
don iw i =
1
ijk ju kv T uv
2
1
ijk iw ju kv T uv
2|
{z
}
=wuv det()
soit
wa iw i =
| {z }
det() w
a wuv T uv
2
=i a
a = det()wa w .
j=13
0
= 3
2
3
0
1
2
1 .
0
don wi i =
1 ijk u v
j k Tuv
2
1 ijk w u v
i j k Tuv
2|
{z
}
=wuv det()
don
aw wi i =
| {z }
det() w wuv
i Tuv
2
=ai
32
a = det() wi w .
52
2 = u3 v 1 u1 v 3 ;
3 = u1 v 2 u2 v 1 .
Produit ve
toriel
a Dnition
Soient |ui et |vi deux ve
teurs, leur produit ve
toriel est dni
omme un tenseur
d'ordre 1. On le notera |wi = |ui |vi. Dans la base dire
te, ses
omposantes
ontravariantes sont
wi =
1 i
V
1 ijk
2V (uj vk
uk vj ) =
1 ijk
V uj vk
(on re
onnat le pseudo-ve
teur
ontravariant dni plus haut), soit, de faon
plus dtaille,
1
(u2 v3 u3 v2 ) ;
V
1
w2 = (u3 v1 u1 v3 ) ;
V
1
w3 = (u1 v2 u2 v1 ) .
V
w1 =
V
j k
2 ijk (u v
53
uk v j ) = Vijk uj v k
(on re
onnat le pseudo-ve
teur
ovariant dni plus haut), soit, de faon plus
dtaille,
w1 = V(u2 v 3 u3 v 2 ) ;
w2 = V(u3 v 1 u1 v 3 ) ;
w3 = V(u1 v 2 u2 v 1 ) .
=
=
1
gij jkl uk vl
V
1
gij gak gbl jkl ua v b
V|
{z
}
det(g)iab
V2
iab ua v b
V
= wi
o on a utilis V 2 = det(g).
Cara
tre tensoriel
Il faut maintenant analyser la faon dont
es
omposantes se transforment lors
d'un
hangement de base . p
p
Notons tout d'abord que V = det(g ) = det( g) = | det()|V .
Partons d'abord des
omposantes
ovariantes :
wi = V ijk uj v k
don ic wi
= | det()|Vijk ja kb ua v b
V
i j k ijk ua v b
=
| det()| | c a{z b }
=det()cab
= wc w = w w = w
wi = ji wj
don ci wi =
1 ijk
uj vk
V
1
ijk aj bk ua vb
| det()|V
1
c a b ijk ua vb
| det()|V | i j{z k }
=det()cab
= w w = w w = w
c
wi = ij wj ;
54
le signe est le mme qu'au dessus puisque det() et det() = 1/ det() ont
mme signe.
d Pseudo-ve
teur
On dit que le produit ve
toriel est un pseudo-tenseur,
ar il suit les lois des vrais
tenseurs d'ordre 1 quand la symtrie qu'il subit ne
hange pas l'orientation de
l'espa
e (det() > 0) ; par
ontre, il subit une inversion supplmentaire quand la
symtrie
hange l'orientation de l'espa
e (det() < 0).
Le premier
as, det() > 0,
orrespond aux rotations : quand on tourne un
pseudo-ve
teur, il se transforme
omme
un vrai ve
teur. Sur le dessin de droite,
on reprsente le
as du produit ve
toriel de deux ve
teurs |ui et |vi ; |wi =
|ui|vi est un pseudo-ve
teur. On
hoisit pour simplier (u, v, w) orthogonale
et on applique une rotation d'angle >
0 autour de l'axe u. Don
, u u = u,
v v et, par dnition w = u v =
u v . On
onstate que w subit une
mme rotation d'angle .
w
u
-v
v
]T
3
"
T"
u
6 u
6u
u
6 w
6
-
v v
En
on
lusion, sous l'a
tion d'une symtrie qui
hange l'orientation de la base,
un pseudo-ve
teur subit, en plus de la symtrie qui s'appliquerait tout ve
teur
ordinaire, une inversion.
Nota Bene : l'appellation pseudo-ve
teur tait abusive,
on
ernant , dni plus
haut, puisqu'il manque, , un fa
teur rel dans la transformation.
e Composantes naturelles
Si on s'interdit d'utiliser les
omposantes
ovariantes des ve
teurs, l'
riture qui
permet de
al
uler, en toute gnralit, un produit ve
toriel est assez lourde. On
a wi = Vgij jkl (uk vl ul vk ), il est alors indispensable d'
rire expli
itement la
mtrique inverse dans la dnition.
55
Ve teur rotation
Le ve
teur qui d
rit la rotation d'une parti
ule est un pseudo-ve
teur.
En eet,
'est le produit ve
toriel du ve
teur position et du ve
teur vitesse,
qui sont de vrais ve
teurs.
Rotationnel
Produit de ve teurs
dxi i f
dxi i f = d( ij xj ) ki k f
ij ki dxj k f = dxj j f ;
| {z }
=()kj = kj
56
elle est de plus relle,
'est une matri
e symtrique : si l'espa
e dans lequel on reprsente
les tats est de dimension s,
ette symtrie permet de rduire le nombre de paramtres
de s2 s(s+1)
2 .
Un autre exemple, tellement
ourant qu'on ne s'en rend plus
ompte, est le tenseur
de pression dans l'air. Les
onditions ordinaires permettent d'
rire la matri
e P , qui
est normalement une matri
e 3 3, sous la forme P = pI , o le s
alaire p est la pression
telle qu'on la
onnat : on est pass de 9 1 paramtre.
On va dtailler les te
hniques de rdu
tion des tenseurs.
Cas tensoriel
a Prin
ipe
Si l'a
tion d'une symtrie sur un ve
teur est simple, on peut fa
ilement la transposer dire
tement et ave
peu de
al
ul au produit tensoriel de ve
teurs.
Une fois que l'on
onnat l'a
tion de la symtrie sur un produit tensoriel, on
onnat
son a
tion sur un oprateur (ou tout tenseur d'ordre 2)
ar elle est formellement
identique (il faut garder en mmoire que les produits tensoriels engendrent tous
les tenseurs d'ordre 2).
Enn,
onnaissant l'a
tion sur un tenseur A d'ordre 2, il faut rsoudre l'quation
matresse A = A.
b Premier exemple
Prenons l'exemple de l'invarian
e par rotationde 2/3
l'axe(1,1,1).
autour de
1
2
u
u
2
est S u = u3 , don
L'a
tion de la symtrie sur un ve
teur u = u
3
u
u1
l'a
tion de S S sur le produit tensoriel |ui|vi donne
u2 v 2
u v = u3 v 2
u1 v 2
u2 v 3
u3 v 3
u1 v 3
u2 v 1
u3 v 1
u1 v 1
qui peut en
ore s'
rire (ui+1 vj+1 )i,j=1..3 ave
une
onvention d'
riture des indi
es
modulo 3.
Du
oup, l'a
tion de la symtrie sur les
omposantes deux fois
ontravariantes
d'un oprateur A s'
rit, par analogie, Aij = Ai+1 j+1 et les tenseurs invariants,
qui vrient Aij = Ai+1 j+1 , s'
rivent
a
A =c
b
b c
a b
c a
Se
ond exemple
Considrons la rotation de /2 autour de l'axe e3 . Son a
tion sur la base
anonique
est |e1 i |e2 i, |e2 i |e1 i et |e3 i |e3 i, la matri
e S s'
rit
0 1 0
S = 1 0 0
0 0 1
et
57
0 1 0
S = 1 0 0 ;
0 0 1
du
oup, l'a
tion sur les
omposantes
ontravariantes du ve
teur |ui est34 ui =
Si j uj , soit u1 u2 , u2 u1 et u3 u3 .
La transformation du produit tensoriel |ui|vi, puis
elle des
omposantes deux
fois
ontravariantes du tenseur A d'ordre 2, sont don
u2 v 2
u v = u1 v 2
u3 v 2
u2 v 1
u1 v 1
u3 v 1
u2 v 3
u1 v 3
u3 v 3
A22
A = A12
A32
et
A21
A11
A31
A23
A13 .
A33
a b 0
A = b a 0
0 0 c
Cas gnral
Le
as gnral que l'on vient de traiter l'aide du produit tensoriel peut tre dire
tement rsolu partir de l'quation matresse A = A, o on utilise la loi gnrale de
transformation du tenseur pour exprimer A .
En d'autres termes, pour les
as
ompliqus, il n'est pas sp
ialement utile de passer
par la loi du produit tensoriel, qui n'apporte au
un gain de temps parti
ulier.
Il s'agit d'un systme linaire de np quations np in
onnues, pour lequel au
une
mthode gnrale n'existe,
ar n
essairement
ertaines quations sont dgnres36 . Le
nombre d'quations indpendantes indique le nombre de degrs de libert qui vont tre
rduits.
tudions pour nir un exemple parti
ulier.
a non
On
onsidre les
omposantes tij deux fois
ontravariantes d'un tenseur d'ordre 2.
On suppose que t possde un axe ternaire37 parallle e3 et on veut rduire le
tenseur.
b Lois de transformation
34
21
3
2
3
2
12
0 .
1
La loi de transformation des ve
teurs de base est identique
ette loi de transformation des
omposantes,
on
iden
e troublante puisque
elle-l est
ovariante par dnition, et
elle-
i
ontravariante ;
en fait, pour toutes les symtries S unitaires, on a = ,
e qui
onduit une loi identique.
35
= S (uu )S pour les symtries unitaires.
36
L'espa
e des solutions est un espa
e ve
toriel ; si le systme est non dgnr,
ela signie que
et
espa
e est rduit au ve
teur nul, autrement dit que la symtrie n'est jamais vrie. C'est un
as que
l'on peut ex
lure a priori.
37
invarian
e par rotation de 2/3.
58
La loi detransformation des ve
teurs de base est alors |e1 i = 21 |e1 i + 23 |e2 i,
|e2 i = 23 |e1 i 12 |e2 i, |e3 i = |e3 i.
La loi de transformation
des
omposantes
ontravariantes d'un ve
teur est don
3 2
1 1
1
2
x = 2 x + 2 x , x = 23 x1 21 x2 , x3 = x3 .
La loi de transformation des
omposantes de t est nalement tij = ik jl tkl , soit
t11 = 1k 1l tkl = 11 11 t11 + 12 11 t21 + 11 12 t12 + 12 12 t22
1 11
3 21
22
=
(t + 3t )
(t + t12 ) ;
4
4
t12 = 1k 2l tkl = 11 21 t11 + 12 21 t21 + 11 22 t12 + 12 22 t22
1
3 11
(t t22 ) + (t12 3t21 ) ;
=
4
4
t21 = 2k 1l tkl = 21 11 t11 + 22 11 t21 + 21 12 t12 + 22 12 t22
1
3 11
(t t22 ) + (t21 3t12 ) ;
=
4
4
t22 = 2k 2l tkl = 21 21 t11 + 22 21 t21 + 21 22 t12 + 22 22 t22
1 11
3 21
22
(3t + t ) +
(t + t12 ) ;
=
4
4
1
t13 = 1k 3l tkl = 11 33 t13 + 12 33 t23 = (t13 + 3t23 ) ;
2
1
23
2 3 kl
2 3 13
2 3 23
t
= k l t = 1 3 t + 2 3 t = ( 3t13 + t23 ) ;
2
1
t31 = 3k 1l tkl = 33 11 t31 + 33 12 t32 = (t31 + 3t32 ) ;
2
1
t32 = 3k 2l tkl = 33 21 t31 + 33 22 t32 = ( 3t31 + t32 ) ;
2
t33 = t33 .
quation matresse
Les quations d'invarian
e de t par
ette symtrie sont t = t, soit nalement
t11
t12
t21
22
t
13
t23
t31
32
t
a b
t = b a
0 0
59
0
0
c
11
t
t12
13
t
23
t
t31
32
t
= t22
= t21
=0
=0
=0
=0
e Symtrie supplmentaire
Si de plus t est une matri
e symtrique, on a b = 0, la matri
e t est diagonale ave
seulement deux paramtres libres.
60