lecture823.html

Trigonometric Integrals

The object of this section is to work out how to do some types of integrals of trig functions, particularly where you have powers of trig functions, but also some others. There are three basic types that we will deal with:

Integrals of the Form [Maple Math] .

This situation we have three potential cases:

n is odd.

m is odd.

Both m and n are even.

Note that if both m and n are odd, you can use either of the first two methods.

Integrals of the Form [Maple Math] .

There are two cases which are easy to deal with:

n is even

m is odd (and n is at least 1)

m is even

You can use the same sort of trick with trigonometric identities to evaluate integrals of the form [Maple Math] .

Integrals of the Form [Maple Math] , [Maple Math] or [Maple Math] .

These types of integrals are extremely important, because they often occur when working with Fourier series (an important mathematical tool used widely in Engineering applications).

Fortunately they are not difficult to deal with, simply use the appropriate trig identities:

[Maple Math] .

[Maple Math] .

[Maple Math] .

These are then really easy to integrate.

Trigonometric Substitution

At the moment, we can only do an integral like

[Maple Math]

if it is a definite integral, and even then only if the geometry is nice that we can recognise it as a part of the area of a circle. An initial attempt to do this would be to suggest a substitution of [Maple Math] (or something similar), but you can quickly see that this doesn't work.

Inverse Substitution

It turns out that waht we really need is a sort of reverse substitution rule: rather than writing u as a function of x , we instead try to turn it around, and write x as a function of u . To see how this works, in general, let's say that we want to find:

[Maple Math]

and we try letting [Maple Math] . Then it is not hard to see that [Maple Math] , and so we get

[Maple Math] .

When we substitute like this it is called inverse substitution .

Generally speaking, inverse substitution is not a good idea, since it tends to make your integral harder rather than easier. However in some cases we can simplify the integrand after the substitution and get something we can integrate. When we do this we feel very proud for being so sneaky.

The other down-side is that if we manage to find the integral in terms of u , then we have to remember to get back to something in terms of x . To do this we need to find the inverse of the substituted function g(u),

ie. write u as a function of x .

So how does inverse substitution help us? In the example above, if we were to set [Maple Math] , (where [Maple Math] lies in the interval [Maple Math] , so that the inverse is well-defined) then we would find that [Maple Math] and

[Maple Math] .

But hey! We can simplify what's under the square root to get

[Maple Math] .

And we learnt how to do this in the last section - use the half-angle formula and get:

[Maple Math] = [Maple Math] = [Maple Math]

Finally, you need to convert back by substituting [Maple Math] , getting:

[Maple Math] .

Standard Substitutions

There are three basic tricks like this:

when you have something like [Maple Math] , the substitution you try is [Maple Math] , and to make the inverse work you need [Maple Math] in the interval [Maple Math] .

when you have something like [Maple Math] , the substitution that you try is [Maple Math] , and to make the inverse work you need [Maple Math] in the range ( [Maple Math] ).

when you have something like [Maple Math] , try substituting [Maple Math] , and you need [Maple Math] to be in the interval [ [Maple Math] ) or [ [Maple Math] ).

Note that sometimes you are better off substituting [Maple Math] = whatever is under the square root sign - these tricks are not always going to work easily, or at all.

Also if instead of a square root, you have a power of [Maple Math] or [Maple Math] or so on, then you can use the same sort of substitution.

Finding Inverses

Often you will find yourself with final answers which have terms which look like:

[Maple Math]

or similar (basically you have a trig function applied to some inverse trig function). If you recall the way that inverse trig functions work, you will realise that you can often simplify these terms. Remember that [Maple Math] equals the angle of a right-triangle with opposite side x , and hypotenuse a . Pythagoras then tells you that the adjacent side is [Maple Math] , and so the cosine of this angle is [Maple Math] . So

[Maple Math]

This sort of analysis will always allow you to simplify such expressions.