Exercise 13.  [Graphics:Images/FunTheoremCalculusModHome_gr_171.gif],  where C is the line segment from  [Graphics:Images/FunTheoremCalculusModHome_gr_172.gif].  

Solution 13.

See text and/or instructor's solution manual.

Answer.  

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

Solution.  The function  [Graphics:../Images/FunTheoremCalculusModHome_gr_174.gif]  is analytic everywhere except at  [Graphics:../Images/FunTheoremCalculusModHome_gr_175.gif],  

and  [Graphics:../Images/FunTheoremCalculusModHome_gr_176.gif]  has  [Graphics:../Images/FunTheoremCalculusModHome_gr_177.gif]  as an antiderivative.  

Letting D be the simply connected domain consisting of the entire complex plane except for the real numbers  [Graphics:../Images/FunTheoremCalculusModHome_gr_178.gif],  

we see that  [Graphics:../Images/FunTheoremCalculusModHome_gr_179.gif]  and its listed antiderivative are analytic in D.

Since the line segment from  [Graphics:../Images/FunTheoremCalculusModHome_gr_180.gif]  is contained in D, Theorem 6.9 gives

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

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

                    The path of integration is the line segment from  [Graphics:../Images/FunTheoremCalculusModHome_gr_183.gif].  

                    Notice that  [Graphics:../Images/FunTheoremCalculusModHome_gr_184.gif]  is not analytic on the ray   [Graphics:../Images/FunTheoremCalculusModHome_gr_185.gif].

We are done.   

Aside.  We can let Mathematica double check our work.

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

           

 

 

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

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




















This solution is complements of the authors.



































 

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