Énergie potentielleL'énergie potentielle d'un système physique est l'énergie liée à une interaction, qui a la capacité de se transformer en d'autres formes d'énergie, le plus souvent en énergie cinétique, une énergie de mouvement. La force qui modélise l'interaction est une force conservative c'est-à-dire que son travail ne dépend pas du chemin suivi lors du déplacement, mais uniquement du point de départ et du point d'arrivée : .
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Creation and annihilation operatorsCreation operators and annihilation operators are mathematical operators that have widespread applications in quantum mechanics, notably in the study of quantum harmonic oscillators and many-particle systems. An annihilation operator (usually denoted ) lowers the number of particles in a given state by one. A creation operator (usually denoted ) increases the number of particles in a given state by one, and it is the adjoint of the annihilation operator.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Énergie potentielle électrostatiqueL'énergie potentielle électrostatique (ou simplement énergie électrostatique) d'une charge électrique q placée en un point P baignant dans un potentiel électrique est définie comme le travail à fournir pour transporter cette charge depuis l'infini jusqu'à la position P. Elle vaut donc : si l'on se place dans le cas où les sources générant le potentiel électrique V sont distribuées dans une région bornée de l'espace, ce qui permet d'attribuer une valeur nulle du potentiel à l'infini.
Oscillateur harmoniqueUn oscillateur harmonique est un oscillateur idéal dont l'évolution au cours du temps est décrite par une fonction sinusoïdale, dont la fréquence ne dépend que des caractéristiques du système et dont l'amplitude est constante. Ce modèle mathématique décrit l'évolution de n'importe quel système physique au voisinage d'une position d'équilibre stable, ce qui en fait un outil transversal utilisé dans de nombreux domaines : mécanique, électricité et électronique, optique. Il néglige les forces dissipatives (frottement par exemple).
Oscillateur harmonique quantiqueL'oscillateur harmonique quantique correspond au traitement par les outils de la mécanique quantique de l'oscillateur harmonique classique. De façon générale, un oscillateur est un système dont l'évolution dans le temps est périodique. Il est dit de plus harmonique si les oscillations effectuées sont sinusoïdales, avec une amplitude et une fréquence qui ne dépendent que des caractéristiques intrinsèques du système et des conditions initiales.
Continuous functionIn mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value, known as discontinuities. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is .
Coût actualisé de l'énergieLe coût actualisé de l'énergie, en anglais Levelized Cost of Energy (LCOE), correspond au prix complet d'une énergie (l’électricité dans la plupart des cas) sur la durée de vie de l’équipement qui la produit. Les différents modes de production d'électricité ont des coûts très différents. Le calcul de ces coûts peut être fait en différents points : en sortie immédiate du système de production (centrale électrique, éolienne, ensemble de panneaux photovoltaïque...), au point de connexion au réseau électrique, etc.
Approximation BKWEn physique, l'approximation BKW (en l'honneur de Léon Brillouin, Hendrik Anthony Kramers et Gregor Wentzel) est une méthode développée en 1926 qui permet d'étudier le régime semi-classique d'un système quantique. La fonction d'onde est développée asymptotiquement au premier ordre de la puissance du quantum d'action . L'idée de base de la méthode BKW est que l'équation de Schrödinger se dérive de l'équation de propagation des ondes.
Energy subsidyEnergy subsidies are measures that keep prices for customers below market levels, or for suppliers above market levels, or reduce costs for customers and suppliers. Energy subsidies may be direct cash transfers to suppliers, customers, or related bodies, as well as indirect support mechanisms, such as tax exemptions and rebates, price controls, trade restrictions, and limits on market access. The International Renewable Energy Agency tracked some $634 billion in energy-sector subsidies in 2020, and found that around 70% were fossil fuel subsidies.
