Additive Schwarz methodIn mathematics, the additive Schwarz method, named after Hermann Schwarz, solves a boundary value problem for a partial differential equation approximately by splitting it into boundary value problems on smaller domains and adding the results. Partial differential equations (PDEs) are used in all sciences to model phenomena. For the purpose of exposition, we give an example physical problem and the accompanying boundary value problem (BVP). Even if the reader is unfamiliar with the notation, the purpose is merely to show what a BVP looks like when written down.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Linear induction motorA linear induction motor (LIM) is an alternating current (AC), asynchronous linear motor that works by the same general principles as other induction motors but is typically designed to directly produce motion in a straight line. Characteristically, linear induction motors have a finite primary or secondary length, which generates end-effects, whereas a conventional induction motor is arranged in an endless loop.
Loi de Lenz-FaradayEn physique, la loi de Lenz-Faraday, ou loi de Faraday, permet de rendre compte des phénomènes macroscopiques d'induction électromagnétique. Elle exprime l'apparition d'une force électromotrice (tension) dans un circuit électrique, lorsque celui-ci est immobile dans un champ magnétique variable ou lorsque le circuit est mobile dans un champ magnétique constant ou permanent. À l'origine empirique, cette loi est fondée sur les travaux de Michael Faraday en 1831 et sur l'énoncé de Heinrich Lenz de 1834.
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.
James Clerk MaxwellJames Clerk Maxwell ( à Édimbourg en Écosse - à Cambridge en Angleterre) est un physicien et mathématicien écossais. Il est principalement connu pour avoir unifié en un seul ensemble d'équations, les équations de Maxwell, l'électricité, le magnétisme et l'induction, en incluant une importante modification du théorème d'Ampère. Ce fut à l'époque le modèle le plus unifié de l'électromagnétisme. Il est également célèbre pour avoir interprété, dans un article scientifique, la lumière comme étant un phénomène électromagnétique en s'appuyant sur les travaux de Michael Faraday.
Formule intégrale de Cauchyvignette|Illustration de la formule intégrale de Cauchy en analyse complexe La formule intégrale de Cauchy, due au mathématicien Augustin Louis Cauchy, est un point essentiel de l'analyse complexe. Elle exprime le fait que la valeur en un point d'une fonction holomorphe est complètement déterminée par les valeurs qu'elle prend sur un chemin fermé contenant (c'est-à-dire entourant) ce point. Elle peut aussi être utilisée pour exprimer sous forme d'intégrales toutes les dérivées d'une fonction holomorphe.
Transformée de Wigner-WeylLa transformée de Wigner – Weyl (ou transformée de Weyl – Wigner) établit une correspondance univoque entre deux formulations de la mécanique quantique : théorie abstraite de l'infiniment petit qui s'appuie sur des formalismes et des outils mathématiques divers, mais qui rendent compte des mêmes résultats et des mêmes propriétés dans leurs domaines communs d'application ; l'exemple historique bien établi est celui de la mécanique des matrices d'Heisenberg et celle décrite par l'équation de Schrödinger, dont
