Fabius function

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Graph of the Fabius function on the interval [0,1].
Extension of the function to the nonnegative real numbers.

In mathematics, the Fabius function is an example of an infinitely differentiable function that is nowhere analytic, found by Jaap Fabius (1966).

The Fabius function is defined on the unit interval, and is given by the probability distribution of

where the ξn are independent uniformly distributed random variables on the unit interval.

This function satisfies the functional equation f(x) = 2f(2x) for 0 ≤ x ≤ 1/2; here f denotes the derivative of f. There is a unique extension of f to the nonnegative real numbers which satisfies the same equation. This extension can be defined by f(x + 1) = 1 − f(x) for 0 ≤ x ≤ 1 and f(x + 2r) = −f(x) for 0 ≤ x ≤ 2r with r a positive integer. The sequence of intervals within which this function is positive or negative follows the same pattern as the Thue–Morse sequence.