Sign-changes of the Thue-Morse fractal function and Dirichlet \(L\)-series
type: Item
instance of: scholarly article
title: Sign-changes of the Thue-Morse fractal function and Dirichlet \(L\)-series
zbMATH Open document ID: 0828.11013
DOI: 10.1007/BF02568009
author: Mariusz Skałba
author: Michael Drmota
published in: Manuscripta Mathematica
publication date: 1996-01-07T00:00:00Z
full work available at URL: https://eudml.org/doc/156069
review text: Denoting by \(s(n)\) the sum of the binary digits of \(n\), the intriguing sequence \((- 1)^{s(3n)}\) has been studied by Newman, Newman and Slater, and Coquet who successively proved that \(\sum_{0 \leq n \leq N - 1} (- 1)^{s(3n)}\) is strictly positive, then of the order of \(N^{\log 3 \over \log 4}\) and finally that \[ \sum_{0 \leq n \leq N - 1} (- 1)^{s(3n)} = N^{{\log 3 \over \log 4}} \psi \left( {\log N \over \log 4} \right) + O(1) \] where \(\psi\) is a function of period 1, continuous and nowhere differentiable. Furthermore \(\psi\) is strictly positive [see \textit{J. Coquet}, Invent. Math. 73, 107-115 (1983; Zbl 0528.10006)]. Many works have been devoted to trying to generalize these statements to sums \(\sum_{0 \leq n \leq N - 1} (-1)^{s(pn + b)}\), where \(p\) is a prime number. In particular an expression analogous to Coquet's has been obtained for \(b=0\) and if 2 is a primitive root modulo \(p\) by \textit{S. Goldstein}, \textit{K. A. Kelly} and \textit{E. R. Speer} [J. Number Theory 42, 1-19 (1992; Zbl 0788.11010)]. The authors of the paper under review prove that if 2 is a primitive root modulo \(p\), with \(p \neq 3,5\), or if 2 generates all squares modulo \(p\), with \(p \neq 17, 41\) then \(\sum_{0 \leq n \leq N - 1} (-1)^{s(pn)}\) takes both positive and negative values. Furthermore they give fine results for the zeroes of the analogues of Coquet's \(\psi\), study briefly sums \(\sum (-1)^{s(pn + i}\) and the twisted sum \(\sum(-1)^{s(n)} {n + 1 \choose p}\), where \({n+1\choose p}\) is the Legendre symbol.
Mathematics Subject Classification ID: 11B85
Mathematics Subject Classification ID: 11M06
Mathematics Subject Classification ID: 28A80
zbMATH DE Number: 784056
zbMATH Keywords: sum of digits
zbMATH Keywords: Thue-Morse sequence
zbMATH Keywords: fractal functions
zbMATH Keywords: Dirichlet \(L\)- series
reviewed by: Jean-Paul Allouche
MaRDI profile type: Publication
cites work: The determination of Gauss sums
cites work: A summation formula related to the binary digits
cites work: Q3315572
cites work: Q3714302
cites work: Mellin transforms and asymptotics: Digital sums
cites work: The fractal structure of rarefied sums of the Thue-Morse sequence
cites work: Completely q-multiplicative functions: the Mellin transform approach
cites work: Q3939864
cites work: On the Number of Binary Digits in a Multiple of Three
cites work: Q5181775
cites work: Q3943047
OpenAlex ID: W2001305816
Recommended article: Q4946949
Recommended article: On the correlation of the sum of digits along prime numbers
Recommended article: Q4763192
Recommended article: On the sum of digits functions for number systems with negative bases
Recommended article: Möbius orthogonality for the Zeckendorf sum-of-digits function
Recommended article: Q5463509
Recommended article: Digital sums and functional equations
Recommended article: Q3211409
Recommended article: Q4267154
Recommended article: On consecutive primes
description: scientific article; zbMATH DE number 784056