OFFSET
0,2
COMMENTS
The Fabius function F(x) is the smooth monotone increasing function on [0, 1] satisfying F(0) = 0, F(1) = 1, F'(x) = 2*F(2*x) for 0 < x < 1/2, F'(x) = 2*F(2*(1-x)) for 1/2 < x < 1. It is infinitely differentiable at every point in the interval, but is nowhere analytic.
The numeric value of F(1/3) was calculated using Wynn's epsilon method applied to a sequence of piecewise polynomial approximations to the Fabius function.
LINKS
Vladimir Reshetnikov, Table of n, a(n) for n = 0..189
Yuri Dimitrov, G. A. Edgar, Solutions of Self-differential Functional Equations, Real Anal. Exchange 32 (2006), no. 1, 29--54.
Gerald A. Edgar, Examples of self differential functions.
Jaap Fabius, A probabilistic example of a nowhere analytic C^infty-function, Probability Theory and Related Fields, Volume 5, Issue 2 (June 1966), pp. 173-174.
Wikipedia, Fabius function.
EXAMPLE
0.1801651148014819069557334359310241228679078...
MATHEMATICA
RealDigits[ResourceFunction["FabiusF"][1/3], 10, 120][[1]] (* Amiram Eldar, May 27 2023 *)
CROSSREFS
KEYWORD
AUTHOR
Vladimir Reshetnikov, Apr 26 2016
STATUS
approved