Of course, for readers of this blog: easy-peasy. so the integral is transformed into and so we’ve entered the realm of rational functions. Ok, ok, there is some work to do.
But for now, notice what is really doing on: we have a function under the radical that has an inverse function (IF we are careful about domains) and said inverse function has a derivative which is a rational function
More shortly: let be such that then:
gets transformed: and then and the integral becomes which is a rational function integral.
The usual is to use which transforms this to the dreaded integral, which is a double integration by parts.
Is there a way out? I think so, though the price one pays is a trickier conversion back to x.
Let’s try so upon substituting we obtain and noting that alaways:
Now this can be integrated by parts: let
So but this easily reduces to:
Division by 2:
That was easy enough.
But we now have the conversion to x:
So far, so good. But what about ?
Write:
Now multiply both sides by to get and use the quadratic formula to get
We need so and that is our integral:
I guess that this isn’t that much easier after all.
My interest in “beta” functions comes from their utility in Bayesian statistics. A nice 78 minute introduction to Bayesian statistics and how the beta distribution is used can be found here; you need to understand basic mathematical statistics concepts such as “joint density”, “marginal density”, “Bayes’ Rule” and “likelihood function” to follow the youtube lecture. To follow this post, one should know the standard “3 semesters” of calculus and know what the gamma function is (the extension of the factorial function to the real numbers); previous exposure to the standard “polar coordinates” proof that would be very helpful.
So, what it the beta function? it is where . Note that for integers The gamma function is the unique “logarithmically convex” extension of the factorial function to the real line, where “logarithmically convex” means that the logarithm of the function is convex; that is, the second derivative of the log of the function is positive. Roughly speaking, this means that the function exhibits growth behavior similar to (or “greater”) than
Now it turns out that the beta density function is defined as follows: for as one can see that the integral is either proper or a convergent improper integral for .
I'll do this in two steps. Step one will convert the beta integral into an integral involving powers of sine and cosine. Step two will be to write as a product of two integrals, do a change of variables and convert to an improper integral on the first quadrant. Then I'll convert to polar coordinates to show that this integral is equal to
Step one: converting the beta integral to a sine/cosine integral. Limit and then do the substitution . Then the beta integral becomes:
Step two: transforming the product of two gamma functions into a double integral and evaluating using polar coordinates.
Write
Now do the conversion to obtain:
(there is a tiny amount of algebra involved)
From which we now obtain
Now we switch to polar coordinates, remembering the that comes from evaluating the Jacobian of
This splits into two integrals:
The first of these integrals is just so now we have:
The second integral: we just use to obtain:
(yes, I cancelled the 2 with the 1/2)
And so the result follows.
That seems complicated for a simple little integral, doesn’t it?
This post was motivated by a student question: my student wanted help with the following problem:
Of course the idea is to do a substitution: which transforms the integral into which diverges. So far, so good. But then I told him one of my calculus tips: “it is often a good idea to try to guess the answer ahead of time” and then pointed out that for large values of and of course diverges because the integrand does not go to zero (in fact, is unbounded!) as tends to infinity.
Then I realized that a change of variables had taken an unbounded function to a bounded one…though one which did not produce a convergent improper integral.
That lead to the natural question: if one has an integrand which is positive but monotonically decreasing to zero on , is there a change of variables which will change the integrand to either an unbounded function on or at least one that does not decrease to zero?
I admit that I have not answered this question yet, nor have I looked it up. But I can answer this question for a certain class of functions:
Theorem
Given
If , let . Then the change of variable transforms to and of course is unbounded on .
If let . Then is transformed into which is an integral of a bounded function over a bounded region.
In short, one class of functions whose improper integral diverges can be transformed to functions that tend to infinity and the class of functions whose integrals converge can be transformed into functions which are bounded over a bounded interval.
Here is such an example: We show the equivalent integrals and . The transformation is accomplished by using . Note how the transformation stretches the interval of integration to account for the function “shrinkage”.