I was teaching tabular integration yesterday and as I was preparing, I was playing around with using it on integrands that don’t ‘disappear’ after repeated differentiation. In particular, the problem I was doing was this:
Now this is done pretty quickly with only one integration by parts:
Let and . Then and . Rewriting the integral and evaluating, we find
But I decided to try tabular integration on it anyway and see what happened. Tabular integration requires us to pick a function and compute all its derivatives and pick a function and compute all its antiderivatives. Multiply, then insert alternating signs and voila! In this case, we choose and . The result is shown below.
If I did everything right, then the infinite series that appears in the formula must be equal to . Checking with wolframalpha, we see that indeed,
Wow!! That’s pretty wild. It seemed like any number of infinite series could pop up from this kind of approach (Taylor series, Fourier series even). In fact, they do. Here are just three nice resources I came across which highlight this very point. I guess my discovery is not so new.