9 (c).  Can we conclude that  [Graphics:Images/IntegralsBranchPointsModHome_gr_692.gif].   Justify your answer.

Solution 9 (c).

See text and/or instructor's solution manual.

      Can not we conclude that  [Graphics:../Images/IntegralsBranchPointsModHome_gr_712.gif],  because the integrand has the form

                    [Graphics:../Images/IntegralsBranchPointsModHome_gr_713.gif],

but  [Graphics:../Images/IntegralsBranchPointsModHome_gr_714.gif]  has a zero of order  3  at the origin, and does not satisfy the hypothesis of Theorem 8.7,

which states that  Q(z)  must have a zero of order at most 1 at the origin.  

We are done.   

Aside.  We can let Mathematica double check our work.

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

[Graphics:../Images/IntegralsBranchPointsModHome_gr_716.gif]
[Graphics:../Images/IntegralsBranchPointsModHome_gr_717.gif]

Note.  There is no difficulty with "tail end at infinity."   

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

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

However, the integrand  [Graphics:../Images/IntegralsBranchPointsModHome_gr_720.gif]  is not continuous at  [Graphics:../Images/IntegralsBranchPointsModHome_gr_721.gif],  so the difficulty occurs at the origin.  

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

[Graphics:../Images/IntegralsBranchPointsModHome_gr_723.gif]
[Graphics:../Images/IntegralsBranchPointsModHome_gr_724.gif]

For  [Graphics:../Images/IntegralsBranchPointsModHome_gr_725.gif],   [Graphics:../Images/IntegralsBranchPointsModHome_gr_726.gif],   and  

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

Hence the integral diverges.

Maple can check our work too!

     > int( x^(1/3)/(x^3*(x+1)), x=0..infinity );

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

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

                    The area under the curve  [Graphics:../Images/IntegralsBranchPointsModHome_gr_730.gif]  over the interval  [Graphics:../Images/IntegralsBranchPointsModHome_gr_731.gif]  is infinite.

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

                    The area under the curve  [Graphics:../Images/IntegralsBranchPointsModHome_gr_733.gif]  over the interval  [Graphics:../Images/IntegralsBranchPointsModHome_gr_734.gif]  is finite.

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

                    The area under the curve  [Graphics:../Images/IntegralsBranchPointsModHome_gr_736.gif]  over the interval  [Graphics:../Images/IntegralsBranchPointsModHome_gr_737.gif]  is infinite.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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