arxiv: v3 [math.nt] 1 Jun 2017

Transcription

1 ARITHMETIC OF THE FABIUS FUNCTION J. ARIAS DE REYNA arxiv: v3 [math.nt] 1 Jun 17 Abstract. The Fabius function F (x takes rational values at dyadic points. We study the arithmetic of these rational numbers. In particular, we define two sequences of natural numbers that determine these rational numbers. Using these sequences we solve a conjecture raised in MathOverflow by Vladimir Reshetnikov. We determine the dyadic valuation of F ( n, showing that ν (F ( n = ( n ν (n! 1. We give the proof (Proposition 1 of a formula that allows an efficient computation of exact or approximate values of F (x. The Fabius function was defined in 1935 by Jessen and Wintner and has been independently defined at least six times since. We attempt to unify notations related to the Fabius function. 1. Introduction. The Fabius function is a natural object. It is not surprising that it has been independently defined several times. As far as known it was defined independently in the following cases: (1 In 1935 by B. Jessen and A. Wintner [5, Ex. 5, p. 6] (English. In five lines they showed that it is infinitely differentiable. ( In 1966 by J. Fabius [] (English; considered as the distribution function of a random variable. (3 In 1971 by V. A. Rvachëv [9] (Ukrainian; defined as a solution to the equation y (x = (y(x + 1 y(x 1. (4 In 1981 by G. Kh. Kirov and G. A. Totkov [6] (Bulgarian. (5 In 198 by J. Arias de Reyna [1] (Spanish; defined in the same way as V. A. Rvachëv. (6 In 1985 by R. Schnabl [14] (German. Today there are many papers dealing with the Fabius function, due mainly to V. A. Rvachëv [9] [13], (a summary of his result can be found in [13]. Recently [1] has been translated to English and posted in arxiv: In this paper the function is defined and its main properties are proven. The function up(x takes rational values at dyadic points [1]. 1 The object of this paper are the arithmetical properties of these rational values. Some of the results are also contained in [1]. In particular, we solve here a question posed in MathOverflow by Vladimir Reshetnikov. Date: June 13, This Russian paper was not accessed directly. Rather, it came to notice through the works of V. A. Rvachëv [13]. In [1] it was independently proved that the values of up(k/ n are rational numbers. 1

2 J. ARIAS DE REYNA 1.1. Some notations. We consider two functions. Firstly, the Rvachëv function up(x with support in [ 1, 1] that satisfies on all R equation (. V. A. Rvachëv denotes it by up(x; it is the same function that is called ϕ(x in the translation of [1]. Secondly, the Fabius function F (x, defined by Fabius, that satisfies F (x = F (x for x >. This function coincides with the function θ(x in [1], except that in [1] it is defined on all of R, putting F (x = for x <. Therefore F (x = F (x is true for all x R. There is a connection between these two functions (see [1, Theorem 4]. Specifically, (1 F (x = ( 1 w(n up(x n 1, n= where w(n is the sum of the digits of n expressed in base. F (x O x The Fabius function F : [, 1] [, 1] is increasing with F ( = and F (1 = 1. Rvachëv s function up: R R can be defined in terms of F (t by F (t + 1 for 1 t, up(t = F (1 t for t 1, for t > 1. The function up(t is an infinitely differentiable function of compact support [ 1, 1]. The relation with the Fabius function is only given for reference. The function up(t has a nice independent definition, see Theorem 1 in [1]. We use w(n to denote the sum of the digits of n expressed in binary notation. We use ν (r is the dyadic valuation of the rational number r, the exponent of in the factorization of r. We will define two sequences of rational numbers. Firstly, (c n the moments of Rvachëv s function up(x. Secondly, (d n the half moments of Rvachëv s function. These are also related to the values of the Fabius function F (x, see equation (1. There are two sequences of natural numbers associated to these rational numbers: F n associated to the moments c n, and G n associated to the half moments. A further two sequences are Reshetnikov s numbers R n, and the sequence D n of the common denominators of the values F (a/ n of the Fabius function at dyadic numbers with denominator n.. Properties of the Fabius function. The Fabius function up(x is a simple infinitely differentiable function of compact support. Visualising it as a bump function, it increases from to a certain value and then decreases symmetrically to. Its derivative is positive in the first interval

3 ARITHMETIC OF THE FABIUS FUNCTION 3 and then negative in the next. Therefore it may be that the derivative is obtained from two homothetically deformed copies of the function. In fact up(x is infinitely differentiable of compact support equal to [ 1, 1], and for all x R satisfies the equation up (x ( up (x = ( up(x + 1 up(x 1, with up( = 1. The number is the only factor giving an interesting solution to the equation. The Fabius function (1 appears when one attempts to compute the derivatives up (n (x. We have F (x = F (x for all x R. Therefore ([1, eq. (] 1 up(x O 1 x (3 F (k (x = (k+1 F ( k x, and (4 up (n (x = (n+1 F ( n (x + 1, 1 x 1. Its Fourier transform is an entire function sin(πz/ n (5 ûp(z = πz/ n. n= The inversion formula yields the following expression (6 up(x = ûp(te πitx dt. R 3. The values of the Fabius function and two sequences of rational numbers The sequence of rational numbers c n. The Fourier transform ûp(z is an entire function. In [1, eq. (4 and (6] it is shown that (7 ûp(z = n= sin(πz/ n πz/ n = ( 1 n c n (n! (πzn. These coefficients c n are very important for the study of the Fabius function. They are given by the integrals [1, eq. (34] (8 c n = t n up(t dt, and satisfy the recurrence [1, eq. (7] (9 (n + 1 n c n = R n= n ( n + 1 c k. The next Proposition is contained in [1] but is a little cryptic, so it is expanded here. k=

4 4 J. ARIAS DE REYNA Proposition 1. The numbers c n satisfy the recurrence n 1 ( n + 1 (1 c = 1, (n + 1( n 1c n = c k. For any natural number n we have (11 c n = where F n are natural numbers. F n (n + 1!! k= ( ν 1 1, Proof. The last term in the sum of (9 is equal to (n + 1c n. We obtain (1 from (9 by adding (n + 1c n to both sides. We have c = ûp( and this is equal to 1. Then the recurrence can be used to compute the numbers: 1, ν=1 1 9, , , , , ,... The recurrence shows that c n for all n. Equation (11 follows from the definition (1 F n := c n (n + 1!! ( ν 1. It remains to show that the numbers F n are natural. We understand that an empty product is equal to 1, so that F = 1. For n 1 substituting (11 in the recurrence (1 yields, for n 1, n 1 F n ( ν 1 1 = (n 1!! ν=1 ν=1 n 1 ( n + 1 k= so that n 1 ( n + 1 (n 1!! (13 F n = F k ( + 1!! k= n 1 ν=k+1 F k ( + 1!! k ( ν 1 1, ν=1 ( ν 1, n 1. This expression for F n shows by induction that all the F n are natural numbers. The first F n s are 1, 1, 19, 915, , , , , Relation to values of the Fabius function. Notice that F ( n = up(1 n. In [1, Theorem 6] it is shown that (14 n x n 1 up(x dx = n! (n up(1 n. Since up(x is an even function, it follows that (15 c n = x n up(x dx = (n! (n+1 up(1 n 1.

5 ARITHMETIC OF THE FABIUS FUNCTION 5 Therefore, as noticed in [1] we have (16 (n+1 F ( n 1 = up(1 n 1 F n = (n! (n + 1(n 1 1 ( 1 1. The values of F ( n = up(1 n depend of another interesting sequence of rational numbers The sequence of rational numbers d n. The sequence of numbers d n is introduced in [1, eq.(38 and (39] as the coefficients of the power series d n (17 f(x = n! xn satisfying n= (18 f(x = ex 1 f(x. x So these numbers are defined also by the recurrence [1, eq. (4] n 1 ( n + 1 (19 d = 1, (n + 1( n 1d n = d k. k The d n are connected with up(t in [1, eq. (36]. It is shown there that the function ( ( f(x := 1 + x up(te xt dt = e x ix ûp 4π k= satisfies (18. We give the simple proof that was omitted in [1]. Proposition. Let f be defined as in (, then we have (18. Proof. The functional equation ( of up(t implies for the Fourier transform that Therefore ( ix f(x = e x ûp π By ( we have ûp(z = = e x sin(ix/ ûp ix/ f(x = 1 + x sin πz πz ûp(z/. ( ix = e x 4π n= x n n! e x/ e x/ i(ix/ t n up(t dt. f(x = ex 1 f(x. x So, equating the coefficients of equal powers with the expansion (17 we obtain [1, eq. (4] (1 d n = n Together with [1, eq. (33] this yields t n 1 up(t dt. ( d n = n! (n up(1 n = n! (n F ( n.

6 6 J. ARIAS DE REYNA The values of the d n can be computed easily applying the recurrence (19. The first terms are 1, 1, 5 18, 1 6, , 19 7, , , , , ,... Proposition 3. The values of d n can be computed in terms of c n : (3 d n = 1 ( n n c k. k= Proof. For n = we have c = d = 1 and (3 is trivial in this case. For n 1 we have the following computation d n = n = t n 1 up(t dt = t n( up(t+1 up(t 1 dt = = 1 n n k= 1 up(t d(t n = t n up(t t=1 t= t n up(t 1 dt = ( n up(xx k dx = 1 ( n k n h h n/ t n up (t dt 1 ( x + 1 n up(x dx up(xx h dx = 1 n h n/ ( n c h. h As in the case of the c n, there is a sequence of natural numbers hiding in d n. Proposition 4. There is a sequence of natural numbers (G n such that (4 d n = G n ( k 1 1. (n + 1! Proof. For n define G n by the equation (4. The recurrence (19 then implies n 1 ( n 1 n + 1 n! G n = G k ( j 1, n 1. k (k + 1! k= j=k+1 By induction we obtain that all the G n are natural numbers. The first numbers G n starting from n = are 1, 1, 5, 84, 4 4, , , , ,... By ( we obtain the explicit value (5 F ( n = up(1 n = (n Gn n! (n + 1! Equations (16 and (5 yields (6 G n+1 n + 1 = n (n + 1!F n So that (n + 1F n G n+1. ( k 1 1, n. ( +1 1, n. k=

7 ARITHMETIC OF THE FABIUS FUNCTION 7 4. Reshetnikov question. Recently Vladimir Reshetnikov posed a question (question in MathOverflow about Fabius function. The results in [1] makes it easy to answer. Note that [1] has been translated to English and posted it in arxiv (English version arxiv: We refer to this paper for some of the results. The question of Reshetnikov is the following: Question 5 (V. Reshetnikov. For any natural number n define the numbers (7 R n = (n 1 (n! F ( n ( m 1. It is true that all R n are natural numbers? m=1 The first R n (starting from n = 1 certainly are: 1, 5, 15, 1 1, 5 985, , , , ,... Applying some of the results in [1] we will show that in fact all R n are natural numbers. In Section 6 we consider the problem of the computation of the exact values of the function F (x at dyadic points. This will allows us to state another conjecture related to this conjecture of Reshetnikov. 5. Answer to Reshetnikov s question. Reshetnikov s numbers can be computed in terms of the d n. This will be essential in the solution of Reshetnikov s question. Proposition 6. For all n 1 we have (8 R n = d n (n 1!! ( 1. Proof. In the definition (7 of the R n substitute the value of F ( n obtained from (. First we consider the odd case. Theorem 7. For all n the number R n+1 is an integer multiple of F n. Proof. Since up is an even function, we have by (1 d n+1 = (n + 1 t n up(t dt = n + 1 c n. Therefore by (8 R n+1 = d n+1 (4n + 1!! ( 1 = (n + 1c n (4n + 1!! ( 1. By (11 R n+1 = F n (n 1!! ν=1 ( ν 1 1 (4n + 1!! ( 1.

8 8 J. ARIAS DE REYNA Simplifying (9 R n+1 = F n (4n + 1!! (n 1!!. So that R n+1 is a natural number and F n R n+1. Proposition 8. For n 1 we have (3 R n = n k= F k n ( n (4n 1!! ( + 1!! l=k+1 so that the denominator of R n can be only a power of. Proof. By (3 and (8 we have R n = d n (4n 1!! so that by (11 R n = k= ( l 1 = l=1 n n k= n ( n F k n (4n 1!! ( + 1!! ( n ( l 1, c k (4n 1!! ( l 1, l=1 k n ( r 1 1 ( l 1. Simplifying we obtain (3. Since the factor (4n 1!! (+1!! is an integer in (3 the assertion about the denominator follows. r=1 Theorem 9. For all n the number R n is a natural number. Proof. By Theorem 7 it remains only to prove that R n is a natural number. For a rational number r let ν (r be the exponent of in the prime decomposition of r. By Proposition 8, R n is a natural number if and only if ν (R n. By (8 we have ν (R n = ν (d n. We will show by induction that ν (d n and this will prove the Theorem. Since the numbers F n are natural, (9 implies that ν (d n+1 = ν (R n+1. We have ν (d = ν ( = 1. For any other even number we use induction. By (19 we have for n 1 (31 (n + 1( n 1d n = Hence n 1 k= ( ν (d n = ν (n + 1( n (n 1 1d n = ν ( n + 1 k= k d k. ( n + 1 k l=1 d k, n 1. By induction hypothesis ν (d k for k n 1. It follows that ν (d n for all n 1.

9 ARITHMETIC OF THE FABIUS FUNCTION 9 6. Computation of up(m/ n. At dyadic points t = m/ n the function takes rational values. This was proved in [1, Th. 9], where a procedure to compute these values was given. In [1] it was desired to express up(q/ n in terms of up(1 k 1. This was achieved by substituting c k in terms of up(1 k 1. This is correct, but for computations it is preferable not to make this last substitution. In this way the formula in [1, Thm. 7] can be written (n+1 up(q n q+ n 1 = n! h= ( 1 w(h k= ( n ((q h + n+1 1 n ck. This is valid for n q n. The sum in h has few terms for q near n. Therefore since up(1 x = up( 1 + x we obtain, with q = a n, (n+1 (3 F ( a = up(1 a n = n n! a 1 ( 1 w(h h= k= ( n (a h 1 n c k. The numbers c k can be computed with the recurrence (1. This equation, together with up(t + up(1 t = 1 for t 1, allows one to easily compute the values at dyadic points. Another way has been proposed by Haugland recently [4]. Notice also that our formula can be written as follows (n+1 (33 up(1 a = n n! k= ( n c k a 1 ( 1 w(h (a h 1 n. Equation (33 show that the values at dyadic points of up(x, and therefore also those of F (x, are rational numbers. In principle it allow the explicit computation of up(a/ n and therefore of F (a/ n for all integers a. Nevertheless there is a better way to compute the function. It is thought that this better method is due to V. A. Rvachëv, brought to attention by V. Reshetnikov. He posted a solution to a question of Pierrot Bolnez about how to compute F (x. Reshetnikov s answer consists of a program in Mathematica to compute the function. The program has been reverse engineered, and proved the relevant result. At other point Reshetnikov cites Rvachëv and says that he thinks it is not translated to English. So a proof of the formula on which the method is based can be useful. We need a Lemma. Lemma 1. Let x > be a real number and let k be the unique integer such that k x < k+1. Then for any non negative integer n we have (34 k (x t n F (n+1 (t dt = y h= Proof. Putting t = k (1 + u in the integral we obtain k (x t n F (n+1 (t dt = k (y t n F (n+1 (t dt, with y = x k. k y Letting a = k y, we have a < 1 and we obtain k (x t n F (n+1 (t dt = k(n+1 (y k u n F (n+1 ( k (1 + u du. a (a u n F (n+1 ( k (1 + u du.

10 1 J. ARIAS DE REYNA Differentiating F (k (x = (k+1 F ( k t repeatedly we obtain F (k+n+1 (t = (k+1 k(n+1 F (n+1 ( k t. It follows that a k(n+1 (a u n F (n+1 ( k (1 + u du = (k+1 a (a u n F (k+n+1 (u + 1 du. When < u < a we have 1 < u + 1 <. For < x < we have by definition F (x = up(x 1. Therefore F (x = up(x 1 up(x 3. This implies for < u < 1 that F (u = up(u 1 and F (u + 1 = up(u 1 = F (u Hence (k+1 a (a u n F (k+n+1 (u + 1 du = (k+1 It only remains to reverse our steps. We have (k+1 a (a u n F (k+n+1 (u du = a a (a u n F (k+n+1 (u du (a u n k(n+1 F (n+1 ( k u du y (y v n F (n+1 (v dv Proposition 1. Let x > be a real number. Let n be the unique integer such that n x < n+1 and put y = x n. Then we have (35 F (x = F (y + (k+1 ( n k d n k y k (n k! k!, where the sum is when n <. k n Proof. We use Taylor s Theorem with integral rest F (x = F (y + n = F (k ( n y k + k! k N (x t N N! n F (N+1 (t dt. When n <, the number n is an even natural number. For k the derivative F (k ( n =. So that for any N, By Lemma (1, (x t N N! n F (x = (x t N N! n y F (N+1 (t dt = F (N+1 (t dt (x t N F (N+1 (t dt. N! Again, by Taylor s Theorem, applied at the point where all derivatives are also =, this is equal to F (y as we wanted to prove. For n we apply again Taylor s Theorem with N = n. In this case F (x = F (y + n = Lemma (1 gives us (x t n n! n k n F (k ( n y k + k! y F (n+1 (t dt = (x t n n! n F (n+1 (t dt. (y t n F (n+1 (t dt = F (y. n!

11 ARITHMETIC OF THE FABIUS FUNCTION 11 The last equality using Taylor s Theorem at the point t = where all derivatives of F are equal to. To finish the proof notice that by (3 and ( we have for k n, F (k ( n = (k+1 F ( k n = (k+1 d n k (n k! (n k. Remark 11. Notice that Proposition 1 reduces the computation of F (x to that of F (y. If x is dyadic a repeated use ends in F (. The number of steps being merely the number of 1 in the dyadic representation of x. If x is not dyadic a finite number of steps reduce the computation to that of F (y for some y small enough so that F (y is less than the absolute error requested. This procedure is implemented by Reshetnikov in his answer to Pierrot Bolnez question in Mathematica StackExchange. 7. The least common denominator of up(a/ n. Reshetnikov s conjecture tries to determine the denominator of the dyadic number F ( n. It is more natural to consider the common denominator D n of all numbers F (a/ n where a is an odd number. This is a finite number because we only have to consider the case of a = + 1 for k =, 1,..., n 1 1. Therefore we define as follow. Definition 1. Let D n be le least common multiple of the denominators of the fractions up( +1 n with n < + 1 n. The first D n starting from D = 1 are 1,, 7, 88, 73 6, , , , , , , , , , ,... Theorem 13. For any natural number n 1 and any integer n < a < n the number (36 up( a n! (n+1 n ( + 1!! ( 1 is natural. Equivalently D n divides the number n! (n+1 ( + 1!! ( 1. Proof. By (3 we know that up( a n n! (n+1

12 1 J. ARIAS DE REYNA is a linear combination with integer coefficients of the rational numbers c k with k n/. We have c = 1 and, for n 1, by (11 the numbers F k = c k ( + 1!! k ( r 1 r=1 are natural. Therefore, if m = then all the numbers m c k (m + 1!! ( r 1, k n/, r=1 are natural. It follows that the number in (36 is an integer. Since it is also positive it is a natural number. Remark 14. Theorem 13 applies to any a and not only for n 1 as in Reshetnikov s conjecture. The power of is better in Reshetnikov s conjecture than in Theorem 13, but for other primes Theorem 13 is better than Reshetnikov s conjecture. It is thought that the power of can be improved in Theorem 13. Proposition 15. For any natural number n the number D n is a multiple of the denominator of d n /( (n n!. Proof. This follows directly from equation ( and the definition of D n, since D n is a multiple of the denominator of up(1 n. The quotients D n / den(d n /( (n n! for 1 n 17 are 1, 1, 1, 1, 1, 5, 1, 1, 1, 5, 1, 1, 1, 55, 1, 13, 11,... Conjecture 16. The following appear to be true: (a The quotient A n = (n Dn satisfies A n = A n+1 for n 1. (b Let K n = A n 1 for n 1, so that by (a we have K 1 = A 1, and for n K n = (n 1 Dn 1 = (n Dn. Then (n 1! divides K n. (c The quotients H n = Kn (n 1! are odd integers. The first few H n starting from H 1 = 1 are 1, 3, 135, 8 55, , , , , ,... If these conjectures are true we obtain for n 1 D n 1 = 1+(n 1 (n 1! Hn, D n = 1+(n (n + 1! Hn On the nature of the numbers d n. In this Section we show that the numerator and denominator of d n are odd numbers. We have noticed in the proof of Theorem 9 that ν (d n = ν (R n. So that by equation (9 it follows that ν (d n+1 = ν (F n. We will show now that the numbers F n are odd. This will prove our result for d n when n is an odd number. For this proof we will use Lucas s Theorem [3].

13 ARITHMETIC OF THE FABIUS FUNCTION 13 Theorem 17 (Lucas. Let p be a prime and n and k two positive integers that we write as n = n + n 1 p + n p + + n a p a, in base p. Then we have the congruence ( ( ( n na n k k a k = k + k 1 p + k p + + k a p a, n j, k j < p k ( ( n1 n k 1 k (mod p. From Lucas s Theorem we get the following application: Proposition 18. (a For n 1 the cardinal of odd combinatory numbers ( n+1 with k n is exactly w(n. (b For n 1 the number of odd combinatory numbers ( n+1 k with k n+1 is w(n+1. Proof. Let the binary expansion of n be ε r ε r 1... ε, that is, n = ε r r + ε r 1 + ε, with ε j {, 1}. The expansion of n + 1 is ε r ε r 1... ε 1. If ( n+1 is odd k n, then k r+1. Hence its binary expansion is of the form k = δ r δ. Therefore Lucas s Theorem says that ( ( ( ( n + 1 εr ε 1 (mod δ r δ ( = 1 for any value of δ. So n+1 Here each factor ( ( 1 = and each factor 1 δ 1 is equivalent to saying that δ j = when ε j =. Therefore the number of odd combinatory numbers is m, where m is the number of digits equal to 1 in the expansion of n. But this is to say m = w(n. The second assertion can be proved in the same way. Proposition 19. All the numbers F n are odd. Proof. We have F = F 1 = 1. We proceed by induction assuming that we have proved that all F k are odd numbers for k n 1. Equation (13 gives F n as a sum ( of terms. Each term is a product of an odd number for a combinatory number n+1, with k running on k n 1. The missing combinatory number (that is, for k = n is ( n+1 n = n + 1 is an odd number. So, by Proposition 18, the term adding to F n are even except for w(n 1 of them. Since w(n 1 this implies that F n is odd. Theorem. For all n 1 we have ν (d n =, that is, the rational number d n is the quotient of two odd numbers. Proof. We have seen that F n is an odd number and that this implies ν (d n+1 =. So we only need to show this for d n and n 1 (notice that d =, so that ν (d = 1. We have shown (Theorem 9 that R n are integers. By Proposition 6 there is an odd number N n = (n 1!! ( 1, such that d n N n = R n is an integer. It is easy to see that for k n we have N k N n. Therefore for all 1 k n we have d k N n is an integer.

14 14 J. ARIAS DE REYNA We proceed by induction, assuming we have proved that ν(d k = for 1 k < n and we have to show that ν (d n =. We multiply (31 for n 1 by N n and obtain ( ν (d n = ν (n + 1( n (n 1 ( n + 1 1d n N n = ν d k N n k By the induction hypothesis d k N n is an odd natural number for 1 k n 1 and it is even for k =. So we only need to show that there are an odd number of odd combinatory numbers ( n+1 k with 1 k n 1. This follows easily from Propostition 18. k= Theorem 1. The number R n is odd for n 1. Or equivalently ( (37 ν up(1 n ( n = 1 ν (n!. Proof. We have seen that d n is a quotient of two odd numbers and R n is a natural number. Therefore equation (8 implies that R n is an odd number. Equation ( yields ( n ( = ν (d n = 1 + ν (n! + + ν up(1 n. 9. Relation with Bernoulli numbers. The numbers c n and d n are related to Bernoulli numbers. Perhaps this may be useful to solve Conjecture 16. Proposition. The numbers d n and c n are given by the recurrences 1 n ( n (38 c = 1, c n = n n ( B c n k, 1 and (39 d = 1, d n = nn n 1 d n 1 1 n 1 ( n n B d n, where B k are Bernoulli numbers B = 1, B 1 = 1, B = 1 6, B 3 =,... Proof. By (7 and (18 the functions ûp(z = ( 1 n c n (n! (πzn, and f(x = n= satisfy the equations πz sin πz ûp(z = ûp( z, Using the well known power series πz sin πz = 1 + ( 1 n+1 B n( n (πz n, (n! n=1 n= x e x f(x = f(x. 1 d n n! xn x e x 1 = n= B n n! xn and equating coefficients of the same power of the variable we obtain our recurrences.

15 ARITHMETIC OF THE FABIUS FUNCTION 15 References [1] J. Arias de Reyna, Definición y estudio de una función indefinidamente diferenciable de soporte compacto, Rev. Real Acad. Cienc. Exact. Fís. Natur. Madrid 76 (198, no. 1, 1 38 (Spanish. English version arxiv: MR [] J. Fabius, A probabilistic example of a nowhere analytic C -function, Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 5 (1966, (1966, DOI 1.17/BF MR [3] N. J. Fine, Binomial coefficients modulo a prime, Amer. Math. Monthly 54 (1947, , DOI 1.37/345. MR357 [4] J. K. Haugland, Evaluating the Fabius function, arxiv: (16. [5] B. Jessen and A. Wintner, Distribution functions and the Riemann zeta function, Trans. Amer. Math. Soc. 38 (1935, [6] G. Kh. Kirov and G. A. Totkov, Distribution of zeros of derivatives of the function λ(x, Godishnik Vissh. Uchebn. Zaved. Prilozhna Mat. 17 (1981, no. 4, (Bulgarian, with English and Russian summaries. MR7573 [7] V. M. Kolodyazhny and V. A. Rvachëv, On some elementary orthogonal wavelet systems, Dopov. Nats. Akad. Nauk Ukraïni (1995, (Ukrainian. MR [8] V. M. Kolodiazhny and V. A. Rvachëv, On the construction of Y. Meyer wavelets using up(x function, Dopov./Dokl. Akad. Nauk Ukraïni 1 (1993, 18 4 (English, with Russian and Ukrainian summaries. MR19481 [9] V. L. Rvachev and V. A. Rvachëv, A certain finite function, Dopovīdī Akad. Nauk Ukraïn. RSR Ser. A (1971, 75 77, 764 (Ukrainian, with English and Russian summaries. MR9637 [1] V. A. Rvachëv, Certain functions with compact support, and their applications, Mathematical physics, No. 13 (Russian, Naukova Dumka, Kiev, 1973, pp , 194 (Russian. MR33388 [11], An orthonormal system on the basis of the function up(x, Mathematical analysis and probability theory (Russian, Naukova Dumka, Kiev, 1978, pp , (Russian. MR55591 [1], Approximation by means of the function up(x, Dokl. Akad. Nauk SSSR 33 (1977, no., (Russian. MR44798 [13], Compactly-supported solutions of functional-differential equations and their applications, Uspekhi Mat. Nauk 45 (199, no. 1(71, 77 13, (Russian; English transl., Russian Math. Surveys 45 (199, no. 1, MR1598 [14] R. Schnabl, Über eine C -Funktion, Zahlentheoretische Analysis, Lecture Notes in Math., vol. 1114, Springer, Berlin, 1985, pp (German, with English summary. MR1318 [15] Karl R. Stromberg, Probability for analysts, Chapman & Hall Probability Series, Chapman & Hall, New York, Lecture notes prepared by Kuppusamy Ravindran. MR Univ. de Sevilla, Facultad de Matemáticas, c/ Tarfia, sn, 411-Sevilla, Spain address: arias@us.es