On a problem of Pongsriiam on the sum of divisors, II

Rui-Jing Wang
2024-08-02
Abstract:For any positive integer $n$, let $\sigma (n)$ be the sum of all positive divisors of $n.$ In this paper, it is proved that the set of positive integers $ n $ for which $ \sigma(30n+1)\geq \sigma(30n) $ has a density less than $ 0.0371813, $ which answers a recent problem of Pongsriiam in part.
Number Theory
What problem does this paper attempt to address?
This paper attempts to solve a problem about the divisor sum function proposed by Pongsriiam. Specifically, the author studied the set \(B = \{n \geq 1 : \sigma(30n + 1) \geq \sigma(30n)\}\) of positive integers \(n\), where \(\sigma(n)\) represents the sum of all positive divisors of \(n\). ### Main problems: 1. **Problem 1.1**: For all sufficiently large \(K\), is it satisfied that \[ \sum_{n \leq K} \sigma(30n + 1) < \sum_{n \leq K} \sigma(30n) \] 2. **Problem 1.2**: For all \(K\in\mathbb{N}\), is it satisfied that \[ \sum_{n \leq K} \sigma(30n) > \sum_{n \leq K} \sigma(30n + 1) \] ### Research results: - The author proved that the density \(d_B\) of the set \(B\) exists, and \(d_B < 0.0371813\). - This result partially answers the first question (Problem 1.1) proposed by Pongsriiam, that is, for all sufficiently large \(K\), indeed \[ \sum_{n \leq K} \sigma(30n + 1) < \sum_{n \leq K} \sigma(30n) \] - By introducing a new set \(C=\{n \geq 1 : \sigma^{-1}(30n + 1) \geq \sigma^{-1}(30n)\}\) and proving that \(d_B = d_C\), the author further verified that the density of \(C\) also exists and is less than 0.0371813. ### Key formulas: - The divisor sum function \(\sigma(n)\) is defined as the sum of all positive divisors of \(n\). - \(\sigma^{-1}(n)=\frac{\sigma(n)}{n}\) represents the sum of the reciprocals of all positive divisors of \(n\). - The densities of the sets \(B\) and \(C\) are defined as: \[ d_A=\lim_{x \to \infty}\frac{|A(x)|}{x} \] where \(A(x)=\{n \leq x : n\in A\}\). ### Summary: This paper, through strict mathematical proofs, solves some of the problems proposed by Pongsriiam, especially the inequality relations of the divisor sum function in specific forms, and gives specific density bounds. This result not only promotes the understanding of the properties of the divisor sum function, but also provides a theoretical basis for further research in related fields.