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:
“Black water, smooth above the weir
Like starry velvet in the night,
Though ruffled once, would soon appear
The same as ever to the sight.”
—Edwin Arlington Robinson (1869–1935)
“The art of living is to function in society without doing violence to one’s own needs or to the needs of others. The art of mothering is to teach the art of living to children.”
—Elaine Heffner (20th century)
“Perpetual modernness is the measure of merit, in every work of art; since the author of it was not misled by anything short- lived or local, but abode by real and abiding traits.”
—Ralph Waldo Emerson (1803–1882)
““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)