2018 June 7
Evaluate the following definite integrals:
The first class of integral involving the logarithm that I would like to explore is in the following form: ...that is, the integral from $x=0$ to $\infty$ of $\ln(x)$ times the reciprocal of any quadratic function of $x$. I choose to begin the post with this type of integral because it is a type of integral that seems like it would be very difficult to evaluate (indeed, one may abandon all hope of finding an antiderivative of the integrand), but all steps taken in my solution of it are highly elementary and rely on nothing other than functional properties of the integrand and the basic properties of an integral. In other words, it is a perfect example of how a chain of trivial equalities can result in something that seems highly non-trivial.
Let us begin with my first two examples: Though they are nothing more than examples, they are in fact extremely useful for evaluating the more general case. By making the substitution $x\to 1/x$ in the first integral, we get the following: Thus, we see that the integral in question is equal to its additive opposite, meaning that it must be equal to zero. This gives us the result ...such a disappointingly boring result for a seemingly exciting integral. What a shame. Not to fear - there is still another example to evaluate. Let's see what happens if we make the same substitution into the next integral: Drat! This integral is also equal to its additive opposite, making it vanish as well! What a letdown - two integrals in a row that both vanish! In fact, there are a whole bunch of integrals that vanish like this, including and ...and they both lend themselves to the same substitution that we performed on the previous two integrals. Want to know the secret? The generalization of this pattern is the following: if $p$ and $q$ are two numbers whose product is $2$ (such that $pq=2$) then the following is true: I know how much of a bore it is to read about vanishing integrals, but bear with me - it's about to get more exciting. Suppose we wanted to evaluate the following integral: Well, one might guess that it can be shown to vanish by the same technique. However, by using the same substitution, one arrives at the following: ...which, needless to say, is not the additive opposite of the original integral. Try as one might to show that this integral vanishes, one will never be able to do so - because it's not equal to zero. Instead, watch what happens when we employ a different substitution of $x\to x\sqrt{2}$: See what happens? The additivity of the logarithm splits the integral into two pieces, one of which nicely vanishes while the other is nothing more than an integral of a rational function - readily evaluated (or even antidifferentiated) using the arctangent. The same type of strategy can be employed to evaluate any integral in the form by using the substitution $x\to x\sqrt{a}$, or any integral in the form by making the substitution $x\to ax$. But now let's turn our attention to the third example that I proposed: This integral isn't in either of those forms, so how will we evaluate it? Well, the answer lies in another class of vanishing integrals. Recall that I already mentioned that as long as $pq=2$. But this can be generalized further... in fact, the integral where each $c_i$ is any arbitrary constant, as long as each pair of numbers $p_i,q_i$ has a product of $2$, satisfying $p_iq_i=2$ (again, this can be verified by making the substitution $x\to 1/x$). This implies that the integral for any value of $a$. Notice now that the integral we want to evaluate is equal to ...which may not look very promising at first, since it isn't exactly in the form that we've shown to vanish. But once we make the substitution $x\to x\sqrt{2}$, we're in business:
Now this is just the reciprocal of a quadratic, and it can be easily evaluated:
...which gives us our result:
This method can be applied more broadly. Consider, for example, the general case of We can evaluate this in terms of $a$ and $b$: ...assuming that $a$ is positive. Thus, we have the following formula, which allows us to evaluate most integrals of the class that we wanted:
Now let us turn our attention to a different class of integrals, like the fourth and final example that I posed: Unfortunately, integrals like this will not yield themselves to such elementary methods... to solve this one, we'll have to use the Gamma function. If you haven't already, go back and read this post - it's essential to what I'm about to do.
Just one more note: I'm not going to go into depth with this type of integral as much as I did for the previous class of integrals. The evaluation of some integrals of this type are replete with messy algebra, and are best left to computer algebra software (like Wolfram) to evaluate. So I'll do this example, explain how to use the technique for other examples, and then end the post.
Recall the representation of the Gamma function in terms of the Beta function: By making the substitution $x\to x^2$ in the integral, we have and by letting $n=1/2$, we have Okay, this is starting to look like our integral, but where could the $\ln(x)$ come from? Well, let's rewrite the integral on the RHS: ...then take the derivative of both sides with respect to $m$. This is where the magic happens: we now have ...or, in terms of the Digamma function, Our integral emerges when we let $m=1/2$, giving To evaluate the LHS, I'll use the special values $\Gamma(1)=1$, $\Gamma(1/2)=\sqrt\pi$, $\psi(1)=-\gamma$, and $\psi(1/2)=-\gamma-2\ln(2)$ to obtain or, after a bit of simplification,
Okay, time to tell the truth: this integral could have been evaluated in a much easier way. If you were paying attention, you'd have noticed that a simple substitution of $x\to\sin x$ would transform the integral into ...which we evaluated using very elementary methods in this post. No Gamma function necessary!
However, suppose I asked you to evaluate this integral: The technique used for the previous integral in my other post won't work here - try it for yourself. However, its value can be obtained using the Gamma function by taking another derivative (yuck!). For anyone curious, the result is
Thus, the purpose of that unnecessary ordeal with the Gamma function was to demonstrate a more widely applicable technique of integration (namely, differentiating the Beta function) as opposed to the limited "trick" applied to the integral in my other post.
And with that, I conclude this post!