Fonction Gamma
Période historique : 1729
Le prolongement analytique universel de la factorielle aux nombres complexes.
Contenu & Formulation mathématique
Genèse & Portée historique
Introduite par Leonhard Euler, la fonction Gamma interpole la suite discrète des factorielles selon la relation Gamma(n) = (n-1)!. Elle s'exprime sous forme d'intégrale impropre pour Re(z) > 0 et se prolonge en fonction méromorphe sur tout le plan complexe avec des pôles simples aux entiers négatifs ou nuls.
Le théorème de Bohr-Mollerup démontre que Gamma est l'unique fonction sur les réels positifs satisfaisant f(1)=1, f(x+1)=x f(x) et dont le logarithme est une fonction convexe.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Fonction Gamma
Fonction méromorphe interpolant la factorielle vérifiant l'équation fonctionnelle fondamentale Gamma(z+1) = z Gamma(z).
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Analysis & Infinity.