Grading student exams sometimes inspires me to revisit elementary topics. For example, I recently spoke about some unusual (but mostly correct) integration techniques used by students on a final exam.
I’ll recap (and adjust the example slightly): on a recent exam, a student encountered . I had expected the student to use the usual partial fractions expansion to obtain which is valid when . I admit to being a bad professor and not being picky about domains.
But one student noticed the in the denominator of the fraction and so used the trig substitution which leads to the following integral: which leads to for . Note that, strictly speaking, the “final answer” is really defined for all though the equalities do not hold outside of the domain for used in the original trig substitution.
And yes, I was a bad professor; I gave full credit to this answer even though we “lost domain” during the string of equalities.
But that got me to wondering: is there a trig substitution that works for ? Answer: of course:
. Now use which leads to which leads us to our ultimate solution for
So, if one REALLY wanted to use trig substituions for this problem, one could and do it in a way to cover the entire domain.
But…as our existence and uniqueness theorems imply, once we get a candidate for an anti-derivative that “works” or the domain, it really doesn’t matter if we did “illegal” steps to get it; we need only show that it is an anti derivative and is valid for the entire domain for the integrand.
Now if one wants a more detailed discussion on domain issues for anti-derivatives, I can recommend the article The Importance of Being Continuous by D. J. JEFFREY which appeared in Mathematics Magazine, Vol 67, pp 294 – 300. (reprint can be found here, scroll down a bit; this mathematician has written quite a bit!). Note: I can recommend this little paper as it talks about the domains of the anti derivatives themselves and not just the domains assumed in doing the calculations along the way or the domains of validity of the substitutions. Note: integral tables and computer algebra systems don’t always give the anti derivative with the “largest” possible domain. One has to watch for that.