Équations de Maxwellvignette|Plaque représentant les équations de Maxwell au pied de la statue en hommage à James Clerk Maxwell d'Edimbourg. Les équations de Maxwell, aussi appelées équations de Maxwell-Lorentz, sont des lois fondamentales de la physique. Elles constituent, avec l'expression de la force électromagnétique de Lorentz, les postulats de base de l'électromagnétisme. Ces équations traduisent sous forme locale différents théorèmes (Gauss, Ampère, Faraday) qui régissaient l'électromagnétisme avant que Maxwell ne les réunisse sous forme d'équations intégrales.
Champ magnétiqueEn physique, dans le domaine de l'électromagnétisme, le champ magnétique est une grandeur ayant le caractère d'un champ vectoriel, c'est-à-dire caractérisée par la donnée d'une norme, d’une direction et d’un sens, définie en tout point de l'espace et permettant de modéliser et quantifier les effets magnétiques du courant électrique ou des matériaux magnétiques comme les aimants permanents.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Théorème d'AmpèreEn magnétostatique, le théorème d'Ampère permet de déterminer la valeur du champ magnétique grâce à la donnée des courants électriques. Ce théorème est une forme intégrale de l'équation de Maxwell-Ampère. Il a été découvert par André-Marie Ampère, et constitue l'équivalent magnétostatique du théorème de Gauss. Pour être appliqué analytiquement de manière simple, le théorème d'Ampère nécessite que le problème envisagé soit de symétrie élevée.
Champ électromagnétiqueUn champ électromagnétique ou Champ EM (en anglais, electromagnetic field ou EMF) est la représentation dans l'espace de la force électromagnétique qu'exercent des particules chargées. Concept important de l'électromagnétisme, ce champ représente l'ensemble des composantes de la force électromagnétique s'appliquant sur une particule chargée se déplaçant dans un référentiel galiléen. Une particule de charge q et de vecteur vitesse subit une force qui s'exprime par : où est le champ électrique et est le champ magnétique.
Électrodynamique quantiqueLélectrodynamique quantique (parfois dite relativiste) est une théorie physique ayant pour but de concilier l'électromagnétisme avec la mécanique quantique en utilisant un formalisme lagrangien relativiste. Selon cette théorie, les charges électriques interagissent par échange de photons virtuels. L'étude statique (absence d'évolution au cours du temps) du champ électrique s'appelle électrostatique, celle du champ magnétique magnétostatique. En dynamique, les deux champs deviennent couplés, devenant une seule discipline, l'électro-magnéto-dynamique.
SymétrieLa symétrie est une propriété d'un système : c'est lorsque deux parties sont semblables. L'exemple le plus connu est la symétrie en géométrie. De manière générale, un système est symétrique quand on peut permuter ses éléments en laissant sa forme inchangée. Le concept d'automorphisme permet de préciser cette définition. Un papillon, par exemple, est symétrique parce qu'on peut permuter tous les points de la moitié gauche de son corps avec tous les points de la moitié droite sans que son apparence soit modifiée.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Maxwell's equations in curved spacetimeIn physics, Maxwell's equations in curved spacetime govern the dynamics of the electromagnetic field in curved spacetime (where the metric may not be the Minkowski metric) or where one uses an arbitrary (not necessarily Cartesian) coordinate system. These equations can be viewed as a generalization of the vacuum Maxwell's equations which are normally formulated in the local coordinates of flat spacetime.
Électromagnétismevignette|Globe plasma 60e. Lélectromagnétisme, aussi appelé interaction électromagnétique, est la branche de la physique qui étudie les interactions entre particules chargées électriquement, qu'elles soient au repos ou en mouvement, et plus généralement les effets de l'électricité, en utilisant la notion de champ électromagnétique. Il est d'ailleurs possible de définir l'électromagnétisme comme l'étude du champ électromagnétique et de son interaction avec les particules chargées.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Champ magnétique terrestreLe champ magnétique terrestre, aussi appelé bouclier terrestre, est un champ magnétique présent dans un vaste espace autour de la Terre (de manière non uniforme du fait de son interaction avec le vent solaire) ainsi que dans la croûte et le manteau. Il a son origine dans le noyau externe, par un mécanisme de dynamo auto-excitée. Dynamo terrestre Selon les études de John Tarduno de l'université de Rochester (États-Unis), la Terre possédait déjà un champ magnétique il y a 3,45 milliards d'années.
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
Potentiel vecteur du champ magnétiqueLe potentiel vecteur du champ magnétique, ou, plus simplement potentiel vecteur quand il n'y a pas de confusion possible, est une quantité physique assimilable à un champ de vecteurs intervenant en électromagnétisme. Elle n'est pas directement mesurable, mais sa présence est intimement liée à celle d'un champ électrique et/ou d'un champ magnétique. Son unité SI est le kg.C-1.m.s-1. Bien qu'il ait d'abord été introduit uniquement en tant qu'outil mathématique, en mécanique quantique, il a une réalité physique, comme l'a montré l'expérience Aharonov-Bohm.
ÉlectrodynamiqueL’électrodynamique est la discipline physique qui étudie et traite des actions dynamiques entre les courants électriques. On distingue l’électrodynamique classique et l’électrodynamique quantique. Tout phénomène d'électrodynamique classique est décrit par les équations de Maxwell. En 1820, André-Marie Ampère, après avoir été informé de l'expérience de Hans Christian Ørsted mettant en évidence l’interaction entre un courant électrique et un aimant, formalise mathématiquement, pour la première fois, les forces d'interaction entre aimants et courants et les forces mutuelles entre courants.
Théorie oméga-cohérenteEn logique mathématique une théorie arithmétique est appelée théorie ω-cohérente (oméga-cohérente) quand, pour toute propriété P des nombres entiers que l'on peut exprimer dans le langage de la théorie, si pour chaque entier n, P(n) est démontrable dans la théorie, alors ¬∀x P(x) n'est pas démontrable dans la théorie (¬ pour la négation, ∀ pour la quantification universelle, « pour tout »). Quand on prend pour P un énoncé clos (qui ne dépend pas de x) on retrouve la définition de la cohérence, appelée parfois dans ce contexte cohérence simple, qui est donc conséquence de l'ω-cohérence.
Covariant formulation of classical electromagnetismThe covariant formulation of classical electromagnetism refers to ways of writing the laws of classical electromagnetism (in particular, Maxwell's equations and the Lorentz force) in a form that is manifestly invariant under Lorentz transformations, in the formalism of special relativity using rectilinear inertial coordinate systems. These expressions both make it simple to prove that the laws of classical electromagnetism take the same form in any inertial coordinate system, and also provide a way to translate the fields and forces from one frame to another.
Courant de déplacementEn électromagnétisme, le courant de déplacement est un terme introduit par Maxwell pour étendre aux régimes variables dans le temps le théorème d'Ampère valide en magnétostatique. 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, du magnétisme, de l'induction...). 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, dont la présence assure la cohérence de l'édifice unifié.
Densité de courantLa densité de courant, ou densité volumique de courant, est un vecteur qui décrit le courant électrique à l'échelle locale, en tout point d'un système physique. Dans le Système international d'unités, son module s'exprime en ampères par mètre carré ( ou ). À l'échelle du système tout entier il s'agit d'un champ de vecteurs, puisque le vecteur densité de courant est défini en tout point.
