So far, our antiderivatives of standard functions have been relatively straightforward to figure out. All we’ve had to do is think about what would differentiate to give our integrand. gives , gives , gives . But now comes a bridge that can’t be crossed while seeing what’s on the other side.
Simple, but devastating. Where do we start?
A surprisingly common mistake is to say it’s – but remember this is the derivative of . What we want to find is its antiderivative. That being said, the derivative of will be very handy to know, so keep it in mind.
It may not be immediately apparent how you might go about this. Before we try integrating the bare log, let’s explore some other integrals involving to get a feel for it.
Dojo Training
If you’re not familiar with integrals involving , some of these may look scary to you. Take it easy, see how you can rewrite things to make it easier for to spot things, and above all remember the derivative of .
Divided by
Dividing a function by ? Why would this be any easier than ? Upon seeing this integral, your mind could jump to many different thoughts. Substitution? Layer cake? Maybe we can use parts, somehow?
Indeed, most functions divided by can’t be integrated to give an answer in terms of elementary functions, but is one the few that can. It’s all down to its derivative.
When dividing terms, it can sometimes be helpful to write them separately to help you see what’s going on. In this case, let’s pull out the as :
Now, what’s the relationship between and ? Why of course, is the derivative of ! This means we can use inverse chain rule, or, carrying out the full solution with substitution:
So, there the trick was to spot the derivative on the outside.
Full Division
After the previous integral, this one should be a lot more obvious. Notice once again we can split the fraction:
And we have , the derivative of , on the outside. This sets us up for another substitution, giving
And hey, we know this integrates to – so our answer is
Looking back, a way to jump straight to this with straight-up layer came is to elevate the into the numerator:
A little more fiddly, but still a nice way to think about it.
Multiplying by
Ok, this time there’s no on the outside for us to leverage. So what do we do here?
When we have multiplied by a function, we usually go for parts, since the vanishes to when differentiated. But in this case, we would then have to integrate – which we don’t know how to do yet – and we’d also have to integrate that again after.
But, we do know the derivative of , and as it happens, it just gives us another polynomial in . In other words, we’d just be left with powers of , which is no problem at all.
So let’s do integration by parts, integrating and differentiating .
Then
Entering the Battlefield
What these previous examples have done is help us build up an intuition for how works. In particular, you may have noticed its derivative is really quite nice to work with, because it just turns into a vanilla . No , or other fanciness involved.
So looking at our original integral
How could we manipulate it such that we could differentiate ?
Well, earlier we differentiated it when using integration by parts. But we only have 1 term here, not a product of 2 terms, so we can’t exactly use parts.
…or can we?
We can write anything how we want, so long as they’re still mathematically congruent. And anything multiplied by is itself.
Now we can carry out parts just fine. Sure, the will integrate to , which is an increase in complexity, but this is a non-issue since the important thing is getting rid of the .
In fact, the division even cancels out nicely to just give us
There. QED.
Postmortem
is often quoted as a bit of a ‘magical’ integral since it’s got this trick of multiplying by . But funnily enough, you don’t actually need the trick at all.
The other thing that makes so nice is its intimate relationship with – and is certainly one of the nicest terms to work with in integration. Knowing this, we shouldn’t be afraid to substitute out integral, because here’s what happens…
And that is the archetypical integration by parts. So we end up with
Which after re-substituting gives us exactly the same as before.
No trick, just plain substitution.1 Not actually that difficult to spot, right?
- This helps illustrate why substituting or are common and generally ‘safe’ strategies in integration – both have really nice derivatives, and many terms will just end up turning into one of the 2.↩