Let $f:(a,b)\to\mathbb R$. We know that for every $c\in(a,b)$ we can write $f(t)=\sum_{i=0}^k a_i(c)(t-c)^i+o\left((t-c)^k\right)$ and $\forall i$ $a_i(c)$ is continuous (with respect to $c$). Can we conclude that $f$ is of class $C^k$?

  • 1
    $\begingroup$ If we assume $f$ continuous then we should have $a_0(c)=f(c)$ so $\frac{f(t)-f(c)}{t-c}=a_1(c)+\sum_{i=2}^ka_i(c)(t-c)^{i-1}+o((t-c)^{k-1})$ and we get that $f$ is differentiable. $\endgroup$ – Davide Giraudo Feb 9 '12 at 21:51
  • $\begingroup$ This converse of Taylor's theorem is stated as Theorem 2.1.6 (without proof) in Krantz and Parks' book A Primer on Real Analytic Functions. They write that a detailed proof of this can be found in S. G. Krantz, Lipschitz spaces, smoothness of functions, and approximation theory, Expo. Math. 1 (1983), 193-260 (Entry on Zentralblatt). $\endgroup$ – Sam Feb 12 '12 at 18:42
  • $\begingroup$ Answered on Mathoverflow: mathoverflow.net/questions/88501/converse-of-taylors-theorem $\endgroup$ – Bill Cook Feb 15 '12 at 14:07

EDIT: What is written below doesn't actually answer the original question because the resulting functions $a_i(c)$ are not continuous. I will leave it posted for now because it does suffice to illustrate that the claim can fail without continuity of the $a_i$.

This "converse" is false, as I learned from Fedor Petrov's contribution to MathOverflow's list of common false beliefs in math (perhaps one of the best questions ever asked on that site). In an embarrassed email to Prof. Petrov I admitted to holding this belief, so he provided me with the counterexample \[ f(x) = \begin{cases} \sin (e^{1/x^4}) e^{-1/x^2} & x\neq 0, \\\ 0 & x=0. \end{cases} \] This function is $C^\infty$ everywhere except at $x=0$. It goes to zero very quickly as $x\to 0$, but within that $e^{-1/x^2}$ envelope it wiggles faster than it goes to zero. The result is that $f(x) = o(x^n)$ for all $n$ as $x\to 0$, but a quick computation shows that $f'(x)$ is not continuous at zero. So $f$ is differentiable, but not even $C^1$.

  • $\begingroup$ Did you miss the part about the $a_i(c)$ being continuous? $\endgroup$ – Robert Israel Feb 10 '12 at 1:54
  • $\begingroup$ @RobertIsrael: Oops, I did. Thanks! I will edit to make it clear that this does not answer the question, but leave the counterexample to illustrate why continuity is needed. $\endgroup$ – Noah Stein Feb 10 '12 at 2:12
  • $\begingroup$ I don't see why the $a_i(c)$ have to be continuous. Actually, if we consider the function $f(x)$ from Noah, say on the interval $(-1,1)$, then we have the following: for any $c\ne0$, the function is analytic on any interval around $c$ that doesn't contain 0, and so can be written as the question asks (i.e. by it's degree $k$ Taylor polynomial); for $c=0$, we have $a_i(0)=0$ for all $i$, and since $f$ is $o(t^k)$, the condition is also satisfied; but, as Noah said, $f$ is not even $C^1$. $\endgroup$ – Martin Argerami Feb 10 '12 at 4:37
  • $\begingroup$ @Martin: The $a_i$ being continuous is one of the premises (though this is perhaps not immediately clear because of the unorthodox wording of the question). Since the intended counterexample doesn't satisfy this premise, it's not a counterexample. $\endgroup$ – joriki Feb 12 '12 at 14:30
  • $\begingroup$ @joriki: I totally missed that in the statement. $\endgroup$ – Martin Argerami Feb 12 '12 at 16:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.