Développement : Caractérisation réelle de Gamma avec la log convexité

Détails/Enoncé :

Théorème


La fonction $\Gamma$ est la seule fonction $f: \mathbb{R}_+^* \to \mathbb{R}_+^*$ telle que $f(1) = 1$, $f(x+1) = xf(x)$ pour tout $x$ et $f$ est log-convexe (i.e. $\log(f)$ est convexe).


Je n'ai pas de référence complète pour la partie sur la convexité.
La première partie (convergence dominée) est trouvable dans Zuily-Queffélec : "Analyse pour l'agrégation", en version variable complexe, à la page 314

Recasages pour l'année 2024 :

Autres années :

Versions :

  • Auteur :
  • Remarque :
    Je crois qu'un sujet de Mines-Pont du début des années 2000 fait tout ça sous forme d'un problème, si quelqu'un retrouve l'année et la fillière, qu'il n'hésite pas, cela fera une "vraie" référence.
  • Fichier :
  • Auteur :
  • Remarque :
    Une preuve de ce théorème est pp.14-15 du livre The Gamma function d'Emil Artin, que l'on peut voir ici : https://books.google.fr/books?id=c3R2BgAAQBAJ&pg=PA14#v=onepage&q&f=false

Références utilisées dans les versions de ce développement :

Principes d'analyse mathématiques , Rudin (utilisée dans 2 versions au total)
Elements d'analyse réelle , Rombaldi (utilisée dans 50 versions au total)