Related papers: Note on a sum involving the Euler function
In this paper, we introduce and develop the notion of spanning of integers along functions $f:\mathbb{N}\longrightarrow \mathbb{R}$. We apply this method to a class of problems that requires to determine if the equations of the form…
Let $d(n)$ be the divisor function and denote by $[t]$ the integral part of the real number $t$. In this paper, we prove that $$\sum_{n\leq x^{1/c}}d\left(\left[\frac{x}{n^c}\right]\right)=d_cx^{1/c}+\mathcal{O}_{\varepsilon,c}…
We prove that when $f$ is a Rademacher random multiplicative function for any $\epsilon>0$, then $\sum_{n \leqslant x}\frac{f(n)}{\sqrt{n}} \ll (\log\log(x))^{3/4+\epsilon}$ for almost all $f$. We also show that there exist arbitrarily…
We show that for some $k\le 3570$ and all $k$ with $442720643463713815200|k$, the equation $\phi(n)=\phi(n+k)$ has infinitely many solutions $n$, where $\phi$ is Euler's totient function. We also show that for a positive proportion of all…
Let $\mu(n)$ denote the M\"obius function, define $M(x)= \sum_{n\leq x}^{}\mu (n)$. The main result of this paper is to prove that \begin{equation*} \displaystyle\lim_{x \to +\infty}\frac{M(x)}{x}=0 \end{equation*} which is equivalent to…
Let q be an odd positive integer and P \in F2[z] be of order q and such that P(0) = 1. We denote by A = A(P) the unique set of positive integers satisfying \sum_{n=0}^\infty p(A, n) z^n \equiv P(z) (mod 2), where p(A,n) is the number of…
Let $f$ be an arithmetic function satisfying some simple conditions. The aim of this paper is to establish an asymptotical formula for the quantity \[ S_f(x):=\sum_{n\leq x}\frac{f([x/n])}{[x/n]} \] as $x\rightarrow\infty$, where $[t]$ is…
We consider the sum $\sum 1/\gamma$, where $\gamma$ ranges over the ordinates of nontrivial zeros of the Riemann zeta-function in an interval $(0,T]$, and consider the behaviour of the sum as $T \to\infty$. We show that, after subtracting a…
Walfisz (1963) proved the asymptotic formula \[ \sum_{n\le x}\varphi(n) = \frac{3}{\pi^2}x^2+O(x(\log x)^{\frac{2}{3}}(\log\log x)^{\frac{4}{3}}), \] which improved the error term estimate of Mertens (1874) and had been the best possible…
Let $d(n)$ be the number of divisors of $n$, let $\gamma$ denote Euler's constant and $$ \Delta(x) := \sum_{n\le x}d(n) - x(\log x + 2\gamma -1) $$ denote the error term in the classical Dirichlet divisor problem, and let $\zeta(s)$ denote…
Let $\left[x\right]$ be the largest integer not exceeding $x$. For $0<\theta \leq 1$, let $\pi_{\theta}(x)$ denote the number of integers $n$ with $1 \leq n \leq x^{\theta}$ such that $\left[\frac{x}{n}\right]$ is prime and…
Paul Erdos and Carl Pomerance have proofs on an asymptotic upper bound on the number of preimages of Euler's totient function $\phi$ and the sum-of-divisors functions $\sigma$. In this paper, we will extend the upper bound to the number of…
The Erd\H{o}s-Hooley Delta function is defined for $n\in\mathbb{N}$ as $\Delta(n)=\sup_{u\in\mathbb{R}} \#\{d|n : e^u<d\le e^{u+1}\}$. We prove that $\sum_{n\le x} \Delta(n) \ll x(\log\log x)^{11/4}$ for all $x\ge100$. This improves on…
We provide a uniform bound on the partial sums of multiplicative functions under very general hypotheses. As an application, we give a nearly optimal estimate for the count of $n \le x$ for which the Alladi-Erd\H{o}s function $A(n) =…
We show that for any $k$-times continuously differentiable function $f:[a,\infty)\longrightarrow{\mathbb R}$, any integer $q\ge 0$ and any $\alpha>1$ the inequality $$\liminf_{x\to\infty} \frac{x^k \cdot\log x\cdot \log_2 x\cdot\dots\cdot…
Let $$ T(q)=\sum_{k=1}^\infty d(k) q^k, \quad |q|<1, $$ where $d(k)$ denotes the number of positive divisors of the natural number $k$. We present monotonicity properties of functions defined in terms of $T$. More specifically, we proved…
In 1963, Edward Spence published a proof of the following With $\phi$ being Euler totient function, if $n>1$ is an integer, and if \begin{equation*} 0<a_1<\cdots<a_{\phi(n)}<n, \end{equation*} are the positive integers less than $n$,…
Lehmer's totient problem asks whether there exists any composite number $n$ such that $\varphi(n) \, \mid \, (n-1)$, where $\varphi$ is Euler totient function. It is known that if any such $n$ exists, it must be Carmichael and $n >…
Erd\H{o}s first conjectured that infinitely often we have $\varphi(n) = \sigma(m)$, where $\varphi$ is the Euler totient function and $\sigma$ is the sum of divisor function. This was proven true by Ford, Luca and Pomerance in 2010. We ask…
Translation from the Latin of Euler's "Demonstratio theorematis circa ordinem in summis divisorum observatum" (1760). E244 in the Enestroem index. In his previous paper E243, Euler stated the pentagonal number theorem and assuming it proved…