The distribution functions of \(\sigma(n)/n\) and \(n/\varphi(n)\). II (Q455801): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Normalize DOI. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.jnt.2012.06.001 / rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1011.4262 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks about additive and multiplicative functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the local behavior of the distribution of Euler's totient function / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5335423 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The distribution functions of 𝜎(𝑛)/𝑛 and 𝑛/𝜑(𝑛) / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.JNT.2012.06.001 / rank | |||
Normal rank |
Latest revision as of 18:06, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The distribution functions of \(\sigma(n)/n\) and \(n/\varphi(n)\). II |
scientific article |
Statements
The distribution functions of \(\sigma(n)/n\) and \(n/\varphi(n)\). II (English)
0 references
22 October 2012
0 references
Let \(\phi(n)\) denote Euler's totient function, and set \[ B(t) := \lim_{N \rightarrow \infty} \frac{1}{N} \#\{n \leq N : n/\phi(n) \geq t\} . \] This limit is known to exist, and the author's main result in this paper asserts that for any \(m \geq 2\), \[ B(t) = \exp\left\{-e^{te^{-\gamma}}(1 + \sum_{j=2}^{m} \frac{a_j}{t^j} + O_{m}(\frac{1}{t^{m+1}}) )\right\} , \] where \(\gamma\) is Euler's constant and where the \(a_j\) are certain other constants all of whose values can be extracted from the proof. The same is true if, in the definition of \(B(t)\), one replaces \(n/\phi(n)\) by \(\sigma(n)/n\), where \(\sigma(n)\) denotes the sum of divisors of \(n\). The author [Proc. Am. Math. Soc. 135, No. 9, 2677--2681 (2007; Zbl 1169.11042)] has previously proved the weaker result that \[ B(t) = \exp\{-e^{te^{-\gamma}}(1 + O(\frac{1}{t^{2}}) )\} , \] which improves an estimate of Erdős. This was done by using Rankin's method in the form \[ B(t) \leq \frac{1}{t^s} \lim_{N \rightarrow \infty} \frac{1}{N} \sum_{n \leq N} \left(\frac{n}{\phi(n)}\right)^s , \;\;\; \mathrm{Re}(s) > 0 \] to obtain an upper bound for \(B(t)\), and using a special construction of numbers \(n\) (with relatively many small prime factors) to obtain a lower bound. In the present paper, it is shown that if one chooses \(s\) optimally in Rankin's method (i.e., to minimise the resulting upper bound), then in fact one has a very good estimate for the true size of \(B(t)\). This kind of behaviour and approach may remind the reader of the use of the saddle-point method when studying smooth/friable integers. In the present case, it is comparatively much easier to show that the Rankin upper bound is close to the truth (see Lemma 2 of the paper), both because one is only seeking a logarithmic asymptotic rather than a true one, and also because the function \(B(t)\) decays very rapidly with \(t\) (so there is a very close correspondence between \(B(t)\) and the Mellin transform of \(B(\cdot)\) evaluated at the optimal \(s=s(t)\)). Having neatly established this, the bulk of the paper is devoted to fiddly calculations of the Rankin upper bound to obtain the claimed expression \(\sum_{j=2}^{m} \frac{a_j}{t^j}\) in the exponential.
0 references
Euler totient function
0 references
sum of divisors
0 references
Dedekind Psi function
0 references
Rankin's method
0 references