1
$\begingroup$

Thinking about a problem, i had got this idea which appears true, but i feel it is a direct consequence of a well known theorem, the name of which i would like to ask here.

The idea can be put in the form of a theorem as below.

If a function $f : \mathbb{R} \to \mathbb{R}$ is infinitely differentiable at a point $x = x_o$ then given any arbitrarily large $r \in \mathbb{N}$ we can find an $\epsilon \in \mathbb{R}$ such that $f$ is $\mathcal{C}^r$ in the interval $(x_o-\epsilon,x_o+\epsilon)$.

I'd like to know the validity of this statement and if it is valid, from which theorem does it follow ?

  • 3
    If $f$ is $k$ times differentiable on $]x_0-\epsilon,x_0+\epsilon[$, it is $\mathcal{C}^{k-1}$ on that interval.2011-04-27

1 Answers 1

3

The original post seems to be generating an excessively long string of comments. I will try to explain things using the more generous editing facilities of the Answers format.

Take any function $g(x)$. Let us think about what we mean when we write $\lim_{x \to a}\ g(x)=b$ Very crudely, we mean that whenever $x$ is close enough to $a$ (but not necessarily equal to $a$), $g(x)$ is close to $b$. In order for the phrase "$g(x)$ is close to $b$" to have meaning, $g(x)$ must exist, that is, $g(x)$ must be defined at $x$, it must make sense at $x$. So we conclude that if $\lim_{x\to a} \ g(x)=b$, then in particular $g(x)$ must make sense, must be a number, for all $x$ in some interval about $a$, except possibly at $x=a$.

Now let us look at derivatives. In general, denote the $n$-th derivative of $f$ by $f^{(n)}$ (the $0$-th derivative of $f$ is defined to be $f$).

The $(k+1)$-th derivative of $f$ at $a$ is defined as follows. $f^{(k+1)}(a)=\lim_{x\to a}\frac{f^{(k)}(x)-f^{(k)}(a)}{x-a}$

Look at this definition. It mentions $f^{(k)}(a)$, so in particular, in order for $f^{(k+1)}(a)$ to exist, the very meaning of $f^{(k+1)}(a)$ forces $f^{(k)}(a)$ to exist. Also, the limit could not exist unless $f^{(k)}(x)$ existed for all $x$ close enough to $a$ but not equal to $a$. So if $f^{(k+1)}(a)$ exists, then $f^{(k)}(x)$ must exist for all $x$ close enough to $a$, including $x=a$.

To sum up, analysis of the very definition (meaning) of differentiation shows that if $f$ is $k+1$ times differentiable at $a$, then $f$ must be $k$ times differentiable in some neighbourhood of $a$.

  • 0
    @H$a$ns Engler: Indeed, the definition of differentia$b$ility at a point could have been, and perhaps should have been, different from what it is. But in any case, one is ordinarily interested mainly in differentiability in an interval.2011-04-27