On the $2$-adic valuation of $σ_k(n)$

Abstract

For a positive integer $k$, let \[ σ_k(n)=\sum_{d\mid n} d^k \] be the divisor function of order $k$, and let $ν_p(m)$ denote the $p$-adic valuation of an integer $m$. Motivated by recent work on the $p$-adic valuation of $σ_k(n)$, we study $ν_2(σ_k(n))$ in detail. We prove that, for every integer $n\ge 2$, \[ ν_2(σ_k(n)) \le \begin{cases} \lceil \log_2 n \rceil, & \text{if $k$ is odd},\\[1mm] \lfloor \log_2 n \rfloor, & \text{if $k$ is even}. \end{cases} \] These bounds are best possible. More precisely, if $k$ is odd, then equality holds if and only if $n$ is a product of distinct Mersenne primes; if $k$ is even, then equality holds if and only if $n=3$. We also obtain an explicit formula for $ν_2(σ_k(n))$ in terms of the prime factorization of $n$.

Theorems & Definitions (23)

• Theorem 1.1
• Lemma 2.1
• proof
• Lemma 2.2
• proof
• Lemma 2.3
• Theorem 2.4
• proof
• Corollary 2.5
• proof