I am learning about differentiability of functions and came to know that a function at sharp point is not differentiable.
For eg.
$$f(x)=|x|$$
I could find out that $f(x)$ is not differentiable at $x=0$ because
$$\lim_{x\to 0^-}f'(x) \ne \lim_{x\to 0^+}f'(x) $$
This is all mathematical but I couldn't understand where the sharp point plays its role here ?
How sharp point makes these limits to evaluate different ?
Why is a function at sharp point not differentiable?
-
21**Very** informally, $f$ is differentiable at $a$ if a very very tiny bug sitting at $a$ can believe that the curve is flat at $a$, that its world is a straight line. The bug, sitting at $0$ on $y=|x|$, will not believe that the world is flat. Particularly if you turn the curve upside down, so that the "sharp" point is digging into its sitting end. – 2012-07-04
-
3+1: You have a very imaginative vision of the life of bugs , @André! – 2012-07-04
-
1A variant of this always gets a laugh. And maybe they actually will remember. – 2012-07-04
6 Answers

${}{}{}{}{}{}{}{}{}{}{}{}{}{}{}$
-
0Note that all this seems to argue for is that there is no assignment of slope at the corner point that will make *slope* a **continuous function** of the input variable $x,$ not that it isn't possible to assign a value of the slope at the corner point. For instance, why couldn't the slope be $-1$ to the left of the corner point, $+1$ to the right of the corner point, and $0$ at the corner point? (Yes, I'm aware no assignment of slope is possible at a point where slope left of the point is $-1$ and slope right of the point is $+1,$ but the explanation is more real analysis than calculus.) – 2012-07-05
-
2@DaveL.Renfro: Thanks for the comment, Dave. Here we see the left- and right-sided derivatives do not agree. This is robjohn's answer in visual form. – 2012-07-05
-
0It depends, if you define the absolute value as the limit of a "smooth" maximum, $|x|=\lim_{k\to\infty}\ln(e^{kx}+e^{-kx})/\ln k$ you might as well define $f'(x)=0$ (although real mathematicians will cringe at the sight of the reversed order of limits). However, without such crafty regularizations, the left and the right limits being different means that the limit does not exist. In terms of derivative meaning the slope of the curve, this answer is the most direct and comprehensible so far. +1. – 2014-05-19
First remark: your $f$ is not differentiable (at $0$) because the limit $$ \lim_{h \to 0} \frac{|h|}{h} $$ does not exist. In general the limit of $f'$ is only a sufficient condition for differentiability. Be very careful, if you use it to disprove differentiability.
Have you tried to sketch the graph of $f$? If so, you have seen that there is no tangent line to the graph at $0$, because of the sharp point. This is way to "understand" the rôle of the sharp point. But again, be careful: differentiability is a mathematical idea. The best way to understand it, is to understand it mathematically, according to the definition. Everything else may be misleading.
-
4For example, take $f(x)=x^2\sin(1/x)$. Then $\lim\limits_{x\to0}f'(x)$ does not exist, yet $f'(0)=0$. – 2012-07-04
-
0@robjohn But when we write $\lim_{x\to 0^-}f'(x) \ne \lim_{x\to 0^+}f'(x)$, I suppose we might be implying that the limits from the left and right actually exist. In this case, the inequality *does* in fact imply that the function is not differentiable at $0$. – 2014-05-19
-
0@MarkMcClure: I don't think that $\lim\limits_{x\to0}f(x)\ne0$ implies that $\lim\limits_{x\to0}f(x)$ exists, so I would really be hesitant to say that $\lim\limits_{x\to0}f(x)\ne\lim\limits_{x\to0}g(x)$ implies that either limit exists. – 2014-05-19
-
0Could you precise the terminology: by *limit $\lim_{x→0} \frac{|h|}{h}$ doesn't exist* you'd actually mean *the derivative doesn't exist*? Because there is a limit, tho different on the right and left hand sides. I've seen the terminology before, and it's confusing for an amateur. Also, I still struggle to see, what happens if I'd say that the derivative of a sharp point does actually exist, just different on the $Δx$ and $-Δx$ sides? Does it break anything? – 2016-10-28
-
0Okay, for talking at the `#math` IRC channel, I get the idea: there's simply a theorem *the derivative exists if and only if both the left and the right derivatives exist, and they are equal*, i.e. you can say that in "sharp point" exists a *left* or *right derivative*, but not just *derivative*. – 2016-10-28
It's not differentiable because you can draw infinitely many tangents that touch the point of turning (I may be wrong I'm just a high school student).
A function is differentiable at a point, $x_0$, if it can be approximated very close to $x_0$ by $f(x)=a_0+a_1(x-x_0)$. That is, up close, the function looks like a straight line. A kink, like you see in $|x|$ at $x=0$, is where the graph of $|x|$ does not look like a straight line.
Rather than look at $$ \lim\limits_{h\to0^+}f'(x+h)\quad\text{and}\quad\lim\limits_{h\to0^-}f'(x+h)\tag{1} $$ w should look at $$ \lim\limits_{h\to0^+}\frac{f(x+h)-f(x)}{h}\quad\text{and}\quad\lim\limits_{h\to0^-}\frac{f(x+h)-f(x)}{h}\tag{2} $$ If $f$ is continuous and the limits in $(1)$ exist and are equal, then $f'(x)$ is equal to those limits. However, if $$ f(x)=x^2\sin(1/x)\tag{3} $$ then the limits in $(1)$ do not exist for $x=0$, yet $f'(0)=0$.
However, by definition, if and only if the limits in $(2)$ exist and are equal, does $f'(x)$ exist and equal to those limits.
Because in order to calculate a derivative you need to take the difference of the point in question and the next point on the closest possible interval. This means that you must take the difference from the right and from the left. When you encounter a kink if you take the difference of the closest point from the left and from the right you will get reciprocal answers. Therefor it is impossible to determine the rate of change at the point in question
could we say that as we approach from the left and right, the functions have not 'turned' towards each other e,g, to a point where slope will be zero ? Hence a turning point that is curved IS differentiable, but this 'cusp' is not.
-
0Though this may provide an intuitive explanation, it may not be accepted as an answer in a calculus paper. – 2016-05-02