Trigonometric substitution

From HandWiki
Short description: Technique of integral evaluation

In mathematics, trigonometric substitution is the replacement of trigonometric functions for other expressions. In calculus, trigonometric substitution is a technique for evaluating integrals. Moreover, one may use the trigonometric identities to simplify certain integrals containing radical expressions.[1][2] Like other methods of integration by substitution, when evaluating a definite integral, it may be simpler to completely deduce the antiderivative before applying the boundaries of integration.

Case I: Integrands containing a2x2

Let x=asinθ, and use the identity 1sin2θ=cos2θ.

Examples of Case I

Geometric construction for Case I

Example 1

In the integral

dxa2x2,

we may use

x=asinθ,dx=acosθdθ,θ=arcsinxa.

Then, dxa2x2=acosθdθa2a2sin2θ=acosθdθa2(1sin2θ)=acosθdθa2cos2θ=dθ=θ+C=arcsinxa+C.

The above step requires that a>0 and cosθ>0. We can choose a to be the principal root of a2, and impose the restriction π/2<θ<π/2 by using the inverse sine function.

For a definite integral, one must figure out how the bounds of integration change. For example, as x goes from 0 to a/2, then sinθ goes from 0 to 1/2, so θ goes from 0 to π/6. Then,

0a/2dxa2x2=0π/6dθ=π6.

Some care is needed when picking the bounds. Because integration above requires that π/2<θ<π/2 , θ can only go from 0 to π/6. Neglecting this restriction, one might have picked θ to go from π to 5π/6, which would have resulted in the negative of the actual value.

Alternatively, fully evaluate the indefinite integrals before applying the boundary conditions. In that case, the antiderivative gives

0a/2dxa2x2=arcsin(xa)|0a/2=arcsin(12)arcsin(0)=π6 as before.

Example 2

The integral

a2x2dx,

may be evaluated by letting x=asinθ,dx=acosθdθ,θ=arcsinxa, where a>0 so that a2=a, and π2θπ2 by the range of arcsine, so that cosθ0 and cos2θ=cosθ.

Then, a2x2dx=a2a2sin2θ(acosθ)dθ=a2(1sin2θ)(acosθ)dθ=a2(cos2θ)(acosθ)dθ=(acosθ)(acosθ)dθ=a2cos2θdθ=a2(1+cos2θ2)dθ=a22(θ+12sin2θ)+C=a22(θ+sinθcosθ)+C=a22(arcsinxa+xa1x2a2)+C=a22arcsinxa+x2a2x2+C.

For a definite integral, the bounds change once the substitution is performed and are determined using the equation θ=arcsinxa, with values in the range π2θπ2. Alternatively, apply the boundary terms directly to the formula for the antiderivative.

For example, the definite integral

114x2dx,

may be evaluated by substituting x=2sinθ,dx=2cosθdθ, with the bounds determined using θ=arcsinx2.

Because arcsin(1/2)=π/6 and arcsin(1/2)=π/6, 114x2dx=π/6π/644sin2θ(2cosθ)dθ=π/6π/64(1sin2θ)(2cosθ)dθ=π/6π/64(cos2θ)(2cosθ)dθ=π/6π/6(2cosθ)(2cosθ)dθ=4π/6π/6cos2θdθ=4π/6π/6(1+cos2θ2)dθ=2[θ+12sin2θ]π/6π/6=[2θ+sin2θ]|π/6π/6=(π3+sinπ3)(π3+sin(π3))=2π3+3.

On the other hand, direct application of the boundary terms to the previously obtained formula for the antiderivative yields 114x2dx=[222arcsinx2+x222x2]11=(2arcsin12+1241)(2arcsin(12)+1241)=(2π6+32)(2(π6)32)=2π3+3 as before.

Case II: Integrands containing a2 + x2

Let x=atanθ, and use the identity 1+tan2θ=sec2θ.

Examples of Case II

Geometric construction for Case II

Example 1

In the integral

dxa2+x2

we may write

x=atanθ,dx=asec2θdθ,θ=arctanxa,

so that the integral becomes

dxa2+x2=asec2θdθa2+a2tan2θ=asec2θdθa2(1+tan2θ)=asec2θdθa2sec2θ=dθa=θa+C=1aarctanxa+C,

provided a0.

For a definite integral, the bounds change once the substitution is performed and are determined using the equation θ=arctanxa, with values in the range π2<θ<π2. Alternatively, apply the boundary terms directly to the formula for the antiderivative.

For example, the definite integral

014dx1+x2

may be evaluated by substituting x=tanθ,dx=sec2θdθ, with the bounds determined using θ=arctanx.

Since arctan0=0 and arctan1=π/4, 014dx1+x2=401dx1+x2=40π/4sec2θdθ1+tan2θ=40π/4sec2θdθsec2θ=40π/4dθ=(4θ)|0π/4=4(π40)=π.

Meanwhile, direct application of the boundary terms to the formula for the antiderivative yields 014dx1+x2=401dx1+x2=4[11arctanx1]01=4(arctanx)|01=4(arctan1arctan0)=4(π40)=π, same as before.

Example 2

The integral

a2+x2dx

may be evaluated by letting x=atanθ,dx=asec2θdθ,θ=arctanxa,

where a>0 so that a2=a, and π2<θ<π2 by the range of arctangent, so that secθ>0 and sec2θ=secθ.

Then, a2+x2dx=a2+a2tan2θ(asec2θ)dθ=a2(1+tan2θ)(asec2θ)dθ=a2sec2θ(asec2θ)dθ=(asecθ)(asec2θ)dθ=a2sec3θdθ. The integral of secant cubed may be evaluated using integration by parts. As a result, a2+x2dx=a22(secθtanθ+ln|secθ+tanθ|)+C=a22(1+x2a2xa+ln|1+x2a2+xa|)+C=12(xa2+x2+a2ln|x+a2+x2a|)+C.

Case III: Integrands containing x2a2

Let x=asecθ, and use the identity sec2θ1=tan2θ.

Examples of Case III

Geometric construction for Case III

Integrals like

dxx2a2

can also be evaluated by partial fractions rather than trigonometric substitutions. However, the integral

x2a2dx

cannot. In this case, an appropriate substitution is: x=asecθ,dx=asecθtanθdθ,θ=arcsecxa,

where a>0 so that a2=a, and 0θ<π2 by assuming x>0, so that tanθ0 and tan2θ=tanθ.

Then, x2a2dx=a2sec2θa2asecθtanθdθ=a2(sec2θ1)asecθtanθdθ=a2tan2θasecθtanθdθ=a2secθtan2θdθ=a2(secθ)(sec2θ1)dθ=a2(sec3θsecθ)dθ.

One may evaluate the integral of the secant function by multiplying the numerator and denominator by (secθ+tanθ) and the integral of secant cubed by parts.[3] As a result, x2a2dx=a22(secθtanθ+ln|secθ+tanθ|)a2ln|secθ+tanθ|+C=a22(secθtanθln|secθ+tanθ|)+C=a22(xax2a21ln|xa+x2a21|)+C=12(xx2a2a2ln|x+x2a2a|)+C.

When π2<θπ, which happens when x<0 given the range of arcsecant, tanθ0, meaning tan2θ=tanθ instead in that case.

Substitutions that eliminate trigonometric functions

Substitution can be used to remove trigonometric functions.

For instance,

f(sin(x),cos(x))dx=1±1u2f(u,±1u2)duu=sin(x)f(sin(x),cos(x))dx=11u2f(±1u2,u)duu=cos(x)f(sin(x),cos(x))dx=21+u2f(2u1+u2,1u21+u2)duu=tan(x2)

The last substitution is known as the Weierstrass substitution, which makes use of tangent half-angle formulas.

For example,

4cosx(1+cosx)3dx=21+u24(1u21+u2)(1+1u21+u2)3du=(1u2)(1+u2)du=(1u4)du=uu55+C=tanx215tan5x2+C.

Hyperbolic substitution

Substitutions of hyperbolic functions can also be used to simplify integrals.[4]

In the integral dxa2+x2, make the substitution x=asinhu, dx=acoshudu.

Then, using the identities cosh2(x)sinh2(x)=1 and sinh1x=ln(x+x2+1),

dxa2+x2=acoshudua2+a2sinh2u ,=acoshudua1+sinh2u=acoshuacoshudu=u+C=sinh1xa+C=ln(x2a2+1+xa)+C=ln(x2+a2+xa)+C

See also

References

  1. Stewart, James (2008). Calculus: Early Transcendentals (6th ed.). Brooks/Cole. ISBN 978-0-495-01166-8. https://archive.org/details/calculusearlytra00stew_1. 
  2. Thomas, George B.; Weir, Maurice D.; Hass, Joel (2010). Thomas' Calculus: Early Transcendentals (12th ed.). Addison-Wesley. ISBN 978-0-321-58876-0. 
  3. Stewart, James (2012). "Section 7.2: Trigonometric Integrals". Calculus - Early Transcendentals. United States: Cengage Learning. pp. 475–6. ISBN 978-0-538-49790-9. 
  4. Boyadzhiev, Khristo N.. "Hyperbolic Substitutions for Integrals". http://www2.onu.edu/~m-caragiu.1/bonus_files/HYPERSUB.pdf.