Modèle sigma non linéaireEn théorie quantique des champs un modèle sigma non linéaire désigne une théorie dans laquelle les champs fondamentaux représentent des coordonnées dans une variété riemannienne appelée espace-cible. Ensemble ils constituent un plongement depuis l'espace sur lequel ils vivent (par exemple l'espace de Minkowski) vers l'espace-cible. Dans le cas le plus simple on considère que l'espace sur lequel vivent les champs de la théorie est l'espace de Minkowki .
Théorie de la perturbation (mécanique quantique)En mécanique quantique, la théorie de la perturbation, ou théorie des perturbations, est un ensemble de schémas d'approximations liée à une perturbation mathématique utilisée pour décrire un système quantique complexe de façon simplifiée. L'idée est de partir d'un système simple et d'appliquer graduellement un hamiltonien « perturbant » qui représente un écart léger par rapport à l'équilibre du système (perturbation).
Théorie des perturbationsLa théorie des perturbations est un domaine des mathématiques, qui consiste à étudier les contextes où il est possible de trouver une solution approchée à une équation en partant de la solution d'un problème plus simple. Plus précisément, on cherche une solution approchée à une équation (E) (dépendante d'un paramètre λ), sachant que la solution de l'équation (E) (correspondant à la valeur λ=0) est connue exactement. L'équation mathématique (E) peut être par exemple une équation algébrique ou une équation différentielle.
Hamiltonien de HeisenbergDans la théorie du magnétisme quantique, l'hamiltonien de Heisenberg décrit un ensemble de moments magnétiques localisés en interaction. Cet hamiltonien s'écrit : où est le magnéton de Bohr, est le rapport gyromagnétique du i-ème moment localisé, est un opérateur de spin, est le champ magnétique externe, et est la constante d'échange. Pour l'interaction est antiferromagnétique et pour elle est ferromagnétique. En général, les sites i sont placés sur les nœuds d'un réseau régulier.
SpinLe 'spin' () est, en physique quantique, une des propriétés internes des particules, au même titre que la masse ou la charge électrique. Comme d'autres observables quantiques, sa mesure donne des valeurs discrètes et est soumise au principe d'incertitude. C'est la seule observable quantique qui ne présente pas d'équivalent classique, contrairement, par exemple, à la position, l'impulsion ou l'énergie d'une particule. Il est toutefois souvent assimilé au moment cinétique (cf de cet article, ou Précession de Thomas).
Sigma modelIn physics, a sigma model is a field theory that describes the field as a point particle confined to move on a fixed manifold. This manifold can be taken to be any Riemannian manifold, although it is most commonly taken to be either a Lie group or a symmetric space. The model may or may not be quantized. An example of the non-quantized version is the Skyrme model; it cannot be quantized due to non-linearities of power greater than 4. In general, sigma models admit (classical) topological soliton solutions, for example, the Skyrmion for the Skyrme model.
Chiral modelIn nuclear physics, the chiral model, introduced by Feza Gürsey in 1960, is a phenomenological model describing effective interactions of mesons in the chiral limit (where the masses of the quarks go to zero), but without necessarily mentioning quarks at all. It is a nonlinear sigma model with the principal homogeneous space of a Lie group as its target manifold. When the model was originally introduced, this Lie group was the SU(N) , where N is the number of quark flavors.
Système de calcul formelUn système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique. La partie principale de ce système est la manipulation des expressions mathématiques sous leur forme symbolique. Les expressions peuvent être : des polynômes avec de multiples variables ; des fonctions (fonctions trigonométriques, exponentielle, etc.) ; des fonctions spéciales (gamma, zêta, erf, Bessel, etc.
Angular momentum diagrams (quantum mechanics)In quantum mechanics and its applications to quantum many-particle systems, notably quantum chemistry, angular momentum diagrams, or more accurately from a mathematical viewpoint angular momentum graphs, are a diagrammatic method for representing angular momentum quantum states of a quantum system allowing calculations to be done symbolically. More specifically, the arrows encode angular momentum states in bra–ket notation and include the abstract nature of the state, such as tensor products and transformation rules.
Géométrie algébriqueLa géométrie algébrique est un domaine des mathématiques qui, historiquement, s'est d'abord intéressé à des objets géométriques (courbes, surfaces...) composés des points dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des produits (par exemple le cercle unité dans le plan rapporté à un repère orthonormé admet pour équation ). La simplicité de cette définition fait qu'elle embrasse un grand nombre d'objets et qu'elle permet de développer une théorie riche.
Calcul formelLe calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes. Ainsi, un nombre entier est représenté de manière finie et exacte par la suite des chiffres de son écriture en base 2. Étant donné les représentations de deux nombres entiers, le calcul formel se pose par exemple la question de calculer celle de leur produit.
Équation cubiquethumb|right|Une équation cubique admet au plus trois solutions réelles. En mathématiques, une équation cubique est une équation polynomiale de degré 3, de la forme ax + bx + cx + d = 0 avec a non nul, où les coefficients a, b, c et d sont en général supposés réels ou complexes. Les équations cubiques étaient connues des anciens Babyloniens, Grecs, Chinois, Indiens et Égyptiens. On a trouvé des tablettes babyloniennes () avec, en écriture cunéiforme, des tables de calcul de cubes et de racines cubiques.
Fonction cubiquevignette|Courbe représentative de la fonction cubique f(x) = (x3 + 3x2 − 6x − 8)/4, qui a 3 racines réelles (où la courbe croise l'axe horizontal — où y = 0) et deux points critiques. En mathématiques, une fonction cubique est une fonction de la forme où a est non nul. L'équation f(x) = 0 est alors une équation cubique. Les solutions de cette équation polynomiale sont appelées zéros de la fonction polynomiale f. vignette|Les racines, les points stationnaires, point d'inflexion et la concavité d'un polynôme cubique (ligne noire) et ses dérivées première et seconde (rouge et bleu).
Atmospheric modelIn atmospheric science, an atmospheric model is a mathematical model constructed around the full set of primitive, dynamical equations which govern atmospheric motions. It can supplement these equations with parameterizations for turbulent diffusion, radiation, moist processes (clouds and precipitation), heat exchange, soil, vegetation, surface water, the kinematic effects of terrain, and convection. Most atmospheric models are numerical, i.e. they discretize equations of motion.
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.
Groupe de symétrieLe groupe de symétrie, ou groupe des isométries, d'un objet (, signal, etc.) est le groupe de toutes les isométries sous lesquelles cet objet est globalement invariant, l'opération de ce groupe étant la composition. C'est un sous-groupe du groupe euclidien, qui est le groupe des isométries de l'espace affine euclidien ambiant. (Si cela n'est pas indiqué, nous considérons ici les groupes de symétrie en géométrie euclidienne, mais le concept peut aussi être étudié dans des contextes plus larges, voir ci-dessous.
Spin-1/2In quantum mechanics, spin is an intrinsic property of all elementary particles. All known fermions, the particles that constitute ordinary matter, have a spin of 1/2. The spin number describes how many symmetrical facets a particle has in one full rotation; a spin of 1/2 means that the particle must be rotated by two full turns (through 720°) before it has the same configuration as when it started. Particles having net spin 1/2 include the proton, neutron, electron, neutrino, and quarks.
AlgèbreL'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques. Selon l’époque et le niveau d’études considérés, elle peut être décrite comme : une arithmétique généralisée, étendant à différents objets ou grandeurs les opérations usuelles sur les nombres ; la théorie des équations et des polynômes ; depuis le début du , l’étude des structures algébriques (on parle d'algèbre générale ou abstraite).
Groupe spinorielEn mathématiques, le groupe spinoriel de degré n, noté Spin(n), est un revêtement double particulier du groupe spécial orthogonal réel SO(n,R). C’est-à-dire qu’il existe une suite exacte de groupes de Lie On peut aussi définir les groupes spinoriels d'une forme quadratique non dégénérée sur un corps commutatif. Pour n > 2, Spin(n) est simplement connexe et coïncide avec le revêtement universel de SO(n,R). En tant que groupe de Lie, Spin(n) partage sa dimension n(n–1)/2 et son algèbre de Lie avec le groupe spécial orthogonal.
Groupe spécial unitaireEn mathématiques, le groupe spécial unitaire de E, où E est un espace hermitien, est le groupe des automorphismes unitaires de E de déterminant 1, la loi de composition interne considérée étant la composition d’automorphismes. Il est noté SU(E). C’est un sous-groupe de U(E), le groupe unitaire des automorphismes de E. De manière générale, on peut définir le groupe spécial unitaire d'une forme sesquilinéaire hermitienne complexe non dégénérée, ou d'une forme sesquilinéaire hermitienne ou antihermitienne non dégénérée sur un espace vectoriel de dimension finie sur certains corps (commutatifs ou non) relativement à une involution.
