Digital sums and functional equations
type: Item
instance of: scholarly article
zbMATH Open document ID: 1295.11009
author: Roland Girgensohn
published in: Integers
publication date: 2012-05-07T00:00:00Z
full work available at URL: l54.pdf
Mathematics Subject Classification ID: 11A63
Mathematics Subject Classification ID: 39B72
Mathematics Subject Classification ID: 26A27
zbMATH DE Number: 6031449
zbMATH Keywords: Trollope-Delange formula
zbMATH Keywords: Takagi function
zbMATH Keywords: digital sums
zbMATH Keywords: functional equations
MaRDI profile type: Publication
OpenAlex ID: W2034132276
DOI: 10.1515/INTEG.2011.091
title: Digital sums and functional equations
review text: Let \(s(j)\) be the sum of digits functions of the binary expansion of \(j\). The author presents a new method to obtain an explicit representation of NEWLINE\[NEWLINES(n)=\sum_{j=0}^{n-1}s(j),NEWLINE\]NEWLINE which was already proven by \textit{J. R. Trollope} [Math. Mag. 41, 21--25 (1968; Zbl 0162.06303)] and \textit{H. Delange} [Enseign. Math. (2) 21, 31--47 (1975; Zbl 0306.10005)].NEWLINENEWLINEThis is done by stating simple recursive formulas for \(S(n+2^{[\log_{2}n]})\) and similar terms (where \([x]\) is the largest integer less than or equal to \(x\)). These are then combined to a system of two functional equations, for which only one continuous solution exists.NEWLINENEWLINEThe resulting explicit representation is NEWLINE\[NEWLINE\frac{1}{n}S(n)=\frac{\log_{2}n}{2}-\frac{\log_{2}(x+1)}{2}+\frac{1}{x+1}F(x)NEWLINE\]NEWLINE where \(F(x)\) is a continuous function on the interval \([0,1]\) and NEWLINE\[NEWLINEx=\frac{n-2^{[\log_{2}n]}}{2^{[\log_{2}n]}}.NEWLINE\]NEWLINENEWLINENEWLINEThis method is also used to obtain explicit representations for the moment generating function of the sum of digits function NEWLINE\[NEWLINE\sum_{j=0}^{n-1}\exp(t\cdot s(j)),NEWLINE\]NEWLINE its \(k\)-th moment NEWLINE\[NEWLINE\sum_{j=0}^{n-1}s(j)^{k},NEWLINE\]NEWLINE and the same for the number of zeros of the binary expansion.
description: scientific article; zbMATH DE number 6031449