Abstract:In this short note, we give an affirmative answer to Wu's conjecture on practical numbers, which was posed in [X.-H. Wu, {\it Special forms and the distribution of practical numbers}, Acta Math. Hungar., {\bf 160}(2020), 405-411].
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove a conjecture of Wu about practical numbers. Specifically, in previous research, Wu proposed the following conjecture:
**Conjecture**: For all integers \(k \geq 1\), there exists an integer \(N\) such that for all \(n \geq N\), the interval \((n^2, (n + 1)^2)\) contains at least \(k\) practical numbers.
### Background Information
- **Definition of practical numbers**: A positive integer \(n\) is called a practical number if all positive integers less than \(n\) can be expressed as the sum of different divisors of \(n\).
- **Properties of practical numbers**: Stewart [4] gave a discriminant condition for practical numbers. That is, for an integer of the form \(n=p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_k^{\alpha_k}\) (where \(p_1 < p_2 <\cdots < p_k\) are prime numbers, \(\alpha_j\geq1\)), \(n\) is a practical number if and only if \(p_1 = 2\) and satisfies:
\[
p_j\leq1+\sigma(p_1^{\alpha_1}\cdots p_{j - 1}^{\alpha_{j-1}})\quad(2\leq j\leq k)
\]
where \(\sigma(n)\) represents the sum of all positive divisors of \(n\).
- **Estimation of the number of practical numbers**: Saias [3] used the sieve method to prove a result similar to Chebyshev's theorem, that is, there exist constants \(c_1\) and \(c_2\) such that:
\[
\frac{c_1x}{\log x}<P(x)<\frac{c_2x}{\log x}
\]
where \(P(x)\) represents the number of practical numbers not exceeding \(x\). Weingartner [5] further confirmed Margenstern [1]'s conjecture, that is:
\[
P(x)\sim\frac{cx}{\log x}
\]
where \(1.336073 < c < 1.336077\).
### Main Contributions of the Paper
The author proves Wu's above - mentioned conjecture by constructing a specific set \(A\) and using Weingartner's result. The specific steps are as follows:
1. **Construct the set \(A\)**: The set \(A\) contains all positive integers of the form \(n = p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_k^{\alpha_k}\), where \(p_1 = 2\) and satisfies:
\[
p_i\leq p_1^{\alpha_1}\cdots p_{i - 1}^{\alpha_{i-1}}\quad(2\leq i\leq k)
\]
2. **Apply Weingartner's result**: Weingartner [6] proved that for \(x>x_0\), the interval \([x - x^{0.4872},x]\) contains at least \(x^{0.4872}(\log x)^{- 9.557}\) numbers belonging to the set \(A\). Based on this result, one can find an \(x_1=x_1(k)>x_0\) such that for \(x > x_1\), the interval \([x-\sqrt{x},x]\) contains at least \(\frac{k}{2}+1\) numbers belonging to the set \(A\).