Recursive version of integration by parts

From Calculus
Revision as of 21:16, 19 September 2011 by Vipul (talk | contribs) (Created page with "==General description of technique== {{fillin}} ==Examples== ===Sine-squared function=== {{further|Sine-squared function#Integration}} There are many ways of integrating...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

General description of technique

Fill this in later

Examples

Sine-squared function

For further information, refer: Sine-squared function#Integration

There are many ways of integrating sin2. One of these uses the recursive version of integration by parts. This method is given below:


∫sin2xdx=(sinx)(−cosx)−∫(cosx)(−cosx)dx=−sinxcosx+∫cos2xdx

We now rewrite cos2x=1−sin2x and obtain:

∫sin2xdx=−sinxcosx+∫(1−sin2x)dx

Setting I to be a choice of antiderivative so that the above holds without any freely floating constants, we get:

I=−sinxcosx+x−I

Rearranging, we get:

2I=x−sinxcosx

This gives:

I=x−sinxcosx2

So the general antiderivative is:

x−sinxcosx2+C


Secant-cubed function

For further information, refer: Secant-cubed function#Integration


We rewrite sec3x=secx⋅sec2x and perform integration by parts, taking sec2 as the part to integrate. We use that an antiderivative of sec2x is tanx whereas the derivative of secx is secxtanx:

∫sec3xdx=∫secx(sec2x)dx=secxtanx−∫(secxtanx)tanxdx=secxtanx−∫secxtan2xdx

We now use the fact that tan2x+1=sec2x, or more explicitly, tan2x=sec2x−1, to rewrite this as:

∫sec3xdx=secxtanx−∫secx(sec2x−1)dx=secxtanxx−∫sec3xdx+∫secxd

We now use the integration of the secant function to simplify this as:

∫sec3xdx=secxtanx−∫sec3xdx+ln|secx+tanx|

We can choose an antiderivative I of sec3 so that the above equality (between the left-most and right-most expression) holds without any additive constant adjustment, and we get:

I=secxtanx−I+ln|secx+tanx|

We rearrange and obtain:

2I=secxtanx+ln|secx+tanx|

Dividing by 2, we get:

I=secxtanx+ln|secx+tanx|2

The general antiderivative expression is thus:

secxtanx+ln|secx+tanx|2+C