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:
“he changed and ran
Through many shapes; I lunged at the smooth throat
Of a great eel; it changed, and I but smote
A fir-tree roaring in its leafless top;
And thereupon I drew the livid chop
Of a drowned dripping body to my breast....”
—William Butler Yeats (1865–1939)
“To look backward for a while is to refresh the eye, to restore it, and to render it the more fit for its prime function of looking forward.”
—Margaret Fairless Barber (1869–1901)
“Imaginary pains are by far the most real we suffer, since we feel a constant need for them and invent them because there is no way of doing without them.”
—E.M. Cioran (b. 1911)
““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)