Saturday, October 17, 2015

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

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...