Example 8.24.  Evaluate  [Graphics:Images/IntegralsBranchPointsMod_gr_43.gif],  where  [Graphics:Images/IntegralsBranchPointsMod_gr_44.gif].  

[Graphics:Images/IntegralsBranchPointsMod_gr_45.gif]

Explore Solution 8.24.

Enter the function and  [Graphics:../Images/IntegralsBranchPointsMod_gr_66.gif]  and locate the isolated singularities.

[Graphics:../Images/IntegralsBranchPointsMod_gr_67.gif]



[Graphics:../Images/IntegralsBranchPointsMod_gr_68.gif]

 

 

 

Which poles lie in the upper half plane ?  

[Graphics:../Images/IntegralsBranchPointsMod_gr_69.gif]



[Graphics:../Images/IntegralsBranchPointsMod_gr_70.gif]

[Graphics:../Images/IntegralsBranchPointsMod_gr_71.gif]

 

 

 

Compute the residues at  [Graphics:../Images/IntegralsBranchPointsMod_gr_72.gif],  and use the residue calculus to compute the value of the integral.

[Graphics:../Images/IntegralsBranchPointsMod_gr_73.gif]




[Graphics:../Images/IntegralsBranchPointsMod_gr_74.gif]

[Graphics:../Images/IntegralsBranchPointsMod_gr_75.gif]

[Graphics:../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  [Graphics:../Images/IntegralsBranchPointsMod_gr_77.gif].  Then use this parameterize the line segment on the negative x-axis and obtain  

[Graphics:../Images/IntegralsBranchPointsMod_gr_78.gif].  

Equating the real parts in the above equation we obtain  

[Graphics:../Images/IntegralsBranchPointsMod_gr_79.gif].  

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]

 

 

 

 

[Graphics:../Images/IntegralsBranchPointsMod_gr_81.gif]

 

 

 

Which leads us to conjecture the general result  [Graphics:../Images/IntegralsBranchPointsMod_gr_82.gif],  where  [Graphics:../Images/IntegralsBranchPointsMod_gr_83.gif].  

Aside. We can let Mathematica do the integration.

[Graphics:../Images/IntegralsBranchPointsMod_gr_84.gif]




[Graphics:../Images/IntegralsBranchPointsMod_gr_85.gif]

 

 

 

However, we might not be able to use the anti-derivative for the computation.

[Graphics:../Images/IntegralsBranchPointsMod_gr_86.gif]




[Graphics:../Images/IntegralsBranchPointsMod_gr_87.gif]

 

 

 

[Graphics:../Images/IntegralsBranchPointsMod_gr_88.gif]

[Graphics:../Images/IntegralsBranchPointsMod_gr_89.gif]

 

 

 

 

 

[Graphics:../Images/IntegralsBranchPointsMod_gr_90.gif]

[Graphics:../Images/IntegralsBranchPointsMod_gr_91.gif]

[Graphics:../Images/IntegralsBranchPointsMod_gr_92.gif]

[Graphics:../Images/IntegralsBranchPointsMod_gr_93.gif]

[Graphics:../Images/IntegralsBranchPointsMod_gr_94.gif]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) 2006 John H. Mathews, Russell W. Howell