Example
8.12. Evaluate
.
![[Graphics:Images/IntegralsTrigMod_gr_106.gif]](../Images/IntegralsTrigMod_gr_106.gif)
Explore Solution 8.12.
Enter the function
and use substitution to obtain the complex function
f[z].
![[Graphics:../Images/IntegralsTrigMod_gr_125.gif]](../Images/IntegralsTrigMod_gr_125.gif)
Locate the singularities of
.
![[Graphics:../Images/IntegralsTrigMod_gr_128.gif]](../Images/IntegralsTrigMod_gr_128.gif)
Find out which singularities lie inside the unit
circle
.
![[Graphics:../Images/IntegralsTrigMod_gr_131.gif]](../Images/IntegralsTrigMod_gr_131.gif)
![[Graphics:../Images/IntegralsTrigMod_gr_132.gif]](../Images/IntegralsTrigMod_gr_132.gif)
Compute the residues at
,
and use the residue calculus to compute the value of the
integral.
![[Graphics:../Images/IntegralsTrigMod_gr_135.gif]](../Images/IntegralsTrigMod_gr_135.gif)
![[Graphics:../Images/IntegralsTrigMod_gr_136.gif]](../Images/IntegralsTrigMod_gr_136.gif)
![[Graphics:../Images/IntegralsTrigMod_gr_137.gif]](../Images/IntegralsTrigMod_gr_137.gif)
Mathematica is capable of finding some of these
difficult integrals. The function
can
be integrated.
![[Graphics:../Images/IntegralsTrigMod_gr_140.gif]](../Images/IntegralsTrigMod_gr_140.gif)
However, direct substitution using
and the endpoints of the interval seems to be
erroneous. This is due to the
fact that in the interior of the interval,
is undefined. Hence
is
discontinuous.
![[Graphics:../Images/IntegralsTrigMod_gr_145.gif]](../Images/IntegralsTrigMod_gr_145.gif)
This is due to the fact that
is undefined. A graph of
reveals
that it has a discontinuity at
in
the middle of the interval
. This
is a violation of the Fundamental Theorem of Calculus, which asserts
that the integral of a continuous function must be continuous.
![[Graphics:../Images/IntegralsTrigMod_gr_151.gif]](../Images/IntegralsTrigMod_gr_151.gif)
![]()
The indefinite integrand
can
be used piecewise over
where
it is continuous, by using the left and right hand limits at the
endpoints.
![[Graphics:../Images/IntegralsTrigMod_gr_156.gif]](../Images/IntegralsTrigMod_gr_156.gif)
The above answer is correct too. Limits were required
because
is
not continuous at
.