In
number theory, the totient summatory function
is a
summatory function
In number theory, an arithmetic, arithmetical, or number-theoretic function is for most authors any function ''f''(''n'') whose domain is the positive integers and whose range is a subset of the complex numbers. Hardy & Wright include in their d ...
of
Euler's totient function
In number theory, Euler's totient function counts the positive integers up to a given integer that are relatively prime to . It is written using the Greek letter phi as \varphi(n) or \phi(n), and may also be called Euler's phi function. In ot ...
defined by:
:
It is the number of
coprime integer pairs .
Properties
Using
Möbius inversion to the totient function, we obtain
:
has the asymptotic expansion
:
where is the
Riemann zeta function
The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter (zeta), is a mathematical function of a complex variable defined as \zeta(s) = \sum_^\infty \frac = \frac + \frac + \frac + \cdots for \operatorname(s) > ...
for the value 2.
is the number of coprime integer pairs .
The summatory of reciprocal totient function
The summatory of reciprocal totient function is defined as
:
Edmund Landau showed in 1900 that this function has the asymptotic behavior
:
where is the
Euler–Mascheroni constant,
:
and
:
The constant is sometimes known as Landau's totient constant. The sum
is convergent and equal to:
:
In this case, the product over the primes in the right side is a constant known as totient summatory constant,
and its value is:
:
See also
*
Arithmetic function
References
*
External links
Totient summatory function
Decimal expansion of totient constant product(1 + 1/(p^2*(p-1))), p prime >= 2)
Arithmetic functions
{{Mathematics-stub