Prove that ∫10sin(πx)xx(1−x)1−xdx=πe24\int_{0}^{1}\sin{(\pi x)}x^x(1-x)^{1-x}\,dx =\frac{\pi e}{24}

I’ve found here the following integral.


I’ve never seen it before and I also didn’t find the evaluation on How could we verify it?

If it is a well-known integral, then could you give a reference?


This one can be done with “residue at infinity” calculation. This method is shown in the Example VI of .

First, we use zz=exp(zlogz) where logz is defined for πargz<π.

For (1z)1z=exp((1z)log(1z)), we use log(1z) defined for 0arg(1z)<2π.

Then, let f(z)=exp(iπz+zlogz+(1z)log(1z)).

As shown in the Ex VI in the wikipedia link, we can prove that f is continuous on (,0) and (1,), so that the cut of f(z) is [0,1].

We use the contour: (consisted of upper segment: slightly above [0,1], lower segment: slightly below [0,1], circle of small radius enclosing 0, and circle of small radius enclosing 1, that looks like a dumbbell having knobs at 0 and 1, can someone edit this and include a picture of it please? In fact, this is also the same contour as in Ex VI, with different endpoints.)

On the upper segment, the function f gives, for 0r1,

On the lower segment, the function f gives, for 0r1,

Since the functions are bounded, the integrals over circles vanishes when the radius tend to zero.

Thus, the integral of f(z) over the contour, is the integral over the upper and lower segments, which contribute to


which is

By the Cauchy residue theorem, the integral over the contour is

From a long and tedious calculation of residue, it turns out that the value on the right is
Then we have the result:

Source : Link , Question Author : user153012 , Answer Author : Sungjin Kim

Leave a Comment