Les équations de Maxwell, aussi appelées équations de Maxwell-Lorentz, sont des lois fondamentales de la physique. Elles constituent les postulats de base de l'électromagnétisme, avec l'expression de la force électromagnétique de Lorentz.
Ces équations traduisent sous forme locale différents théorèmes (Gauss, Ampère (Ampère peut désigner :), Faraday) qui régissaient l'électromagnétisme (L'électromagnétisme est une branche de la physique qui fournit un cadre très général d'étude...) avant que Maxwell ne les réunisse sous forme d'équations intégrales. Elles donnent ainsi un cadre mathématique (Les mathématiques constituent un domaine de connaissances abstraites construites à l'aide...) précis au concept fondamental de champ (Un champ correspond à une notion d'espace défini:) introduit en physique (La physique (du grec φυσις, la nature) est étymologiquement la...) par Faraday dans les années 1830.
Ces équations montrent notamment qu'en régime stationnaire, les champs électrique et magnétique sont indépendants l'un de l'autre, alors qu'ils ne le sont pas en régime variable (En mathématiques et en logique, une variable est représentée par un symbole. Elle...). Dans le cas le plus général, il faut donc parler du champ électromagnétique (Un champ électromagnétique est la représentation dans l'espace de la force...), la dichotomie électrique/magnétique étant une vue (La vue est le sens qui permet d'observer et d'analyser l'environnement par la réception et...) de l'esprit. Cet aspect trouve sa formulation (La formulation est une activité industrielle consistant à fabriquer des produits...) définitive dans le formalisme covariant présenté dans la seconde ( Seconde est le féminin de l'adjectif second, qui vient immédiatement après le premier ou qui...) partie de cet article : le champ électromagnétique y est représenté par un être mathématique unique de type tenseur (Tenseur), le " tenseur de Maxwell ", dont certaines composantes s'identifient à celles du champ électrique (En physique, on désigne par champ électrique un champ créé par des particules...) et d'autres à celles du champ magnétique (En physique, le champ magnétique (ou induction magnétique, ou densité de flux...).
![]()
|
|
Optique (L'optique est la branche de la physique qui traite de la lumière, du rayonnement...) | |
Relativité restreinte (La relativité restreinte est la théorie formelle élaborée par Albert Einstein...) | |
Physique quantique (La physique quantique est l'appellation générale d'un ensemble de théories physiques...) | |
Electrostatique | |
Magnétostatique (La magnétostatique est l’étude du magnétisme dans les situations où le...) | |
Electromagnétisme | |
Mécanique des fluides (La mécanique des fluides est la branche de la physique qui étudie les écoulements de fluides...) | |
Thermodynamique (On peut définir la thermodynamique de deux façons simples : la science de la chaleur...) | |
Physique statistique (La physique statistique a pour but d'expliquer le comportement et l'évolution de systèmes...) | |
Analyse vectorielle (L'analyse vectorielle est une branche des mathématiques qui étudie les champs de...) | |
Electronique analogique (Le concept d'analogique est utilisé par opposition à celui de numérique.) | |
Mécanique (Dans le langage courant, la mécanique est le domaine des machines, moteurs, véhicules, organes...) |
Vers 1865, Maxwell a réalisé une synthèse harmonieuse des diverses lois expérimentales découvertes par ses prédécesseurs (lois de l'électrostatique (L'électrostatique traite des charges électriques immobiles et des forces qu'elles exercent entre...), du magnétisme (Le magnétisme est un phénomène physique, par lequel se manifestent des forces...), de l'induction...), en les exprimant sous la forme d'un système de quatre équations aux dérivées partielles couplées. Elles furent publiées dans leur forme définitive en 1873 dans l'ouvrage Electricity and Magnetism.
Mais cette synthèse n'a été possible que parce que Maxwell a su dépasser les travaux de ses devanciers, en introduisant dans une équation un " chaînon manquant ", appelé le courant de déplacement ( En géométrie, un déplacement est une similitude qui conserve les distances et les angles...), dont la présence assure la cohérence de l'édifice unifié.
La synthèse de Maxwell a permis ultérieurement les deux plus grandes avancées de la science (La science (latin scientia, « connaissance ») est, d'après le dictionnaire...) moderne :
On présente ci-dessous la théorie microscopique fondamentale (En musique, le mot fondamentale peut renvoyer à plusieurs sens.) qui donne les équations de Maxwell-Lorentz dans le vide en présence de sources, qui peuvent être des charges ponctuelles et/ou leurs courants électriques microscopiques associés si ces charges sont en mouvement dans le référentiel d'étude.
La théorie macroscopique nécessitant l'introduction des champs D et H (et les équations de Maxwell associées) sont discutés en détails dans l'article : Électrodynamique des milieux continus.
On note :
Cette équation locale donne la divergence du champ électrique en fonction de la densité de la charge électrique. Elle s'écrit :
![]() |
Cette équation correspond à un " terme de source " : la densité de charge (La densité de charge électrique désigne la quantité de charge électrique...) électrique est une source du champ électrique. Par exemple, pour une charge ponctuelle fixée à l'origine
, la loi de Coulomb donnant le champ électrostatique en un point
de l'espace, point repéré par le vecteur position
où
est le vecteur unitaire radial, s'écrit :
![]() |
Ce champ électrostatique vérifie l'équation de Maxwell-Gauss pour la source statique :
![]() |
où est la distribution de Dirac dans l'espace à trois dimensions.
L'équation de Maxwell-Gauss est héritée du théorème (Un théorème est une proposition qui peut être mathématiquement démontrée, c'est-à-dire une...) de Gauss, qui permet de lier le flux (Le mot flux (du latin fluxus, écoulement) désigne en général un ensemble d'éléments...) du champ électrique à travers une surface (Une surface désigne généralement la couche superficielle d'un objet. Le terme a...) fermée, à la charge intérieure à cette surface :
![]() |
où est une surface fermée arbitraire, appelée surface de Gauss, et
la charge électrique totale intérieure à cette surface
[1].
Le flux du champ magnétique à travers une surface fermée est toujours identiquement nul :
![]() |
Cette équation locale est au champ magnétique ce que l'équation de Maxwell-Gauss est au champ électrique, à savoir une équation avec " terme de source ", ici identiquement nul :
Elle traduit le fait expérimental suivant : il n'existe pas de monopôle magnétique (Un monopôle magnétique est une particule hypothétique qui porterait une charge...). Un monopôle magnétique serait une source ponctuelle de champ magnétique, analogue de la charge électrique ponctuelle pour le champ électrique. Or, l'objet (De manière générale, le mot objet (du latin objectum, 1361) désigne une entité définie dans...) de base source d'un champ magnétique est l'aimant (Un aimant est un objet fabriqué dans un matériau magnétique dur, c’est-à-dire dont le...), qui se comporte comme un dipôle (D'une manière générale, le mot dipôle désigne une entité qui possède deux pôles. On le...) magnétique : un aimant possède en effet un pôle nord (Le pôle Nord géographique terrestre, ou simplement pôle Nord, est le point le plus...) et un pôle sud (Le pôle Sud est le point le plus au sud de la surface de la Terre, diamétralement...). L'expérience fondamentale consistant à tenter de couper un aimant en deux donne naissance à deux aimants, et non un pôle nord (Le nord est un point cardinal, opposé au sud.) et un pôle sud (Le sud est un point cardinal, opposé au nord.) séparément[2].
L'analyse vectorielle montre que la divergence d'un rotationnel (L'opérateur rotationnel est un opérateur différentiel aux dérivées...) est toujours identiquement nulle :
![]() |
Réciproquement, toute fonction dont la divergence est identiquement nulle peut être exprimée sous la forme d'un rotationnel.
L'équation locale de conservation du flux magnétique permet donc de définir au moins localement[3] un potentiel-vecteur tel que :
![]() |
Le problème important de l'unicité du potentiel-vecteur est discuté plus loin au paragraphe : Invariance de jauge de la théorie.
Cette équation locale traduit le phénomène fondamental d'induction électromagnétique (L'induction électromagnétique, aussi appelé induction magnétique, est un...) découvert par Faraday.
Elle donne le rotationnel du champ électrique en fonction de la dérivée temporelle du champ magnétique :
![]() |
Cela correspond à un " terme variationnel " : la variation du champ magnétique crée un champ électrique. Sa forme intégrale (Une intégrale est le résultat de l'opération mathématique, effectuée sur une fonction, appelé...) est la loi de Faraday :
![]() |
où est la force électromotrice d'induction dans un circuit électrique (Un circuit électrique est un ensemble simple ou complexe de conducteurs et de composants...) et
le flux magnétique à travers ce circuit.
L'analyse vectorielle montre que le rotationnel d'un gradient est toujours identiquement nul :
![]() |
L'équation de Maxwell-Faraday couplée à l'existence locale d'un potentiel-vecteur permettent de définir (au moins localement) le potentiel électrique
(scalaire) tel que :
![]() |
Le problème important de l'unicité du potentiel électrique est discuté plus loin au paragraphe : Invariance de jauge de la théorie.
Cette équation est héritée du théorème d'Ampère. Sous forme locale, elle s'écrit en termes du vecteur densité de courant (La densité de courant électrique est définie comme le courant électrique par unité de surface...) :
![]() |
L'équation précédente peut se réécrire :
![]() |
en introduisant le courant de déplacement de Maxwell :
![]() |
La forme intégrale lie la circulation (La circulation routière (anglicisme: trafic routier) est le déplacement de véhicules automobiles...) du champ magnétique sur un contour (COmet Nucleus TOUR (CONTOUR) est une sonde spatiale de la NASA faisant partie du Programme...) C fermé, et les courants qui traversent la surface s'appuyant sur ce contour :
![]() |
Prenons la divergence de l'équation de Maxwell-Ampère :
![]() |
On peut écrire en permutant les dérivées spatiales et temporelles, puis en utilisant l'équation de Maxwell-Gauss :
![]() |
On obtient finalement l'équation locale de conservation de la charge électrique :
![]() |
Le lecteur aura noté la présence essentielle du terme de courant de déplacement introduit par Maxwell pour l'obtention de cette équation.
L'analyse vectorielle montre que la divergence d'un rotationnel est toujours identiquement nulle :
![]() |
L'équation locale de conservation du flux magnétique permet donc de définir au moins localement [4] un potentiel-vecteur tel que :
![]() |
L'analyse vectorielle nous dit également que
![]() |
Alors le potentiel-vecteur n'est pas défini de manière unique puisque la transformation suivante, avec une fonction quelconque
ne modifie par la valeur du champ . Ceci est un exemple de transformation de jauge. Il faut donc imposer des conditions supplémentaire pour déterminer
de façon non-ambigüe. On appelle cela des conditions de jauge, par exemple la jauge de Coulomb ou encore la jauge de Lorenz.
Le lecteur notera qu'en physique classique, le potentiel-vecteur semble n'être qu'un outil (Un outil est un objet finalisé utilisé par un être vivant dans le but d'augmenter son...) mathématique commode pour analyser les solutions des équations de Maxwell, mais ne semble pas être une grandeur physique (Une grandeur physique est un ensemble d'unités de mesure, de variables, d'ordres de grandeur et de...) directement mesurable. En 1959, dans le cadre de la physique quantique, Aharonov et Bohm ont démontré[5] que le potentiel-vecteur avait un effet observable (Dans le formalisme de la mécanique quantique, une opération de mesure (c'est-à-dire...) en mécanique quantique : c'est l'effet Bohm-Aharonov.
L'analyse vectorielle montre que le rotationnel d'un gradient est toujours identiquement nul :
![]() |
L'équation de Maxwell-Faraday couplée à l'existence locale d'un potentiel-vecteur permettent de définir (au moins localement) le potentiel électrique
(scalaire) tel que :
![]() |
Le potentiel lui non plus n'est pas défini de façon unique mais la transformation de jauge associée est liée à celle de
est la suivante (on rappelle celle de
par souci de clarté) et on a
Ces deux équations donnent l'invariance de jauge complète des équations de Maxwell.
Pour simplifier, conformément à la pratique, nous attribuerons ces équations à Maxwell, en les appelant " équations de Maxwell " (EM).
Résolvons les EM dans l 'espace éventuellement limité par des conditions qui gardent la linéarité.
Représentons des solutions par des lettres Q, R , ...( ensembles des 6-vecteurs formés des six composantes du champ en tout (Le tout compris comme ensemble de ce qui existe est souvent interprété comme le monde ou...) point de coordonnées x, y, z, t ). Par définition (Une définition est un discours qui dit ce qu'est une chose ou ce que signifie un nom. D'où la...) de la linéarité, αQ + βR + ... , où α , β ... sont des constantes réelles est une solution. En conséquence, les solutions sont représentées par les points d'un espace vectoriel (En algèbre linéaire, un espace vectoriel est un ensemble muni d'une structure permettant...) réel. Conformément à la définition introduite en acoustique (L’acoustique est une branche de la physique dont l’objet est l’étude des...), un mode est un rayon de cet espace. Un système complet de solutions constitue un repère dans cet espace nommé tantôt espace des solutions, tantôt espace des modes. Une solution particulière dans un mode est obtenue en multipliant un champ de ce mode posé comme champ d'amplitude (Dans cette simple équation d’onde :) unité, par une constante réelle, l'amplitude.
Avec un système d'unités convenable, l'énergie (Dans le sens commun l'énergie désigne tout ce qui permet d'effectuer un travail, fabriquer de la...) W(Q) d'une solution Q est l'intégrale étendue à tout l'espace, à un instant donné, de Q 2 ; on oublie très souvent que cette équation est non-linéaire, de sorte que si on peut ajouter des champs, les énergies correspondantes ne s'ajoutent pas. En considérant que W(Q) est le carré (Un carré est un polygone régulier à quatre côtés. Cela signifie que ses...) scalaire (Un vrai scalaire est un nombre qui est indépendant du choix de la base choisie pour exprimer les...) de Q, par des processus d'orthogonalisation de Schmitt, on obtient des systèmes complets de solutions orthogonales, ou encore des systèmes complets de modes orthogonaux. Dans ces systèmes, les énergies sont indépendantes.
Planck a posé que l'énergie dans un mode monochromatique (On qualifie de monochromatique (du grec mono-, un seul et chromos, couleur) une lumière dont la...) de fréquence (En physique, la fréquence désigne en général la mesure du nombre de fois qu'un...) ν se propageant dans un corps noir à la température (La température est une grandeur physique mesurée à l'aide d'un thermomètre et...) T est w = hν/(exp(hν/kT)-1)+K. La valeur erronée de K donnée (Dans les technologies de l'information, une donnée est une description élémentaire,...) par Planck a été corrigée par Nernst en 1916; la valeur K = hν/2 est facilement retrouvée car la thermodynamique impose que w tende vers kT lorsque T tend vers l'infini (Le mot « infini » (-e, -s ; du latin finitus,...). Cette formule définit la température d'un mode. Cependant l'interprétation de cette formule est physiquement délicate car la définition d'une fréquence pure ν suppose une expérience de durée infinie.
On sait calculer les champs émis par des charges, par exemple le champ émis par un dipôle oscillant. Pour se ramener au problème précédent, on utilise le " truc de Schwarzschild et Fokker ". Le champ émis par une source est nommé " champ retardé " QR. Dépouillé de la source, ce champ n'est pas solution des EM. Pour obtenir une solution identique dans le futur, il faut lui ajouter un " champ avancé " QA. Par cette définition, QA + QR est solution des EM. Ainsi, en substituant le champ avancé à la source, on est ramené au problème linéaire d'un champ dans le vide et on peut définir des modes.
Le mathématicien (Un mathématicien est au sens restreint un chercheur en mathématiques, par extension toute...) est libre d'ignorer des contingences physique en faisant, de façon plus ou moins implicite, des hypothèses irréalistes; ainsi nous avons supposé qu'il existe des systèmes électromagnétiques isolés dans lesquels il est loisible d'introduire quelques champs choisis; l'établissement de la loi de Planck (La loi de Planck définit la distribution de luminance énergétique monochromatique du...) est un exemple remarquable de cette hypothèse. Montrons que cette hypothèse est physiquement absurde.
Sauf peut-être dans les étoiles à neutrons, la matière (La matière est la substance qui compose tout corps ayant une réalité tangible. Ses...) est constituée de particules petites par rapport à leurs distances. Ces particules sont les sources des champs électromagnétiques; le champ émis par une particule décroît avec la distance, il est donc beaucoup plus intense en son voisinage (La notion de voisinage correspond à une approche axiomatique équivalente à celle de la...) qu'à proximité d'autres particules. Or l'absorption ( En optique, l'absorption se réfère au processus par lequel l'énergie d'un photon est prise par...) d'un champ est l'addition (L'addition est une opération élémentaire, permettant notamment de décrire la...) d'un champ opposé ( En mathématique, l'opposé d’un nombre est le nombre tel que, lorsqu’il est à...); la génération d'un tel champ est difficilement et approximativement obtenue pour obtenir une absorption active en acoustique, au moyen de haut parleurs, pour réduire l'intensité d'un bruit (Dans son sens courant, le mot de bruit se rapproche de la signification principale du mot son....). La génération de l'opposé du champ électromagnétique créé par une particule, intense en son voisinage requiert l'addition des champs faibles créés par de nombreuses autres particules, ce qui ne fait que compliquer le problème qui apparaît ainsi insoluble: il subsiste un champ résiduel stochastique loin des sources.
L'existence nécessaire de champs résiduels, connue, semble-t-il depuis longtemps, est exploitée, dans le cadre de l'électromagnétisme, depuis la fin du dix-neuvième siècle (Un siècle est maintenant une période de cent années. Le mot vient du latin saeculum, i, qui...) par les charlatans qui se reconnaissent sous des noms tels que " radiesthésistes ". En électromagnétisme, les physiciens se sont heurtés à une impossibilité d'évaluer ces " champs résiduels " jusqu'à la détermination de leur valeur moyenne (La moyenne est une mesure statistique caractérisant les éléments d'un ensemble de...) hν/2 par mode monochromatique, à 0K, faite par Planck et Nernst. La théorie de l'émission et de l'absorption due à Einstein (1917) a été complétée par l'interprétation de l'émission spontanée de lumière comme une amplification (On parle d'amplificateur de force pour tout une palette de systèmes qui amplifient les...) du champ résiduel. Le sens (SENS (Strategies for Engineered Negligible Senescence) est un projet scientifique qui a pour but...) d'échange d'énergie entre une source monochromatique et le champ dépend de l'interférence (En mécanique ondulatoire, on parle d'interférences lorsque deux ondes de même type...) du champ émis avec le champ d'origine extérieure préexistant dans le mode, donc simplement des phases relatives.
Le champ résiduel dans un corps noir à 0K, habituellement nommé " champ du point zéro ", est souvent présenté comme un champ mystérieux d'origine quantique, présentation absurde puisque sa valeur moyenne a été correctement évaluée par Nernst plus de dix ans avant la naissance de la mécanique quantique (La mécanique quantique est la branche de la physique qui a pour but d'étudier et de...); sans sa connaissance il n'aurait pas été possible de fonder l'électrodynamique quantique (L'électrodynamique quantique relativiste est une théorie physique ayant pour but de concilier...) en identifiant (En informatique, on appelle identifiants (également appelé parfois en anglais login) les...) l'énergie électromagnétique (Les forces électrostatiques et magnétiques peuvent faire déplacer des objets à distance, il...) d'un mode à celle d'un oscillateur harmonique quantique (Un oscillateur est un système périodique dans le temps. L'harmonicité indique que...).
Il faut se garder de penser que dans un mode il y a deux champs, un champ usuel et un champ du point zéro (Le chiffre zéro (de l’italien zero, dérivé de l’arabe sifr,...); une telle conception serait absurde puisque le champ dans un mode dépend d'un seul paramètre (Un paramètre est au sens large un élément d'information à prendre en compte...) réel, l'amplitude du champ.
Ainsi, une absorption d'un mode ne peut réduire l'amplitude du champ que jusqu'à une limite inférieure qui correspond, en moyenne, à l'énergie hν/2; une émission est une amplification d'un champ préexistant; elle est dite spontanée si le champ préexistant correspond à une énergie voisine de hν/2, et induite si cette énergie est notablement supérieure à hν/2.
Un système physique possède, en général, des minimums d'énergie relatifs. En régime non évolutif (stationnaire), le système, excité par un champ électromagnétique de l'ordre de hν/2 dans chaque mode qu'il est susceptible d'émettre (donc d'absorber), reste au voisinage d'un minimum d'énergie; pour chaque mode monochromatique, son excitation l'amène à rayonner un champ en quadrature avec le champ incident, ce qui ne produit aucun échange d'énergie permanent, mais introduit un retard, la réfraction (La réfraction, en physique des ondes — notamment en optique, acoustique et sismologie...). Pour un champ plus intense, en particulier en raison d'une fluctuation favorable du champ, le système peut franchir un col de son diagramme (Un diagramme est une représentation visuelle simplifiée et structurée des concepts, des idées,...) d'énergie et absorber une énergie hν cette absorption peut conduire à un niveau peu stable d'où le système peut évoluer rapidement vers d'autres niveaux, en une cascade plus ou moins radiative qui l'amène à un état stationnaire, stable.
Dans une théorie classique, aucun paradoxe (Un paradoxe est une proposition qui contient ou semble contenir une contradiction logique, ou un...) ne peut être admis, en particulier le paradoxe d'Einstein, Podolsky et Rosen n'existe pas: supposons qu'un atome (Un atome (du grec ατομος, atomos, « que l'on ne peut...) perde une énergie de résonance (La résonance est un phénomène selon lequel certains systèmes physiques...) hν, par exemple par le rayonnement (Le rayonnement, synonyme de radiation en physique, désigne le processus d'émission ou de...) d'un dipôle. Le mode d'émission de ce dipôle n'est pas orthogonal aux modes d'émission (donc d'absorption) d'autres atomes dont l'amplitude peut être accrue; 0, 1, 2, ... atomes peuvent alors absorber hν, même si, en moyenne, un seul atome (Un atome (grec ancien ἄτομος [atomos], « que...) est excité; les champs résiduels jouent le rôle d'un bain thermodynamique.
- Il a été écrit que l'électron (L'électron est une particule élémentaire de la famille des leptons, et possèdant une charge...) d'un atome d'hydrogène (L'hydrogène est un élément chimique de symbole H et de numéro atomique 1.) suivant une orbite (En mécanique céleste, une orbite est la trajectoire que dessine dans l'espace un corps...) de Bohr émet un champ, donc rayonne de l'énergie et devrait tomber sur le noyau. L'électron émet bien un champ, mais, une énergie très faible, en raison de l'interférence du champ émis avec le champ résiduel; cette énergie tombe à zéro si l'orbite est légèrement corrigée, de sorte que l'énergie de l'état stationnaire subit le déplacement de Lamb.
- L'étude de l'amorçage d'un laser (Un laser est un appareil émettant de la lumière (rayonnement électromagnétique)...) semble indiquer que le champ du point zéro induit (L'induit est un organe généralement électromagnétique utilisé en électrotechnique chargé de...) une émission deux fois plus intense qu'un champ d'intensité plus grande. Pour tenir compte de ce résultat, on peut introduire une " radiation de réaction ", ad hoc. La véritable explication est très simple: un atome est excité par un champ dans le mode qu'il peut émettre, dit sphérique; au démarrage du laser, il existe dans ce mode une amplitude correspondant à hν/2; le laser fonctionne sur un mode d'onde plane (L'onde plane est un concept issu de la physique de la propagation des ondes. C'est une onde dont...) dont il faut prendre la composante sphérique pour exciter l'atome, ce qui divise l'énergie par deux.
- Il n'existe pas de système électromagnétique isolé; oublier que le champ minimum est le champ du point zéro conduit à des erreurs lorsqu'on détecte des champs faibles.
NB Cette partie suit les conventions de signe classiques de MTW [6]
Cette partie adopte également la convention de sommation d'Einstein.
L'espace-temps de Minkowski (1908) est une variété différentielle (En mathématiques, les variétés différentielles ou variétés...) M plate munie d'une métrique lorentzienne.
Soit un système de coordonnées quelconque xμ autour (Autour est le nom que la nomenclature aviaire en langue française (mise à jour) donne...) d'un évènement (point) P de l'espace-temps, et soient une base locale de TxM, espace tangent à la variété au point
. Un vecteur tangent
s'écrit alors comme la combinaison linéaire :
![]() |
Les wμ sont appelée les composantes contravariantes du vecteur w. Le tenseur métrique (Tenseur) est la forme bilinéaire symétrique[7] :
![]() |
Dans une base orthonormée d'un référentiel inertiel, ses composantes covariantes ημν sont :
![]() |
Ses composantes contravariantes ημν vérifient :
![]() |
On obtient explicitement :
![]() |
On utilisera ci-dessous les conventions usuelles suivantes :
Par exemple, les composantes contravariantes du 4-vecteur position s'écrivent dans un système de coordonnées orthonormales :
![]() |
Le tenseur métrique définit pour chaque point de l'espace-temps un pseudo-produit scalaire (pseudo au sens où l'hypothèse de positivité est retirée) dans l'espace TxM euclidien tangent à M au point x. Si
et
sont deux vecteurs de TxM, leur produit scalaire (En géométrie vectorielle, le produit scalaire est une opération algébrique...) s'écrit :
![]() |
En particulier, en prenant deux vecteurs de base, on obtient les composantes :
![]() |
wμ désignant les composantes contravariantes du vecteur w, on peut définir de même ses composantes covariantes par :
![]() |
Par exemple, les composantes covariantes du 4-vecteur position s'écrivent dans un système de coordonnées orthonormales :
![]() |
On introduit l'opérateur différentiel (Un opérateur différentiel est un opérateur agissant sur des fonctions...) quadri-gradient par ses composantes covariantes :
![]() |
Ses composantes contravariantes s'écrivent :
![]() |
L'opérateur (Le mot opérateur est employé dans les domaines :) invariant d'Alembertien s'écrit par exemple :
![]() |
On introduit le quadri-potentiel électromagnétique par ses composantes contravariantes :
![]() |
où V est le scalaire potentiel électrique, et le potentiel-vecteur magnétique. Ses composantes covariantes s'écrivent :
![]() |
Les lois de transformation de jauge écrite précédemment sont donc résumées dans cette notation sous la forme
La condition de jauge de Lorenz s'écrit par exemple de façon covariante :
![]() |
On introduit le quadri-courant électromagnétique par ses composantes contravariantes :
![]() |
où ρ est le scalaire densité électrique de charge, et le vecteur densité de courant. Ses composantes covariantes s'écrivent :
![]() |
Le tenseur de Maxwell est le tenseur anti-symétrique de rang ( Mathématiques En algèbre linéaire, le rang d'une famille de vecteurs est la dimension du...) deux défini à partir du quadri-potentiel par :
![]() |
Ses composantes covariantes s'écrivent explicitement :
![]() |
On obtient ses composantes contravariantes en écrivant :
![]() |
La métrique étant diagonale (On appelle diagonale d'un polygone tout segment reliant deux sommets non consécutifs (non...) dans un référentiel inertiel, on obtient alors les formules suivantes, sans sommation sur les indices répétés :
soit explicitement :
![]() |
Les équations de Maxwell se mettent sous forme relativiste covariante.
![]() |
![]() |
Puisque le tenseur de Maxwell est anti-symétrique, cette dernière relation entraîne en particulier que le quadri-courant est conservé :
![]() |
En écrivant explicitement le tenseur de Maxwell en termes du quadri-potentiel dans l'équation covariante avec terme de sources, on obtient pour le membre de gauche :
![]() |
Dans la jauge de Lorenz , le second terme disparaît, et l'équation de Maxwell avec terme de sources se réduit à une équation de propagation pour le quadri-potentiel :
![]() |
La solution de cette équation s'écrit de façon simple si l'on connaît une fonction de Green (On appelle fonction de Green en physique ce que les mathématiciens appellent solution...) de l'équation de propagation, c'est-à-dire une fonction G(x) solution[8] de l'équation aux dérivées partielles :
![]() |
où δ(x) est la distribution de Dirac. On obtient alors le quadri-potentiel sous la forme d'un produit de convolution :
![]() |
En électrodynamique classique, on utilise le plus souvent la fonction de Green retardée qui satisfait à l'hypothèse de causalité :
![]() |
Cette fonction de Green s'écrit :