Monday, 16 June 2014

real analysis - Graphical explanation of the difference between C1 and C2 function?



We are all aware of the intuitive (graphical) explanation of the concepts of continuous and differentiable function. Whenever these two concepts are formally defined, the following elementary explanations are given:





A continuous function is a function whose graph has no "holes" or "jumps", and a differentiable function is a function whose graph has no "corners".




This is a non continuous function:



enter image description here



This is a non differentiable continuous function:




enter image description here



And this is a differentiable continuous function:



enter image description here



Is there a "graphical" or intuitive explanation of the difference between a C1 function and a differentiable function with discontinuous derivatives? What about a function that is C1 but not C2 because it does not have second derivatives? Or what about a function that is C1 and has second derivatives but they are not continuous? What about the difference between a C1 function and a C function?


Answer



In general the differences are very subtle, and I don't know of any good way to visualize them. For instance, here is an example of a function that is C2 but is not differentiable at x=0, the function y=|x|3:
enter image description here

(It does not have a third derivative at x=0 because the second derivative is 3|x|+3x.) Can you tell visually that this function does not have a third derivative at x=0? I can't, although this could just be a poor example.



Hopefully you're familiar with the famous example of the Weierstrass function, which is C0 but nowhere differentiable:
enter image description here
It's visually clear, I think, that this function is not differentiable anywhere: the surface is too rough.



But it gets harder when you look at the next level. By integrating the Weierstrass function, we obtain a function that is C1 but nowhere second-differentiable:
enter image description here
It looks smooth enough to be differentiable, but I wouldn't know how to tell if the second derivative exists just by looking at the picture.




In summary, I think that our visual intuitions about graphs are too imprecise to fully capture the mathematical notion of smoothness.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...