Partie II

Relativit¶ restreinte e

69

Introduction
Nous d¶crirons dans ce chapitre la th¶orie de la relativit¶ restreinte, essentiellement telle qu'elle fut e e e formul¶e par Einstein. Initialement, l'objet de la relativit¶ ¶tait de r¶concilier l'¶lectromagn¶tisme et e ee e e e la cin¶matique : comme nous avons vu dans l'introduction a ce cours, la relativit¶ Galil¶enne n'est pas e µ e e directement compatible avec l'¶lectromagn¶tisme tel qu'il fut formul¶ par Maxwell. C'est essentiellee e e ment sur l'application µ l'¶lectromagn¶tisme de la relativit¶ restreinte que portera ce chapitre. En a e e e revanche, il faut bien voir que la relativit¶ restreinte s'applique dans un beaucoup plus large domaine. e Elle joue en particulier un r^le central pour la physique des particules et la physique des acc¶l¶rateurs. o ee Elle est aussi essentielle en astronomie, beaucoup de sources de rayonnement cosmiques impliquant des d¶placements a des vitesse proches de celle de la lumiµre. e µ e Ce chapitre comportera deux ¶tapes essentielles. Aprµs un bref rappel de la relativit¶ galil¶enne, e e e e nous constaterons les di±cult¶s que pose l'immersion de l'¶lectromagn¶tisme dans cette relativit¶ e e e e et donc dans la cin¶matique classique. Nous montrerons en particulier l'incompatibilit¶ grave de e e l'¶lectromagn¶tisme avec la loi ordinaire de composition des vitesses. Nous postulerons donc un e e nouveau principe de relativit¶, imposant µ toutes les lois de la physique, y compris l'¶lectromagn¶tisme, e a e e d'^tre invariantes dans un changement de r¶f¶rentiel galil¶en. La vitesse de la lumiµre devenant e ee e e ind¶pendante du r¶f¶rentiel, la loi de composition des vitesses et l'ensemble de la cin¶matique sont e ee e condamn¶es. Il nous faudra donc d'abord d¶truire la cin¶matique et la dynamique3 newtoniennes e e e telles que nous les connaissons maintenant. Il nous faudra formuler une nouvelle transformation des coordonn¶es et du temps d¶crivant les e e changements de r¶f¶rentiels, la transformation de Lorentz. Nous verrons en e®et, par quelques arguee ments trµs simples, qu'un des postulats de base de la m¶canique classique, l'universalit¶ du temps et e e e de la simultan¶it¶, doit ^tre abandonn¶. On mesure peut ^tre assez mal aujourd'hui µ quel point la e e e e e a d¶marche d'Einstein fut audacieuse, remettant en cause les postulats les plus intuitifs de la m¶canique. e e La phase conceptuellement la plus di±cile de notre travail, qui fera l'objet du premier chapitre, sera alors termin¶e. e Le deuxiµme chapitre, beaucoup plus math¶matique que physique, sera consacr¶ a l'introduction e e eµ de notations tensorielles, bien adapt¶es a l'espace{temps µ quatre dimensions de la relativit¶. Nous e µ a e introduirons en particulier des conventions de notations trµs puissantes, dues µ Einstein, qui permettent e a d'¶crire de maniµre compacte et ¯able les expressions parfois complexes auxquelles conduisent les e e calculs relativistes. Ces notations s'avµrent indispensables pour aborder la relativit¶ g¶n¶rale, th¶orie e e e e e g¶om¶trique de la gravitation. e e Nous formulerons, au chapitre suivant, les lois de la nouvelle dynamique. Nous ¶crirons en pare ticulier, dans une approche lagrangienne, le lagrangien d'une particule libre et nous en d¶duirons e l'expression de la quantit¶ de mouvement relativiste. Nous d¶montrerons en passant la formule la plus e e c¶lµbre de l'histoire de la physique (nous laissons au lecteur le soin de deviner laquelle). Nous donee nerons ¶galement la forme relativiste du principe fondamental de la dynamique que nous ne pourrons e guµre exploiter sans une forme explicite des forces, au moins de la force de Lorentz. Nous n'explorerons e donc pas trµs en d¶tails cette partie de la relativit¶ qui se conclura par une brµve description de la e e e e
3 Rappelons que la cin¶matique d¶crit les mouvement ind¶pendamment de leurs causes et que la dynamique permet e e e de pr¶voir le mouvement si on en conna^ les causes. e ³t

71

Nous aurons donc montr¶ a quel point l'¶lectromagn¶tisme e e eµ e e de Maxwell s'adapte naturellement au cadre relativiste. Nous chercherons µ y construire une th¶orie non triviale a e d'interaction entre particules transmise par un champ. e e . Nous constaterons sans d¶plaisir que la structure de cette th¶orie de e e champ est celle de l'¶lectromagn¶tisme. Nous montrerons ainsi que cette e e e approche complµtement relativiste. e Pour un cours centr¶ sur l'¶lectromagn¶tisme. d'une grande importance en physique des particules. du mouvement de particules relativistes dans des champs e e e impos¶s aux bilans d'¶nergie{impulsion pour le champ lui m^me. Nous postulerons des formes simples pour le lagrangien d'interaction et pour le lagrangien d¶crivant ce champ et nous ¶crirons les ¶quations e e e de Lagrange correspondantes. outre son ¶l¶gance. nous consacrerons en e®et l'essentiel de nos efe e e forts au dernier chapitre de cette partie. Nous en pro¯terons pour examiner quelques problµmes simples d'¶lectromagn¶tisme. permet de d¶river des lois importantes qui ne e ee e sont accessibles qu'au prix de calculs lourds en ¶lectromagn¶tisme \classique".72 th¶orie relativiste des collisions.

immobiles les uns par rapport aux autres. Cette synchronisation ne pose aucune di±cult¶ en cin¶matique e e e e classique. Les observateurs e e e sont de plus munis d'horloges qui leur permettent de noter l'instant auquel le mobile passe en face d'eux. par trois autres fonctions du e ee e temps commun des observateurs de R0 : x0 (t0 ). en mouvement par rapport µ R. su±samment rapide e e e e e a e µ l'¶chelle du mouvement pour en donner une description temporelle convenable. y(t). qu'elles sont trµs importantes en cin¶matique relativiste. Il su±t.1 1. Pour utiliser un vocabulaire e e a o ferroviaire1 . e ee ee c'est un ensemble d'observateurs. Nous supposerons que toutes les horloges de tous les observateurs d'un m^me r¶f¶rentiel sont synchronis¶es (indiquent e ee e la m^me valeur au m^me instant). e e 73 . Nous allons commencer par quelques e a trµs brefs rappels de cin¶matique galil¶enne ou newtonienne. C'est sans doute li¶ au succµs grandissant des transports ferroviaires au d¶but du siµcle et µ e e e e e a leur importance sociologique. orthonormal) pour rep¶rer ces positions au moyen de trois coordonn¶es. Certes. La connaissance de la position des observateurs µ concern¶s permet alors de d¶terminer la trajectoire du mobile. Nous verrons. on admet sans restrictions l'identit¶ des temps (µ une synchronisation prµs) des observateurs de R et de R02 . nous emploierons ce genre de vocabulaire dans ce cours. e e e 2 Cette hypothµse ¶tait d¶jµ faite explicitement par Newton dans ses Principia. Un r¶f¶rentiel. le mouvement ¶tant alors complµtement d¶termin¶ par la trajectoire et la loi horaire. e e e La notion centrale de la cin¶matique (classique ou relativiste) est celle de r¶f¶rentiel. z 0 (t0 ). e e e parfois m^me des tunnels. S'il en avait tout µ fait reconnu e e ea a l'importance. z(t) repr¶ee e e sentant la position en fonction du temps commun des observateurs. e e e 1. y 0 (t0 ). puisque temps et espace sont complµtement d¶coupl¶s. m^me avec les trains les plus modernes. par exemple. Ces observateurs peuvent constater le passage du mobile a leur position. il n'avait guµre de doutes sur sa validit¶. Pour c¶der a la tradition. bien e µ que les e®ets relativistes soient complµtement n¶gligeables. en revanche.1 Rappels de relativit¶ galil¶enne e e Transformation de Galil¶e e Il est trµs intuitif que le mouvement d'un point d¶pende de l'observateur. que tous les e e e observateurs se retrouvent en un m^me point pour faire le z¶ro de leurs horloges a un moment come e µ mun. le passager de train a une vitesse faible ou nulle par rapport µ celle du contr^leur. et de refonder une cin¶matique tout µ fait nouvelle. Ces hore e e e loges peuvent ^tre constitu¶es de n'importe quel ph¶nomµne physique p¶riodique. Le m^me mouvement serait e a d¶crit dans un autre r¶f¶rentiel R0 . Il e a e 1 Les papiers originaux sur la relativit¶ emploient souvent des exp¶riences de pens¶e utilisant des trains et des gares. e e Un mouvement dans un r¶f¶rentiel R est alors d¶¯ni par les trois fonctions x(t). alors qu'il a une vitesse ¶lev¶e par rapport au garde barriµre. ces pr¶cautions pour la d¶¯nition du temps paraissent superf¶tatoires en cin¶matique e e e e classique. On peut bien s^r convenir d'un repµre e e u e (cart¶sien.Chapitre 1 Cin¶matique relativiste e La premiµre ¶tape est donc de comprendre les incompatibilit¶s entre ¶lectromagn¶tisme et cin¶matique e e e e e e classique.1. En m¶canique classique.

align¶s avec la vitesse relative u. on peut choisir les axes dans R et R0 de telle maniµre que: e e e ² Les axes Ox et O0 x0 coÄ ³ncident a tout instant et sont parallµles a la vitesse u de R0 par rapport e µ a µ R. qui sera e remplac¶e par la transformation de Lorentz en relativit¶ einsteinienne. Les axes Ox et O 0 x0 . et les axes Oz et O0 z 0 . tels que le mouvement d'une particule libre y soit rectiligne et uniforme. en mouvement de translation uniforme les uns par ee e e ee e rapport aux autres. coÄ e Figure 1. par simple d¶rivation par rapport au temps. d'autre part.1 pr¶sente la g¶om¶trie choisie. Sans restreindre du tout la e e g¶n¶ralit¶.74 ¶ CHAPITRE 1.2) (vitesse absolue ¶gale vitesse relative plus vitesse d'entra^ e ³nement). La dynamique newtonienne r¶sulte alors du principe d'inertie de Galil¶e: il existe une classe de e e r¶f¶rentiels privil¶gi¶s. ee e Dans le cas le plus simple. CINEMATIQUE RELATIVISTE y y' O O' u x x' z z' e ³ncident µ chaque instant. ² Les origines O et O0 sont confondues µ l'instant t = 0. sont constamment parallµles e et coÄ ³ncident µ t = 0. d'une part. a ² Les axes Oy et O0 y 0 . .1: Choix des axes dans deux r¶f¶rentiels R et R0 en mouvement relatif. les r¶f¶rentiels galil¶ens.1) C'est cette transformation. a La ¯gure 1. Les axes des deux repµres sont ee e est possible alors de donner la transformation qui fait se correspondre les mouvement vus dans deux r¶f¶rentiels di®¶rents. Nous l'exposons en d¶tail parce que nous choisirons la e e e e m^me pour d¶crire les changements de r¶f¶rentiel en relativit¶ restreinte. e e ee e La loi de transformation de Galil¶e s'¶crit alors trivialement: e e x0 (t) = x(t) ¡ ut y 0 (t) = y(t) z 0 (t) = z(t) 9 > = > . a parallµles. la loi de composition des vitesses: e v = v0 + u (1. tellement triviale qu'elle est bien rarement ¶crite explicitement. Cette transformation de Galil¶e e e e contient. cette transformation est la transformation dite de Galil¶e. (1. oµ les deux r¶f¶rentiels sont en translation uniforme l'un par rapport u ee a µ l'autre.

ils ne e e e e e constituaient pas un corps th¶orique coh¶rent. e e On pouvait.1. une analogie ¶vidente avec l'entra^ ³n¶ e ³nement de la couche limite en hydrodynamique. e e e Il existe aussi une di±cult¶ philosophique grave avec l'introduction de l'¶ther.2 Les di±cult¶s de la cin¶matique classique e e La loi de composition des vitesses. mais qui n'ont pas forc¶ment jou¶ le r^le e e e e o majeur qu'on leur attribue g¶n¶ralement dans la genµse de la relativit¶. on pouvait supposer que l'¶ther ¶tait e e e a e e entra^ e au voisinage des corps massifs. Si on ne pouvait d¶cemment supposer que le r¶f¶rentiel absolu ¶tait e e e e ee e celui de la terre (la r¶volution copernicienne ¶tait pass¶e par lµ). Ce genre d'argument a certainement e jou¶ un r^le essentiel pour Einstein. qui pr¶dominait trµs largement a la ¯n du siµcle dernier. Il doit en e e ee e e e®et ^tre omnipr¶sent et in¯niment rigide pour propager des ¶branlement transverses µ grande vitesse. le e ³t e ee e seul donc dans lequel les ¶quations de Maxwell seraient directement applicables. fond¶e sur une th¶orie ¶lectrostatique des interactions entre e e e e particules dans la matiµre. e o Les derniµres di±cult¶s. l'¶tude sur quelques siµcles de la rotation terrestre ne r¶vµle aucun e e e e e frottement). Si e e e e e la vitesse de la lumiµre est d¶¯nie dans le r¶f¶rentiel de l'¶ther et si elle ob¶it a la loi de composition des e e ee e e µ vitesses. on doit pouvoir mesurer une variation de cette vitesse pour des mouvements assez rapides par rapport µ l'¶ther. comme nous le verrons. avec Lorentz. On pouvait aussi supposer. L'introduction de l'¶ther devait briser ee e e e e e cette \d¶mocratie" des r¶f¶rentiels en introduisant un r¶f¶rentiel trµs particulier. les plus graves en pratique. beaucoup plus courageuse puisqu'elle conduit. le e ee ee e e seul dans lequel les ¶quations de Maxwell devaient s'appliquer. RAPPELS DE RELATIVITE GALILEENNE 75 1. Les physiciens e e avaient mis plus de 20 siµcles. devant ce r¶sultat n¶gatif. Si de telles modi¯cations \ad hoc" e e e µ de l'¶lectromagn¶tisme permettaient d'expliquer le r¶sultat n¶gatif de l'exp¶rience de Michelson. encore honorable aujourd'hui. ¶tait que les e e µ e e ondes ¶lectromagn¶tiques se propageaient dans un milieu baignant l'univers entier: l'¶ther. Ce \°uide" si particulier se trouvait ainsi dot¶ de propri¶t¶s presque aussi extraordinaires e ee que le calorique du siµcle pr¶c¶dent ou. La cons¶quence la plus importante et la plus nouvelle des e e e ¶quations de Maxwell est en e®et la pr¶diction de l'existence d'ondes se propageant µ la vitesse c.¶ ¶ 1. par exemple. a mettre µ en cause des notions trµs fondamentales. e Le sentiment le plus naturel. celui de l'¶ther. L'analogie e e e entre ondes ¶lectromagn¶tiques et ondes sonores ¶tait en e®et pr¶sente µ tous les esprits. Le e e a problµme qui appara^ imm¶diatement est celui du r¶f¶rentiel dans lequel cette vitesse est d¶¯nie. La e e e c¶lµbre exp¶rience de Michelson fut con»ue dans ce but.1. Le lecteur int¶ress¶ pourra trouver une description d¶taill¶e dans pratiquement tous les manuels de relativit¶. encore avant lui. dans le m^me temps. e e e a Mais il doit. est di±cilement compatible avec l'¶lectromagn¶tisme de Maxwell. ¶tait d'admettre que la vitesse de la lumiµre n'ob¶issait pas a e e e e µ 3 Nous ne d¶taillerons pas ici le principe de cette exp¶rience: cette description n'est pas indispensable pour la suite de e e l'expos¶. pour comprendre que notre petite planµte e e n'est pas le centre de l'univers. Le premier ¶tait de tenter de e e e \r¶parer" la th¶orie de l'¶ther. Le principe de relativit¶ selon Galil¶e avait le m¶rite d'indiquer e e e qu'aucun r¶f¶rentiel galil¶en n'est particuliµrement privil¶gi¶. ^tre impond¶rable et in¯niment perm¶able au mouvement des corps e e e e mat¶riels (puisque. Il ¶tait µ craindre que de nouvelles modi¯cations tout e e e a aussi arbitraires ne doivent ^tre apport¶es au gr¶ des r¶sultats exp¶rimentaux et que l'¶lectrodynamique e e e e e e ne ¯nisse. sont d'ordre exp¶rimental. comme la th¶orie astronomique des cycloÄ e ³des. le phlogistique. Or cette exp¶rience fut tout µ fait n¶gative (ou plut^t trµs positive): a e la vitesse de la lumiµre semblait ind¶pendante du mouvement de la terre par rapport au soleil. elle aurait d^ mettre clairement en ¶vidence le mouvement de e u e e a e o e la terre par rapport µ l'¶ther3 . en un corps ra±n¶ de rµgles arbitraires qui e e d¶crivent correctement mais ne pr¶disent rien. On pouvait supposer aussi un lien entre la vitesse de la lumiµre et celle de sa e e source (les sources utilis¶es par Michelson ¶tant li¶es a son appareil). Les di±cult¶s e e e e a e apparaissent toutefois trµs vite dµs qu'on examine les propri¶t¶s de cet hypoth¶tique ¶ther. une \contraction" de la longueur des objets mat¶riels dans la direction du mouvement. e e L'autre attitude. adopter deux points de vue. entre Aristote et Copernic. Le mouvement de la terre sur son orbite autour du soleil est su±samment rapide (30 a e km/s) pour que la variation soit mesurable dans une exp¶rience d'interf¶rom¶trie optique sensible. D'une sensibilit¶ tout µ fait remarquable pour ee e c e a l'¶poque. e e e e e e . telle que nous venons de la rappeler.

Il su±rait.2). Il n'est pas absolument exclus. est la m^me dans tous les r¶f¶rentiels. 1. c.2.2 1.1 Principe de relativit¶ e Enonc¶ e Il existe une classe de r¶f¶rentiels privil¶gi¶s. Il n'en est rien. l'¶lectrodynamique des corps en mouvement" e le \principe de relativit¶" est expos¶ dans le prochain paragraphe. L'impulsion. du moins.76 ¶ CHAPITRE 1. C'est la voie e a e e que suivit Einstein avec le succµs que l'on conna^ et qu'il ouvrit par son c¶lµbre article de 1905: \Sur e ³t ee 4 . la vitesse de l'impulsion est c dans R0 . avec la g¶om¶trie d¶crite dans la ¯gure e ee e e e 0 sera celui du contr^leur. pour reprendre nos analogies ferroviaires. ou du train. Le r¶f¶rentiel R ee µ r¶f¶rentiel R celui du chef de gare. les ¶quations de Maxwell sont valides e e dans tous les r¶f¶rentiels et la vitesse de la lumiµre.1. a la pr¶cision des mesures. que le photon possµde une trµs petite masse. Relativit¶s I|¶ditions e e e e e e Seuil{CNRS). rendant e e e la vitesse de la lumiµre trµs l¶gµrement inf¶rieure µ la vitesse limite qui appara^ en relativit¶. dans lesquels toutes a ee e les lois de la physique prennent la m^me forme. e e e e e a ³t e Ce principe de relativit¶. de constater qu'exp¶rimentalement la vitesse de la lumiµre e e dans le vide est identique a la vitesse limite. revient vers e e e y le contr^leur et l'atteint au bout d'un temps T 0 = 2L=c (nous supposerons. e e 1. e ee Remettre en cause des propri¶t¶s aussi intuitives de l'espace et du temps ne sera pas sans conee s¶quences. de prime abord. Cela impliquait bien s^ r que la cin¶matique galil¶enne ¶tait erron¶e u e e e e (ou.2 Deux exp¶riences de pens¶e e e Nous consid¶rons donc deux r¶f¶rentiels en mouvement relatif. l'¶lectrodynamique). pour la cin¶matique classique. Il est clair. le o 1. que. envoie a t0 = 0 (nous ne confondrons pas ee o e les temps dans les deux r¶f¶rentiels) une impulsion lumineuse de dur¶e n¶gligeable dans la direction ee e e 0 vers un miroir situ¶ en y 0 = L (voir ¯gure 1. Nous ee e e ee centrerons cet expos¶ sur l'invariance de la vitesse de la lumiµre. qui e e e constitue un expos¶ trµs p¶dagogique de la relativit¶ (Edition de ¾uvres essentielles d'Einstein. Nous allons montrer en e®et que le principe de relativit¶ e e e e a deux cons¶quences imm¶diates: e e ² Le temps ne s'¶coule pas de la m^me fa»on dans deux r¶f¶rentiels galil¶ens en mouvement relatif e e c ee e (deux horloges en mouvement relatif b^ties sur le m^me modµle ne battent pas au m^me rythme). situ¶ en O0 . peut ^tre. e Si toutes les lois de la physique prennent la m^me forme. a e e e ² Deux ¶v¶nements qui se produisent simultan¶ment dans un r¶f¶rentiel peuvent se produire µ des e e e ee a instants di®¶rents dans un autre r¶f¶rentiel. comme nous allons le voir e e en consid¶rant deux exp¶riences de pens¶e. en¯n. ainsi que celle d'un article de revue r¶dig¶ dµs 1907. 4 . Le contr^leur. que la transformation appel¶e a remplacer la transformation e e µ de Galil¶e devra renoncer au caractµre absolu du temps et m¶langer les coordonn¶es spatiales et e e e e temporelles. µ µ e en e®et. en translation uniforme les uns par rapport ee e e aux autres (que nous continuerons µ appeler \r¶f¶rentiels galil¶ens"). en particulier. pour ce paragraphe o seulement. Il serait tout aussi possible de ne pas e e faire jouer un r^le aussi central a l'¶lectromagn¶tisme.l'ensemble e Nous ne saurions trop recommander la lecture de cet article. On pourrait simplement postuler qu'il existe o µ e e une vitesse limite de propagation de toutes les interactions et e®ectuer tous les raisonnements qui vont suivre sur cette vitesse. semble ne rien remettre en cause d'essentiel et semble e trµs voisin du principe de relativit¶ de la physique classique. r¶°¶chie par le miroir.2. bien que cela soit trµs peu vraisemblable. CINEMATIQUE RELATIVISTE la loi de composition des vitesses. n'¶tait qu'une approximation valide pour des vitesses petites devant celle de la lumiµre) e e et donc que toute la physique ¶tait µ reconstruire (sauf. Le principe fondamental de cette nouvelle physique.

1 u2 1¡ 2 c (1. Le temps de parcours OM est donc OM=c. Il en d¶duit OH = uOM=c. µ gauche. e Regardons maintenant cette m^me exp¶rience avec l'oeil du chef de gare (partie droite de la ¯gure e e 0 = 0. e de l'argument pouvant ^tre transpos¶ sans di±cult¶s au cas. naturellement. Son module est donc c2 + u2 . on a OH = uL=c et la longueur OM vaut e e p e e L c2 + u2 =c. oµ on supposerait que la e e e u vitesse de l'impulsion est c dans R).4) . le long de l'axe O 0 z 0 . la vitesse de la lumiµre ob¶it a la loi de composition.2. La m^me exp¶rience est vue.3) avec °=s : (1. e ee nous en donnerons plus tard une justi¯cation d¶taill¶e). le train continue µ se d¶placer pendant le retour de l'impulsion et le contr^leur occupe la a e o position B au moment du retour. plus naturel.2: Une exp¶rience de pens¶e ¶tablissant le caractµre relatif du temps. le contr^leur est en O 0 et donc aussi en O. De son c^t¶. Notons que le contr^leur pourrait ainsi construire une horloge. mais le module a o de la vitesse est augment¶ dans la m^me proportion). a droite. Pour lui.¶ 1. Il occupe donc une position M . La trajectoire de l'impulsion dans R est triangulaire. La dur¶e du parcours OM ¶tant L=c (on admettra dans toute la suite que la position du miroir selon y n'est pas a®ect¶e par le changement de r¶f¶rentiel. Il obtient donc ¯nalement: T = °T 0 . a une certaine distance de O sur l'axe µ Ox. PRINCIPE DE RELATIVITE 77 M' M L O' x' O H B x Figure 1. e e e la vitesse de l'impulsion est c. Pendant e a l'exp¶rience. Un signal lumineux est ¶mis depuis e e e e e e e a l'observateur O0 . on a OM = L= 1 ¡ u2 =c2 . On retrouve bien. dans le r¶f¶rentiel du train et. La vitesse e e e µ de l'impulsion a donc une composante §c sur Oy et une composante u sur Ox (u ¶tant la vitesse e p e e du train). dans un r¶f¶rentiel immobile. En¯n.2). A t que l'impulsion ne l'atteigne. Imaginons d'abord que le chef de gare ait ¶t¶ nomm¶ avant 1905 et soit donc un adepte de la ee e cin¶matique classique. e p Comme OM 2 = L2 + OH 2 . le postulat e e d'universalit¶ du temps. Pour lui. il ¶tablirait un ph¶nomµne e µ e u c e e e e p¶riodique et donc une horloge. e Consid¶rons maintenant un chef de gare ayant admis la validit¶ du postulat de relativit¶. o Renvoyant une deuxiµme impulsion a l'instant pr¶cis oµ il re»oit la premiµre. le signal revient µ l'observateur e e a ee µ ee O 0 . Le temps du parcours OM est donc L=c et la dur¶e totale de l'exp¶rience T = 2L=c est identique µ celle vue par le contr^leur (la distance parcourue dans R est plus grande. le miroir s'est d¶plac¶ avant o oe e e 1. l'observateur O0 est pass¶ de O µ B. vers un miroir M . Aprµs r¶°exion sur ce miroir.

Le facteur ° n'existe que si la vitesse relative des deux r¶f¶rentiels est plus petite que c. Le chef de gare est situ¶ en O. a mi{chemin de o e e µ deux signaux lumineux A et B. il voit ces deux signaux s'allumer simultan¶ment. il peut parcourir son train et rechercher les e ee e deux voyageurs A0 et B 0 (les observateurs) qui ¶taient juste en face des signaux quand ils se sont allum¶s. Il voit donc. puisque sa vitesse n'est \que" c. CINEMATIQUE RELATIVISTE O' A A' A O' O B B' O B Figure 1. Il pourra ensuite leur demander µ quel instant cet ¶v¶nement s'est produit ou utiliser leur e a e e position et la vitesse de la lumiµre pour calculer cet instant.78 ¶ CHAPITRE 1. situ¶ en O0 . Cette exp¶rience de pens¶e nous fournit une autre indication sur ce que sera la cin¶matique relae e e tiviste. La e µ dur¶e de l'exp¶rience mesur¶e par le chef de gare est plus longue que celle mesur¶e par le contr^leur. ou s'il mesure. situation au moment oµ les signaux se sont allum¶s. c e µ ee e µ appara^ aussi comme une vitesse limite pour tous les objets mat¶riels. puisqu'elle e e e e nous forcera µ renoncer au caractµre absolu de la simultan¶it¶. ³t e La seconde exp¶rience de pens¶e que nous allons ¶tudier nous emmµnera encore plus loin. passe devant le chef de gare. Pour cela. les deux signaux A et B s'allumer. l'impulsion lumineuse qui se r¶°¶chit normalement sur le miroir dans R0 n'arriverait e e e jamais µ rattraper ce miroir dans R. heureusement. En haut. Le postulat de relativit¶ a pour cons¶quence imm¶diate e e e e que le temps n'est pas une notion universelle. que la m^me distance L le s¶pare des deux signaux. le contr^leur. Comme on peut attacher un r¶f¶rentiel galil¶en a tout objet en translation uniforme. situ¶ en O. Un ¶v¶nement (la r¶°exion) a e e e se produirait dans un r¶f¶rentiel et pas dans un autre. e e µ o e Au m^me instant t = t0 = 0. Si ce ee n'¶tait pas le cas. et le contr^leur. e a µ cet instant pr¶cis. e S'il sait. A l'instant t = 0. O0 n'est pas encore arriv¶ en O. e e e e o Si chacun construisait une horloge avec le m^me dispositif. bien s^r)? Il lui faut d'abord d¶terminer oµ les deux e e u e u signaux se sont allum¶s dans son r¶f¶rentiel. en O0 voient arriver simultan¶ment les signaux lumineux ¶mis par A et u e o e B. e . Comment peut-il en d¶duire l'instant auquel e e ils se sont allum¶s (dans son ¶chelle de temps. Le facteur ° (que nous aurons de nombreuses occasions de retrouver) est toujours sup¶rieur a un. µ o l'e®et est petit comme on pourra le v¶ri¯er). Deux r¶f¶rentiels ee u ee galil¶ens ne peuvent donc ^tre anim¶s l'un par rapport µ l'autre d'une vitesse sup¶rieure (ou m^me e e e a e e ¶gale) a c. vue de la situation au moment e e e e e e oµ le chef de gare.3: Deuxiµme exp¶rience de pens¶e illustrant le postulat de relativit¶. celle du chef de gare battrait plus vite et e avancerait par rapport a celle du contr^leur (un cauchemar pour le respect des horaires. ce qui est bien s^r absurde. Nous utiliserons encore les services du a e e e chef de gare et du contr^leur embarqu¶ sur son train. En bas. il en d¶duira qu'ils se sont e e e allum¶s simultan¶ment a l'instant t = ¡L=c. Les signaux s'allument u e en face des observateurs A0 et B 0 .

En appliquant la proc¶dure d¶crite ci{dessus. e 6 Les professionnels de la relativit¶ prennent souvent c = 1.4. Deux ¶v¶nements peuvent ^tre vus comme e e e e e e simultan¶s ou non par des observateurs appartenant µ des r¶f¶rentiels di®¶rents. pour le moment. On peut placer en ce point une source lumineuse e e qui s'allume µ un certain instant. le temps n'est plus universel et n'est plus s¶parable des cordonn¶es spae e tiales. e e e e Nous avons vu ¶merger. Pour des raisons de commodit¶. e e e 1. c'est par exemple l'allumage du signal A ou la r¶°exion de la e e e lumiµre sur le miroir dans notre premiµre exp¶rience de pens¶e. x. ce qui simpli¯e ¶norm¶ment les ¶critures.¶ 1. Si les observateurs A et B font le z¶ro de leurs horloges au moment oµ ils voient cette a e u source s'allumer. On peut. on se cantonne souvent µ une dimension d'espace. On peut en e®et les e e e e e repr¶senter comme un point dans un espace µ quatre dimensions. on porte sur l'axe vertical le e e e produit ct. y. e e e e il est peut ^tre imprudent de se priver d'un moyen de v¶ri¯er l'homog¶n¶it¶ de nos formules e e e e e 5 . Il y a un parallµle trµs fort entre la di®¶rence entre ¶v¶nement e e e e e e e (ind¶pendant du r¶f¶rentiel) et coordonn¶es spatio{temporelles et celle qui existe entre un vecteur e ee e (ind¶pendant du repµre) et ses composantes sur une base donn¶e. les deux e e e a signaux s'allument dans R0 au m^me instant t0 = ¡L=c. Nous verrons bient^t e a ee e o qu'heureusement cet abandon de l'universalit¶ de la simultan¶it¶ ne compromet pas la causalit¶. EVENEMENTS ET INTERVALLES 79 Supposons d'abord que la cin¶matique classique s'applique. e e On supposera encore que tous les observateurs d'un m^me r¶f¶rentiel peuvent synchroniser leurs horloges.3. Nous ne pourrons pas. On repr¶sente alors un e a e ¶v¶nement comme sur la ¯gure 1. z) e e e e ee (nous d¶velopperons au chapitre suivant des notations tensorielles puissantes pour traiter ces quadrue plets). Un ¶v¶nement existe ind¶pendamment e e e e e e e du choix du r¶f¶rentiel. A cet instant O0 est µ une abscisse ¡uL=c 0 et B 0 sont alors situ¶s respectivement en x0 = ¡L + uL=c et e par rapport µ O. La distance A0 O0 = L(c ¡ u)=c est donc inf¶rieure a la distance B 0 O0 = L(c + u)=c. A notre niveau. Les deux coordonn¶es dans cet espace ont ainsi la m^me dimension6 .3 1. e e e Nous utiliserons souvent des repr¶sentations g¶om¶triques des ¶v¶nements. Cette repr¶sentation posant quelques e a e problµmes techniques. L'un ¶tait plus o e e e e proche. mais la vitesse de l'autre impulsion ¶tait plus grande. par exemple. mesur¶ sur l'horloge de cet observateur. e e On d¶crira donc un ¶v¶nement par la donn¶e d'un r¶f¶rentiel et d'un quadruplet de nombres (ct. Les passagers A a e x0 = L + uL=c (voir la partie inf¶rieure de la ¯gure 1. en discutant ces deux exp¶riences de pens¶e. Bien s^r. Le contr^leur e µ o en d¶duira que le signal A s'est allum¶ aprµs le signal B.1 Ev¶nements et intervalles e Ev¶nements e Comme nous venons de le voir. que la distance A0 O0 est n¶cessairement inf¶rieure a la distance O0 B 0 . dans un r¶f¶rentiel donn¶. d¶terminer par des moyens e e c e g¶om¶triques le milieu du segment AB joignant deux observateurs. en revanche. En revanche.3. le contr^leur ¶tablira donc que les deux signaux se sont allum¶s au m^me instant. Il faudra d¶crire les exp¶riences en termes d'¶v¶nements (trµs litt¶ralement: il s'est pass¶ quelque e e e e e e e chose quelque part). les coordonn¶es spatio{temporelles du m^me ¶v¶nement dans un autre r¶f¶rentiel u e e e e ee sont di®¶rentes et l'essentiel de notre t^che sera de donner la loi de transformation qui remplace et e a ¶tend la transformation de Galil¶e. Le temps ¶tant universel. e Que se passe-t-il maintenant si nous appliquons le principe de relativit¶? La vitesse des deux e impulsions lumineuses est la m^me. Nous pouvons e e µ comprendre. Un ¶v¶nement. la vitesse de l'impulsion venant de A0 est e µ e e c ¡ u et la vitesse de l'impulsion venant de B 0 est c + u. Il leur est e ee interdit de se d¶placer. oµ e u qui ¶tait sur place (le passager A e e e e e l'¶v¶nement s'est produit5 . On peut caract¶riser un ¶v¶nement. par l'observateur ee e e e ee e 0 ) et par l'instant. ils auront ¶tabli leur synchronisme. On pourra donc complµtement caract¶riser l'¶v¶nement par quatre nome e bres: les trois coordonn¶es spatiales de l'observateur (on se munit d'un repµre convenable) et le temps. deux des notions essentielles e e e de la relativit¶: l'¶v¶nement et l'intervalle.3). d¶terminer la position e e des observateurs A0 et B 0 (il nous faudra la transformation de Lorentz pour cela). mais on peut proc¶der de fa»on plus subtile. Le temps de parcours de l'impulsion provenant de A est donc inf¶rieur a celui de l'autre.

une ligne d'univers et un c^ne de lumiµre.80 ¶ CHAPITRE 1. lui m^me dans le futur du c^ne de lumiµre e e o e e o e de A. alors B est dans le c^ne de lumiµre de A. que o e e e e e s'ils sont dans le c^ne de lumiµre l'un de l'autre. Une ligne d'univers est l'ensemble des ¶v¶nements correspondant aux positions successives d'une particule. Une telle ligne est repr¶sent¶e sur la ¯gure 1. alors C n'est pas n¶cessairement dans le c^ne de lumiµre de A. il est n¶cessairement dans le c^ne de lumiµre de A: si A est la cause de B qui est e o e lui m^me la cause de C. que nous nommerons \ligne e e d'univers" de la particule. alors A peut ^tre la cause de C. Si C est dans le pass¶ du c^ne de lumiµre de B. Un ¶v¶nement est repr¶sent¶ par un point dans un e e o e e e e e espace x.4: Un ¶v¶nement. e o e o e En revanche. e e En ces termes. l'ensemble des lignes d'univers partant d'un point et correspondant µ un mouvement µ c a a forme le \c^ne de lumiµre" de cet ¶v¶nement (voir aussi la ¯gure 1. Deux ¶v¶nements ne pourront ^tre reli¶s par un signal ou une relation causale. si C est e e dans le futur de B. si A et C peuvent e o e tous deux ^tre la cause de B. o e e e e e e On peut consid¶rer le mouvement d'un point dans un r¶f¶rentiel comme une suite d'¶v¶nements e ee e e (la suite des observateurs devant lesquels la particule est pass¶e associ¶e aux instants correspondants). En un mot. En revanche. ct. e e La ligne d'univers d'une particule qui se d¶placerait a la vitesse de la lumiµre serait parallµle. Les ¶v¶nements ant¶rieurs a o e e e e e e µ l'¶v¶nement de r¶f¶rence forment le pass¶ du c^ne de lumiµre. Dans l'espace a quatre e µ e µ e µ dimensions. CINEMATIQUE RELATIVISTE ct A x Figure 1. la relativit¶ exige que l'un des ¶v¶nements soit e µ e e e e®ectivement ant¶rieur µ l'autre (nous verrons dans le prochain paragraphe que la notion d'ant¶riorit¶ e a e e est ind¶pendante du r¶f¶rentiel) mais aussi que les deux ¶v¶nement puissent ^tre reli¶s par un signal. toutes les lignes d'univers passant par un ¶v¶nement donn¶ doivent ^tre µ l'int¶rieur du e e e e a e c^ne de lumiµre. Comme c est une e e ee e o e vitesse limite. dans e µ e e notre repr¶sentation graphique. e e Le c^ne de lumiµre d'un ¶v¶nement est constitu¶ des lignes d'univers d'un signal lumineux passant par cet ¶v¶nement. les autres le futur. Il est ¶vident g¶om¶triquement que cette relation o e e e e est sym¶trique: si A est dans le c^ne de lumiµre de B. cette relation n'est pas transitive dans le cas g¶n¶ral. e ee e e e e Nous allons maintenant pouvoir a±ner beaucoup ces notions en introduisant l'intervalle. comme on pourra s'en persuader e e ais¶ment. la version relativiste de la causalit¶ appara^ trµs clairement. Si la physique clase ³t e sique admet qu'un ¶v¶nement puisse ^tre la cause d'un autre s'il lui est ant¶rieur (admettant ainsi e e e e implicitement les actions instantan¶es a distance). a la premiµre ou a la deuxiµme bissectrice. e e Une telle suite continue d'¶v¶nements forme dans l'espace-temps une ligne.4).4. il n'y a aucun lien de causalit¶ a priori entre eux. .

par (ct1 . y2 .5) L'¶criture de cette relation suggµre d'introduire l'intervalle entre deux ¶v¶nements quelconques par: e e e e (1. bien qu'il ne soit pas tout µ fait rigoureux a (il fait appel µ des hypothµses suppl¶mentaires implicites). x2 . ee e e Pour cela. consid¶rons deux ¶v¶nements in¯niment voisins. est tel que: e ee ds002 = a(v)ds2 = a(w)ds02 = a(w)a(u)ds2 : La fonction a doit donc v¶ri¯er.7) e Consid¶rons les deux m^mes ¶v¶nements dans un autre r¶f¶rentiel R0 .¶ 1. dans un r¶f¶rentiel R: e e e ee ds2 = c2 dt2 ¡ dx2 ¡ dy 2 ¡ dz 2 : ds02 = c2 dt02 ¡ dx02 ¡ dy02 ¡ dz 02 : (1.z2 ). en mouvement a la vitesse v par rapport µ R et w par rapport µ R0 . e e e ee ee e Si ces deux ¶v¶nements sont sur le c^ne de lumiµre l'un de l'autre.6) Notons que le choix du signe + pour la composante temporelle de l'intervalle est tout a fait arbitraire. x1 . y1 . On doit pouvoir e d¶velopper cette fonction au premier ordre pour les intervalles in¯nit¶simaux que nous manipulons et e e ¶crire: e (1. Cette invariance nous permettra. le fait que l'intervalle e a est ind¶pendant du r¶f¶rentiel (est un \invariant relativiste"). On a donc dans ce cas: a c2 (t1 ¡ t2 )2 = (x1 ¡ x2 )2 + (y1 ¡ y2 )2 + (z1 ¡ z2 )2 : s2 = c2 (t1 ¡ t2 )2 ¡ (x1 ¡ x2 )2 ¡ (y1 ¡ y2 )2 ¡ (z1 ¡ z2 )2 : 1. lui aussi in¯nit¶simal. ee Nous ¶tablirons rigoureusement. oµ a est une constante ne d¶pendant que de la vitesse relative u des deux r¶f¶rentiels.8) On doit pouvoir ¶crire l'intervalle dans le nouveau r¶f¶rentiel comme une fonction de celui dans R. Nous allons e ee e donner ici une indication de ce fait par un raisonnement qui. ils peuvent ^tre reli¶s par un signal e e o e e e lumineux se propageant µ la vitesse c. e ee fonction qui s'annule avec son argument (parce qu'un intervalle nul est conserv¶). L'intervalle. dans les prochains paragraphes. µ moins que a = 1. m^me s'il n'est pas nul. EVENEMENTS ET INTERVALLES 81 1. Cette propri¶t¶ est ind¶pendante du e e o e ee e r¶f¶rentiel: le fait pour deux ¶v¶nements d'^tre ou non reli¶s par un signal lumineux ne d¶pend pas ee e e e e e de la description du mouvement. e e e e entre ces ¶v¶nements s'¶crit alors. Invariance de l'intervalle Consid¶rons deux ¶v¶nements rep¶r¶s.3.3. µ partir de la transformation de Lorentz. Un intervalle nul est donc un invariant dans un changement de r¶f¶rentiel. En fait l'isotropie u e ee de l'espace impose que a ne d¶pende que du module u de la vitesse u. Consid¶rons maintenant e e µ a a un troisiµme r¶f¶rentiel R00 . L'intervalle entre eux s'¶crit e e e e ee (1. on ¶tablit ainsi l'invariance d'un intervalle arbitraire. pour tout triplet de vitesses relatives: e a(w) = a(v) a(u) (1. e e e e . Tout intervalle pouvant ^tre obtenu par une int¶gration d'intervalles e e e in¯nit¶simaux entre les deux ¶v¶nements.10) ce qui est manifestement impossible (le module de la vitesse w d¶pend de l'orientation relative des e deux autres et pas seulement de leur module). e ee L'intervalle in¯nit¶simal dans ce r¶f¶rentiel. dans un r¶f¶rentiel donn¶. ds002 . Sa seule propri¶t¶ ¶vidente µ ce point est de s'annuler quand les a eee a deux ¶v¶nements sont sur le c^ne de lumiµre l'un de l'autre.2 (1.2 Intervalle.11) (1. ¶tablit de maniµre simple l'invariance de a e e e e l'intervalle. µ C'est cependant le plus r¶pandu aujourd'hui. On ¶tablit ainsi l'invariance a e des intervalles in¯nit¶simaux.9) ds02 = a ds2 . z1 ) et (ct2 . L'intervalle jouera le r^le d'une distance dans notre e o espace{temps µ quatre dimensions. de comprendre beaucoup de propri¶t¶s de la transformation de Lorentz avant m^me d'en ¶crire la forme explicite.

Mais ceci est contraire a l'invariance de l'intervalle. Notons que cette invariance ne tient que pour deux ¶v¶nements e e e e situ¶s dans le c^ne de lumiµre l'un de l'autre. est trµs fortement reli¶ a la notion de causalit¶. l'ordre des temps peut ^tre modi¯¶ par un changement e e e e e de r¶f¶rentiel (c'est par exemple le cas dans l'exp¶rience de pens¶e du train et des deux signaux que ee e e nous avons d¶taill¶e plus haut). Nous distinguerons donc deux u types d'intervalles: ² Si s2 > 0. la cause et la cons¶quence doivent ^tre dans le c^ne de lumiµre l'une de l'autre pour qu'une e e o e interaction ait eu le temps de se propager entre elles (la notion d'interaction instantan¶e a distance. que tous les intervalles pris sur la ligne d'univers d'une particule mat¶rielle e sont du genre temps. nous dirons que nous avons µ faire a un intervalle du genre temps.4 Temps propre Nous pouvons appliquer l'invariance de l'intervalle au problµme des horloges en mouvement que nous e avons d¶jµ abord¶ dans notre premiµre exp¶rience de pens¶e. ou du moins son signe. qui n'exigeait e e e e e que des relations d'ant¶riorit¶ entre la cause est la cons¶quence exige maintenant deux conditions. qui deviendrait nul dans ce µ changement de r¶f¶rentiel. passer du futur au pass¶ de O impose qu'il existe un changement de r¶f¶rentiel amenant e e ee M et O µ coÄ a ³ncidence. Bien s^r. bien s^ r. dispara^ en relativit¶). e µ commune en m¶canique classique. 1. Nous en d¶duirons donc que les notions ee e de pass¶ et de futur sont des invariants relativistes. soient elles aussi des invariants relativistes. son signe l'est aussi. e e o . ee En e®et. de maniµre que les liens de e e e causalit¶ entre ¶v¶nements soient ind¶pendants des observateurs. Cela e e e µ e signi¯e que les deux ¶v¶nements peuvent ^tre reli¶s par un signal se propageant moins vite que e e e e la lumiµre et qu'il peut donc y avoir un lien de causalit¶ entre eux. consid¶rons le c^ne de lumiµre de l'¶v¶nement O et un ¶v¶nement M e e o e e e e e dans ce c^ne de lumiµre. Il est donc important que les notions de pass¶ et de futur. aussi. Si. Nous avons d¶¯ni le futur de O comme l'ensemble des ¶v¶nements du c^ne o e e e e o de lumiµre de O de coordonn¶e temporelle sup¶rieure µ celle de O et nous supposerons M situ¶ dans e e e a e cette partie du c^ne de lumiµre. il faut encore que la cause e ³t e pr¶cµde la cons¶quence. alors qu'il ne l'est pas initialement. ce qui est d'une importance cruciale pour que la e causalit¶ garde un sens en relativit¶. Si ce n'est pas le cas et si les deux ¶v¶nements ne e o e e e peuvent ^tre reli¶s par aucun lien de causalit¶. Nous y avons vu que la p¶riode d'une ea e e e e e horloge (l'aller et retour d'un signal lumineux) n'¶tait pas la m^me pour le contr^leur et le chef de gare.82 ¶ CHAPITRE 1.3. Notons en¯n. Causalit¶ relativiste e e Si l'intervalle est un invariant relativiste. D'autre part. a µ e e ee e a ² Si s2 = 0. Nous dirons alors que nous avons µ faire a un intervalle de genre \espace".2 temporelle. pour ¯nir. e e les deux ¶v¶nements sont dans le c^ne de lumiµre l'un de l'autre. o e Pour ¶tablir cette invariance. nous pr¶ciserons quantitativement ces notions dans le e e u e paragraphe suivant quand nous disposerons de la forme explicite de la transformation de Lorentz. Aucun signal ne peut donc avoir reli¶ les deux ¶v¶nements.3 Cons¶quences de la conservation de l'intervalle. CINEMATIQUE RELATIVISTE 1. dans un changement de r¶f¶rentiel. e e o e e e ² Si s2 < 0. M reste dans le c^ne de lumiµre de O. cela impliquerait qu'il existe un changement de r¶f¶rentiel pour lequel M et O soient confondus. e e L'intervalle. Il est donc e eµ e essentiel que la nouvelle cin¶matique pr¶dise l'invariance de l'intervalle. µ l'int¶rieur du e e e e a e c^ne de lumiµre. quel que soit le changement de r¶f¶rentiel. M passait dans le pass¶ de o e ee e O.3. e e e D'abord. En d'autres termes.2 entre les temps des deux ¶v¶nements est sup¶rieure a la distance (en unit¶s convenables). La causalit¶ classique. ce qui exclut tout lien e e e de causalit¶ (souvenons nous qu'aucune interaction ne peut se propager plus rapidement que la e vitesse limite c). Nous dirons alors que l'intervalle est du genre \lumiµre". La di®¶rence a µ e 1. la distance spatiale entre les deux ¶v¶nements est plus grande que la distance 1. les deux ¶v¶nements peuvent avoir ¶t¶ reli¶s par un signal se propageant µ la vitesse 1.2 de la lumiµre. Par ee o e continuit¶.

en int¶grant les intervalles de temps e e propre in¯nit¶simaux. le r¶f¶rentiel tangent. toujours sup¶rieur a un. Les deux ¶v¶nements correspondant aux deux extr¶mit¶s de ce e e e e e mouvement in¯nit¶simal sont donc s¶par¶s par un intervalle e e e ds = c dt ¡ dl = c dt 2 2 2 2 2 2 à v2 1¡ 2 c ! : (1. peut calculer un intervalle de temps propre µ partir e a a d'un intervalle de temps dans son r¶f¶rentiel. Consid¶rons donc une particule.13) ds2 = c2 dt02 : Nous appellerons donc \temps propre" l'intervalle de temps s'¶coulant dans R0 et nous le noterons e e e e d¿ = dt0 . par int¶gration. On peut le g¶n¶raliser a e e e µ des intervalles arbitraires. e e µ e e Cette \dilatation des temps" a plusieurs cons¶quences pratiques mesurables qui ont apport¶ des e e con¯rmations ¶clatantes au principe de relativit¶. C'est en e®et une \horloge" interne µ la particule qui d¶clenche sa d¶sint¶gration.12) Consid¶rons maintenant les deux m^mes ¶v¶nements dans R0 . que l'intervalle de temps mesur¶ dans le r¶f¶rentiel tangent ou c e e e ee le r¶f¶rentiel propre dans le cas d'un mouvement uniforme. En rapprochant les deux expressions pr¶c¶dentes de l'intervalle. la e e particule se d¶place de dl = vdt. ou une horloge. Le r¶sultat obtenu sera le m^me pour tous e e ee e e les observateurs (si ils choisissent les m^mes ¶v¶nements de r¶f¶rence). Il est important de constater µ ce point ea e e e a que d¿ est une quantit¶ ind¶pendante de l'observateur. e e Consid¶rons d'abord une particule instable de dur¶e de vie (moyenne) T . toutes ces notions seront beaucoup plus pr¶cises quand nous disposerons de la forme explicite e de la transformation de Lorentz. En int¶grant aussi la relation entre temps propre et intervalle de temps dans e e R. Dans le a e e e . Lµ e e e e e a encore. A l'instant consid¶r¶. Consid¶rons maintenant un intervalle de temps in¯nit¶simal dt dans R. on peut d¶¯nir un r¶f¶rentiel tangent pour la particule. Son d¶placement est donc nul au premier ordre en dt0 . Pendant ce temps.3. ind¶pendamment de son e e e ¶tat de mouvement par rapport µ la particule. A chaque instant. Dans ce r¶f¶rentiel. avec une vitesse nulle. L'intervalle e s'¶crit donc aussi: e (1. e e e e ee ee la vitesse de la particule est nulle. en mouvement arbitraire par rapport µ un e a r¶f¶rentiel R. et en d¶duire. nous pouvons ¶crire dt = °d¿ avec °=s 1 v2 1¡ 2 c (1. a l'expression ee e µ que nous avions d¶jµ trouv¶e au paragraphe pr¶c¶dent. on montrera que la dur¶e propre est toujours inf¶rieur a la dur¶e mesur¶e dans R. ¿ . °. Le facteur de \dilatation" du temps. Tout observateur. il n'existe pas de r¶f¶rentiel galil¶en dans lequel la ee ee e ee e particule soit au repos µ tout instant. de fa»on plus g¶n¶rale. Le raisonnement est fait ici pour des intervalles de temps in¯nit¶simaux. est plus court que l'intervalle mesur¶ dans ee e un autre r¶f¶rentiel. on peut faire en sorte que la particule soit situ¶e a ee e µ tangent au mouvement R l'origine O0 de R0 .14) : (1. Nous appellerons ce r¶f¶rentiel le r¶f¶rentiel ee ee 0 .15) Nous retrouvons. Nous nommerons une telle quantit¶ un 4{scalaire dans le chapitre ee e e suivant. En revanche. EVENEMENTS ET INTERVALLES 83 Nous allons ¶tablir ce r¶sultat de maniµre plus g¶n¶rale en utilisant l'invariance de l'intervalle. on peut consid¶rer a chaque instant le r¶f¶rentiel a e µ ee galil¶en dont la vitesse v coÄ e ³ncide avec celle de la particule. Dans quel r¶f¶rentiel e e ee doit-on utiliser cette dur¶e de vie? Elle n'a bien s^r de signi¯cation que dans le r¶f¶rentiel de la e u ee particule. Si ce mouvement est acc¶l¶r¶. Le temps propre est donc une e e e ee propri¶t¶ intrinsµque de la particule. le temps propre de la ee e e particule entre deux ¶v¶nements servant de r¶f¶rence. e ee On peut alors d¶terminer le \temps propre" de la particule.¶ 1.

A l'arriv¶e. il faut corriger l'horloge mobile de la dilatation e e e µ relativiste des temps7 que l'on pourra estimer num¶riquement a titre d'exercice. De deux frµre jumeaux. les r¶f¶rentiels tangents au mouvement acc¶l¶r¶ du mobile. On peut d¶¯nir alors une vitesse. A l'arriv¶e du voyage. proche de celle de la lumiµre. autant pour le retour). Si une horloge est immobile dans R. les traces de particules µ dur¶e de vie trµs courte. que nous nommerons ee e c¶l¶rit¶. En revanche. A peine arriv¶. la facteur de dilatation temporelle e e ° est trµs grand devant un et la dur¶e de vie \vue" dans le r¶f¶rentiel du laboratoire est trµs grande e e ee e par rapport µ la dur¶e de vie intrinsµque. beaucoup plus court. C'est cet e®et qui permet d'observer. En revanche. elle est initialement beaucoup plus proche de lui que e 4 ann¶es-lumiµre. La fr¶quence de l'horloge est a®ect¶e en e®et par le champ de pesanteur terrestre. CINEMATIQUE RELATIVISTE r¶f¶rentiel du laboratoire. le temps ¶coul¶ e e n'est que de 8=° ans. Nous verrons. Ceci n'est pas possible dans le cadre de la relativit¶ restreinte. C'est une accumulation de temps in¯nit¶simaux tous calcul¶s dans des r¶f¶rentiels ee e e e ee galil¶ens di®¶rents. en termes du temps estim¶ dans un r¶f¶rentiel et de l'espace estim¶ dans un autre. a a e e La dilatation des temps se manifeste aussi µ une ¶chelle de vitesses plus accessible. Pour cela. le temps propre mesur¶ entre deux ¶v¶nements coÄ e e e ³ncide avec celui du r¶f¶rentiel. Le jumeau voyageur revient donc sur terre plus jeune que son frµre! Le paradoxe e e e apparent est qu'il semble y avoir une parfaite sym¶trie entre les deux jumeaux. Si e e ee e on d¶sire voyager loin. Consid¶rer la situation e e ee ee e e du point de vue du jumeau voyageur reviendrait µ d¶¯nir un temps pour un r¶f¶rentiel bien d¶¯ni (celui a e ee e du jumeau voyageur). acc¶l¶r¶. e Cette brµve ¶tude du paradoxe des jumeaux introduit naturellement la notion de c¶l¶rit¶. l'un e ee ua e reste sur terre et l'autre vole vers Proxima du centaure. on transporte physiquement d'un site µ l'autre des horloges e e e a portables de haute pr¶cision. µ une distance de 4 ann¶es lumiµre. 7 Il faut aussi corriger un e®et de \red shift" gravitationnel qui n'est descriptible que dans le cadre de la relativit¶ e g¶n¶rale. a condition de a e µ disposer d'horloges de haute pr¶cision. le jumeau voyageur fait demi-tour e e et revient sur Terre µ la m^me vitesse. la c¶l¶rit¶ est le produit de la vitesse ordinaire par le facteur ° de dilatation du temps. que le jumeau voyageur voit l'¶toile de destination s'approcher de lui a une e µ vitesse proche de celle de la lumiµre. Le r¶seau d'horloges atomiques qui ¯xent le temps international e e doit p¶riodiquement ^tre recal¶. ce qui importe c'est le temps propre utilis¶ (celui dans lequel on vieillit) et la e e distance parcourue dans le r¶f¶rentiel immobile. dans les chambres a a e e µ bulles ou µ ¯ls. La \solution" de ce paradoxe apparent est que le r¶f¶rentiel du jumeau voyageur n'est pas un ee r¶f¶rentiel galil¶en. une propri¶t¶ qui nous sera fort utile pour formuler un principe variationnel pour ee la dynamique relativiste. le temps propre entre les deux m^mes ¶v¶nements est toujours e e e inf¶rieur au temps du r¶f¶rentiel (et ce quelle que soit la forme ou la loi horaire de la trajectoire). sans que la causalit¶ relativiste ne soit viol¶e e e e µ e e e puisque la c¶l¶rit¶ n'est pas une vitesse a proprement parler. Elle e ee e peut donc ^tre trµs sup¶rieure a la vitesse de la lumiµre. avec une a e e vitesse constante. incompatible avec e cette di®¶rence d'^ge: dans le r¶f¶rentiel du voyageur. l¶gµrement diminu¶ en vol. ee e pour ¯xer les id¶es. Citons ¶galement le c¶lµbre \paradoxe des jumeaux". que la particule est en mouvement rectiligne uniforme { ° est donc une constante). ee En revanche. De fa»on ee e e ee e c ¶vidente. le temps est a®ect¶ par la gravitation ou de maniµre ¶quivalente par l'acc¶l¶ration. ee e µ Nous conclurons ce paragraphe par une remarque importante pour la dynamique. la dur¶e de vie moyenne de la particule sera alors °T (nous supposerons. Le temps propre tel que nous l'avons d¶¯ni n'est pas le temps mesur¶ dans un ee e e e r¶f¶rentiel donn¶. e ee On en d¶duit donc que l'int¶grale du temps propre entre deux ¶v¶nements est maximale pour une e e e e horloge immobile.84 ¶ CHAPITRE 1. d^ µ Langevin. e e e e e e e . le jumeau terrestre s'¶loigne et se rapproche a e a ee e µ grande vitesse. pour le voyageur. e Si la vitesse de la particule est trµs proche de celle de la lumiµre. si elle est en mouvement. le temps ¶coul¶ pour le jumeau terrestre est de a e e e e huit ans (4 ans pour l'aller. quand nous aurons explicit¶ la forme de la e transformation de Lorentz. En ee e e relativit¶ g¶n¶rale. R. e e e e e e ee On peut alors e®ectivement d¶¯nir un temps pour le jumeau voyageur et retrouver rigoureusement la e dissym¶trie entre les deux jumeaux.

En fait.4. que e e e nous rejetterons ¶galement car elle n'ob¶it pas au principe de relativit¶. en fait. 0. z). e e ee a Nous imposerons d'abord µ L d'^tre une transformation lin¶aire. param¶tr¶ par l'angle de rotation. il est possible de montrer que tout groupe param¶tr¶ par un paramµtre unique. y. est e e e e directement param¶tr¶ sous forme additive. correspondant au passage d'un r¶f¶rentiel a lui-m^me ee e ee µ e et donc µ la vitesse nulle.1. Il en r¶sulte imm¶diatement que tous ces groupes sont ab¶liens (ou commutatifs). Nous allons. l'identit¶.4. Notons tout de suite qu'avec e nos conventions l'¶v¶nement (0. qui est celle de R e µ 0 : on doit avoir L(u)¡1 = L(¡u). e e L'ensemble des transformations de Lorentz. dont le e groupe sp¶cial est un sous{groupe. Nous verrons qu'il n'y a en fait que quatre formes possibles pour une telle transformation. Le ee groupe multiplicatif des r¶els (param¶tr¶ par la valeur de l'¶l¶ment) admet une repr¶sentation additive ¶vidente qui n'est e e e ee e e autre que le logarithme N¶p¶rien. La transformation inverse est e e e celle qui donne les coordonn¶es dans R en fonction de celles dans R0 . en mouvement a la vitesse v par rapport µ R0 et w par rapport µ R (comme nous avons abandonn¶ µ a a e le cadre de la relativit¶ galil¶enne. en mouvement µ la vitesse u par rapport µ R. Am. Journal of Physics. La transformation inverse a e e de L(u) doit donc ^tre la transformation de Lorentz correspondant a la vitesse ¡u. Le produit de deux transformations de Lorentz d¶¯nit e e a e donc une application de composition interne qui possµde ¶videmment toutes les propri¶t¶s d'une loi de e e ee groupe. nous verrons appara^ certaines propri¶t¶s essentielles de la ³tre ee transformation de Lorentz que nous discuterons dans le dernier paragraphe de cette section. 0) dans R0 .M.1 Forme de la transformation de Lorentz Le choix d'axes pour les deux repµres est. x0 . Le groupe des rotations autour d'un point. x. e e . par un changement de variable ad¶quat. Il existe un ¶l¶ment neutre. oublier pour un temps tout e ee ce que nous avons appris dans les paragraphes pr¶c¶dents et essayer de construire toutes les transfore e mations ob¶issant µ un certain nombre de sym¶tries fondamentales. La vitesse de l'origine O dans e R0 doit bien s^r ^tre ¡u. 0) dans R se transforme en l'¶v¶nement origine (0. Chaque ¶l¶ment possµde un inverse. Si la vitesse de O par rapport µ O0 n'¶tait pas oppos¶e a la vitesse de O0 u e a e e µ par rapport µ O. 1045 (1980). Consid¶rons en e®et trois r¶f¶rentiels: R. est isomorphe au groupe e e e e e additif des r¶els8 . On peut donner des exemples simples de cette propri¶t¶. e e e a µ condition que ce param¶trage soit \su±samment" continu et d¶rivable. d¶crivant un changement de r¶f¶rentiel.4 Transformation de Lorentz Aprµs cette approche trµs qualitative. soit come mutatif.. Une simple combinaison e avec les rotations et sym¶tries nous permettra ensuite d'obtenir le groupe de Lorentz complet. 0. Les deux derniµres sont la transformation de Galil¶e. La transformation de R vers R0 peut e e e µ s'¶crire L(w) ou L(v)L(u) (ce produit ¶tant µ comprendre comme la composition de deux applications e e a lin¶aires et donc ¶tant lu de droite µ gauche). d¶crivant des changements de r¶f¶rentiels tout µ fait quelconques. (ct. TRANSFORMATION DE LORENTZ 85 1. Rappelons que u est la projection e e a alg¶brique de la vitesse de R0 par rapport µ R sur l'axe du mouvement. pour qu'µ tout a ee e e a ¶v¶nement dans R corresponde un seul jeu de coordonn¶es dans R0 . R0 . et e ee R00 . e e e e Nous obtiendrons avec ce choix d'axes la transformation de Lorentz sp¶ciale. 1. nous aurions certainement bris¶ le principe de relativit¶. qui nous a permis de comprendre certaines caract¶ristiques e e e essentielles de la nouvelle cin¶matique. celui illustr¶ par la ¯gure 1. L'invariance de la a e e e physique dans une translation arbitraire de l'espace ou du temps impose cette lin¶arit¶. 0. w n'est pas ¶gal a u + v). 47. mesur¶e dans R e Il n'est pas ¶vident a priori que ce groupe. il nous reste µ donner la forme explicite de la transformation e a de Lorentz. Deux d'entre elles sont inacceptables parce qu'elles conduiraient a µ abandonner le principe de causalit¶. Nous e e cherchons donc une transformation L(u) permettant d'exprimer les coordonn¶es (ct0 . param¶tr¶es par la vitesse relative u.1. telles que l'isotropie de l'espace e a e ou l'invariance par translation dans le temps. e Notons que cet isomorphisme indique qu'on peut. param¶trer e e 8 Nous ne d¶montrerons pas ici cette propri¶t¶. On en trouvera une d¶monstration trµs ¶l¶mentaire dans J. 0. y 0 . homogµne. doit former un e e a a groupe. encore une fois. Il doit en ^tre ainsi. z 0 ) d'un e ¶v¶nement dans R0 en fonction de celles dans R. et en¯n la transformation de e e e Lorentz. que nous appellerons \groupe de Lorentz". L¶vy{ e ee e e ee e Leblond et al. Au cours de cette recherche.

21) Mais cette derniµre relation est aussi la transform¶e inverse de la transformation cherch¶e: e e e ct x = 1 af ¡ be f ¡b ¡e a ¶µ ct0 x0 ¶ : (1. X 0 = ¡x0 . Finalement. De m^me. mais aussi par le L(u) e facteur 1=a(u).16) (1. Consid¶rons de m^me l'axe OX oppos¶ avec l'axe Ox. L'invariance par translation perpendiculaire µ l'axe des x e a impose ¶videmment que y et z n'interviennent pas dans la loi de transformation de x.86 ¶ CHAPITRE 1.17) = by+az : 0 0 ³ncider a t = 0. a avec X = ¡x. a e e µ 0 ne doit pas d¶pendre de y ou z. mais d'orientation e e ee e e e contraire µ. le fait que y = z = 0 implique que y 0 = z 0 = 0 pour toutes les valeurs µ et O0 x0 coÄ de x et t. d¶termin¶ de fa»on univoque a un facteur prµs (µ un choix d'unit¶s e e e c µ e a e prµs). O0 x0 . e Penchons nous d'abord sur les lois de transformation des coordonn¶es y et z.19) On peut pr¶ciser consid¶rablement la forme de cette transformation par un simple argument de e e sym¶trie. En un mot. on a donc ¯nalement a = 1. La transformation se r¶duit donc µ un simple facteur d'¶chelle sur y et z. Consid¶rons en e®et dans le r¶f¶rentiel R0 un axe O0 X 0 confondu avec. On a donc a = 1=a et a = §1. Nous avons montr¶ que la ee e e transformation de Lorentz laisse invariantes les coordonn¶es perpendiculaires µ la vitesse relative. On pourrait ainsi trouver un paramµtre Á(u) tel que la composition de deux transformations e e de Lorentz s'¶crive L(Á(u) + Á(v)) = L(Á(v))L(Á(u)). En e®et. On en d¶duit que: µ ct X ¶ = µ a b e f ¶µ ct0 X0 ¶ . on peut exprimer la loi de e x et ct donn¶s. La transformation inverse est donc d¶crite par le facteur a(¡u). Si le choix des orientations des µ axes dans les deux r¶f¶rentiels est coh¶rent. e a Int¶ressons nous maintenant a la transformation de x et ct. Comme les axes Ox e ³ncident a tout instant. CINEMATIQUE RELATIVISTE le groupe par un paramµtre additif. la vitesse du nouveau r¶f¶rentiel selon l'axe des x ou X est u. l'axe O0 y 0 correspondrait µ e Les axes Oy et O0 y0 doivent coÄ a µ des valeurs simultan¶ment non nulles de y et z et ne pourrait donc coÄ e ³ncider avec Oy. Nous avons montr¶ e®ectivement que e e ¡1 = L(¡u). (1. Ces deux derniµres coordonn¶es ne peuvent donc intervenir dans les lois de transformation e e de y et z. L'isotropie de l'espace impose de plus que le facteur a ne d¶pende pas de l'orientation e de la vitesse par rapport a l'axe Oy. On a donc simplement: y 0 = ay z 0 = az : (1. Si b et b0 n'¶taient pas nuls. La transformation la plus g¶n¶rale e µ e e ferait intervenir les coordonn¶es y et z. La vitesse de O est en e®et ¡u sur ee e O0 x0 et donc u sur O0 X 0 . Elle e correspond au m^me changement de r¶f¶rentiel que celui que nous ¶tudions. On peut consid¶rer la transformation donnant X et ct en fonction de X 0 et ct0 . Nous verrons par la suite que ce param¶trage e e additif a une signi¯cation physique trµs claire.22) .18) Montrons maintenant que ce facteur a vaut n¶cessairement 1. le temps ct e transformation la plus g¶n¶rale par une relation matricielle 2 £ 2: e e µ ct0 x0 ¶ = µ a(u) e(u) b(u) f (u) ¶µ ct x ¶ : (1. dans les deux e ee e cas. L'isotropie de l'espace impose de plus e a e que les facteurs a®ectant y et z soient identiques. qui se r¶sument donc µ : e a y 0 = ay + bz z 0 (1.20) qu'on peut mettre sous la forme: µ µ ¶ ct x ¶ = µ a ¡b ¡e f µ ¶µ ct0 x0 ¶ : (1.

un choix convenable d'unit¶s d'espace et de temps permet d'amener sa valeur a §1.4. e . Il est tout naturel de l'¶liminer a priori. ² b(u) = 0. En ¶crivant simplement que L(w) = L(u)L(v) = L(v)L(u). e ² e(u) = b(u). Ce groupe est simplement celui de Galil¶e dont le paramµtre e e x additif est la vitesse u ou la vitesse r¶duite ¯ = u=c. Lµ encore.29) est alors simplement celle d'une rotation hyperbolique (rotation autour de l'origine d'un angle imaginaire pur). e ² e(u) = 0. (1. qui di®µre du groupe de Galil¶e en ce qu'il transforme le temps et non l'espace.26) C'est une simple rotation autour de l'origine dans l'espace{temps. La matrice de transformation: ³tra µ cosh Á ¡ sinh Á ¡ sinh Á cosh Á ¶ (1. Nous pouvons pr¶ciser encore la forme de la transformation en utilisant le caractµre ab¶lien du e e e groupe de Lorentz sp¶cial. est e e le groupe de Caroll. on trouve que: e e °(w) = °(u)°(v) + e(u)b(v) = °(v)°(u) + e(v)b(u) . en faisant ¯ du suspense) est simplement l'angle de rotation Á. µ moins e e e a qu'une de ces fonctions ne s'annule identiquement. La repr¶sentation additive de ce groupe (que nous appellerons \groupe de e Lorentz".25) ce qui ne peut ^tre v¶ri¯¶ pour deux vitesses arbitraires que si e(u)=b(u) est une constante. dont nous donnerons dans un moment l'interpr¶tation physique.27) Ecrire ensuite que le mouvement de O0 s'e®ectue a la vitesse u. Si ce rapport est une constante. La valeur du d¶terminant impose alors ° = 1 et la matrice de la transformation s'¶crit: e e µ 1 0 e(u) 1 ¶ : (1. TRANSFORMATION DE LORENTZ 87 De la comparaison de ces deux formules. c'est a dire que x = 0 implique µ µ 0 = ¡ut0 . La repr¶sentation additive de e ce groupe est l'angle de rotation µ. e e On peut donc poser ° = cos µ et b = sin µ. ¯xe e(u) = ¡¯ = ¡u=c.23) et que a=f =° (1. on tire imm¶diatement que le d¶terminant de la transformae e tion doit ^tre ¶gal a un: e e µ af ¡ be = 1 (1. La matrice de transformation s'¶crit donc: e µ cos µ ¡ sin µ sin µ cos µ ¶ : (1. On a alors ° 2 ¡ b2 = 1 et on peut poser: ° = cosh Á(u) et b(u) = ¡ sinh Á(u) (la raison de ce choix de signe appara^ clairement plus tard). on doit avoir ° = 1 et la matrice s'¶crit: a e µ 1 b(u) 0 1 ¶ : (1. Nous aurons donc µ distinguer 4 cas: e µ a ² e(u) = ¡b(u). La matrice est donc antisym¶trique et ses deux coe±cients v¶ri¯ent ° 2 + b2 = 1.24) (nous changeons un peu les notations pour ¶voluer vers la forme standard de la transformation de e Lorentz).1.28) Ce groupe.

nous pouvons employer deux arguments e suppl¶mentaires9 . et tanh Á(u) = soit encore sinh Á(u) = °¯ . e Il ne nous reste que le groupe de Galil¶e et le groupe de Lorentz.33) 0 ¡°¯ ° x x la transformation inverse ¶tant ¶videmment donn¶e par e e e µ ct x ¶ = µ ° °¯ °¯ ° ¶µ ct0 x0 ¶ . ° = cosh Á(u) = p ct0 = cosh Á(u)ct u =¯ : c 1 : 1 ¡ ¯2 (1. La transformation cherch¶e doit e appartenir donc au groupe de Lorentz (µ celui des rotations hyperboliques).35) (1.34) (il su±t de changer le signe de la vitesse relative).37) (1. que nous appellerons \rapidit¶". ceux qui sont dans le c^ne de lumiµre l'un de l'autre). qui peut e e e s'¶crire: e µ 0¶ µ ¶µ ¶ ct ° ¡°¯ ct = . d'un mouvement uniforme µ la vitesse ¡u (x0 = ¡ut0 ). La rapidit¶ peut donc aussi e ^tre arbitrairement grande. qui conduit µ la e a composition des vitesses au sens ordinaire. dans R0 . Il su±t pour cela a e e e a e d'¶crire que O est anim¶. Le premier. e e Avec ces valeurs. imposer la constance de la vitesse de la lumiµre ou l'invariance de l'intervalle su±rait µ choisir le dernier e a groupe. n'est pas acceptable.32) Notons que le facteur ° peut prendre des valeurs arbitrairement grandes.30) (1. chacun param¶tr¶ ea e e e par un seul paramµtre additif. Il e a e e e e e e est d¶jµ trµs remarquable que nous n'ayons plus le choix qu'entre quatre groupes. il faut au moins e e ee exiger de la transformation qu'elle pr¶serve l'ordre temporel des ¶v¶nements (au moins pour certains e e e couples d'¶v¶nements. e Si nous voulons que la causalit¶ soit une notion ind¶pendante du r¶f¶rentiel. e 9 . CINEMATIQUE RELATIVISTE Nous n'avons utilis¶ jusque lµ que des arguments trµs g¶n¶raux de sym¶trie et de r¶ciprocit¶. Nous allons suivre une d¶marche un plus d¶taill¶e pour montrer que la s¶lection peut aller encore plus loin sans e e e e le postulat de relativit¶. Pour choisir la forme correcte.88 ¶ CHAPITRE 1.38) (1. Ils sont donc exclus par de simples e e exigences de causalit¶. Il doit donc exister des e e o e classes d'¶v¶nements pour lesquelles le signe de t ne doit changer dans aucune transformation. nous avons complµtement d¶termin¶ la transformation de Lorentz. on peut e aussi ¶crire la transformation directe sous la forme: e x0 = °(x ¡ ut) µ ¶ ux 0 t = ° t¡ 2 c et la transformation inverse sous la forme: x = °(x0 + ut0 ) µ ¶ ux0 0 t = ° t + 2 c (1. Il ne nous reste plus a qu'µ pr¶ciser la valeur du paramµtre additif Á(u).36) A ce point. En termes de coordonn¶es et de temps. (1.31) (1. (1. Il est e e facile de voir que le groupe des rotations spatio{temporelles et le groupe de Caroll contiennent des transformations changeant le signe de t pour tout ¶v¶nement. On d¶duit e e imm¶diatement de la transformation que e x0 = ¡ sinh Á(u)ct. il n'en est pas de e e e m^me pour le paramµtre \naturel" du groupe de Lorentz. Si la vitesse u est limit¶e par la vitesse de la lumiµre.

dans tout ce paragraphe. ¯(u) + ¯(v) . qui d¶coule directement de l'expression e ee e e de la transformation comme une rotation hyperbolique. Comme il nous a conduit µ une forme univoque de la transformation de Lorentz. La cin¶matique classique e e appara^ donc bien comme une limite de la cin¶matique relativiste pour des vitesses d'entra^ ³t e ³nement faibles devant celle de la lumiµre. nous allons nous pencher a plus en d¶tails sur certaines de ses propri¶t¶s. il convient bien s^r d'ajouter l'invariance des coordonn¶es transe e u e verses y et z.5.1 Composition des transformations Revenons a la situation d¶jµ ¶voqu¶e de trois r¶f¶rentiels en mouvement relatif. plusieurs sous{groupes: a e ² Le groupe de Lorentz \propre" comprenant la transformation de Lorentz combin¶e avec les e rotations spatiales. ¶ventuellement. nous n'avons pas restreint a la g¶n¶ralit¶. e e e 1. Le d¶terminant de la matrice peut alors e e ^tre §1. si on ne retient dans la transformation de Lorentz que les e termes du premier ordre en u=c. est que la transformation de Lorentz conserve l'intervalle. qui d¶crit tous les changements de r¶f¶rentiels. e 1.41) (1. avec les r¶°exions d'espace et m^me. Nous aurions en fait pu prendre cette hypothµse comme point de d¶part et construire µ e e a partir de lµ la transformation. Sauf cas sp¶cial. La premiµre. Pour ¶crire ce genre de changement de r¶f¶rentiel. La loi de composition µ eae e ee des rapidit¶s nous permet d'¶crire de maniµre ¶vidente: e e e e Á(w) = Á(u) + Á(v) : (1.5 Propri¶t¶s de la transformation de Lorentz e e Avant d'appliquer la transformation de Lorentz µ des situations physiques.40) (1. On peut avoir cependant µ composer des transformations de Lorentz correspondant a e e e a µ des directions de vitesses di®¶rentes. correspondant µ trois situations e e ee a a exp¶rimentales di®¶rentes pour d¶terminer cette vitesse. un choix d'axes bien particulier.39) Nous pouvons en tirer facilement la loi de composition des vitesses relativistes. On e ee distingue parfois. e Notons que nous avons fait. Le d¶terminant de la matrice correspondante est 1. a Un point essentiel de ce paragraphe sera de comprendre qu'il y a trois quantit¶s fondamentales e di®¶rentes d¶crivant la vitesse d'un r¶f¶rentiel par rapport µ un autre. On obtient alors: e e sinh Á(w) = ¯(w)°(w) = °(u)°(v)(¯(u) + ¯(v)) cosh Á(w) = d'oµ on tire imm¶diatement: u e ¯(w) = °(w) = °(u)°(v)(1 + ¯(u)¯(v)) .42) . e e e e On obtient ainsi le \groupe de Lorentz complet". avec les r¶°exions du temps. µ l'int¶rieur du groupe complet .¶ ¶ 1. sous une forme simpli¯¶e e correspondant µ des vitesses qui sont toutes colin¶aires (nous g¶n¶raliserons au paragraphe suivant).5. 1 + ¯(u)¯(v) (1. Il su±t pour cela de prendre le cosh et le sinh de l'¶quation e e pr¶c¶dente. de direction arbitraire. il convient de composer la transformation que nous venons d'¶crire avec les rotations ee e arbitraires d'espace. e ² Le groupe de Lorentz \orthochrome" contient le groupe de Lorentz combin¶ ¶ventuellement avec ee des r¶°exions d'espace (nous avions exclu explicitement ces transformations dans notre discussion e en imposant aux directions des axes d'^tre consistantes). Notons imm¶diatement que. oµ u est le e e u a e vecteur vitesse de R0 par rapport µ R. il su±t a d¶crire un changement de r¶f¶rentiel avec une e µ e ee direction de vitesse arbitraire. on retrouve la transformation de Galil¶e. La transformation de Lorentz s'¶crira alors L(u). a e e e en ¶crivant w en fonction de u et v. PROPRIETES DE LA TRANSFORMATION DE LORENTZ 89 A toutes les relations pr¶c¶dentes.

ee e ee o e On peut traiter ce cas trµs simple de cin¶matique d'un mouvement acc¶l¶r¶ sans recourir µ la relae e ee e a tivit¶ g¶n¶rale. L'autre d¶¯nition que nous avons d¶jµ rencontr¶e est celle de la c¶l¶rit¶. est bien entendu la vitesse u. par int¶gration des temps propres dans les r¶f¶rentiels tangents successifs). e ee o La premiµre d¶¯nition de la vitesse relative de R0 (le r¶f¶rentiel du contr^leur. la vitesse de ce r¶f¶rentiel par rapport µ R est v. Nous consid¶rerons en revanche comme e e e ee e e ee r¶f¶rentiel R0 le r¶f¶rentiel tangent au mouvement pour une valeur du temps propre ¿ (obtenu. Notons en¯n que c¶l¶rit¶ et vitesse sont e e ee e identiques en relativit¶ galil¶enne. Si nous savons d¶jµ que son int¶r^t r¶side dans son caractµre additif. Imaginons. Notons lµ encore qu'on e e a retrouve la loi galil¶enne d'addition des vitesse pour la composition de vitesses toutes deux petites e devant la vitesse de la lumiµre. Encore une fois.44) 1 ¡ v(v + dv)=c2 . puisqu'elle mesure la distance parcourue dans le e e r¶f¶rentiel ¯xe par unit¶ de temps du mobile. pour reprendre e e le vocabulaire ferroviaire) par rapport µ R (le chef de gare) est la vitesse u. nous pouvons ¶crire e e e l'accroissement de vitesse dv 0 dans R0 en fonction de la nouvelle vitesse dans R (v + dv) et de la vitesse a v de R0 par rapport µ R: v + dv ¡ v dv 0 = . En utilisant la loi de composition des vitesses du paragraphe pr¶c¶dent. la vitesse dans R passe de v µ v + dv. m^me si les vitres sont o e e e e occult¶es.2 Vitesse. que le contr^leur d¶sire e o e d¶terminer sa vitesse. Rappelons que c'est e ea e ee e la d¶¯nition qui int¶resse le voyageur interstellaire. Nous avons vu que la c¶l¶rit¶ s'exprimait par °u ou ee e ee e °¯ = sinh Á en unit¶s r¶duites. Pendant un intervalle de temps in¯nit¶simal d¿ . Pendant l'intervalle de temps correspondant. le contr^leur pourra d¶terminer sa vitesse ¯nale. c¶l¶rit¶ et rapidit¶ ee e e Nous sommes maintenant en possession de trois quantit¶s di®¶rentes d¶crivant le mouvement d'un e e e r¶f¶rentiel par rapport a un autre. il en d¶duira sa vitesse. Cela e e montre aussi qu'on ne peut d¶passer la vitesse de la lumiµre en courant dans le couloir d'un train se e e d¶pla»ant µ une vitesse proche de c. ou dans l'espace de R0 avec le temps de R0 . mesur¶e dans l'espace de R avec le temps de e e R. Il est d'ailleurs e a e e fructueux a ce point de comparer ces notions de vitesses et de rapidit¶. Cette vitesse. vitesse de l'origine O0 a dans R. L'acc¶l¶ration mesur¶e dans le train (ou plut^t dans le r¶f¶rentiel tangent) µ a vaut donc a = dv 0 =d¿ . CINEMATIQUE RELATIVISTE u+v . Cet acc¶l¶romµtre mesure la variation de la vitesse ee e a ee e du train par unit¶ de temps du train (ce temps est un temps propre). lui donnant la distance (mesur¶e dans R) e e entre ces gares. qui passe de 0 a u pendant la phase e ee a µ d'acc¶l¶ration. Supposons qu'il soit initialement immobile dans la premiµre gare mais qu'il dispose d'un e e acc¶l¶romµtre (un simple ¯l µ plomb lui su±rait). imprim¶e dans R. e e e e ses temps de passage. les rapidit¶s s'accumulent sans limite. La premiµre m¶thode est de rep¶rer. on trouve imm¶diatement ¯(w) = 1. µ e 1. Cette vitesse est celle que d¶terminerait le contr^leur en mesurant la e e e o dur¶e qui s'¶coule entre les deux gares avec sa propre montre. Il n'est que temps d'examiner les di®¶rences entre ces quantit¶s et ee µ e e de pr¶ciser leur sens physique. µ quelle exp¶rience e ea ee e e a e correspondrait-elle? Le contr^leur dispose d'une troisiµme m¶thode pour d¶terminer sa vitesse. Le r¶f¶rentiel du train n'est plus galil¶en. La liste des tarifs. (1. A un ine ee stant donn¶. en raison de l'universalit¶ du temps. pour bien insister sur le sens physique de ces quantit¶s. ee rappelons{le.43) Cette loi remplace la simple addition des vitesses de la relativit¶ galil¶enne. la vitesse du train dans le r¶f¶rentiel ee e ee ee e o ee tangent passe de 0 a dv 0 . e e e Nous sommes maintenant en possession d'une troisiµme \d¶¯nition" de la vitesse en termes de la e e rapidit¶. 1 + uv=c2 (1.90 ou encore w= ¶ CHAPITRE 1. sur les horloges de deux gares successives. si l'accumulation de vitesses ne peut conduire e c a a µ une vitesse sup¶rieure µ celle de la lumiµre.5. En int¶grant les indications de e e l'acc¶l¶romµtre sur toute la phase d'acc¶l¶ration. Remarquons ¶galement que cette loi pr¶dit correctement l'invariance e e e de la vitesse de la lumiµre: si ¯(u) = 1 ou si ¯(v) = 1.

5 illustre la g¶om¶trie de cette e e e transformation. La vitesse tend asymptotiquement vers c.3 G¶om¶trie de la transformation de Lorentz e e Penchons nous maintenant sur l'interpr¶tation g¶om¶trique de la transformation de Lorentz dans e e e l'espace temps. il n'en est pas n¶e cessairement de m^me pour une rotation hyperbolique. o e soit encore dv 0 = dv : 1 ¡ v 2 =c2 (1. l'acc¶l¶ration habituelle e ee (mesur¶e dans le r¶f¶rentiel ¯xe) tend vers z¶ro mais l'acc¶l¶ration mesur¶e comme ci-dessus demeure e ee e ee e constante et la rapidit¶ s'accumule. Si une rotation ordinaire autour de l'origine est bien connue.45) La vitesse ¯nale mesur¶e par cette m¶thode sera donc: e e Z ad¿ = Z dv u = c arctanh : 2 =c2 1¡v c (1.5.5 un ¶v¶nement µ e e e e (par un point). Cette e e e d¶¯nition en termes d'acc¶l¶ration accumul¶e nous fait comprendre pourquoi la rapidit¶ n'est pas e ee e e born¶e.5. L'¶quation caract¶ristique s'¶crit ¸2 ¡ 2°¸ + 1 = 0.46) Elle coÄ ³ncide donc avec la d¶¯nition de la rapidit¶. les deux nouveaux axes sont a l'int¶rieur du premier quadrant. On peut en e®et avoir un mouvement ind¶¯niment acc¶l¶r¶ en relativit¶ restreinte (nous e e ee e e ¶crirons ce mouvement pour d¶crire celui de particules charg¶es soumises a une force constante dans e e e µ un champ ¶lectrique uniforme). 1. Ses directions propres coÄ ³ncident avec le c^ne de lumiµre de l'origine. en consid¶rant ses valeurs e e e propres et vecteurs propres. La ¯gure 1. ainsi que ses nouvelles et ses anciennes coordonn¶es. PROPRIETES DE LA TRANSFORMATION DE LORENTZ 91 ct ct' tA t'A x'A O xA x' x Figure 1. Notons pour ¯nir qu'en relativit¶ galil¶enne la rapidit¶ et la vitesse e e e e coÄ ³ncident aussi. elle ne conserve pas l'angle entre les axes. Elle admet donc deux e e e . On peut pr¶ciser encore notre interpr¶tation de cette transformation. obtenues par projection sur les e axes correspondants.¶ ¶ 1.5: La transformation de Lorentz interpr¶t¶e g¶om¶triquement comme une rotation hyperbolique dans l'espace ee e e temps. Au contraire d'une rotation. Pour u > 0. qui prend ainsi un sens physique trµs fort. On a illustr¶ sur la ¯gure 1.

47) Les vecteurs propres s'obtiennent sans di±cult¶.5). Si deux ¶v¶nements sont s¶par¶s par un intervalle de genre temps. Nous allons les d¶crire en termes d'¶v¶nements et utiliser la e e e e e transformation de Lorentz complµte pour exprimer les changements de r¶f¶rentiels.2 Intervalles et simultan¶it¶ e e Nous allons ¶tablir deux propri¶t¶s qui nous permettront de revenir sur la notion de causalit¶ relae ee e tiviste. t3 = 2°L=c . ce que nous ne e e e e pouvions faire sans la transformation. Pour la premiµre exp¶rience. que l'autre se produise sur l'axe Ox.6. Nous pourrons e ee en particulier pr¶ciser la valeur de la non{simultan¶it¶ dans la seconde exp¶rience.52) tB = ¡L=c : ce qui montre clairement que les instants d'allumage dans R0 di®¶rent de 2°¯L=c. nous n'avons a consid¶rer que l'allumage des feux.48) (1. e 1. t2 = °L=c x3 = 2°uL=c. Les directions propres de la transformation de Lorentz ne sont autres e µ que celles du c^ne de lumiµre du point O (directions que nous avons ¶galement repr¶sent¶es sur la o e e e e ¯gure 1.50) qui nous redonne imm¶diatement la dilatation des temps. CINEMATIQUE RELATIVISTE 1§¯ 1 ¡ ¯2 =p 1 = exp §Á : 1¨¯ (1.51) (1.6.6 1. t0 = 2L=c. e Pour la seconde exp¶rience. xB = L tA = ¡L=c (1. il existe un r¶f¶rentiel dans e e e e ee lequel ils se produisent au m^me endroit.53) (1. y3 = 0.1 Cons¶quences de la transformation de Lorentz e Retour sur nos exp¶riences de pens¶e e e Nous reviendrons briµvement. dans R0 . Ils correspondent µ x = ct (pour la valeur propre e a sup¶rieure a un) et x = ¡ct. y 0 = L.49) (1.54) = ¡°(1 + ¯)L=c . sur les deux exp¶riences de pens¶e que nous avons e e e discut¶es au d¶but de ce chapitre. Leurs . On a . La transformation de Lorentz donne les positions de ces trois ¶v¶nements 3 3 dans R: x1 = y1 = t1 = 0 x2 = °uL=c. e e x0 = ¡°L(1 ¡ ¯) A x0 B = °L(1 + ¯) t0 = ¡°(1 ¡ ¯)L=c A t0 B (1. dans ce paragraphe. e Consid¶rons donc deux ¶v¶nements dans un r¶f¶rentiel quelconque R. et le retour de l'impulsion en O 0 de coordonn¶es e le miroir de coordonn¶es x2 e 2 2 0 e e x0 = y3 = 0. la r¶°exion sur 1 1 0 = 0. (1. 1.92 valeurs propres r¶elles inverses l'une de l'autre: e q ¶ CHAPITRE 1. La r¶ception des e µ e e signaux coÄ ³ncide en e®et avec l'¶v¶nement origine. il nous faut distinguer trois ¶v¶nements: le d¶part de l'impulsion de e e e e e 0 e e o e O0 (x0 = y1 = t0 = 0) (nous n'¶crirons jamais la coordonn¶e z qui ne joue aucun r^le). y2 = L. On peut toujours choisir e e e ee l'un comme origine et faire en sorte. par un choix d'axes. t0 = L=c. dans R: e e xA = ¡L On en d¶duit imm¶diatement.

dy 0 .¶ 1.6. Notons en¯n que le carr¶ de l'intervalle est dans ce cas l'oppos¶ de la distance e ee e e entre les deux ¶v¶nements dans le r¶f¶rentiel oµ ils se produisent au m^me instant. Il s'agit d'une e e ee u e longueur propre. Si deux ¶v¶nements se produisent au m^me point dans un r¶f¶rentiel. Comme l'intervalle est du genre temps. la relativit¶ n'admettant pas d'action instantan¶e e e e e e a µ distance. On peut noter e ee 0 auquel se produit le second ¶v¶nement dans R0 est positif si et seulement si t e e en¯n que l'instant t est positif. Il su±t pour cela que u = x=t. il existe un r¶f¶rentiel oµ ils e e e e ee u se produisent simultan¶ment. au paragraphe pr¶c¶dent de traiter le cas de deux vitesses colin¶aires. e Comme il n'y a pas de relation de causalit¶ relativiste entre ces ¶v¶nements. 0 °(1 + uvx =c2 ) (1. CONSEQUENCES DE LA TRANSFORMATION DE LORENTZ 93 coordonn¶es sont alors (0. Le fait que les ¶v¶nements se produisent au m^me instant a des endroits di®¶rents prouve e e e µ e qu'ils ne peuvent ^tre li¶s par un lien de causalit¶. En ¶crivant les ee 0 . On peut donc lui associer un r¶f¶rentiel qui n'est. On obtient: e vx = vy = 0 vx + u 0 1 + uvx =c2 0 vy . On v¶ri¯era. autre que R0 .6.56) (1. Un mobile est en mouvement avec une vitesse v dans e e e ³n¶ µ ee e le r¶f¶rentiel R0 . la notion de causalit¶ e e e e est complµtement pr¶serv¶e par les changements de r¶f¶rentiels.55) (1.60) la transformation inverse s'obtenant trivialement en changeant le signe de u dans les expressions pr¶c¶dentes. telle que nous la d¶¯nirons plus pr¶cis¶ment dans un instant. accroissements in¯nit¶simaux dx e on en d¶duit les accroissements correspondants dans R: e dx = °(dx0 + udt0 ) dt = °(dt + udx =c ) dy = dy 0 0 0 0 2 (1. e e e 1. Notons que e a endroit si x le carr¶ de l'intervalle est alors simplement le carr¶ du temps propre. Une autre maniµre de voir cette propri¶t¶ est d'imaginer un signal se propageant e e ee d'un ¶v¶nement a l'autre.59) (1. Dans ce r¶f¶rentiel. e e e Nous emploierons les m^mes notations. 0) et (ct. a titre d'exercice. plus e petit que c. . On peut voir rapidement que. e ee e e e Prenons un nouveau r¶f¶rentiel R0 . Nous consid¶rerons ea e e e e ici une situation physique l¶gµrement di®¶rente. On a jctj > jxj puisque leur intervalle est du genre temps. Cette fois. que la vitesse de la lumiµre est bien invariante dans cette e e e µ e transformation. leur ordre temporel peut e e e d¶pendre du r¶f¶rentiel. Dans R0 les deux ¶v¶nements se e µ a produisent au m^me instant si t0 = °(t ¡ ux=c2 ) = 0. qui est bien inf¶rieur µ c. En un mot.3 Loi de composition des vitesses Nous g¶n¶raliserons dans ce paragraphe la loi de composition des transformations de Lorentz qui nous a e e d¶jµ permis. c'est a dire si u = c2 t=x. e e ee u e Si les deux ¶v¶nements se produisent au m^me endroit dans ce r¶f¶rentiel. ce signal se propage moins vite que e e µ la lumiµre. entra^ e a une vitesse u (selon Ox) par rapport au r¶f¶rentiel R. il peuvent ^tre li¶s par e e e ee e e un lien de causalit¶. les deux ¶v¶nements se produisent au m^me ee 0 = °(x ¡ ut) = 0. lµ encore. e e e ee Si deux ¶v¶nements sont s¶par¶s par un intervalle du genre espace. dans ce cas. qui est. x) . l'ordre temporel des e e e ee ¶v¶nements n'est modi¯¶ par aucune transformation de Lorentz.57) (1.58) dz = dz : On peut alors calculer sans di±cult¶s les vitesses dans R. jctj < jxj . le signe de t d¶pend de la transformation. d'ailleurs. dz 0 et dt0 dans R0 et en utilisant la transformation de Lorentz. du temps qui s'¶coule entre les e e e deux ¶v¶nements dans le r¶f¶rentiel oµ ils se produisent au m^me point.

La position apparente d'une ¶toile dans le ciel d¶pend donc dans une e e e petite mesure de la position de la terre sur son orbite (chaque ¶toile semble d¶crire une petite ellipse e e annuelle autour de sa position moyenne). CINEMATIQUE RELATIVISTE Nous ¶tudierons ici une application imm¶diate de la loi de composition des vitesses. e e Dans le m^me genre de situation. Il en d¶duira e e e e alors sa longueur L = u¢t. immobile dans le r¶f¶rentiel e e e 0 .65) = L0 °u : (1. Les coordonn¶es de ces deux ¶v¶nements dans R0 sont e e e e e e x0 = t 0 = 0 A A x0 B = ¡L 0 (1. e Dans la premiµre m¶thode. L'application de la cin¶matique galil¶enne pr¶voit aussi une d¶viation e e e e O apparente mais elle n'est. a un instant t donn¶.61) (1. de longueur L0 . La vitesse e e e e e µ de cette lumiµre est donc vy = ¡c. nous allons retrouver e e l'hypothµse heuristique que Lorentz avait introduite pour expliquer le r¶sultat n¶gatif de l'exp¶rience e e e e de Michelson. Pour simpli¯er la g¶om¶trie. Nous pourrons traiter ce problµme plus e±cacement quand nous aurons introduit. entra^ e a la vitesse u selon Ox. e e e L'observateur O peut d'abord d¶terminer la vitesse u de la rµgle. 1.62) On \voit" donc dans R0 la lumiµre de l'¶toile provenir d'une direction inclin¶e par rapport µ l'axe e e e a 0 y 0 . La lumiµre e e e provenant d'une ¶toile appara^ d¶vi¶e par la composition de sa vitesse avec celle du r¶f¶rentiel terrestre e ³t e e ee par rapport au systµme solaire. De la loi de composition des ee vitesses. les observateurs de R qui sont en face des extr¶mit¶s de la rµgle e µ e e e e et mesurer leur distance. comme on le v¶ri¯era ais¶ment. e e ee Pour ¯xer les id¶es.4 Contraction des longueurs Dans cette nouvelle cons¶quence imm¶diate de la transformation de Lorentz. nous consid¶rerons le r¶f¶rentiel e e e ee R comme celui li¶ au systµme solaire.6. Il peut alors mesurer la dur¶e ¢t pendant laquelle la rµgle d¶¯le devant lui.63) t0 B = L =u 0 (1. La lumiµre de l'¶toile arrive parallµlement a l'axe Oy.66) . nous consid¶rons une rµgle rigide. La di®¶rence entre ces e e e deux quantit¶s est mesurable et son observation fut une belle con¯rmation de la relativit¶ restreinte. confondue avec l'axe O 0 x0 (et ayant une extr¶mit¶ en O 0 ). d'un angle µ = arctan ¯°. En fait. A titre d'exercice. nous allons examiner ces deux proc¶dures et montrer e qu'elles fournissent la m^me longueur. les notations tensorielles. que µ = arctan ¯. Leurs coordonn¶es dans R sont e e e e alors: xA = t A = 0 xB = 0 tB = ° L0 u à 1¡ u2 c2 ! (1. e e on peut rep¶rer. au e chapitre suivant. nous aurions pu nous int¶resser aussi a la fr¶quence de la lumiµre e e µ e e re»ue. Le problµme que nous abordons ici est celui de la d¶¯nition de la longueur d'un objet en mouvement. on d¶duit les composantes de la vitesse de la lumiµre de cette ¶toile dans le r¶f¶rentiel R0 : e e e ee 0 vx = ¡u c 0 vy = ¡ ° (1. les deux ¶v¶nements A et B µ consid¶rer sont le passage en O des deux e e e e a e extr¶mit¶s de la rµgle.64) (par convention. d'une quantit¶ di®¶rente de l'e®et Doppler classique (il existe c e e e e en particulier un e®et Doppler du second ordre pour une vitesse d'entra^ ³nement perpendiculaire a la µ propagation). e ³n¶ µ Le r¶f¶rentiel R0 est celui de la terre. Comment des observateurs de e e mobile R R peuvent-ils d¶terminer la longueur de cette rµgle? Il y a deux strat¶gies. par exemple par v¶locim¶trie e e e e Doppler. On peut aussi prendre une photographie instantan¶e de la rµgle. l'extr¶mit¶ O' de la rµgle passe d'abord devant O). Nous l'aurions trouv¶e modi¯¶e.94 Aberration des ¶toiles e ¶ CHAPITRE 1.

CONSEQUENCES DE LA TRANSFORMATION DE LORENTZ 95 On retrouve ¶videmment que ces deux ¶v¶nements se produisent en O. Que voient e e e t = t le contr^leur et le chef de gare (en mission d'inspection dans le tunnel)? Pour le chef de gare.¶ 1. et la longueur L de la rµgle ainsi mesur¶e est: e µ L= L0 : ° (1. Pour le contr^leur. µ une vitesse proche de celle de la lumiµre. une ee u e e cons¶quence directe de la dilatation des temps. o e . l'arriµre du train passe juste dans l'entr¶e du tunnel. e ³t e µ Une rµgle en mouvement dans la direction de sa longueur appara^ donc plus courte que dans un e ³t r¶f¶rentiel oµ elle est au repos. on considµre les deux ¶v¶nements A et B repr¶sentant les extr¶mit¶s de e e e e e e e e la rµgle a un instant donn¶ dans R. heureusement.6. Train et tunnel sont align¶s avec Ox et O0 x0 . il ne met a e ee que 4=° ans. on e e e e µ e e e e e les voit a deux instants di®¶rents dans R0 . En revanche. on en d¶duit encore e B L= L0 : ° (1. Qui dit di®¶rence sur les temps. en revanche. Reprenons e e ee e le jumeau voyageur du paradoxe de Langevin. situ¶e en O (ou O 0 ). Cette contraction des longueurs est.67) Pour la deuxiµme m¶thode. consid¶rons un nouveau problµme de e e trains.71) Comme on doit aussi avoir x0 = ¡L0 . Une application imm¶diate de la contraction des longueurs est la d¶¯nition de la c¶l¶rit¶. Un train de longueur L (r¶f¶rentiel propre R0 ) entre dans un tunnel (immobile) de longueur ee L exactement ¶gale. Pour simpli¯er.70) (1.68) tB = 0 : (1. nous prendrons l'instant origine. Dans le r¶f¶rentiel ¯xe. A e ee e 0 = 0. Dans son r¶f¶rentiel propre. dans la premiµre m¶thode. la distance de l'¶toile n'est plus que de 4=° a e ann¶es lumiµre.69) (1. La dur¶e de passage ¢t est e e e e e e ¶gale a tB . la vitesse de l'¶toile par rapport µ lui est ¶gale (en module) a sa vitesse e a e µ par rapport µ la terre et donc proche de c. Rappelons pour ¯nir que e a e la longueur de la rµgle n'appara^ pas modi¯¶e quand elle est perpendiculaire a Ox. e e Un \Paradoxe" r¶solu e Pour illustrer encore cette notion de contraction des longueurs. dit l¶gµre di®¶rence sur µ e les positions. µ titre d'exercice. la o longueur du train en mouvement est inf¶rieure µ celle du tunnel et la locomotive sort du tunnel un e a peu aprµs que le dernier wagon n'y ait p¶n¶tr¶. µ la m^me longueur. Avant et u e e e aprµs ne sont pas des absolus pour des points situ¶s a des endroits di®¶rents (et qui ne sont pas dans e e µ e le c^ne de lumiµre l'un de l'autre). c'est le tunnel qui est e e e e o un peu plus court que le train et la locomotive sort du tunnel avant que le dernier wagon n'y entre. R est le r¶f¶rentiel du tunnel. Si on regarde les extr¶mit¶s a un m^me instant dans R. La solution de ce paradoxe apparent est bien s^r dans la non universalit¶ de la simultan¶it¶. Les coordonn¶es e µ e e dans R de ces ¶v¶nements sont donc: e e xA = t A = 0 xB = ¡L Leurs coordonn¶es dans R0 sont donc: e x0 = t0 = 0 A A x0 B = ¡°L t0 B = °uL=c : 2 (1. elle est une cons¶quence e e e de la non invariance de la simultan¶it¶. Dans la deuxiµme approche. ¶crire complµtement le paradoxe des jumeaux en termes e e a e e d'¶v¶nements. Cependant. il met 4 ans a atteindre l'¶toile ee µ e la plus proche. On pourra.72) Les deux proc¶dures conduisent donc.

par un calcul ¶l¶mentaire. Aprµs un calcul sans di±cult¶. dans les deux r¶f¶rentiels. A l'instant 0. n¶gatif. dans R0 . Ce n'est qu'avec une fr¶quentation assidue de ce genre de problµmes que peut se d¶velopper e e e une intuition relativiste. La sortie de la locomotive dans R se produit donc bien aprµs l'entr¶e du dernier wagon. comme nous nous y attendions. L'intervalle entre les ¶v¶nements est toujours du genre espace. la locomotive est donc a une distance L(1 ¡ 1=°) de la sortie et elle parcourt cette distance a la vitesse µ µ u. e . Le problµme est similaire. Ce n'est que la di®¶rence entre les e e e pr¶dictions de la relativit¶ sur le temps et notre sens commun qui cr¶e l'apparence paradoxale de ces e e e situations.96 ¶ CHAPITRE 1. nous ¶crirons. Si il y a dans ce problµme un paradoxe. L'un repr¶sente l'entr¶e du dernier wagon dans le tunnel et coÄ e e e e ³ncide avec l'¶v¶nement origine dans les deux r¶f¶rentiels. e e e e e e On peut alors ¶crire les coordonn¶es correspondantes dans R0 . 2 ce qui ne fait guµre que v¶ri¯er la coh¶rence du calcul et e e e t0 = ¡ 2 L°¡1 : u ° (1. on e e trouve: (1. La notion de pass¶ et de futur pour ces deux ¶v¶nements n'est donc pas n¶cessairement invariante.75) e L'¶v¶nement 2 (sortie de la locomotive) s'est donc produit.73) On peut obtenir simplement t2 en disant que la longueur du train dans R est L=°. que le carr¶ de l'intervalle entre les ¶v¶nements 1 et 2 est e ee e e e e e e c2 (1 ¡ °)=u2 ° 2 . les coordonn¶es des deux e ee e ¶v¶nements importants. CINEMATIQUE RELATIVISTE Pour nous en convaincre.74) x0 = L . L'autre ¶v¶nement est la sortie de la locomotive. dont e e ee e e les coordonn¶es dans R sont: e x2 = L L 1 t2 = 1¡ u ° µ ¶ : (1. avant que l'arriµre du train n'entre e e dans le tunnel. il ne concerne e pas la validit¶ et la coh¶rence de la transformation de Lorentz. µ celui qu'on rencontre pour e a se forger une intuition en m¶canique quantique. bien que moins ardu. On e e peut v¶ri¯er.

nous pourrons r¶interpr¶ter d'une fa»on trµs e±cace les notions introduites dans le chapitre pr¶c¶dent. surtout quand nous e e e manipulerons. Par convention aussi. Pour manipuler e e e commod¶ment ces vecteurs et ces tenseurs. y. x3 = z : (2. d'un produit scalaire et d'une norme.Chapitre 2 Notations Quadridimensionnelles Nous allons introduire dans ce chapitre des notions math¶matiques permettant de traiter la relativit¶ e e restreinte d'une fa»on particuliµrement ais¶e. dont nous recommandons la lecture. e e Coordonn¶es contravariantes e Un ¶v¶nement est complµtement d¶¯ni dans un r¶f¶rentiel par la donn¶e des quatre nombres (ct. En nous pla»ant dans un espace{temps µ quatre dic e e c a mensions. Par convention. (2. Signalons cependant que le Landau de th¶orie e e e e des champs. nous µ eµ utiliserons un indice romain1 : xi = x1. e e dans toute la suite.3 : (2. x. avec les tenseurs. e e e e ee e Nous consid¶rerons donc un espace vectoriel µ quatre dimensions (d'oµ le nom de 4{vecteur) muni e a u a e e o d'un base e¹ (l'indice ¹ variant entre 0 et 3) et nous associerons µ cet ¶v¶nement le vecteur (ou plut^t le 4{vecteur): X x¹ e¹ .1 4{vecteur position d'un ¶v¶nement. La transformation de Lorentz ape e para^ ³tra alors comme un simple changement de base. des sommes multiples. Nous allons commencer par introduire la notion d'espace temps a partir a µ de l'¶v¶nement. on utilisera des indices sup¶rieurs pour repr¶senter ces composantes (le risque de e e confusion avec des exposants est pratiquement nul). Les lois de transformation de toutes les quantit¶s physiques se d¶duiront alors simplement des rµgles de changement de base. e ee e ou.1 2. en le munissant d'une structure d'espace vectoriel. nous introduirons ¶galement des notations tensorielles trµs e e e puissantes dues µ Einstein. ind¶pendants du choix du r¶f¶rentiel. Nous adopterons donc la convention d'Einstein 1 Cette convention est trµs largement r¶pandue dans les manuels r¶cents. e e c e e e Les objets physiques.1.3) L'¶criture syst¶matique des signes somme serait extr^mement fastidieuse. z). x2 = y. Un indice repr¶sent¶ par une lettre grecque variera e e toujours entre 0 et 3 (0 repr¶sentant la coordonn¶e temporelle).2) Nous appellerons les x¹ les composantes contravariantes du 4{vecteur ¶v¶nement. x1 = x. nous ne pr¶ciserons pas le e domaine sur lequel s'e®ectuent les sommations. plus g¶n¶ralement des tenseurs (matrices) dans cet espace. Quand nous aurons besoin d'un e e indice ne parcourant que les valeurs 1 a 3 (et donc associ¶ a de simples composantes spatiales). e e 2.2. 97 . utilise une convention strictement inverse.1) R= ¹ en posant x0 = ct. seront alors d¶crits comme des vecteurs.

Dans une ¶quation. Nous ne consid¶rerons e e dans la suite que des bases \orthonorm¶es" dans ce sens. 1 a 3 pour un indice romain). Elles jouent en relativit¶ le r^le e e o des notations de Dirac de la m¶canique quantique qui relient de fa»on univoque la nature de l'objet e c (fonction d'onde. dans une expression. En posant: a g¹º = e¹ ¢ eº . ket bra). On ¶crira donc simplement: µ e R= X ¹ x¹ e¹ = x¹ e¹ : (2. objet du dual.4) Insistons sur le fait. le produit scalaire s'¶crit: e (oµ l'on voit bien la simpli¯cation apport¶e par la convention de sommation implicite). La trace de cette ee a µ e ee matrice s'¶crirait T ¹ ¹ . la convention de somme s'appliquant alors a l'indice r¶p¶t¶. bra ket. Le tenseur m¶trique qui n'appara^ ici que comme une notation commode dans l'¶criture e e ³t e du produit scalaire de deux ¶v¶nements est une des notions centrales en relativit¶ g¶n¶rale. Le m^me indice apparaissant ³t e e deux fois en bas ne doit pas ^tre somm¶. Consid¶rant deux 4{vecteurs ase ¹ e et S = y ¹ e .6) (2. constituent en fait. produit scalaire. bra.98 CHAPITRE 2.5) Nous souhaiterions bien s^ r que notre produit scalaire ait une expression compatible avec celle de u l'intervalle. nous pouvons ¶crire le produit scalaire comme e soci¶s a deux ¶v¶nements. les indices libres apparaissant e e dans les deux membres doivent se correspondre un µ un et appara^ en m^me position (haut ou bas). Nous appellerons indice \libre" un indice sur lequel la rµgle de sommation ne s'applique pas e e (qui donc reste en tant qu'indice dans l'expression ¯nale) et \muet" un indice faisant l'objet d'une sommation implicite (et n'apparaissant pas en tant que tel dans l'expression ¯nale2 ). qui portent e e e sur la typographie des ¶quations. Nous respecterons. Cette convention sur le tenseur m¶trique e e peut aussi ^tre vue comme une condition d'orthonormalit¶ pour la base e¹ . par exemple. les objets d¶crits par les deux membres de e e l'¶quation ne seraient pas de m^me nature. puisqu'il e e e e e constitue la variable dynamique du champ de gravitation. Cette ¶criture du produit scalaire peut ^tre rendue plus compacte encore en introduisant la notion e e de coordonn¶e covariante. en plus d'une simpli¯cation notable. Une ¶criture comme T ¹¹ . ¹ est l'indice ligne et º l'indice colonne. a ³tre e Nous comprendrons plus tard que. on doit sommer l'expression sur toutes les valeurs possibles de cet indice (0 a 3 pour un µ indice grec. op¶rateur) µ son ¶criture (ket. Nous verrons e dans la suite de cet expos¶ a quel point cette simple convention de sommation implicite am¶liore les eµ e ¶critures. un m^me indice appara^ en haut e ee e ³t et en bas. dont la raison appara^ plus clairement plus tard. µ e . Ces rµgles de sommation et de balancement. si ce n'¶tait pas le cas.7) R ¢ S = g¹º x¹ y º g ¹º (2. Quand. Notons ¶galement que le carr¶ scalaire ne e e e conduit pas µ une norme d¶¯nie positive (nous savons bien que le carr¶ d'un intervalle de genre espace a e e est n¶gatif). NOTATIONS QUADRIDIMENSIONNELLES de sommation sur les indices r¶p¶t¶s. pour les indices libres. repr¶sentera un e e e ¶l¶ment diagonal d'un tenseur (disons µ ce stade d'une matrice) et pas une somme. e a e Nous pouvons munir notre espace{temps d'un produit scalaire.8) Dans ce tableau. Il faut pour celµ que R ¢ R = c2 t2 ¡ x2 ¡ y 2 ¡ z 2 . Nous aurons u e e un produit scalaire convenable si le tableau de nombres g¹º (que nous ne pouvons encore consid¶rer comme un op¶rateur ou un tenseur { et que nous nommerons n¶anmoins le \tenseur m¶trique") s'¶crit: e e e e 1 0 0 0 B 0 ¡1 0 0 C C =B @0 0 ¡1 0 A 0 0 0 ¡1 0 1 (2. e 2 Remarquons a ce propos que le nom d'un indice muet n'a aucune importance dans l'¶criture. que l'on ne somme implicite³tra ment sur un indice que s'il appara^ une fois en haut et une fois en bas. la rµgle de \balancement". un systµme e e de garde-fous rendant impossible l'¶criture d'expressions absurdes. R = x ¹ e µ e e ¹ R ¢ S = x¹ y º e¹ ¢ eº : (2.

yi = ¡y i . Les ¶critures pr¶c¶dentes r¶vµlent une rµgle e e e e e e e trµs g¶n¶rale: l'abaissement ou l'¶l¶vation d'un indice spatial change le signe. 99 2.11) sont bien e e ¶quivalentes: e º x¹ y ¹ = g¹º xº g ¹½ y ½ = g ¹º g¹½ xº y ½ = gº ¹ g ¹½ xº y½ = ±½ xº y ½ = xº yº . e e En pratique. . On doit donc sommer sur toutes les e ee valeurs de cet indice. le produit scalaire de deux 4{vecteurs s'¶crit simplement: e R ¢ S = x¹ y ¹ mais aussi R ¢ S = x¹ y ¹ avec x¹ = g¹º xº : (2.11) (2. (2. (2. donnant les coordonn¶es contravariantes en fonction u e e des coordonn¶es covariantes. On a donc: En termes de matrices. 4{VECTEUR POSITION D'UN EVENEMENT.16) la premiµre et la derniµre expression ¶tant bien s^r ¶quivalentes.¶ ¶ 2.15) A titre d'exercice.2 Posons: Coordonn¶es covariantes e y¹ = g ¹º yº : (2.1. Avec ces notations.14) º e oµ les symboles ±¾ sont de simples symboles de Kronecker (1 si les deux indices sont ¶gaux.10) Le m¶rite de ces notations est donc de dissimuler les conventions de signes du tenseur m¶trique dans e e la d¶¯nition des coordonn¶es covariantes et d'obtenir un produit scalaire s'¶crivant \normalement".13) (2. u ¹º est donc inverse de la matrice des g . la matrice des g ¹º g¹º 1 0 0 0 B 0 ¡1 0 0 C C : =B @0 0 ¡1 0 A 0 0 0 ¡1 0 1 (2. Les composantes covariantes nous permettent d'abaisser e (ou d'¶lever pour la transformation inverse) les indices. e e e On peut bien s^r ¶crire la transformation inverse.1. on peut ¶crire: e y º = gº ¹ y ¹ = gº ¹ g ¹¾ y ¾ : Les g ¹º sont donc tels que: º gº ¹ g ¹¾ = ±¾ . 0 sinon).9) Avant d'aller plus avant. Nous avons utilis¶ ici explicitement la sym¶trie du tenseur m¶trique par une e e e permutation des indices. En d¶¯nissant un nouveau \tableau de nombres" g ¹º par: e e yº = gº ¹ y ¹ .12) (2. qui appara^ sous le m^me nom et dans la m^me ³t e e position (basse) dans les deux membres de l'¶quation. commentons le fonctionnement des rµgles de sommation sur cette expression. Nous appellerons \coordonn¶es covariantes de e e l'¶v¶nement" les composantes y¹ . puisque le nom d'un indice muet e e e u e n'a aucune importance. alors que l'¶l¶vation ou e e e ee ee l'abaissement d'un indice temporel ne s'accompagne pas d'un changement de signe. montrons que les deux ¶critures du produit scalaire de l'¶quation (2. L'indice ¹ est un indice libre. e L'indice r¶p¶t¶ (haut et bas) dans le membre de droite est º. les rµgles de correspondance entre composantes contravariantes et composantes covarie antes sont trµs simples: y0 = y 0 .

contravariantes et dualit¶ e e Nous avons introduit dans le paragraphe pr¶c¶dent les coordonn¶es covariantes comme une simple e e e commodit¶ de notation. Une forme lin¶aire est.3 Coordonn¶es covariantes. En particulier. Notons ¶galement que les e e e ²¹ di®µrent des formes associ¶es aux vecteurs de base par le signe. notons que les indices sont en bas pour les bases dans l'espace d'origine. On associe a chaque e µ ~ e ~ vecteur R la forme lin¶aire R d¶¯nie par R(S) = R¢S. pour des questions de notation. Comme nous pouvons confondre vecteur et forme lin¶aire en un seul objet physique. e e e e D'un point de vue \typographique". Ces deux op¶rations confµrent µ l'ensemble des formes lin¶aires une e e e a e structure d'espace vectoriel. si e M est muni d'un produit scalaire. En fait.100 CHAPITRE 2. Nous allons donc rappeler quelques propri¶t¶s essentielles de la e ee dualit¶ (une notion d'algµbre lin¶aire qui joue aussi un r^le central en m¶canique quantique). On peut de plus. nous pouvons choisir une base. autrement dit. c'est reconna^ que la ³tre seule op¶ration l¶gitime est l'action d'une forme lin¶aire sur un vecteur (ou. les cooree e e donn¶es contravariantes d'un ¶v¶nement par la transformation de Lorentz. le produit e e e scalaire). nous choisirons dans l'espace dual la base ²¹ d¶¯nie par: ~ e ¹ (2. En fait. quand l'indice ¹ est spatial. le dual est de m^me dimension. On montre que. µ partir d'un 4{vecteur ¶v¶nement R = x¹ e¹ . Cette relation trµs forte fait que l'on peut consid¶rer un m^me objet soit comme un vecteur. changement de base ee Un changement de r¶f¶rentiel transforme. On notera R une e ~ forme lin¶aire et R(S) le nombre r¶el associ¶ au vecteur S. En fait. la forme lin¶aire x¹ ²¹ . NOTATIONS QUADRIDIMENSIONNELLES 2. L'action de a e e ¹ e s'¶crit alors x ²¹ (y º e ) = x y ¹ = R¢S. N'¶crire e e e de sommations implicites que si l'un des indices est en haut et l'autre en bas. nous pourrons.4 Changement de r¶f¶rentiel. 2. On a donc des relations telles que: e ~ ~ ~ R(S + T) = R(S) + R(T) (le lecteur r¶tablira ais¶ment l'ensemble des rµgles convenables). En raison de l'isomorphisme avec l'espace d'origine.17) ²¹ (eº ) = ±º : ~ Notons que cette expression ne fait intervenir aucune sommation implicite. Une forme lin¶aire associe e e e ~ a µ tout vecteur un nombre r¶el (complexe dans le cas des espaces de Hilbert). les composantes covariantes sont les composantes de la forme lin¶aire e associ¶e a ce vecteur sur la base duale. les composantes contravariantes et covariantes ne sont que e deux ¶critures di®¶rentes d'une m^me quantit¶. nous e e e e confondrons souvent les deux repr¶sentations en un seul objet. il est logique de prendre pour base les formes lin¶aires associ¶es aux vecteurs de base de e e l'espace d'origine. comme son e e e e nom l'indique. soit e e e comme une forme lin¶aire. e e e o e Sur un espace vectoriel M . une fonction lin¶aire de son argument vectoriel. Nous ~ e ~ pouvons alors former. en haut pour les bases dans l'espace dual. A chaque vecteur est associ¶e une forme lin¶aire e e e et chaque forme lin¶aire peut s'¶crire comme un produit scalaire avec un vecteur ¯xe Les propri¶t¶s e e ee de lin¶arit¶ du produit scalaire assurent que cette bijection est un isomorphisme entre l'espace et son e e dual. Nous l'appellerons l'espace dual de notre espace vectoriel initial (nous noterons M ¤ le dual de l'espace M ). Nous allons d'abord exe e e . Ceci donne a ces composantes une signi¯cation math¶matique e µ µ e beaucoup plus forte qu'une simple convention de signe. alors que les composantes dans l'espace d'origine (contravariantes) ont des indices en haut et les composantes dans l'espace dual (covariantes) des indices en bas. e a consid¶rer au choix un ¶v¶nement comme un vecteur ou comme une forme lin¶aire. si M est de dimension ¯nie. Si les composantes contravariantes sont e e les composantes du 4{vecteur. La forme ainsi construite cette forme sur le 4{vecteur S = y ¹ e ¹~ º ¹ ~ coÄ ³ncide donc avec la forme lin¶aire R associ¶e au vecteur R. d¶¯nir une bijection entre l'espace et le dual. nous pouvons d¶¯nir des formes lin¶aires. elles ont une signi¯cation math¶matique beaucoup plus profonde et e e plus fructueuse en termes de dualit¶.1. dans l'espace temps µ quatre dimensions.1. comme nous l'avons vu au chapitre pr¶c¶dent. e Dans l'espace dual. On comprend bien ici l'origine math¶matique des rµgles de sommation sur les indices. e e e On peut d¶¯nir sur l'ensemble des formes lin¶aires une addition (simple addition des images) et la e e multiplication par un scalaire r¶el.

pour ces ¶critures. dans le tableau de nombres L¹ º . On a en e®et: x0¹ y 0 ¹ = xº y º On en d¶duit donc: e ½ L¹ ½ x½ L¹ ¾ y ¾ = x¹ y ¹ = x½ y ¾ ±¾ : avec x0¹ = L¹ ½ x½ et y 0 ¹ = L¹ ¾ y ¾ : (2. Examinons maintenant la loi de transformation des coordonn¶es covariantes (dans l'espace dual). nous nous limiterons µ la forme sp¶ciale. les matrices sont sym¶triques et la matrice de transformation des coordonn¶es e e covariantes est simplement l'inverse de la matrice de transformation des coordonn¶es contravariantes.¶ ¶ 2.18) oµ les xº sont les composantes de l'¶v¶nement dans le r¶f¶rentiel R et les x0¹ les composantes conu e e ee e travariantes dans le nouveau r¶f¶rentiel R0 . Nous e e reviendrons ensuite sur les transformations des vecteurs de base pour notre espace{temps et nous montrerons que la transformation de Lorentz est un simple changement de base orthonorm¶e..1. Dans le ³t cas de la forme sp¶ciale de la transformation.19) qu'on pourrait encore ¶crire en termes de la rapidit¶ Á. En toute e e rigueur. Le passage au cas g¶n¶ral ne a e e e pose que des problµmes d'¶criture. e r¶°exions d'espace.20) La matrice inverse L¡1 s'obtenant simplement en changeant le signe de ¯ dans les expressions pr¶c¶e e dentes. La e e e transformation inverse peut a priori s'¶crire e x¹ = (L¡1 )¹ º x0º . 4{VECTEUR POSITION D'UN EVENEMENT. On peut e e º et L¹ de l'invariance du produit scalaire (qui d¶coule de l'invariance de e d¶duire le lien entre L¹ e º l'intervalle). Nous verrons qu'en fait l'utilisation de cette matrice inverse n'est pas indispensable. (2. e e On peut ¶crire la transformation de Lorentz pour les coordonn¶es contravariantes comme: e e x0¹ = L¹ º xº . Elles e a e e englobent la forme sp¶ciale de la transformation de Lorentz mais elles contiennent aussi les rotations.. l'expression (2. e º par: D¶¯nissons un nouveau \tableau de nombres" L¹ e x0 ¹ = L¹ º xº : (2. Nous pro¯terons. e Les transformations que nous consid¶rerons dans ce chapitre sont tout µ fait g¶n¶rales. 0A 1 1 (2. Toutefois.22) (2.21) Notons tout de suite que L¹ º est forc¶ment di®¶rent de L¹ º . on a: e e e ¾ L¹ ½ L¹ ¾ = ±½ : (2. L'ordre et la position (haute ou basse) e e des indices sont donc tous deux essentiels pour d¶¯nir les quantit¶s que nous manipulons. l'indice ee ¹ (relatif donc au nouveau r¶f¶rentiel) comme un indice ligne et l'indice º (relatif µ l'ancien r¶f¶rentiel) ee a ee comme un indice colonne. 101 primer cette transformation pour les coordonn¶es contravariantes et en d¶duire les transformations e e des coordonn¶es covariantes. e . constituant le groupe de Lorentz complet. Dans le cas de la forme sp¶ciale de la transe formation de Lorentz. : (2.23) Cette relation devant ^tre v¶ri¯¶e pour tout couple de vecteurs.24) Notons que le membre de gauche de cette ¶quation ne d¶crit pas un produit de matrices.18) appara^ comme un simple produit matriciel. paramµtre additif du groupe de Lorentz. on a simplement: e ° B ¡¯° =B @ 0 0 0 L¹ º ¡¯° ° 0 0 0 0 1 0 0 0C C . de nos nouvelles notations. quand nous expliciterons e la forme des transformations. on e®ectue la sommation sur deux indices lignes. En consid¶rant.

Si on fait con¯ance a ces rµgles typographiques. on voit que: e e Lº ¿ = g º ¹ g ¿ ½ L¹ ½ : (2. seuls changent de signe les coe±cients spatio{temporels. l'¶tablissement d¶taill¶ de (2. le signe des ¶l¶ments spatio{temporels. a On peut pr¶ciser encore le lien entre ces deux transformations en faisant intervenir le tenseur e m¶trique dans l'expression du produit scalaire: e R ¢ S = x½ g ½¾ y ¾ = x0¹ g¹º y 0º : (2. NOTATIONS QUADRIDIMENSIONNELLES inverse que l'on obtient en changeant le signe de la vitesse relative. Dans la forme sp¶ciale de la transformation ee e de Lorentz. En exprimant les nouvelles coordonn¶es en fonction des anciennes. que l'application d'un tenseur m¶trique avec les indices hauts e e transforme une coordonn¶e covariante (indice bas) en un coordonn¶e contravariante (indice haut). .25) Le tenseur m¶trique qui exprime l'orthogonalit¶ de la base est en e®et ¶videmment invariant dans une e e e transformation de Lorentz.26) Le d¶terminant de la matrice repr¶sentant le tenseur m¶trique ¶tant 1. l'autre complµtement covariant qui abaisse e ee e l'indice ligne. On change donc. l'un µ complµtement contravariant qui ¶lµve l'indice colonne. cela revient µ changer le signe de ¯.102 CHAPITRE 2. (2. Les a coe±cients spatiaux et temporels sont inchang¶s. avec le e e e e premier indice en haut et le second en bas. a Lº ¿ . Pour passer de L¹ ½ . on a: e x½ g½¾ y¾ = L¹ ½ x½ g ¹º Lº ¾ y ¾ : Cette relation ¶tant v¶ri¯¶e quelque soient R et S. Nous e savons. On aurait pu ¶tablir ce r¶sultat en e e remarquant simplement que le passage des coordonn¶es contravariantes aux coordonn¶es covariantes e e est un simple changement de signe pour les composantes spatiales. e e e transformant une coordonn¶e contravariante en une coordonn¶e covariante.24) en utilisant la sym¶trie de g.28) (2. La relation que nous e e venons d'¶tablir pour les changements de base g¶n¶ralise ce principe. C'est bien ce qu'on observe sur la forme sp¶ciale de e e la transformation de Lorentz. Comme pour les coordonn¶es. le changement de position ee e d'un indice spatial change le signe alors qu'un indice temporel ne change pas le signe.27) (2. on en d¶duit: e e e e g ½¾ = L¹ ½ g ¹º Lº ¾ : (2. On ¶crira ainsi la relation inverse: e e Lº ¿ = g ¿ ½ g º ¹ L¹ ½ : (2. il faut appliquer deux tenseurs m¶triques. l'interpr¶tation de cette relation est transparente.29) et donc: ¿ (g ¿ ½ g ¹º L¹ ½ ) Lº ¾ = ±¾ : En rapprochant cette ¶quation de (2. pour les coordonn¶es simples.31) Remarquons que la forme trµs simple du tenseur m¶trique rend triviales les modi¯cations dans un e e abaissement ou une ¶l¶vation d'indice. De m^me un tenseur m¶trique complµtement covariant (indices bas) abaisse l'indice. On peut mettre la derniµre relation sous une forme plus parlante en multipliant les deux e membres par g ¿ ½ et en e®ectuant les sommations: ¿ g ¿ ½ g ½¾ = ±¾ = g¿ ½ L¹ ½ g ¹º Lº ¾ . on retrouve µ partir de e e e e a cette expression que le d¶terminant de la matrice repr¶sentant la transformation de Lorentz est §1 e e (rappelons qu'il n'est n¶gatif que si la transformation fait intervenir une r¶°exion d'espace ou de e e temps). Dans le passage d'une transformation µ l'autre. dans la matrice de transformation.30) est µ e e e e inutile et on peut ¶crire cette transformation a priori.30) D'un point de vue purement typographique. e e Elever les indices n¶cessite l'action d'un tenseur m¶trique a indices hauts (nous dirons complµtement e e µ e contravariant).

la transformation de Lorentz correspond µ un simple e e a changement de base dans l'espace temps. beaucoup plus e±cacement e e e qu'avec les notations standard de l'algµbre lin¶aire. Les e e appellations covariantes et contravariantes proviennent pr¶cis¶ment de ces comportements. 103 On pourrait penser alors ne faire agir sur les transformations de Lorentz qu'un tenseur m¶trique e et µ d¶¯nir deux nouvelles quantit¶s: a e e L¹¿ = g ¿ ½ L¹ ½ º ¾ (2.40) .24) pour exprimer le changement de r¶f¶rentiel inverse sans ee faire intervenir la transformation L¡1 . le passage simultan¶ d'un e e e r¶f¶rentiel a l'autre et d'un type de coordonn¶es a l'autre. le second a l'ancien et en sommant sur l'indice correee µ spondant au r¶f¶rentiel de la coordonn¶e a transformer. e e ee e ~ º ) et que x0 ¹ = R ¢ e0 ¹ . le m^me vecteur. On a en e®et: º L¹ ½ x0 ¹ = L¹ ½ L¹ º xº = ±½ xº = x½ (2. e e ~ On peut aussi exprimer la loi de transformation de la base duale. De maniµre ¶vidente.41) x x¹ = L ¹ x º x ¹ = L ºx º ¹ º 0 = Lº x ¹ 0º les di®¶rentes expressions de la transformation se d¶duisant de la forme originale par les rµgles e e e d'¶l¶vation et d'abaissement des indices.34) (2. la loi de transformation des vecteurs de base est celle des composantes covariantes. Le m^me ¶v¶nement.¶ ¶ 2. .43) ²0¹ = L¹ º ²º : ~ Les vecteurs de la base duale se transforment donc comme les composantes contravariantes.35) On peut en¯n utiliser la relation (2. L'ensemble de ces rµgles trµs strictes. oµ les e0 ¹ sont les transform¶s des u e En remarquant que xº = R ¢ eº = R(e e e e vecteurs de base. on en d¶duit: ~ e x ~ (2. On en d¶duit donc que: e (2. Ces di®¶rentes combinaisons s'obtiennent automatiquement ee e (ou plut^t typographiquement) en respectant les rµgles de balancement des indices.33) L¹¾ = g ¹º L En fait ces nouvelles quantit¶s d¶crivent. s'exprime par deux e e e e jeux de composantes di®¶rentes quand on le repr¶sente dans deux r¶f¶rentiels ou deux bases di®¶rentes. 4{VECTEUR POSITION D'UN EVENEMENT. on peut ¶crire R ¢ e0 ¹ = L¹ º R ¢ eº . (2. en attribuant le o e premier indice (ligne) au nouveau r¶f¶rentiel.1. minimise le risque d'erreurs dans ces ¶critures.39) (2. e e Nous terminerons ce paragraphe en examinant les lois de transformation des vecteurs de base de notre espace{temps.32) : (2. comme nous allons le voir.36) (2. e ¹ = ²¹ (R). inverse (au sens pr¶cis¶ plus haut) de la transformation des composantes contravariantes. que nous ee e µ e e avons justi¯¶es en d¶tail. En ¶crivant x0¹ = ²0¹ (R). relation qui doit ^tre v¶ri¯¶e pour tout vecteur e R.37) et donc x½ = L ¹ ½ x0 ¹ : On peut bien s^r ¶crire des transformations similaires pour les coordonn¶es contravariantes ou toute u e e combinaison de composantes mixtes: x0 ¹ = L ¹ º xº 0¹ (2. On a en e®et: ee µ e µ x0¹ = L¹ ½ x½ = L¹ ½ g½º xº = L¹º xº et de m^me: e x0 ¹ = L¹º xº : (2.42) e0 ¹ = L¹ º eº : En d'autres termes.38) (2.

45) Remarquons que la partie spatiale de la 4{vitesse n'est autre que la c¶l¶rit¶ (vitesse calcul¶e dans ee e e l'espace du r¶f¶rentiel et dans le temps propre de la particule). en toute rigueur. nous ferons ¶voluer tous e nos 4{vecteurs. Ce temps propre permet donc de d¶¯nir un 4{vecteur vitesse par: e ee e U= dR : d¿ (2.2. Nous noterons A = (a e a le vecteur tridimensionnel. positions. le temps dans R varie de dt = °d¿ (dilatation des temps). Le r¶sultat a e e sera alors ¶videmment un 4{vecteur. oµ a0 est sa composante temporelle et u et d'une coordonn¶e temporelle. de composantes covariantes et contravariantes. vitesses et acc¶l¶rations dans le m^me espace. les rµgles de changee ment de base ou de r¶f¶rentiel s'appliquent bien s^ r aux 4{vecteurs quelle que soit leur nature. le produit scalaire de deux 4{vecteurs (le produit scalaire de vecteurs de dimensions di®¶rentes n'¶tant pas exclu). Si le temps propre varie de d¿ .2 4{vitesse. Les composantes covariantes pourraient alors se mettre sous la forme e e (a0 = a0 . Les composantes contravariantes de tout 4{vecteur A peuvent s'¶crire sous la forme de trois come posantes spatiales qui forment un vecteur (ce qui r¶sulte des lois de transformation dans le sous e groupe du groupe de Lorentz qui d¶crit les changements de repµre sans changement de r¶f¶rentiel) e e ee 0 .2. Ce paramµtre doit ^tre un 4{scalaire. En fait. Un excellent exercice consiste ee a µ appliquer les lois de transformations d¶crites au paragraphe pr¶c¶dent pour retrouver la loi de e e e . exise ter dans un espace{temps propre. Le temps absolu d'un r¶f¶rentiel ne convient pas pour param¶trer e ee e la trajectoire. que le temps propre ¿ de la particule en mouvement est ind¶pendant du choix de r¶f¶rentiel. a e Les notions de produit scalaire. U ¶tant un 4{vecteur. Le produit d'un 4{vecteur e e par un 4{scalaire donne bien s^ r un autre 4{vecteur. il se transforme ee e par la transformation de Lorentz dans un changement de r¶f¶rentiel. toute collection de quatre quantit¶s physiques e e e arbitraires ne constitue pas un 4{vecteur. De maniµre ¶vidente. on a imm¶diatement dR=dt = (c. u 2. 4{impulsion. la masse d'une particule ou. Il nous faut pour cela param¶trer la a e e ligne d'univers de la particule par un paramµtre temporel. Nous verrons dans les prochains paragraphes quelques exemples de 4{vecteurs. telle que la vitesse limite. Nous allons maintenant g¶n¶raliser la notion µ d'autres quantit¶s physiques. en revanche.44) Ecrivons cette quantit¶ en fonction de la vitesse spatiale ordinaire v de la particule dans un r¶f¶rentiel e ee R donn¶. °v) : (2. NOTATIONS QUADRIDIMENSIONNELLES 2. e La position de la particule variant de dr = vdt. ces composantes ont une dimension qui peut ^tre di®¶rente de celles des composantes du 4{vecteur position. 4{acc¶l¶ration ee Nous chercherons ici µ d¶¯nir la vitesse d'une particule relativiste. a).104 CHAPITRE 2. la constante de e e ee structure ¯ne. Il s'agit simplement d'une quantit¶ physique ind¶pendante du r¶f¶rentiel. v) et e U = (c°. Nous prendrons simplement ee e garde µ ne pas additionner des objets de natures di®¶rentes. Nous appellerons e e a e 4{vecteur toute quantit¶ physique s'exprimant par 4 coordonn¶es (covariantes ou contravariantes) se e e transformant comme le 4{vecteur position dans un changement de r¶f¶rentiel (c'est µ dire par une ee a transformation de Lorentz). plus simplement. ¡a).1 Autres 4{vecteurs D¶¯nition e Nous n'avons consid¶r¶ jusque lµ que le 4{vecteur associ¶ a la position d'un ¶v¶nement dans l'espace{ ee a eµ e e temps.2 2. Chaque espµce de 4{vecteur devrait donc. comme en dynamique classique. Nous avons vu. Nous e e e pourrons ainsi d¶¯nir simplement la vitesse comme ¶tant le rapport de l'accroissement du 4{vecteur e e position pendant un petit intervalle de temps µ l'accroissement de ce paramµtre temporel. ee u Nous pro¯terons aussi de ce paragraphe pour introduire la notion de 4{scalaire. A priori.

2.2. AUTRES 4{VECTEURS

105

composition des vitesses relativistes. Notons en¯n que le carr¶ de la norme de U, U ¹ U ¹ = c2 ° 2 ¡° 2 v 2 = e e e c2 n'est autre que le carr¶ de la vitesse de la lumiµre. En multipliant la 4{vitesse par la masse de la particule, qui est ¶videmment un 4{scalaire, on e obtient encore un 4{vecteur, l'impulsion de la particule: P = mU = (p0 ; p) = (m°c; m°v) : (2.46)

Cette quantit¶ jouera un r^le essentiel dans notre nouvelle dynamique. e o La 4{vitesse U est en g¶n¶ral une fonction du temps propre ¿ de la particule. Nous pouvons donc e e la d¶river encore par rapport µ ce temps, pour aboutir µ une d¶¯nition de la 4{acc¶l¶ration e a a e ee ¡= dU dU =° = (c°° 0 ; °° 0 v + ° 2 a) ; d¿ dt (2.47)

e e ee oµ ° 0 = d°=dt est la d¶riv¶e temporelle ordinaire du facteur ° et a est l'acc¶l¶ration tridimensionnelle u de la particule. On remarque que la 4{acc¶l¶ration est perpendiculaire a la 4{vitesse: ¡¹ U ¹ = 0. ee µ Si on peut ¶tablir cette relation µ partir des expressions pr¶c¶dentes de ces 4{vecteurs, elle d¶coule e a e e e beaucoup plus simplement du fait que le module de U est une constante.

2.2.3

Densit¶ de courant e

Nous allons maintenant former un 4{vecteur µ partir de la densit¶ de charges ½ et de la densit¶ a e e de courant j. Il est clair en e®et que ces deux quantit¶s se transforment de maniµres profond¶ment e e e reli¶es dans un changement de r¶f¶rentiel. Pour comprendre comment former ce 4{vecteur, nous allons e ee consid¶rer le cas d'une charge q \ponctuelle", que nous mod¶liserons comme une densit¶ de charge e e e constante contenue dans un petit ¶l¶ment de volume dV (d¶¯ni dans un r¶f¶rentiel R). Nous ¶crirons ee e ee e donc q = ½dV . La particule se d¶place a la vitesse v dans R. La densit¶ de courant est donc j = ½v e µ e en tous points de dV (elle est nulle en dehors). e e Dans un autre r¶f¶rentiel R0 , toutes ces quantit¶s sont a priori modi¯¶es. La \particule" ocee ee cupe, a un instant donn¶ dans R0 , un ¶l¶ment de volume dV 0 . Seule la charge totale q, qui est µ e une propri¶t¶ intrinsµque de la particule, est un 4{scalaire. On a donc ½dV = ½0 dV 0 . En d'autres ee e e termes, ½dV est un 4{scalaire (notons que le lien entre dV et dV 0 n'est pas ¶vident, puisqu'il faut faire la transformation de Lorentz sur tous les \coins" de l'¶l¶ment de volume. Nous reviendrons ee bient^t sur ce point). Consid¶rons maintenant un intervalle de temps dt dans R. Pendant ce o e e e temps, la particule se d¶place de dx¹ = (cdt; dr) qui est ¶videmment un 4{vecteur. La quantit¶ e e ½dV dx¹ = ½dtdV (dx¹ =dt) = ½(d­=c)dx¹ =dt est donc, elle aussi un 4{vecteur, si d­ = cdtdV repr¶sente e un ¶l¶ment d'int¶gration dans l'espace{temps (en revanche, dx¹ =dt n'est pas un 4{vecteur, de m^me ee e que dt ou dV pris s¶par¶ment ne sont pas des 4{scalaires). e e Nous montrerons maintenant que d­ = cdtdV est un 4{scalaire. D'un point de vue physique, d­ repr¶sente un petit domaine de l'espace{temps consid¶r¶ entre deux instants in¯niment voisins e ee et a la dimension d'un volume multipli¶ par un temps. Mod¶lisons ce petit domaine par un cube e e ¶l¶mentaire de dimensions dx; dy et dz (voir Fig. 2.1). Si nous choisissons les axes convenablement, ee nous n'aurons µ consid¶rer que la forme sp¶ciale de la transformation de Lorentz. Les coordonn¶es y a e e e et z ¶tant inchang¶es, nous nous ramenons µ d¶montrer l'invariance de l'¶l¶ment de surface dans le e e a e ee plan (x; t). L'¶tendue de notre ¶l¶ment est la surface rectangulaire de c^t¶s dx et dt dans le r¶f¶rentiel e ee oe ee R. Sa mesure est bien dxdt. Remarquons tout de suite que dxdt n'est pas un invariant de Lorentz, ee comme on peut s'en convaincre ais¶ment. Vu dans le r¶f¶rentiel R0 , le petit ¶l¶ment de surface prend e ee l'aspect repr¶sent¶ sur la partie droite de la ¯gure 2.1. Il s'agit d'un petit losange. La surface de e e ce losange peut s'exprimer facilement en ¶crivant les transform¶s de Lorentz de trois des sommets. e e e µ En fait, on trouve que cette mesure, qui est manifestement di®¶rente de dx0 dt0 est ¶gale a dxdt (ce e r¶sultat d¶coule directement du fait que le d¶terminant de la transformation de Lorentz est un, ce e e e qui con¯rme sa g¶n¶ralit¶). L'¶tendue totale dans l'espace{temps d'un petit ¶l¶ment d'int¶gration est e e e e ee e

106

CHAPITRE 2. NOTATIONS QUADRIDIMENSIONNELLES

ct L A L

ct' A

O

H

x

O'

H

x'

Figure 2.1: Un m^me ¶l¶ment de volume de l'espace{temps vu dans deux r¶f¶rentiels. La forme change, mais la surface e ee ee (ou l'hypervolume dans l'espace quadridimensionnel) est constante.

donc un 4{scalaire (r¶sultat qui nous permettra plus tard de d¶¯nir convenablement des int¶grales de e e e volume dans l'espace{temps). On d¶duit de tout ce qui pr¶cµde que e e e J¹ = ½ dx¹ dt (2.48)

est un 4{vecteur r¶unissant les densit¶s de charge et de courant cr¶¶s par une charge ponctuelle. On e e ee peut aussi ¶crire e (2.49) J¹ = (c½; j) ; en faisant intervenir la densit¶ de courant tridimensionnelle. Pour une r¶partition quelconque de e e charges et de courants, r¶sultant de la superposition des mouvements d'un grand nombre de particules e ponctuelles, la quantit¶ ¶crite en termes des densit¶s totales de charges et de courants est bien s^r e e e u encore un 4{vecteur.

2.2.4

Vecteur d'onde

Consid¶rons, dans le r¶f¶rentiel R, une onde plane monochromatique de fr¶quence ! et de vecteur e ee e d'onde k. Les di®¶rents champs et potentiels de cette onde sont tous proportionnels µ exp(¡iÁ) avec: e a Á = !t ¡ k ¢ r : (2.50)

La phase Á de l'onde plane se doit d'^tre un 4{scalaire. Sa valeur pour un ¶v¶nement donn¶ repr¶sente e e e e e en e®et la valeur relative commune des champs et potentiels par rapport µ leur maximum. Les transa formations de Lorentz de ces quantit¶s, dont nous ne pr¶jugerons pas encore, ¶tant s^ rement lin¶aires, e e e u e e e le m^me facteur exp(iÁ) d¶crit, dans un autre r¶f¶rentiel R0 , la valeur des quantit¶s transform¶es par e e ee rapport µ leurs nouvelles amplitudes. a En posant (2.51) k¹ = (!=c; k) ; on peut, au moins formellement, ¶cire: e Á = k ¹ x¹ ; (2.52) e e ee e oµ les x¹ sont les composantes contravariantes de l'¶v¶nement consid¶r¶. Á ¶tant un 4{scalaire et x¹ u un 4{vecteur, il est ¶vident que k¹ est, lui aussi, un 4{vecteur g¶n¶ralisant le vecteur d'onde dans e e e l'espace{temps. On notera que sa norme est nulle: k¹ k¹ = 0 (2.53)

2.3. TENSEURS

107

puisque !2 ¡ c2 k2 = 0 pour une onde plane dans le vide. Le vecteur d'onde se transforme donc simplement par une transformation de Lorentz quand on passe d'un r¶f¶rentiel a un autre: ee µ k 0¹ = L¹ º kº : En explicitant cette transformation pour les coordonn¶es spatiales et temporelle, on obtient: e ! 0 = °(! ¡ ukx ) = ky = kz (2.55) (2.56) (2.57) (2.58) (2.54)

0 kx 0 ky 0 kz

= °(kx ¡ ¯!=c)

Dans la premiµre ¶quation, on reconna^ le changement de fr¶quence d'une onde dans un changement e e ³t e de r¶f¶rentiel, c'est a dire l'e®et Doppler. L'expression que nous trouvons ici ne di®µre de l'expression ee µ e 0 = ! ¡ k ¢ u) que par le facteur de dilatation des temps ° (il est habituelle en relativit¶ galil¶enne (! e e bien naturel que ce facteur intervienne dans la modi¯cation de la fr¶quence). Pour des mobiles qui ne e sont pas trop rapides (ce qui est presque toujours le cas, par exemple, pour des sources atomiques), l'e®et Doppler reste domin¶ par l'e®et classique. Il est un cas cependant oµ l'e®et relativiste domine, e u celui oµ la vitesse u est strictement perpendiculaire au vecteur d'onde. En cin¶matique classique, la u e fr¶quence n'est pas a®ect¶e. En relativit¶ einsteinienne, en revanche, la fr¶quence est multipli¶e par e e e e e le facteur ° de dilatation des temps. La modi¯cation relative de la fr¶quence est donc du second e ordre en ¯ (d'oµ le nom d'e®et Doppler du second ordre), alors que l'e®et Doppler classique est du u premier ordre. C'est donc un e®et faible pour des vitesses ordinaires qui est cependant g^nant dans e des exp¶riences de haute pr¶cision. La spectroscopie atomique la plus pr¶cise actuellement est r¶alis¶e e e e e e sur des atomes d'hydrogµne excit¶s par laser. Pour s'a®ranchir de l'e®et Doppler, on fait en sorte que e e la vitesse des atomes soit trµs pr¶cis¶ment perpendiculaire a la direction du laser. La cause essentielle e e e µ d'erreur devient alors l'e®et Doppler du second ordre qu'il faut corriger trµs pr¶cis¶ment. Pour cela, il e e e est indispensable de r¶duire autant que possible la vitesse des atomes et de la d¶terminer pr¶cis¶ment. e e e e Les ¶quations portant sur la partie spatiale d¶crivent le changement de direction de propagation. e e Les composantes transverses ne sont pas modi¯¶es. La composante longitudinale change de telle e e e maniµre que la relation de dispersion des ondes planes dans le vide k0 = ! 0 =c reste v¶ri¯¶e, comme on e pourra s'en convaincre ais¶ment. Notons qu'on peut ainsi retrouver de maniµre trµs rapide l'aberration e e e relativiste des ¶toiles. La situation que nous consid¶rions au chapitre pr¶c¶dent ¶tait en e®et une onde e e e e e se propageant vers l'origine le long de l'axe Oy: ky est donc la seule composante non nulle dans le r¶f¶rentiel R. En appliquant la transformation pr¶c¶dente, on trouve imm¶diatement: ee e e e
0 kx 0 ky = ky = ¡!=c

(2.59) (2.60)

= ¡¯°!=c

La direction de propagation fait donc, dans le r¶f¶rentiel R0 un angle µ = arctan ¯° avec l'axe Oy 0 . ee Nous retrouvons bien le r¶sultat du chapitre pr¶c¶dent. e e e

2.3

Tenseurs

Nous aurons µ manipuler des quantit¶s plus complexes que les 4{vecteurs. Dans un espace vectoriel, on a e peut bien s^r d¶¯nir des op¶rateurs lin¶aires, repr¶sent¶s par des matrices dans une base convenable. u e e e e e En fait, nous consid¶rerons des objets plus g¶n¶raux pouvant d¶pendre de plus de deux indices. De e e e e tels objets d¶crivent des lois de composition multilin¶aires entre vecteurs ou op¶rateurs. Les tenseurs e e e se retrouvent en fait dans de nombreux domaines de la physique. En ¶lasticit¶, par exemple, la e e d¶formation d'un solide dans une direction peut d¶pendre d'une contrainte appliqu¶e dans une autre e e e

Une base de M ­ M est form¶e des 16 produits tensoriels possibles form¶s avec les 4 vecteurs de base de M : e e e¹ ­ eº . Les ¶l¶ments de e e cet espace. d'e®ectuer les u ³t. NOTATIONS QUADRIDIMENSIONNELLES direction. comme toute collection de nombres ne repr¶sente pas forc¶ment un vecteur. sont les tenseurs complµtement contravariants de rang k et leurs composantes s'¶criront T ¹º ½::::¿ . Dans e la premiµre. Il faut.1 Tenseurs contravariants L'op¶ration de produit tensoriel permet d'associer µ l'espace vectoriel M un espace M ­ M . A tout couple de vecteurs R et S de M .2 Tenseurs covariants. On obtient alors des e tenseurs mixtes de rang deux (ou plus si on utilise plusieurs M et M ¤ ) dont les composantes s'¶criront . dont les composantes sur la base produit tensoriel e ~ e e e ²¹ ­ ²º s'¶criront T ¹º .63) (2. plus e a grand. nous aurons aussi la transformation inverse: e e e T ¹º = L½ ¹ L¾ º T 0½¾ : (2.64) On peut faire le produit tensoriel d'un nombre arbitraires d'espaces duaux. tenseurs mixtes Ce que nous avons fait pour l'espace M peut ^tre repris pour son dual M ¤ . e 2. a n ¡ 1 vecteurs associe un vecteur. de dimension 4k . e µ 2. Nous pouvons donc d¶¯nir des objets plus g¶n¶raux que les produits tensoriels e e e e de vecteurs: les tenseurs de rang 2 complµtement contravariants.62) Notons que ces expressions ne d¶crivent pas des produits de trois matrices au sens ordinaires. Un tenseur de rang n d¶crit une transformation e e multilin¶aire qui. la sommation sur ¾ est une sommation sur un indice colonne dans les e deux termes oµ il appara^ Il faut donc prendre garde. un ensemble de trois champs ¶lectriques peut cr¶er une polarisation dans le milieu.3.3. ¶l¶ments de l'espace M ­ M . Il faudra e e e donc ¶crire une application lin¶aire donnant un vecteur µ partir de trois autres. e e de plus. On peut aussi d¶¯nir e des objets appartenant au produit tensoriel de l'espace M par son dual M ¤ . e e On peut d¶duire la rµgle de transformation d'un tenseur dans un changement de base (c'est a dire e e µ ¹º se transforme comme une transformation de Lorentz) de celle d'un produit tensoriel de vecteurs: T un produit de composantes contravariantes: T 0¹º = L¹ ½ Lº ¾ T ½¾ : En appliquant les rµgles du paragraphe pr¶c¶dent. ce qui doit ^tre d¶crit e e a e e par un tenseur a quatre indices. Nous e ee ¹º les composantes d'un tel tenseur sur la base e ­ e . dans les calculs pratiques.108 CHAPITRE 2. transpositions n¶cessaires si on veut utiliser les rµgles standard du produit matriciel. e e L'op¶ration de produit tensoriel peut ^tre g¶n¶ralis¶e ais¶ment a un nombre arbitraires de tere e e e e e µ e ee mes. Les composantes de R ­ S sur cette base sont les produits des composantes de R et S: R ­ S = x¹ y º e¹ ­ eº : (2. En fait. Notons tout de suite que n'importe quel tableau de nombres n'est µ pas un tenseur. nous avons d¶jµ rencontr¶ ea e noterons T ¹ º de tels objets. que ces quantit¶s se transforment \bien" dans un changement de base. par exemple. par exemple avec le tenseur m¶trique complµtement contravariant. En optique non e e lin¶aire. complµtement covariants. On peut d¶¯nir l'espace M ­k . On peut d¶¯nir ainsi des e e tenseurs de rang deux. produit tensoriel de M k fois avec lui m^me. La relation lin¶aire correspondante est d¶crite par un tenseur de rang 2. La transformation de Lorentz de ces quantit¶s s'¶crit simplement: ~ T 0 ¹º = L¹ ½ Lº ¾ T ½¾ : (2.Un produit tensoriel de deux vecteurs ne d¶pend que e de 8 paramµtres libres. Ces composantes se transforment par un \produit" de k transformations e de Lorentz.61) La dimension de l'espace produit tensoriel est 16. on associe un vecteur R ­ S de M ­ M . Nous laissons au lecteur le soin de l'¶crire.

2. Comme pour les composantes des 4{ e c vecteurs (et cela r¶sulte du lien entre tenseur et produits de ces composantes). complµtement covariant. Les transformations des composantes de W et de V s'¶crivent: e V º = L¾ º V 0¾ : (2. Ces d¶¯nition des tenseurs peut para^ abstraites.67) (2. La rµgle de transformation d'un tel tenseur mixte est simplement: e e T 0¹ º = L¹ ½ Lº ¾ T ½ ¾ .65) et se g¶n¶ralise ais¶ment µ tout tenseur mixte de n'importe quel rang.72) On en d¶duit imm¶diatement T ¹º = T º ¹ et T ¹ º = T º ¹ . On e e constatera qu'elles coÄ ³ncident bien avec celles que nous avons obtenues plus haut. par exemple. d¶crivant la transformation entre deux objets de m^me nature. TENSEURS 109 e T ¹ º (pour M ­ M ¤ ) ou T ¹ º (pour M ¤ ­ M ). d¶crit naturellement une application lin¶aire e e e e de M dans M ¤ . µ un tableau diagonal de signes. e Les rµgles de changement de base pour les tenseurs peuvent se d¶duire de cette forme. le tenseur m¶trique g ¹º e e ou g ¹º peut ^tre utilis¶ pour ¶lever ou abaisser les indices. On pourra donc ¶crire la forme mixte sans e e e ¹ e e e pr¶ciser l'ordre des indices. par exemple. Notons que ces deux ¶critures recouvrent a priori des objets di®¶rents. On trouve ainsi. Notons que la sym¶trie du tenseur n'implique pas l'¶galit¶ de e ¹ º Tº et de T¹ (il n'est que d'examiner le cas des indices spatio{temporels pour s'en convaincre).66) (2.3.69) On aurait des ¶critures similaires pour les tenseurs complµtement contravariants (de M ¤ dans M ) ou e e les tenseurs mixtes. nous savons bien que les composantes contravariantes et les composantes covariantes recouvrent le m^me objet physique. que seuls les indices spatio{temporels changent de signe dans le passage d'un tenseur de rang 2 de la forme complµtement contravariante µ la forme complµtement e a e covariante. 2. . comme Tº .3. Nous laisserons e e au lecteur le soin de les ¶crire. Il en est de m^me pour les tenseurs: une quantit¶ physique e e e s'exprimant comme un tenseur peut ^tre ¶crite a volont¶ comme un tenseur complµtement contravarie e µ e e ant.71) On lit directement sur cette ¶quation l'expression des composantes transform¶es du tenseur. ou mixte de fa»on arbitraire.3 Vocabulaire et exemples Un tenseur de rang 2 est dit sym¶trique si: e T ¹º = T º ¹ (2.68) : Le tenseur m¶trique se r¶duisant en relativit¶ restreinte. ces rµgles e e e a e de transformation prennent une forme trµs simple: l'abaissement ou l'¶l¶vation d'un indice spatial e ee change le signe de la quantit¶. (2. L'image W d'un vecteur V s'¶crit alors: W ¹ = T ¹º V º : (2. Nous e e prendrons une transformation de Lorentz L. Nous pourrons ¶crire par exemple: e e e e T ¹º T T ¹ ¹ º º = g ¹½ g º ¾ T ½¾ = g gº ¾ T ½ = gº ½T ¹½ ¹½ ¾ (2. alors que l'¶l¶vation ou l'abaissement d'un indice temporel ne change e ee rien. e e e a En fait.70) W 0 ½ = L½ ¹ W ¹ On peut donc ¶crire: e W 0 ½ = L½ ¹ W ¹ = L½ ¹ T ¹º V º = L½ ¹ T ¹º L¾ º V 0¾ = T 0 ½¾ V 0¾ : (2. Un e e e tenseur complµtement covariant de rang 2. On peut aussi voir les tenseurs de rang deux e ³tre comme des applications lin¶aires de l'espace M dans lui m^me (ou de son dual dans lui m^me).

que les matrices de changement de base ne sont pas µ proprement parler des op¶rateurs. nous e appellerons \contraction" d'un tenseur sur un indice une expression comme T ¹ ¹ ½ . nous ne devons pas les consid¶rer comme des tenseurs. b) ¡bx A 0 1 (2. nous ne nous ¶tonnerons pas que le champ ¶lectromagn¶tique e e a e e e s'exprime comme un tenseur antisym¶trique de rang 2. e a ee 2. Il n'y a donc que 24 ¶l¶ments non nuls dans ². Le couple champ ¶lectrique/champ e e magn¶tique ob¶issant µ ces conditions. (2. Sa forme e ¹ ¹ mixte est ¶videmment: gº = g ¹½ gº ½ = ±º . que la contraction sur un indice d'un tenseur de rang trois se transµ forme bien comme un vecteur: T 0¹ ¹ ½ = L¹ ¾ L¹ º L½ ¿ T ¾ º ¿ º = ±¾ L½ ¿ T ¾ º ¿ = L½ ¿ T ¾ ¾ ¿ . On sait bien. a ee En toute rigueur. l'¶l¶ment correspondant vaut +1. On montre qu'un tenseur antie sym¶trique peut se mettre sous la forme: e 0 B ¡ax =B @ ¡ay ¡az 0 T ¹º ax 0 bz ¡by ay ¡bz 0 bx az by C C = (a. e e e Nous appellerons \trace" d'un tenseur de rang 2 la quantit¶ T ¹ ¹ = T ¹ ¹ . 2. Si la permutation est paire. Parmi les 256 e e e ¶l¶ments de ce tenseur. c'est a dire un 4{scalaire). elle donne un tenseur de rang 0. 12 valant +1 et 12 ¡1. La contraction d'un tenseur de rang k sur un indice est un tenseur de rang k ¡ 2 (la trace ¶tant une contraction d'un e tenseur de rang 2.73) Les termes diagonaux de ce tenseur T ¹¹ sont ¶videmment nuls. en algµbre e e lin¶aire. On e a e peut aussi s'en convaincre en s'interrogeant sur le sens physique d'un changement de base pour une transformation de Lorentz. a Montrons.74) oµ a est un vecteur spatial et b un pseudo-vecteur (qui se transforme en l'oppos¶ de son sym¶trique u e e dans un changement de base comprenant une r¶°exion d'espace). dans notre formalisme quadridimensionnel. pour sa part. c'est µ dire un 4{vecteur. Plus g¶n¶ralement. e Notons µ ce point que les op¶rateurs L de changement de base ont toutes les caract¶ristiques a e e de tenseurs et se comportent normalement vis µ vis de l'¶l¶vation ou de l'abaissement des indices. un tenseur de rang 1. ee puisqu'on abaisse toujours trois indices spatiaux dans cette op¶ration. Nous commencerons par red¶¯nir le gradient. Le symbole de Kronecker n'est donc que la forme mixte du e ¹ tenseur m¶trique! La relation entre les formes contravariantes et covariantes g¹º g º ½ = ±½ peut donc e s'interpr¶ter comme un simple abaissement d'indice.110 CHAPITRE 2. La contraction d'un µ tenseur de rang trois donne. pour g¶n¶raliser ensuite aux autres op¶rateurs e e e e . 3). seuls sont non nuls ceux dont les indices correspondent µ une permutation de ee a (0. 1. e ee e Comme tenseurs. On a en¯n ²¹º ½¾ ²¹º ½¾ = ¡24 e (une somme de 256 termes qui nous fait appr¶cier µ sa juste valeur l'¶l¶gance des notations d'Einstein).75) ce qui ¶tablit bien la propri¶t¶ cherch¶e. Nous d¶¯nirons ¯nalement le tenseur de rang 4 complµtement antisym¶trique ²¹º ½¾ . On a ²¹º ½¾ = ¡²¹º ½¾ .4 D¶rivation et analyse vectorielle e La derniµre ¶tape µ franchir est de refonder. a titre d'exercice. nous connaissons d¶jµ le tenseur m¶trique. l'analyse vece e a torielle. On pourra v¶ri¯er directement qu'il ea e e est bien invariant dans une transformation de Lorentz. Il vaut -1 si la permutation est ee impaire. NOTATIONS QUADRIDIMENSIONNELLES Un tenseur de rang 2 est dit antisym¶trique si: e T ¹º = ¡T º ¹ : (2. Il s'agit d'un tenseur sym¶trique.

Leur e e e µ µ covariance est manifeste si nous examinons l'accroissement in¯nit¶simal d'un fonction scalaire des x¹ e pour un accroissement dx¹ : (2. e L'analogue du rotationnel sera le tenseur de rang 2 complµtement antisym¶trique: e e @ ¹ Aº ¡ @ º A¹ : (2. e a e a e e e Si f est une fonction scalaire. e e e e 2. peut s'¶crire @¹f = et @ ¹f = µ 1 @f . ¡rf c @t (2. la d¶rivation par e e e e rapport aux coordonn¶es contravariantes de l'¶v¶nement: e e e @¹ = @ : @x¹ (2.¶ 2. (2.4. e e µ On peut aussi d¶¯nir la d¶rivation par rapport aux coordonn¶es covariantes: e e e @¹ = @ : @x¹ (2. e e e e ee 2.1 D¶rivation e Nous pouvons d¶¯nir. Nous d¶¯nirons en¯n une int¶gration dans l'espace{temps et e e e g¶n¶raliserons les th¶orµmes de Stokes/Ostrogradski.4.76) e Il est ¶vident que les 4 quantit¶s @ ¹ forment les quatre composantes covariantes d'un op¶rateur e e di®¶rentiel vectoriel qui g¶n¶ralise la notion de \nabla" a notre espace a quatre dimensions.4. g¶n¶ralisation aux op¶rateurs di®¶rentiels des lois d'¶l¶vation ou d'abaissement des indices. Il se transforme e donc comme tel dans une transformation de Lorentz: @ 0 ¹ = L¹ º @ º . g¶n¶ralisant le gradient.77) df = @ ¹ f (xº )dx¹ : df ¶tant un scalaire et dx¹ un vecteur contravariant.2 Analyse vectorielle On peut d¶¯nir µ partir des @ ¹ des analogues des op¶rateurs de l'analyse vectorielle µ trois dimensions.78) oµ les @ 0 repr¶sentent les d¶riv¶es par rapport aux nouvelles coordonn¶es contravariantes. On a de plus (2.79) Ces op¶rateurs di®¶rentiels forment ¶videmment les composantes contravariantes d'un vecteur (comme e e e on peut s'en convaincre en ¶crivant l'accroissement d'une fonction scalaire des coordonn¶es covarie e antes). pour une fonction du 4{vecteur position d'un ¶v¶nement.82) Si on considµre un champ de 4{vecteurs A¹ (xº ) = (a0 . on peut d¶¯nir sa divergence comme: e e @ ¹ A¹ = @ ¹ A¹ = 1 @a0 +r¢a . @ ¹ est un \vecteur" covariant. Nous verrons que des lois bien connues de l'¶lectromagn¶tisme prennent une forme trµs e e e e simple en termes de ces op¶rateurs. @ ¹ f . Cette loi de u e e e e transformation peut aussi s'¶tablir p¶niblement a partir des lois de transformation des composantes. c @t (2. a). rf c @t ¶ ¶ (2.81) µ 1 @f .83) qui n'est pas sans nous rappeler l'¶quation de conservation de la charge ou la jauge de Lorentz.80) @ ¹ = g ¹º @ º .84) . DERIVATION ET ANALYSE VECTORIELLE 111 di®¶rentiels.

85) et n'est pas autre chose que le d'alembertien .89) dS ¾ = ¡ ²¾¹º ½ dS ¹º ½ . On peut le consid¶rer comme sousee a e ee a tendu par trois 4{vecteurs dx¹ . Le lecteur sceptique aura avantage µ ¶crire ee a e explicitement le vecteur ¶l¶ment de surface pour un petit ¶l¶ment de volume purement spatial (qui est ee ee bien un ¶l¶ment de surface dans l'espace{temps). On peut d¶¯nir a eeµ e une int¶grale sur ces surfaces (un °ux) µ condition de d¶¯nir un 4{vecteur ¶l¶ment de surface dS ¹ . en utilisant le 4{ classique. les ee e lois de transformation des champs. L'¶quation de Poisson prouve imm¶diatement que cette quantit¶ est un 4{vecteur.90) . La condition de jauge de Lorentz s'¶crit tout simplement @ ¹ A¹ = 0. (2.87) dy ¹ dy º dy ½ L'¶l¶ment de surface cherch¶ s'obtient alors en contractant ce tenseur avec le tenseur de rang 4 ee e complµtement antisym¶trique: e e 1 (2.112 CHAPITRE 2. Nous pouvons ainsi r¶¶crire de fa»on extr^mement simple quelques lois de l'¶lectromagn¶tisme ee c e e e ¹ = 0. µ Les ¶quations de Poisson pour les potentiels peuvent se regrouper en @ ¹ @ ¹ Aº = ¹0 J º . a condition e e de regrouper les potentiels scalaire et vecteur en un 4{vecteur A¹ = (V =c. e a e ee Un ¶l¶ment de surface est un petit objet µ trois dimensions. dy ¹ et dz ¹ (comme un petit ¶l¶ment de surface µ deux dimensions est e a ee sous{tendu par deux vecteurs in¯nit¶simaux). L'¶quation de conservation de la charge s'¶crit simplement @ ¹ J e e vecteur courant. Il trouvera un 4{vecteur dont seule la composante ee temporelle est non nulle. A).4. L'ensemble de ces relations e prouve que l'¶lectromagn¶tisme se coule de maniµre trµs naturelle dans le cadre math¶matique de la e e e e e cin¶matique relativiste. (2. On pourrait alors en d¶duire les lois e e e relativistes de transformation des potentiels dans un changement de r¶f¶rentiel et. On forme d'abord le tenseur de rang 3 dS ¹º ½ tel que: e ¯ ¹ ¯ dx ¯ dS ¹º ½ = ¯ dxº ¯ ¯ dx½ On peut d¶¯nir une int¶grale de volume dans l'espace{temps pour n'importe quel type de quantit¶ e e e par Z d­ . par d¶rivation. On peut obtenir dS ¹ par une e ee proc¶dure d'orthogonalisation standard. e e ee ee On peut ¶tablir pour les int¶grales de surface un th¶orµme g¶n¶ralisant le th¶orµme de gauss: e e e e e e e e Z S dz ¹ ¯ ¯ dz º ¯ ¯ dz ½ ¯ ¯ (2. e Une surface dans l'espace µ trois dimensions est une vari¶t¶ a trois dimensions. Nous ¶tablirons plus simplement ces r¶sultats dans les prochains e e chapitres.88) A dS ¹ = ¹ Z V @ ¹ A¹ d­ . Sa mesure est pr¶cis¶ment le volume spatial de l'¶l¶ment consid¶r¶.3 Int¶gration e oµ d­ = cdtdxdydz est l'¶l¶ment d'int¶gration dans l'espace temps dont nous avons d¶jµ d¶montr¶ le u ee e ea e e caractµre scalaire. e 2. 6 dont on montre qu'il a toutes les propri¶t¶s requises. dS ¹ doit ^tre orthogonal µ tout vecteur de l'¶l¶ment et e sa longueur doit ^tre une mesure du \volume" de l'¶l¶ment de surface.86) (2. NOTATIONS QUADRIDIMENSIONNELLES On pourra aussi ¶crire le rotationnel sous sa forme complµtement covariante: e e @ ¹ Aº ¡ @ º A¹ : Le \laplacien" de l'espace temps est la norme du vecteur @ ¹ : @¹@¹ = 1 @2 ¡4= c2 @t2 (2.

91) On peut en¯n d¶¯nir une int¶grale curviligne sur une ligne d'univers. Elle est form¶e de tous les points de l'espace a t = ¡1 et de tout e e µ l'espace µ nouveau a t = 1. e 3 .¶ 2. elle est form¶e µ tout instant de tous les points a l'in¯ni dans l'espace (la a µ e a µ \sphµre de l'in¯ni" habituelle de l'analyse vectorielle).92) Cette sphµre de l'in¯ni est assez peu intuitive. Entre les deux. L'¶l¶ment d'int¶gration est un tenseur antisym¶trique de rang 2 form¶ sur les vecteurs ee e e e ee e dx¹ et dyº sous{tendant l'¶l¶ment d'int¶gration: df ¹º = dx¹ dy º ¡ dxº dy ¹ : (2. On peut aussi d¶¯nir une int¶gration sur des vari¶t¶s a deux dimensions (que nous n'appellerons e e ee µ pas surfaces). DERIVATION ET ANALYSE VECTORIELLE 113 oµ V est un volume dans l'espace{temps et S sa surface frontiµre. Le th¶orµme de Stokes relie e e e e l'int¶grale sur une vari¶t¶ a deux dimensions a l'int¶grale sur son contour: e eeµ µ e Z A¹ dx = ¹ Z df ¹º (@ ¹ Aº ¡ @ º A¹ ) : (2. L'int¶grale de la divergence ¶tendue u e e e e e a µ tout l'espace est donc ¶gale au °ux sur la \sphµre de l'in¯ni"3 .4. Celui-ci est en g¶n¶ral nul pour des e e champs physiques.

NOTATIONS QUADRIDIMENSIONNELLES .114 CHAPITRE 2.

e ee Notons ¶galement que la force de gravitation ne peut ^tre trait¶e correctement que dans le cadre de la e e e relativit¶ g¶n¶rale. e e Pour que toutes les quantit¶s que nous manipulons se comportent bien dans un changement de e r¶f¶rentiel (on dit souvent qu'elles sont manifestement covariantes). Nous choisissons µ un signe moins et une constante positive.) n'ont aue e e e cun sens en relativit¶ (elles ne peuvent se transformer correctement dans un changement de r¶f¶rentiel).2) oµ ds est un intervalle in¯nit¶simal sur la ligne d'univers: ds = cd¿ . Nous en d¶duirons. le choix le plus simple est une constante ¡®. relative a la particule. On peut a On peut rendre l'int¶grale du temps propre aussi petite que l'on veut en imaginant des mouvements a de trµs grandes e µ e vitesses entre a et b. En¯n. (3. L'action. Pour utiliser la notion de force. seul le temps propre ¿ de la particule convient. l'expression relativiste de l'impulsion e e e de la particule. Notons a ce point que e e e µ toutes les forces ph¶nom¶nologiques utilis¶es en m¶canique classique (frottements. il nous faut bien s^r ¶tablir la nouvelle dye e e u e namique. e e a e 1 115 . C'est ce que nous ferons au prochain chapitre dans le cas de l'¶lectromagn¶tisme. Ce choix conduira µ un minimum pour l'action1 . Nous e n'irons pas beaucoup plus loin dans ce chapitre. tensions. En revanche.1 Particule Libre Nous essayons ici de d¶¯nir une action ou un lagrangien pour une particule relativiste libre. Nous conclurons ce chapitre par quelques brµves remarques sur le vaste problµme e e e e e des collisions de particules relativistes. Nous commencerons par postuler une forme trµs simple pour l'action d'une particule libre. La cone dition d'extr¶malit¶ de l'action devrait alors nous donner la ligne d'univers suivie par cette particule. l'int¶grale du temps propre est maximale si la particule se d¶place µ vitesse constante e e a entre a et b. e dont nous d¶duirons les ¶quations de Lagrange (qui donnent trivialement un mouvement rectiligne e e uniforme). On ¶crira donc: o e e S= ou encore: 1 S= c Z b a L d¿ . De maniµre ¶vidente. Nous d¶¯nirons alors la notion de force pour une particule en interaction. pour avoir un minimum. u e Pour L. il faut en e®et la relier aux causes du mouvement. de maniµre plus int¶ressante. il faut que l'action et le lagrangien ee soient tous les deux des 4{scalaires..Chapitre 3 Dynamique relativiste Aprµs avoir jet¶ les bases d'une nouvelle cin¶matique.1) Z b a L ds . doit donc ^tre oppos¶e µ l'int¶grale du temps propre. en \red¶couvrant" l'expression de la force de Lorentz. (3. les e e bornes de l'int¶gration doivent ^tre deux ¶v¶nements bornant la portion de ligne d'univers cherch¶e e e e e e (et jouant le r^le de conditions aux limites dans les ¶quations de Lagrange). Le temps sur lequel on intµgre le lagrangien doit donc ^tre lui e e aussi un 4{scalaire. 3.

L'une est la trajectoire de r¶f¶rence (en traits pleins). Notons qu'avec ce choix d'¶criture.4) L = ¡mc2 et l'action s'¶crit simplement: e S = ¡mc 2 Z d¿ = ¡mc Z ds : (3. DYNAMIQUE RELATIVISTE ct b xµ(τ+dτ)+δxµ(τ+dτ) δxµ(τ+dτ) =δxµ(τ)+dδxµ dxµ+δdxµ xµ(τ+dτ) dxµ x (τ)+δ (τ) x µ µ δxµ(τ) xµ(τ) x a Figure 3. de positions a e µ un instant initial et µ un instant ¯nal. La partie de droite sch¶matise des ¶l¶ments in¯nit¶simaux correspondants des deux trajectoires.1). e e e L'autre ligne d'univers s'¶carte de la trajectoire de r¶f¶rence par des quantit¶s in¯nit¶simales. e e ee l'autre une trajectoire in¯niment proche (en pointill¶s). Les e e e ¶v¶nements de cette ligne d'univers peuvent donc s'¶crire x¹ (¿ ). Nous consid¶rerons donc deux lignes d'univers e e e l¶gµrement di®¶rentes entre les ¶v¶nements a et b qui nous serviront de \conditions aux limites" (voir e e e e e ¯gure 3. L'une de ces trajectoires sera la trajectoire e®ectivement suivie. la . e ee e e Les coordonn¶es spatio{temporelles de chaque ¶v¶nement sur cette ligne d'univers pourront s'¶crire e e e e u e e e x¹ (¿ ) + ±x¹ (¿ ). Les deux trajectoires coÄ e ³ncident pour les ¶v¶nements initial et e e ¯nal.1: Deux lignes d'univers joignant deux ¶v¶nements. on ¶crira: e S = ¡® Z q 1 ¡ v 2 =c2 dt = Z (¡® + ®v 2 =2c2 ) dt : (3. Le lagrangien d'une particule libre est donc une simple e e constante: (3. il faut que ® = mc2 . Elle est param¶tr¶e par le temps propre ¿ de la particule.3) ³ncide avec Le terme constant ne joue aucun r^le dans l'action classique. µ partir de cette expression de l'action. oµ ±x¹ (¿ ) est une quantit¶ in¯nit¶simale. Pour que le terme en v 2 coÄ o l'¶nergie cin¶tique. les ¶quations de Lagrange.116 CHAPITRE 3.5) Nous allons maintenant ¶tablir. Nous ne pouvons plus en e®et sp¶ci¯er. a qui r¶alise un extremum pour l'action. e ee e identi¯er ais¶ment cette constante en imposant µ notre action de coÄ e a ³ncider avec l'action classique si la vitesse de la particule est petite devant c. e a e Ce raisonnement est trµs proche de celui utilis¶ dans la premiµre partie de ce cours pour ¶tablir e e e e les ¶quations de Lagrange d'un systµme quelconque. sans perdre l'invariance relativiste. En remarquant que d¿ = dt=°.

u Pour obtenir les ¶quations de Lagrange. Notons que le temps propre est utilis¶ comme un simple paramµtre.7) En d¶veloppant cette derniµre expression au premier ordre non nul dans les petits accroissements.3.8) = . nous avons du prendre garde de ne manipuler e que des quantit¶s 4{vectorielles ou scalaires). n¶cessairement triviale.10) ce qui constitue l'¶quation de Lagrange. on e e obtient l'accroissement de l'action S + ±S = ¡mc ±S = ¡mc = ¡m Z b ∙ a a 1+ Z b a Z b dx¹ dx¹ ±dx¹ ds ds2 ¸ ds ±dx¹ U ¹ ±dx¹ U¹ d±x¹ d¿ d¿ (3. le principal int¶r^t de ce calcul ne r¶side pas dans cette ¶quation que nous aurions pu obtenir ee e e en invoquant l'invariance galil¶enne. Consid¶rons un intervalle in¯nit¶simal de temps propre d¿ (voir partie droite de la ¯gure 3.9) e e e qui va nous permettre de d¶terminer les variations de l'action dans une variation du point d'arriv¶e.9) Le terme tout int¶gr¶ est manifestement nul puisque les deux lignes d'univers coÄ e e ³ncident sur les ¶v¶nements limites. l'¶quation (3. e e En fait. ¿ n'est pas le temps e e e propre sur la trajectoire vari¶e (c'est pr¶cis¶ment µ la d¶termination de celui-ci que nous allons nous e e e a e consacrer). on passe de l'¶v¶nement x¹ µ x¹ + dx¹ avec dx¹ = (dx¹ =d¿ )d¿ . du mouvement de la particule libre. Dans toute la suite du raisonnement.1). Sur e e a la trajectoire de r¶f¶rence. PARTICULE LIBRE 117 trajectoire vari¶e et la trajectoire de r¶f¶rence sont param¶tr¶es par le m^me temps propre ¿ . nous pouvons transformer cette expression par une int¶e e gration par parties: ±S = ¡m Z b a U ¹ ±dx¹ = ¡m [U ¹ ±x¹ ]b + m a Z b dU ¹ a d¿ ±x¹ d¿ : (3. nous avons ¶tabli. Nous avons d'abord pris la mesure des di±cult¶s mises en jeu e e dans un calcul variationnel en relativit¶ (en particulier. C'est e ee e e e en e®et une condition importante pour pouvoir ¶crire les int¶grales d'action avec le m^me ¶l¶ment e e e ee di®¶rentiel. l'accroissement de la vitesse ¶tant manifestement la d¶riv¶e temporelle de l'accroissement. e e et donc d'¶tablir la forme relativiste de l'impulsion. e .1. L'action e ee sur la trajectoire de r¶f¶rence est donc ee S = ¡mc L'action sur la trajectoire vari¶e s'¶crit: e e S + ±S = ¡mc Z b q a Z b a ds = ¡mc Z b q a dx¹ dx¹ : (3. La nullit¶ de ±S ne peut ^tre assur¶e pour tous les accroissements que si: e e e e e dU ¹ =0. en passant. on passe de l'¶v¶nement x¹ + ±x¹ µ x¹ + ±x¹ + dx¹ + d±x¹ avec d±x¹ = e e e e e e (d±x¹ =d¿ )d¿ = ±(dx¹ =d¿ )d¿ = ±dx¹ . Sur la ligne ee e e a d'univers vari¶e. Ensuite. en revanche. ¡m Z b a oµ nous faisons intervenir la 4{vitesse U ¹ = cdx¹ =ds de la particule.6) (dx¹ + ±dx¹ )(dx¹ + ±dx¹ ) : (3. d¿ (3. nous traiterons les accroissements ± comme des in¯niments petits d'ordre sup¶rieur par rapport aux ¶l¶ments d de trajectoire.

En revanche. Les deux trajectoires sont param¶tr¶es par e e e e e le temps propre de la trajectoire de r¶f¶rence. DYNAMIQUE RELATIVISTE 3. La seule di®¶rence est que l'accroissement ne s'annule ee e e pas pour l'¶v¶nement b: ±x¹ (b) = db. Nous poserons donc: a e e P ¹ = ¡@ ¹ S . e u Penchons nous maintenant sur la signi¯cation physique des composantes de P ¹ .11) les d¶riv¶es s'entendant par rapport µ la position de b. repr¶sente l'¶nergie m¶canique d'une particule au repos: e e e E0 = mc2 .14) (3. La contrepartie relativiste en est e manifestement le 4{gradient de l'action par rapport µ l'¶v¶nement b. nous consid¶rerons deux lignes d'univers e®ectivement suivies par la particule. e e e e Si les ¶nergies sont toujours d¶¯nies µ une constante additive prµs en m¶canique classique. On ne saurait en e®et ajouter une constante arbitraire µ la composante e e a temporelle d'un 4{vecteur en conservant une forme correcte pour les lois de changement de r¶f¶rentiel. le terme tout int¶gr¶ est non nul et vaut e e e e U ¹ ±x¹ (b). Si une masse au repos possµde de l'¶nergie.15) p = m°v Commentons tout d'abord l'expression de l'¶nergie m¶canique. au moins sur un plan de e e pur bilan d'¶nergie.12) un r¶sultat pour le moins attendu. On obtient alors: e 1 E = mc2 + mv 2 : 2 (3. Elles doivent donc se transformer ensemble dans un changement de r¶f¶rentiel. nous retrouvons donc bien l'¶nergie cin¶tique galil¶enne.16) A une constante prµs. elles correspondent µ des vitesses constantes a et le terme int¶gral est identiquement nul. Nous pouvons de plus identi¯er ces quantit¶s a partir de l'expression de la 4{vitesse: ee e µ E = m°c2 (3. l'autre (vari¶e) a et b+db. Comme les deux e e trajectoires sont des trajectoires e®ectivement suivies. (3. on peut d¶velopper le facteur °. (3. alors que les composantes spatiales repr¶sentent la quantit¶ de mouvement: e e P ¹ = (E=c. L'¶quation (3. On en d¶duit par simple comparaison que: P ¹ = mU ¹ P ¹ = mU ¹ . (3. cela indique qu'on peut. transformer une certaine quantit¶ de masse en ¶nergie ou une certaine quantit¶ e e e e 2 Remarquons que nous venons d'¶tablir ce qui est sans doute la formule de physique la plus c¶lµbre. Le calcul de la variation ee e de l'action suit alors celui e®ectu¶ au paragraphe pr¶c¶dent. Pour des mouvements a vitesse e e µ faible devant c. il n'en e e a e e est pas de m^me en relativit¶. Une simple comparaison avec la m¶canique classique nous indique que la e P e e composante temporelle de P ¹ est l'¶nergie m¶canique E de la particule. e e a e Pour estimer P ¹ . l'une (ligne d'univers de r¶f¶rence) connectant a et b.17) doit donc avoir une signi¯cation physique2 . e ee . ci-dessus. On a bien s^r ¹ = (¡(1=c)dS=dt.9) est donc encore correcte.118 CHAPITRE 3. rS).13) L'¶nergie et la quantit¶ de mouvement apparaissent donc comme les composantes temporelles e e et spatiales d'un 4{vecteur. p) : (3. ee La constante additive qui.2 Energie{impulsion Nous avions introduit naturellement l'¶nergie et l'impulsion en dynamique classique comme les d¶riv¶es e e e temporelles et spatiales de l'action par rapport au point d'arriv¶e.

Cette notion de seuil de r¶action joue un r^le essentiel pour l'analyse des collisions e o de particules. pour des vitesses proches e e de celles de la lumiµre. Cette approche. et dans une large mesure du point de vue de e l'ensemble de la dynamique. elle coÄ e oe e ³ncide donc bien avec la quantit¶ de mouvement galil¶enne ordinaire. e e e soit 2 fois 511 keV. largement d¶velopp¶e dans des ouvrages de vulgarisation. l'¶nergie de la particule serait nulle. la quantit¶ de mouvement cro^ beaucoup plus vite que la vitesse (elle est en e e ³t fait simplement proportionnelle a la c¶l¶rit¶). En d¶pit des cons¶quences trµs importantes de cette ¶nergie de e e e e repos pour la physique des particules. e e µ e Pour cr¶er. e e Un exemple extr^me de particule ultra{relativiste est une particule de masse nulle.3 Particule soumise µ une force a Cette section ne peut ^tre µ ce niveau qu'embryonnaire. Le ph¶nomµne r¶ciproque. e e La quantit¶ de mouvement. e ¹ 3. un petit doute th¶orique et e e exp¶rimental subsiste pour le second). L'invariance relativiste impose que la masse de la particule soit un 4{scalaire.µ 3. Si on y ajoute que l'impulsion doit avoir la direction du vecteur d'onde (nous verrons pourquoi µ la ¯n de cette partie). Si la vitesse de propagation de cette particule ¶tait inf¶rieure e e e a µ c. on retrouve qu'il est impossible d'acc¶l¶rer une particule mat¶rielle jusqu'µ la e ee e a vitesse de la lumiµre. il faudra au moins fournir une ¶nergie 2mc2 . une paire ¶lectron/positron. n'est e e bien s^r pas correcte. confondre l'¶nergie et l'impulsion de la particule. µ une constante e e a dimensionnelle prµs. Dans le cas particuliµrement important du photon. Il e e e faut ajouter µ ces conditions de bilan les rµgles de s¶lection qui indiquent quelles particules on peut a e e e®ectivement cr¶er dans une situation donn¶e. e e L'¶nergie E est alors trµs sup¶rieure a l'¶nergie de repos E0 . nous n'avons pas montr¶ qu'ils pouvaient se produire.18) Examinons le cas d'une particule ultra{relativiste. Si la particule est soumise a des interace a µ tions qui modi¯ent son mouvement. comme le e photon ou le neutrino (si la masse du premier est trµs certainement nulle. et on peut n¶gliger le terme m2 c4 dans e e e µ e l'expression pr¶c¶dente. Notons µ ce point que. pour terminer ce paragraphe. hº=c. \tout se passe comme si" la masse de la particule d¶pendait de la vitesse e comme le facteur °. oµ h est la e e u constante de Planck et l'impulsion est donc. et e e nous renverrons le lecteur int¶ress¶ aux nombreux manuels qui couvrent ce sujet. si nous avons montr¶ que de tels processus sont envisageables a e du point de vue du simple bilan ¶nerg¶tique. par exemple. le facteur ° ¶tant ¯ni. e ee Notons. on pourra ¶crire l'¶quation du mouvement sous la forme d'une e e . Comme l'accroissement de la quantit¶ de mouvement µ ee e e est manifestement reli¶ a la force qui s'exerce sur la particule (nous anticipons quelque peu sur la e µ suite de cet expos¶). Pour que de telles particules aient e e une ¶nergie non nulle. u ind¶pendant du r¶f¶rentiel. Ces rµgles ne peuvent s'obtenir que par une approche e e e quantique qui est hors de propos ici. dont la vitesse est proche de celle de la lumiµre. puisqu'il faudrait lui communiquer une quantit¶ de mouvement in¯nie. on a une conversion totale d'une certaine e e e quantit¶ de masse en ¶nergie. Au premier ordre en v=c. On a alors simplement E = pc et on peut pratiquement. un lien utile entre ¶nergie et quantit¶ de mouvement. Quand deux antiparticules s'annihilent en ¶mettant de ee e l'¶nergie sous forme de rayonnement ¶lectromagn¶tique. avec la vitesse de la lumiµre). nous n'¶voquerons pas ce problµme beaucoup plus avant ici. PARTICULE SOUMISE A UNE FORCE 119 d'¶nergie en masse. on voit donc que l'¶nergie et l'impulsion de la particule sont li¶es µ e e par E = pc. s'¶crit donc m°v. On en d¶duit P ¹ P e µ e p 2 c 2 + m2 c 4 = E 2 : (3. la cr¶ation d'une paire particule/antiparticule e e e e e e a µ partir d'un rayonnement su±samment ¶nerg¶tique.3. de son c^t¶. du point de vue de la quantit¶ de mouvement. Les applications les plus spectaculaires de ces conversions sont les cr¶ations e e et annihilations de particules ¶l¶mentaires. l'¶nergie est E = hº. en module. en toute rigueur. a e Par un simple passage a la limite. Nous e e ¹ = m2 c2 et donc savons en e®et que le module de la 4{vitesse est ¶gal a c. Notons e e en¯n que. on en d¶duit que a e l'impulsion spatiale du photon peut s'¶crire p = hk. il faut que leur vitesse de propagation soit la vitesse limite de la relativit¶ e e (qu'on peut donc confondre µ ce point seulement. En revanche. correspond a la conversion d'¶nergie en masse.

mais au prix de grands e®orts. La masse que nous e e mettons dans l'impulsion est donc une masse \habill¶e". La conservation de l'impulsion permet n¶anmoins d'obtenir des renseignements pr¶cis sur les collie e sions de particules relativistes. qui ne peut ^tre instantan¶e. a nouveau. poss¶dant une ¶nergie. s'en convaincra ais¶ment. jouera le r^le d'une force.) n'ont plus de sens en relativit¶. un champ ¶lectromagn¶tique est associ¶ µ chaque particule avant et aprµs la collision. Il est possible de formuler une hye drodynamique relativiste. on pourra ¶crire: e ° dE dp . En fait. on considµre en e®et un ¶tat initial oµ les deux e e u particules sont trµs ¶loign¶es et n'interagissent pratiquement pas.° ) : (3. Le seul cas oµ e u nous pourrons e®ectuer cette d¶marche est celui de l'¶lectromagn¶tisme que nous traiterons dans le e e e prochain chapitre. ainsi que la notion de solide. e e 3 .. Ce champ. Nous n'aurons donc e®ectivement pas µ tenir compte des champs des particules libres dans notre bilan a d'impulsion. en fonction de la vitesse de la particule et des champs (cette force ne sera autre que la e force de Lorentz). nous traiterons deux exemples: le e e e calcul d'un seuil de r¶action et le cas de l'e®et Compton. on ne le fait jamais ind¶pendamment du champ qui accompagne cette particule. dans le cas de l'¶lectromagn¶tisme. par exemple. comme on e e 2 ¡ c2 p2 est une constante. M^me si on renonce a examiner ce qui se passe pendant l'interaction. On regroupe ainsi dans une m^me ¶quation liant deux 4{vecteurs les e e lois de conservation de l'¶nergie et de l'impulsion qu'on ¶crit s¶par¶ment dans une analyse classique e e e e de la collision3 . la di®¶rence entre la masse \nue" et la masse \habill¶e" e e e de la particule est ¶videmment in¯nie. qui est la somme des impulsions de particules incidentes. au fait que E e 3. toutes les interactions ph¶nom¶nologiques e a e e (contacts. d¶riv¶e par rapport au temps ordinaire e e e e de la quantit¶ de mouvement. l'interaction e a e e u µ est n¶gligeable. Ces deux exemples a eux seuls sont loin de e µ Si les particules sont charg¶es. En fait. L'orthogonalit¶ de G¹ et de P ¹ est simplement ¶quivalente. aucune autre interaction ne peut ^tre incluse correctement dans le cadre e de la relativit¶ restreinte µ notre niveau. Elle n'est d¶crite convenablement que dans celui de la e e e relativit¶ g¶n¶rale. qui englobe e®ectivement la contribution du champ µ l'inertie e a de la particule.19) G¹ = ( c dt dt On pourra poser f = dp=dt et d¶¯nir ainsi la force spatiale. qu'on pourra exprimer simplement. comme en m¶canique classique. M^me la gravitation ne peut e ^tre en toute rigueur coul¶e dans ce cadre. Aprµs avoir interagi. doit aussi poss¶der une quantit¶ e e e e e e e de mouvement et entrer dans le bilan de l'impulsion globale. Pour un ensemble de particules mat¶rielles sans interaction. DYNAMIQUE RELATIVISTE ¶quation de Lagrange µ condition de conna^ e a ³tre le lagrangien d¶crivant l'interaction. Ce n'est qu'au prix d'un calcul complµtement quantique men¶ avec les techniques e e e de renormalisation qu'on peut d¶¯nir proprement la masse \habill¶e" de la particule. que l'invariance dans une translation globale dans e l'espace{temps implique que tout systµme isol¶ possµde un 4{vecteur ¶nergie impulsion qui est cone e e e serv¶. quand on mesure la masse ou l'impulsion d'une particule charg¶e. ressorts.120 CHAPITRE 3. Application aux collisions e On peut montrer. L'interaction. e e o e G¹ = dP ¹ =d¿ . Le module de l'impulsion ¶tant constant. Pour illustrer trµs briµvement l'¶tude des collisions relativistes. on pourra ¶crire e e µ e que l'impulsion globale initiale. Tout d'abord. Pour des particules en interaction (en particulier ¶lectromagn¶tique). est ¶gale µ e a la somme des impulsions ¯nales. Notons qu'avec une particule charg¶e ponctuelle. En termes de l'¶nergie et de la quantit¶ de mouvement spatiale. e e e En fait. l'impulsion globale du systµme est e e e simplement la somme des impulsions individuelles. nous ne pouvons ici qu'intuiter que la d¶riv¶e par rapport au temps propre de l'impulsion. doit en e e e e e®et ^tre v¶hicul¶e par un champ. la situation est moins simple. Dans une telle collision. les deux pare e e e ticules s'¶loignent µ nouveau l'une de l'autre et on considµre un ¶tat ¯nal oµ. la force est n¶cessairement perpendiculaire e e e e a µ l'impulsion: G¹ P ¹ = 0. L'analyse d¶taill¶e de la conservation de e e l'impulsion dans une telle situation est alors di±cile.4 Conservation de l'¶nergie{impulsion. e e e ea e Ce champ doit entrer en toute rigueur dans le bilan d'impulsion. Elles contiennent e en e®et toutes plus ou moins la notion d'interaction instantan¶e.

Il e e ee a est clair que l'¶nergie cin¶tique incidente doit ^tre su±sante pour que la r¶action soit ¶nerg¶tiquement e e e e e e possible. L'¶nergie de chacun doit donc ^tre 2mc2 et son ¶nergie cin¶tique e e e e 2 . e Le problµme est que l'¶nergie a fournir e®ectivement est celle d¶¯nie dans le r¶f¶rentiel du laboe e µ e ee ratoire. Il est clair aussi e e a e que la vitesse de RCM par rapport µ R est selon cet axe. il existe un tel r¶f¶rentiel. De maniµre ¶vidente la quantit¶ de mouvement totale n'est pas e e e e nulle. mais a ils permettent d'illustrer de fa»on simple des techniques et des concepts importants. Nous cherchons donc une transformation de Lorentz (paramµtres ¯ et °) telle que la nouvelle e 0 soit nulle. que les deux e e projectiles sont de quantit¶s de mouvement oppos¶es et que le r¶f¶rentiel du laboratoire est aussi celui e e ee du centre de masse. Il est l'analogue du r¶f¶rentiel barycentrique en m¶canique ee e e classique.22) . L'¶quation de la r¶action s'¶crit: e e e p + p ¡! p + p + p + p : (3. e Le calcul du seuil est complexe pour les r¶actions complexes. appel¶ e e ee e ee e \r¶f¶rentiel du centre de masse" RCM .21) ce qui d¶¯nit le mouvement du r¶f¶rentiel du centre de masse. Dans RCM . La premiµre chose e e ee a µ faire est de d¶terminer les ¶l¶ments de RCM par rapport au r¶f¶rentiel du laboratoire R. E + mc2 (3. dans le r¶f¶rentiel barycentrique.23) (3. Des rµgles de s¶lection quantiques ou une section e±cace insu±sante peuvent e e faire que les produits ne soient jamais observ¶s. plus anciennes. Elle est donc d¶¯nie dans un r¶f¶rentiel oµ la quantit¶ de mouvee ee u e ment totale est nulle.¶ 3. Dans ce r¶f¶rentiel. c 3. les deux protons incidents ont initialement des ¶nergies ¶gales et des ee e e e e quantit¶s de mouvement oppos¶es. e ee mc un r¶sultat assez intuitif.20) L'¶nergie minimale pour que cette r¶action puisse se produire correspond a une situation oµ toutes les e e µ u particules ¯nales seraient au repos. Ceci ne signi¯e pas n¶cessairement que la r¶action e e e e e se produise e®ectivement. Tous les mouvements s'e®ectuant e e sur l'axe projectile/cible. Dans beaucoup d'exp¶riences.1 Seuil de r¶action e La plupart des collisions r¶alis¶es dans les acc¶l¶rateurs visent µ produire de nouvelles particules. nous n'¶crirons que des quantit¶s en projection sur cet axe.4. par exemple).4. Pour tout systµme de particules mat¶rielles. on a simplement: E 0 = 2°mc2 : (3. Nous e ee noterons E et p l'¶nergie et la quantit¶ de mouvement du projectile. Il faut donc choisir: impulsion p ¯= pc . l'¶nergie minimale est donc 4mc2 (les particules et les antiparticules ont m^me masse m). est donc de mc2 pour chaque particule. On peut alors ¶crire l'¶nergie totale e ee e e e disponible dans RCM en utilisant la m^me transformation de Lorentz: E 0 = °(E + mc2 ¡ ¯pc) : En y portant l'expression de ¯ et en notant que E 2 ¡ p2 c2 = m2 c4 . Le seuil de r¶action est pr¶cis¶ment l'¶nergie cin¶tique µ fournir aux particules en collision e e e e e a pour que la r¶action soit ¶nerg¶tiquement possible. Ce n'est que dans e ee le cas des anneaux de collision (LEP pour les collisions ¶lectron/¶lectron. APPLICATION AUX COLLISIONS 121 couvrir toutes les applications de la conservation de la 4{impulsion µ la physique des particules. Le seuil de r¶action. un seul des protons est en mouvement (le projectile) e et l'autre (la cible) est immobile. p). On peut estimer le seuil de r¶action dans ce cas. CONSERVATION DE L'ENERGIE{IMPULSION. qui ne coÄ ³ncide pas n¶cessairement avec le r¶f¶rentiel du centre de masse. Nous ne consid¶rerons donc que l'une e e des plus simples des r¶actions de cr¶ation de particules: la cr¶ation d'une paire proton/antiproton par e e e collision de deux protons. Le 4{vecteur ¶nergie{impulsion total avant la collision s'¶crit donc (E=c + mc.

l'¶lectron et le photon sont di®us¶s dans des directions qui d¶pendent e e e e des d¶tails de l'interaction. L'¶lectron emportant de l'¶nergie e e e cin¶tique.25) e e Le seuil de r¶action s'obtient alors en ¶crivant que E 0 doit ^tre plus grand que 4mc2 .2. On doit comparer ce r¶sultat µ celui e e e e a obtenu quand le r¶f¶rentiel du laboratoire est aussi celui du centre de masse. Ceci explique que pratiquement toutes les grandes machines sont maintenant des anneaux de collision.26) l'¶nergie cin¶tique du projectile devant ^tre d'au moins 6mc2 . Le prix a payer est bien s^r que la densit¶ du faisceau est trµs petite devant µ u e e celle d'une cible solide: le taux de collisions est beaucoup moins grand que ce qu'on obtient en envoyant un faisceau unique sur une cible ¯xe. Toujours sans restreindre la g¶n¶ralit¶. e e e e e e On peut en¯n exprimer ° en fonction de ¯ puis de E et p: p E + mc2 1 = p p : °=p 1 ¡ ¯2 2 mc2 L'¶nergie disponible dans RCM est donc simplement: e E0 = q (3.4. Partie gauche: ¶tat initial. Aprµs quelques e e manipulations. de beaucoup.24) 2mc2 (E + mc2 ) : (3.2 E®et Compton Notre second exemple sera l'e®et Compton. on a besoin d'une ¶nergie 6 fois plus grande. Au lieu d'une ¶nergie ee e e cin¶tique par particule de mc2 . il est donc. le photon perd n¶cessairement de l'¶nergie. e µ e e comme nous le verrons. Aprµs la collision.2: Di®usion d'un photon par un ¶lectron initialement au repos. Le photon est di®us¶ avec une fr¶quence modi¯¶e et l'¶lectron est ¶ject¶. Avec une puissance e donn¶e d'acc¶l¶rateur. Sa nouvelle fr¶quence sera not¶e º 0 . la di®usion d'un photon de haute ¶nergie par un ¶lectron e e initialement immobile (ou li¶ a un atome: les ¶nergie mises en jeu dans les exp¶riences sont telles. nous pouvons supposer que les e e e e trajectoires ¯nales de l'¶lectron et du photon sont dans le plan Oxy. que l'¶nergie de liaison d'un ¶lectron dans un atome est n¶gligeable par rapport e e e a e µ l'¶nergie ¯nale de l'¶lectron di®us¶). 3. DYNAMIQUE RELATIVISTE hν' hν θ Figure 3.122 CHAPITRE 3. Nous e e e e e chercherons seulement ici µ calculer la nouvelle fr¶quence du photon en fonction de son angle de a e . Les paramµtre importants du problµme sont repr¶sent¶s sur la e e e e e e ¯gure 3. (3. on voit que le seuil s'¶crit: e E > 7mc2 . Sans restreindre la g¶n¶ralit¶. pr¶f¶rable de travailler avec des collisions entre deux e ee ee particules en mouvement. le photon de fr¶quence º et d'¶nergie hº est incident dans la direction e e e e e de l'axe Ox. Partie droite: ¶tat e e e ¯nal.

la modi¯cation de fr¶quence due au \recul" de l'¶lectron est tout µ fait n¶gligeable.32) 0 P + P ¡ 2P ¢ P 2 02 = Q + Q ¡ 2Q ¢ Q : (3. Pour calculer º 0 e e e e e en fonction de µ. Pour des photons visibles. par µ e e exemple. appel¶e longueur d'onde de Compton de l'¶lectron. la e e u c e simple application de la conservation de l'impulsion relativiste permet d'expliciter ce calcul4 . L'e®et photo¶lectrique. qy ) : 0 0 (3.37) ¸0 ¡ ¸ = ¸c (1 ¡ cos µ) . qx .4.27) 0 = (hº =c. sans doute. e e e Notons que la mise en ¶vidence de l'e®et Compton et l'accord quantitatif avec la loi que nous allons d¶montrer e e a constitu¶. e Les 4{impulsions du photon avant et aprµs la collision seront not¶es P et P0 . hº =c sin µ) = (E=c. CONSERVATION DE L'ENERGIE{IMPULSION. De fa»on trµs remarquable. dans le produit scalaire Q ¢ Q0 .36) (3. qy repr¶sentent l'¶nergie et la quantit¶ de mouvement de l'¶lectron di®us¶. De plus Q2 = Q02 = m2 c2 oµ m est la e masse de l'¶lectron.¶ 3. nous pourrons ¶crire: e e P = (hº=c. d'oµ on d¶duit ¯nalement u e e e e ¸ = c=º et ¸0 = c=º 0 ¶tant les longueurs d'ondes associ¶es au photon avant et aprµs la collision. La loi de conservation de l'¶nergie{ ae e impulsion s'¶crit: e (3. P2 = P02 = 0.28) (3. le produit des composantes spatiales est e e nul et il ne reste que le produit des composantes temporelles: Q ¢ Q0 = ¡2mE.33) u Le photon ¶tant une particule de masse nulle. C'est en e®et la seule quantit¶ accessible dans les exp¶riences: l'¶lectron est rapidement e e e di®us¶ et son ¶nergie amortie par le milieu oµ se produit la di®usion. une des premiµres preuves indiscutables de l'existence du photon. 0) . nous allons chercher µ ¶liminer ces inconnues. P 0 0 (3. 0) Q Dans les ¶quations pr¶c¶dentes. On notera de m^me e e 0 les impulsions initiale et ¯nale de l'¶lectron. Quand e e a e nous ¶tudierons la di®usion de rayonnement par un atome nous n¶gligerons complµtement cet e®et.31) P + Q = P0 + Q0 : On en d¶duit imm¶diatement: e e (P ¡ P0 )2 = (Q ¡ Q0 )2 0 2 02 (3. e e e e E et qx . nous n'avons ¶crit que les composantes spatiales dans le plan Oxy. hº =c cos µ. peut en e®et ^tre d¶crit dans une th¶orie semi{classique couplant un e e e champ ¶lectromagn¶tique classique µ un d¶tecteur quanti¯¶.29) (3. e e a e e 4 . On en d¶duit: h2 ºº 0 (1 ¡ cos µ) = m(E ¡ mc2 ) : c2 La simple conservation de l'¶nergie assure alors que: e hº + mc2 = hº 0 + E . En¯n. (3. La e e longueur ¸c . hº=c. s'il e e e est parfaitement explicable en termes de photons. En nous souvenant que la quantit¶ de mouvement e e Q et Q spatiale de l'¶lectron est hº=c. 0. APPLICATION AUX COLLISIONS 123 di®usion µ. vaut: ¸c = h = 2: 10¡11 m : mc (3.35) (3. c'est a dire de trµs haute ¶nergie.34) La trµs petite valeur num¶rique de cette quantit¶ fait que l'e®et n'est notable que pour des photons e e e incidents de courte longueur d'onde.30) Q = (mc.

124 CHAPITRE 3. DYNAMIQUE RELATIVISTE .

elle ne modi¯e pas notablement le champ ni la dynamique des particules \sources". Nous ¶tablirons ainsi la transformation des champs ¶lectromagn¶tiques dans un changement e e e de r¶f¶rentiel. SChamp Libre repr¶sente l'action e e d¶crivant le champ seul. Nous allons d'abord consid¶rer une particule unique e ee e e e en pr¶sence d'un champ impos¶. nous allons proc¶der en deux temps. L'¶criture en termes de quantit¶s explicitement covariantes nous ee e e e fournira des r¶sultats nouveaux. Nous supposons donc qu'un grand ensemble de particules cr¶e un e e e champ qui agit sur une particule test. en l'absence de toutes particules. L'action totale pour ce systµme peut a priori se d¶composer e e e e sous la forme: (4. Nous pourrions bien s^r supposer connues les ¶quations e e e u e de Maxwell et montrer directement qu'elles s'insµrent sans di±cult¶s dans un cadre relativiste. En d'autres termes. comme on le fait souvent dans e e les expos¶s ¶l¶mentaires d'¶lectromagn¶tisme. Nous e e allons en fait proc¶der d'une fa»on beaucoup moins directe. d'autre part la pr¶sence e du champ modi¯e la trajectoire des particules. Si cette particule \test" est su±samment petite. nous isolerons des invariants scalaires form¶s a partir des champs. Les seules variables dynamiques dans ce cas sont donc celles de la particule libre. Nous allons chercher e c a e µ ¶crire l'interaction relativiste non triviale entre des particules par l'interm¶diaire d'un champ de e vecteurs. oµ SParticules Libres repr¶sente l'action des particules en l'absence de champ (une simple collection u e e de particules libres si on n¶glige toute autre forme d'interaction). e e e 125 . Nous aurons donc pu d¶duire les e e e ¶quations de Maxwell d'une approche lagrangienne trµs g¶n¶rale. Bien s^r. En¯n. Nous constaterons e e en¯n que ces ¶quations ont la forme des ¶quations de Maxwell. Nous verrons que ces formes sont en e®et tout µ fait e a naturelles. e e e e Nous aurons montr¶ ¶galement que l'¶lectromagn¶tisme est la plus simple des th¶ories de champ ee e e e vectorielles dans le cadre de la relativit¶. Nous pourrons en¯n ¶tablir des bilans d'¶nergie{ e e impulsion pour le champ qui nous permettront de jeter une lumiµre nouvelle sur des ph¶nomµnes bien e e e connus. di±ciles ou impossibles a ¶tablir dans le cadre de l'¶lectromagn¶tisme e µe e e classique. la e th¶orie de champ la plus simple qui ne soit pas triviale. dont nous montrerons ee e µ qu'ils ont une signi¯cation physique importante. Pour aborder ce problµme. nous ne nous contenterons pas dans ce chapitre de e u r¶¶crire des ¶quations bien connues. les valeurs du champ ¶tant des quantit¶s impos¶es.1) S = SParticules Libres + SChamp Libre + SInteraction . Nous d¶duirons alors de ces actions des ¶quations de Lagrange qui d¶crivent la dynamique e e e des particules coupl¶es au champ et la dynamique du champ coupl¶ aux particules. dans le cadre de la relativit¶. Nous postulerons pour cela la forme des e actions associ¶es aux particules et au champ. comme la pression de radiation ou m^me la force de Coulomb ¶lectrostatique. nous allons tenter de construire. e e Notre systµme sera donc constitu¶ d'un ensemble de particules en interaction avec un champ e e repr¶sent¶ par un champ de 4{vecteurs.Chapitre 4 Electromagn¶tisme relativiste e Nous d¶sirons traiter maintenant de fa»on relativiste l'interaction entre particules charg¶es par l'ine c e term¶diaire d'un champ ¶lectromagn¶tique. mais plus profonde. SInteraction repr¶sente l'interaction e entre particules et champ: d'une part les particules sont la source du champ.

la ligne d'univers de la particule serait simplement la droite joignant a et b. ee Dans un deuxiµme temps. Ce tenseur pouvant a e ^tre exprim¶ a partir de deux champs de vecteurs.4) oµ v est la vitesse tridimensionnelle de la particule dans R. Nous repr¶senterons les mouvements de ces particules par des densit¶s de e e e charges et de courants et nous postulerons une forme simple pour SChamp Libre . c'est µ dire d'un tenseur de rang deux antisym¶trique. La e e e e e derniµre partie de ce chapitre sera alors consacr¶e a l'exploitation de ces r¶sultats. L'interaction entre le champ et la particule doit ^tre repr¶sent¶e par l'int¶grale e e e e d'une quantit¶ scalaire sur la ligne d'univers entre les ¶v¶nements limites a et b. (4. r¶soudre tout problµme d'¶lectromagn¶tisme. nous consid¶rerons un champ en interaction avec des particules dont e e la dynamique est impos¶e. L'action d¶crivant e e e e la particule libre s'¶crit simplement e SParticules Libres = ¡mc Z b a ds . comme au chapitre pr¶c¶dent. En ¶crivant les propri¶t¶s du rotationnel relativiste. Pour des raisons qui appara^ le champ A \potentiel".1. il faut comprendre. A).1 4. les ¶quations de Maxwell faisant intervenir les sources. au moins en principe. On retrouve bien lµ la forme du lagrangien u a d'interaction avec une particule charg¶e obtenu dans le premier chapitre de la premiµre partie de ce e e . Dans l'expression de l'action d'interaction. nous nommerons e noterons A¹ (xº ) = (V =c.126 ¶ CHAPITRE 4. Nous y ¶tablirons e e µ e e en particulier les bilans d'¶nergie{impulsion pour le champ. que la ligne d'univers de la particule est param¶tr¶e par son temps e e e e ¹ est en fait ¶gal a (dx¹ =d¿ )d¿ . (4. Nous verrons en e®et que le seul champ de vecteurs introduit (qui n'est autre que la version relativiste du potentiel vecteur) intervient dans la force sous la forme de son rotationnel. En u e e e e µ l'absence de champ. Nous e e aurons alors termin¶ notre programme: en combinant les ¶quations d¶crivant la dynamique des pare e e ticules dans un champ impos¶ et les ¶quations d¶crivant la dynamique du champ sous l'action de e e e courants impos¶s. e 4.2) oµ a et b sont deux ¶v¶nements d¶crivant les conditions aux limites impos¶es a la particule. e µ propre ¿ et que dx Nous pouvons tout de suite nous rassurer sur la pertinence de ce lagrangien d'interaction. (4. Nous obtiendrons alors. nous obtiendrons e µ e ee des relations entre ces deux champs qui se trouveront coÄ ³ncider avec le groupe des ¶quations de e Maxwell homogµnes. dont nous verrons qu'elles redonnent e e e l'expression attendue pour la force de Lorentz.1 Particule libre dans un champ impos¶ e Equations de Lagrange Nous consid¶rons donc ici une particule de masse m plong¶e dans un champ impos¶. en particularisant pour un instant un r¶f¶rentiel R et en e d¶veloppant le produit scalaire.3) oµ q est une quantit¶ scalaire repr¶sentant l'intensit¶ du couplage de la particule au champ que nous u e e e nommerons simplement \charge". nous retrouverons que l'¶lectromagn¶tisme est e e µ e e une th¶orie a deux champs. comme ¶quations de Lagrange. Nous postulerons que le champ peut ^tre repr¶sent¶ par un champ unique de 4{vecteurs que nous e e e ³tront ¶videntes plus tard. ELECTROMAGNETISME RELATIVISTE Nous pourrons alors ¶crire ais¶ment les ¶quations de Lagrange. on met l'action d'interaction sous la forme: e SInteraction = ¡q Z b a (V ¡ v ¢ A) dt . Notons en¯n que nous pourrons dµs ce point ¶tablir la forme des changements e e e de r¶f¶rentiels pour les champs. En ee ¶crivant que (dx¹ =d¿ )d¿ = U ¹ d¿ = U ¹ dt=°. on peut. La quantit¶ la plus e e e e simple non triviale que nous puissions former est donc: SInteraction = ¡q Z b a A¹ dx¹ .

¶ 4. s'¶crit donc @ ¹ Aº ±x¹ dxº . sur la trajectoire de r¶f¶rence.1). La variation de l'action de la particule libre s'obtient comme au chapitre pr¶c¶dent. µ condition bien s^r d'assimiler la composante temporelle du potentiel au potentiel scalaire de a u l'¶lectromagn¶tisme et ses composantes spatiales au potentiel vecteur. La variation ±A¹ du potentiel quand on passe de la e e trajectoire de r¶f¶rence a la trajectoire vari¶e s'¶crit ±A¹ = @ º A¹ ±xº . dxº = (dxº =d¿ )d¿ = U º d¿ . oµ U º est ee u la 4{vitesse. aprµs une ee µ e e permutation sans cons¶quences des indices muets.1. puisque les trajectoires e e e coÄ ³ncident aux extr¶mit¶s. e Comme dans le chapitre pr¶c¶dent (on se reportera en particulier µ la ¯gure 3. ¸ (4. En ¶crivant e e e la variation de l'intervalle ¶l¶mentaire et en se livrant a la traditionnelle int¶gration par parties. Le potentiel ¶tant une fonction de l'¶v¶nement auquel il est estim¶.11) .7) Le terme tout int¶gr¶ de l'int¶gration par parties est identiquement nul. PARTICULE LIBRE DANS UN CHAMP IMPOSE 127 cours.9) Revenons maintenant au premier terme.5) ±x d¿ : ±SParticule Libre = d¿ a Calculons maintenant la variation de l'action d'interaction: ±SInteraction = ¡q± = ¡q Z b a a Z b A¹ dx¹ ¹ [±A¹ ] dx ¡q Z b a A¹ ±dx¹ . La parenthµse dans l'int¶grale restante repr¶sente l'accroissement dA¹ e e e e e du potentiel quand on passe d'une extr¶mit¶ a l'autre d'un ¶l¶ment di®¶rentiel de la trajectoire de e e µ ee e r¶f¶rence. Les deux trajectoires sont param¶tr¶es par le temps propre de la trajectoire c e e e de r¶f¶rence et on se reportera au chapitre pr¶c¶dent pour une description des ¶l¶ments di®¶rentiels ee e e ee e importants. Le terme a int¶grer. nous pourrons ¶crire: ee e e e e e dA¹ = @ º A¹ dxº : Le deuxiµme terme s'¶crit donc: e e q Z b a (4. La variation de l'action e e d'interaction peut donc ¯nalement s'¶crire: e ±SInteraction = q Z b a [@ º A¹ ¡ @ ¹ Aº ] ±x¹ dxº : (4. Le deuxiµme terme repr¶sente pour sa e ee e e part la variation de l'action due µ la modi¯cation de g¶om¶trie de la trajectoire µ potentiel constant. a e e a Traitons d'abord le deuxiµme terme.10) En remarquant ¯nalement que.6) oµ le premier terme repr¶sente la variation due au fait que la trajectoire vari¶e n'¶chantillonne pas u e e e le potentiel aux m^mes points que la trajectoire de r¶f¶rence. C'est µ la justi¯cation d¶taill¶e e e a e e de cette assimilation que nous allons proc¶der maintenant. On a en fait e ¡q Z b a A¹ ±dx¹ = ¡q Z b a A¹ d±x¹ d¿ d¿ = [¡qA¹ ±x¹ ]b + q a Z b µ dA¹ a d¿ d¿ ±x¹ : ¶ (4. on considµre e e a e entre a et b la trajectoire e®ectivement suivie (trajectoire de r¶f¶rence) et une trajectoire vari¶e de ee e fa»on in¯nit¶simale. on peut ¶crire la variation totale de l'action sous la forme: e ±S = Z b ∙ dP ¹ a d¿ ¡ G¹ ±x¹ d¿ . (4.8) @ º A¹ dxº ±x¹ : (4. on ee µ e trouve: Z b dP ¹ ¹ (4.

13) la quantit¶ G¹ n'¶tant autre que la 4{force que nous avions pressentie au chapitre pr¶c¶dent.2 Tenseur champ ¶lectromagn¶tique e e F ¹º est par d¶¯nition un tenseur antisym¶trique de rang 2. Les ¶quations de mouvement s'¶crivent donc: e e dP ¹ = G¹ . Nous appellerons tenseur champ ce e e e rotationnel et nous poserons: (4.16) F 13 = By F 23 = ¡Bx . d¿ (4. en introduisant le pseudo{vecteur \champ magn¶tique" e B= r£A (4. c en posant @A : (4. qui est un tenseur de rang deux.14) F ¹º = @ ¹ Aº ¡ @ º A¹ : La force a laquelle est soumise la particule s'¶crit alors simplement: µ e G¹ = qF ¹º U º et n'est pas autre chose que la contraction du tenseur champ avec la vitesse de la particule.21) De maniµre toute naturelle.20) (4. u e e Nous pouvons de m^me mettre les composantes purement spatiales du tenseur champ sous la e forme: E = ¡rV ¡ F 12 = ¡Bz (4. ELECTROMAGNETISME RELATIVISTE G¹ = q [@ ¹ Aº ¡ @ º A¹ ] U º : (4. On peut ¶crire les composantes spatio{temporelles sous la forme: e F 0i = @ 0 Ai ¡ @ i A0 1 @Ai ¡ @iV ) = (¡ c @t Ei = .1.19) (4. (4. le 4{rotationnel du potentiel (V =c. Il ne e e d¶pend donc que de six coordonn¶es ind¶pendantes. Notons e e e e que cette ¶quation 4{vectorielle contient aussi bien la variation de l'¶nergie de la particule que celle e e de sa quantit¶ de mouvement.17) @t Nous nommerons bien s^r \champ ¶lectrique" le vrai vecteur spatial ainsi d¶¯ni.12) Les ¶quations de Lagrange s'obtiennent alors imm¶diatement.128 avec ¶ CHAPITRE 4.18) (4. ¶crit ici sous sa forme complµtement covariante. antisym¶trique. µ e e . La variation de l'action ne peut e e s'annuler au premier ordre dans les ¶carts entre les trajectoires que si tous les coe±cients des ±x¹ e sont identiquement nuls. notre th¶orie de champ d¶crite par un 4{vecteur potentiel s'exprime en e e e fonction de deux champs et ressemble de plus en plus a l'¶lectromagn¶tisme de Maxwell.15) 4. A). alors que les trois coordonn¶es purement spatiales forment les e composantes d'un pseudo{vecteur. Les trois coordonn¶es spatio{temporelles forment e e e e les composantes d'un vecteur spatial. e La force s'exprime en fonction du rotationnel du potentiel.

la \jauge de Lorentz". e La plus naturelle. sous forme complµtement contravariante: e Ey =c Ez =c ¡Bz By C C . En exprimant cette u transformation en termes des composantes spatiales et temporelles du potentiel.26) Notons que la jauge de l'¶lectrostatique.25) Pour lever l'ambiguÄ e sur le potentiel.23) oµ © est un champ de 4{scalaires arbitraire. ee 4. L'¶quation du mouvement de la particule (qui a seule un sens physique non e ambigu) est inchang¶e si nous ajoutons au 4{potentiel un 4{gradient arbitraire (il est ais¶ de v¶ri¯er e e e que le 4{rotationnel d'un champ de 4{gradient est identiquement nul). nous pouvons imposer une condition de jauge suppl¶mentaire. nous allons exprimer la e e force tridimensionnelle subie par la particule charg¶e dans un r¶f¶rentiel donn¶ en fonction des champs e ee e ¶lectriques et magn¶tiques. ou jauge de Coulomb.28) = °( . elle est a proscrire quand s'imposent e e ee e µ des changements de r¶f¶rentiel.29) .¶ 4. brise la covariance. est d'imposer la nullit¶ de la 4{divergence du potentiel: e @ ¹ A¹ = 0 . l'¶quation de la dynamique e e ee e s'¶crit: e dE=c dp dP ¹ (4. Si elle e peut ^tre employ¶e sans restriction dans un r¶f¶rentiel donn¶. r ¢ A = 0. ³t¶ e Pour respecter l'invariance relativiste. ¡ ) = qF ¹º U º . En fonction du temps t dans le r¶f¶rentiel R.22) F ¹º L'invariance de jauge est contenue dans la d¶¯nition m^me du tenseur champ ¶lectromagn¶tique e e e e en fonction du potentiel. ° dt dt dt oµ E est l'¶nergie totale de la particule et p sa quantit¶ de mouvement tridimensionnelle. on trouve: dE = qE ¢ v . qui s'¶crit en termes des composantes spatiales et temporelles: e 1 dV +r¢A=0 : c2 dt (4. (4.1. nous retrouvons la forme standard de la transformation de jauge: A ¡! A ¡ r© @© : V ¡! V + @t (4. dt (4. cette condition de jauge se doit d'^tre manifestement covariante.3 Force de Lorentz Pour nous rapprocher encore de l'¶lectromagn¶tisme sous sa forme classique. 0 ¡Bx A Bx 0 1 1 (4.24) 0 ¡Ex =c ¡Ey =c ¡Ez =c B Ex =c 0 ¡Bz By C C : =B @ Ey =c Bz 0 ¡Bx A Ez =c ¡By Bx 0 (4.1. La transformation \de jauge" A¹ ¡! A¹ + @ ¹ © . En d¶veu e e e loppant le dernier terme (qui peut s'¶crire simplement comme un produit matriciel) et en isolant les e composantes temporelles et spatiales. laisse invariante la dynamique.27) (4. PARTICULE LIBRE DANS UN CHAMP IMPOSE On peut ¶crire F sous forme matricielle: e 0 Ex =c B ¡Ex =c 0 =B @ ¡Ey =c Bz ¡Ez =c ¡By 0 0 129 F ¹º ou encore.

un champ magn¶tique est utilis¶ pour con¯ner les particules au voisinage d'une ee e e trajectoire circulaire. qui doit e ee type de dispositif est en partie d^ µ cet e®et ua ^tre adapt¶e a la fr¶quence cyclotron. µ titre d'application et d'exemple. e En particulier. e e e u e E et p sont des quantit¶s relativistes (E = m°c2 et p = m°v). cet e®et est la principale limitation au rayon des acc¶l¶rateurs. dans un r¶f¶rentiel particulier R et nous ee abandonnerons donc la covariance manifeste. avec un rayon e e R = m°v=qB oµ v est le module de la vitesse perpendiculaire au champ magn¶tique. Pour des particules l¶gµres (¶lectrons). pour des particules ultra{ relativistes. e e e Comme la force de Lorentz est la premiµre force que nous ayons explicit¶e dans le cadre relativiste. qui constitue un test s¶vµre de l'¶lectrodynamique quantique. par un champ radiofr¶quence convenable. De plus. la trajectoire est une h¶lice admettant le champ magn¶tique pour axe. sur un ¶lectron unique. la forme standard de la force de Lorentz. La dynamique de la particule est donc e en g¶n¶ral di®¶rente de la dynamique classique. Le facteur ° fait que le rayon de ces trajectoires est. dans ces ¶quations. Les ¶nergies mises en jeu n'¶tant que d'une fraction e e a e e d'¶lectron{volt. Dans de nombreux e types d'acc¶l¶rateurs. Notons aussi que les acc¶l¶rateurs e e e ee ee lin¶aires ¶chappent a ces deux types de limitations. le e facteur ° induit n¶anmoins des complications techniques dans les applications. ELECTROMAGNETISME RELATIVISTE oµ v est la vitesse de la particule dans R et u dp = q(E + v £ B) : (4. beaucoup plus grand que ce que pr¶dit la m¶canique classique. e e µ 1 . dans ce paragraphe et le suivant.130 ¶ CHAPITRE 4. on pourra juger de la sensibilit¶ de l'exp¶rience. dans un r¶f¶rentiel donn¶. conform¶ment µ la loi relativiste.30) dt On retrouve ainsi. doit ^tre ajust¶e pendant toute la phase d'acc¶l¶ration pour e e µ e e e ee tenir compte de la variation de ce facteur relativiste. L'encombrement de ce e e 1 . ¶tudier en d¶tail le mouvement d'une particule charg¶e a e e e dans un champ magn¶tique ou ¶lectrique uniforme. Ils e e e e ont ainsi mesur¶ avec une pr¶cision remarquable. le facteur ° est une constante e e et l'¶quation du mouvement s'¶crit simplement: e e dv = qv £ B : (4. Hans e e e e e e e Dehmelt et ses collaborateurs (Universit¶ de Seattle) ont ¶tudi¶ des ¶lectrons con¯n¶s dans un piµge e e e e e e constitu¶ d'un champ magn¶tique et d'un champ quadripolaire ¶lectrique (piµge de Penning). e e nous allons. le mouvement cyclotron de e e l'¶lectron. Champ magn¶tique uniforme e Nous nous placerons. Une des ¶tapes e e e e e de l'exp¶rience est d'exciter. la pulsation du u e mouvement circulaire uniforme dans le plan perpendiculaire a B (pulsation cyclotron) ¶tant: µ e qB : (4. e Le champ magn¶tique ne modi¯ant pas l'¶nergie totale de la particule. Notons que cette \contraction" relativiste de la fr¶quence cyclotron peut ^tre mise en ¶vidence e e e m^me pour des ¶lectrons de trµs basse ¶nergie. plus elle perd d'¶nergie e ee ee e e par rayonnement. la fr¶quence des champs acc¶l¶rateurs. Dans une trµs spectaculaire s¶rie d'exp¶riences. On trouve ee e aussi que la variation d'¶nergie est entiµrement due au champ ¶lectrique. Nous verrons ainsi comment la nature e e relativiste du mouvement modi¯e la dynamique et nous pourrons jeter un regard nouveau sur la notion de vitesse limite. avec la simple substitution de la masse m par °m. Nous consid¶rerons le mouvement d'une particule dans e un champ magn¶tique B uniforme et constant. Dehmelt a pu observer que la fr¶quence de r¶sonance cyclotron se d¶place avec l'¶nergie e e e e e de l'¶lectron. e e e !c = Un autre e®et important limite la compacit¶ des acc¶l¶rateurs: plus une particule est acc¶l¶r¶e.32) m° S'il n'y a pas de di®¶rence qualitative entre le mouvement relativiste et le mouvement classique. statique. Nous discuterons de ce \rayonnement de freinage" dans un prochain chapitre. le c¶lµbre \facteur gyroe e e ee magn¶tique anormal".31) °m dt Elle est donc la m^me que dans le cas non relativiste. Bien s^r.

Aux temps longs. Dans l'expression pr¶c¶dente. On trouve alors e e x= 1 qEt2 . que la rapidit¶ de la particule continue. Nous poserons. (4. L'¶quation de la dynamique.37) ¡ 15 .1. Pour simpli¯er l'algµbre. Le calcul ne pr¶sente aucune e di±cult¶ de principe. On d¶duit alors de ce qui pr¶cµde: e e e x= p _ x= mc2 qE 2s 4 V . e e e il est ¶vident que le mouvement s'e®ectue le long de cet axe. pour a e sa part. Le champ ¶tant un champ de tenseur. s'¶crit alors: e d° x _ = qE : (4. Il faut toutefois prendre garde que le produit de \tenseurs" au second membre e ne peut ^tre calcul¶ directement comme un produit de leurs trois repr¶sentations matricielles. x tend e ee e simplement vers ct: la vitesse de la particule tend vers la vitesse de la lumiµre.¶ 4. e e 4. PARTICULE LIBRE DANS UN CHAMP IMPOSE Champ ¶lectrique uniforme e 131 Nous consid¶rerons maintenant le mouvement d'une particule dans un champ ¶lectrique uniforme et e e constant. L peut d¶crire e e e n'importe quel ¶l¶ment du groupe de Lorentz le plus g¶n¶ral. ee e e Nous pr¶ciserons maintenant les nouvelles valeurs du champ pour une transformation sp¶ciale de e e Lorentz avec les conventions habituelles pour l'orientation des axes.38) F 0¹º (x0® = L® ¯ x¯ ) = L¹ ½ Lº ¾ F ½¾ (x¯ ) .4 Changements de r¶f¶rentiels pour le champ ee La formulation explicitement relativiste du tenseur champ ¶lectromagn¶tique nous permet d'¶crire e e e sans di±cult¶s la loi de transformation des champs dans un changement de r¶f¶rentiel. (4. On tire u e de cette ¶quation imm¶diatement: e e qEt °x = _ . en revanche.35) qui s'int¶gre ais¶ment en e e 1+ qEt mc a µ condition de prendre x = 0 comme condition initiale. pour all¶ger les notations. nous prendrons comme condition e initiale une particule au repos.34) m la valeur initiale de cette quantit¶ ¶tant nulle par convention. ee e V = qEt=m (notons que V serait la vitesse de la particule si nous ne tenions pas compte des corrections relativistes au mouvement). Il faut bien s^r estimer le champ dans les deux e e e u r¶f¶rentiels pris au m^me ¶v¶nement et donc µ des coordonn¶es spatio{temporelles qui se d¶duisent ee e e e a e e les unes des autres dans une transformation de Lorentz. projet¶e e e e sur Ox. Le champ ¶lectrique ¶tant par convention orient¶ le long de l'axe Ox. bien s^r. 2m (4. u e e ee e il est une fonction de l'¶v¶nement auquel il est estim¶. µ cro^ ind¶¯niment. sans trop restreindre la physique.33) m dt Dans ce cas.36) mouvement uniform¶ment acc¶l¶r¶ de la dynamique classique. On pourra montrer. µ titre d'exercice. comme nous pouvions e nous y attendre. Nous aurons e ee en e®et: (4. l'¶nergie de la particule et donc le facteur ° ne sont pas des constantes. La g¶n¶ralisation de ce calcul a trois dimensions ne pose aucune autre a ³tre e e e µ di±cult¶ qu'alg¶brique.1. 1 + V 2 =c2 µ ¶2 3 (4. oµ les quantit¶s prim¶es sont relatives au nouveau r¶f¶rentiel. Les deux e e e . la vitesse de la particule est faible et on peut d¶velopper e l'expression pr¶c¶dente au premier ordre en qEt=mc. Pour des temps su±samment petits.

Lµ encore. e Donnons dµs maintenant une application de cet invariant. nous n'avions fait que retrouver les caract¶ristiques essentielles de l'¶lectromagn¶tisme (il n'est peut-^tre e e e e plus utile de cacher que notre th¶orie de champ est bien l'¶lectromagn¶tisme). Si. fort utiles. gr^ce e e e a a µ la formulation manifestement covariante.39) (4. De m^me. e On peut obtenir une approximation galil¶enne a la loi de transformation des champs en ne gardant e µ que l'ordre le plus bas en u=c dans les ¶quations pr¶c¶dentes.41) (4. Interviennent e e des composantes spatio{temporelles et des composantes spatiales.42) (4. Echanger ces axes revient a changer l'orientation de l'espace et donc le signe de B qui est un e e µ pseudo-vecteur.132 ¶ CHAPITRE 4. sous forme vectorielle: e e e E0 = E ¡ B £ u E£u B0 = B + : c2 (4. Nous ne chercherons pas syst¶matiquement tous les invariants possibles. nous obtenons ici. nous allons ajouter des r¶sultats nouveaux a e e a e µ l'¶lectromagn¶tisme standard. un r¶sultat nouveau et fort important. il n'en existe que deux qui pr¶sentent un int¶r^t physique3 . on arrive aux lois suivantes pour les transformations des composantes des e champs ¶lectriques et magn¶tiques: e e 0 Ex = Ex 0 Ey 0 Ez 0 Bx (4.47) F ¹º F ¹º : Cette quantit¶ est manifestement un 4{scalaire et donc un invariant du champ. Dans un r¶f¶rentiel R. Ecrivons{la en termes e des champs ¶lectriques et magn¶tiques pour en comprendre la signi¯cation physique.46) 4. ELECTROMAGNETISME RELATIVISTE derniers termes correspondent en e®et µ une sommation sur deux indices colonne.45) (4.48) F ¹º F ¹º = 2 (c2 B 2 ¡ E 2 ) : c La quantit¶ c2 B 2 ¡ E 2 est donc un invariant du champ.1. De telles e e µ quantit¶s seront en e®et conserv¶es dans un changement de r¶f¶rentiel et constitueront des invariants e e ee du champ ¶lectromagn¶tique. La contribution des composantes e spatio{temporelles est manifestement 2F 0i F 0i (en e®et les deux termes se d¶duisant l'un de l'autre par permutation des indices sont manifestement ¶gaux en raison de l'antisym¶trie de F ) ou encore e e 2 =c2 . jusqu'alors. e ee Formons d'abord la quantit¶: e (4.5 Invariants du champ ¶lectromagn¶tique e e On peut se poser le problµme de former des quantit¶s 4{scalaires a partir du tenseur champ. On peut mettre le a calcul sous la forme de produits matriciels standard en e®ectuant les transpositions n¶cessaires.40) (4. e e e En fait. Les modules du champ ¶lectrique et du champ magn¶tique sont reli¶s e e e e e On notera que ces expressions ne sont pas invariantes par ¶change de y et z. consid¶rons une e ee e onde ¶lectromagn¶tique plane.44) = °(Ey ¡ c¯Bz ) = °(Ez + c¯By ) = Bx Ez ) c Ey = °(Bz ¡ ¯ ) : c 0 By = °(By + ¯ 0 Bz La transformation inverse s'obtient trivialement en changeant le signe de ¯ 2 . Ceci n'est en rien contradictoire avec e la sym¶trie du problµme. Aprµs e e quelques lignes d'algµbre. On obtient alors. 3 On montrera en particulier que le d¶terminant de F ¹º est proportionnel au carr¶ de notre second invariant e e 2 . les composantes spatiales font intervenir le carr¶ scalaire du champ magn¶tique ¡2E e e e et on a en¯n: 2 (4.43) (4.

Rappelons rapidement que les ¶l¶ments de u e e ee ce tenseur valent +1 si les quatre indices sont une permutation paire de (0. E et B sont alors perpendiculaires et leurs modules sont ee e dans un rapport c. En fait. Dans un autre r¶f¶rentiel. consid¶rons une onde plane.¶ 4. 3). il y a donc 8 e termes identiques. cette invariance pourrait ^tre ¶tablie. ½.49) oµ ² est le tenseur complµtement antisym¶trique de rang 4. e e Le produit scalaire des champs ¶lectriques et magn¶tiques est donc invariant dans un changement e e de r¶f¶rentiel (bien s^r. nous obtenons en e®et un terme identique en e e ¶changeant ¹ et º et/ou ½ et ¾ (le tenseur antisym¶trique et le tenseur champ concern¶s changent e e e tous les deux de signe). ils sont donc encore perpendiculaires avec des modules ee dans un rapport c.1. A trois µ dimensions. Dans ee un r¶f¶rentiel. Donnons tout de suite une application de cette propri¶t¶. Nous avons donc e e F ¹º = @ ¹ Aº ¡ @ º A¹ : On en d¶duit imm¶diatement: e e @ ½ F ¹º = @ ½ @ ¹ Aº ¡ @ ½ @ º A¹ (4. Nous allons maintenant ¶tablir ee e e la propri¶t¶ correspondante µ quatre dimensions. Au total. (4. les op¶rations de permutations µ e e a l'int¶rieur des paires ainsi permut¶es peuvent ^tre e®ectu¶es sans changer la valeur. cette propri¶t¶ impliquerait la nullit¶ de sa divergence.50) un r¶sultat particuliµrement simple. 0 dans tous les autre cas. Ensuite.1. En ¶crivant cette propri¶t¶ en termes des champs ee a e ee ¶lectriques et magn¶tiques. º) et la seconde (½. Nous introduisons e e e e ainsi quatre nouvelles permutations des indices donnant la m^me valeur.52) . il n'y a que trois termes di®¶rents. nous obtenons un terme identique en ¶changeant e e la premiµre paire (¹.3 et 3. On trouve ¯nalement: ²¹º ½¾ F ¹º F ½¾ = ¡8E ¢ B=c . 1.6 Premier groupe d'¶quations de Maxwell e Il nous reste a tirer parti du fait que le tenseur champ est le rotationnel du potentiel. directement ee u e e e e a µ partir des lois de transformation). correspondant µ un ensemble d'indices (par exemple 0.2.51) 4 @ ¹ F º ½ = @ ¹ @ º A½ ¡ @ ¹ @ ½ Aº Qui se trouve ^tre ¶galement une onde plane. (4. e Cette permutation des deux paires peut s'e®ectuer avec quatre permutations des indices. De plus.0. e e @ º F ½¹ = @ º @ ½ A¹ ¡ @ º @ ¹ A½ (4. Dans un autre r¶f¶rentiel. e e e Le calcul de ces trois termes est alors trivial a partir de l'expression de F (² valant +1 pour la premiµre µ e permutation et -1 pour les deux autres). Il n'y a donc dans cet invariant que 24 termes non nuls. ¾ donn¶e.2.3) et aux deux maniµres e a e d'¶changer un terme de la premiµre paire et un terme de la deuxiµme (dans ce cas 2.1. e µ Si nous consid¶rons une permutation ¹. ces termes sont ¶gaux 8 a 8. de maniµre assez p¶nible. L'invariant du champ consid¶r¶ est donc nul. En e®et les termes en tenseur champ ne changent pas.1. 4. 2. sans pr¶juger ee ee e de la structure du champ4 . -1 si ils constituent une permutation impaire. PARTICULE LIBRE DANS UN CHAMP IMPOSE 133 par E = cB. Elle ne change pas non plus la valeur du tenseur antisym¶trique. Le deuxiµme invariant que nous allons former s'¶crit: e e ²¹º ½¾ F ¹º F ½¾ . on aura aussi E 0 = cB 0 .0). º. Il y a donc au total quatre permutations de ce type et 4 termes identiques dans le d¶veloppement de notre invariant.1. nous ¶tablirons des relations di®¶rentielles entre eux qui ne seront autres e e e e que les deux ¶quations de Maxwell homogµnes. Comme nous n'avons manifestement que 24 termes non nuls. ¾).

2. on obtient imm¶diatement: e e @ ½ F ¹º + @ º F ½¹ + @ ¹ F º ½ = 0 : (4. tous les F sont nuls et l'¶quation est un e truisme. Pour ¶viter toute di±cult¶ ou le recours a un formalisme complexe nous ¶luderons le problµme e e µ e e en nous pla»ant. L'¶quation n'est non triviale que si les trois indices e e sont di®¶rents et il ne reste donc que quatre ¶quations ind¶pendantes. nous risquons bien s^r d'obtenir des ¶quations de Lagrange qui ne seraient u e pas des invariants relativistes. r£E=¡ r¢B=0 : (4. nous supposerons impos¶es les dynamiques des particules e a e (c'est-µ-dire le courant) et nous ne nous int¶resserons qu'µ la dynamique du champ.134 ¶ CHAPITRE 4. soit encore On montrera de m^me que les trois autres ¶quations peuvent se r¶sumer. Il nous faudra donc adapter nos techniques variationnelles pour des variables dynamiques continues. e Pour en comprendre la signi¯cation physique. situation habituelle en m¶canique analytique. Le fait que nous traitions de plusieurs particules pose une di±cult¶ technique imm¶diate. En abandonnant a e ainsi la covariance manifeste. par: e e e @B : (4. e conform¶ment µ notre programme initial. Si deux indices sont ¶gaux (par exemple ½ = ¹). nous n'¶crirons plus l'action en termes de lagrangien mais d'une densit¶ de e e lagrangien que nous int¶grerons sur tout l'espace et sur le temps pour obtenir l'action. ELECTROMAGNETISME RELATIVISTE En remarquant que les d¶riv¶es secondes crois¶es du potentiel sont ¶gales. En particulier. Remarquons d'abord que.53) Cette ¶quation est une cons¶quence directe du fait que le champ d¶rive d'un potentiel (c'est d'ailleurs e e e une condition n¶cessaire et su±sante). ¶crivons cette ¶quation en termes des champs e e ¶lectriques et magn¶tiques. nous avons int¶gr¶ le lagrangien entre e e e deux ¶v¶nements limites relatifs a cette particule. Il nous faudra e aussi r¶¶crire l'action d'interaction comme l'int¶grale sur tout l'espace d'une densit¶ de lagrangien qui ee e e devra faire intervenir le 4{vecteur courant au lieu des positions et vitesses individuelles des particules. Pour e e obtenir les ¶quations du mouvement d'une particule unique. pour un temps. Nous ne pouvons d¶¯nir de fa»on aussi simple e e µ e c les bornes d'int¶gration si nous consid¶rons plusieurs particules qui ne partagent pas le m^me temps e e e propre. Nous verrons qu'il n'en sera heureusement rien: les ¶quations que nous e obtiendrons dans un r¶f¶rentiel donn¶ s'¶criront en termes de quantit¶s explicitement covariantes. et en faisant la somme de e e e e ces trois ¶quations. sous forme vectorielle. s'il y a a priori 64 ¶quations possibles. Dans tout ce chapitre. dans un r¶f¶rentiel donn¶ R.56) @t Nous retrouvons donc ainsi les ¶quations de Maxwell homogµnes. e e e µ une tautologie en raison de l'antisym¶trie de F . le temps est bien c ee e ee d¶¯ni. qui sont ¶quivalentes a l'existence e e e µ d'un potentiel scalaire et d'un potentiel vecteur. Si les trois indices sont identiques. Dans ce r¶f¶rentiel. Les variables dynamiques du problµme ¶taient donc la position e e et l'impulsion de la particule. Dans le paragraphe pr¶c¶dent. l'¶quation se r¶duit a @ ¹ (F ¹º + F º ¹ ) = 0. nous nous int¶ressions au e e e e mouvement d'une particule unique. ee . Les variables a e a dynamiques sont donc les valeurs du potentiel ou des champs en tous points de l'espace et µ chaque a instant.54) 4.2 Champ en fonction des sources Nous allons maintenant ¶tablir les ¶quations qui relient le tenseur champ µ ses sources. seules e e e 4 ne sont pas triviales.3.55) (4. Nous e e e ee n'aurons µ manipuler que des int¶grales d'espace et de temps sous forme habituelle. e e e La premiµre correspond aux indices 1. et ee e e e seront donc valables dans n'importe quel r¶f¶rentiel. Elle s'¶crit: e e @1 F 23 + @3 F 12 + @2 F 31 = 0 . c'est a dire e e a µ au mouvement des particules charg¶es. et nous pourrons int¶grer la densit¶ de lagrangien entre deux instants de r¶f¶rence.

En u g¶n¶ralisant l'action d'interaction introduite au paragraphe pr¶c¶dent. on ¶crira: e e e e e SInteraction = ¡ X ® q(®) Z tb ta A¹ (xº (®) )U ¹ d¿(®) . r¶¶crire l'action d'interaction en termes du courant macroee scopique. on peut ¶crire: e e e A¹ (x(®) º ) = Z dV A¹ (ct.4. qui m¶lange notations d'Einstein et s¶paration des parties teme e e e e porelles et spatiales constitue un abus de notations manifeste. r)±(r ¡ r(®(t)) ) .59) oµ xº (®) est la position de la particule ®. ta et tb sont les instants dans R oµ nous sp¶ci¯erons u u e e les conditions initiales impos¶es au champ. e e Le 4{vecteur courant J ¹ peut donc s'¶crire: J ¹ = (c½.63) oµ la densit¶ de lagrangien d'interaction s'exprime par: u e LInteraction = ¡A¹ J ¹ : (4. l'expression du 4{vecteur courant. (4. dans ce premier paragraphe. Pour mettre l'expression pr¶c¶dente sous la forme de µ u e e l'int¶grale d'une densit¶ de lagrangien. avec: ½ = j = X X ® ® q(®) ±(r ¡ r(®) ) q(®) v(®) ±(r ¡ r(®) ) . elle est manifestement un e ee e 4{scalaire et est donc correcte dans tous les r¶f¶rentiels. q(®) v(®) )±(r ¡ r(®) (t)) A¹ (ct. On a donc ¯nalement: ³t. SInteraction = Z tb ta dt Z dV LInteraction (4.62) On reconna^ entre les crochets. (4.57) (4.2.1 Interaction champ{courant Nous allons. pour ¶viter toute confusion entre cet e e e indice qui num¶rote simplement les particules et un indice relativiste en position covariante. j). ee . Nous consid¶rons un ensemble de particules charg¶es ponctuelles.2.61) l'int¶grale portant sur tout l'espace. On a alors: e SInteraction = ¡ Z tb ta dt Z dV (q(®) c. CHAMP EN FONCTION DES SOURCES 135 4. qui peut ^tre e param¶tr¶ lui m^me par le temps t du r¶f¶rentiel R dans lequel nous nous sommes plac¶s. r) # (4. que nous indicerons par un indice ® entre parenthµses. En raison de e e e ee e u eµ la \dilatation des temps".58) oµ q(®) . la position et la vitesse de la particule ®.60) Notons que l'¶quation pr¶c¶dente. r(®) et v(®) sont respectivement la charge. En substituant cette expression dans l'action d'interaction et en explicitant en¯n les composantes temporelles et spatiales. q(®) v(®) ) º # : (4. Dans cette expression.64) Bien que nous ayons ¶tabli cette expression dans un r¶f¶rentiel donn¶. ¿(®) est le temps propre de la particule ®. le potentiel est ae µ ¶valuer a l'endroit oµ se trouve la particule ®. on trouve: SInteraction = ¡ Z tb ta dt " X ® A¹ (x(®) )(q(®) c. d¿(®) = dt=°(®) oµ °(®) est le facteur de dilatation relativiste calcul¶ a chaque instant avec la vitesse de la particule ®. dont le mouvement est e e impos¶. " X ® (4.

en ta et en tb .68) ¸ dt Z dV ∙ 1 ¹º 1 ¹º ±(A¹ )J + F @ ¹ ±Aº ¡ F @ º ±A¹ 2¹0 2¹0 ¹ : (4. le courant ne doit pas ^tre vari¶ et la variation de e e e e l'action totale. ne semble pas convenir. Pour assurer que le champ e e vrai et le champ vari¶ ob¶issent aux m^mes conditions aux limites.3 Equations de Lagrange Pour ¶tablir les ¶quations de Lagrange. En¯n. s'¶crit donc: e ±S = ¡ On a de maniµre ¶vidente: e e ±(F ¹º F ¹º ) = 2(±F ¹º )F ¹º : En exprimant ensuite ±F ¹º en termes du potentiel. et que donc: e e ±S = ¡ Z tb ta dt Z dV ∙ ±(A¹ )J ¹ ¡ 1 ¹º F @ º ±A¹ ¹0 ¸ : (4. Nous allons ensuite exprimer la e variation de l'action due a cette variation du potentiel en tous points de l'espace µ chaque instant. il faudra que ce soit une quantit¶ quadratique dans le champ. correspondra. nous imposerons µ l'accroissement e e e a in¯nit¶simal ±A de s'annuler. ¶quivalent au produit scalaire e e e des champs ¶lectriques et magn¶tiques.66) Dans cette expression. quel que soit celui-ci. ELECTROMAGNETISME RELATIVISTE 4.70) .2. Seule l'autre invariant e c e est convenable et nous postulerons que la densit¶ de lagrangien pour le champ libre peut s'¶crire: e e LChamp Libre = ¡ 1 F ¹º F ¹º . au potentiel A¹ . En µ a exprimant que cette variation est nulle au premier ordre dans l'accroissement. en particulier. Nous e allons choisir bien s^r une quantit¶ qui soit manifestement un 4{scalaire. nous allons consid¶rer. nous obtiendrons une relation qui devra ^tre v¶ri¯¶e par le champ en tous points.2. L'une. µ chaque instant. Ce e e e a raisonnement g¶n¶ralise de fa»on ¶vidente a un ensemble continu de variables dynamiques celui que e e c e µ nous avons d¶jµ utilis¶ fr¶quemment pour un nombre ¯ni de degr¶s de libert¶. ea e e e e La trajectoire des particules ¶tant impos¶e. on constate e que les deux derniers termes dans l'int¶grale sont ¶gaux. e 4. e a L'autre.2 Lagrangien du champ Il nous faut maintenant postuler l'expression de la densit¶ de lagrangien pour le champ libre. et en utilisant l'antisym¶trie de F . deux histoires possibles du champ. µ tout instant. 4¹0 (4. entre les deux instants de r¶f¶rence e e e ee ta et tb . Le second.67) (4. On ne voit pas. Une densit¶ e e de lagrangien est en e®et homogµne a une densit¶ d'¶nergie qui doit ^tre une fonction quadratique e µ e e e des variables dynamiques. Il faudra de plus qu'elle u e soit invariante de jauge et donc qu'elle ne s'exprime en d¶¯nitive qu'en fonction du tenseur champ et e non du potentiel. l'action des particules libres est une simple constante. comment e e il pourrait d¶crire de fa»on convenable une situation purement ¶lectrostatique. Les deux invariants scalaires du champ que nous avions construits au paragraphe pr¶c¶dent remplissent tous deux ces conditions.65) oµ ¹0 est a priori une constante dimensionnelle telle que la densit¶ de lagrangien ait la dimension u e e d'une densit¶ d'¶nergie. autrement dit la solution des ¶quations de Lagrange. qui sera la \trajectoire e®ectivement suivie". on a: ±S = ¡ Z tb ta Z tb ta dt Z dV ∙ ±(A¹ )J ¹ + 1 ±(F ¹º F ¹º ) : 4¹0 ¸ (4. correspondra au potentiel A¹ + ±A¹ . L'action totale int¶gr¶e entre les instants ta et tb s'¶crit donc: e e e e S = SParticules Libres + Z tb ta dt Z dV ∙ 1 ¡A¹ J ¡ F ¹º F ¹º 4¹0 ¹ ¸ : (4. puisque leur dynamique est impos¶e.136 ¶ CHAPITRE 4. en tous points de l'espace.69) En permutant les deux indices muets du terme central. in¯nit¶simalement di®¶rente.

77) . a trois dimensions. (4. sous une forme un peu plus e e complexe.4 Equations de Maxwell Pour mettre ces ¶quations sous une forme plus familiµre. En utilisant le th¶orµme d'Ostrogradski pour les int¶grales quadridimensionnelles.74) en exploitant les propri¶t¶s de sym¶trie du tenseur champ.75) @ ¹ @ ¹ Aº ¡ @ ¹ @ º A¹ = ¹0 J º : Si nous imposons au potentiel vecteur d'ob¶ir a la condition de Jauge de Lorentz @ ¹ A¹ = 0. Il est nul aussi. et valables dans tout r¶f¶rentiel galil¶en. Le volume d'int¶gration V est l'ensemble de l'espace a trois e e µ e e e dimensions pris entre les instants ta et tb . L'accroissement du potentiel est nul aux instants limites en tous points de l'espace.71) ee e la surface S. L'¶quation aux e e e e potentiels s'¶crit alors: e (4. nous avons abandonn¶ la covariance manifeste en nous pla»ant dans un e c r¶f¶rentiel donn¶. L'accroissement de l'action s'¶crit donc ¯nalement: e ±S = ¡ Z tb ta dt Z dV ∙ J¹ + 1 @ º F ¹º ±A¹ : ¹0 ¸ (4.78) (4.72) Elle ne peut ^tre nulle quel que soit l'accroissement du potentiel que si le champ entre crochets est e identiquement nul. nous avons: (4. le e µ deuxiµme terme s'annule (on permutera les d¶riv¶es partielles pour le constater). En revanche. Notons que nous retrouvons ici.2. Les ¶quations de Lagrange d¶terminant le champ en fonction des sources s'¶crivent e e e donc simplement: (4. on peut r¶aliser sur ce terme une int¶gration par parties.76) @ ¹ @ ¹ A º = ¹0 J º : L'op¶rateur di®¶rentiel n'est autre que le carr¶ de la norme du gradient: c'est le 4{laplacien ou encore e e e le d'alembertien. en tous points de la sphµre de l'in¯ni µ chaque instant.2. 4. ou encore r ¢ E = ¹0 c2 ½ = ½=²0 . e e e ee e Nous pouvons maintenant ¶crire simplement ces ¶quations en termes du potentiel. il s'agit de l'int¶grale e e e e e d'espace temps d'une quantit¶ scalaire. ainsi que tous les champs physiques. les ¶quations obtenues ne font intervenir que des quantit¶s covariantes.73) @ º F ¹º = ¡¹0 J ¹ . A un facteur 1=c prµs. Cette surface est constitu¶ de l'ensemble de l'espace pris a l'instant initial ta . La partie temporelle de cette ¶quation vectorielle s'¶crit en e®et: e e e e @ º F 0º = ¡¹0 c½ . l'int¶gration par parties µ laquelle nous devons toujours proc¶der pour ¶tablir les ¶quations e a e e e de Lagrange. ee e e e Elles sont donc trµs g¶n¶rales. nous allons les exprimer en termes des champs e e ¶lectriques et magn¶tiques. (4.4. ¶tant la frontiµre du volume V et dS º l'¶l¶ment di®¶rentiel de cette µ e e e surface. En posant d­ = e e cdtdV on a en e®et: Z d­ F ¹º V @ º ±A¹ = Z F ¹º S ±A¹ dS º ¡ Z V d­ (@ º F ¹º )±A¹ . L'int¶grale de surface dans l'expression e a e pr¶c¶dente est donc identiquement nulle. ee e Dans tout ce raisonnement. CHAMP EN FONCTION DES SOURCES 137 Consid¶rons le deuxiµme terme dans l'int¶grale. ou encore @ ¹ F ¹º = ¹0 J º (4. de la sphµre e µ de l'in¯ni (une sphµre de rayon R. En reportant e e l'expression de F . dont on prend la limite pour R ! 1) µ tous les instants entre e a a a ta et tb et µ nouveau de tout l'espace µ l'instant ¯nal tb .

La d¶couverte des ¶quations de Maxwell aurait ¶t¶ une cons¶quence imm¶diate e e e ee e e de celle de la relativit¶.81) e est l'op¶rateur d'alembertien (1=c2 )@ 2 =@t2 ¡ ¢. il doit aussi exister une densit¶ de quantit¶ de e e e e mouvement pour le champ ¶lectromagn¶tique. ELECTROMAGNETISME RELATIVISTE en posant ¶videmment ²0 ¹0 c2 = 1.82) . pourvu que ceux-ci ob¶issent a la Jauge de Lorentz. La structure µ deux e e a champs de la th¶orie de Maxwell est une cons¶quence imm¶diate de la nature antisym¶trique du e e e e tenseur exprimant le rotationnel du potentiel. ¢ ¶tant le laplacien. comme e e e e e les particules mat¶rielles. Si on y ajoute les ¶quations de Maxwell homogµnes et les e e ¶quations de Lagrange pour la dynamique des particules qui sont ¶quivalentes a la force de Lorentz e e µ on peut d¶terminer complµtement. au moins en principe. Cette approche est beaucoup moins satisfaisante qu'une approche µ partir des e a premiers principes. est d¶jµ ¶crit en termes explicitement relativistes ce qui le rend bien s^ r incompatible avec la eae u cin¶matique classique. Nous nous contenterons en e fait de postuler la forme d'un tenseur rassemblant ces quantit¶s.80) (4. Nous allons. nous allons bien s^ r retrouver des e e e u r¶sultats bien connus sur la densit¶ d'¶nergie du champ ¶lectromagn¶tique et sa propagation d¶crite e e e e e e par le vecteur de Poynting. Nous ¶tablirons la forme d'une e e densit¶ (bien s^r vectorielle) de quantit¶ de mouvement a trois dimensions. Pour ce qui est du bilan d'¶nergie du champ ¶lectromagn¶tique. dont le °ux d¶crit le transport d'¶nergie a travers une surface. En¯n.3. a e e e 4. L'¶lectromagn¶tisme de Maxwell. nous obtiendrons en revanche des r¶sultats nouveaux.138 ¶ CHAPITRE 4. comme nous l'avions fait pour une particule libre. ces densit¶s d'¶nergie et d'impulsion. l'¶lectromagn¶tisme de Maxwell. la dynamique coupl¶e des particules et du e e e champ. e Les ¶quations de Lagrange d¶crivant le champ en fonction des charges sont donc bien les ¶quations e e e de Maxwell faisant intervenir les courants. Energie et quantit¶ de mouvement e e e e e e n'¶tant que deux aspects du m^me 4{vecteur impulsion. d'¶tablir ses propri¶t¶s et d'identi¯er e e ee les di®¶rents termes. associ¶es a celles des particules. aux grandes propri¶t¶s de sym¶trie par translation dans l'espace ou dans e ee e le temps. d¶¯nir les densit¶s d'¶nergie et d'impulsion e e e et ¶tablir leurs ¶quations bilan. Le transfert d'impulsion e u e µ a µ travers une surface s'¶crira comme le °ux d'une quantit¶ tensorielle de rang 2. dans ce paragraphe. c'est-µ-dire ¶tudier leur propagation. formul¶ en termes explicitement covariants. Mais il fallait bien les di±cult¶s soulev¶es par l'¶lectromagn¶tisme de Maxwell e e e e e pour qu'on songe µ mettre en doute la m¶canique Newtonienne.79) Les ¶quations aux potentiels. n'est donc que e e e la th¶orie de champ la plus simple qui soit d¶crite par un champ de vecteurs. mais elle est beaucoup plus compacte.3 Energie{impulsion du champ Le champ ¶lectromagn¶tique doit poss¶der une densit¶ d'¶nergie. e Les trois composantes spatiales se mettent de leur c^t¶ ¶videmment sous la forme: oee r £ B = ¹0 ∙ @E j + ²0 @t ¸ : (4. doivent ob¶ir a des e e e µ e µ lois de conservation. (4. parfaitement v¶ri¯¶e par ailleurs. Pour la quantit¶ de e e ee e e mouvement. se mettent sous la e e µ forme: A = ¹0 j V oµ u = ½=²0 . le champ ¶lectromagn¶tique ob¶issant.1 Posons Tenseur ¶nergie{impulsion e µ®¯ = 1 1 g ®¹ F ¹¸ F ¸¯ + g ®¯ F ¹¸ F ¹¸ ¹0 4 ∙ ¸ : (4. Nous pourrions partir de la e e a e formulation lagrangienne de l'¶lectromagn¶tisme et appliquer les grandes lois de sym¶trie pour ¶tablir e e e e la forme de ces densit¶s. Nous ne e e µ ferons que rappeler trµs briµvement les propri¶t¶s essentielles de ces quantit¶s. En fait. sous sa forme e e standard. e e 4.

3. En regroupant avec le second terme et aprµs quelques manipulations ¶l¶mentaires. 4. (4. diagonal. nous allons l'¶crire en fonction des e e champs ¶lectrique et magn¶tique. ³tra u e e e e T est un tenseur purement spatial de rang 2.4. vectorielle ou e tensorielle qui soit uniquement relative a l'espace ordinaire µ trois dimensions. ¶crit ici e sous sa forme doublement contravariante. Nous allons interpr¶ter plus tard la signi¯cation physique de ce e tenseur. densit¶ de lagrangien du champ ¶lectromagn¶tique.88) . Quand il nous arrivera de manipuler une quantit¶. qui sont e e e rassembl¶es dans la 4{divergence de la premiµre ligne de µ). Le deuxiµme terme est le produit du tenseur m¶trique. il doit v¶ri¯er des e µ e e e ¶quations locales de conservation qui font intervenir sa divergence (on se souviendra de l'¶quation e e locale de bilan d'¶nergie qui fait intervenir la d¶riv¶e temporelle de u et la divergence de ¦. Pour nous convaincre de la possible utilit¶ de ce tenseur. ce tenseur de rang 2. Le premier terme e e e par l'invariant 2(B fait intervenir F ¹¸ F ¸¯ qui se calcule comme un produit matriciel ordinaire. e ee on peut ¶crire le tenseur ¶nergie{impulsion sous la forme: e e u B ¦x =c =B @ ¦y =c ¦z =c u= et ¦= 0 ¦x =c ¦y =c ¦z =c (T ) ²0 E 2 B2 + 2 2¹0 E£B : ¹0 µ®¯ 1 C C .83) On a donc bien µ ®¯ = µ ¯ ® . ENERGIE{IMPULSION DU CHAMP 139 Nous nommerons. Interpr¶tation e Si µ est associ¶ a la propagation de l'¶nergie et de la quantit¶ de mouvement. La sym¶trie du deuxiµme terme e e e e du crochet est manifeste. L'action du tenseur m¶trique est de changer le signe de toutes les lignes ayant un indice spatial dans la repr¶sentation e e matricielle obtenue.85) (4. le tenseur d'¶nergie impulsion du champ (\stress tensor" e dans la litt¶rature anglo-saxonne). A (4. L'expression de ses composantes est: T ij = ²0 " E2 1 B2 ± ij ¡ E i E j + ± ij ¡ B i B j 2 ¹0 2 # " # . nous ¶crirons: e e g ¯ ¹ F ¹¸ F ¸® = F ¸® F ¯ ¸ = F ¸ ® F ¯ ¸ = F ® ¸ F ¸¯ = g®¹ F ¹¸ F ¸¯ : (4.86) On reconna^ bien s^ r ici la densit¶ d'¶nergie ¶lectromagn¶tique et le vecteur de Poynting. Il s'agit d'un tenseur sym¶trique.87) e oµ les ±ij sont simplement les symboles de Kronecker. que nous nommerons \tenseur de Maxwell".3. Notons ici que nous faisons une entorse s¶rieuse u a µ nos conventions de notations. nous placerons tous les µ a indices en position basse. Nous allons donc calculer le 4{vecteur e e @ ® µ®¯ (4. Notons en¯n que pour un tenseur spatial les composantes complµtement contravariantes et e ee e complµtement covariantes coÄ e ³ncident.2 Lois de conservation.84) oµ u (4. Pour v¶ri¯er celle du premier terme. pour des raisons qui appara^ ³tront dans un instant. e e e e 2 ¡ E 2 =c2 ). en appliquant donc avec pr¶cautions la rµgle de sommation sur les indices e e r¶p¶t¶s.

vecteur de Poynting et tenseur de Maxwell. En d¶veloppant ¶galement le premier terme de la divergence. on a en e®et F ¹¸ K ¹¸¯ = F ¸¹ K ¸¹¯ . on a donc: h i 1 F ¹¸ @ ¹ F ¸¯ + @ ¹ F ¸¯ + @ ¯ F ¹¸ .140 ¶ CHAPITRE 4.92) @ ® µ®¯ ¡ J ¸ F ¸¯ = 2¹0 oµ nous avons arti¯ciellement s¶par¶ un terme en deux. ELECTROMAGNETISME RELATIVISTE En remarquant que les tenseurs m¶triques ne se d¶rivent pas.97) + dt V S R oµ U = V u est l'¶nergie ¶lectromagn¶tique totale dans le volume V. e . on a e @ ® µ®¯ = @ ® µ®¯ = ¡F ¯ ¸ J ¸ .93) @ ® µ®¯ ¡ J ¸ F ¸¯ = 2¹0 Le second membre de cette ¶quation est la contraction d'un tenseur antisym¶trique en ¹. on trouve l'¶quation scalaire: e j¢E+ @ ® µ®0 = ¡F 0¸ J ¸ : (4. On peut ¶crire une ¶quation bilan globale en int¶grant l'¶quation e e µ e pr¶c¶dente sur un volume V bord¶ par une surface ferm¶e S. Finalement. sym¶trique en ¹. ¸ avec un e e tenseur de rang 3. En regroupant les termes. e e Composante temporelle: conservation de l'¶nergie e La composante temporelle ¯ = 0 s'¶crit simplement: e e Il est facile de v¶ri¯er que F 0¸ J ¸ = j ¢ E=c. On a alors: e e e e Z Z dU j ¢ E d¿ + ¦ ¢ dS = 0 . Les deux derniers termes du crochet peuvent u e e ¸ F ¯ ¹ = @ ¸ F ¹¯ en utilisant les ¶quations de Maxwell homogµnes. correcte m^me si le mouvement des particules est relativiste.91) ¹0 2 Le premier terme dans le crochet peut se transformer en utilisant les ¶quations de Maxwell @ ¹ F ¹¸ = e e ¹0 J ¸ . On a ¯nalement: e e s'¶crire ¡@ e h i 1 F ¹¸ @ ¹ F ¸¯ + @ ¸ F ¹¯ : (4. (4. On trouve donc que la d¶riv¶e u e e e e e de l'¶nergie ¶lectromagn¶tique par rapport au temps est ¶gale a l'oppos¶ de la puissance totale c¶d¶e e e e e µ e e e a µ la matiµre plus le °ux entrant du vecteur de Poynting µ travers S. on a donc: a e e 1 1 (@ ¹ F ¹¸ )F ¸¯ + F ¹¸ (@ ¹ F ¸¯ ) + F ¹¸ (@ ¯ F ¹¸ ) : (4.95) @u +r¢¦=0 : (4. et que leur seule action est d'¶lever e e e l'indice des d¶rivations. ces deux termes ¶gaux sont e ee e e oppos¶s. comme nous l'avons vu plus haut. Rappelons que j ¢ E est la densit¶ de puissance ee µ e e e e e e c¶d¶e par le champ a la matiµre5 . puisque les noms des indices muets sont indi®¶rents. (4. ¸.90) Ces deux termes sont manifestement ¶gaux (il su±t d'¶lever et d'abaisser les m^mes indices pour e e e passer de l'un µ l'autre). Aprµs une transformation triviale. Cette contraction est manifestement nulle. De plus. En ¶crivant le e e tenseur de rang 3 K ¹¸¯ . en raison des propri¶t¶s de sym¶trie des tenseurs.89) @ ® µ®¯ = ¹0 4 Le dernier terme peut s'¶crire: e (@ ¯ F ¹¸ )F ¹¸ + F ¹¸ @ ¯ F ¹¸ : (4. Pour en interpr¶ter la signi¯cation physique. Le vecteur de Poynting d¶crit e a e donc bien le transport d'¶nergie ¶lectromagn¶tique.94) ∙ ¸ une ¶quation 4{vectorielle. (4. Ils sont donc bien nuls. nous allons en ¶crire s¶par¶e e e e e ment la composante temporelle et les composantes spatiales et exprimer ces quantit¶s en fonction des e densit¶s d'¶nergie. on met ce terme sous la forme: e ∙ ³ ´ 1 ³ ´¸ 1 @ ¹ F ¹¸ F ¸¯ + @ ¯ F ¹¸ F ¹¸ : (4. e e e 5 Cette expression est.96) @t Nous retrouvons ici l'¶quation de conservation de l'¶nergie ¶lectromagn¶tique que l'on ¶tablit dans les e e e e e cours ¶l¶mentaires a partir des ¶quations de Maxwell.

Nous avons pos¶ ici u e g= ¦ : c2 (4. on met les composantes spatiales de notre ¶quation de conservation e e sous la forme: dg +f +r¢T = 0 .102) V comme la variation dans le temps de la quantit¶ de mouvement totale du rayonnement ¶lectromagn¶e e e tique. Il su±t d'¶crire la densit¶ de force de Lorentz f en rempla»ant ½ et j par leurs e e c expressions en termes de E et B extraites des ¶quations de Maxwell. on peut ¶tablir cette ¶quation e e e e bilan µ partir des ¶quations de Maxwell et de la force de Lorentz. (4. L'impulsion de chaque e photon (de masse nulle) ¶tant hº=c.98) dt e oµ la notation r ¢ T d¶signe le champ de vecteurs @ i T ij .100) comme la quantit¶ de mouvement sortant par unit¶ de temps du e e e volume V. comprendre ce r¶sultat en termes de photons. ENERGIE{IMPULSION DU CHAMP Composantes spatiales: conservation de la quantit¶ de mouvement e 141 e En remarquant que F i¸ J ¸ = ¡[½Ei + (j £ B)i ] = ¡fi n'est autre. a un facteur e e e µ dimensionnel prµs. Le vecteur e de Poynting d¶crit alors le °ux de photons. oµ h est la constante de Planck et e u º la fr¶quence du rayonnement que nous supposerons pour un moment monochromatique. nous l'int¶grerons. Notons que. On obtient alors: e e e dPm dG + + dt dt Z S T ¢ dS = 0 . .4. e e e e e e Nous pouvons. le vecteur de Poynting qui d¶crit le d¶placement de l'¶nergie ¶lectromagn¶tique. Nous avons d¶jµ ¶voqu¶ e eae e le fait que le rayonnement se comporte tout autant comme le ph¶nomµne ondulatoire que nous traitons e e ici que comme un °ux de particules de masse nulle. Le champ g repr¶sente alors simplement la densit¶ locale de quantit¶ de mouvement du champ. Cette quantit¶ de mouvement. Il est alors facile d'interpr¶ter le terme dG=dt avec e e G= Z g (4. e e e Le bilan de quantit¶ de mouvement appara^ alors de maniµre transparente si nous interpr¶tons le e ³t e e dernier terme de l'¶quation (4. Nous avons pos¶: e Z dPm f : (4.100) oµ la notation \produit scalaire" T ¢ dS d¶signe la contraction du tenseur T avec le vecteur ¶l¶ment u e ee de surface. On pourra s'en convaincre ais¶ment a e e a µ titre d'exercice. e Nous venons bien d'¶tablir ici le bilan de quantit¶ de mouvement pour l'ensemble du champ et des e e particules charg¶es.3. Chaque photon se d¶pla»ant µ la vitesse c. sur un volume V bord¶ par une surface ferm¶e S. vectorielle. d'¶nergie hº. (4. Une simple identi¯cation redonne e alors les ¶quations pr¶c¶dentes. la densit¶ e e c a e num¶rique de photons N devra ^tre de l'ordre de (1=hº)¦=c (nous pr¶ciserons cette discussion trµs e e e e qualitative au prochain paragraphe dans le cas trµs simple de l'onde plane). comme dans le cas du bilan d'¶nergie. comme dans e e e e e le cas de l'¶nergie. On retrouve bien e e l'expression de g. que la composante i de la densit¶ de force de Lorentz f . Des manipulations alg¶briques e e peu agr¶ables permettent alors de mettre le r¶sultat sous la forme de la somme d'une d¶riv¶e partielle e e e e par rapport au temps et d'une divergence de quantit¶ tensorielle. au signe prµs.99) Pour d¶gager plus pr¶cis¶ment le sens physique de cette ¶quation. la densit¶ d'impulsion est N hº=c = ¦=c2 .101) = dt V Ce terme repr¶sente donc la variation temporelle de la quantit¶ de mouvement de toutes les particules e e mat¶rielles contenues dans V. qualitativement. e e e Notons que la quantit¶ de mouvement du champ ¶lectromagn¶tique est simplement. appara^ bien comme le °ux a travers S d'une e ³t µ quantit¶ tensorielle.

e e 4. parallµle µ Ox. La densit¶ e e de quantit¶ de mouvement du champ est donc nulle. Son module µ une distance ½ de l'axe vaut E(½) = (q=2¼²0 )a=(a2 + ½2 )3=2 . La ¯gure 4. Deux charges e oppos¶es sont dispos¶es sym¶triquement par rapport au plan zOy. Deux charges q et ¡q sont e e e situ¶es sur l'axe Ox en ¡a et a respectivement. Sur le plan m¶diateur.3. le champ magn¶tique est nul. Notons que le systµme de charges en l'absence d'autres forces n'est manifestement e pas en ¶quilibre. dPm =dt. dS ¶tant orient¶ selon x. le champ ¶lectrique est dirig¶ selon e e e e a ux : E = E(½)ux .1 illustre notre problµme. limit¶ par la surface S. Ecrivons l'¶quation bilan de quantit¶ de mouvement pour le volume e e V correspondant au demi-espace x > 0. Il n'¶chappera µ personne que le calcul direct de la e e a force de Coulomb entre ces particules ne pr¶sente aucune di±cult¶.142 ¶ CHAPITRE 4.1: La force de Coulomb entre deux charges ponctuelles par le bilan de quantit¶ de mouvement. Nous allons aborder ce problµme e e e par une voie un peu plus di±cile. proportionnel au carr¶ du champ. d¶cro^ comme 1=R6 . ELECTROMAGNETISME RELATIVISTE E(q) n E E(-q) ρ q -q x S Figure 4. Le champ total ¶tant µ grande distance celui d'un dip^le. Ce calcul montre que ces ¶quations bilans peuvent pr¶senter un int¶r^t en dehors des e e ee ph¶nomµnes purement propagatifs. Il est facile alors de montrer que.3 Applications Un problµme d'¶lectrostatique e e Nous allons appliquer les bilans d'¶nergie{quantit¶ de mouvement a quelques situations simples. On peut donc ¶crire la force de Coulomb sous la forme: e e F=¡ Z S T ¢ dS : (4. il d¶cro^ avec la distance R comme e a o e ³t e e ³t e 1=R3 . L'int¶grale sur la demi sphµre de l'in¯ni est donc nulle. la seule composante du tenseur de Maxwell qui e e .103) La surface S bordant le volume V est simplement constitu¶e du plan x = 0 et d'une demi sphµre a e e µ l'in¯ni. e e e e e a On ¶tablit le bilan d'impulsion dans le demi-espace x > 0. sur ce plan. La variation de la quantit¶ de mouvement de la e e ³ncide avec la force de Coulomb F subie matiµre. Le tenseur de Maxwell. est simplement celle de la charge ¡q et coÄ e par cette charge. Nous e e µ allons d'abord montrer que l'¶quation bilan de quantit¶ de mouvement contient simplement la force e e de Coulomb. Dans tout ce volume. Le champ r¶sultant est.

la quantit¶ moyenne d'¶nergie traversant e e e par unit¶ de temps une surface d'aire S perpendiculaire a l'axe de propagation sera ¶gale d'une part e µ e a e µ a µ ¦S et d'autre part µ ucS (en un laps de temps dt un \volume" d'onde ¶gal a cdtS \traverse" la e e surface). (4. le champ ¶lectrique est align¶ selon Ox.108) La densit¶ d'¶nergie ¶lectrique est ¶gale a la densit¶ d'¶nergie magn¶tique. ENERGIE{IMPULSION DU CHAMP 143 e joue un r^le est Txx = ¡²0 E(½)2 =2.107) La valeur moyenne de la densit¶ d'impulsion est donc: e g= 2 ²0 E0 uz 2c (4. La densit¶ d'¶nergie e e e e µ e e e e e ¶lectromagn¶tique instantan¶e s'¶crit donc: e e e e 2 u = ²0 E0 cos2 (kz ¡ !t) . Si nous avons N photons par unit¶ de volume. Les champs ¶lectriques e e e et magn¶tiques s'¶crivent donc: e e E = E0 ux cos(kz ¡ !t) E0 B = uy cos(kz ¡ !t) c (4.4. La densit¶ d'impulsion N ¹ !=c est donc bien u=c. La densit¶ num¶rique N de photons est e h e h N = u=¹ !.110) Nous pouvons comprendre quantitativement ces relations importantes en termes de densit¶ num¶rique e e de photons. Nous allons en particulier pouvoir pr¶ciser nos interpr¶tations en e e termes de photons.111) (4.112) 2 ²0 E0 : 2 (4. le plus souvent. m^me dans un cas oµ il n'y a pas d'e®ets propagatifs. Cet exercice facile d'¶lectrostatique nous fait comprendre l'int¶r^t des ¶quations u e ee e bilans d'impulsion. On en d¶duit la force de Coulomb. La pulsation de l'onde est !. On a bien s^r: e e e e u ¦= 2 ²0 E0 c uz : 2 (4. Elle se propage e e e selon Oz. dans des mesures ¶nerg¶tiques). polaris¶e lin¶airement. e u Cas de l'onde plane monochromatique Nous allons maintenant ¶crire les bilans d'¶nergie et de quantit¶ de mouvement dans le cas beaucoup e e e plus important de l'onde plane. Nous consid¶rons donc une onde plane monochromatique.109) et sa valeur moyenne vaut: u= On remarque imm¶diatement que e u = g = ¦ c u : c (4. .105) avec ! = ck Le vecteur de Poynting est alors dirig¶ selon uz (l'¶nergie se propage manifestement dans e e cette direction) et vaut: 2 (4.3. dont le module a bien e e e s^ r la valeur requise. Le °ux de T sur S se calcule alors par une int¶gration triviale o en coordonn¶es polaires.104) (4. On obtient ainsi la premiµre relation: u = ¦=c.106) ¦ = ²0 cE0 cos2 (kz ¡ !t)uz : On ne s'int¶resse souvent qu'µ la moyenne temporelle de ce vecteur (les oscillations a la fr¶quence 2! e a µ e n'¶tant pas d¶tectables. orient¶e selon ¡x.

Si nous consid¶rons. par exemple. on trouve que des particules de rayon inf¶rieur µ 0. Pr¶cisons ce bilan d'impulsion en consid¶rant le cas d'un die e e aphragme parfaitement absorbant d'aire S perpendiculaire a l'axe Oz.113) F = uSuz : L'onde ¶lectromagn¶tique exerce donc sur le diaphragme une pression p (la force est proportionnelle e e a µ la surface). e e Ecrivons le bilan de quantit¶ de mouvement pour le volume V. mais n'a d'int¶r^t qu'entre valeurs moyennes). qui entoure e exactement le diaphragme est n¶gligeable. La variation de la quantit¶ de mouvement de la matiµre doit ^tre ¶gale a la force F subie par le e e e e µ diaphragme. Les ¶critures ne pr¶sentent aucune di±cult¶. La taille limite se trouve ^tre ind¶pendante de la distance R au soleil. on trouve que des particules su±samment petites doivent ^tre e ¶ject¶es du systµme solaire. lµ encore. M^me si la puissance est importante. Comme le volume de V. la densit¶ d'¶nergie est petite. Notons que. L'onde transmet donc dans la direction z une quantit¶ de mouvement e elle aussi align¶e dans la direction z. un faisceau laser transportant 1W sur une e e e e e e surface de 1 mm2 . la pression de radiation l'emporte. On trouve e e e e e e que seule la composante Tzz est non nulle et vaut pr¶cis¶ment u (en valeur instantan¶e et donc aussi en valeur moyenne). Cette pression p est ¶gale a la densit¶ d'¶nergie du champ: e µ e e p=u (4. la densit¶ d'¶nergie et ¡3 Pa. il faudrait tenir compte aussi des collisions avec les e e e e particules charg¶es constituant le \vent solaire".114) (cette relation tient entre valeurs instantan¶es.1 ¹m sont ¶ject¶es.5 kW/m2 ) et de l'acc¶l¶ration de pesanteur e a solaire au niveau de la terre (10¡2 g). On e a e e e e pourra se convaincre. e e Consid¶rons donc un volume V limit¶ par une surface S entourant imm¶diatement le diaphragme. La force subie par le diaphragme est donc ¯nalement (4. on pourra consid¶rer que le champ est nul sur la \face arriµre" de S e e e et que le champ sur la face \avant" est celui de l'onde plane non perturb¶e (c'est sans doute une e approximation correcte si le diaphragme est parfaitement absorbant. C'est grossiµrement faux s'il est e r¶°¶chissant. la pression de radiation permet de faire l¶viter des particules su±samment petites dans un faisceau laser. e e e donc la pression valent 3:10 parce que la vitesse de propagation est grande. Le seul e®et de ce diaphragme µ est d'annuler l'onde incidente imm¶diatement derriµre lui (µ plus grande distance. Cette pression de radiation a de nombreuses manifestations. e e e En premiµre approximation. En appliquant ce raisonnement µ la pression a de radiation du rayonnement solaire. Le poids d'une particule de e rayon r est en e®et proportionnel µ r3 alors que la force de pression de radiation varie comme r 2 . ELECTROMAGNETISME RELATIVISTE Exprimons en¯n le tenseur de Maxwell. la variation de la quantit¶ de mouvement du champ est e e nulle. Cette force est donc ¶gale a l'oppos¶ du °ux sortant du tenseur de Maxwell. Il vaut alors simplement ¡uS. que cette pression s'interprµte en termes de collisions in¶lastiques des a e e photons incidents avec le diaphragme. Si faible soit elle. nous ¶crivons lµ une ¶quation d'¶tat pour le rayonnement ¶lectromagn¶tique. Avec l'ordre ee de grandeur de la puissance du rayonnement solaire (1. le vecteur de Poynting moyen vaut ¶videmment 106 W/mm2 . En e ee quelque sorte. Le °ux est e µ e nul partout sauf sur la surface avant du diaphragme.144 ¶ CHAPITRE 4. Notons tout d'abord qu'elle est en g¶n¶ral assez faible. e e e e e Pression de radiation et force de gravitation varient en e®et toutes deux comme 1=R2 . dans un modµle r¶aliste. Pour a r su±samment petit. e . la di®raction par e e a les bords du cylindre jouera un r^le et le champ ¶lectromagn¶tique ne sera pas exactement nul dans o e e l'ombre g¶om¶trique du disque. Nous laissons au lecteur le soin d'examiner ce dernier cas).

Sign up to vote on this title
UsefulNot useful