Totient summatory function

In number theory, the totient summatory function $Φ (n)$ is a summatory function of Euler's totient function defined by

Φ (n) := \sum_{k = 1}^{n} φ (k), n \in ℕ .

It is the number of ordered pairs of coprime integers $(p, q)$ , where $1 \leq p \leq q \leq n$ .

The first few values are 0, 1, 2, 4, 6, 10, 12, 18, 22, 28, 32, ... (sequence A002088 in the OEIS). Values for powers of 10 are 1, 32, 3044, 304192, 30397486, 3039650754, ... (sequence A064018 in the OEIS).

Properties

The following identity holds for all real $n \geq 0$ :

\sum_{d = 1}^{n} Φ (\frac{n}{d}) = \frac{1}{2} ⌊ n ⌋ ⌊ n + 1 ⌋

.

This gives an implicit recurrence for the totient summatory function.^[1]^: 138

Applying Möbius inversion to the totient function or the above identity yields

Φ (n) = \sum_{k = 1}^{n} k \sum_{d ∣ k} \frac{μ (d)}{d} = \frac{1}{2} \sum_{k = 1}^{n} μ (k) ⌊ \frac{n}{k} ⌋ (1 + ⌊ \frac{n}{k} ⌋),

where $μ (n)$ is the Möbius function. Then it can be shown that $Φ(n)$ has the asymptotic expansion

Φ (n) \sim \frac{1}{2 ζ (2)} n^{2} + O (n \log n) = \frac{3}{π^{2}} n^{2} + O (n \log n),

where $ζ(2)$ is the Riemann zeta function evaluated at 2, which is $\frac{π^{2}}{6}$ .^[1]^{: 462–463}^[2]

Reciprocal totient summatory function

The summatory function of the reciprocal of the totient is

S (n) := \sum_{k = 1}^{n} \frac{1}{φ (k)} .

Edmund Landau showed in 1900 that this function has the asymptotic behavior^[3]

S (n) \sim A (γ + \log n) + B + O (\frac{\log n}{n}),

where $γ$ is the Euler–Mascheroni constant,

A = \sum_{k = 1}^{\infty} \frac{μ (k)^{2}}{k φ (k)} = \frac{ζ (2) ζ (3)}{ζ (6)} = \prod_{p \in ℙ} (1 + \frac{1}{p (p - 1)}),

and

B = \sum_{k = 1}^{\infty} \frac{μ (k)^{2} \log k}{k φ (k)} = A \prod_{p \in ℙ} (\frac{\log p}{p^{2} - p + 1}) .

The constant $A = 1.943596...$ is sometimes known as Landau's totient constant. The sum $\sum_{k = 1}^{\infty} 1 / (k φ (k))$ converges to

\sum_{k = 1}^{\infty} \frac{1}{k φ (k)} = ζ (2) \prod_{p \in ℙ} (1 + \frac{1}{p^{2} (p - 1)}) = 2.20386 \dots .

In this case, the product over the primes in the right side is a constant known as the totient summatory constant,^[4] and its value is

\prod_{p \in ℙ} (1 + \frac{1}{p^{2} (p - 1)}) = 1.339784 \dots .

References

1 2 Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren. Concrete Mathematics (2 ed.). Addison-Wesley. ISBN 0-201-55802-5.
↑ Weisstein, Eric W., "Riemann Zeta Function \zeta(2)", MathWorld
↑ Landau, E. (1900), "Ueber die zahlentheoretische Funktion $φ (n)$ und ihre Beziehung zum Goldbachschen Satz", Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 1900: 177–186
↑ OEIS: A065483

Weisstein, Eric W. "Totient Summatory Function". MathWorld.

External links

This number theory–related article is a stub. You can help Wikipedia by adding missing information.

[CMath-1] 1 2 Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren. Concrete Mathematics (2 ed.). Addison-Wesley. ISBN 0-201-55802-5.

[MWZETA2-2] Weisstein, Eric W., "Riemann Zeta Function \zeta(2)", MathWorld

[3] Landau, E. (1900), "Ueber die zahlentheoretische Funktion $φ (n)$ und ihre Beziehung zum Goldbachschen Satz", Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 1900: 177–186

[4] OEIS: A065483

[1]

[2]

[3]

[4]

Properties

Reciprocal totient summatory function

See also

References

External links