In number theory, the totient summatory function
\Phi(n)
\Phi(n):=
n | |
\sum | |
k=1 |
\varphi(k), n\inN
It is the number of coprime integer pairs .
The first few values are 0, 1, 2, 4, 6, 10, 12, 18, 22, 28, 32 . Values for powers of 10 at .
Using Möbius inversion to the totient function, we obtain
\Phi(n)=
n | |
\sum | |
k=1 |
k\sumd\mid
\mu(d) | |
d |
=
1 | |
2 |
\sum
n | |
k=1 |
\mu(k)\left\lfloor
n | |
k |
\right\rfloor\left(1+\left\lfloor
n | |
k |
\right\rfloor\right)
has the asymptotic expansion
\Phi(n)\sim
1 | |
2\zeta(2) |
n2+O\left(nlogn\right),
where is the Riemann zeta function for the value 2.
is the number of coprime integer pairs .
The summatory of reciprocal totient function is defined as
S(n):=\sum
n | ||
{ | ||
k=1 |
1 | |
\varphi(k) |
Edmund Landau showed in 1900 that this function has the asymptotic behavior
S(n)\simA(\gamma+logn)+B+O\left(
logn | |
n\right) |
where is the Euler–Mascheroni constant,
A=
infty | |
\sum | |
k=1 |
\mu(k)2 | |
k\varphi(k) |
=
\zeta(2)\zeta(3) | |
\zeta(6) |
=\prodp\left(1+
1 | |
p(p-1) |
\right)
and
B=
infty | |
\sum | |
k=1 |
\mu(k)2logk | |
k\varphi(k) |
=A\prodp\left(
logp | |
p2-p+1 |
\right).
The constant is sometimes known as Landau's totient constant. The sum
style\sum
| ||||
k=1 |
\sum
infty | |
k=1 |
1 | |
k\varphi(k) |
=\zeta(2)\prodp\left(1+
1 | |
p2(p-1) |
\right)=2.20386\ldots
In this case, the product over the primes in the right side is a constant known as totient summatory constant, and its value is:
\prodp\left(1+
1 | |
p2(p-1) |
\right)=1.339784\ldots