Table of Contents
Fetching ...

Kempner-like harmonic series

Jean-Paul Allouche, Claude Morin

Abstract

Inspired by a question asked on the list {\tt mathfun}, we revisit {\em Kempner-like series}, i.e., harmonic sums $\sum' 1/n$ where the integers $n$ in the summation have ``restricted'' digits. First we give a short proof that $\lim_{k \to \infty}(\sum_{s_2(n) = k} 1/n) = 2 \log 2$, where $s_2(n)$ is the sum of the binary digits of the integer $n$. Then we propose two generalizations. One generalization addresses the case where $s_2(n)$ is replaced with $s_b(n)$, the sum of $b$-ary digits in base $b$: we prove that $\lim_{k \to \infty}\sum_{s_b(n) = k} 1/n = (2 \log b)/(b-1)$. The second generalization replaces the sum of digits in base $2$ with any block-counting function in base $2$, e.g., the function $a(n)$ of -- possibly overlapping -- $11$'s in the base-$2$ expansion of $n$, for which we obtain $\lim_{k \to \infty}\sum_{a(n) = k} 1/n = 4 \log 2$.

Kempner-like harmonic series

Abstract

Inspired by a question asked on the list {\tt mathfun}, we revisit {\em Kempner-like series}, i.e., harmonic sums where the integers in the summation have ``restricted'' digits. First we give a short proof that , where is the sum of the binary digits of the integer . Then we propose two generalizations. One generalization addresses the case where is replaced with , the sum of -ary digits in base : we prove that . The second generalization replaces the sum of digits in base with any block-counting function in base , e.g., the function of -- possibly overlapping -- 's in the base- expansion of , for which we obtain .
Paper Structure (5 sections, 7 theorems, 48 equations)

This paper contains 5 sections, 7 theorems, 48 equations.

Key Result

Theorem 1

The following equality holds:

Theorems & Definitions (10)

  • Theorem 1
  • Theorem 2
  • Theorem 3
  • Remark 4
  • Theorem 5
  • Corollary 6
  • Lemma 7
  • Lemma 8
  • Example 9
  • Remark 10