Asymptotic formula for the moments of Lebesgue’s singular function

E. A. Timofeev

Modelirovanie i analiz informacionnyh sistem, Tome 22 (2015) no. 5, pp. 723-730.

Résumé

Recall Lebesgue's singular function. Imagine flipping a biased coin with probability $p$ of heads and probability $q=1-p$ of tails. Let the binary expansion of $\xi\in[0,1]$: $ \xi = \sum_{k=1}^{\infty}c_k2^{-k}$ be determined by flipping the coin infinitely many times, that is, $c_k =1$ if the $k$-th toss is heads and $c_k =0$ if it is tails. We define Lebesgue's singular function $L(t)$ as the distribution function of the random variable $\xi$: $$ L(t) = Prob\{\xi t\}. $$ It is well-known that $L(t)$ is strictly increasing and its derivative is zero almost everywhere ($p\ne q$). The moments of Lebesque' singular function are defined as $$ M_n = \mathsf{E}\xi^n. $$ The main result of this paper is the following: $$ M_n = O(n^{\log_2 p}). $$

Détail

Mots-clés : moments, Lebesgue’s function
Keywords: self-similar, singular, Mellin transform, asymptotic.

Bibliographie

[1] Flajolet P., Sedgewick R., Analytic Combinatorics, Cambridge University Press, 2008 | MR

[2] Lomnicki Z., Ulam S. E., “Sur la theorie de la mesure dans les espaces combinatoires et son application au calcul des probabilites. I: Variables independantes”, Fundamenta Mathematicae, 23:1 (1934), 237–278

[3] Salem R., “On some singular monotonic functions which are strictly increasing”, Trans. Amer. Math. Soc., 53:3 (1943), 427–439 | DOI | MR | Zbl

[4] De Rham G., “On Some Curves Defined by Functional Equations”, Classics on Fractals, ed. Gerald A. Edgar, Addison-Wesley, 1993, 285–298

[5] Szpankowski W.,, Average Case Analysis of Algorithms on Sequences, John Wiley Sons, New York, 2001 | MR

[6] Gradstein I. S., Ryzhik I. M., Table of integrals, Series, and Products, Academic Press, 1994

[7] Timofeev E. A., “Bias of a nonparametric entropy estimator for Markov measures”, Journal of Mathematical Sciences, 176:2 (2011), 255–269 | DOI | MR | Zbl