3. Tenseurs. - GEOMETRIE DIFFERENTIELLE par le en utilisant les lois de transformations de u! et de g!. ... Avec les rgles de transformation des tenseurs, il est facile de vrifier que R!

  • Published on
    06-Feb-2018

  • View
    214

  • Download
    0

Embed Size (px)

Transcript

<ul><li><p> 1 </p><p>3. Tenseurs. 1. Exemple 1 : le tenseur mtrique. Nous avons dj rencontr un objet deux indices, savoir g!" dont les composantes sont les coefficients dans lexpression du produit scalaire de deux vecteurs </p><p>!u et !v : </p><p>!u.!v =! =0</p><p>n"1</p><p>#$=0</p><p>n"1</p><p># u! v$ g!$ . Dans cette expression les g!" peuvent dpendre du point de lespace </p><p>g!" (x) (voir par exemple lexpression de la mtrique de lespace euclidien 3 dimensions en coordonnes sphriques). La norme dun vecteur, le produit scalaire de deux vecteurs, sont des nombres qui ne doivent dpendre que des objets considrs et pas du systme de reprage utilis pour les dcrire. Considrons donc deux systmes de coordonnes que nous appellerons {x , 0</p></li><li><p> 2 </p><p>vraie quels que soient les vecteurs !u et </p><p>!v . Par consquent on doit avoir lors dun changement de coordonnes : </p><p> g!" ( y) = ( A</p><p>#1)! ( A#1)"</p><p>$ g$ (x) (3) Dans la suite, pour simplifier les notations, et lorsquil ny aura pas dambigut, nous crirons : </p><p> A!</p><p> = A"1! . Par consquent avec ces notations : </p><p>g!" = A! A"</p><p># g# , et : </p><p> A!</p><p> A"! = # "</p><p> , A$ A!</p><p> = # !$ (4) </p><p>Ainsi nous commenons voir comment se transforme un tenseur. 2. Exemple 2 : le gradient dune fonction. Considrons un autre exemple. Soit une fonction relle continue et diffrentiable f (x) des </p><p>coordonnes </p><p>x!{ } . La diffrentielle de f , qui exprime la variation de la valeur de la fonction pour une variation infinitsimale des coordonnes ne doit pas dpendre des coordonnes utilises, cest dire : </p><p> df = !" f dy</p><p>" = ! f dx et ceci quels que soient les dx . Ceci </p><p>entrane : !" f = ( A</p><p>#1)" ! f = A"</p><p> ! f qui est la loi de transformation du gradient dune fonction f lors dun changement de coordonnes. Le gradient dune fonction est souvent manipul comme un vecteur ordinaire et not </p><p>!!f , </p><p>cependant il faut tre trs prudent. Supposons que lon veuille crire ce gradient comme un vecteur colonne afin de le transformer laide de matrices. Dans les notations que nous avons utilises jusqu prsent lindice suprieur de </p><p>A! est le numro de la ligne et celui du bas le </p><p>numro de la colonne. Si on crit ! f comme un vecteur colonne, la place des indices est </p><p>inverse, et il faut crire sous forme matricielle : </p><p>!! ' f = ( A"1)T</p><p>!!f </p><p>o le signe T dsigne la transposition, et o le signe prime indique le gradient dans le systme de coordonnes </p><p>y!{ } . Si la transformation est une rotation alors A!1 = AT et on peut transformer le gradient comme un vecteur ordinaire, mais cela nest pas une proprit gnrale. 3. Indices contravariants et covariants. Revenons au produit scalaire du dbut de cette section et posons : </p><p>u! = g!" u" = g"! u</p><p>" (notez bien que conformment aux conventions usuelles nous avons omis le signe de sommation car ces expressions impliquent des indices rpts des positions de hauteur diffrentes). Nous venons dexprimer le vecteur </p><p>!u avec des indices covariants (section 2.1). On peut faire la mme chose avec le vecteur </p><p>!v . Le produit scalaire scrit donc : !u.!v = u! v</p><p>! = v" u" . </p><p>Maintenant, comme nous lavons dj dit, le produit scalaire de deux vecteurs ne doit pas dpendre du systme de coordonnes utilises, et ceci quels que soient les vecteurs considrs, donc on doit avoir : </p><p>u! = A! u . Ce qui aurait pu aussi bien tre obtenu en partant </p><p>de la dfinition de u! et en utilisant les lois de transformations de u! et de g!" . Le gradient </p></li><li><p> 3 </p><p>dune fonction f (section prcdente) apparat donc, par la faon dont il se transforme lors dun changement de variables, comme un vecteur crit avec un indice covariant . 4. Dfinition dun tenseur. Un tenseur est un objet plusieurs indices, certains indices sont situs en haut on dit que ce sont des indices contravariants, et certains sont situs en bas , on les appelle indices covariants. Leur place relative est importante sauf cas particulier, et sera indique par un point si ncessaire. Par exemple la notation </p><p>T !" est ambigu et </p><p>T !" peut ltre si mal crit. Nous </p><p>crirons donc T .!"</p><p> ou T ! ."</p><p> etc selon les cas. Mais ce qui fait quun objet plusieurs indices est un tenseur est la manire dont il se transforme dans un changement de coordonnes. Considrons donc un objet contenant des indices covariants et contravariants tel que </p><p> T .!"</p><p> , pour que ce soit un tenseur il faut quil se transforme de la manire suivante : </p><p> T .!"</p><p># ( y) = A# A!</p><p>$ A"% T .$%</p><p> (x) (5) et on peut gnraliser cette expression tout type de tenseur. Nous avons vu ci dessus, que dans le cas dun vecteur, on pouvait passer dun indice contravariant un indice covariant en utilisant le tenseur mtrique, on peut videmment faire linverse. Soit g</p><p>!" linverse de la mtrique (considre comme une matrice), cest dire satisfaisant : </p><p>g!"g"# = g"# g!" = $#</p><p>! ; alors comme on le vrifie facilement pour un vecteur !u : </p><p> u! = g!"u" . Dune manire gnrale on passera dun indice contravariant un indice covariant en utilisant g!" , et on passera dun indice covariant un indice contravariant avec linverse g</p><p>!" de g!" . </p><p>Exemples : T !</p><p>" . # = g!$ T" $ # ; T" . .</p><p>.!# = g!$ g#% T"$ % ; T! . "</p><p># = g!$ g#%T . % "</p><p>$ Avec la dfinition de la transformation dun tenseur dans un changement de coordonnes, et la transformation de g!" discute dans la premire section de ce chapitre, on vrifie aisment que la transformation dun tenseur est cohrente, quon exprime celui-ci avec des indices contravariants ou covariants. 5. Contraction des indices. Considrons dabord un exemple simple. Soient un vecteur V ! et un tenseur T !"# . On peut construire un autre objet en sommant sur des indices rpts occupant des positions diffrentes en hauteur : R</p><p>!" =V# T#!" . Cest une gnralisation du produit scalaire de deux </p><p>vecteurs. Cette opration sappelle contraction des indices . On aurait pu contracter avec le second ou le troisime indice de T !"# pour former dautres objets, par exemple : </p><p> Q!" =V# T</p><p>!#" . </p><p>Avec les rgles de transformation des tenseurs, il est facile de vrifier que R!" et Q!" sont </p><p>des tenseurs. </p></li><li><p> 4 </p><p>On peut gnraliser cela nimporte quel type de contraction, par exemple : Q!" = R .#$</p><p>! T $"# </p><p>ou R! = T . . "</p><p>" ! . Il est facile de vrifier que lobjet rsultant de la contraction est encore un tenseur, quil sagisse de la contraction dindices appartenant deux tenseurs diffrents, ou appartenant au mme tenseur. Lorsque tous les indices ont t contracts, on obtient une quantit qui ne porte plus aucun indice et que lon appelle un scalaire. Un scalaire est une quantit invariante par changement de coordonnes. Ces quantits scalaires que lon appelle aussi invariants jouent un rle important car ils permettent dcrire certaines relations indpendamment de tout systme de coordonnes. 6. Exemple 3 : les drives dun tenseur. Nous avons considr le gradient dune fonction relle, mais il ne faudrait pas croire que prendre les drives partielles dun tenseur mne ncessairement un tenseur. En effet, soit un champ de vecteur </p><p>!v , chaque composante est une fonction relle des coordonnes, do, daprs lexemple 2 : </p><p>!"v# ( y) = A"</p><p> !v# ( y(x)) = A"</p><p> ! A$# v$%&amp; '(</p><p>= A" A$</p><p># !v$ + A"</p><p> ! A$# v$</p><p>qui montre que !v</p><p>" nest pas un tenseur. Par contre, considrons les drives des composantes covariantes, on a : </p><p>!"v# ( y) = A" !v# ( y(x)) = A"</p><p> ! A#$ v$%&amp; '(</p><p>= A" A#</p><p>$ !v$ + ( A" ! A#</p><p>$ ) v$ </p><p>Dautre part nous avons : A!" A#</p><p>! = $#" , o nous avons utilis le fait que </p><p>A! est linverse de </p><p> A! daprs (4). Nous pouvons donc crire: </p><p> ! A"</p><p># .A$" = %A"</p><p># ! A$" , soit encore : </p><p> ! A"</p><p># = $A"% A&amp;</p><p># ! A%&amp; , do : </p><p> !"v# ( y) = A"</p><p> A#$ !v$ % A"</p><p> A#&amp; A'</p><p>$ ! A&amp;' v$ </p><p>De la mme manire on peut calculer !"v# ( y) = A#</p><p> A"$ !$v % A"</p><p> A#&amp; A'</p><p>$ ! A&amp;' v$ et compte </p><p>tenu du fait que : ! A"</p><p># = !!" y# = !"! y</p><p># = !" A# , on obtient : </p><p> !"v# ( y) $ !#v" ( y) = A"</p><p> A#% (!v% (x) $ !%v (x)) </p><p>qui montre que : T! = ("v! (x) # "!v (x)) est un tenseur. Cest un tenseur antisymtrique </p><p>deux indices, ce qui veut dire que T! = "T! . Dans un espace euclidien trois dimensions on </p><p>reconnat les composantes du rotationnel dun vecteur. Nous appliquerons le rsultat prcdent au champ lectromagntique un peu plus loin. </p></li><li><p> 5 </p><p>7. Application de ces considrations la mcanique. </p><p>En mcanique on dfinit la vitesse par </p><p>!v =</p><p>d!x</p><p>dt . Si lon prend le point de vue relativiste, </p><p> v! =</p><p>dx!</p><p>dt nest pas un vecteur, car bien que dx! se transforme comme un vecteur, dt nest </p><p>pas un scalaire mais une des composantes de d!x . Pour une particule de masse non nulle, on </p><p>dfinit le temps propre ! par : c2d! 2 = c2dt2 " d</p><p>!x 2 , o d</p><p>!x reprsente la partie purement </p><p>spatiale de d!x . ! est le temps dans le repre o la particule est immobile (d</p><p>!x = 0) . Par </p><p>contre, u! =</p><p>dx!</p><p>d" est un vecteur de M 4 (puisque d! est un invariant), cest la quadri vitesse </p><p>qui vrifie u!u! = 1 , car u!u</p><p>! = (dx! dx! ) / (d" )2 = (d" )2 / (d" )2 = 1 . La quadri vitesse </p><p>scrit : u! =</p><p>dx!</p><p>dt1</p><p>1" v2 / c2 , car daprs la dfinition de ! on peut crire : </p><p> d! = dt 1"</p><p>d!x</p><p>2</p><p>c2dt2= dt 1"</p><p>v2</p><p>c2 </p><p> Finalement la quadri impulsion dune particule ponctuelle de masse non nulle sera dfinie par </p><p> p! = m u! , o m est la masse de la particule. Les quantits tensorielles utilises en </p><p>mcanique relativiste seront exprimes en fonction de la quadri vitesse et non de la vitesse ordinaire. 8. Tenseurs symtriques, antisymtriques. On dit quun tenseur est antisymtrique par rapport une paire dindices donns, si celui ci change de signe par lchange de ces deux indices. De mme on dit quun tenseur est symtrique par rapport une paire dindices, si celui-ci conserve sa valeur par lchange de ces deux indices. Un exemple simple de tenseur symtrique est le tenseur construit partir des composantes de deux vecteurs </p><p>!u, !v : T !" = u!v" + u"v! , la symtrie par change des deux indices est vidente et il sagit bien dun tenseur puisque cet objet se transforme bien comme un tenseur lors dun changement de coordonnes. Exercice 1. Montrez que si un tenseur est symtrique (antisymtrique) par rapport une paire dindices dans un systme de coordonnes donn, il est symtrique (antisymtrique) par rapport cette mme paire dans nimporte quel systme de coordonnes. Cest donc une proprit intrinsque. Montrez que si un tenseur est symtrique (antisymtrique) par rapport une paire dindices contravariants donne, il lest galement si on passe des indices covariants (et vice versa). Montrez quun tenseur 2 indices peut toujours tre crit comme la somme dun tenseur symtrique et dun tenseur antisymtrique. </p></li><li><p> 6 </p><p>Exercice 2. Quel est le nombre de composantes non nulles dun tenseur totalement antisymtrique de rang r dans un espace n dimensions ? Pour connatre les proprits dun tenseur totalement antisymtrique, lire dabord le premier paragraphe de la section suivante. Exercice 3. Quel est le nombre de composantes indpendantes dun tenseur totalement symtrique de rang r dans un espace n dimensions ? 9. Le tenseur totalement antisymtrique ! . Considrons un espace euclidien n dimensions et des coordonnes cartsiennes orthonormes : x!i , 0 " ! i " n #1 . Le tenseur totalement antisymtrique </p><p>!"0 ,"1 ,...,"n#1 est </p><p>dfini par : !"0 ,"1 ,.." i ," i+1 ..,"n#1 = #!"0 ,"1 ,.." i+1 ," i ..,"n#1 et par </p><p>!0,1,...,n"1 = 1 , cest dire que ce tenseur </p><p>change de signe par permutation de deux indices adjacents. Si deux indices adjacents ont mme valeur les composantes du tenseur </p><p> !"0 ,"1 ,...,"n#1 sont donc nulles, et par permutation des </p><p>indices, on dduit que les composantes qui ont deux indices quelconques gaux sont nulles. Exemple : dans !3 , !012 = !201 = !120 = 1 ; !021 = !210 = !102 = "1 ; et toutes les autres composantes du tenseur totalement antisymtrique telles que !022 , !010 etc, sont nulles. Effectuons la contraction du tenseur avec n vecteurs </p><p>!v0 , ... ,!vn!1 pour obtenir un scalaire : </p><p> S = !"0 ..." i" i+1 ..."n#1 v0</p><p>"0 ... vi" i vi+1</p><p>" i+1 ... vn#1"n#1 </p><p>Si on change les places de !vi et </p><p>!vi+1 on a : </p><p>S = !"0 ..." i" i+1 ..."n#1 v0"0 ...vi+1</p><p>" i+1 vi" i ... vn#1</p><p>"n#1</p><p>= #!"0 ..." i+1" i ..."n#1 v0"0 ...vi+1</p><p>" i+1 vi" i ... vn#1</p><p>"n#1 </p><p>changeons le nom des indices de coordonnes: </p><p> S = !"#0 ...# i# i+1 ...#n!1 v0</p><p>#0 ...vi+1# i vi</p><p># i+1 ... vn!1#n!1 </p><p>S est donc une forme multilinaire alterne, cest dire une forme linaire pour chacun de ses arguments et qui change de signe par lchange de deux arguments adjacents, et cest le dterminant de la matrice : </p><p>V =v0</p><p>0 vi0 vn!1</p><p>0</p><p>... ... ...v0</p><p>n!1 vin!1 vn!1</p><p>n!1</p><p>"</p><p>#</p><p>$$$</p><p>%</p><p>&amp;</p><p>'''</p><p>o chaque vecteur !vi correspond une colonne. </p><p>Le dterminant dpend de lordre dans lequel sont rangs les vecteurs !vi . Si lon appelle </p><p> det(V ) le dterminant de la matrice ci-dessus, avec les vecteurs rangs dans cet ordre, la quantit S sera pour un ordre quelconque : </p><p> S = det(V ) ! i0 i1 ... in"1 (6) </p><p>o le tenseur est prsent pour indiquer dans quel ordre les vecteurs !vi ont t rangs. </p><p>Jusqu prsent, dans cette section, nous avons choisi un repre orthonorm, faisons un changement de coordonnes quelconque et crivons comme au dbut de ce chapitre : </p></li><li><p> 7 </p><p> v! = A</p><p>! v , o les indices ! , " se rapportent au repre orthonorm. Nous appellerons </p><p> !"0 ,"1 ,...,"n#1 le tenseur dfini ci-dessus lorsquil se rapporte une base orthonorme. Ceci ne </p><p>sera pas fait systmatiquement mais quand il sagit de clarifier et de bien distinguer les diffrents cas. On peut crire : </p><p> S = !"0 ..."i ..."n#1 v0</p><p>"0 ... vi"i ... vn#1</p><p>"n#1 </p><p>S = !"0 ..."i ..."n#1 A0"0 ... Ai</p><p>"i ... An#1"n#1 v0</p><p>0 ... vii ... vn#1</p><p>n#1 = det( AV )</p><p>= det( A) !0 ... i ... n#1 v00 ... vi</p><p>i ... vn#1n#1</p><p>= det( A) det(V )</p><p> (7) </p><p>Posons : </p><p> !0 ... i ... n"1 = !#0 ...#i ...#n"1 A0</p><p>#0 ... Ai#i ... An"1</p><p>#n"1 (8) </p><p>ce qui fait de un tenseur par construction. On crit donc : </p><p> S = !0 ... i ... n"1 v0</p><p>0 ... vii ... vn"1</p><p>n"1 </p><p>Daprs lexercice 1, !0 ... i ... n"1 est un tenseur totalement antisymtrique. Le module de </p><p>ses composantes est det( A) . </p><p>Maintenant introduisons !"0 ,"1 ,...,"n#1 dfini par rapport une base orthonorme et qui vaut 1 </p><p>si tous ses indices sont diffrents, et 0 autrement. Si nous crivons </p><p> ! (vi0 , ... , vin"1 ) = #0 ... j ... n"1 vi0</p><p>0 ... vij j ... vin"1</p><p>n"1 # i0 ...i j ...in"1 , cette quantit ne </p><p>dpend pas de lordre dans lequel les vecteurs !v0 , ... ,</p><p>!vn!1 ont t rangs. Mais on peut aussi bien linter...</p></li></ul>

Recommended

View more >