Non-analytic Smooth Function - Application To Taylor Series

Application To Taylor Series

For every sequence α0, α1, α2, . . . 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:

    “If you would be a favourite of your king, address yourself to his weaknesses. An application to his reason will seldom prove very successful.”
    —Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    “By an application of the theory of relativity to the taste of readers, to-day in Germany I am called a German man of science, and in England I am represented as a Swiss Jew. If I come to be regarded as a bête noire the descriptions will be reversed, and I shall become a Swiss Jew for the Germans and a German man of science for the English!”
    —Albert Einstein (1879–1955)

    “To be beloved is all I need,
    And whom I love, I love indeed.”
    —Samuel Taylor Coleridge (1772–1834)

    “Every Age has its own peculiar faith.... Any attempt to translate into facts the mission of one Age with the machinery of another, can only end in an indefinite series of abortive efforts. Defeated by the utter want of proportion between the means and the end, such attempts might produce martyrs, but never lead to victory.”
    —Giuseppe Mazzini (1805–1872)