Fabius function

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

This function satisfies the initial condition

and the functional differential equation for

It was also written down as the Fourier transform of by Børge Jessen and Aurel Wintner (1935).

The Fabius function is defined on the unit interval, and is given by the cumulative distribution function of where the ξn are independent uniformly distributed random variables on the unit interval.

There is a unique extension of f to the real numbers that satisfies the same differential equation for all x.

This extension can be defined by f (x) = 0 for x ≤ 0, 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.

The Rvachev up function is closely related: up(x) = F(1 - |x|) for |x| ≤ 1.

The Fabius function is constant zero for all non-positive arguments, and assumes rational values at positive dyadic rational arguments.

For example:[1][2] with the numerators listed in OEIS: A272755 and denominators in OEIS: A272757.

This mathematical analysis–related article is a stub.