Constante de Fransén-Robinson

La constante de Fransén-Robinson, nommée d'après Arne Fransén et Herman P. Robinson, apparait en analyse, dans l'étude de la fonction gamma, définie par :

$\Gamma :z\mapsto \int _{0}^{+\infty }t^{z-1}\,\mathrm {e} ^{-t}\,\mathrm {d} t$.

La constante de Fransén-Robinson est :

$F=\int _{0}^{+\infty }{\frac {1}{\Gamma (x)}}\,\mathrm {d} x$.

On ne sait pas si l'on peut exprimer F à l'aide de sommes, produits ou puissances et de constantes ou fonctions usuelles.

La constante de Fransén-Robinson a pour valeur 2,807… (Modèle:OEIS) et pour fraction continue [2 ; 1, 4, 4, 1, 18, 5, 1, 3, 4, 1, 5, 3, 6, …] (Modèle:OEIS).

Elle s'exprime aussi par

$F=\mathrm {e} +\int _{0}^{+\infty }{\frac {\mathrm {e} ^{-x}}{\pi ^{2}+\ln ^{2}x}}\,\mathrm {d} x$.