Dirichlet series of integers with missing digits

Melvyn B. Nathanson

DOI: https://doi.org/10.1016/j.jnt.2020.10.002

2020-10-16

Abstract:For certain sequences $A$ of positive integers with missing $g$-adic digits, the Dirichlet series $F_A(s) = \sum_{a\in A} a^{-s}$ has abscissa of convergence $\sigma_c < 1$. The number $\sigma_c$ is computed. This generalizes and strengthens a classical theorem of Kempner on the convergence of the sum of the reciprocals of a sequence of integers with missing decimal digits.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the convergence problem of Dirichlet series of positive integer sequences with missing g - adic (g - ary) digits. Specifically, the author studied the abscissa of convergence of the Dirichlet series \(F_A(s)=\sum_{a\in A}a^{-s}\) of these specific integer sequences and calculated the specific value of this abscissa of convergence.

### Specific problem description:

1. **Generalization and strengthening of Kempner's theorem**:
- The classical Kempner's theorem states that the sum of the reciprocals of all positive integers without a certain decimal digit (for example, 9) is convergent.
- This paper aims to generalize this result to a more general situation, that is, for any base \(g\) and the missing digit \(u\), study the convergence properties of the corresponding Dirichlet series.

2. **Abscissa of convergence of Dirichlet series**:
- For a given set \(A\) of positive integers, where each integer does not contain certain digits in its \(g\)-adic representation, the author calculated the abscissa of convergence \(\sigma_c\) of the Dirichlet series \(F_A(s)\) corresponding to this set.
- The abscissa of convergence \(\sigma_c\) is the smallest real number \(\sigma\) such that the series \(F_A(s)\) converges, that is, the series converges when \(\Re(s)>\sigma_c\) and diverges when \(\Re(s)<\sigma_c\).

### Main conclusions:

- For the specific integer set \(A_{g,u}\), the abscissa of convergence of its Dirichlet series is:
\[
\sigma_c=\frac{\log(g - 1)}{\log g}
\]
and the series diverges at \(s = \sigma_c\).

- This result not only generalizes Kempner's theorem but also provides more precise convergence and divergence conditions.

### Main contributions of the paper:

1. **Generalized Kempner's theorem**: Extended from decimal to any base \(g\), and considered the case of missing any digit \(u\).
2. **Calculated the abscissa of convergence**: Gave a specific formula for the abscissa of convergence and proved the divergence at this point.
3. **Provided strict mathematical proofs**: Proved the correctness of the above conclusions through detailed mathematical derivations and analyses.

Through the study of these problems, the paper provides new perspectives and tools for understanding the analytic properties of integer sequences with specific digit patterns.