This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Continuously differentiable function of a single real variable" – news · newspapers · books · scholar · JSTOR (May 2026) (Learn how and when to remove this message) This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (May 2026) (Learn how and when to remove this message) (Learn how and when to remove this message)

In real analysis, given a subset ${\displaystyle S\subseteq \mathbb {R} }$, a real function ${\displaystyle f:S\to \mathbb {R} }$ is said to be continuously differentiable at a point ${\displaystyle x_{0}\in S}$ if the derivative of ${\displaystyle f}$, that is, ${\displaystyle f'}$, is continuous at ${\displaystyle x_{0}}$. Given a subset ${\displaystyle U\subseteq S}$, ${\displaystyle f}$ is said to be continuously differentiable on ${\displaystyle U}$ if it is continuously differentiable at every point in ${\displaystyle U}$. ${\displaystyle f}$ is said to be continuously differentiable if it is continuously differentiable on its domain.

It is possible that ${\displaystyle f}$ is differentiable at a point (that is, its derivative, ${\displaystyle f'}$ exists at that point), but is not continuously differentiable at that point, that is, ${\displaystyle f'}$ may have a discontinuity in its domain.

Let ${\displaystyle D}$ be the set of points at which a real function is differentiable, but not continuously differentiable.

Let ${\displaystyle f:\mathbb {R} \to \mathbb {R} }$ be such that ${\displaystyle f(0)=0}$ and for all ${\displaystyle x\in \mathbb {R} }$, ${\displaystyle x\neq 0}$ implies ${\displaystyle f(x)=x^{2}\operatorname {sin} (1/x)}$. Then ${\displaystyle f}$ is differentiable at ${\displaystyle 0}$, but ${\displaystyle f'}$ is discontinuous at ${\displaystyle 0}$.

Since ${\displaystyle -1\leq \operatorname {sin} (1/x)\leq 1}$ for all non-zero real ${\displaystyle x}$, then ${\displaystyle -x^{2}\leq f(x)\leq x^{2}}$, and hence ${\displaystyle -|x|\leq {\frac {f(x)-0}{x-0}}\leq |x|}$. Applying the squeeze theorem, ${\displaystyle f'(0)=0}$.

In every neighbourhood of ${\displaystyle 0}$, the range of the derivative of ${\displaystyle f}$ contains the interval ${\displaystyle [-1,1]}$. This implies the oscillation of ${\displaystyle f'}$ at ${\displaystyle 0}$ is non-zero, hence ${\displaystyle f'}$ is discontinuous at ${\displaystyle 0}$.

The function ${\displaystyle g:\mathbb {R} \to \mathbb {R} }$, such that ${\displaystyle g(x)=(x(1-x))^{2}\operatorname {sin} ({\frac {1}{\pi x(1-x)}})}$ for all ${\displaystyle x\in (0,1)}$ and that ${\displaystyle g(x)=0}$ for all ${\displaystyle x\in (-\infty ,0]\cup [1,\infty )}$, is differentiable everywhere but not continuously differentiable at ${\displaystyle 0}$ and ${\displaystyle 1}$.

The derivative of the composite function ${\displaystyle f\circ f}$, that is, ${\displaystyle (f\circ f)'}$, possesses discontinuities not only at ${\displaystyle 0}$, but also at every deleted neighbourhood of ${\displaystyle 0}$, while ${\displaystyle f\circ f}$ is differentiable on ${\displaystyle \mathbb {R} }$.

Since ${\displaystyle \{x\in \mathbb {R} |\operatorname {sin} (x)=0\}}$ is unbounded above and below, ${\displaystyle \{x\in \mathbb {R} |\operatorname {sin} (1/x)=0\}}$ has an accumulation point at ${\displaystyle 0}$. Furthermore, note that ${\displaystyle f(0)=0}$. Since ${\displaystyle f'(0)=0}$, ${\displaystyle (f\circ f)'(x)=0}$ for all ${\displaystyle x\in \mathbb {R} }$ such that ${\displaystyle f(x)=0}$, by the chain rule. So the set of points at which ${\displaystyle (f\circ f)'}$ is discontinuous is ${\displaystyle \{x\in \mathbb {R} |\operatorname {sin} (1/x)=0\}\cup \{0\}}$, which has an accumulation point at ${\displaystyle 0}$.

A subset of ${\displaystyle \mathbb {R} }$ is the set of discontinuities of the derivative of a differentiable function if and only if it is a meagre ${\displaystyle F_{\sigma }}$ set.^[1] In particular, there exist differentiable functions whose derivatives are discontinuous almost everywhere.

Derivatives of such functions are not Riemann integrable, regardless of whether they are bounded, and therefore the usual version of the fundamental theorem of calculus does not hold. They may fail to be Lebesgue integrable as well and therefore the fundamental theorem fails to hold for that integral. The Denjoy integral and the Henstock–Kurzweil integral were developed in part to address this problem. On a compact interval, every finite derivative is Denjoy integrable and Henstock–Kurzweil integrable, and these integrals recover the original function up to an additive constant.^[2]

It is possible for a function's derivative to be continuous at a point, but also there to exist no neighbourhood of the point at which the derivative is continuous. In other words, the set of points at which a function's derivative is continuous need not be an open set, an example being the function ${\displaystyle F:\mathbb {R} \to \mathbb {R} }$, such that for all ${\displaystyle x\in \mathbb {R} }$, ${\displaystyle F(x)=xf(f(x))}$ (where ${\displaystyle f}$ is defined as above).

The derivative of ${\displaystyle F}$, that is, ${\displaystyle F'}$, is given by ${\displaystyle F'(x)=f(f(x))+xf'(f(x))f'(x)}$. Since ${\displaystyle f}$ and ${\displaystyle f'}$ are defined everywhere, so ${\displaystyle F'}$ is also defined everywhere. However, at each root of ${\displaystyle f}$, ${\displaystyle (f\circ f)'}$ is discontinuous, since ${\displaystyle f'}$ is discontinuous at ${\displaystyle 0}$. That is, ${\displaystyle (f\circ f)'}$ has non-zero oscillation at each root of ${\displaystyle f}$. Since at each non-zero root of ${\displaystyle f}$, ${\displaystyle f'}$ is non-zero, the oscillation of ${\displaystyle xf'(f(x))f'(x)}$ is non-zero for non-zero roots of ${\displaystyle f}$ (note that, although ${\displaystyle (f\circ f)'}$ is zero at each root of ${\displaystyle f}$, it isn't close to ${\displaystyle 0}$ for values in any of the neighbourhoods of non-zero roots of ${\displaystyle f}$). However, when ${\displaystyle x=0}$, the oscillation of ${\displaystyle xf'(f(x))f'(x)}$ is ${\displaystyle 0}$. Since ${\displaystyle (f\circ f)'}$ is ${\displaystyle 0}$ at each root of ${\displaystyle f}$, ${\displaystyle F'}$ is ${\displaystyle 0}$ at each root of ${\displaystyle f}$, but the only root of ${\displaystyle f}$ at which ${\displaystyle F'}$ is continuous is ${\displaystyle 0}$. Since the roots of ${\displaystyle f}$ have an accumulation point at ${\displaystyle 0}$, while ${\displaystyle F'}$ being continuous at ${\displaystyle 0}$, the set of points at which ${\displaystyle F'}$ is continuous is non-open.

It is also possible that the set of points at which a function's derivative is discontinuous is a dense subset of the set of points at which the function is differentiable, as long as the set of points at which the derivative is continuous is a dense subset of the set of points at which the function is differentiable.

As a result of Darboux's theorem, a function's derivative must satisfy the intermediate value property. In other words, if a function is differentiable on a closed interval, its derivative must pass through every value between the images of the endpoints of the interval under the derivative.

What follows is that the only discontinuity a function's derivative can have is an essential discontinuity. If a function has a jump, removable, or infinite discontinuity, it does not satisfy the intermediate value property.

The inverse function theorem states that a real function whose derivative is continuous and is non-zero at a point is injective in a neighbourhood of that point.

If the derivative of a function at ${\displaystyle x_{0}}$ is a non-zero real number, and the function's derivative is continuous at ${\displaystyle x_{0}}$, then there exists a non-empty open interval centered at ${\displaystyle x_{0}}$ over which exactly one and only one of the following is true – the derivative is entirely positive (which implies the function is strictly increasing over the open interval), or the derivative is entirely negative (which implies the function is strictly decreasing over the open interval). In both cases, the function is injective in the open interval, which is a neighbourhood of ${\displaystyle x_{0}}$.

• Differentiable function
• Smoothness