I get back to continue this journey into the world of curious integrals by telling you about the ‘Sophomore’s Dream’. The Sophomore’s Dream is the identity
Discovered in 1697 by the Swiss mathematician Johann Bernoulli, this identity (or some minor variant of it) is today called the Sophomore’s Dream because it has a feel that it is too-good-to-be-true and it is true. Bernoulli himself called it his “series mirabili” or “marvelous series”! In other words, really? We can swap the integral out for a sum and the result doesn’t change? It miraculously doesn’t and we’ll see how!
We expand the integrand using the exponential series as
and, therefore,
The power series on the right hand side is uniformly convergent and we can interchange the order of summation and integration to yield
It then remains to evaluate the integral
Performing the substitution , we have that
where the last two equalities are the result of the definition of the Gamma function and the Gamma function being an analytic continuation of the factorial for positive integers. We now put it all back to get
Shifting the index of the summation to begin from 1, we get
and we’re done! For the curious among you, the summation on the right hand side of the Sophomore’s Dream does converge, and is given by
Exercise:
Can you show, in a similar vein, that