3
$\begingroup$

I hope this does not seem like a too easy question for Overflow. I would like to find an easier method than mine to prove the above statement for the Fransén-Robinson Constant. My first method was to use the reflection formula, and then a laplace transform for the sin($\pi$x). Due to convergence problems with the integral definition of the gamma function, I was always missing the factor of $+e$. After days of work, I was actually able to prove and derive a way stronger argument, where the above equality is just a special case (see pictures). I would appreciate some help in simplifying the process of proving it!

My ideas and calculations

$\endgroup$
1
  • 7
    $\begingroup$ for a helpful answer you will really want to invest the effort to write out what you have done in the question box, in a compact way like you would for a research publication; a link to hand written notes is not that helpful. $\endgroup$ Commented Jul 9, 2019 at 6:01

1 Answer 1

7
$\begingroup$

This is Exercise 100 of Chapter 9 of my GTM 240 (Exercise 99 gives the complex analytic method): set $$I(a,t)=\int_{-t}^\infty\dfrac{a^x}{\Gamma(x+1)}\,dx+\int_0^\infty\dfrac{e^{-ax}x^{t-1}}{\log^2(x)+\pi^2}\Bigl(\cos(\pi t)-\dfrac{\sin(\pi t)}{\pi}\log(x)\Bigl)\,dx$$ 1) After proving absolute convergence, prove that its derivative with respect to $t$ vanishes, so that $I(a,t)=I(a)$.

2) Prove that $I'(a)=I(a)$.

3) Make $a\to0^+$, set $x=\exp(-t)$, and deduce the value of $I(a)$.

4) Deduce for instance the value of $$\int_0^\infty \dfrac{x(x-1)\cdots(x-k+1)a^x}{\Gamma(x+1)}\,dx$$ I must confess that I forgot where I found this proof (perhaps in one of the Borwein's books ?)

$\endgroup$
1

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .