Example 3.6.  Show that the function defined by

            [Graphics:Images/CauchyRiemannMod_gr_114.gif]  

is not differentiable at the point [Graphics:Images/CauchyRiemannMod_gr_115.gif] even though the Cauchy-Riemann equations are satisfied at [Graphics:Images/CauchyRiemannMod_gr_116.gif].

Explore Solution 3.6.

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




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

 

 

Thus the Cauchy-Riemann equations hold at the origin.  

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

 

 

 

 

 

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

 

 

The two limits are distinct, so f is not differentiable at the origin.

We are done!

Aside.  We can also explore another solution.

Enter the function f[z].

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




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

 

 

Find the real and imaginary parts of  f[z].

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




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

 

 

Determine where the Cauchy-Riemann equations hold.

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




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

 

 

These equations are simultaneously zero, only when both  [Graphics:../Images/CauchyRiemannMod_gr_140.gif]  which appears to be only when  [Graphics:../Images/CauchyRiemannMod_gr_141.gif]  or at the origin.   But since they are not defined at the point [Graphics:../Images/CauchyRiemannMod_gr_142.gif], we must use limits to complete our investigation.

Let's check to see if the Cauchy-Riemann equations hold at [Graphics:../Images/CauchyRiemannMod_gr_143.gif].

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




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

 

 

We have shown that [Graphics:../Images/CauchyRiemannMod_gr_146.gif], that is, the Cauchy-Riemann equations do hold at the origin.

But,  f(z)  is not differentiable at [Graphics:../Images/CauchyRiemannMod_gr_147.gif] because the following two limits are distinct.

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

 

 

 

 

 

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

The two limits are distinct, so we have shown that  [Graphics:../Images/CauchyRiemannMod_gr_150.gif]  is not differentiable at the point [Graphics:../Images/CauchyRiemannMod_gr_151.gif] even though the Cauchy-Riemann equations are satisfied at [Graphics:../Images/CauchyRiemannMod_gr_152.gif].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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