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

72 th¶orie relativiste des collisions. permet de d¶river des lois importantes qui ne e ee e sont accessibles qu'au prix de calculs lourds en ¶lectromagn¶tisme \classique". outre son ¶l¶gance. e Pour un cours centr¶ sur l'¶lectromagn¶tisme. Nous chercherons µ y construire une th¶orie non triviale a e d'interaction entre particules transmise par un champ. 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. e e . Nous en pro¯terons pour examiner quelques problµmes simples d'¶lectromagn¶tisme. 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. Nous aurons donc montr¶ a quel point l'¶lectromagn¶tisme e e eµ e e de Maxwell s'adapte naturellement au cadre relativiste. Nous montrerons ainsi que cette e e e approche complµtement relativiste. nous consacrerons en e®et l'essentiel de nos efe e e forts au dernier chapitre de cette partie. Nous constaterons sans d¶plaisir que la structure de cette th¶orie de e e champ est celle de l'¶lectromagn¶tisme.

Ces hore e e e loges peuvent ^tre constitu¶es de n'importe quel ph¶nomµne physique p¶riodique. S'il en avait tout µ fait reconnu e e ea a l'importance. Cette synchronisation ne pose aucune di±cult¶ en cin¶matique e e e e classique.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. 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. y(t). Nous allons commencer par quelques e a trµs brefs rappels de cin¶matique galil¶enne ou newtonienne. En m¶canique classique. Le m^me mouvement serait e a d¶crit dans un autre r¶f¶rentiel R0 . le mouvement ¶tant alors complµtement d¶termin¶ par la trajectoire et la loi horaire. e e e parfois m^me des tunnels. bien e µ que les e®ets relativistes soient complµtement n¶gligeables. On peut bien s^r convenir d'un repµre e e u e (cart¶sien. 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. Ces observateurs peuvent constater le passage du mobile a leur position. immobiles les uns par rapport aux autres. 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 e La notion centrale de la cin¶matique (classique ou relativiste) est celle de r¶f¶rentiel. 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). Pour utiliser un vocabulaire e e a o ferroviaire1 . e e e 2 Cette hypothµse ¶tait d¶jµ faite explicitement par Newton dans ses Principia. su±samment rapide e e e e e a e µ l'¶chelle du mouvement pour en donner une description temporelle convenable. par exemple. m^me avec les trains les plus modernes.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. Pour c¶der a la tradition. puisque temps et espace sont complµtement d¶coupl¶s. y 0 (t0 ). par trois autres fonctions du e ee e temps commun des observateurs de R0 : x0 (t0 ). La connaissance de la position des observateurs µ concern¶s permet alors de d¶terminer la trajectoire du mobile. le passager de train a une vitesse faible ou nulle par rapport µ celle du contr^leur. qu'elles sont trµs importantes en cin¶matique relativiste. Il su±t. ces pr¶cautions pour la d¶¯nition du temps paraissent superf¶tatoires en cin¶matique e e e e classique. en revanche. z(t) repr¶ee e e sentant la position en fonction du temps commun des observateurs. en mouvement par rapport µ R. nous emploierons ce genre de vocabulaire dans ce cours. Un r¶f¶rentiel. e ee ee c'est un ensemble d'observateurs. il n'avait guµre de doutes sur sa validit¶. e e e 1. et de refonder une cin¶matique tout µ fait nouvelle. Certes. 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.1 1. z 0 (t0 ). e e 73 . on admet sans restrictions l'identit¶ des temps (µ une synchronisation prµs) des observateurs de R et de R02 . Nous verrons. orthonormal) pour rep¶rer ces positions au moyen de trois coordonn¶es. 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.1.

et les axes Oz et O0 z 0 . sont constamment parallµles e et coÄ ³ncident µ t = 0. (1. . qui sera e remplac¶e par la transformation de Lorentz en relativit¶ einsteinienne. Les axes Ox et O 0 x0 . tellement triviale qu'elle est bien rarement ¶crite explicitement.1: Choix des axes dans deux r¶f¶rentiels R et R0 en mouvement relatif. Cette transformation de Galil¶e e e e contient. d'une part. ² Les origines O et O0 sont confondues µ l'instant t = 0. 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. tels que le mouvement d'une particule libre y soit rectiligne et uniforme. ee e Dans le cas le plus simple. a La ¯gure 1. a ² Les axes Oy et O0 y 0 . 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. a parallµles. la loi de composition des vitesses: e v = v0 + u (1. Sans restreindre du tout la e e g¶n¶ralit¶. d'autre part. par simple d¶rivation par rapport au temps.74 ¶ CHAPITRE 1. CINEMATIQUE RELATIVISTE y y' O O' u x x' z z' e ³ncident µ chaque instant.1) C'est cette transformation. coÄ e Figure 1. cette transformation est la transformation dite de Galil¶e. les r¶f¶rentiels galil¶ens. oµ les deux r¶f¶rentiels sont en translation uniforme l'un par rapport u ee a µ l'autre. 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. en mouvement de translation uniforme les uns par ee e e ee e rapport aux autres. 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. 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 > = > .1 pr¶sente la g¶om¶trie choisie. align¶s avec la vitesse relative u.2) (vitesse absolue ¶gale vitesse relative plus vitesse d'entra^ e ³nement).

e e On pouvait. Le lecteur int¶ress¶ pourra trouver une description d¶taill¶e dans pratiquement tous les manuels de relativit¶. le e ee ee e e seul dans lequel les ¶quations de Maxwell devaient s'appliquer. une \contraction" de la longueur des objets mat¶riels dans la direction du mouvement. 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µ). en un corps ra±n¶ de rµgles arbitraires qui e e d¶crivent correctement mais ne pr¶disent rien. e e L'autre attitude. est di±cilement compatible avec l'¶lectromagn¶tisme de Maxwell.1.1. 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). par exemple. a mettre µ en cause des notions trµs fondamentales. qui pr¶dominait trµs largement a la ¯n du siµcle dernier. RAPPELS DE RELATIVITE GALILEENNE 75 1. 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. Les physiciens e e avaient mis plus de 20 siµcles. beaucoup plus courageuse puisqu'elle conduit. comme nous le verrons. avec Lorentz. 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. dans le m^me temps. sont d'ordre exp¶rimental. On pouvait aussi supposer. ^tre impond¶rable et in¯niment perm¶able au mouvement des corps e e e e mat¶riels (puisque. e o Les derniµres di±cult¶s. 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. comme la th¶orie astronomique des cycloÄ e ³des. devant ce r¶sultat n¶gatif. 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¶. e e e Il existe aussi une di±cult¶ philosophique grave avec l'introduction de l'¶ther. e Le sentiment le plus naturel.¶ ¶ 1. adopter deux points de vue. La e e e c¶lµbre exp¶rience de Michelson fut con»ue dans ce but. D'une sensibilit¶ tout µ fait remarquable pour ee e c e a l'¶poque. encore honorable aujourd'hui. ils ne e e e e e constituaient pas un corps th¶orique coh¶rent. 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¶. telle que nous venons de la rappeler. ¶tait que les e e µ e e ondes ¶lectromagn¶tiques se propageaient dans un milieu baignant l'univers entier: l'¶ther. fond¶e sur une th¶orie ¶lectrostatique des interactions entre e e e e particules dans la matiµre. une analogie ¶vidente avec l'entra^ ³n¶ e ³nement de la couche limite en hydrodynamique. Le e e a problµme qui appara^ imm¶diatement est celui du r¶f¶rentiel dans lequel cette vitesse est d¶¯nie. e e e e e e . entre Aristote et Copernic. e e e a Mais il doit. ¶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¶. 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. 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. L'analogie e e e entre ondes ¶lectromagn¶tiques et ondes sonores ¶tait en e®et pr¶sente µ tous les esprits.2 Les di±cult¶s de la cin¶matique classique e e La loi de composition des vitesses. l'¶tude sur quelques siµcles de la rotation terrestre ne r¶vµle aucun e e e e e frottement). 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. Le premier ¶tait de tenter de e e e \r¶parer" la th¶orie de l'¶ther. pour comprendre que notre petite planµte e e n'est pas le centre de l'univers. le phlogistique. on doit pouvoir mesurer une variation de cette vitesse pour des mouvements assez rapides par rapport µ l'¶ther. encore avant lui. elle aurait d^ mettre clairement en ¶vidence le mouvement de e u e e a e o e la terre par rapport µ l'¶ther3 . les plus graves en pratique. 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. le e ³t e ee e seul donc dans lequel les ¶quations de Maxwell seraient directement applicables. 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. Il doit en e e ee e e e®et ^tre omnipr¶sent et in¯niment rigide pour propager des ¶branlement transverses µ grande vitesse. 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. on pouvait supposer que l'¶ther ¶tait e e e a e e entra^ e au voisinage des corps massifs. celui de l'¶ther. Ce genre d'argument a certainement e jou¶ un r^le essentiel pour Einstein.

CINEMATIQUE RELATIVISTE la loi de composition des vitesses. qui e e e constitue un expos¶ trµs p¶dagogique de la relativit¶ (Edition de ¾uvres essentielles d'Einstein. est la m^me dans tous les r¶f¶rentiels. le o 1. Il su±rait. Relativit¶s I|¶ditions e e e e e e Seuil{CNRS). 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. 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.2). Nous ee e e ee centrerons cet expos¶ sur l'invariance de la vitesse de la lumiµre. la vitesse de l'impulsion est c dans R0 . 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. Le r¶f¶rentiel R ee µ r¶f¶rentiel R celui du chef de gare. en¯n. e e 1. en particulier. Le contr^leur. 4 . Il n'est pas absolument exclus. de prime abord. e e e e e a ³t e Ce principe de relativit¶. 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. c. situ¶ en O0 . Il serait tout aussi possible de ne pas e e faire jouer un r^le aussi central a l'¶lectromagn¶tisme. comme nous allons le voir e e en consid¶rant deux exp¶riences de pens¶e. pour ce paragraphe o seulement. ou du train. avec la g¶om¶trie d¶crite dans la ¯gure e ee e e e 0 sera celui du contr^leur. 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 . pour la cin¶matique classique. dans lesquels toutes a ee e les lois de la physique prennent la m^me forme. du moins. 1.76 ¶ CHAPITRE 1. les ¶quations de Maxwell sont valides e e dans tous les r¶f¶rentiels et la vitesse de la lumiµre. e Si toutes les lois de la physique prennent la m^me forme.2. 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. que le photon possµde une trµs petite masse.1 Principe de relativit¶ e Enonc¶ e Il existe une classe de r¶f¶rentiels privil¶gi¶s. Il n'en est rien. a la pr¶cision des mesures. Il est clair.1. bien que cela soit trµs peu vraisemblable.2 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 constater qu'exp¶rimentalement la vitesse de la lumiµre e e dans le vide est identique a la vitesse limite. l'¶lectrodynamique des corps en mouvement" e le \principe de relativit¶" est expos¶ dans le prochain paragraphe. revient vers e e e y le contr^leur et l'atteint au bout d'un temps T 0 = 2L=c (nous supposerons. L'impulsion. µ µ e en e®et. 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. l'¶lectrodynamique). ainsi que celle d'un article de revue r¶dig¶ dµs 1907.2. rendant e e e la vitesse de la lumiµre trµs l¶gµrement inf¶rieure µ la vitesse limite qui appara^ en relativit¶.l'ensemble e Nous ne saurions trop recommander la lecture de cet article. 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). en translation uniforme les uns par rapport ee e e aux autres (que nous continuerons µ appeler \r¶f¶rentiels galil¶ens"). pour reprendre nos analogies ferroviaires. r¶°¶chie par le miroir. que. semble ne rien remettre en cause d'essentiel et semble e trµs voisin du principe de relativit¶ de la physique classique. peut ^tre.

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

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

3. EVENEMENTS ET INTERVALLES 79 Supposons d'abord que la cin¶matique classique s'applique. En revanche. deux des notions essentielles e e e de la relativit¶: l'¶v¶nement et l'intervalle. Nous ne pourrons pas.3). x.4. Bien s^r. mais la vitesse de l'autre impulsion ¶tait plus grande. on porte sur l'axe vertical le e e e produit ct. On peut en e®et les e e e e e repr¶senter comme un point dans un espace µ quatre dimensions. mais on peut proc¶der de fa»on plus subtile. les deux e e e a signaux s'allument dans R0 au m^me instant t0 = ¡L=c. 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. par exemple. le contr^leur ¶tablira donc que les deux signaux se sont allum¶s au m^me instant. Cette repr¶sentation posant quelques e a e problµmes techniques. pour le moment. 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. 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. d¶terminer la position e e des observateurs A0 et B 0 (il nous faudra la transformation de Lorentz pour cela). le temps n'est plus universel et n'est plus s¶parable des cordonn¶es spae e tiales. d¶terminer par des moyens e e c e g¶om¶triques le milieu du segment AB joignant deux observateurs. y. On peut. Les deux coordonn¶es dans cet espace ont ainsi la m^me dimension6 . dans un r¶f¶rentiel donn¶.1 Ev¶nements et intervalles e Ev¶nements e Comme nous venons de le voir. 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. e e e 1. Un ¶v¶nement. par l'observateur ee e e e ee e 0 ) et par l'instant. Pour des raisons de commodit¶. On peut caract¶riser un ¶v¶nement. 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¶. 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 . z) e e e e ee (nous d¶velopperons au chapitre suivant des notations tensorielles puissantes pour traiter ces quadrue plets).3 1. 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. Le temps ¶tant universel. en revanche. 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. en discutant ces deux exp¶riences de pens¶e. 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. L'un ¶tait plus o e e e e proche. On peut placer en ce point une source lumineuse e e qui s'allume µ un certain instant. 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. 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 passagers A a e x0 = L + uL=c (voir la partie inf¶rieure de la ¯gure 1. mesur¶ sur l'horloge de cet observateur. On repr¶sente alors un e a e ¶v¶nement comme sur la ¯gure 1. Le contr^leur e µ o en d¶duira que le signal A s'est allum¶ aprµs le signal B. La distance A0 O0 = L(c ¡ u)=c est donc inf¶rieure a la distance B 0 O0 = L(c + u)=c. e e e e Nous avons vu ¶merger. e 6 Les professionnels de la relativit¶ prennent souvent c = 1.3. ce qui simpli¯e ¶norm¶ment les ¶critures. Le temps de parcours de l'impulsion provenant de A est donc inf¶rieur a celui de l'autre.¶ 1. e e On supposera encore que tous les observateurs d'un m^me r¶f¶rentiel peuvent synchroniser leurs horloges. on se cantonne souvent µ une dimension d'espace. ils auront ¶tabli leur synchronisme. 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 . e e e Nous utiliserons souvent des repr¶sentations g¶om¶triques des ¶v¶nements. A notre niveau. que la distance A0 O0 est n¶cessairement inf¶rieure a la distance O0 B 0 . 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. Nous pouvons e e µ comprendre. 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. En appliquant la proc¶dure d¶crite ci{dessus. Un ¶v¶nement existe ind¶pendamment e e e e e e e du choix du r¶f¶rentiel.

4. . Une ligne d'univers est l'ensemble des ¶v¶nements correspondant aux positions successives d'une particule. Un ¶v¶nement est repr¶sent¶ par un point dans un e e o e e e e e espace x. e o e o e En revanche. 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. lui m^me dans le futur du c^ne de lumiµre e e o e e o e de A. cette relation n'est pas transitive dans le cas g¶n¶ral. e e Une telle suite continue d'¶v¶nements forme dans l'espace-temps une ligne. 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. 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.80 ¶ CHAPITRE 1. Une telle ligne est repr¶sent¶e sur la ¯gure 1. 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. la version relativiste de la causalit¶ appara^ trµs clairement. alors A peut ^tre la cause de C. En un mot. si A et C peuvent e o e tous deux ^tre la cause de B. que nous nommerons \ligne e e d'univers" de la particule. alors B est dans le c^ne de lumiµre de A. si C est e e dans le futur de B. que o e e e e e s'ils sont dans le c^ne de lumiµre l'un de l'autre. ct. alors C n'est pas n¶cessairement dans le c^ne de lumiµre de A. comme on pourra s'en persuader e e ais¶ment. Dans l'espace a quatre e µ e µ e µ dimensions. En revanche.4: Un ¶v¶nement.4). 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. les autres le futur. e e La ligne d'univers d'une particule qui se d¶placerait a la vitesse de la lumiµre serait parallµle. il n'y a aucun lien de causalit¶ a priori entre eux. e e En ces termes. 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). a la premiµre ou a la deuxiµme bissectrice. CINEMATIQUE RELATIVISTE ct A x Figure 1. Si C est dans le pass¶ du c^ne de lumiµre de B. dans e µ e e notre repr¶sentation graphique. une ligne d'univers et un c^ne de lumiµre. 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. Comme c est une e e ee e o e vitesse limite. e ee e e e e Nous allons maintenant pouvoir a±ner beaucoup ces notions en introduisant l'intervalle. 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). 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. Deux ¶v¶nements ne pourront ^tre reli¶s par un signal ou une relation causale.

z2 ). Nous allons e ee e donner ici une indication de ce fait par un raisonnement qui.5) L'¶criture de cette relation suggµre d'introduire l'intervalle entre deux ¶v¶nements quelconques par: e e e e (1. 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. ds002 .3. e e e ee ee e Si ces deux ¶v¶nements sont sur le c^ne de lumiµre l'un de l'autre. dans les prochains paragraphes. ee e e Pour cela.3.2 (1. de comprendre beaucoup de propri¶t¶s de la transformation de Lorentz avant m^me d'en ¶crire la forme explicite. y1 . x1 . µ partir de la transformation de Lorentz. oµ a est une constante ne d¶pendant que de la vitesse relative u des deux r¶f¶rentiels. µ moins que a = 1. Invariance de l'intervalle Consid¶rons deux ¶v¶nements rep¶r¶s. e e e e .8) On doit pouvoir ¶crire l'intervalle dans le nouveau r¶f¶rentiel comme une fonction de celui dans R.¶ 1.11) (1. bien qu'il ne soit pas tout µ fait rigoureux a (il fait appel µ des hypothµses suppl¶mentaires implicites). L'intervalle entre eux s'¶crit e e e e ee (1.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).6) Notons que le choix du signe + pour la composante temporelle de l'intervalle est tout a fait arbitraire. pour tout triplet de vitesses relatives: e a(w) = a(v) a(u) (1. z1 ) et (ct2 . 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. 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¶). le fait que l'intervalle e a est ind¶pendant du r¶f¶rentiel (est un \invariant relativiste"). x2 .7) e Consid¶rons les deux m^mes ¶v¶nements dans un autre r¶f¶rentiel R0 . ¶tablit de maniµre simple l'invariance de a e e e e l'intervalle. Cette invariance nous permettra. En fait l'isotropie u e ee de l'espace impose que a ne d¶pende que du module u de la vitesse u. ee Nous ¶tablirons rigoureusement. 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. Consid¶rons maintenant e e µ a a un troisiµme r¶f¶rentiel R00 . 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. lui aussi in¯nit¶simal. L'intervalle. e ee L'intervalle in¯nit¶simal dans ce r¶f¶rentiel. On ¶tablit ainsi l'invariance a e des intervalles in¯nit¶simaux. Tout intervalle pouvant ^tre obtenu par une int¶gration d'intervalles e e e in¯nit¶simaux entre les deux ¶v¶nements. L'intervalle jouera le r^le d'une distance dans notre e o espace{temps µ quatre dimensions. 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. m^me s'il n'est pas nul. en mouvement a la vitesse v par rapport µ R et w par rapport µ R0 . par (ct1 . µ C'est cependant le plus r¶pandu aujourd'hui. 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. consid¶rons deux ¶v¶nements in¯niment voisins. on ¶tablit ainsi l'invariance d'un intervalle arbitraire. Un intervalle nul est donc un invariant dans un changement de r¶f¶rentiel. EVENEMENTS ET INTERVALLES 81 1.9) ds02 = a ds2 .2 Intervalle. e e e e entre ces ¶v¶nements s'¶crit alors. y2 . dans un r¶f¶rentiel donn¶.

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. 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. il faut encore que la cause e ³t e pr¶cµde la cons¶quence. 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. cela impliquerait qu'il existe un changement de r¶f¶rentiel pour lequel M et O soient confondus. e e les deux ¶v¶nements sont dans le c^ne de lumiµre l'un de l'autre.2 entre les temps des deux ¶v¶nements est sup¶rieure a la distance (en unit¶s convenables). 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.3 Cons¶quences de la conservation de l'intervalle.2 temporelle. 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. alors qu'il ne l'est pas initialement. Il est donc important que les notions de pass¶ et de futur. D'autre part. Nous dirons alors que nous avons µ faire a un intervalle de genre \espace". pour ¯nir. e e L'intervalle. Si. 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. Causalit¶ relativiste e e Si l'intervalle est un invariant relativiste. que tous les intervalles pris sur la ligne d'univers d'une particule mat¶rielle e sont du genre temps. Par ee o e continuit¶. est trµs fortement reli¶ a la notion de causalit¶. 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¶. 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. o e Pour ¶tablir cette invariance. nous dirons que nous avons µ faire a un intervalle du genre temps. la distance spatiale entre les deux ¶v¶nements est plus grande que la distance 1. e e e D'abord.3.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. aussi. soient elles aussi des invariants relativistes. 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. CINEMATIQUE RELATIVISTE 1. les deux ¶v¶nements peuvent avoir ¶t¶ reli¶s par un signal se propageant µ la vitesse 1. Mais ceci est contraire a l'invariance de l'intervalle. ou du moins son signe. 1. 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).3. e e o . Aucun signal ne peut donc avoir reli¶ les deux ¶v¶nements. Nous en d¶duirons donc que les notions ee e de pass¶ et de futur sont des invariants relativistes. M reste dans le c^ne de lumiµre de O. ee En e®et. M passait dans le pass¶ de o e ee e O. e e o e e e ² Si s2 < 0. Nous distinguerons donc deux u types d'intervalles: ² Si s2 > 0.2 de la lumiµre. de maniµre que les liens de e e e causalit¶ entre ¶v¶nements soient ind¶pendants des observateurs. bien s^ r. 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. La causalit¶ classique. Bien s^r. dispara^ en relativit¶). La di®¶rence a µ e 1. Notons en¯n. En d'autres termes. qui deviendrait nul dans ce µ changement de r¶f¶rentiel.82 ¶ CHAPITRE 1. ce qui est d'une importance cruciale pour que la e causalit¶ garde un sens en relativit¶. a µ e e ee e a ² Si s2 = 0. Nous dirons alors que l'intervalle est du genre \lumiµre". e µ commune en m¶canique classique. 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). quel que soit le changement de r¶f¶rentiel. dans un changement de r¶f¶rentiel. son signe l'est aussi. 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.

¶ 1. Son d¶placement est donc nul au premier ordre en dt0 . toutes ces notions seront beaucoup plus pr¶cises quand nous disposerons de la forme explicite e de la transformation de Lorentz. 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 ce r¶f¶rentiel. avec une vitesse nulle. Consid¶rons maintenant un intervalle de temps in¯nit¶simal dt dans R. Nous appellerons ce r¶f¶rentiel le r¶f¶rentiel ee ee 0 . 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. le temps propre de la ee e e particule entre deux ¶v¶nements servant de r¶f¶rence. en mouvement arbitraire par rapport µ un e a r¶f¶rentiel R. e e Consid¶rons d'abord une particule instable de dur¶e de vie (moyenne) T . On peut le g¶n¶raliser a e e e µ des intervalles arbitraires. ¿ . Pendant ce temps. 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¶. Le raisonnement est fait ici pour des intervalles de temps in¯nit¶simaux. Il est important de constater µ ce point ea e e e a que d¿ est une quantit¶ ind¶pendante de l'observateur. de fa»on plus g¶n¶rale. L'intervalle e s'¶crit donc aussi: e (1. Le temps propre est donc une e e e ee propri¶t¶ intrinsµque de la particule. A l'instant consid¶r¶. la e e particule se d¶place de dl = vdt. En int¶grant aussi la relation entre temps propre et intervalle de temps dans e e R. Lµ e e e e e a encore. Dans le a e e e . en int¶grant les intervalles de temps e e propre in¯nit¶simaux.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 . peut calculer un intervalle de temps propre µ partir e a a d'un intervalle de temps dans son r¶f¶rentiel. nous pouvons ¶crire dt = °d¿ avec °=s 1 v2 1¡ 2 c (1. est plus court que l'intervalle mesur¶ dans ee e un autre r¶f¶rentiel. toujours sup¶rieur a un.15) Nous retrouvons. Tout observateur. Nous nommerons une telle quantit¶ un 4{scalaire dans le chapitre ee e e suivant. EVENEMENTS ET INTERVALLES 83 Nous allons ¶tablir ce r¶sultat de maniµre plus g¶n¶rale en utilisant l'invariance de l'intervalle. e ee On peut alors d¶terminer le \temps propre" de la particule. A chaque instant. C'est en e®et une \horloge" interne µ la particule qui d¶clenche sa d¶sint¶gration. le r¶f¶rentiel tangent. En rapprochant les deux expressions pr¶c¶dentes de l'intervalle. et en d¶duire. En revanche.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. Si ce mouvement est acc¶l¶r¶. a l'expression ee e µ que nous avions d¶jµ trouv¶e au paragraphe pr¶c¶dent.14) : (1.3. e e e e ee ee la vitesse de la particule est nulle. Le facteur de \dilatation" du temps. Consid¶rons donc une particule. on montrera que la dur¶e propre est toujours inf¶rieur a la dur¶e mesur¶e dans R. ou une horloge. on peut faire en sorte que la particule soit situ¶e a ee e µ tangent au mouvement R l'origine O0 de R0 . par int¶gration. °. on peut d¶¯nir un r¶f¶rentiel tangent pour la particule. il n'existe pas de r¶f¶rentiel galil¶en dans lequel la ee ee e ee e particule soit au repos µ tout instant. 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. ind¶pendamment de son e e e ¶tat de mouvement par rapport µ la particule. 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).

e Cette brµve ¶tude du paradoxe des jumeaux introduit naturellement la notion de c¶l¶rit¶. 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. ee En revanche. les r¶f¶rentiels tangents au mouvement acc¶l¶r¶ du mobile. beaucoup plus court. 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. le jumeau voyageur fait demi-tour e e et revient sur Terre µ la m^me vitesse. Ceci n'est pas possible dans le cadre de la relativit¶ restreinte. les traces de particules µ dur¶e de vie trµs courte. Si e e ee e on d¶sire voyager loin. 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. 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. Le r¶seau d'horloges atomiques qui ¯xent le temps international e e doit p¶riodiquement ^tre recal¶. Citons ¶galement le c¶lµbre \paradoxe des jumeaux". A l'arriv¶e. En revanche. d^ µ Langevin. pour le voyageur. l'un e ee ua e reste sur terre et l'autre vole vers Proxima du centaure. quand nous aurons explicit¶ la forme de la e transformation de Lorentz. incompatible avec e cette di®¶rence d'^ge: dans le r¶f¶rentiel du voyageur. 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. l¶gµrement diminu¶ en vol. De deux frµre jumeaux. 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. la dur¶e de vie moyenne de la particule sera alors °T (nous supposerons. le temps ¶coul¶ e e n'est que de 8=° ans. Elle e ee e peut donc ^tre trµs sup¶rieure a la vitesse de la lumiµre.84 ¶ CHAPITRE 1. La fr¶quence de l'horloge est a®ect¶e en e®et par le champ de pesanteur terrestre. le temps ¶coul¶ pour le jumeau terrestre est de a e e e e huit ans (4 ans pour l'aller. En revanche. Pour cela. Si une horloge est immobile dans R. µ une distance de 4 ann¶es lumiµre. ee e pour ¯xer les id¶es. 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). De fa»on ee e e ee e c ¶vidente. avec une a e e vitesse constante. a condition de a e µ disposer d'horloges de haute pr¶cision. la c¶l¶rit¶ est le produit de la vitesse ordinaire par le facteur ° de dilatation du temps. On peut d¶¯nir alors une vitesse. le jumeau terrestre s'¶loigne et se rapproche a e a ee e µ grande vitesse. 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). a a e e La dilatation des temps se manifeste aussi µ une ¶chelle de vitesses plus accessible. le temps propre mesur¶ entre deux ¶v¶nements coÄ e e e ³ncide avec celui du r¶f¶rentiel. elle est initialement beaucoup plus proche de lui que e 4 ann¶es-lumiµre. que nous nommerons ee e c¶l¶rit¶. CINEMATIQUE RELATIVISTE r¶f¶rentiel du laboratoire. C'est cet e®et qui permet d'observer. dans les chambres a a e e µ bulles ou µ ¯ls. proche de celle de la lumiµre. si elle est en mouvement. e Si la vitesse de la particule est trµs proche de celle de la lumiµre. Nous verrons. 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. que le jumeau voyageur voit l'¶toile de destination s'approcher de lui a une e µ vitesse proche de celle de la lumiµre. e e e e e e e . 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. 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. une propri¶t¶ qui nous sera fort utile pour formuler un principe variationnel pour ee la dynamique relativiste. 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¶. on transporte physiquement d'un site µ l'autre des horloges e e e a portables de haute pr¶cision. En ee e e relativit¶ g¶n¶rale. que la particule est en mouvement rectiligne uniforme { ° est donc une constante). A peine arriv¶. en termes du temps estim¶ dans un r¶f¶rentiel et de l'espace estim¶ dans un autre. acc¶l¶r¶. autant pour le retour). 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. A l'arriv¶e du voyage. 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.

par un changement de variable ad¶quat. encore une fois. homogµne. param¶tr¶es par la vitesse relative u. 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. Le groupe des rotations autour d'un point.1 Forme de la transformation de Lorentz Le choix d'axes pour les deux repµres est. param¶trer e e 8 Nous ne d¶montrerons pas ici cette propri¶t¶. 0) dans R se transforme en l'¶v¶nement origine (0. On en trouvera une d¶monstration trµs ¶l¶mentaire dans J. Il existe un ¶l¶ment neutre. z). e e . il nous reste µ donner la forme explicite de la transformation e a de Lorentz.. 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. L'invariance de la a e e e physique dans une translation arbitraire de l'espace ou du temps impose cette lin¶arit¶. Nous e e cherchons donc une transformation L(u) permettant d'exprimer les coordonn¶es (ct0 . x. Consid¶rons en e®et trois r¶f¶rentiels: R. soit come mutatif. e e ee a Nous imposerons d'abord µ L d'^tre une transformation lin¶aire. correspondant au passage d'un r¶f¶rentiel a lui-m^me ee e ee µ e et donc µ la vitesse nulle. qui est celle de R e µ 0 : on doit avoir L(u)¡1 = L(¡u). est isomorphe au groupe e e e e e additif des r¶els8 . La transformation inverse a e e de L(u) doit donc ^tre la transformation de Lorentz correspondant a la vitesse ¡u. il est possible de montrer que tout groupe param¶tr¶ par un paramµtre unique.1. z 0 ) d'un e ¶v¶nement dans R0 en fonction de celles dans R. que nous appellerons \groupe de Lorentz". 0. e e e e Nous obtiendrons avec ce choix d'axes la transformation de Lorentz sp¶ciale. celui illustr¶ par la ¯gure 1.1. y. Notons tout de suite qu'avec e nos conventions l'¶v¶nement (0. Am. 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. telles que l'isotropie de l'espace e a e ou l'invariance par translation dans le temps.M. d¶crivant des changements de r¶f¶rentiels tout µ fait quelconques. nous aurions certainement bris¶ le principe de relativit¶. en mouvement µ la vitesse u par rapport µ R. param¶tr¶ par l'angle de rotation. 1. Deux d'entre elles sont inacceptables parce qu'elles conduiraient a µ abandonner le principe de causalit¶. Au cours de cette recherche. 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. Une simple combinaison e avec les rotations et sym¶tries nous permettra ensuite d'obtenir le groupe de Lorentz complet. La vitesse de l'origine O dans e R0 doit bien s^r ^tre ¡u. e e L'ensemble des transformations de Lorentz. 0) dans R0 . dont le e groupe sp¶cial est un sous{groupe. 47. Les deux derniµres sont la transformation de Galil¶e. R0 . pour qu'µ tout a ee e e a ¶v¶nement dans R corresponde un seul jeu de coordonn¶es dans R0 . 0. Rappelons que u est la projection e e a alg¶brique de la vitesse de R0 par rapport µ R sur l'axe du mouvement. en fait. L¶vy{ e ee e e ee e Leblond et al. Journal of Physics. et en¯n la transformation de e e e Lorentz.4. w n'est pas ¶gal a u + v). 0. mesur¶e dans R e Il n'est pas ¶vident a priori que ce groupe. l'identit¶. 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.4 Transformation de Lorentz Aprµs cette approche trµs qualitative. (ct. que e e e nous rejetterons ¶galement car elle n'ob¶it pas au principe de relativit¶. d¶crivant un changement de r¶f¶rentiel. e Notons que cet isomorphisme indique qu'on peut. Nous allons. 1045 (1980). 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. 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. TRANSFORMATION DE LORENTZ 85 1. Il doit en ^tre ainsi. Il en r¶sulte imm¶diatement que tous ces groupes sont ab¶liens (ou commutatifs). x0 . et e ee R00 . doit former un e e a a groupe. Nous verrons qu'il n'y a en fait que quatre formes possibles pour une telle transformation. 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). Chaque ¶l¶ment possµde un inverse. qui nous a permis de comprendre certaines caract¶ristiques e e e essentielles de la nouvelle cin¶matique. En fait. y 0 . 0. est e e e e directement param¶tr¶ sous forme additive. La transformation inverse est e e e celle qui donne les coordonn¶es dans R en fonction de celles dans R0 .4.

a e e µ 0 ne doit pas d¶pendre de y ou z. Consid¶rons en e®et dans le r¶f¶rentiel R0 un axe O0 X 0 confondu avec.16) (1. L'isotropie de l'espace impose de plus e a e que les facteurs a®ectant y et z soient identiques. Comme les axes Ox e ³ncident a tout instant.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. mais aussi par le L(u) e facteur 1=a(u). e a Int¶ressons nous maintenant a la transformation de x et ct. La vitesse de O est en e®et ¡u sur ee e O0 x0 et donc u sur O0 X 0 .17) = by+az : 0 0 ³ncider a t = 0. (1. e Penchons nous d'abord sur les lois de transformation des coordonn¶es y et z. On en d¶duit que: µ ct X ¶ = µ a b e f ¶µ ct0 X0 ¶ . 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). La transformation se r¶duit donc µ un simple facteur d'¶chelle sur y et z. 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. 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¶ que la ee e e transformation de Lorentz laisse invariantes les coordonn¶es perpendiculaires µ la vitesse relative.18) Montrons maintenant que ce facteur a vaut n¶cessairement 1. Consid¶rons de m^me l'axe OX oppos¶ avec l'axe Ox. X 0 = ¡x0 . a avec X = ¡x. CINEMATIQUE RELATIVISTE le groupe par un paramµtre additif. Nous avons montr¶ e®ectivement que e e ¡1 = L(¡u). 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. La transformation inverse est donc d¶crite par le facteur a(¡u). 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)). La transformation la plus g¶n¶rale e µ e e ferait intervenir les coordonn¶es y et z. on a donc ¯nalement a = 1.86 ¶ CHAPITRE 1. De m^me. Ces deux derniµres coordonn¶es ne peuvent donc intervenir dans les lois de transformation e e de y et z. mais d'orientation e e ee e e e contraire µ. Si le choix des orientations des µ axes dans les deux r¶f¶rentiels est coh¶rent.22) . En un mot. Nous verrons par la suite que ce param¶trage e e additif a une signi¯cation physique trµs claire.20) qu'on peut mettre sous la forme: µ µ ¶ ct x ¶ = µ a ¡b ¡e f µ ¶µ ct0 x0 ¶ : (1. On a donc simplement: y 0 = ay z 0 = az : (1. dans les deux e ee e cas. Finalement. O0 x0 . la vitesse du nouveau r¶f¶rentiel selon l'axe des x ou X est u. 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. En e®et. on peut exprimer la loi de e x et ct donn¶s. On peut consid¶rer la transformation donnant X et ct en fonction de X 0 et ct0 . On a donc a = 1=a et a = §1. Elle e correspond au m^me changement de r¶f¶rentiel que celui que nous ¶tudions.19) On peut pr¶ciser consid¶rablement la forme de cette transformation par un simple argument de e e sym¶trie. Si b et b0 n'¶taient pas nuls. qui se r¶sument donc µ : e a y 0 = ay + bz z 0 (1.

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

33) 0 ¡°¯ ° x x la transformation inverse ¶tant ¶videmment donn¶e par e e e µ ct x ¶ = µ ° °¯ °¯ ° ¶µ ct0 x0 ¶ .30) (1. qui conduit µ la e a composition des vitesses au sens ordinaire. ° = cosh Á(u) = p ct0 = cosh Á(u)ct u =¯ : c 1 : 1 ¡ ¯2 (1. nous pouvons employer deux arguments e suppl¶mentaires9 . 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¶. 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. Si la vitesse u est limit¶e par la vitesse de la lumiµre.37) (1. La transformation cherch¶e doit e appartenir donc au groupe de Lorentz (µ celui des rotations hyperboliques). e 9 . Ils sont donc exclus par de simples e e exigences de causalit¶. nous avons complµtement d¶termin¶ la transformation de Lorentz. qui peut e e e s'¶crire: e µ 0¶ µ ¶µ ¶ ct ° ¡°¯ ct = . il n'en est pas de e e e m^me pour le paramµtre \naturel" du groupe de Lorentz. On d¶duit e e imm¶diatement de la transformation que e x0 = ¡ sinh Á(u)ct. d'un mouvement uniforme µ la vitesse ¡u (x0 = ¡ut0 ). En termes de coordonn¶es et de temps. e Il ne nous reste que le groupe de Galil¶e et le groupe 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. Pour choisir la forme correcte. Il ne nous reste plus a qu'µ pr¶ciser la valeur du paramµtre additif Á(u). e Si nous voulons que la causalit¶ soit une notion ind¶pendante du r¶f¶rentiel. 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.35) (1. Il su±t pour cela a e e e a e d'¶crire que O est anim¶. (1. imposer la constance de la vitesse de la lumiµre ou l'invariance de l'intervalle su±rait µ choisir le dernier e a groupe.38) (1. chacun param¶tr¶ ea e e e par un seul paramµtre additif. ceux qui sont dans le c^ne de lumiµre l'un de l'autre). que nous appellerons \rapidit¶". CINEMATIQUE RELATIVISTE Nous n'avons utilis¶ jusque lµ que des arguments trµs g¶n¶raux de sym¶trie et de r¶ciprocit¶. (1.32) Notons que le facteur ° peut prendre des valeurs arbitrairement grandes.34) (il su±t de changer le signe de la vitesse relative). et tanh Á(u) = soit encore sinh Á(u) = °¯ . 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. Le premier.88 ¶ CHAPITRE 1. e e Avec ces valeurs. n'est pas acceptable. La rapidit¶ peut donc aussi e ^tre arbitrairement grande. dans R0 .31) (1. 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.36) A ce point.

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

lui donnant la distance (mesur¶e dans R) e e entre ces gares. Nous avons vu que la c¶l¶rit¶ s'exprimait par °u ou ee e ee e °¯ = sinh Á en unit¶s r¶duites. 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 = . La premiµre m¶thode est de rep¶rer.44) 1 ¡ v(v + dv)=c2 . Il n'est que temps d'examiner les di®¶rences entre ces quantit¶s et ee µ e e de pr¶ciser leur sens physique. µ e 1. e ee o La premiµre d¶¯nition de la vitesse relative de R0 (le r¶f¶rentiel du contr^leur. 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. 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. CINEMATIQUE RELATIVISTE u+v . (1. par int¶gration des temps propres dans les r¶f¶rentiels tangents successifs). Rappelons que c'est e ea e ee e la d¶¯nition qui int¶resse le voyageur interstellaire. Pendant l'intervalle de temps correspondant. est bien entendu la vitesse u. la vitesse de ce r¶f¶rentiel par rapport µ R est 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). A un ine ee stant donn¶.90 ou encore w= ¶ CHAPITRE 1. pour reprendre e e le vocabulaire ferroviaire) par rapport µ R (le chef de gare) est la vitesse u. sur les horloges de deux gares successives. e e e e ses temps de passage. 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. ou dans l'espace de R0 avec le temps de R0 .5. Cette vitesse. En int¶grant les indications de e e l'acc¶l¶romµtre sur toute la phase d'acc¶l¶ration. ee rappelons{le. Pendant un intervalle de temps in¯nit¶simal d¿ . la vitesse dans R passe de v µ v + dv. 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. 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. µ 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. e e e Nous sommes maintenant en possession d'une troisiµme \d¶¯nition" de la vitesse en termes de la e e rapidit¶. Imaginons. la vitesse du train dans le r¶f¶rentiel ee e ee ee e o ee tangent passe de 0 a dv 0 .2 Vitesse. vitesse de l'origine O0 a dans R. Notons en¯n que c¶l¶rit¶ et vitesse sont e e ee e identiques en relativit¶ galil¶enne. mesur¶e dans l'espace de R avec le temps de e e R.43) Cette loi remplace la simple addition des vitesses de la relativit¶ galil¶enne. on trouve imm¶diatement ¯(w) = 1. En utilisant la loi de composition des vitesses du paragraphe pr¶c¶dent. si l'accumulation de vitesses ne peut conduire e c a a µ une vitesse sup¶rieure µ celle de la lumiµre. en raison de l'universalit¶ du temps. Si nous savons d¶jµ que son int¶r^t r¶side dans son caractµre additif. imprim¶e dans R. Encore une fois. qui passe de 0 a u pendant la phase e ee a µ d'acc¶l¶ration. que le contr^leur d¶sire e o e d¶terminer sa vitesse. L'autre d¶¯nition que nous avons d¶jµ rencontr¶e est celle de la c¶l¶rit¶. La liste des tarifs. 1 + uv=c2 (1. il en d¶duira sa vitesse. pour bien insister sur le sens physique de ces quantit¶s. 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. Il est d'ailleurs e a e e fructueux a ce point de comparer ces notions de vitesses et de rapidit¶. 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¿ . les rapidit¶s s'accumulent sans limite. m^me si les vitres sont o e e e e occult¶es. 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). le contr^leur pourra d¶terminer sa vitesse ¯nale. 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. puisqu'elle mesure la distance parcourue dans le e e r¶f¶rentiel ¯xe par unit¶ de temps du mobile.

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. en consid¶rant ses valeurs e e e propres et vecteurs propres. L'¶quation caract¶ristique s'¶crit ¸2 ¡ 2°¸ + 1 = 0. les deux nouveaux axes sont a l'int¶rieur du premier quadrant. il n'en est pas n¶e cessairement de m^me pour une rotation hyperbolique. Au contraire d'une rotation.5 illustre la g¶om¶trie de cette e e e transformation.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. La ¯gure 1.46) Elle coÄ ³ncide donc avec la d¶¯nition de la rapidit¶. Ses directions propres coÄ ³ncident avec le c^ne de lumiµre de l'origine. 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). 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. On peut pr¶ciser encore notre interpr¶tation de cette transformation. obtenues par projection sur les e axes correspondants.5: La transformation de Lorentz interpr¶t¶e g¶om¶triquement comme une rotation hyperbolique dans l'espace ee e e temps. 1. o e soit encore dv 0 = dv : 1 ¡ v 2 =c2 (1. On a illustr¶ sur la ¯gure 1. qui prend ainsi un sens physique trµs fort. La vitesse tend asymptotiquement vers c. Notons pour ¯nir qu'en relativit¶ galil¶enne la rapidit¶ et la vitesse e e e e coÄ ³ncident aussi. Pour u > 0. elle ne conserve pas l'angle entre les axes.¶ ¶ 1. PROPRIETES DE LA TRANSFORMATION DE LORENTZ 91 ct ct' tA t'A x'A O xA x' x Figure 1.5.5 un ¶v¶nement µ e e e e (par un point). Elle admet donc deux e e e .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. ainsi que ses nouvelles et ses anciennes coordonn¶es. Si une rotation ordinaire autour de l'origine est bien connue.5.

Nous pourrons e ee en particulier pr¶ciser la valeur de la non{simultan¶it¶ dans la seconde exp¶rience.50) qui nous redonne imm¶diatement la dilatation des temps. e Consid¶rons donc deux ¶v¶nements dans un r¶f¶rentiel quelconque R. y 0 = L. t2 = °L=c x3 = 2°uL=c.92 valeurs propres r¶elles inverses l'une de l'autre: e q ¶ CHAPITRE 1. xB = L tA = ¡L=c (1. La transformation de Lorentz donne les positions de ces trois ¶v¶nements 3 3 dans R: x1 = y1 = t1 = 0 x2 = °uL=c.53) (1.49) (1. sur les deux exp¶riences de pens¶e que nous avons e e e discut¶es au d¶but de ce chapitre.5).52) tB = ¡L=c : ce qui montre clairement que les instants d'allumage dans R0 di®¶rent de 2°¯L=c. la r¶°exion sur 1 1 0 = 0. e e x0 = ¡°L(1 ¡ ¯) A x0 B = °L(1 + ¯) t0 = ¡°(1 ¡ ¯)L=c A t0 B (1. La r¶ception des e µ e e signaux coÄ ³ncide en e®et avec l'¶v¶nement origine.1 Cons¶quences de la transformation de Lorentz e Retour sur nos exp¶riences de pens¶e e e Nous reviendrons briµvement.6.6 1. CINEMATIQUE RELATIVISTE 1§¯ 1 ¡ ¯2 =p 1 = exp §Á : 1¨¯ (1. 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). e 1. t3 = 2°L=c . y3 = 0. Pour la premiµre exp¶rience. Ils correspondent µ x = ct (pour la valeur propre e a sup¶rieure a un) et x = ¡ct. On peut toujours choisir e e e ee l'un comme origine et faire en sorte. que l'autre se produise sur l'axe Ox. par un choix d'axes. t0 = 2L=c. 1.54) = ¡°(1 + ¯)L=c . nous n'avons a consid¶rer que l'allumage des feux. (1. y2 = L. dans R0 . il existe un r¶f¶rentiel dans e e e e ee lequel ils se produisent au m^me endroit. Si deux ¶v¶nements sont s¶par¶s par un intervalle de genre temps. Leurs .48) (1. 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.6. ce que nous ne e e e e pouvions faire sans la transformation. 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. On a . e Pour la seconde exp¶rience. 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.51) (1. dans ce paragraphe.47) Les vecteurs propres s'obtiennent sans di±cult¶. dans R: e e xA = ¡L On en d¶duit imm¶diatement. t0 = L=c.

ce signal se propage moins vite que e e µ la lumiµre. e e e Nous emploierons les m^mes notations. au paragraphe pr¶c¶dent de traiter le cas de deux vitesses colin¶aires. Comme l'intervalle est du genre temps. telle que nous la d¶¯nirons plus pr¶cis¶ment dans un instant. Dans ce r¶f¶rentiel. jctj < jxj . e Comme il n'y a pas de relation de causalit¶ relativiste entre ces ¶v¶nements. dz 0 et dt0 dans R0 et en utilisant la transformation de Lorentz. Il s'agit d'une e e ee u e longueur propre. 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. 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¶. On peut voir rapidement que. On peut donc lui associer un r¶f¶rentiel qui n'est. e e ee u e Si les deux ¶v¶nements se produisent au m^me endroit dans ce r¶f¶rentiel. les deux ¶v¶nements se produisent au m^me ee 0 = °(x ¡ ut) = 0.55) (1. a titre d'exercice. 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. 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.60) la transformation inverse s'obtenant trivialement en changeant le signe de u dans les expressions pr¶c¶dentes. Dans R0 les deux ¶v¶nements se e µ a produisent au m^me instant si t0 = °(t ¡ ux=c2 ) = 0.6.57) (1. la notion de causalit¶ e e e e est complµtement pr¶serv¶e par les changements de r¶f¶rentiels. . il existe un r¶f¶rentiel oµ ils e e e e ee u se produisent simultan¶ment. qui est. 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. plus e petit que c.6. Si deux ¶v¶nements se produisent au m^me point dans un r¶f¶rentiel. lµ encore. dy 0 . d'ailleurs. En un mot.58) dz = dz : On peut alors calculer sans di±cult¶s les vitesses dans R. que la vitesse de la lumiµre est bien invariante dans cette e e e µ e transformation. e ee e e e Prenons un nouveau r¶f¶rentiel R0 . 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. c'est a dire si u = c2 t=x. On a jctj > jxj puisque leur intervalle est du genre temps. Cette fois. l'ordre temporel des e e e ee ¶v¶nements n'est modi¯¶ par aucune transformation de Lorentz. qui est bien inf¶rieur µ c. En ¶crivant les ee 0 .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. Il su±t pour cela que u = x=t. leur ordre temporel peut e e e d¶pendre du r¶f¶rentiel. la relativit¶ n'admettant pas d'action instantan¶e e e e e e a µ distance. CONSEQUENCES DE LA TRANSFORMATION DE LORENTZ 93 coordonn¶es sont alors (0. le signe de t d¶pend de la transformation. autre que R0 . il peuvent ^tre li¶s par e e e ee e e un lien de causalit¶. dans ce cas. On obtient: e vx = vy = 0 vx + u 0 1 + uvx =c2 0 vy . 0 °(1 + uvx =c2 ) (1.¶ 1. x) . Nous consid¶rerons ea e e e e ici une situation physique l¶gµrement di®¶rente. e e e ee Si deux ¶v¶nements sont s¶par¶s par un intervalle du genre espace.59) (1. On v¶ri¯era. Un mobile est en mouvement avec une vitesse v dans e e e ³n¶ µ ee e le r¶f¶rentiel R0 . entra^ e a une vitesse u (selon Ox) par rapport au r¶f¶rentiel R. 0) et (ct. e e e 1.56) (1. Notons que e a endroit si x le carr¶ de l'intervalle est alors simplement le carr¶ du temps propre.

La vitesse e e e e e µ de cette lumiµre est donc vy = ¡c. de longueur L0 . e e e L'observateur O peut d'abord d¶terminer la vitesse u de la rµgle. e e ee Pour ¯xer les id¶es. On peut aussi prendre une photographie instantan¶e de la rµgle. A titre d'exercice.66) . Il peut alors mesurer la dur¶e ¢t pendant laquelle la rµgle d¶¯le devant lui. En fait. nous consid¶rerons le r¶f¶rentiel e e e ee R comme celui li¶ au systµme solaire. entra^ e a la vitesse u selon Ox.4 Contraction des longueurs Dans cette nouvelle cons¶quence imm¶diate de la transformation de Lorentz. au e chapitre suivant. immobile dans le r¶f¶rentiel e e e 0 . Leurs coordonn¶es dans R sont e e e e alors: xA = t A = 0 xB = 0 tB = ° L0 u à 1¡ u2 c2 ! (1. Pour simpli¯er la g¶om¶trie. Nous pourrons traiter ce problµme plus e±cacement quand nous aurons introduit. De la loi de composition des ee vitesses.65) = L0 °u : (1. 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.94 Aberration des ¶toiles e ¶ CHAPITRE 1. e e on peut rep¶rer. 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. 1.63) t0 B = L =u 0 (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.61) (1. Le problµme que nous abordons ici est celui de la d¶¯nition de la longueur d'un objet en mouvement. e ³n¶ µ Le r¶f¶rentiel R0 est celui de la terre. CINEMATIQUE RELATIVISTE Nous ¶tudierons ici une application imm¶diate de la loi de composition des vitesses. nous consid¶rons une rµgle rigide. e Dans la premiµre m¶thode. 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. confondue avec l'axe O 0 x0 (et ayant une extr¶mit¶ en O 0 ). 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).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 . e e Dans le m^me genre de situation.64) (par convention. a un instant t donn¶. l'extr¶mit¶ O' de la rµgle passe d'abord devant O). nous aurions pu nous int¶resser aussi a la fr¶quence de la lumiµre e e µ e e re»ue. par exemple par v¶locim¶trie e e e e Doppler. les notations tensorielles. La lumiµre de l'¶toile arrive parallµlement a l'axe Oy. Nous l'aurions trouv¶e modi¯¶e.6. Il en d¶duira e e e e alors sa longueur L = u¢t. L'application de la cin¶matique galil¶enne pr¶voit aussi une d¶viation e e e e O apparente mais elle n'est. 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. comme on le v¶ri¯era ais¶ment. 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. 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). d'un angle µ = arctan ¯°. 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. nous allons examiner ces deux proc¶dures et montrer e qu'elles fournissent la m^me longueur. 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. que µ = arctan ¯.

Dans son r¶f¶rentiel propre. dans la premiµre m¶thode.67) Pour la deuxiµme m¶thode. En revanche. Une application imm¶diate de la contraction des longueurs est la d¶¯nition de la c¶l¶rit¶.68) tB = 0 : (1. nous prendrons l'instant origine. Pour le contr^leur.72) Les deux proc¶dures conduisent donc. 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. On pourra. Si on regarde les extr¶mit¶s a un m^me instant dans R. Cependant. Cette contraction des longueurs est. Train et tunnel sont align¶s avec Ox et O0 x0 . il met 4 ans a atteindre l'¶toile ee µ e la plus proche. A e ee e 0 = 0. 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.¶ 1. ¶crire complµtement le paradoxe des jumeaux en termes e e a e e d'¶v¶nements. une ee u e e cons¶quence directe de la dilatation des temps. et la longueur L de la rµgle ainsi mesur¶e est: e µ L= L0 : ° (1.6. µ une vitesse proche de celle de la lumiµre. heureusement. La dur¶e de passage ¢t est e e e e e e ¶gale a tB . Qui dit di®¶rence sur les temps. µ la m^me longueur. 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. CONSEQUENCES DE LA TRANSFORMATION DE LORENTZ 95 On retrouve ¶videmment que ces deux ¶v¶nements se produisent en O. Dans la deuxiµme approche. 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. il ne met a e ee que 4=° ans. Reprenons e e ee e le jumeau voyageur du paradoxe de Langevin. o e . Dans le r¶f¶rentiel ¯xe. Rappelons pour ¯nir que e a e la longueur de la rµgle n'appara^ pas modi¯¶e quand elle est perpendiculaire a Ox. on e e e e µ e e e e e les voit a deux instants di®¶rents dans R0 . 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¶. on en d¶duit encore e B L= L0 : ° (1. Pour simpli¯er.71) Comme on doit aussi avoir x0 = ¡L0 . l'arriµre du train passe juste dans l'entr¶e du tunnel. la distance de l'¶toile n'est plus que de 4=° a e ann¶es lumiµre. 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. 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. 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). La solution de ce paradoxe apparent est bien s^r dans la non universalit¶ de la simultan¶it¶. µ titre d'exercice. consid¶rons un nouveau problµme de e e trains. elle est une cons¶quence e e e de la non invariance de la simultan¶it¶. 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. Un train de longueur L (r¶f¶rentiel propre R0 ) entre dans un tunnel (immobile) de longueur ee L exactement ¶gale.69) (1. situ¶e en O (ou O 0 ). en revanche.70) (1. R est le r¶f¶rentiel du tunnel.

73) On peut obtenir simplement t2 en disant que la longueur du train dans R est L=°. dans les deux r¶f¶rentiels. 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. Si il y a dans ce problµme un paradoxe. L'autre ¶v¶nement est la sortie de la locomotive. On e e peut v¶ri¯er.96 ¶ CHAPITRE 1. avant que l'arriµre du train n'entre e e dans le tunnel. Aprµs un calcul sans di±cult¶. bien que moins ardu.74) x0 = L . les coordonn¶es des deux e ee e ¶v¶nements importants. La sortie de la locomotive dans R se produit donc bien aprµs l'entr¶e du dernier wagon. dont e e ee e e les coordonn¶es dans R sont: e x2 = L L 1 t2 = 1¡ u ° µ ¶ : (1. nous ¶crirons. 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. par un calcul ¶l¶mentaire. e e e e e e On peut alors ¶crire les coordonn¶es correspondantes dans R0 . n¶gatif. La notion de pass¶ et de futur pour ces deux ¶v¶nements n'est donc pas n¶cessairement invariante. A l'instant 0. e . L'intervalle entre les ¶v¶nements est toujours du genre espace. 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 locomotive est donc a une distance L(1 ¡ 1=°) de la sortie et elle parcourt cette distance a la vitesse µ µ u. µ celui qu'on rencontre pour e a se forger une intuition en m¶canique quantique. 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 . CINEMATIQUE RELATIVISTE Pour nous en convaincre. on e e trouve: (1.75) e L'¶v¶nement 2 (sortie de la locomotive) s'est donc produit. il ne concerne e pas la validit¶ et la coh¶rence de la transformation de Lorentz. dans R0 . comme nous nous y attendions. Le problµme est similaire. 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 ee e ou. z). x3 = z : (2.3) L'¶criture syst¶matique des signes somme serait extr^mement fastidieuse.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. nous ne pr¶ciserons pas le e domaine sur lequel s'e®ectuent les sommations. y. x2 = y. ind¶pendants du choix du r¶f¶rentiel. x. 97 .1) R= ¹ en posant x0 = ct. En nous pla»ant dans un espace{temps µ quatre dic e e c a mensions. nous µ eµ utiliserons un indice romain1 : xi = x1. 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¹ . Signalons cependant que le Landau de th¶orie e e e e des champs. (2. Par convention.1. utilise une convention strictement inverse. Nous adopterons donc la convention d'Einstein 1 Cette convention est trµs largement r¶pandue dans les manuels r¶cents. Nous allons commencer par introduire la notion d'espace temps a partir a µ de l'¶v¶nement. seront alors d¶crits comme des vecteurs.2) Nous appellerons les x¹ les composantes contravariantes du 4{vecteur ¶v¶nement. dont nous recommandons la lecture. en le munissant d'une structure d'espace vectoriel. nous pourrons r¶interpr¶ter d'une fa»on trµs e±cace les notions introduites dans le chapitre pr¶c¶dent. nous introduirons ¶galement des notations tensorielles trµs e e e puissantes dues µ Einstein. e e 2. e e dans toute la suite. 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). Les lois de transformation de toutes les quantit¶s physiques se d¶duiront alors simplement des rµgles de changement de base. surtout quand nous e e e manipulerons.1 2.3 : (2. on utilisera des indices sup¶rieurs pour repr¶senter ces composantes (le risque de e e confusion avec des exposants est pratiquement nul).1 4{vecteur position d'un ¶v¶nement. des sommes multiples. Un indice repr¶sent¶ par une lettre grecque variera e e toujours entre 0 et 3 (0 repr¶sentant la coordonn¶e temporelle). d'un produit scalaire et d'une norme.2. avec les tenseurs. Par convention aussi. plus g¶n¶ralement des tenseurs (matrices) dans cet espace. Pour manipuler e e e commod¶ment ces vecteurs et ces tenseurs. e e c e e e Les objets physiques. La transformation de Lorentz ape e para^ ³tra alors comme un simple changement de base. 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. x1 = x.

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

En d¶¯nissant un nouveau \tableau de nombres" g ¹º par: e e yº = gº ¹ y ¹ . Nous avons utilis¶ ici explicitement la sym¶trie du tenseur m¶trique par une e e e permutation des indices. L'indice ¹ est un indice libre. u ¹º est donc inverse de la matrice des g .12) (2.11) (2.16) la premiµre et la derniµre expression ¶tant bien s^r ¶quivalentes.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º . 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. yi = ¡y i .1. donnant les coordonn¶es contravariantes en fonction u e e des coordonn¶es covariantes. on peut ¶crire: e y º = gº ¹ y ¹ = gº ¹ g ¹¾ y ¾ : Les g ¹º sont donc tels que: º gº ¹ g ¹¾ = ±¾ . Nous appellerons \coordonn¶es covariantes de e e l'¶v¶nement" les composantes y¹ . 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 L'indice r¶p¶t¶ (haut et bas) dans le membre de droite est º. On a donc: En termes de matrices. e e e On peut bien s^r ¶crire la transformation inverse. les rµgles de correspondance entre composantes contravariantes et composantes covarie antes sont trµs simples: y0 = y 0 . montrons que les deux ¶critures du produit scalaire de l'¶quation (2.¶ ¶ 2.14) º e oµ les symboles ±¾ sont de simples symboles de Kronecker (1 si les deux indices sont ¶gaux.15) A titre d'exercice. 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.1.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". e e En pratique. qui appara^ sous le m^me nom et dans la m^me ³t e e position (basse) dans les deux membres de l'¶quation. 99 2. commentons le fonctionnement des rµgles de sommation sur cette expression. puisque le nom d'un indice muet e e e u e n'a aucune importance. 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.2 Posons: Coordonn¶es covariantes e y¹ = g ¹º yº : (2.13) (2. Avec ces notations. (2. (2. On doit donc sommer sur toutes les e ee valeurs de cet indice. .9) Avant d'aller plus avant. 4{VECTEUR POSITION D'UN EVENEMENT. 0 sinon).

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

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. 101 primer cette transformation pour les coordonn¶es contravariantes et en d¶duire les transformations e e des coordonn¶es covariantes. on a: e e e ¾ L¹ ½ L¹ ¾ = ±½ : (2. 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. quand nous expliciterons e la forme des transformations. e r¶°exions d'espace.19) qu'on pourrait encore ¶crire en termes de la rapidit¶ Á.20) La matrice inverse L¡1 s'obtenant simplement en changeant le signe de ¯ dans les expressions pr¶c¶e e dentes. 4{VECTEUR POSITION D'UN EVENEMENT. on e®ectue la sommation sur deux indices lignes. e º par: D¶¯nissons un nouveau \tableau de nombres" L¹ e x0 ¹ = L¹ º xº : (2. : (2. l'expression (2. de nos nouvelles notations.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 .22) (2.1. En toute e e rigueur.. Elles e a e e englobent la forme sp¶ciale de la transformation de Lorentz mais elles contiennent aussi les rotations. e e On peut ¶crire la transformation de Lorentz pour les coordonn¶es contravariantes comme: e e x0¹ = L¹ º xº . Dans le ³t cas de la forme sp¶ciale de la transformation. Examinons maintenant la loi de transformation des coordonn¶es covariantes (dans l'espace dual). 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. constituant le groupe de Lorentz complet.¶ ¶ 2. (2. 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.21) Notons tout de suite que L¹ º est forc¶ment di®¶rent de L¹ º . e Les transformations que nous consid¶rerons dans ce chapitre sont tout µ fait g¶n¶rales. on a simplement: e ° B ¡¯° =B @ 0 0 0 L¹ º ¡¯° ° 0 0 0 0 1 0 0 0C C . Nous pro¯terons. En consid¶rant. Le passage au cas g¶n¶ral ne a e e e pose que des problµmes d'¶criture. dans le tableau de nombres L¹ º . Toutefois. La e e e transformation inverse peut a priori s'¶crire e x¹ = (L¡1 )¹ º x0º .18) appara^ comme un simple produit matriciel. 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. nous nous limiterons µ la forme sp¶ciale.23) Cette relation devant ^tre v¶ri¯¶e pour tout couple de vecteurs. Nous verrons qu'en fait l'utilisation de cette matrice inverse n'est pas indispensable.. 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). pour ces ¶critures.24) Notons que le membre de gauche de cette ¶quation ne d¶crit pas un produit de matrices. 0A 1 1 (2. paramµtre additif du groupe de Lorentz. e . Dans le cas de la forme sp¶ciale de la transe formation de Lorentz.

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). Dans le passage d'une transformation µ l'autre. cela revient µ changer le signe de ¯. 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).29) et donc: ¿ (g ¿ ½ g ¹º L¹ ½ ) Lº ¾ = ±¾ : En rapprochant cette ¶quation de (2. 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). Nous e savons. il faut appliquer deux tenseurs m¶triques.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. Dans la forme sp¶ciale de la transformation ee e de Lorentz. On ¶crira ainsi la relation inverse: e e Lº ¿ = g ¿ ½ g º ¹ L¹ ½ : (2. l'autre complµtement covariant qui abaisse e ee e l'indice ligne.28) (2. En exprimant les nouvelles coordonn¶es en fonction des anciennes.26) Le d¶terminant de la matrice repr¶sentant le tenseur m¶trique ¶tant 1. l'un µ complµtement contravariant qui ¶lµve l'indice colonne. La relation que nous e e venons d'¶tablir pour les changements de base g¶n¶ralise ce principe. Pour passer de L¹ ½ . l'¶tablissement d¶taill¶ de (2.30) D'un point de vue purement typographique. a Lº ¿ . dans la matrice de transformation. Les a coe±cients spatiaux et temporels sont inchang¶s. C'est bien ce qu'on observe sur la forme sp¶ciale de e e la transformation de Lorentz.30) est µ e e e e inutile et on peut ¶crire cette transformation a priori. NOTATIONS QUADRIDIMENSIONNELLES inverse que l'on obtient en changeant le signe de la vitesse relative. avec le e e e e premier indice en haut et le second en bas. 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. (2. on en d¶duit: e e e e g ½¾ = L¹ ½ g ¹º Lº ¾ : (2. 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. e e e transformant une coordonn¶e contravariante en une coordonn¶e covariante. On change donc. on voit que: e e Lº ¿ = g º ¹ g ¿ ½ L¹ ½ : (2.102 CHAPITRE 2. 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 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.27) (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. seuls changent de signe les coe±cients spatio{temporels. le signe des ¶l¶ments spatio{temporels. Si on fait con¯ance a ces rµgles typographiques.24) en utilisant la sym¶trie de g. l'interpr¶tation de cette relation est transparente. De m^me un tenseur m¶trique complµtement covariant (indices bas) abaisse l'indice. . on a: e x½ g½¾ y¾ = L¹ ½ x½ g ¹º Lº ¾ y ¾ : Cette relation ¶tant v¶ri¯¶e quelque soient R et S.

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

ee u Nous pro¯terons aussi de ce paragraphe pour introduire la notion de 4{scalaire. vitesses et acc¶l¶rations dans le m^me espace.2 2. que le temps propre ¿ de la particule en mouvement est ind¶pendant du choix de r¶f¶rentiel. ¡a). 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 .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). toute collection de quatre quantit¶s physiques e e e arbitraires ne constitue pas un 4{vecteur. positions. oµ a0 est sa composante temporelle et u et d'une coordonn¶e temporelle. 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. 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). ces composantes ont une dimension qui peut ^tre di®¶rente de celles des composantes du 4{vecteur position. Le produit d'un 4{vecteur e e par un 4{scalaire donne bien s^ r un autre 4{vecteur. Si le temps propre varie de d¿ . Il nous faut pour cela param¶trer la a e e ligne d'univers de la particule par un paramµtre temporel. Nous avons vu.2.44) Ecrivons cette quantit¶ en fonction de la vitesse spatiale ordinaire v de la particule dans un r¶f¶rentiel e ee R donn¶. la masse d'une particule ou. 4{acc¶l¶ration ee Nous chercherons ici µ d¶¯nir la vitesse d'une particule relativiste. e La position de la particule variant de dr = vdt. Chaque espµce de 4{vecteur devrait donc. Nous prendrons simplement ee e garde µ ne pas additionner des objets de natures di®¶rentes. de composantes covariantes et contravariantes. en revanche.2 4{vitesse. il se transforme ee e par la transformation de Lorentz dans un changement de r¶f¶rentiel. on a imm¶diatement dR=dt = (c. °v) : (2. Il s'agit simplement d'une quantit¶ physique ind¶pendante du r¶f¶rentiel. Le temps absolu d'un r¶f¶rentiel ne convient pas pour param¶trer e ee e la trajectoire. 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 . NOTATIONS QUADRIDIMENSIONNELLES 2. Ce paramµtre doit ^tre un 4{scalaire. u 2. en toute rigueur. comme en dynamique classique. le produit scalaire de deux 4{vecteurs (le produit scalaire de vecteurs de dimensions di®¶rentes n'¶tant pas exclu). Nous allons maintenant g¶n¶raliser la notion µ d'autres quantit¶s physiques. a). Le r¶sultat a e e sera alors ¶videmment un 4{vecteur. 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. U ¶tant un 4{vecteur. la constante de e e ee structure ¯ne. v) et e U = (c°. Les composantes covariantes pourraient alors se mettre sous la forme e e (a0 = a0 . a e Les notions de produit scalaire. Ce temps propre permet donc de d¶¯nir un 4{vecteur vitesse par: e ee e U= dR : d¿ (2.104 CHAPITRE 2. le temps dans R varie de dt = °d¿ (dilatation des temps). nous ferons ¶voluer tous e nos 4{vecteurs. Nous verrons dans les prochains paragraphes quelques exemples de 4{vecteurs. Nous noterons A = (a e a le vecteur tridimensionnel.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. exise ter dans un espace{temps propre. plus simplement. De maniµre ¶vidente. 4{impulsion.2. A priori. telle que la vitesse limite.

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

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

(2. TENSEURS 109 e T ¹ º (pour M ­ M ¤ ) ou T ¹ º (pour M ¤ ­ M ). µ un tableau diagonal de signes.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 º ¹ . ou mixte de fa»on arbitraire.3. . 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). complµtement covariant.71) On lit directement sur cette ¶quation l'expression des composantes transform¶es du tenseur.69) On aurait des ¶critures similaires pour les tenseurs complµtement contravariants (de M ¤ dans M ) ou e e les tenseurs mixtes.2. 2. 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¶.68) : Le tenseur m¶trique se r¶duisant en relativit¶ restreinte. 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.66) (2. Un e e e tenseur complµtement covariant de rang 2. On e e constatera qu'elles coÄ ³ncident bien avec celles que nous avons obtenues plus haut. d¶crivant la transformation entre deux objets de m^me nature.67) (2. le tenseur m¶trique g ¹º e e ou g ¹º peut ^tre utilis¶ pour ¶lever ou abaisser les indices. Comme pour les composantes des 4{ e c vecteurs (et cela r¶sulte du lien entre tenseur et produits de ces composantes). On pourra donc ¶crire la forme mixte sans e e e ¹ e e e pr¶ciser l'ordre des indices. e e e a En fait. nous savons bien que les composantes contravariantes et les composantes covariantes recouvrent le m^me objet physique. Ces d¶¯nition des tenseurs peut para^ abstraites. Nous e e prendrons une transformation de Lorentz L.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. Les transformations des composantes de W et de V s'¶crivent: e V º = L¾ º V 0¾ : (2. 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). alors que l'¶l¶vation ou l'abaissement d'un indice temporel ne change e ee rien. La rµgle de transformation d'un tel tenseur mixte est simplement: e e T 0¹ º = L¹ ½ Lº ¾ T ½ ¾ . Nous laisserons e e au lecteur le soin de les ¶crire. par exemple. Notons que ces deux ¶critures recouvrent a priori des objets di®¶rents. comme Tº . Nous pourrons ¶crire par exemple: e e e e T ¹º T T ¹ ¹ º º = g ¹½ g º ¾ T ½¾ = g gº ¾ T ½ = gº ½T ¹½ ¹½ ¾ (2. d¶crit naturellement une application lin¶aire e e e e de M dans M ¤ . par exemple.3 Vocabulaire et exemples Un tenseur de rang 2 est dit sym¶trique si: e T ¹º = T º ¹ (2. e Les rµgles de changement de base pour les tenseurs peuvent se d¶duire de cette forme. 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. L'image W d'un vecteur V s'¶crit alors: W ¹ = T ¹º V º : (2.3.

Le couple champ ¶lectrique/champ e e magn¶tique ob¶issant µ ces conditions. Nous commencerons par red¶¯nir le gradient. 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. La contraction d'un µ tenseur de rang trois donne. 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. Il s'agit d'un tenseur sym¶trique. e e e Nous appellerons \trace" d'un tenseur de rang 2 la quantit¶ T ¹ ¹ = T ¹ ¹ . NOTATIONS QUADRIDIMENSIONNELLES Un tenseur de rang 2 est dit antisym¶trique si: e T ¹º = ¡T º ¹ : (2. On pourra v¶ri¯er directement qu'il ea e e est bien invariant dans une transformation de Lorentz.110 CHAPITRE 2. que les matrices de changement de base ne sont pas µ proprement parler des op¶rateurs. a titre d'exercice. b) ¡bx A 0 1 (2. elle donne un tenseur de rang 0. 1. Parmi les 256 e e e ¶l¶ments de ce tenseur. 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. Sa forme e ¹ ¹ mixte est ¶videmment: gº = g ¹½ gº ½ = ±º . 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). a ee En toute rigueur. 12 valant +1 et 12 ¡1. e a ee 2. Il n'y a donc que 24 ¶l¶ments non nuls dans ².75) ce qui ¶tablit bien la propri¶t¶ cherch¶e. nous connaissons d¶jµ le tenseur m¶trique. 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. c'est µ dire un 4{vecteur. a Montrons. l'¶l¶ment correspondant vaut +1. pour sa part.4 D¶rivation et analyse vectorielle e La derniµre ¶tape µ franchir est de refonder.73) Les termes diagonaux de ce tenseur T ¹¹ sont ¶videmment nuls.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). un tenseur de rang 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. Plus g¶n¶ralement. en algµbre e e lin¶aire. pour g¶n¶raliser ensuite aux autres op¶rateurs e e e e . nous e appellerons \contraction" d'un tenseur sur un indice une expression comme T ¹ ¹ ½ . (2. ee puisqu'on abaisse toujours trois indices spatiaux dans cette op¶ration. Il vaut -1 si la permutation est ee impaire. 3). nous ne devons pas les consid¶rer comme des tenseurs. dans notre formalisme quadridimensionnel. 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 ¾ ¾ ¿ . e ee e Comme tenseurs. l'analyse vece e a torielle. On a ²¹º ½¾ = ¡²¹º ½¾ . Nous d¶¯nirons ¯nalement le tenseur de rang 4 complµtement antisym¶trique ²¹º ½¾ . On sait bien. seuls sont non nuls ceux dont les indices correspondent µ une permutation de ee a (0. 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. Si la permutation est paire. c'est a dire un 4{scalaire).

e e e e 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).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.¶ 2.81) µ 1 @f . e e µ On peut aussi d¶¯nir la d¶rivation par rapport aux coordonn¶es covariantes: e e e @¹ = @ : @x¹ (2.78) oµ les @ 0 repr¶sentent les d¶riv¶es par rapport aux nouvelles coordonn¶es contravariantes.1 D¶rivation e Nous pouvons d¶¯nir. pour une fonction du 4{vecteur position d'un ¶v¶nement. peut s'¶crire @¹f = et @ ¹f = µ 1 @f . la d¶rivation par e e e e rapport aux coordonn¶es contravariantes de l'¶v¶nement: e e e @¹ = @ : @x¹ (2.80) @ ¹ = g ¹º @ º .4. e L'analogue du rotationnel sera le tenseur de rang 2 complµtement antisym¶trique: e e @ ¹ Aº ¡ @ º A¹ : (2. ¡rf c @t (2. on peut d¶¯nir sa divergence comme: e e @ ¹ A¹ = @ ¹ A¹ = 1 @a0 +r¢a . 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.83) qui n'est pas sans nous rappeler l'¶quation de conservation de la charge ou la jauge de Lorentz. rf c @t ¶ ¶ (2. e e e e ee 2. DERIVATION ET ANALYSE VECTORIELLE 111 di®¶rentiels. 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. Cette loi de u e e e e transformation peut aussi s'¶tablir p¶niblement a partir des lois de transformation des composantes. @ ¹ f . a).82) Si on considµre un champ de 4{vecteurs A¹ (xº ) = (a0 .2 Analyse vectorielle On peut d¶¯nir µ partir des @ ¹ des analogues des op¶rateurs de l'analyse vectorielle µ trois dimensions. g¶n¶ralisation aux op¶rateurs di®¶rentiels des lois d'¶l¶vation ou d'abaissement des indices. (2. 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.84) .77) df = @ ¹ f (xº )dx¹ : df ¶tant un scalaire et dx¹ un vecteur contravariant. @ ¹ est un \vecteur" covariant. e a e a e e e Si f est une fonction scalaire. c @t (2.4. g¶n¶ralisant le gradient. Il se transforme e donc comme tel dans une transformation de Lorentz: @ 0 ¹ = L¹ º @ º . On a de plus (2.

6 dont on montre qu'il a toutes les propri¶t¶s requises. On pourrait alors en d¶duire les lois e e e relativistes de transformation des potentiels dans un changement de r¶f¶rentiel et. 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. 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).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.112 CHAPITRE 2. (2. 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 ¹ .89) dS ¾ = ¡ ²¾¹º ½ dS ¹º ½ . e a e ee Un ¶l¶ment de surface est un petit objet µ trois dimensions. 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­ .4. 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. A). 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.88) A dS ¹ = ¹ Z V @ ¹ A¹ d­ . On peut obtenir dS ¹ par une e ee proc¶dure d'orthogonalisation standard. e 2.90) . L'¶quation de conservation de la charge s'¶crit simplement @ ¹ J e e vecteur courant. e Une surface dans l'espace µ trois dimensions est une vari¶t¶ a trois dimensions. µ Les ¶quations de Poisson pour les potentiels peuvent se regrouper en @ ¹ @ ¹ Aº = ¹0 J º . (2. La condition de jauge de Lorentz s'¶crit tout simplement @ ¹ A¹ = 0. en utilisant le 4{ classique. L'¶quation de Poisson prouve imm¶diatement que cette quantit¶ est un 4{vecteur. les ee e lois de transformation des champs.86) (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. 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. Nous pouvons ainsi r¶¶crire de fa»on extr^mement simple quelques lois de l'¶lectromagn¶tisme ee c e e e ¹ = 0. dy ¹ et dz ¹ (comme un petit ¶l¶ment de surface µ deux dimensions est e a ee sous{tendu par deux vecteurs in¯nit¶simaux). Sa mesure est pr¶cis¶ment le volume spatial de l'¶l¶ment consid¶r¶. Nous ¶tablirons plus simplement ces r¶sultats dans les prochains e e chapitres. par d¶rivation. Il trouvera un 4{vecteur dont seule la composante ee temporelle est non nulle. a condition e e de regrouper les potentiels scalaire et vecteur en un 4{vecteur A¹ = (V =c. On peut le consid¶rer comme sousee a e ee a tendu par trois 4{vecteurs dx¹ .85) et n'est pas autre chose que le d'alembertien .

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).¶ 2.91) On peut en¯n d¶¯nir une int¶grale curviligne sur une ligne d'univers. 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. Celui-ci est en g¶n¶ral nul pour des e e champs physiques. 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). Entre les deux. e 3 . 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 . DERIVATION ET ANALYSE VECTORIELLE 113 oµ V est un volume dans l'espace{temps et S sa surface frontiµre.92) Cette sphµre de l'in¯ni est assez peu intuitive.4. 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. 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.

NOTATIONS QUADRIDIMENSIONNELLES .114 CHAPITRE 2.

3. l'int¶grale du temps propre est maximale si la particule se d¶place µ vitesse constante e e a entre a et b. relative a la particule.2) oµ ds est un intervalle in¯nit¶simal sur la ligne d'univers: ds = cd¿ . l'expression relativiste de l'impulsion e e e de la particule. Le temps sur lequel on intµgre le lagrangien doit donc ^tre lui e e aussi un 4{scalaire. (3. Nous en d¶duirons. En revanche. 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. On ¶crira donc: o e e S= ou encore: 1 S= c Z b a L d¿ . il faut en e®et la relier aux causes du mouvement. 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).) n'ont aue e e e cun sens en relativit¶ (elles ne peuvent se transformer correctement dans un changement de r¶f¶rentiel). de maniµre plus int¶ressante. (3. Nous conclurons ce chapitre par quelques brµves remarques sur le vaste problµme e e e e e des collisions de particules relativistes.1 Particule Libre Nous essayons ici de d¶¯nir une action ou un lagrangien pour une particule relativiste libre. e dont nous d¶duirons les ¶quations de Lagrange (qui donnent trivialement un mouvement rectiligne e e uniforme). 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. le choix le plus simple est une constante ¡®. Nous choisissons µ un signe moins et une constante positive. La cone dition d'extr¶malit¶ de l'action devrait alors nous donner la ligne d'univers suivie par cette particule. u e Pour L. C'est ce que nous ferons au prochain chapitre dans le cas de l'¶lectromagn¶tisme. Ce choix conduira µ un minimum pour l'action1 . e e a e 1 115 . 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. pour avoir un minimum. L'action. Nous commencerons par postuler une forme trµs simple pour l'action d'une particule libre. doit donc ^tre oppos¶e µ l'int¶grale du temps propre. De maniµre ¶vidente. Nous e n'irons pas beaucoup plus loin dans ce chapitre. en \red¶couvrant" l'expression de la force de Lorentz. tensions. En¯n. Notons a ce point que e e e µ toutes les forces ph¶nom¶nologiques utilis¶es en m¶canique classique (frottements. Pour utiliser la notion de force. seul le temps propre ¿ de la particule convient. 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). il nous faut bien s^r ¶tablir la nouvelle dye e e u e namique.1) Z b a L ds . Nous d¶¯nirons alors la notion de force pour une particule en interaction..

de positions a e µ un instant initial et µ un instant ¯nal. il faut que ® = mc2 . sans perdre l'invariance relativiste. Les deux trajectoires coÄ e ³ncident pour les ¶v¶nements initial et e e ¯nal.4) L = ¡mc2 et l'action s'¶crit simplement: e S = ¡mc 2 Z d¿ = ¡mc Z ds : (3. Le lagrangien d'une particule libre est donc une simple e e constante: (3. les ¶quations de Lagrange. Nous ne pouvons plus en e®et sp¶ci¯er. 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. 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¹ (¿ ). a qui r¶alise un extremum pour l'action. e e ee l'autre une trajectoire in¯niment proche (en pointill¶s). la . 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.1: Deux lignes d'univers joignant deux ¶v¶nements. 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.3) ³ncide avec Le terme constant ne joue aucun r^le dans l'action classique. La partie de droite sch¶matise des ¶l¶ments in¯nit¶simaux correspondants des deux trajectoires. µ partir de cette expression de l'action. Notons qu'avec ce choix d'¶criture.116 CHAPITRE 3. Les e e e ¶v¶nements de cette ligne d'univers peuvent donc s'¶crire x¹ (¿ ).1). Elle est param¶tr¶e par le temps propre ¿ de la particule. L'une de ces trajectoires sera la trajectoire e®ectivement suivie.5) Nous allons maintenant ¶tablir. oµ ±x¹ (¿ ) est une quantit¶ in¯nit¶simale. Pour que le terme en v 2 coÄ o l'¶nergie cin¶tique. En remarquant que d¿ = dt=°. 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. L'une est la trajectoire de r¶f¶rence (en traits pleins). on ¶crira: e S = ¡® Z q 1 ¡ v 2 =c2 dt = Z (¡® + ®v 2 =2c2 ) dt : (3. e e e L'autre ligne d'univers s'¶carte de la trajectoire de r¶f¶rence par des quantit¶s in¯nit¶simales.

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. Sur la ligne ee e e a d'univers vari¶e. l'¶quation (3. Notons que le temps propre est utilis¶ comme un simple paramµtre. PARTICULE LIBRE 117 trajectoire vari¶e et la trajectoire de r¶f¶rence sont param¶tr¶es par le m^me temps propre ¿ . 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. 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. Consid¶rons un intervalle in¯nit¶simal de temps propre d¿ (voir partie droite de la ¯gure 3. La nullit¶ de ±S ne peut ^tre assur¶e pour tous les accroissements que si: e e e e e dU ¹ =0. u Pour obtenir les ¶quations 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. Nous avons d'abord pris la mesure des di±cult¶s mises en jeu e e dans un calcul variationnel en relativit¶ (en particulier. du mouvement de la particule libre. e e et donc d'¶tablir la forme relativiste de l'impulsion. Dans toute la suite du raisonnement.7) En d¶veloppant cette derniµre expression au premier ordre non nul dans les petits accroissements. l'accroissement de la vitesse ¶tant manifestement la d¶riv¶e temporelle de l'accroissement. nous traiterons les accroissements ± comme des in¯niments petits d'ordre sup¶rieur par rapport aux ¶l¶ments d de trajectoire. 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¹ .1). e e En fait. nous avons ¶tabli.9) Le terme tout int¶gr¶ est manifestement nul puisque les deux lignes d'univers coÄ e e ³ncident sur les ¶v¶nements limites. en passant. Sur e e a la trajectoire de r¶f¶rence. Ensuite.8) = .1. nous avons du prendre garde de ne manipuler e que des quantit¶s 4{vectorielles ou scalaires).6) (dx¹ + ±dx¹ )(dx¹ + ±dx¹ ) : (3. d¿ (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. en revanche. ¡m Z b a oµ nous faisons intervenir la 4{vitesse U ¹ = cdx¹ =ds de la particule.10) ce qui constitue l'¶quation de Lagrange. e . on passe de l'¶v¶nement x¹ µ x¹ + dx¹ avec dx¹ = (dx¹ =d¿ )d¿ . n¶cessairement triviale.3. ¿ 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). 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.

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

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

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

Le seuil de r¶action.22) . appel¶ e e ee e ee e \r¶f¶rentiel du centre de masse" RCM . p). dans le r¶f¶rentiel barycentrique. plus anciennes.4. De maniµre ¶vidente la quantit¶ de mouvement totale n'est pas e e e e nulle. 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. Il faut donc choisir: impulsion p ¯= pc . 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. CONSERVATION DE L'ENERGIE{IMPULSION. Tous les mouvements s'e®ectuant e e sur l'axe projectile/cible. Dans ce r¶f¶rentiel. 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. est donc de mc2 pour chaque particule. par exemple). e Le calcul du seuil est complexe pour les r¶actions complexes.¶ 3. E + mc2 (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. Dans RCM . qui ne coÄ ³ncide pas n¶cessairement avec le r¶f¶rentiel du centre de masse. On peut estimer le seuil de r¶action dans ce cas. 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 . Nous cherchons donc une transformation de Lorentz (paramµtres ¯ et °) telle que la nouvelle e 0 soit nulle. APPLICATION AUX COLLISIONS 121 couvrir toutes les applications de la conservation de la 4{impulsion µ la physique des particules. Elle est donc d¶¯nie dans un r¶f¶rentiel oµ la quantit¶ de mouvee ee u e ment totale est nulle. 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.23) (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.1 Seuil de r¶action e La plupart des collisions r¶alis¶es dans les acc¶l¶rateurs visent µ produire de nouvelles particules. Ce n'est que dans e ee le cas des anneaux de collision (LEP pour les collisions ¶lectron/¶lectron. Ceci ne signi¯e pas n¶cessairement que la r¶action e e e e e se produise e®ectivement. 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. L'¶quation de la r¶action s'¶crit: e e e p + p ¡! p + p + p + p : (3. c 3.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. 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 existe un tel r¶f¶rentiel. mais a ils permettent d'illustrer de fa»on simple des techniques et des concepts importants. L'¶nergie de chacun doit donc ^tre 2mc2 et son ¶nergie cin¶tique e e e e 2 . Nous e ee noterons E et p l'¶nergie et la quantit¶ de mouvement du projectile. on a simplement: E 0 = 2°mc2 : (3. Dans beaucoup d'exp¶riences. Pour tout systµme de particules mat¶rielles. Le 4{vecteur ¶nergie{impulsion total avant la collision s'¶crit donc (E=c + mc. un seul des protons est en mouvement (le projectile) e et l'autre (la cible) est immobile. l'¶nergie minimale est donc 4mc2 (les particules et les antiparticules ont m^me masse m).4. Il est clair aussi e e a e que la vitesse de RCM par rapport µ R est selon cet axe. Il est l'analogue du r¶f¶rentiel barycentrique en m¶canique ee e e classique.21) ce qui d¶¯nit le mouvement du r¶f¶rentiel du centre de masse. nous n'¶crirons que des quantit¶s en projection sur cet axe.

Aprµs quelques e e manipulations.25) e e Le seuil de r¶action s'obtient alors en ¶crivant que E 0 doit ^tre plus grand que 4mc2 . Avec une puissance e donn¶e d'acc¶l¶rateur. le photon perd n¶cessairement de l'¶nergie. nous pouvons supposer que les e e e e trajectoires ¯nales de l'¶lectron et du photon sont dans le plan Oxy. Aprµs la collision. le photon de fr¶quence º et d'¶nergie hº est incident dans la direction e e e e e de l'axe Ox. Ceci explique que pratiquement toutes les grandes machines sont maintenant des anneaux de collision.24) 2mc2 (E + mc2 ) : (3.2.2: Di®usion d'un photon par un ¶lectron initialement au repos. 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. Partie droite: ¶tat e e e ¯nal. il est donc. DYNAMIQUE RELATIVISTE hν' hν θ Figure 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 .4. pr¶f¶rable de travailler avec des collisions entre deux e ee ee particules en mouvement. de beaucoup. Le photon est di®us¶ avec une fr¶quence modi¯¶e et l'¶lectron est ¶ject¶. 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.26) l'¶nergie cin¶tique du projectile devant ^tre d'au moins 6mc2 . on a besoin d'une ¶nergie 6 fois plus grande. 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. 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. L'¶lectron emportant de l'¶nergie e e e cin¶tique. Sa nouvelle fr¶quence sera not¶e º 0 .2 E®et Compton Notre second exemple sera l'e®et Compton. Partie gauche: ¶tat initial. 3. Au lieu d'une ¶nergie ee e e cin¶tique par particule de mc2 . on voit que le seuil s'¶crit: e E > 7mc2 . Toujours sans restreindre la g¶n¶ralit¶. (3.122 CHAPITRE 3. Les paramµtre importants du problµme sont repr¶sent¶s sur la e e e e e e ¯gure 3. e µ e e comme nous le verrons. Sans restreindre la g¶n¶ralit¶. 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¶). 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 pourrons ¶crire: e e P = (hº=c. hº =c cos µ. 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.35) (3. En¯n. e Les 4{impulsions du photon avant et aprµs la collision seront not¶es P et P0 . Pour calculer º 0 e e e e e en fonction de µ.36) (3. e e e e E et qx . Pour des photons visibles. qy ) : 0 0 (3. qy repr¶sentent l'¶nergie et la quantit¶ de mouvement de l'¶lectron di®us¶. 0) Q Dans les ¶quations pr¶c¶dentes. On notera de m^me e e 0 les impulsions initiale et ¯nale de l'¶lectron. L'e®et photo¶lectrique. 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¶. hº=c. dans le produit scalaire Q ¢ Q0 . Quand e e a e nous ¶tudierons la di®usion de rayonnement par un atome nous n¶gligerons complµtement cet e®et. P2 = P02 = 0. e e a e e 4 . P 0 0 (3. qx . par µ e e exemple. (3. le produit des composantes spatiales est e e nul et il ne reste que le produit des composantes temporelles: Q ¢ Q0 = ¡2mE. 0. une des premiµres preuves indiscutables de l'existence du photon.¶ 3. La e e longueur ¸c . s'il e e e est parfaitement explicable en termes de photons. 0) . En nous souvenant que la quantit¶ de mouvement e e Q et Q spatiale de l'¶lectron est hº=c.28) (3. CONSERVATION DE L'ENERGIE{IMPULSION. sans doute. appel¶e longueur d'onde de Compton de l'¶lectron.30) Q = (mc. La loi de conservation de l'¶nergie{ ae e impulsion s'¶crit: e (3. 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 . la modi¯cation de fr¶quence due au \recul" de l'¶lectron est tout µ fait n¶gligeable. 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. la e e u c e simple application de la conservation de l'impulsion relativiste permet d'expliciter ce calcul4 . nous allons chercher µ ¶liminer ces inconnues. APPLICATION AUX COLLISIONS 123 di®usion µ. c'est a dire de trµs haute ¶nergie.4.27) 0 = (hº =c.29) (3.33) u Le photon ¶tant une particule de masse nulle. hº =c sin µ) = (E=c.31) P + Q = P0 + Q0 : On en d¶duit imm¶diatement: e e (P ¡ P0 )2 = (Q ¡ Q0 )2 0 2 02 (3. De plus Q2 = Q02 = m2 c2 oµ m est la e masse de l'¶lectron. De fa»on trµs remarquable. vaut: ¸c = h = 2: 10¡11 m : mc (3.37) ¸0 ¡ ¸ = ¸c (1 ¡ cos µ) .32) 0 P + P ¡ 2P ¢ P 2 02 = Q + Q ¡ 2Q ¢ Q : (3. 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¯¶. nous n'avons ¶crit que les composantes spatiales dans le plan Oxy.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.

124 CHAPITRE 3. DYNAMIQUE RELATIVISTE .

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.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. En¯n. 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. Nous ¶tablirons ainsi la transformation des champs ¶lectromagn¶tiques dans un changement e e e de r¶f¶rentiel. comme la pression de radiation ou m^me la force de Coulomb ¶lectrostatique. 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. L'¶criture en termes de quantit¶s explicitement covariantes nous ee e e e fournira des r¶sultats nouveaux. dont nous montrerons ee e µ qu'ils ont une signi¯cation physique importante. Les seules variables dynamiques dans ce cas sont donc celles de la particule libre. Si cette particule \test" est su±samment petite. 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. Nous allons d'abord consid¶rer une particule unique e ee e e e en pr¶sence d'un champ impos¶. en l'absence de toutes particules. nous ne nous contenterons pas dans ce chapitre de e u r¶¶crire des ¶quations bien connues.1) S = SParticules Libres + SChamp Libre + SInteraction . comme on le fait souvent dans e e les expos¶s ¶l¶mentaires d'¶lectromagn¶tisme. 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. la e th¶orie de champ la plus simple qui ne soit pas triviale. e e e 125 . 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 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. di±ciles ou impossibles a ¶tablir dans le cadre de l'¶lectromagn¶tisme e µe e e classique. dans le cadre de la relativit¶. elle ne modi¯e pas notablement le champ ni la dynamique des particules \sources". nous allons tenter de construire. Nous aurons donc pu d¶duire les e e e ¶quations de Maxwell d'une approche lagrangienne trµs g¶n¶rale. En d'autres termes. d'autre part la pr¶sence e du champ modi¯e la trajectoire des particules. L'action totale pour ce systµme peut a priori se d¶composer e e e e sous la forme: (4. nous allons proc¶der en deux temps. Nous supposons donc qu'un grand ensemble de particules cr¶e un e e e champ qui agit sur une particule test. les valeurs du champ ¶tant des quantit¶s impos¶es. mais plus profonde. SInteraction repr¶sente l'interaction e entre particules et champ: d'une part les particules sont la source du champ. SChamp Libre repr¶sente l'action e e d¶crivant le champ seul. Pour aborder ce problµme. 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 isolerons des invariants scalaires form¶s a partir des champs. Bien s^r. Nous postulerons pour cela la forme des e actions associ¶es aux particules et au champ. Nous e e allons en fait proc¶der d'une fa»on beaucoup moins directe.

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. 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.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". r¶soudre tout problµme d'¶lectromagn¶tisme.1. En ¶crivant les propri¶t¶s du rotationnel relativiste. e 4. 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¿ . nous nommerons e noterons A¹ (xº ) = (V =c.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¶. Dans l'expression de l'action d'interaction.2) oµ a et b sont deux ¶v¶nements d¶crivant les conditions aux limites impos¶es a la particule. Pour des raisons qui appara^ le champ A \potentiel". La quantit¶ la plus e e e e simple non triviale que nous puissions former est donc: SInteraction = ¡q Z b a A¹ dx¹ . comme au chapitre pr¶c¶dent. 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. comme ¶quations de Lagrange. nous consid¶rerons un champ en interaction avec des particules dont e e la dynamique est impos¶e. on peut. La e e e e e derniµre partie de ce chapitre sera alors consacr¶e a l'exploitation de ces r¶sultats. 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 . 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 . L'action d¶crivant e e e e la particule libre s'¶crit simplement e SParticules Libres = ¡mc Z b a ds . en particularisant pour un instant un r¶f¶rentiel R et en e d¶veloppant le produit scalaire. il faut comprendre. e µ propre ¿ et que dx Nous pouvons tout de suite nous rassurer sur la pertinence de ce lagrangien d'interaction. 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. ee Dans un deuxiµme temps. En ee ¶crivant que (dx¹ =d¿ )d¿ = U ¹ d¿ = U ¹ dt=°. 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.4) oµ v est la vitesse tridimensionnelle de la particule dans R. dont nous verrons qu'elles redonnent e e e l'expression attendue pour la force de Lorentz. Nous y ¶tablirons e e µ e e en particulier les bilans d'¶nergie{impulsion pour le champ. la ligne d'univers de la particule serait simplement la droite joignant a et b. En u e e e e µ l'absence de champ. (4.1 4. c'est µ dire d'un tenseur de rang deux antisym¶trique. Nous obtiendrons alors. Ce tenseur pouvant a e ^tre exprim¶ a partir de deux champs de vecteurs. les ¶quations de Maxwell faisant intervenir les sources. A).126 ¶ CHAPITRE 4. au moins en principe. (4. nous retrouverons que l'¶lectromagn¶tisme est e e µ e e une th¶orie a deux champs. 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. ELECTROMAGNETISME RELATIVISTE Nous pourrons alors ¶crire ais¶ment les ¶quations de Lagrange.

7) Le terme tout int¶gr¶ de l'int¶gration par parties est identiquement nul. 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.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¹ . a e e a Traitons d'abord le deuxiµme terme.¶ 4. on peut ¶crire la variation totale de l'action sous la forme: e ±S = Z b ∙ dP ¹ a d¿ ¡ G¹ ±x¹ d¿ . sur la trajectoire de r¶f¶rence.1). En ¶crivant e e e la variation de l'intervalle ¶l¶mentaire et en se livrant a la traditionnelle int¶gration par parties. dxº = (dxº =d¿ )d¿ = U º d¿ .10) En remarquant ¯nalement que. puisque les trajectoires e e e coÄ ³ncident aux extr¶mit¶s. 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. 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º .8) @ º A¹ dxº ±x¹ : (4. µ 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. aprµs une ee µ e e permutation sans cons¶quences des indices muets. s'¶crit donc @ ¹ Aº ±x¹ dxº . ¸ (4. oµ U º est ee u la 4{vitesse. (4.11) . C'est µ la justi¯cation d¶taill¶e e e a e e de cette assimilation que nous allons proc¶der maintenant. 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. 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.9) Revenons maintenant au premier terme. Le terme a int¶grer. e Comme dans le chapitre pr¶c¶dent (on se reportera en particulier µ la ¯gure 3.1. 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. 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. Le potentiel ¶tant une fonction de l'¶v¶nement auquel il est estim¶.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. La variation de l'action de la particule libre s'obtient comme au chapitre pr¶c¶dent. PARTICULE LIBRE DANS UN CHAMP IMPOSE 127 cours. 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. on ee µ e trouve: Z b dP ¹ ¹ (4.

15) 4. Les trois coordonn¶es spatio{temporelles forment e e e e les composantes d'un vecteur spatial. On peut ¶crire les composantes spatio{temporelles sous la forme: e F 0i = @ 0 Ai ¡ @ i A0 1 @Ai ¡ @iV ) = (¡ c @t Ei = . Les ¶quations de mouvement s'¶crivent donc: e e dP ¹ = G¹ . 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. alors que les trois coordonn¶es purement spatiales forment les e composantes d'un pseudo{vecteur.2 Tenseur champ ¶lectromagn¶tique e e F ¹º est par d¶¯nition un tenseur antisym¶trique de rang 2. µ e e .20) (4.12) Les ¶quations de Lagrange s'obtiennent alors imm¶diatement. qui est un tenseur de rang deux. ELECTROMAGNETISME RELATIVISTE G¹ = q [@ ¹ Aº ¡ @ º A¹ ] U º : (4. ¶crit ici sous sa forme complµtement covariante. e La force s'exprime en fonction du rotationnel du potentiel. antisym¶trique.128 avec ¶ CHAPITRE 4.17) @t Nous nommerons bien s^r \champ ¶lectrique" le vrai vecteur spatial ainsi d¶¯ni.21) De maniµre toute naturelle.13) la quantit¶ G¹ n'¶tant autre que la 4{force que nous avions pressentie au chapitre pr¶c¶dent. 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. 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.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. Nous appellerons tenseur champ ce e e e rotationnel et nous poserons: (4. d¿ (4. c en posant @A : (4.1. Il ne e e d¶pend donc que de six coordonn¶es ind¶pendantes.16) F 13 = By F 23 = ¡Bx . (4. 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.19) (4.18) (4. en introduisant le pseudo{vecteur \champ magn¶tique" e B= r£A (4. le 4{rotationnel du potentiel (V =c. A).

nous retrouvons la forme standard de la transformation de jauge: A ¡! A ¡ r© @© : V ¡! V + @t (4.28) = °( . 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). r ¢ A = 0.29) . on trouve: dE = qE ¢ v .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. la \jauge de Lorentz".3 Force de Lorentz Pour nous rapprocher encore de l'¶lectromagn¶tisme sous sa forme classique. dt (4. elle est a proscrire quand s'imposent e e ee e µ des changements de r¶f¶rentiel. (4.1. 0 ¡Bx A Bx 0 1 1 (4. ¡ ) = qF ¹º U º . ee 4. sous forme complµtement contravariante: e Ey =c Ez =c ¡Bz By C C .25) Pour lever l'ambiguÄ e sur le potentiel.¶ 4.27) (4. En exprimant cette u transformation en termes des composantes spatiales et temporelles du potentiel.1.23) oµ © est un champ de 4{scalaires arbitraire. La transformation \de jauge" A¹ ¡! A¹ + @ ¹ © . cette condition de jauge se doit d'^tre manifestement covariante. qui s'¶crit en termes des composantes spatiales et temporelles: e 1 dV +r¢A=0 : c2 dt (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. ° dt dt dt oµ E est l'¶nergie totale de la particule et p sa quantit¶ de mouvement tridimensionnelle. l'¶quation de la dynamique e e ee e s'¶crit: e dE=c dp dP ¹ (4. ou jauge de Coulomb. Si elle e peut ^tre employ¶e sans restriction dans un r¶f¶rentiel donn¶. 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. 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. brise la covariance. est d'imposer la nullit¶ de la 4{divergence du potentiel: e @ ¹ A¹ = 0 . e La plus naturelle. En fonction du temps t dans le r¶f¶rentiel R. laisse invariante la dynamique. ³t¶ e Pour respecter l'invariance relativiste. nous pouvons imposer une condition de jauge suppl¶mentaire.26) Notons que la jauge de l'¶lectrostatique. 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.

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

que la rapidit¶ de la particule continue. 2m (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. (4. pour a e sa part. 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. On trouve alors e e x= 1 qEt2 . Aux temps longs. On tire u e de cette ¶quation imm¶diatement: e e qEt °x = _ .35) qui s'int¶gre ais¶ment en e e 1+ qEt mc a µ condition de prendre x = 0 comme condition initiale. On pourra montrer.37) ¡ 15 . 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).1. bien s^r. 1 + V 2 =c2 µ ¶2 3 (4. e e e il est ¶vident que le mouvement s'e®ectue le long de cet axe. la vitesse de la particule est faible et on peut d¶velopper e l'expression pr¶c¶dente au premier ordre en qEt=mc. L'¶quation de la dynamique. oµ les quantit¶s prim¶es sont relatives au nouveau r¶f¶rentiel. Pour simpli¯er l'algµbre.38) F 0¹º (x0® = L® ¯ x¯ ) = L¹ ½ Lº ¾ F ½¾ (x¯ ) . 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.36) mouvement uniform¶ment acc¶l¶r¶ de la dynamique classique. e e 4. 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.¶ 4. Les deux e e e .34) m la valeur initiale de cette quantit¶ ¶tant nulle par convention. s'¶crit alors: e d° x _ = qE : (4. µ titre d'exercice. Pour des temps su±samment petits. Le champ ¶tant un champ de tenseur. Le calcul ne pr¶sente aucune e di±cult¶ de principe. x tend e ee e simplement vers ct: la vitesse de la particule tend vers la vitesse de la lumiµre. sans trop restreindre la physique. l'¶nergie de la particule et donc le facteur ° ne sont pas des constantes.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. Le champ ¶lectrique ¶tant par convention orient¶ le long de l'axe Ox. On d¶duit alors de ce qui pr¶cµde: e e e x= p _ x= mc2 qE 2s 4 V .33) m dt Dans ce cas. La g¶n¶ralisation de ce calcul a trois dimensions ne pose aucune autre a ³tre e e e µ di±cult¶ qu'alg¶brique. comme nous pouvions e nous y attendre. projet¶e e e e sur Ox. µ cro^ ind¶¯niment. Dans l'expression pr¶c¶dente. nous prendrons comme condition e initiale une particule au repos. L peut d¶crire e e e n'importe quel ¶l¶ment du groupe de Lorentz le plus g¶n¶ral. pour all¶ger les notations.1. Nous aurons e ee en e®et: (4. (4. u e e ee e il est une fonction de l'¶v¶nement auquel il est estim¶. Nous poserons. en revanche.

jusqu'alors.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.42) (4. e e e En fait. 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 . un r¶sultat nouveau et fort important.39) (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. ELECTROMAGNETISME RELATIVISTE derniers termes correspondent en e®et µ une sommation sur deux indices colonne. 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. 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. Ceci n'est en rien contradictoire avec e la sym¶trie du problµme.43) (4.47) F ¹º F ¹º : Cette quantit¶ est manifestement un 4{scalaire et donc un invariant du champ.41) (4. On peut mettre le a calcul sous la forme de produits matriciels standard en e®ectuant les transpositions n¶cessaires. il n'en existe que deux qui pr¶sentent un int¶r^t physique3 .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 . Ecrivons{la en termes e des champs ¶lectriques et magn¶tiques pour en comprendre la signi¯cation physique.46) 4. e ee Formons d'abord la quantit¶: e (4. e Donnons dµs maintenant une application de cet invariant.132 ¶ CHAPITRE 4.40) (4. 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). Dans un r¶f¶rentiel R. nous allons ajouter des r¶sultats nouveaux a e e a e µ l'¶lectromagn¶tisme standard. 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.45) (4. nous obtenons ici. 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. fort utiles. sous forme vectorielle: e e e E0 = E ¡ B £ u E£u B0 = B + : c2 (4. 3 On montrera en particulier que le d¶terminant de F ¹º est proportionnel au carr¶ de notre second invariant e e 2 . consid¶rons une e ee e onde ¶lectromagn¶tique plane.1. Lµ encore. gr^ce e e e a a µ la formulation manifestement covariante. Interviennent e e des composantes spatio{temporelles et des composantes spatiales. Nous ne chercherons pas syst¶matiquement tous les invariants possibles. Si. De m^me.48) F ¹º F ¹º = 2 (c2 B 2 ¡ E 2 ) : c La quantit¶ c2 B 2 ¡ E 2 est donc un invariant du champ. les composantes spatiales font intervenir le carr¶ scalaire du champ magn¶tique ¡2E e e e et on a en¯n: 2 (4. Aprµs e e quelques lignes d'algµbre. On obtient alors.

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

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. 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. ee . sous forme vectorielle. nous nous int¶ressions au e e e e mouvement d'une particule unique. situation habituelle en m¶canique analytique. ELECTROMAGNETISME RELATIVISTE En remarquant que les d¶riv¶es secondes crois¶es du potentiel sont ¶gales. 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. Si les trois indices sont identiques. En particulier. c'est a dire e e a µ au mouvement des particules charg¶es. Nous e e e ee n'aurons µ manipuler que des int¶grales d'espace et de temps sous forme habituelle. l'¶quation se r¶duit a @ ¹ (F ¹º + F º ¹ ) = 0. on obtient imm¶diatement: e e @ ½ F ¹º + @ º F ½¹ + @ ¹ F º ½ = 0 : (4. tous les F sont nuls et l'¶quation est un e truisme. pour un temps. s'il y a a priori 64 ¶quations possibles. 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. et en faisant la somme de e e e e ces trois ¶quations. 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. En abandonnant a e ainsi la covariance manifeste. le temps est bien c ee e ee d¶¯ni. par: e e e @B : (4. et nous pourrons int¶grer la densit¶ de lagrangien entre deux instants de r¶f¶rence. Pour e e obtenir les ¶quations du mouvement d'une particule unique.3. qui sont ¶quivalentes a l'existence e e e µ d'un potentiel scalaire et d'un potentiel vecteur. Remarquons d'abord que. nous avons int¶gr¶ le lagrangien entre e e e deux ¶v¶nements limites relatifs a cette particule.56) @t Nous retrouvons donc ainsi les ¶quations de Maxwell homogµnes. soit encore On montrera de m^me que les trois autres ¶quations peuvent se r¶sumer. 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.55) (4. Il nous faudra donc adapter nos techniques variationnelles pour des variables dynamiques continues. Dans tout ce chapitre. r£E=¡ r¢B=0 : (4. e conform¶ment µ notre programme initial. ¶crivons cette ¶quation en termes des champs e e ¶lectriques et magn¶tiques. 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. Dans ce r¶f¶rentiel. nous risquons bien s^r d'obtenir des ¶quations de Lagrange qui ne seraient u e pas des invariants relativistes. Les variables dynamiques du problµme ¶taient donc la position e e et l'impulsion de la particule. e Pour en comprendre la signi¯cation physique. Le fait que nous traitions de plusieurs particules pose une di±cult¶ technique imm¶diate. seules e e e 4 ne sont pas triviales. e e e La premiµre correspond aux indices 1. dans un r¶f¶rentiel donn¶ R.2 Champ en fonction des sources Nous allons maintenant ¶tablir les ¶quations qui relient le tenseur champ µ ses sources.54) 4. Si deux indices sont ¶gaux (par exemple ½ = ¹).134 ¶ CHAPITRE 4. Dans le paragraphe pr¶c¶dent. e e e µ une tautologie en raison de l'antisym¶trie de F . Elle s'¶crit: e e @1 F 23 + @3 F 12 + @2 F 31 = 0 . et ee e e e seront donc valables dans n'importe quel r¶f¶rentiel.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).2.

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

en particulier. Pour assurer que le champ e e vrai et le champ vari¶ ob¶issent aux m^mes conditions aux limites. il faudra que ce soit une quantit¶ quadratique dans le champ. e a L'autre. On ne voit pas.2.66) Dans cette expression. en ta et en tb . entre les deux instants de r¶f¶rence e e e ee ta et tb .70) . en tous points de l'espace.67) (4. le courant ne doit pas ^tre vari¶ et la variation de e e e e l'action totale. puisque leur dynamique est impos¶e. quel que soit celui-ci. l'action des particules libres est une simple constante. 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 ¹º .69) En permutant les deux indices muets du terme central. e 4. au potentiel A¹ .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.2. L'une. nous allons consid¶rer. 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. ne semble pas convenir. En µ a exprimant que cette variation est nulle au premier ordre dans l'accroissement. ¶quivalent au produit scalaire e e e des champs ¶lectriques et magn¶tiques. et en utilisant l'antisym¶trie de F . 4¹0 (4. 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. Nous e allons choisir bien s^r une quantit¶ qui soit manifestement un 4{scalaire. 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¶.2 Lagrangien du champ Il nous faut maintenant postuler l'expression de la densit¶ de lagrangien pour le champ libre. deux histoires possibles du champ. correspondra. 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. qui sera la \trajectoire e®ectivement suivie". En¯n. on constate e que les deux derniers termes dans l'int¶grale sont ¶gaux. in¯nit¶simalement di®¶rente. µ tout instant. µ chaque instant. Les deux invariants scalaires du champ que nous avions construits au paragraphe pr¶c¶dent remplissent tous deux ces conditions.3 Equations de Lagrange Pour ¶tablir les ¶quations de Lagrange. ea e e e e La trajectoire des particules ¶tant impos¶e. nous imposerons µ l'accroissement e e e a in¯nit¶simal ±A de s'annuler. nous obtiendrons une relation qui devra ^tre v¶ri¯¶e par le champ en tous points. 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. comment e e il pourrait d¶crire de fa»on convenable une situation purement ¶lectrostatique.68) ¸ dt Z dV ∙ 1 ¹º 1 ¹º ±(A¹ )J + F @ ¹ ±Aº ¡ F @ º ±A¹ 2¹0 2¹0 ¹ : (4. autrement dit la solution des ¶quations de Lagrange. Le second.136 ¶ CHAPITRE 4. on a: ±S = ¡ Z tb ta Z tb ta dt Z dV ∙ ±(A¹ )J ¹ + 1 ±(F ¹º F ¹º ) : 4¹0 ¸ (4. 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. ELECTROMAGNETISME RELATIVISTE 4. correspondra au potentiel A¹ + ±A¹ .

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 .71) ee e la surface S. ainsi que tous les champs physiques. le e µ deuxiµme terme s'annule (on permutera les d¶riv¶es partielles pour le constater). L'int¶grale de surface dans l'expression e a e pr¶c¶dente est donc identiquement nulle.4 Equations de Maxwell Pour mettre ces ¶quations sous une forme plus familiµre.77) . Les ¶quations de Lagrange d¶terminant le champ en fonction des sources s'¶crivent e e e donc simplement: (4. et valables dans tout r¶f¶rentiel galil¶en. de la sphµre e µ de l'in¯ni (une sphµre de rayon R. En revanche. ou encore r ¢ E = ¹0 c2 ½ = ½=²0 . L'accroissement de l'action s'¶crit donc ¯nalement: e ±S = ¡ Z tb ta dt Z dV ∙ J¹ + 1 @ º F ¹º ±A¹ : ¹0 ¸ (4. a trois dimensions. ¶tant la frontiµre du volume V et dS º l'¶l¶ment di®¶rentiel de cette µ e e e surface. En utilisant le th¶orµme d'Ostrogradski pour les int¶grales quadridimensionnelles. il s'agit de l'int¶grale e e e e e d'espace temps d'une quantit¶ scalaire. nous avons abandonn¶ la covariance manifeste en nous pla»ant dans un e c r¶f¶rentiel donn¶. Notons que nous retrouvons ici. Il est nul aussi. A un facteur 1=c prµs. sous une forme un peu plus e e complexe. (4. e e e ee e Nous pouvons maintenant ¶crire simplement ces ¶quations en termes du potentiel. l'int¶gration par parties µ laquelle nous devons toujours proc¶der pour ¶tablir les ¶quations e a e e e de Lagrange. 4. 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¹ .2. CHAMP EN FONCTION DES SOURCES 137 Consid¶rons le deuxiµme terme dans l'int¶grale. (4. La partie temporelle de cette ¶quation vectorielle s'¶crit en e®et: e e e e @ º F 0º = ¡¹0 c½ .78) (4.4. les ¶quations obtenues ne font intervenir que des quantit¶s covariantes.75) @ ¹ @ ¹ Aº ¡ @ ¹ @ º A¹ = ¹0 J º : Si nous imposons au potentiel vecteur d'ob¶ir a la condition de Jauge de Lorentz @ ¹ A¹ = 0.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. nous avons: (4.72) Elle ne peut ^tre nulle quel que soit l'accroissement du potentiel que si le champ entre crochets est e identiquement nul.2. on peut r¶aliser sur ce terme une int¶gration par parties.73) @ º F ¹º = ¡¹0 J ¹ . ou encore @ ¹ F ¹º = ¹0 J º (4. L'accroissement du potentiel est nul aux instants limites en tous points de l'espace. nous allons les exprimer en termes des champs e e ¶lectriques et magn¶tiques. ee e Dans tout ce raisonnement. ee e e e Elles sont donc trµs g¶n¶rales. En reportant e e l'expression de F . L'¶quation aux e e e e potentiels s'¶crit alors: e (4. 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 . en tous points de la sphµre de l'in¯ni µ chaque instant. Cette surface est constitu¶ de l'ensemble de l'espace pris a l'instant initial ta .74) en exploitant les propri¶t¶s de sym¶trie du tenseur 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. la dynamique coupl¶e des particules et du e e e champ. Pour la quantit¶ de e e ee e e mouvement.82) . associ¶es a celles des particules. ¢ ¶tant le laplacien.3 Energie{impulsion du champ Le champ ¶lectromagn¶tique doit poss¶der une densit¶ d'¶nergie. dans ce paragraphe. il doit aussi exister une densit¶ de quantit¶ de e e e e mouvement pour le champ ¶lectromagn¶tique. aux grandes propri¶t¶s de sym¶trie par translation dans l'espace ou dans e ee e le temps. L'¶lectromagn¶tisme de Maxwell. se mettent sous la e e µ forme: A = ¹0 j V oµ u = ½=²0 . formul¶ en termes explicitement covariants. 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. au moins en principe.79) Les ¶quations aux potentiels. Nous ne e e µ ferons que rappeler trµs briµvement les propri¶t¶s essentielles de ces quantit¶s. Energie et quantit¶ de mouvement e e e e e e n'¶tant que deux aspects du m^me 4{vecteur impulsion. doivent ob¶ir a des e e e µ e µ lois de conservation. 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¶. En fait. comme e e e e e les particules mat¶rielles. Cette approche est beaucoup moins satisfaisante qu'une approche µ partir des e a premiers principes. ces densit¶s d'¶nergie et d'impulsion. d¶¯nir les densit¶s d'¶nergie et d'impulsion e e e et ¶tablir leurs ¶quations bilan. n'est donc que e e e la th¶orie de champ la plus simple qui soit d¶crite par un champ de vecteurs. parfaitement v¶ri¯¶e par ailleurs. 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. le champ ¶lectromagn¶tique ob¶issant. (4. nous obtiendrons en revanche des r¶sultats nouveaux. Nous nous contenterons en e fait de postuler la forme d'un tenseur rassemblant ces quantit¶s. 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. comme nous l'avions fait pour une particule libre. mais elle est beaucoup plus compacte. Le transfert d'impulsion e u e µ a µ travers une surface s'¶crira comme le °ux d'une quantit¶ tensorielle de rang 2. e e 4. a e e e 4. ELECTROMAGNETISME RELATIVISTE en posant ¶videmment ²0 ¹0 c2 = 1.3. 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. Pour ce qui est du bilan d'¶nergie du champ ¶lectromagn¶tique. l'¶lectromagn¶tisme de Maxwell. Nous allons.138 ¶ CHAPITRE 4.81) e est l'op¶rateur d'alembertien (1=c2 )@ 2 =@t2 ¡ ¢. sous sa forme e e standard. dont le °ux d¶crit le transport d'¶nergie a travers une surface. En¯n.80) (4. pourvu que ceux-ci ob¶issent a la Jauge de Lorentz. c'est-µ-dire ¶tudier leur propagation.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. est d¶jµ ¶crit en termes explicitement relativistes ce qui le rend bien s^ r incompatible avec la eae u cin¶matique classique. d'¶tablir ses propri¶t¶s et d'identi¯er e e ee les di®¶rents termes. e Les trois composantes spatiales se mettent de leur c^t¶ ¶videmment sous la forme: oee r £ B = ¹0 ∙ @E j + ²0 @t ¸ : (4.

3.83) On a donc bien µ ®¯ = µ ¯ ® . ENERGIE{IMPULSION DU CHAMP 139 Nous nommerons. le tenseur d'¶nergie impulsion du champ (\stress tensor" e dans la litt¶rature anglo-saxonne). La sym¶trie du deuxiµme terme e e e e du crochet est manifeste. en appliquant donc avec pr¶cautions la rµgle de sommation sur les indices e e r¶p¶t¶s. 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 . 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 ).84) oµ u (4. vectorielle ou e tensorielle qui soit uniquement relative a l'espace ordinaire µ trois dimensions. Le deuxiµme terme est le produit du tenseur m¶trique. ³tra u e e e e T est un tenseur purement spatial de rang 2. Quand il nous arrivera de manipuler une quantit¶.88) . nous allons l'¶crire en fonction des e e champs ¶lectrique et magn¶tique. qui sont e e e rassembl¶es dans la 4{divergence de la premiµre ligne de µ). 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 ¦.87) e oµ les ±ij sont simplement les symboles de Kronecker. Pour nous convaincre de la possible utilit¶ de ce tenseur. En regroupant avec le second terme et aprµs quelques manipulations ¶l¶mentaires. 4. Il s'agit d'un tenseur sym¶trique. Notons ici que nous faisons une entorse s¶rieuse u a µ nos conventions de notations. A (4. nous ¶crirons: e e g ¯ ¹ F ¹¸ F ¸® = F ¸® F ¯ ¸ = F ¸ ® F ¯ ¸ = F ® ¸ F ¸¯ = g®¹ F ¹¸ F ¸¯ : (4.3. diagonal. Interpr¶tation e Si µ est associ¶ a la propagation de l'¶nergie et de la quantit¶ de mouvement. Notons en¯n que pour un tenseur spatial les composantes complµtement contravariantes et e ee e complµtement covariantes coÄ e ³ncident. Nous allons donc calculer le 4{vecteur e e @ ® µ®¯ (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 # " # . ce tenseur de rang 2. 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. Nous allons interpr¶ter plus tard la signi¯cation physique de ce e tenseur.2 Lois de conservation. densit¶ de lagrangien du champ ¶lectromagn¶tique.86) On reconna^ bien s^ r ici la densit¶ d'¶nergie ¶lectromagn¶tique et le vecteur de Poynting. (4. nous placerons tous les µ a indices en position basse. que nous nommerons \tenseur de Maxwell".4. ¶crit ici e sous sa forme doublement contravariante. Le premier terme e e e par l'invariant 2(B fait intervenir F ¹¸ F ¸¯ qui se calcule comme un produit matriciel ordinaire.85) (4.

En ¶crivant le e e tenseur de rang 3 K ¹¸¯ . Le vecteur de Poynting d¶crit e a e donc bien le transport d'¶nergie ¶lectromagn¶tique. 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 trouve l'¶quation scalaire: e j¢E+ @ ® µ®0 = ¡F 0¸ J ¸ : (4. Cette contraction est manifestement nulle. vecteur de Poynting et tenseur de Maxwell. 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.93) @ ® µ®¯ ¡ J ¸ F ¸¯ = 2¹0 Le second membre de cette ¶quation est la contraction d'un tenseur antisym¶trique en ¹. On a ¯nalement: e e s'¶crire ¡@ e h i 1 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.94) ∙ ¸ une ¶quation 4{vectorielle. En regroupant les termes.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). Pour en interpr¶ter la signi¯cation physique. on a donc: h i 1 F ¹¸ @ ¹ F ¸¯ + @ ¹ F ¸¯ + @ ¯ F ¹¸ . (4.140 ¶ CHAPITRE 4. ELECTROMAGNETISME RELATIVISTE En remarquant que les tenseurs m¶triques ne se d¶rivent pas. on a donc: a e e 1 1 (@ ¹ F ¹¸ )F ¸¯ + F ¹¸ (@ ¹ F ¸¯ ) + F ¹¸ (@ ¯ F ¹¸ ) : (4. (4. Ils sont donc bien nuls. 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 . on a en e®et F ¹¸ K ¹¸¯ = F ¸¹ K ¸¹¯ . ces deux termes ¶gaux sont e ee e e oppos¶s. e e e 5 Cette expression est. en raison des propri¶t¶s de sym¶trie des tenseurs. e . Aprµs une transformation triviale. comme nous l'avons vu plus haut. (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. on met ce terme sous la forme: e ∙ ³ ´ 1 ³ ´¸ 1 @ ¹ F ¹¸ F ¸¯ + @ ¯ F ¹¸ F ¹¸ : (4. ¸.92) @ ® µ®¯ ¡ J ¸ F ¸¯ = 2¹0 oµ nous avons arti¯ciellement s¶par¶ un terme en deux. ¸ avec un e e tenseur de rang 3.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. Finalement.91) ¹0 2 Le premier terme dans le crochet peut se transformer en utilisant les ¶quations de Maxwell @ ¹ F ¹¸ = e e ¹0 J ¸ . 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. Les deux derniers termes du crochet peuvent u e e ¸ F ¯ ¹ = @ ¸ F ¹¯ en utilisant les ¶quations de Maxwell homogµnes.89) @ ® µ®¯ = ¹0 4 Le dernier terme peut s'¶crire: e (@ ¯ F ¹¸ )F ¹¸ + F ¹¸ @ ¯ F ¹¸ : (4. sym¶trique en ¹. puisque les noms des indices muets sont indi®¶rents.97) + dt V S R oµ U = V u est l'¶nergie ¶lectromagn¶tique totale dans le volume V. On a alors: e e e e Z Z dU j ¢ E d¿ + ¦ ¢ dS = 0 . correcte m^me si le mouvement des particules est relativiste. on a e @ ® µ®¯ = @ ® µ®¯ = ¡F ¯ ¸ J ¸ . En d¶veloppant ¶galement le premier terme de la divergence. De plus.

Une simple identi¯cation redonne e alors les ¶quations pr¶c¶dentes. Nous avons pos¶ ici u e g= ¦ : c2 (4. 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. Il est alors facile d'interpr¶ter le terme dG=dt avec e e G= Z g (4. comprendre ce r¶sultat en termes de photons.98) dt e oµ la notation r ¢ T d¶signe le champ de vecteurs @ i T ij .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. On retrouve bien e e l'expression de g. Chaque photon se d¶pla»ant µ la vitesse c.3. (4. a un facteur e e e µ dimensionnel prµs. Cette quantit¶ de mouvement. 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. au signe prµs. que la composante i de la densit¶ de force de Lorentz f . la densit¶ d'impulsion est N hº=c = ¦=c2 .102) V comme la variation dans le temps de la quantit¶ de mouvement totale du rayonnement ¶lectromagn¶e e e tique. qualitativement. L'impulsion de chaque e photon (de masse nulle) ¶tant hº=c. On pourra s'en convaincre ais¶ment a e e a µ titre d'exercice. 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). e e e e e e Nous pouvons. Le vecteur e de Poynting d¶crit alors le °ux de photons. (4. on met les composantes spatiales de notre ¶quation de conservation e e sous la forme: dg +f +r¢T = 0 . e e e Notons que la quantit¶ de mouvement du champ ¶lectromagn¶tique est simplement.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.99) Pour d¶gager plus pr¶cis¶ment le sens physique de cette ¶quation. appara^ bien comme le °ux a travers S d'une e ³t µ quantit¶ tensorielle. vectorielle. sur un volume V bord¶ par une surface ferm¶e S. 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. d'¶nergie hº. 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. 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. nous l'int¶grerons. le vecteur de Poynting qui d¶crit le d¶placement de l'¶nergie ¶lectromagn¶tique. comme dans le cas du bilan d'¶nergie. oµ h est la constante de Planck et e u º la fr¶quence du rayonnement que nous supposerons pour un moment monochromatique. comme dans e e e e e le cas de l'¶nergie.100) comme la quantit¶ de mouvement sortant par unit¶ de temps du e e e volume V. Notons que. On obtient alors: e e e dPm dG + + dt dt Z S T ¢ dS = 0 . on peut ¶tablir cette ¶quation e e e e bilan µ partir des ¶quations de Maxwell et de la force de Lorentz. . Nous avons pos¶: e Z dPm f : (4. Le champ g repr¶sente alors simplement la densit¶ locale de quantit¶ de mouvement du champ. 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.

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

Nous allons en particulier pouvoir pr¶ciser nos interpr¶tations en e e termes de photons. La densit¶ d'impulsion N ¹ !=c est donc bien u=c. polaris¶e lin¶airement.111) (4. Le °ux de T sur S se calcule alors par une int¶gration triviale o en coordonn¶es polaires. 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. le plus souvent.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.107) La valeur moyenne de la densit¶ d'impulsion est donc: e g= 2 ²0 E0 uz 2c (4. ENERGIE{IMPULSION DU CHAMP 143 e joue un r^le est Txx = ¡²0 E(½)2 =2. (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) . .110) Nous pouvons comprendre quantitativement ces relations importantes en termes de densit¶ num¶rique e e de photons. m^me dans un cas oµ il n'y a pas d'e®ets propagatifs. le champ ¶lectrique est align¶ selon Ox.3. La pulsation de l'onde est !. orient¶e selon ¡x.104) (4.109) et sa valeur moyenne vaut: u= On remarque imm¶diatement que e u = g = ¦ c u : c (4. Elle se propage e e e selon Oz. On a bien s^r: e e e e u ¦= 2 ²0 E0 c uz : 2 (4. On en d¶duit la force de Coulomb.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.112) 2 ²0 E0 : 2 (4. dont le module a bien e e e s^ r la valeur requise. La densit¶ num¶rique N de photons est e h e h N = u=¹ !. Nous consid¶rons donc une onde plane monochromatique. 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. Cet exercice facile d'¶lectrostatique nous fait comprendre l'int¶r^t des ¶quations u e ee e bilans d'impulsion. dans des mesures ¶nerg¶tiques). Si nous avons N photons par unit¶ de volume. 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).108) La densit¶ d'¶nergie ¶lectrique est ¶gale a la densit¶ d'¶nergie magn¶tique. On obtient ainsi la premiµre relation: u = ¦=c.

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

Sign up to vote on this title
UsefulNot useful