illustration of integration techniques


The following integralDlmfPlanetmath is an example that illustrates many integration techniques.

Problem. Determine the antiderivative of tan⁡x.

. We start with substitution (http://planetmath.org/IntegrationBySubstitution):

u =tan⁡x
u2 =tan⁡x
2⁢u⁢d⁢u =sec2⁡x⁢d⁢x

Using the Pythagorean identity tan2⁡x+1=sec2⁡x, we obtain:

2⁢u⁢d⁢u =(tan2⁡x+1)⁢d⁢x
2⁢u⁢d⁢u =(u4+1)⁢d⁢x
2⁢uu4+1⁢d⁢u =d⁢x

Thus,

∫tan⁡x⁢𝑑x =∫u⁢2⁢uu4+1⁢𝑑u
=∫2⁢u2(u2-u⁢2+1)⁢(u2+u⁢2+1)⁢𝑑u.

For this last integral, we use the method of partial fractionsPlanetmathPlanetmath (http://planetmath.org/ALectureOnThePartialFractionDecompositionMethod):

2⁢u2(u2-u⁢2+1)⁢(u2+u⁢2+1) =A+B⁢uu2-u⁢2+1+C+D⁢uu2+u⁢2+1
2⁢u2 =(A+B⁢u)⁢(u2+u⁢2+1)+(C+D⁢u)⁢(u2-u⁢2+1)
=(B+D)⁢u3+(A+C+(B-D)⁢2)⁢u2+(B+D+(A-C)⁢2)⁢u+A+C

From this, we obtain the following system of equations:

{B+D=0A+C+(B-D)⁢2=2(A-C)⁢2+B+D=0A+C=0

This can be into two smaller systems of equations:

{A+C=0A⁢2-C⁢2=0
{B+D=0B⁢2-D⁢2=2

It is clear that the first system yields A=C=0, and it can easily be verified that B=12 and D=-12. Therefore,

∫tan⁡x⁢𝑑x =12⁢∫uu2-u⁢2+1⁢𝑑u-12⁢∫uu2+u⁢2+1⁢𝑑u
=12⁢∫uu2-u⁢2+12+12⁢𝑑u-12⁢∫uu2+u⁢2+12+12⁢𝑑u
=12⁢∫u(u-12)2+12⁢𝑑u-12⁢∫u(u+12)2+12⁢𝑑u.

Now we make the following substitutions:

v=u-12w=u+12d⁢v=d⁢ud⁢w=d⁢u

Note that we have v+12=u=w-12. Therefore,

∫tan⁡x⁢𝑑x =12⁢∫v+12v2+12⁢𝑑v-12⁢∫w-12w2+12⁢𝑑w
=12⁢∫vv2+12⁢𝑑v-12⁢∫d⁢vv2+12-12⁢∫ww2+12⁢𝑑w+12⁢∫d⁢ww2+12.

For the first and third integrals in the last expression, note that the numerator is a of the derivative of the denominator. For these, we use the formula

∫k⁢f′⁢(x)f⁢(x)⁢𝑑x=k⁢ln⁡|f⁢(x)|.

For the second and fourth integrals in the last expression, we use the formula

∫d⁢xx2+a2=1a⁢arctan⁡(xa)

with a=12. Hence,

∫tan⁡x⁢𝑑x =12⁢2⁢ln⁡(v2+12)+12⁢arctan⁡(v⁢2)-12⁢2⁢ln⁡(w2+12)+12⁢arctan⁡(w⁢2)+K
=12⁢2⁢ln⁡(v2+12w2+12)+12⁢(arctan⁡(v⁢2)+arctan⁡(w⁢2))+K
=12⁢2⁢ln⁡((u-12)2+12(u+12)2+12)+12⁢(arctan⁡[(u-12)⁢2]+arctan⁡[(u+12)⁢2])+K
=12⁢2⁢ln⁡(u2-u⁢2+1u2+u⁢2+1)+12⁢[arctan⁡(u⁢2-1)+arctan⁡(u⁢2+1)]+K
=12⁢2⁢ln⁡(tan⁡x-2⁢tan⁡x+1tan⁡x+2⁢tan⁡x+1)+12⁢[arctan⁡(2⁢tan⁡x-1)+arctan⁡(2⁢tan⁡x+1)]+K.

(We use K for the constant of integration to avoid confusion with C from the system of equations.)

Title illustration of integration techniques
Canonical name IllustrationOfIntegrationTechniques
Date of creation 2013-03-22 17:50:16
Last modified on 2013-03-22 17:50:16
Owner Wkbj79 (1863)
Last modified by Wkbj79 (1863)
Numerical id 13
Author Wkbj79 (1863)
Entry type Example
Classification msc 26A36