Every power series is the Taylor series of some C∞C^{\infty} function

Do you have some reference to a proof of the so-called Borel theorem, i.e. every power series is the Taylor series of some C function?

Answer

Borel’s theorem states that given a sequence of real numbers (an)nN there exists a C function fC(R) such that
f(n)(0)n!=an , i.e. the Taylor series associated to f is ΣanXn.
The function f is never unique: you can always add to it a flat function, one all of whose derivatives at zero are zero, like the well-known Cauchy function e1/x2 .

There is a huge caveat however: you can’t go from the series to the function f .
Firstly, the series might not be convergent at any x0R ! An example is ΣanXn=ΣnnXn whose radius of convergence is zero.
Secondly, even if it does converge it might converge to the wrong function! For example if you start with Cauchy’s function you get the zero Taylor series. It converges to zero, of course, but that is definitely not the Cauchy function you started with. So we should not read too much in Borel’s theorem: it cannot force a non-analytic function to become analytic!

Borel’s theorem is also valid in several variables. Given a sequence of k-tuples (aI)INk of real numbers aIR, there exists a function fC(Rk), again highly non-unique, whose derivatives satisfy
If(0)I!=aI. [I have used multiindex notation with I=(i1,,ik), I!=i1!ik!etc.]

There is a vast generalization due to Whitney of Borel’s theorem. You can consider a closed subset ZRk and continuous functions ϕIC(Z) . Whitney gives necessary and sufficient growth and compatibility conditions on the ϕI ‘s which will guarantee that there exists a C function fC(U) defined on an open neighbourhood UZ of Z such that If(0)I!=ϕI. Borel’ s theorem is then the case Z={0} .

Bibliography: Borel’s theorem in several variables is proved in R.Narasimhan’s book Analysis on Real and complex Manifolds, which also contains the precise statement of Whitney’s theorem.

Attribution
Source : Link , Question Author : Community , Answer Author : Georges Elencwajg

Leave a Comment