Joint Distribution in Residue Classes of the Base-q and Ostrowski Digital Sums

Abstract

Let q be an integer greater than or equal to 2, and let Sq(n)denote the sum of digits of n in base q.For\alpha = \left[ {0;\overline {1,m} } \right],\,\,\,m \ge 2,let Sα(n) denote the sum of digits in the Ostrowski α-representation of n. Let m1,m2 ≥ 2 be integers with\gcd \left( {q - 1,{m_1}} \right) = \gcd \left( {m,{m_2}} \right) = 1We prove that there exists δ> 0 such that for all integers r1,r2,\matrix{ {\left| {\left\{ {0 \le n < N:{S_q}(n) \equiv {r_1}\left( {\bmod \,{m_1}} \right),\,\,{S_\alpha }(n) \equiv {r_2}\left( {\bmod \,{m_2}} \right)} \right\}} \right|} \cr { = {N \over {{m_1}{m_2}}} + 0\left( {{N^{1 - \delta }}} \right).} \cr } The asymptotic relation implied by this equality was proved by Coquet, Rhin & Toffin and the equality was proved for the case \alpha = \left[ {\bar 1} \right] by Spiegelhofer.

Sur la répartition jointe de la représentation d'Ostrowski dans les classes de résidue

“…Une version non quantitative de ce résultat a été prouvée par Coquet, Rhin et Toffin dans [5]. Sharma [16] a établit un résultat analogue à celui dans [18] dans le cas de la fonction somme des chiffres dans la [0; 1, m]−représentation d'Ostrowski. Rappelons tout d'abord que si α est un nombre réel, on peut le représenter en fraction continue simple ayant une expression de la forme…”