Uniformly bounded derivatives implies globally analytic

From Calculus
Revision as of 14:51, 7 July 2012 by Vipul (talk | contribs)

Statement

Suppose f is an infinitely differentiable function on R such that, for any fixed a,b∈R, there is a constant C (possibly dependent on a,b) such that for all nonnegative integers n, we have:

|f(n)(x)|≤C∀x∈[a,b]

Then, f is a globally analytic function: the Taylor series of f about any point in R converges to f. In particular, the Taylor series of f about 0 converges to f.