The prime nu function is the arithmetic function
|
(1)
|
when the prime factorization of is
|
(2)
|
where the
are distinct. Thus
counts the number of distinct prime factors
of
,
without multiplicity, and
. It is implemented in the Wolfram
Language as PrimeNu[n].
The first few values of for
, 2, ... are 0, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 2, 1, 2, 2,
1, 1, 2, 1, 2, ... (OEIS A001221, Kac 1959,
Abramowitz and Stegun 1972). For example,
because
has the two distinct
prime factors 2 and 3. The sequence is the inverse Möbius
transform of
,
where
is the characteristic function of the
prime numbers (Sloane and Plouffe 1995, p. 22).
The function is strongly additive,
|
(3)
|
when
and
are relatively prime, while
for every prime
and positive
integer
.
Some authors denote the function by
(Hardy and Wright 1979, p. 354). Care is needed,
since
can instead denote the number of all divisors of
(Ore 1988, p. 86).
A sum involving
is
|
(4)
|
for
(Hardy and Wright 1979, p. 255).
Let
|
(5)
|
An asymptotic series for this mean is
|
(6)
|
where
is the Mertens constant and the
are Stieltjes constants
(Diaconis 1976, Knuth 2000, Diaconis 2002, Finch 2003). The corresponding variance
has expansion
|
(7)
|
where
|
(8)
| |||
|
(9)
|
(OEIS A091588), and
|
(10)
|
(OEIS A085548) is the prime zeta function
(Finch 2003). The coefficients are
|
(11)
| |||||
|
(12)
| |||||
|
(13)
| |||||
|
(14)
| |||||
|
(15)
|
Equivalently, the sums occurring here have values
|
(16)
| |||
|
(17)
|
(Finch 2003).
The average order of
is
(Hardy 1999, p. 51). If
is a primorial, then
|
(18)
|
(Hardy and Wright 1979, p. 355). Its summatory function satisfies
|
(19)
|
where
is the Mertens constant (Hardy and Ramanujan
1917; Hardy and Wright 1979, p. 355; Hardy 1999, p. 57). The first few
values of the summatory function are 1, 2,
3, 4, 6, 7, 8, 9, 11, 12, 14, 15, 17, 19, 20, 21, ... (OEIS A013939).
In addition,
|
(20)
|
(Hardy and Wright 1979, p. 357).
The first few products of an odd number of distinct
prime factors are 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 30, 31, 37, 41, 42, 43,
47, ... (OEIS A030059; Hardy 1999, p. 64;
Ramanujan 2000, pp. xxiv and 21). They satisfy
|
(21)
|
(Hardy 1999, pp. 64-65). If counts the
, then
|
(22)
|
(Hardy 1999, pp. 64-65).