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
This function satisfies the initial condition , the symmetry condition for and the functional differential equation for It follows that is monotone increasing for with and There is a unique extension of f to the real numbers that satisfies the same equation. 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 Fabius function is constant zero for all negative arguments, and takes rational values at non-negative dyadic rationals. Those values are given by the following formula:
- Fabius, J. (1966), "A probabilistic example of a nowhere analytic C ∞-function", Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete, 5 (2): 173–174, doi:10.1007/bf00536652, MR 0197656
- Jessen, Børge; Wintner, Aurel (1935), "Distribution functions and the Riemann zeta function", Trans. Amer. Math. Soc., 38: 48–88, doi:10.1090/S0002-9947-1935-1501802-5, MR 1501802
- Dimitrov, Youri (2006). Polynomially-divided solutions of bipartite self-differential functional equations (Thesis).
- Haugland, Jan Kristian (2016). "Evaluating the Fabius function". arXiv: [math.GM].
- Arias de Reyna, Juan (2017). "Arithmetic of the Fabius function". arXiv: [math.NT].
- Arias de Reyna, Juan (2017). "An infinitely differentiable function with compact support: Definition and properties". arXiv: [math.CA]. (an English translation of the author's paper published in Spanish in 1982)
- Alkauskas, Giedrius (2001), "Dirichlet series associated with Thue-Morse sequence", preprint.
- Rvachev, V. L., Rvachev, V. A., "Non-classical methods of the approximation theory in boundary value problems", Naukova Dumka, Kiev (1979) (in Russian).
|This mathematical analysis–related article is a stub. You can help Wikipedia by expanding it.|