Méthode itérativeEn analyse numérique, une méthode itérative est un procédé algorithmique utilisé pour résoudre un problème, par exemple la recherche d’une solution d’un système d'équations ou d’un problème d’optimisation. En débutant par le choix d’un point initial considéré comme une première ébauche de solution, la méthode procède par itérations au cours desquelles elle détermine une succession de solutions approximatives raffinées qui se rapprochent graduellement de la solution cherchée. Les points générés sont appelés des itérés.
Énergie (physique)En physique, l'énergie est une grandeur qui mesure la capacité d'un système à modifier un état, à produire un travail entraînant un mouvement, un rayonnement électromagnétique ou de la chaleur. Dans le Système international d'unités (SI), l'énergie s'exprime en joules et est de dimension . Le mot français vient du latin vulgaire energia, lui-même issu du grec ancien / enérgeia. Ce terme grec originel signifie « force en action », par opposition à / dýnamis signifiant « force en puissance » ; Aristote a utilisé ce terme , pour désigner la réalité effective en opposition à la réalité possible.
Physique mathématiqueLa physique mathématique est un domaine de recherche commun à la physique et aux mathématiques s'intéressant au développement des méthodes mathématiques spécifiques aux problèmes physiques ou plus généralement à l'application des mathématiques à la physique, et, à l'opposé, aux développements mathématiques que suscitent certains domaines de recherche en physique. Elle inclut notamment l'étude des systèmes dynamiques, des algèbres aux symétries particulières, des méthodes de décomposition en séries et des méthodes de résolution d'équations différentielles.
Variété symplectiqueEn mathématiques, une variété symplectique est une variété différentielle munie d'une forme différentielle de degré 2 fermée et non dégénérée, appelée forme symplectique. L'étude des variétés symplectiques relève de la géométrie symplectique. Les variétés symplectiques apparaissent dans les reformulations analytiques abstraites de la mécanique classique utilisant la notion de fibré cotangent d'une variété, notamment dans la reformulation hamiltonnienne, où les configurations d'un système forment une variété dont le fibré cotangent décrit l'espace des phases du système.
Matrice symplectiqueEn mathématique, une matrice symplectique est une matrice M de taille 2n par 2n (dont les entrées sont typiquement soit des réels soit des complexes) satisfaisant la condition où MT désigne la matrice transposée de M et J est la matrice par blocs antisymétrique définie par : (In étant la matrice identité n×n). On remarque que le déterminant de J vaut 1 et qu'on a l'identité J = −I2n. Toute matrice symplectique est inversible et son inverse est donnée par : De plus, le produit de deux matrices symplectiques est, à nouveau, une matrice symplectique.
Groupe symplectiqueEn mathématiques, le terme groupe symplectique est utilisé pour désigner deux familles différentes de groupes linéaires. On les note Sp(2n, K) et Sp(n), ce dernier étant parfois nommé groupe compact symplectique pour le distinguer du premier. Cette notation ne fait pas l’unanimité et certains auteurs en utilisent d’autres, différant généralement d’un facteur 2. La notation utilisée dans cet article est en rapport avec la taille des matrices représentant les groupes.
Mécanique quantique dans l'espace des phasesLa formulation de la mécanique quantique dans l'espace des phases place les variables de position et d'impulsion sur un pied d'égalité dans l'espace des phases. En revanche, la représentation de Schrödinger utilise soit la représentation dans l'espace des positions, soit la représentation dans celui des impulsions (voir la page espace des positions et des impulsions).
Espace des phasesdroite|vignette| Trajectoires dans l'espace des phases pour un pendule simple. L'axe X correspond à la position du pendule, et l'axe Y sa vitesse. Dans la théorie des systèmes dynamiques, l'espace des phases (ou espace d'état) d'un système est l'espace mathématique dans lequel tous les états possibles du système sont représentés ; chaque état possible correspondant à un point unique dans l'espace des phases. Pour un système mécanique, l'espace des phases se compose généralement de toutes les valeurs possibles des variables de position et d'impulsion représentant le système.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Mécanique (science)vignette|Gyroscope. Le gyroscope tient en équilibre sur la pointe fixe par le jeu des forces mécaniques (en particulier le couple de rappel) engendrées par la rotation rapide du disque au centre. La mécanique (du grec ancien , « l'art mécanique ») est une branche de la physique dont l'objet est l'étude du mouvement, des déformations ou des états d'équilibre des systèmes physiques. Cette science vise ainsi à décrire les mouvements de différentes sortes de corps, depuis les particules subatomiques avec la mécanique quantique, jusqu'aux galaxies avec la mécanique céleste.
Optical phase spaceIn quantum optics, an optical phase space is a phase space in which all quantum states of an optical system are described. Each point in the optical phase space corresponds to a unique state of an optical system. For any such system, a plot of the quadratures against each other, possibly as functions of time, is called a phase diagram. If the quadratures are functions of time then the optical phase diagram can show the evolution of a quantum optical system with time.
Conserved quantityA conserved quantity is a property or value that remains constant over time in a system even while changes occur in the system. In mathematics, a conserved quantity of a dynamical system is formally defined as a function of the dependent variables, the value of which remains constant along each trajectory of the system. Not all systems have conserved quantities, and conserved quantities are not unique, since one can always produce another such quantity by applying a suitable function, such as adding a constant, to a conserved quantity.
