1.5. Sums over divisors 19
Proposition 1.14 (Second obius inversion formula). Suppose that F is a
function on the interval [1, ∞). If
G(x) =
n≤x
F
x
n
then
F (x) =
n≤x
μ(n)G
x
n
and conversely on this interval.
Proof. First
n≤x
μ(n)G
x
n
=
n≤x
μ(n)
m≤x/n
F
x/n
m
=
mn≤x
μ(n)F
x
mn
=
N≤x
F
x
N
n|N
μ(n) = F (x)
and then
n≤x
F
x
n
=
n≤x
m≤x/n
μ(m)G
x/n
m
=
mn≤x
μ(m)G
x
mn
=
N≤x
G
x
N
m|N
μ(m) = G(x)
since 1 μ = e.
The second obius inversion formula throws light on the method of
Chebyshev. The relation
ψ(x) =
n≤x
μ(n)T
x
n
holds by obius inversion. Since T(x) is quite precisely known, it might
seem possible to estimate ψ(x) fairly accurately by means of this formula.
The problem here is that there is a great deal of cancellation in the sum,
due to the oscillation of sign of μ(n). Too little is known about the behavior
of μ(n) for this approach to promise much success. But the estimates of
Chebyshev may be obtained by replacing μ(n) by an approximation of a
particular kind. The approximation associated with the proof of Proposition
1.1 is μ(n) e1(n)−2e2(n) where ek(n) is the arithmetic function that equals
Previous Page Next Page