We have already seen a Frullani integral here. In this post, we solve another one with a different method.
The Leibniz integral rule is a powerful technique for evaluating definite integrals. Here is how this rule works:
suppose that is a function of and some parameter for example or etc. Then is a function of Let The rule says that, under some simple conditions, So if we can evaluate then we can find by integrating with respect to
I don’t prove the Leibniz integral rule here since the proof belongs to multivariable calculus but that doesn’t mean we can’t prove the rule for specific integrals. The following problem is one example.
Problem. Show that if then
Solution. First Solution. Let’s first solve the problem using the usual methods of integration. We use integration by parts with and Then and and so
Notice that we used the convergence of a fact we proved here.
Second Solution. Before getting into the second solution, see that, assuming we can use the Leibniz integral rule, we must have
Now, let’s begin the solution. Note that, as we showed here, is convergent for We’re going to use the definition of derivative to prove that for all That gives for some constant But since we have and so
Now, by the definition of derivative,
Suppose that By the mean value theorem, for some in the interval Thus and hence
Thus
A similar argument shows that and therefore The result now follows from
Example. Show that where is the Euler’s constant.
Solution. You might think that the integral is improper but it is not because
We begin the solution by noting that the inequalities in the example in this post give
for Now let be an integer. Then
Clearly
Also, the substitution and the above problem gives
Finally, if in we replace with we get which gives
and hence
So, by we have
Exercise 1. Show that
Exercise 2. Show that for all real numbers
Exercise 3. Show that and
Exercise 4. Given real numbers show that
Hint. Make the substitution and then use Exercise 2.
Exercise 5. For an integer show that
Hint. By Exercise 4,
Exercise 6. Show that
where is the Euler’s constant.
Hint. First use Exercise 5 and then use the above Example.