A Smooth Function Which Is Nowhere Real Analytic
A more pathological example, of an infinitely differentiable function which is not analytic at any point can be constructed by means of a Fourier series as follows. Let A:={2n : n ∈ N } be the set of all powers of 2, and define for all x ∈ R
Since the series converge for all n ∈ N, this function is easily seen to be of class C∞, by a standard inductive application of the Weierstrass M-test, and of the theorem of limit under the sign of derivative. Moreover, for any dyadic rational multiple of π, that is x:=π p/q with p ∈ N and q ∈ A, and for all order of derivation n ∈ A, n ≥ 4 and n > q we have
where we used the fact that cos(kx)=1 for all k > q. As a consequence, at any such x ∈ R
so that the radius of convergence of the Taylor series of f at x is 0 by the Cauchy-Hadamard formula . Since the set of analyticity of a function is an open set, and since dyadic rationals are dense, we conclude that f is nowhere analytic in R.
Read more about this topic: Non-analytic Smooth Function
Famous quotes containing the words smooth, function, real and/or analytic:
“or the warm soft side
Of the resigning yet resisting bride.
The kiss of virgins first-fruits of the bed;
Soft speech, smooth touch, the lips, the maidenhead;
These and a thousand sweets could never be
So near or dear as thou wast once to me.”
—Robert Herrick (1591–1674)
“It is not the function of our Government to keep the citizen from falling into error; it is the function of the citizen to keep the Government from falling into error.”
—Robert H. [Houghwout] Jackson (1892–1954)
“Climbing is unadulterated hard labor. The only real pleasure is the satisfaction of going where no man has been before and where few can follow.”
—Annie Smith Peck (1850–1935)
““You, that have not lived in thought but deed,
Can have the purity of a natural force,
But I, whose virtues are the definitions
Of the analytic mind, can neither close
The eye of the mind nor keep my tongue from speech.””
—William Butler Yeats (1865–1939)