A function may fail to have a derivative f'(x_0) at a point in several distinct ways. Recognizing these cases is essential before applying any differentiation rules.
| Case | Description | Example |
|---|---|---|
| Discontinuity | has a jump or infinite blow-up | Heaviside step function, |
| Corner / Cusp | One-sided derivatives exist but differ | at |
| Vertical tangent | Difference quotient | at |
| Oscillation | Difference quotient has no limit | at |
The Four Cases of Non-Differentiability
Here are the cases in which is not differentiable at a point .
Case 1: is discontinuous at .
If there is a jump in the graph of at , or or , the function is not differentiable at the point of discontinuity.
For example, the Heaviside step function
H(x)=\begin{cases}1 & \text{if }0\leq x\\0 & \text{if }x<0\end{cases}is not continuous at ; therefore H'(0) does not exist.
Another example is . Because , is not differentiable at .

Case 2: f'_+(x_0) and f'_-(x_0) both exist but f'_+(x_0)\neq f'_-(x_0).
In this case, there is a corner in the graph of .

Case 3: The tangent line is vertical.
In this case,
or, more generally, \lim_{\Delta x\to0}|f'(x)|=+\infty.
For example, consider . The tangent to its graph at $(0,0)$ is vertical. This function is not differentiable at , for
\begin{aligned} \left.\frac{d(\sqrt[3]{x})}{dx}\right|_{x=0} &=\lim_{\Delta x\to0}\frac{\sqrt[3]{0+\Delta x}-\sqrt[3]{0}}{\Delta x}\\ &=\lim_{\Delta x\to0}\frac{\sqrt[3]{\Delta x}}{\Delta x}\\ &=\lim_{\Delta x\to0}\frac{1}{\Delta x^{(1-1/3)}}\\ &=\lim_{\Delta x\to0}\frac{1}{\sqrt[3]{(\Delta x)^{2}}}\\ &=+\infty. \end{aligned}
Case 4: The difference quotient approaches neither a number nor .
Consider
f(x)=\begin{cases}x\sin\dfrac{1}{x} & \text{if }x\neq0\\0 & \text{if }x=0\end{cases}This function is not differentiable (although it is continuous) at , because
\begin{aligned} f'(0)&=\lim_{\Delta x\to0}\frac{f(0+\Delta x)-f(0)}{\Delta x}\\ &=\lim_{\Delta x\to0}\frac{\Delta x\sin\frac{1}{\Delta x}-0}{\Delta x}\\ &=\lim_{\Delta x\to0}\sin\frac{1}{\Delta x} \end{aligned}does not exist. The graph of is shown below.
.png)