Example 3.2.  Show that the function [Graphics:Images/AnalyticFunctionMod_gr_54.gif]  is nowhere differentiable.

Explore Solution 3.2.

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




First, form the difference quotient using  [Graphics:../Images/AnalyticFunctionMod_gr_67.gif].  

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

 

 

 

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

 

And this limit is easy to compute.

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

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

 

 

Second, form the difference quotient using  [Graphics:../Images/AnalyticFunctionMod_gr_72.gif].  

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

 

 

 

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

 

And this limit is easy to compute.

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

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

 

 

Since the two limits are different for any point  [Graphics:../Images/AnalyticFunctionMod_gr_77.gif]  does not exist for any  [Graphics:../Images/AnalyticFunctionMod_gr_78.gif].  

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


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

 

 

Aside.  Mathematica will not differentiate  [Graphics:../Images/AnalyticFunctionMod_gr_81.gif].  

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

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

The limit definition has shown that [Graphics:../Images/AnalyticFunctionMod_gr_84.gif]  is nowhere differentiable.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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