Trigonometric substitution

From HandWiki
Short description: Technique of integral evaluation

In mathematics, a trigonometric substitution replaces a trigonometric function for another expression. In calculus, trigonometric substitutions are a technique for evaluating integrals. In this case, an expression involving a radical function is replaced with a trigonometric one. Trigonometric identities may help simplify the answer.[1][2]

In the case of a definite integral, this method of integration by substitution uses the substitution to change the interval of integration. Alternatively, the antiderivative of the integrand may be applied to the original interval.

Case I: Integrands containing a2 − x2

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

Examples of Case I

Geometric construction for Case I

Example 1

In the integral

∫dxa2−x2,

we may use

x=asin⁡θ,dx=acos⁡θdθ,θ=arcsin⁡xa.

Then, ∫dxa2−x2=∫acos⁡θdθa2−a2sin2θ=∫acos⁡θdθa2(1−sin2θ)=∫acos⁡θdθa2cos2θ=∫dθ=θ+C=arcsin⁡xa+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/2dxa2−x2=∫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/2dxa2−x2=arcsin⁡(xa)|0a/2=arcsin⁡(12)−arcsin⁡(0)=π6 as before.

Example 2

The integral

∫a2−x2dx,

may be evaluated by letting x=asin⁡θ,dx=acos⁡θdθ,θ=arcsin⁡xa, where a>0 so that a2=a, and −π/2≤θ≤π/2 by the range of arcsine, so that cos⁡θ≥0 and cos2θ=cos⁡θ.

Then, ∫a2−x2dx=∫a2−a2sin2θ(acos⁡θ)dθ=∫a2(1−sin2θ)(acos⁡θ)dθ=∫a2(cos2θ)(acos⁡θ)dθ=∫(acos⁡θ)(acos⁡θ)dθ=a2∫cos2θdθ=a2∫(1+cos⁡2θ2)dθ=a22(θ+12sin⁡2θ)+C=a22(θ+sin⁡θcos⁡θ)+C=a22(arcsin⁡xa+xa1−x2a2)+C=a22arcsin⁡xa+x2a2−x2+C.

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

For example, the definite integral

∫−114−x2dx,

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

Because arcsin⁡(1/2)=π/6 and arcsin⁡(−1/2)=−π/6, ∫−114−x2dx=∫−π/6π/64−4sin2θ(2cos⁡θ)dθ=∫−π/6π/64(1−sin2θ)(2cos⁡θ)dθ=∫−π/6π/64(cos2θ)(2cos⁡θ)dθ=∫−π/6π/6(2cos⁡θ)(2cos⁡θ)dθ=4∫−π/6π/6cos2θdθ=4∫−π/6π/6(1+cos⁡2θ2)dθ=2[θ+12sin⁡2θ]−π/6π/6=[2θ+sin⁡2θ]|−π/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 ∫−114−x2dx=[222arcsin⁡x2+x222−x2]−11=(2arcsin⁡12+124−1)−(2arcsin⁡(−12)+−124−1)=(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θ,θ=arctan⁡xa,

so that the integral becomes

∫dxa2+x2=∫asec2θdθa2+a2tan2θ=∫asec2θdθa2(1+tan2θ)=∫asec2θdθa2sec2θ=∫dθa=θa+C=1aarctan⁡xa+C,

provided a≠0.

For a definite integral, the bounds change once the substitution is performed and are determined using the equation θ=arctan⁡xa, 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 θ=arctan⁡x.

Since arctan⁡0=0 and arctan⁡1=π/4, ∫014dx1+x2=4∫01dx1+x2=4∫0π/4sec2θdθ1+tan2θ=4∫0π/4sec2θdθsec2θ=4∫0π/4dθ=(4θ)|0π/4=4(π4−0)=π.

Meanwhile, direct application of the boundary terms to the formula for the antiderivative yields ∫014dx1+x2=4∫01dx1+x2=4[11arctan⁡x1]01=4(arctan⁡x)|01=4(arctan⁡1−arctan⁡0)=4(π4−0)=π, same as before.

Example 2

The integral

∫a2+x2dx

may be evaluated by letting x=atan⁡θ,dx=asec2θdθ,θ=arctan⁡xa,

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θ=a2∫sec3θ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+x2a2⋅xa+ln⁡|1+x2a2+xa|)+C=12(xa2+x2+a2ln⁡|x+a2+x2a|)+C.

To illustrate an application of this formula, suppose we wish to calculate the arc length of the parabola y=x2 from x=0 and x=2. Denoting the arc length as s, we get

s=∫021+(y′)2dx=∫021+4x2dx=2∫0214+x2dx.

In this instance, we have a=12, which gives

s=(x14+x2+14ln⁡|x+14+x212|)x=0x=2=2174+14ln⁡(4+2174)=17+14ln⁡(4+17)≈4.64678

Case III: Integrands containing x2 − a2

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

Examples of Case III

Geometric construction for Case III

Integrals such as

∫dxx2−a2

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

∫x2−a2dx

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

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

Then, ∫x2−a2dx=∫a2sec2θ−a2⋅asec⁡θ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, ∫x2−a2dx=a22(sec⁡θtan⁡θ+ln⁡|sec⁡θ+tan⁡θ|)−a2ln⁡|sec⁡θ+tan⁡θ|+C=a22(sec⁡θtan⁡θ−ln⁡|sec⁡θ+tan⁡θ|)+C=a22(xa⋅x2a2−1−ln⁡|xa+x2a2−1|)+C=12(xx2−a2−a2ln⁡|x+x2−a2a|)+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±1−u2f(u,±1−u2)duu=sin⁡(x)∫f(sin⁡(x),cos⁡(x))dx=∫1∓1−u2f(±1−u2,u)duu=cos⁡(x)∫f(sin⁡(x),cos⁡(x))dx=∫21+u2f(2u1+u2,1−u21+u2)duu=tan⁡(x2)

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

For example,

∫4cos⁡x(1+cos⁡x)3dx=∫21+u24(1−u21+u2)(1+1−u21+u2)3du=∫(1−u2)(1+u2)du=∫(1−u4)du=u−u55+C=tan⁡x2−15tan5x2+C.

Hyperbolic substitution

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

For example, to integrate 1/a2+x2, introduce the substitution x=asinh⁡u (and hence dx=acosh⁡udu), then use the identity cosh2(x)−sinh2(x)=1 to find:

∫dxa2+x2=∫acosh⁡udua2+a2sinh2u=∫cosh⁡udu1+sinh2u=∫cosh⁡ucosh⁡udu=u+C=sinh−1xa+C.

If desired, this result may be further transformed using other identities, such as using the relation sinh−1z=arsinh⁡z=ln⁡(z+z2+1): sinh−1xa+C=ln⁡(xa+x2a2+1)+C=ln⁡(x+x2+a2a)+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.