Exercise 1.  Use the Cauchy Riemann conditions to determine where the following functions are differentiable, and evaluate the derivatives at those points where they exist.  

1 (g).  [Graphics:Images/CauchyRiemannModHome_gr_197.gif].  

Solution 1 (g).

See text and/or instructor's solution manual.

Answer.  [Graphics:../Images/CauchyRiemannModHome_gr_198.gif],   [Graphics:../Images/CauchyRiemannModHome_gr_199.gif],   [Graphics:../Images/CauchyRiemannModHome_gr_200.gif].

The conditions necessary for Theorem 4.4 are satisfied if and only if  [Graphics:../Images/CauchyRiemannModHome_gr_201.gif], which is the  x-axis.

At the points  [Graphics:../Images/CauchyRiemannModHome_gr_202.gif], we have  [Graphics:../Images/CauchyRiemannModHome_gr_203.gif].  

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

                 [Graphics:../Images/CauchyRiemannModHome_gr_205.gif],      [Graphics:../Images/CauchyRiemannModHome_gr_206.gif]     so that  

[Graphics:../Images/CauchyRiemannModHome_gr_207.gif],     [Graphics:../Images/CauchyRiemannModHome_gr_208.gif],     [Graphics:../Images/CauchyRiemannModHome_gr_209.gif],     [Graphics:../Images/CauchyRiemannModHome_gr_210.gif].   

The  Cauchy Riemann equations are  

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

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

which implies that   [Graphics:../Images/CauchyRiemannModHome_gr_213.gif],  and this holds only when  [Graphics:../Images/CauchyRiemannModHome_gr_214.gif].  

Therefore,  [Graphics:../Images/CauchyRiemannModHome_gr_215.gif]  is differentiable only at points on the x-axis.

At the points  [Graphics:../Images/CauchyRiemannModHome_gr_216.gif]  on the x-axis, we have

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

Caveat.  It would be false to use the formula  [Graphics:../Images/CauchyRiemannModHome_gr_218.gif]  for values other than  [Graphics:../Images/CauchyRiemannModHome_gr_219.gif].    

We are done.   

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

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

Recall the identities  [Graphics:../Images/CauchyRiemannModHome_gr_221.gif]  and  [Graphics:../Images/CauchyRiemannModHome_gr_222.gif]  that were used in Section 2.1.

They can be substituted in [Graphics:../Images/CauchyRiemannModHome_gr_223.gif],  and the result is

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

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

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

We are really done.   

Aside.  We can let Mathematica double check our work.

                     [Graphics:../Images/CauchyRiemannModHome_gr_227.gif]          [Graphics:../Images/CauchyRiemannModHome_gr_228.gif]

  

                    The image of this orthogonal grid under  [Graphics:../Images/CauchyRiemannModHome_gr_229.gif]  is not an orthogonal grid.

          An orthogonal grid mapped by  [Graphics:../Images/CauchyRiemannModHome_gr_230.gif]  is not an orthogonal grid, because the function is not analytic.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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