Saunak Bhattacharjee,Anup B. Dixit
Abstract:Let $\phi(n)$ be the Euler totient function and $\sigma(n)$ denote the sum of divisors of $n$. In this note, we obtain explicit upper bounds on the number of positive integers $n\leq x$ such that $\phi(\sigma(n)) > cn$ for any $c>0$. This is a refinement of a result of Alaoglu and Erdős.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the distribution problem of the composite function of the Euler totient function (denoted as $\varphi(n)$) and the sum - of - divisors function (denoted as $\sigma(n)$). Specifically, the authors are concerned with the number of positive integers $n$ satisfying the inequality $\varphi(\sigma(n))\geq cn$ when $n\leq x$, where $c > 0$ is a constant.
### Background and Motivation
1. **Euler Totient Function**: It is defined as
\[
\varphi(n)=n\prod_{p|n}\left(1 - \frac{1}{p}\right)
\]
where $p$ represents all distinct prime factors of $n$.
2. **Sum - of - Divisors Function**: It is defined as
\[
\sigma(n)=\sum_{d|n}d=n\prod_{p^{k}\|n}\left(1 + p + p^{2}+\cdots + p^{k}\right)=n\prod_{p^{k}\|n}\left(\frac{p^{k + 1}-1}{p - 1}\right)
\]
where $p^{k}\|n$ means that $p^{k}$ is the largest power of $p$ that divides $n$.
3. **Previous Work**:
- In 1944, L. Alaoglu and P. Erdős studied the composition of these arithmetic functions and proved that for any $c > 0$,
\[
\#\{n\leq x:\varphi(\sigma(n))\geq cn\}=o(x)\quad\text{and}\quad\#\{n\leq x:\sigma(\varphi(n))\leq cn\}=o(x).
\]
### Main Contributions of the Paper
The main contribution of this paper lies in improving the above results and obtaining more accurate upper - bound estimates. Specifically:
- **Theorem 1.1**: For every $c > 0$,
\[
\#\{n\leq x:\varphi(\sigma(n))\geq cn\}\leq\frac{\pi^{2}x}{6c\log^{4}x}+O\left(\frac{x\log^{3}x}{(\log x)^{\frac{1}{\log^{3}x}\log^{4}x}}\right),
\]
which means that except for approximately $\ll\frac{x}{\log\log\log\log x}$ integers, for all positive integers $n$ less than $x$, we have $\varphi(\sigma(n)) < cn$.
- **Theorem 1.2**: Suppose $f:\mathbb{R}^{+}\to\mathbb{R}^{+}$ is a non - decreasing function and satisfies $f(x)=o(\log^{4}x)$. Then,
\[
|P_{f}(x)|=O\left(\frac{xf(x)}{\log^{4}x}+\frac{x\log^{3}x}{(\log x)^{\frac{1}{\log^{3}x}\log^{4}x}}\right)=o(x),
\]
that is, for almost all positive integers $n$, we have $\varphi(\sigma(n)) <\frac{n}{f(n)}$.
By choosing a specific $f(x)=\log^{5}x$, they obtain a stronger result:
- **Corollary 1.1**: Except for $O\left(\frac{x\log^{5}x}{\log^{4}x}\right)$ positive integers $n\leq x$, we have
\[
\varphi(\sigma(n))\leq