Weierstrass function

Wikipedia, the free encyclopedia - Cite This Source

In mathematics, the Weierstrass function is a pathological example of a real-valued function on the real line. The function has the property that it is continuous everywhere but differentiable nowhere. It is named after its discoverer Karl Weierstrass. Historically, the Weierstrass function is important because it was the first published example to challenge the notion that every continuous function was differentiable except on a set of isolated points.

Construction of the Weierstrass function

In Weierstrass' original paper, the function was defined by

$f(x)=sum\_\{n=0\}^infty\; a^ncos(b^npi\; x),$

where

$ab\; >\; 1+frac\{3\}\{2\}\; pi.$

This construction, along with the proof that it is nowhere differentiable, was first given by Weierstrass in a paper presented to the 'Königliche Akademie der Wissenschaften' on July 18, 1872.

The proof that this function is continuous everywhere is elementary. Since the terms of the infinite series which defines it are bounded by $pm\; a^n$and this has finite sum for

To prove that it is nowhere differentiable, we consider an arbitrary point $x\; in\; \{mathbb\; R\}$ and show that the function is not differentiable at that point. To do this, we construct two sequences of points $x\_n$ and $x\text{'}\_n$ which both converge to x, having the property that

$lim\; inf\; frac\{f(x\_n)\; -\; f(x)\}\{x\_n\; -\; x\}\; >\; lim\; sup\; frac\{f(x\text{'}\_n)\; -\; f(x)\}\{x\text{'}\_n\; -\; x\}.$

Naively it might be expected that a continuous function must have a derivative, or that the set of points where it is not differentiable should be 'small' in some sense. According to Weierstrass in his paper, earlier mathematicians including Gauss had often assumed that this was true. This might be because it is difficult to draw or visualise a continuous function whose set of nondifferentiablility points is something other than a finite set of points. Analogous results for better behaved classes of continuous functions do exist, for example the Lipschitz functions, whose set of non-differentiability points must be a Lebesgue null set. When we try to draw a general continuous function, we usually draw the graph of a function which is Lipschitz and has other nice properties.

The Weierstrass function could perhaps be described as one of the very first 'fractals', although this term was not used until much later. The function has detail at every level, so zooming in on a piece of the curve does not show it getting progressively closer and closer to a straight line. Rather between any two points no matter how close, the function will not be monotone. Kenneth Falconer in his book 'The Geometry of Fractal Sets', observes that the Hausdorff dimension of the classical Weierstrass function is bounded above by $frac\{log\; a\}\{log\; b\}\; +\; 2$, (where a and b are the constants in the construction above) and is generally believed to be exactly that value, but that this had not been proved rigorously.

The term Weierstrass function is often used in real analysis to refer to any function with similar properties and construction to Weierstrass' original example. For example, the cosine function can be replaced in the infinite series by a piecewise linear 'zigzag' function. G.H. Hardy showed that the function of the above construction is nowhere differentiable with the assumptions

Density of nowhere-differentiable functions

It turns out that the Weierstrass function is far from being an isolated example: although it is "pathological", it is also "typical" of continuous functions:

• in a topological sense: it can be shown that the set of nowhere-differentiable real-valued functions on [0, 1] is dense in the vector space C([0, 1]; R) of all continuous real-valued functions on [0, 1] with the topology of uniform convergence.
• in a measure-theoretic sense: when the space C([0, 1]; R) is equipped with classical Wiener measure γ, the collection of functions that are differentiable at even a single point of [0, 1] has γ-measure zero. The same is true even if one takes finite-dimensional "slices" of C([0, 1]; R): the nowhere-differentiable functions form a prevalent subset of C([0, 1]; R).

References

• B.R. Gelbaum and J.M.H. Olmstead, Counterexamples in Analysis, Holden Day Publisher (June 1964).
• Karl Weierstrass, Über continuirliche Functionen eines reellen Arguments, die für keinen Werth des letzeren einen bestimmten Differentialquotienten besitzen, Collected works; English translation: On continuous functions of a real argument that do not have a well-defined differential quotient, in: G.A. Edgar, Classics on Fractals, Addison-Wesley Publishing Company, 1993, 3-9.
• G.H. Hardy, Weierstrass's nondifferentiable function, Trans. Amer. Math. Soc., 17(1916), 301-325.
• K. Falconer, The Geometry of Fractal Sets, Oxford (1984).

External links

• Weierstrass function on MathWorld
• Nowhere differentiable continuous function proof of existence using Banach's Contraction Principle.
• Nowhere monotonic continuous function proof of existence using the Baire Category Theorem.
• Johan Thim Continuous Nowhere Differentiable Functions. Master Thesis Lulea Univ of Technology 2003. .
• Weierstrass function in the complex plane Beautiful fractal.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Thursday March 13, 2008 at 07:47:01 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation