Non-analytic smooth function

Non-analytic smooth function

In mathematics, smooth functions (also called infinitely differentiable functions) and analytic functions are two very important types of functions. One can easily prove that any analytic function of a real argument is smooth. The converse is not true, with this article constructing a counterexample.

One of the most important applications of smooth functions with compact support is the construction of so-called mollifiers, which are important in theories of generalized functions, like e.g. Laurent Schwartz's theory of distributions.

The existence of smooth but non-analytic functions represents one of the main differences between differential geometry and analytic geometry. In terms of sheaf theory, this difference can be stated as follows: the sheaf of differentiable functions on a differentiable manifold is fine, in contrast with the analytic case.

The functions below are generally used to build up partitions of unity on differentiable manifolds.

Contents

Definition of the function

The non-analytic smooth function considered in the article.

Consider the function

f(x)=\begin{cases}\exp(-1/x)&\text{if }x>0,\\ 0&\text{if }x\le0,\end{cases}

defined for every real number x.

The function is smooth

The function f has continuous derivatives of all orders in all points x of the real line, given by

f^{(n)}(x) = \begin{cases}\displaystyle\frac{p_n(x)}{x^{2n}}\,f(x) & \text{if }x>0, \\ 0 &\text{if }x \le 0,\end{cases}

where pn(x) is a polynomial of degree n − 1 given recursively by p1(x) = 1 and

p_{n+1}(x)=x^2p_n'(x)-(2nx-1)p_n(x),\qquad n\in\mathbb{N}.

Outline of proof

The proof, by induction, is based on the fact that for any natural number m including zero,

\lim_{x\searrow0} \frac{e^{-1/x}}{x^m} = 0,

which implies that all f (n) are continuous and differentiable at x = 0, because

\lim_{x\searrow0} \frac{f^{(n)}(x) - f^{(n)}(0)}{x-0} = \lim_{x\searrow0} \frac{p_n(x)}{x^{2n+1}}\,e^{-1/x} = 0.

Detailed proof

By the power series representation of the exponential function, we have for every natural number m (including zero)

\frac1{x^m}=x\Bigl(\frac1{x}\Bigr)^{m+1}\le (m+1)!\,x\sum_{n=0}^\infty\frac1{n!}\Bigl(\frac1x\Bigr)^n
=(m+1)!\,x\exp\Bigl(\frac1x\Bigr),\qquad x>0,

because all the positive terms for n ≠ m + 1 are added. Therefore, using the functional equation of the exponential function,

\lim_{x\searrow0}\frac{e^{-1/x}}{x^m}
\le (m+1)!\lim_{x\searrow0}x=0.

We now prove the formula for the nth derivative of f by mathematical induction. Using the chain rule, the reciprocal rule, and the fact that the derivative of the exponential function is again the exponential function, we see that the formula is correct for the first derivative of f for all x > 0 and that p1(x) is a polynomial of degree 0. Of course, the derivative of f is zero for x < 0. It remains to show that the right-hand side derivative of f at x = 0 is zero. Using the above limit, we see that

f'(0)=\lim_{x\searrow0}\frac{f(x)-f(0)}{x-0}=\lim_{x\searrow0}\frac{e^{-1/x}}{x}=0.

The induction step from n to n + 1 is similar. For x > 0 we get for the derivative

\begin{align}f^{(n+1)}(x)
&=\biggl(\frac{p'_n(x)}{x^{2n}}-2n\frac{p_n(x)}{x^{2n+1}}+\frac{p_n(x)}{x^{2n+2}}\biggr)f(x)\\
&=\frac{x^2p'_n(x)-(2nx-1)p_n(x)}{x^{2n+2}}f(x)\\
&=\frac{p_{n+1}(x)}{x^{2(n+1)}}f(x),\end{align}

where pn+1(x) is a polynomial of degree n = (n + 1) − 1. Of course, the (n + 1)st derivative of f is zero for x < 0. For the right-hand side derivative of f (n) at x = 0 we obtain with the above limit

\lim_{x\searrow0} \frac{f^{(n)}(x) - f^{(n)}(0)}{x-0} = \lim_{x\searrow0} \frac{p_n(x)}{x^{2n+1}}\,e^{-1/x} = 0.

The function is not analytic

As seen earlier, the function f is smooth, and all its derivatives at the origin are 0. Therefore, the Taylor series of f at the origin converges everywhere to the zero function,

\sum_{n=0}^\infty \frac{f^{(n)}(0)}{n!}x^n=\sum_{n=0}^\infty \frac{0}{n!}x^n = 0,\qquad x\in\mathbb{R},

and so the Taylor series does not equal f(x) for x > 0. Consequently, f is not analytic at the origin. This pathology cannot occur with differentiable functions of a complex variable rather than of a real variable. Indeed, all holomorphic functions are analytic, so that the failure of f to be analytic in spite of its being infinitely differentiable is an indication of one of the most dramatic differences between real-variable and complex-variable analysis.

Note that although the function f has derivatives of all orders over the real line, the analytic continuation of f from the positive half-line x > 0 to the complex plane, that is, the function

\mathbb{C}\setminus\{0\}\ni z\mapsto \exp(-1/z)\in\mathbb{C},

has an essential singularity at the origin, and hence is not even continuous, much less analytic. By the great Picard theorem, it attains every complex value (with the exception of zero) infinitely often in every neighbourhood of the origin.

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 xR

f(x):=\sum_{k\in A} e^{-\sqrt{k}}\cos(kx)\ .

Since the series \sum_{k\in A} e^{-\sqrt{k}}k^n 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

f^{(n)}(x):=\sum_{k\in A} e^{-\sqrt{k}} k^n\cos(kx)  = \sum_{k\in A\atop k>q} e^{-\sqrt{k}} k^n+\sum_{k\in A\atop k\le q} e^{-\sqrt{k}} k^n\cos(kx) \ge  e^{-\sqrt{n}} n^n  + O(q^n)\quad  (\mathrm{as}\; n\to \infty)


where we used the fact that cos(kx)=1 for all k > q. As a consequence, at any such xR

\limsup_{n\to\infty} \frac{|f^{(n)}(x)|}{n!}=+\infty\, ,

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.

Smooth transition functions

The function

g(x)=\frac{f(x)}{f(x)+f(1-x)},\qquad x\in\mathbb{R},

has a strictly positive denominator everywhere on the real line, hence g is also smooth. Furthermore, g(x) = 0 for x ≤ 0 and g(x) = 1 for x ≥ 1, hence it provides a smooth transition from the level 0 to the level 1 in the unit interval [0,1]. To have the smooth transition in the real interval [a,b] with a < b, consider the function

\mathbb{R}\ni x\mapsto g\Bigl(\frac{x-a}{b-a}\Bigr).

For real numbers a < b < c < d, the smooth function

\mathbb{R}\ni x\mapsto g\Bigl(\frac{x-a}{b-a}\Bigr)\,g\Bigl(\frac{d-x}{d-c}\Bigr)

equals 1 on the closed interval [b,c] and vanishes outside the open interval (a,d).

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.[1] 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

h(x)=g(2+x)\,g(2-x),\qquad x\in\mathbb{R}.

This function h is also smooth; it equals 1 on the closed interval [−1,1] and vanishes outside the open interval (−2,2). Using h, define for every natural number n (including zero) the smooth function

\psi_n(x)=x^n\,h(x),\qquad x\in\mathbb{R},

which agrees with the monomial xn on [−1,1] and vanishes outside the interval (−2,2). Hence, the k-th derivative of ψn at the origin satisfies

\psi_n^{(k)}(0)=\begin{cases}n!&\text{if }k=n,\\0&\text{otherwise,}\end{cases}\quad k,n\in\mathbb{N}_0,

and the boundedness theorem implies that ψn and every derivative of ψn is bounded. Therefore, the constants

\lambda_n=\max\bigl\{1,|\alpha_n|,\|\psi_n\|_\infty,\|\psi_n^{(1)}\|_\infty,\ldots,\|\psi_n^{(n)}\|_\infty\bigr\},\qquad n\in\mathbb{N}_0,

involving the supremum norm of ψn and its first n derivatives, are well-defined real numbers. Define the scaled functions

f_n(x)=\frac{\alpha_n}{n!\,\lambda_n^n}\psi_n(\lambda_n x),\qquad n\in\mathbb{N}_0,\;x\in\mathbb{R}.

By repeated application of the chain rule,

f_n^{(k)}(x)=\frac{\alpha_n}{n!\,\lambda_n^{n-k}}\psi_n^{(k)}(\lambda_n x),\qquad k,n\in\mathbb{N}_0,\;x\in\mathbb{R},

and, using the previous result for the k-th derivative of ψn at zero,

f_n^{(k)}(0)=\begin{cases}\alpha_n&\text{if }k=n,\\0&\text{otherwise,}\end{cases}\qquad k,n\in\mathbb{N}_0.

It remains to show that the function

F(x)=\sum_{n=0}^\infty f_n(x),\qquad x\in\mathbb{R},

is well defined and can be differentiated term-by-term infinitely often.[2] 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.

Application to higher dimensions

The function Ψ1(x) in one dimension.

For every radius r > 0,

\mathbb{R}^n\ni x\mapsto \Psi_r(x)=f(r^2-\|x\|^2)

with Euclidean norm ||x|| defines a smooth function on n-dimensional Euclidean space with support in the ball of radius r.

See also

Notes

  1. ^ Exercise 12 on page 418 in Walter Rudin, Real and Complex Analysis. McGraw-Hill, New Dehli 1980, ISBN 0-07-099557-5
  2. ^ See e.g. Chapter V, Section 2, Theorem 2.8 and Corollary 2.9 about the differentiability of the limits of sequences of functions in Amann, Herbert; Escher, Joachim (2005), Analysis I, Basel: Birkhäuser Verlag, pp. 373–374, ISBN 3-7643-7153-6 

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Smooth function — A bump function is a smooth function with compact support. In mathematical analysis, a differentiability class is a classification of functions according to the properties of their derivatives. Higher order differentiability classes correspond to …   Wikipedia

  • Bump function — In mathematics, a bump function is a function f: {Bbb R}^n o {Bbb R} on a Euclidean space {Bbb R}^n which is both smooth (in the sense of having continuous derivatives of all orders) and compactly supported. The space of all bump functions on… …   Wikipedia

  • Non-uniform rational B-spline — Three dimensional NURBS surfaces can have complex, organic shapes. Control points influence the directions the surface takes. The outermost square below delineates the X/Y extents of the surface …   Wikipedia

  • Non-standard analysis — Abraham Robinson Gottfried Wilhelm Leibniz argued tha …   Wikipedia

  • Dirac delta function — Schematic representation of the Dirac delta function by a line surmounted by an arrow. The height of the arrow is usually used to specify the value of any multiplicative constant, which will give the area under the function. The other convention… …   Wikipedia

  • Generalized function — In mathematics, generalized functions are objects generalizing the notion of functions. There is more than one recognised theory. Generalized functions are especially useful in making discontinuous functions more like smooth functions, and (going …   Wikipedia

  • Zeta function universality — In mathematics, the universality of zeta functions is the remarkable property of the Riemann zeta function and other, similar, functions, such as the Dirichlet L functions, to approximate arbitrary non vanishing holomorphic functions arbitrarily… …   Wikipedia

  • Differentiable function — A differentiable function The absolute value function is not …   Wikipedia

  • Gamma function — For the gamma function of ordinals, see Veblen function. The gamma function along part of the real axis In mathematics, the gamma function (represented by the capital Greek letter Γ) is an extension of the factorial function, with its… …   Wikipedia

  • Taylor series — Series expansion redirects here. For other notions of the term, see series (mathematics). As the degree of the Taylor polynomia …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”