Opérateur d'évolutionEn mécanique quantique, l'opérateur d'évolution est l'opérateur qui transforme l'état quantique au temps en l'état quantique au temps résultant de l'évolution du système sous l'effet de l'opérateur hamiltonien. On considère un hamiltonien composé de deux termes : où la dépendance temporelle est contenue dans . Quand , le système est complètement connu par ses kets propres et ses valeurs propres : Cet opérateur est noté et on a la relation, qui donne l'état du système au temps à partir du temps initial : où représente le ket au temps représente le ket au temps Pour le bra, on a alors la relation suivante : L'opérateur a les propriétés suivantes : C'est un opérateur linéaire est un opérateur unitaire ().
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Représentation d'interactionLa représentation d'interaction ou représentation de Dirac de la mécanique quantique est une manière de traiter les problèmes dépendant du temps. Dans la représentation d'interaction, on applique les hypothèses suivantes : On considère un hamiltonien ayant la forme suivante : où est constant dans le temps et décrit une interaction perturbative qui peut dépendre du temps. Les états propres sont dépendants du temps Les opérateurs sont aussi dépendants du temps La dynamique des états est décrite suivant la représentation de Schrödinger tandis que la dynamique des opérateurs est décrite suivant la représentation de Heisenberg.
Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
GraphèneLe graphène est un matériau bidimensionnel cristallin, forme allotropique du carbone dont l'empilement constitue le graphite. Cette définition théorique est donnée par le physicien en 1947. Par la suite, le travail de différents groupes de recherche permettra de se rendre compte que la structure du graphène tout comme ses propriétés ne sont pas uniques et dépendent de sa synthèse/extraction (détaillée dans la section Production).
Fat-tailed distributionA fat-tailed distribution is a probability distribution that exhibits a large skewness or kurtosis, relative to that of either a normal distribution or an exponential distribution. In common usage, the terms fat-tailed and heavy-tailed are sometimes synonymous; fat-tailed is sometimes also defined as a subset of heavy-tailed. Different research communities favor one or the other largely for historical reasons, and may have differences in the precise definition of either.
Missile balistiquevignette|upright=1.28|Tir d'un missile Titan II depuis son silo ; cet engin fut opérationnel à partir de 1962. Un missile balistique est un engin qui lance une ou plusieurs armes en leur donnant une trajectoire essentiellement balistique, c'est-à-dire influencée uniquement par la gravité et la vitesse acquise par l'impulsion fournie lors de la propulsion. La phase balistique est précédée par une phase de propulsion sous l’effet d’un moteur-fusée, le missile proprement dit, donnant à l'arme (ou aux armes) la vitesse nécessaire pour atteindre la cible après une trajectoire essentiellement spatiale.
Vol suborbitalvignette|Mercury-Redstone est une fusée permettant uniquement d'effectuer des vols suborbitaux à bord de capsule Mercury. Ici, le décollage de la mission Mercury-Redstone 3, avec l'astronaute Alan Shepard. Un vol suborbital est un vol spatial d'un engin spatial se déplaçant dans l'espace à une vitesse suborbitale, inférieure à la vitesse requise pour qu'il se maintienne en orbite. Le premier vol suborbital est effectué le par l'astronaute Alan Shepard lors de la mission Mercury-Redstone 3.
Charge d'espacevignette|La foudre est la décharge des charges d'espace qui se sont accumulées dans les nuages. La charge d'espace est un nuage d'électrons situé dans un espace qui peut être un vide, un gaz, un liquide ou un solide. Le plus souvent, cet effet est rencontré dans le vide des tubes électroniques. Lorsqu'un objet métallique placé dans le vide est chauffé jusqu'à l'incandescence, l'énergie est suffisante pour que les électrons, agités, puissent quitter la surface du métal, formant un nuage d'électrons.
Generality of algebraIn the history of mathematics, the generality of algebra was a phrase used by Augustin-Louis Cauchy to describe a method of argument that was used in the 18th century by mathematicians such as Leonhard Euler and Joseph-Louis Lagrange, particularly in manipulating infinite series. According to Koetsier, the generality of algebra principle assumed, roughly, that the algebraic rules that hold for a certain class of expressions can be extended to hold more generally on a larger class of objects, even if the rules are no longer obviously valid.
