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:
“Nations are possessed with an insane ambition to perpetuate the memory of themselves by the amount of hammered stone they leave. What if equal pains were taken to smooth and polish their manners?”
—Henry David Thoreau (1817–1862)
“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)
“Without words to objectify and categorize our sensations and place them in relation to one another, we cannot evolve a tradition of what is real in the world.”
—Ruth Hubbard (b. 1924)
““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)