Example 3.2. Show
that the function
is
nowhere differentiable.
Explore Solution 3.2.
First, form the difference quotient using
.
![[Graphics:../Images/AnalyticFunctionMod_gr_68.gif]](../Images/AnalyticFunctionMod_gr_68.gif)
![[Graphics:../Images/AnalyticFunctionMod_gr_69.gif]](../Images/AnalyticFunctionMod_gr_69.gif)
And this limit is easy to compute.
![[Graphics:../Images/AnalyticFunctionMod_gr_71.gif]](../Images/AnalyticFunctionMod_gr_71.gif)
Second, form the difference quotient using
.
![[Graphics:../Images/AnalyticFunctionMod_gr_73.gif]](../Images/AnalyticFunctionMod_gr_73.gif)
![[Graphics:../Images/AnalyticFunctionMod_gr_74.gif]](../Images/AnalyticFunctionMod_gr_74.gif)
And this limit is easy to compute.
![[Graphics:../Images/AnalyticFunctionMod_gr_76.gif]](../Images/AnalyticFunctionMod_gr_76.gif)
Since the two limits are different for any
point
does
not exist for any
.
![[Graphics:../Images/AnalyticFunctionMod_gr_80.gif]](../Images/AnalyticFunctionMod_gr_80.gif)
Aside. Mathematica
will not
differentiate
.
![]()
The limit definition has shown that
is
nowhere differentiable.