Non-analytic Smooth Function - Application To Taylor Series

Application To Taylor Series

For every sequence α₀, α₁, α₂, . . . of real or complex numbers, the following construction shows the existence of a smooth function F on the real line which has these numbers as derivatives at the origin. In particular, every sequence of numbers can appear as the coefficients of the Taylor series of a smooth function. This result is known as Borel's lemma, after Émile Borel.

With the smooth transition function g as above, define

This function h is also smooth; it equals 1 on the closed interval and vanishes outside the open interval (−2,2). Using h, define for every natural number n (including zero) the smooth function

which agrees with the monomial xn on and vanishes outside the interval (−2,2). Hence, the k-th derivative of ψ_n at the origin satisfies

and the boundedness theorem implies that ψ_n and every derivative of ψ_n is bounded. Therefore, the constants

involving the supremum norm of ψ_n and its first n derivatives, are well-defined real numbers. Define the scaled functions

By repeated application of the chain rule,

and, using the previous result for the k-th derivative of ψ_n at zero,

It remains to show that the function

is well defined and can be differentiated term-by-term infinitely often. To this end, observe that for every k

$\sum_{n=0}^\infty\|f_n^{(k)}\|_\infty \le \sum_{n=0}^{k+1}\frac{|\alpha_n|}{n!\,\lambda_n^{n-k}}\|\psi_n^{(k)}\|_\infty +\sum_{n=k+2}^\infty\frac1{n!} \underbrace{\frac1{\lambda_n^{n-k-2}}}_{\le\,1} \underbrace{\frac{|\alpha_n|}{\lambda_n}}_{\le\,1} \underbrace{\frac{\|\psi_n^{(k)}\|_\infty}{\lambda_n}}_{\le\,1} <\infty,$

where the remaining infinite series converges by the ratio test.

Read more about this topic: Non-analytic Smooth Function

Famous quotes containing the words application to, application, taylor and/or series:

“The receipt to make a speaker, and an applauded one too, is short and easy.—Take of common sense quantum sufficit, add a little application to the rules and orders of the House, throw obvious thoughts in a new light, and make up the whole with a large quantity of purity, correctness, and elegancy of style.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

“Great abilites are not requisite for an Historian; for in historical composition, all the greatest powers of the human mind are quiescent. He has facts ready to his hand; so there is no exercise of invention. Imagination is not required in any degree; only about as much as is used in the lowest kinds of poetry. Some penetration, accuracy, and colouring, will fit a man for the task, if he can give the application which is necessary.”
—Samuel Johnson (1709–1784)

“In this sad state, God Tender Bowells run
Out streams of Grace: And he to end all strife
The Purest Wheate in Heaven, his deare-dear Son
Grinds, and kneads up into this Bread of Life.
Which Bread of Life from Heaven down came and stands
Disht on thy Table up by Angells Hands.”
—Edward Taylor (1645–1729)

“In the order of literature, as in others, there is no act that is not the coronation of an infinite series of causes and the source of an infinite series of effects.”
—Jorge Luis Borges (1899–1986)