Questions on Riemann Hypothesis prediction and explicit formula for $\hat{\Phi}(x)=\sum\limits_{n\le x}\frac{\phi(n)}{n}$

145 Views Asked by At

I've primarily been able to find information on the the summatory Euler totient function $\Phi(x)$ defined in (1) below, but I'm more interested in the $\hat{\Phi}(x)$ defined in (2) below.

(1) $\quad\Phi(x)=\sum\limits_{n\le x}\phi(n)\,,\qquad\frac{\zeta(s-1)}{\zeta(s)}=\sum\limits_{n\le x}\frac{\phi(n)}{n^s}\quad\Re(s)>2$

(2) $\quad\hat{\Phi}(x)=\sum\limits_{n\le x}\frac{\phi(n)}{n}\,,\qquad\frac{\zeta(s)}{\zeta(s+1)}=\sum\limits_{n\le x}\frac{\phi(n)}{n^{s+1}}\quad\Re(s)>1$


The following figure illustrates the $\hat{\Phi}(x)$ function defined in (2) above seems to exhibit a near-linear growth analogous the the first and second Chebyshev functions $\vartheta(x)$ and $\psi(x)$.


Illustration of formula (2)

Figure (1): Illustration of formula (2) for $\hat{\Phi}(x)$


Question (1): What does the Riemann hypothesis predict for the asymptotic growth and error bound with respect to the $\hat{\Phi}(x)$ function defined in (2) above?


I've been told the explicit formula for $\Phi(x)$ defined in (3) below doesn't converge, but I'm wondering if there's one that converges for $\hat{\Phi}(x)$.

(3) $\quad\Phi_o(x)=\frac{3\,x^2}{\pi^2}+\sum\limits_\rho\frac{x^\rho\,\zeta(\rho-1)}{\rho\,\zeta'(\rho)}+\frac{1}{6}+\sum\limits_{n}\frac{x^{-2\,n}\,\zeta(-2\,n-1)}{(-2\,n)\,\zeta'(-2\,n)}$


Question (2): Is there a convergent explicit formula for the $\hat{\Phi}(x)$ function defined in (2) above and if so, what is the definition?


This question is motivated in part by the relationship between $f(x)$ and $\hat{\Phi}(x)$ illustrated in (6) below which leads to the formula for the Dirichlet eta function $\eta(s)$ defined in (7) below which I believe converges for $\Re(s)>1$. Note $a_n$ is 2-periodic (1, -3, 1, -3, ...).

(4) $\quad f(x)=\sum\limits_{n\le x}(-1)^{n-1}\qquad\eta(s)=\sum\limits_{n=1}^\infty\frac{(-1)^{n-1}}{n^s}\,,\quad\Re(s)>0$

(5) $\quad\hat{\Phi}(x)=\sum\limits_{n\le x}\frac{\phi(n)}{n}\qquad\quad\frac{\zeta(s)}{\zeta(s+1)}=\sum\limits_{n=1}^\infty\frac{\phi(n)}{n^{s+1}}\,,\quad\Re(s)>1$

(6) $\quad f(x)=\sum\limits_{n\le x}\frac{a_n}{n}\hat{\Phi}\left(\frac{x}{n}\right)\,,\qquad a_n=(-1)^{n-1}((2 n-1)\bmod 4)$

(7) $\quad\eta(s)=\sum\limits_{n=1}^\infty\frac{a_n}{n^{s+1}}\sum\limits_{m=1}^\infty\frac{\phi(m)}{m}\,m^{-s}\,,\quad\Re(s)>1$


Formula (7) above can be analytically continued as illustrated in formulas (8) and (9) below which confirm the correctness of relationship (6) above. In formulas (8) and (9) below the sum over $m$ in formula (7) above is analytically continued to $\frac{\zeta(s)}{\zeta(s+1)}$, and in formula (9) below the sum over $n$ in formula (7) above is also analytically continued to $\left(1-2^{1-s}\right)\zeta(s+1)$.

(8) $\quad\eta(s)=\sum\limits_{n=1}^\infty\frac{a_n}{n^{s+1}}\frac{\zeta(s)}{\zeta(s+1)}\,,\quad\Re(s)>0$

(9) $\quad\eta(s)=\left(1-2^{1-s}\right)\zeta(s)$


Note formula (8) above is equivalent to formula (10) below.

(10) $\quad\zeta(s+1)=\frac{1}{1-2^{1-s}}\sum\limits_{n=1}^\infty\frac{a_n}{n^{s+1}}\,,\quad\Re(s)>0\land s\ne 2\,\pi\,i\,t\land t\in\mathbb{Z}$