Infinitely differentiable

By differentiating it an infinite number of times?

But seriously, that's what you do. Just that usually you can infer what the higher order derivatives will be, so you don't have to compute it one by one.

Example To see that $\sin(x)$ is infinitely differentiable, you realize the following: $\frac{d}{dx}\sin(x) = \cos(x)$, and $\frac{d}{dx} \cos(x) = -\sin(x)$. So you see that $(\frac{d}{dx})^4\sin(x) = \sin(x)$, and so the derivatives are periodic. Therefore by continuity of $\sin(x)$ and its first three derivatives, $\sin(x)$ must be infinitely differentiable.

Example To see that $(1 + x^2)^{-1}$ is infinitely differentiable, you realize that $\frac{d}{dx}(1+x^2)^{-n} = -2n x (1+x^2)^{-n-1}$. So therefore by induction you have the following statement: all derivatives of $(1+x^2)^{-1}$ can be written as a polynomial in $x$ multplied by $(1 +x^2)^{-1}$ to some power. Then you can use the fact that (a) polynomial functions are continuous and (b) quotients of polynomial functions are continuous away from where the denominator vanishes to conclude that all derivatives are continuous.

The general philosophy at work is that in order to show all derivatives are bounded and continuous, you can take advantage of some sort of recursive relationship between the various derivatives to inductively give a general form of the derivatives. Then you reduce the problem to showing that all functions of that general form are continuous.


There is no magic recipe to tell whether a function is infinitely differentiable, or even once differentiable, or even continuous indeed. It really depends on the function itself. Of course there are really general and trivial statements like all polynomials are infinitely differentiable and so on.


Depending on how your function is given, that can be very easy or very hard. For functions given by expressions in closed form, you can try deriving a general formula for the $n$-th derivative. E.g. this way you can prove that all polynomials are smooth (=infinitely differentiable), so are sin, cos and exponential functions and any concatenation, product and sum of smooth functions is smooth.

Often, you will have to work with the actual derivative as a limit and differentiate until you find either a non-smooth point or some closed form that you recognise, you maybe some periodicity (i.e. so that some $n$-derivative is equal to some $m$-the derivative, like with trigonometric functions) or you have to get really clever.

Tags:

Calculus