Example
8.24. Evaluate
, where
.
![[Graphics:Images/IntegralsBranchPointsMod_gr_45.gif]](../Images/IntegralsBranchPointsMod_gr_45.gif)
Explore Solution 8.24.
Enter the function and
and
locate the isolated singularities.
![[Graphics:../Images/IntegralsBranchPointsMod_gr_68.gif]](../Images/IntegralsBranchPointsMod_gr_68.gif)
Which poles lie in the upper half plane ?
![[Graphics:../Images/IntegralsBranchPointsMod_gr_70.gif]](../Images/IntegralsBranchPointsMod_gr_70.gif)
![[Graphics:../Images/IntegralsBranchPointsMod_gr_71.gif]](../Images/IntegralsBranchPointsMod_gr_71.gif)
Compute the residues at
, and
use the residue calculus to compute the value of the integral.
![]()
![[Graphics:../Images/IntegralsBranchPointsMod_gr_75.gif]](../Images/IntegralsBranchPointsMod_gr_75.gif)
![[Graphics:../Images/IntegralsBranchPointsMod_gr_76.gif]](../Images/IntegralsBranchPointsMod_gr_76.gif)
Further analysis must be done. As shown in the text,
the limit of the integrals taken over the semicircles are both
zero.
Use the fact that when x is negative
. Then
use this parameterize the line segment on the negative x-axis and
obtain
.
Equating the real parts in the above equation we
obtain
.
which is the correct value when a = 2. Similar
computations will establish the general result.
Aside. We can use Mathematica's built in "PrincipalValue" option to evaluate this definite integral with specific values of a.
![[Graphics:../Images/IntegralsBranchPointsMod_gr_80.gif]](../Images/IntegralsBranchPointsMod_gr_80.gif)
![[Graphics:../Images/IntegralsBranchPointsMod_gr_81.gif]](../Images/IntegralsBranchPointsMod_gr_81.gif)
Which leads us to conjecture the general
result
, where
.
Aside. We can let Mathematica do the integration.
![[Graphics:../Images/IntegralsBranchPointsMod_gr_85.gif]](../Images/IntegralsBranchPointsMod_gr_85.gif)
However, we might not be able to use the anti-derivative for the computation.
![[Graphics:../Images/IntegralsBranchPointsMod_gr_87.gif]](../Images/IntegralsBranchPointsMod_gr_87.gif)
![[Graphics:../Images/IntegralsBranchPointsMod_gr_88.gif]](../Images/IntegralsBranchPointsMod_gr_88.gif)
![[Graphics:../Images/IntegralsBranchPointsMod_gr_89.gif]](../Images/IntegralsBranchPointsMod_gr_89.gif)
![[Graphics:../Images/IntegralsBranchPointsMod_gr_90.gif]](../Images/IntegralsBranchPointsMod_gr_90.gif)
![[Graphics:../Images/IntegralsBranchPointsMod_gr_91.gif]](../Images/IntegralsBranchPointsMod_gr_91.gif)
![[Graphics:../Images/IntegralsBranchPointsMod_gr_92.gif]](../Images/IntegralsBranchPointsMod_gr_92.gif)
![]()
![]()