Additive function

Examples

Examples of arithmetic functions which are completely additive are:

• The restriction of the logarithmic function to ${\displaystyle \mathbb{N}.}$
• The multiplicity of a prime factor p in n, that is the largest exponent m for which p^m divides n.
• a₀(n) – the sum of primes dividing n counting multiplicity, sometimes called sopfr(n), the potency of n or the integer logarithm of n (sequence A001414 in the OEIS). For example:

a₀(4) = 2 + 2 = 4

a₀(20) = a₀(2² · 5) = 2 + 2 + 5 = 9

a₀(27) = 3 + 3 + 3 = 9

a₀(144) = a₀(2⁴ · 3²) = a₀(2⁴) + a₀(3²) = 8 + 6 = 14

a₀(2000) = a₀(2⁴ · 5³) = a₀(2⁴) + a₀(5³) = 8 + 15 = 23

a₀(2003) = 2003

a₀(54,032,858,972,279) = 1240658

a₀(54,032,858,972,302) = 1780417

a₀(20,802,650,704,327,415) = 1240681

• The function Ω(n), defined as the total number of prime factors of n, counting multiple factors multiple times, sometimes called the "Big Omega function" (sequence A001222 in the OEIS). For example;

Ω(1) = 0, since 1 has no prime factors

Ω(4) = 2

Ω(16) = Ω(2·2·2·2) = 4

Ω(20) = Ω(2·2·5) = 3

Ω(27) = Ω(3·3·3) = 3

Ω(144) = Ω(2⁴ · 3²) = Ω(2⁴) + Ω(3²) = 4 + 2 = 6

Ω(2000) = Ω(2⁴ · 5³) = Ω(2⁴) + Ω(5³) = 4 + 3 = 7

Ω(2001) = 3

Ω(2002) = 4

Ω(2003) = 1

Ω(54,032,858,972,279) = Ω(11 ⋅ 1993² ⋅ 1236661) = 4

Ω(54,032,858,972,302) = Ω(2 ⋅ 7² ⋅ 149 ⋅ 2081 ⋅ 1778171) = 6

Ω(20,802,650,704,327,415) = Ω(5 ⋅ 7 ⋅ 11² ⋅ 1993² ⋅ 1236661) = 7.

Examples of arithmetic functions which are additive but not completely additive are:

• ω(n), defined as the total number of distinct prime factors of n (sequence A001221 in the OEIS). For example:

ω(4) = 1

ω(16) = ω(2⁴) = 1

ω(20) = ω(2² · 5) = 2

ω(27) = ω(3³) = 1

ω(144) = ω(2⁴ · 3²) = ω(2⁴) + ω(3²) = 1 + 1 = 2

ω(2000) = ω(2⁴ · 5³) = ω(2⁴) + ω(5³) = 1 + 1 = 2

ω(2001) = 3

ω(2002) = 4

ω(2003) = 1

ω(54,032,858,972,279) = 3

ω(54,032,858,972,302) = 5

ω(20,802,650,704,327,415) = 5

• a₁(n) – the sum of the distinct primes dividing n, sometimes called sopf(n) (sequence A008472 in the OEIS). For example:

a₁(1) = 0

a₁(4) = 2

a₁(20) = 2 + 5 = 7

a₁(27) = 3

a₁(144) = a₁(2⁴ · 3²) = a₁(2⁴) + a₁(3²) = 2 + 3 = 5

a₁(2000) = a₁(2⁴ · 5³) = a₁(2⁴) + a₁(5³) = 2 + 5 = 7

a₁(2001) = 55

a₁(2002) = 33

a₁(2003) = 2003

a₁(54,032,858,972,279) = 1238665

a₁(54,032,858,972,302) = 1780410

a₁(20,802,650,704,327,415) = 1238677

Multiplicative functions

From any additive function ${\displaystyle f(n)}$ it is possible to create a related multiplicative function ${\displaystyle g(n),}$ which is a function with the property that whenever ${\displaystyle a}$ and ${\displaystyle b}$ are coprime then: $${\displaystyle g(ab)=g(a)\times g(b).}$$ One such example is ${\displaystyle g(n)=2^{f(n)}.}$ Likewise if ${\displaystyle f(n)}$ is completely additive, then ${\displaystyle g(n)=2^{f(n)}}$ is completely multiplicative. More generally, we could consider the function ${\displaystyle g(n)=c^{f(n)}}$, where ${\displaystyle c}$ is a nonzero real constant.

Summatory functions

Given an additive function ${\displaystyle f}$, let its summatory function be defined by ${\mathcal{M}}_f(x):=\sum _{n\le x}f(n)$. The average of ${\displaystyle f}$ is given exactly as $${\displaystyle {\mathcal{M}}_f(x)=\sum _{p^{\alpha }\le x}f(p^{\alpha })\left(\lfloor \frac{x}{p^{\alpha }}\rfloor -\lfloor \frac{x}{p^{\alpha +1}}\rfloor \right).}$$

The summatory functions over ${\displaystyle f}$ can be expanded as ${\displaystyle {\mathcal{M}}_f(x)=xE(x)+O(\sqrt{x}\cdot D(x))}$ where $${\displaystyle \begin{array}{cc}E(x)& =\sum _{p^{\alpha }\le x}f(p^{\alpha })p^{-\alpha }(1-p^{-1})\\ D^2(x)& =\sum _{p^{\alpha }\le x}|f(p^{\alpha }){|}^2{p}^{-\alpha }.\end{array}}$$

The average of the function ${\displaystyle f^2}$ is also expressed by these functions as $${\displaystyle {\mathcal{M}}_{f^2}(x)=x{E}^2(x)+O(x{D}^2(x)).}$$

There is always an absolute constant ${\displaystyle C_f>0}$ such that for all natural numbers ${\displaystyle x\ge 1}$, $${\displaystyle \sum _{n\le x}|f(n)-E(x){|}^2\le C_f\cdot x{D}^2(x).}$$

Let $${\displaystyle \nu (x;z):=\frac{1}{x}\mathrm{\#}\left\{n\le x:\frac{f(n)-A(x)}{B(x)}\le z\right\}.}$$

Suppose that ${\displaystyle f}$ is an additive function with ${\displaystyle -1\le f(p^{\alpha })=f(p)\le 1}$ such that as ${\displaystyle x\to \mathrm{\infty }}$, $${\displaystyle B(x)=\sum _{p\le x}{f}^2(p)/p\to \mathrm{\infty }.}$$

Then ${\displaystyle \nu (x;z)\sim G(z)}$ where ${\displaystyle G(z)}$ is the Gaussian distribution function $${\displaystyle G(z)=\frac{1}{\sqrt{2\pi }}{\int }_{-\mathrm{\infty }}^z{e}^{-t^2/2}dt.}$$

Examples of this result related to the prime omega function and the numbers of prime divisors of shifted primes include the following for fixed ${\displaystyle z\in \mathbb{R}}$ where the relations hold for ${\displaystyle x\gg 1}$: $${\displaystyle \mathrm{\#}\{n\le x:\omega (n)-\log \log x\le z(\log \log x{)}^{1/2}\}\sim xG(z),}$$ $${\displaystyle \mathrm{\#}\{p\le x:\omega (p+1)-\log \log x\le z(\log \log x{)}^{1/2}\}\sim \pi (x)G(z).}$$