Sum-of-digits function for certain nonstationary bases
type: Item
instance of: scholarly article
title: Sum-of-digits function for certain nonstationary bases
zbMATH Open document ID: 0959.11003
DOI: 10.1007/BF02175837
author: Nikita Sidorov
published in: Journal of Mathematical Sciences (New York)
publication date: 2000-03-07T00:00:00Z
review text: Let \(\mathcal Q=(q_n)_{n=1}^\infty\) be a strictly increasing sequence of positive integers with \(q_1=1\). Each natural \(n\) can be represented in the form \(n=\sum_{j=1}^k\epsilon_j q_j\), where \(q_k\leq n\leq q_{k+1}\) and \(\epsilon_k=[n/q_k]\), \(\epsilon_j=[(n-\sum_{i=j+1}^k\epsilon_i q_i)/q_j]\) (\(1\leq j<k\)). For every positive integer \(N\) put \(S(N)=\sum_{n<N}\sum_{j=1}^k\epsilon_j\), which is called the sum-of-digits function for the base \(\mathcal Q\). In this paper the author provides asymptotic formulas for \(S(N)\) for the case of Cantor and Ostrowski expansions. When \(q_1=1\) and \(q_n=a_1\dots a_{n-1}\) (\(n\geq 2\)), the expansion \(n=\sum_{j=1}^k\epsilon_j q_j\) is called Cantor expansion. If the condition \(\max(a_1,a_2,\dots,a_n)=o(\sum_{k=1}^n a_k)\) (\(n\to\infty\)) is satisfied, then \[ S(N)=({1\over 2}\sum_{k=1}^{n-1}(a_k-1))\dot N+O(\max(a_1,a_2,\dots,a_n)\dot N). \] When \(q_n\) is the denominator of the \(n\)th convergent of the continued fraction expansion of an irrational \(\alpha=[a_1,a_2,\dots]\), the expansion above is called Ostrowski expansion. If the same condition as above is satisfied, then \[ S(N)=(\sum_{k=1}^{n-1}R_k\alpha_k)\dot N+O(\max_{1\leq k\leq n}a_k\dot N), \] where \(R_k=(a_k)(q_{k+1}-q_k+q_{k-1})\) and \(\alpha_k=|q_k-p_k|\) (\(k=1,2,\dots\)).
reviewed by: Takao Komatsu
Mathematics Subject Classification ID: 11A63
Mathematics Subject Classification ID: 11A55
zbMATH DE Number: 1408564
zbMATH Keywords: Sum-of-digits function
zbMATH Keywords: Cantor expansion
zbMATH Keywords: Ostrowski expansion
MaRDI profile type: Publication
cites work: Systems of Numeration
cites work: Sur la fonction sommatoire de la fonction 'somme des chiffres'
cites work: Q5791688
cites work: On the distribution of digits in Cantor representations of integers
cites work: Contributions to digit expansions with respect to linear recurrences
cites work: \(\alpha\)-expansions, linear recurrences, and the sum-of-digits function
cites work: Q4308377
description: scientific article; zbMATH DE number 1408564