integration of rational function of sine and cosine


The integration task

∫R⁢(sin⁡x,cos⁡x)⁢𝑑x, (1)

where the integrand is a rational function of sin⁡x and cos⁡x, changes via the Weierstrass substitutionMathworldPlanetmath

tan⁡x2=t (2)

to a form having an integrand that is a rational function of t.  Namely, since  x=2⁢arctan⁡t,  we have

d⁢x= 2⋅11+t2⁢d⁢t, (3)

and we can substitute

sin⁡x=2⁢t1+t2,cos⁡x=1-t21+t2, (4)

getting

∫R⁢(sin⁡x,cos⁡x)⁢𝑑x= 2⁢∫R⁢(2⁢t1+t2,1-t21+t2)⁢d⁢t1+t2.

Proof of the formulae (4):  Using the double angle formulas of sine and cosine and then dividing the numerators and the denominators by  cos2⁡x2  we obtain

sin⁡x=2⁢sin⁡x2⁢cos⁡x2sin2⁡x2+cos2⁡x2=2⁢tan⁡x21+tan2⁡x2=2⁢t1+t2,
cos⁡x=cos2⁡x2-sin2⁡x2sin2⁡x2+cos2⁡x2=1-tan2⁡x21+tan2⁡x2=1-t21+t2.

Example.  The above formulae give from  ∫d⁢xsin⁡x  the result

∫d⁢xsin⁡x=∫1+t22⁢t⋅2⋅11+t2⁢𝑑t=∫d⁢tt=ln⁡|t|+C=ln⁡|tan⁡x2|+C

(which can also be expressed in the form -ln⁡|csc⁡x+cot⁡x|+C; see the goniometric formulasPlanetmathPlanetmath).

Note 1.  The substitution (2) is sometimes called the ‘‘universal trigonometric substitution’’ (http://planetmath.org/UniversalTrigonometricSubstitution).  In practice, it often gives rational functions that are too complicated.  In many cases, it is more profitable to use other substitutions:

  • •

    In the case  ∫R⁢(sin⁡x)⁢cos⁡x⁢d⁢x  the substitution  sin⁡x=t  is simpler.

  • •

    Similarly, in the case  ∫R⁢(cos⁡x)⁢sin⁡x⁢d⁢x  the substitution  cos⁡x=t  is simpler.

  • •

    If the integrand depends only on tan⁡x, the substitution  tan⁡x=t  is simpler.

  • •

    If the integrand is of the form  R⁢(sin2⁡x,cos2⁡x),  one can use the substitution  tan⁡x=t; then
    cos2⁡x=11+tan2⁡x=11+t2,   sin2⁡x=1-cos2⁡x=t21+t2,   d⁢x=d⁢t1+t2.

Example.  The integration of  ∫d⁢xcos4⁡x⁢𝑑x  is of the last case:

∫d⁢xcos4⁡x⁢𝑑x=∫1(cos2⁡x)2⁢𝑑x=∫(1+t2)2⋅d⁢t1+t2=∫(1+t2)⁢𝑑t=t33+t+C=13⁢tan3⁡x+tan⁡x+C.

Example.  The integralDlmfPlanetmath  I=∫d⁢xcos3⁡x⁢𝑑x=∫sec3⁡x⁢d⁢x  is a peculiar case in which one does not have to use the substitutions mentioned above, as integration by parts is a simpler method for evaluating this integral. Thus,

u=sec⁡x⇒d⁢u=sec⁡x⁢tan⁡x⁢d⁢x;d⁢v=sec2⁡x⁢d⁢x⇒v=tan⁡x.

Therefore,

I=∫sec3⁡x⁢d⁢x=sec⁡x⁢tan⁡x-∫sec⁡x⁢tan2⁡x⁢d⁢x=sec⁡x⁢tan⁡x-∫sec⁡x⁢(sec2⁡x-1)⁢𝑑x=sec⁡x⁢tan⁡x-I+∫sec⁡x⁢d⁢x,

and consequently

∫d⁢xcos3⁡x⁢𝑑x=12⁢(sec⁡x⁢tan⁡x+ln⁡|sec⁡x+tan⁡x|)+C.

Note 2.  There is also the ‘‘universal hyperbolic substitution’’ for integrating rational functions of hyperbolic sineMathworldPlanetmath and cosine:

tanh⁡x2=t,d⁢x=2⁢d⁢t1-t2,sinh⁡x=2⁢t1-t2,cosh⁡x=1+t21-t2

References

  • 1 Л. Д. Кдрячев: Математичецкии  анализ.  Издательство  ‘‘ВүсшаяШкола’’. Москва (1970).
Title integration of rational function of sine and cosine
Canonical name IntegrationOfRationalFunctionOfSineAndCosine
Date of creation 2013-03-22 17:05:15
Last modified on 2013-03-22 17:05:15
Owner pahio (2872)
Last modified by pahio (2872)
Numerical id 29
Author pahio (2872)
Entry type Topic
Classification msc 26A36
Synonym universal trigonometric substitution
Related topic GoniometricFormulae
Related topic SubstitutionForIntegration
Related topic WeierstrassSubstitutionFormulas
Related topic EulersSubstitutionsForIntegration
Related topic ErrorsCanCancelEachOtherOut
Defines universal hyperboloc substitution