Lemme de PoincaréLe lemme de Poincaré est un résultat fondamental en analyse à plusieurs variables et en géométrie différentielle. Il concerne les formes différentielles (implicitement de classe C) sur une variété différentielle (implicitement lisse). D'après le théorème de Schwarz, toute forme différentielle exacte est fermée. Le lemme de Poincaré assure une réciproque partielle : Sous ces hypothèses, la conclusion du lemme de Poincaré se reformule en termes de cohomologie de De Rham. En particulier, toute forme différentielle fermée est localement exacte.
Fonction de plusieurs variablesEn mathématiques et plus spécialement en analyse vectorielle, une fonction numérique à plusieurs variables réelles est une fonction dont l'ensemble de départ E est une partie du produit cartésien . L'ensemble d'arrivée F peut être ou . Le second cas peut se ramener au premier cas en considérant qu'il s'agit en réalité de p fonctions de dans appelées fonctions coordonnées. La fonction est donc une relation associant à chaque n-uplet x = (x, x, ...
Leibniz integral ruleIn calculus, the Leibniz integral rule for differentiation under the integral sign states that for an integral of the form where and the integrands are functions dependent on the derivative of this integral is expressible as where the partial derivative indicates that inside the integral, only the variation of with is considered in taking the derivative. It is named after Gottfried Leibniz.
Champ conservatifUn champ de vecteurs est dit à circulation conservative (ou irrotationnel) si sa circulation sur toute courbe fermée est nulle (son rotationnel est alors nul, et réciproquement). Sous certaines conditions relatives au domaine de définition et à la régularité du champ, on peut dériver le potentiel de ce champ, fonction scalaire qui en permet une représentation alternative. De même, un champ de vecteurs est dit à flux conservatif si son flux sur toute surface fermée est nul (sa divergence est alors nulle, et réciproquement).
