Exercise 5.  Let  [Graphics:Images/CauchyRiemannModHome_gr_308.gif].  

Show that both  f(z)  and  f'(z)  are differentiable for all  z.  

Solution 5.

See text and/or instructor's solution manual.

Answer.  [Graphics:../Images/CauchyRiemannModHome_gr_309.gif]  and  [Graphics:../Images/CauchyRiemannModHome_gr_310.gif]  by Theorem 3.4.

Solution.  [Graphics:../Images/CauchyRiemannModHome_gr_311.gif],    and  

                 [Graphics:../Images/CauchyRiemannModHome_gr_312.gif],      [Graphics:../Images/CauchyRiemannModHome_gr_313.gif]     so that  

[Graphics:../Images/CauchyRiemannModHome_gr_314.gif] [Graphics:../Images/CauchyRiemannModHome_gr_315.gif],     [Graphics:../Images/CauchyRiemannModHome_gr_316.gif],     [Graphics:../Images/CauchyRiemannModHome_gr_317.gif],     [Graphics:../Images/CauchyRiemannModHome_gr_318.gif].   

The  Cauchy Riemann equations are  

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

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

which hold for all  z.

The partials are continuous everywhere, so   

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

for all  z.

We are done.   

Remark. In Section 5.1 we will learn that  [Graphics:../Images/CauchyRiemannModHome_gr_322.gif]  is the complex exponential function.  

Then we will be able to use the rule for differentiation  [Graphics:../Images/CauchyRiemannModHome_gr_323.gif].  

Aside.  We can let Mathematica double check our work.

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

[Graphics:../Images/CauchyRiemannModHome_gr_325.gif]
[Graphics:../Images/CauchyRiemannModHome_gr_326.gif]


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

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


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

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

                     [Graphics:../Images/CauchyRiemannModHome_gr_331.gif]          [Graphics:../Images/CauchyRiemannModHome_gr_332.gif]

  

                    The analytic function  [Graphics:../Images/CauchyRiemannModHome_gr_333.gif]  maps any orthogonal grid onto an orthogonal grid.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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