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… (suite A058655 de l'OEIS) et pour fraction continue [2 ; 1, 4, 4, 1, 18, 5, 1, 3, 4, 1, 5, 3, 6, …] (suite A046943 de l'OEIS).

Elle s'exprime aussi par

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

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Fransén–Robinson constant » (voir la liste des auteurs).

Lien externe

(en) Eric W. Weisstein, « Fransen-Robinson Constant », sur MathWorld