Exercise 7.  Use any method to show that the following functions are nowhere differentiable.  

7 (b).  [Graphics:Images/CauchyRiemannModHome_gr_386.gif].

Solution 7 (b).

See text and/or instructor's solution manual.

Answer.  [Graphics:../Images/CauchyRiemannModHome_gr_387.gif],   [Graphics:../Images/CauchyRiemannModHome_gr_388.gif],   [Graphics:../Images/CauchyRiemannModHome_gr_389.gif],   [Graphics:../Images/CauchyRiemannModHome_gr_390.gif].

The Cauchy-Riemann equations hold if and only if both  [Graphics:../Images/CauchyRiemannModHome_gr_391.gif],  which is impossible.

Therefore,   [Graphics:../Images/CauchyRiemannModHome_gr_392.gif]  is nowhere differentiable.  

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

                 [Graphics:../Images/CauchyRiemannModHome_gr_394.gif],      [Graphics:../Images/CauchyRiemannModHome_gr_395.gif]     so that  

[Graphics:../Images/CauchyRiemannModHome_gr_396.gif],     [Graphics:../Images/CauchyRiemannModHome_gr_397.gif],     [Graphics:../Images/CauchyRiemannModHome_gr_398.gif],     [Graphics:../Images/CauchyRiemannModHome_gr_399.gif].   

The  Cauchy Riemann equations are  

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

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

the equation  [Graphics:../Images/CauchyRiemannModHome_gr_402.gif]  is impossible.

Therefore,   [Graphics:../Images/CauchyRiemannModHome_gr_403.gif]  is nowhere differentiable.  

We are done.   

Aside.  A reason why h(z) is not analytic is given in Exercise 16.  

     Loosely speaking, if h(z) is analytic then there cannot be any occurrence of the variable  [Graphics:../Images/CauchyRiemannModHome_gr_404.gif].

So technically there are "hidden" terms involving  [Graphics:../Images/CauchyRiemannModHome_gr_405.gif]  in the formula for  g(z),  and this precludes the possibility that  g(z)  can be analytic.

Indeed, the complex form of the Cauchy-Riemann equations fails to hold because  [Graphics:../Images/CauchyRiemannModHome_gr_406.gif].  

The function  [Graphics:../Images/CauchyRiemannModHome_gr_407.gif]  is real valued and the image of any region would be a segment on the real axis and is not an interesting graph.  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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