Arithmetic Function

Definition (Arithmetic function)

An arithmetic function is defined as f:NACf:\mathbb{N}\to A\subset\mathbb{C} or as a function mapping the positive integers to some subset of the complex numbers.

Definition (Multiplicative)

An arithmetic function, ff, is said to be multiplicative if f(ab)=f(a)f(b)f(ab)=f(a)f(b)for all a,bNa,b\in\mathbb{N} coprime (i.e. (a,b)=1(a,b)=1).

Definition (Additive)

An arithmetic function is said to be additive if f(ab)=f(a)+f(b)f(ab)=f(a)+f(b)

Fun arithmetic functions

Definition (Binary function)

The arithmetic function fb(n)=[log(n)log(b)]+1f_{b}(n)=\left[ \frac{\log(n)}{\log(b)} \right]+1where, [x][x] is the floor function. This function takes a natural number and tells us the number of digits of nn in its expansion in base bb.

Example

f2(10)=4f_{2}(10)=4 since the binary expansion of 1010 is 10101010.

This probably allows us to prove this theorem:

Theorem (b-ary representation theorem)

Fix a natural number b>1b>1. Every natural number nn can be uniquely written in base bb as n=a0+a1b++akbk,  0ai<b1n=a_{0}+a_{1}b+\dots+a_{k}b^{k}, \ \ 0\le a_{i}<b-1

Definition (Positiver divisor counter function)

The arithmetic function d(n)d(n) counts the number of positive divisors of nn and is defined as d(n)=i=1k(αi+1)d(n)=\prod_{i=1}^{k}(\alpha_{i}+1)where we recall by the Fundamental Theorem of Arithmetic that n=i=1kpiαin=\prod_{i=1}^{k}p_{i}^{\alpha_{i}}

Remark

d(n)d(n) is Multiplicative.

Definition (Euler’s totient function)

Euler’s function, an arithmetic function, ϕ(n)\phi(n) finds the number of positive numbers less than nn and coprime to nn this function is defined as follows: ϕ(n)n=pn(11p)\frac{\phi(n)}{n}=\prod_{p|n}\left( 1-\frac{1}{p} \right)where pp are the distinct prime numbers dividing nn. Consequently, the function is Multiplicative.

Allowing us to prove this theorem:

Theorem (Euler)

Let a,mNa,m\in\mathbb{N}. If (a,m)=1(a,m)=1, (i.e. aa coprime to mm) then aϕ(m)1 (mod m)a^{\phi(m)}\equiv1 \ (\text{mod }m)

Theorem (1.22)

For a multiplicative function ff, we have dnf(d)=pan(j=0af(pa))\sum_{d|n}f(d)=\prod_{p^{a}\|n}\left( \sum_{j=0}^{a} f(p^{a})\right)where pan    pan & pa+1∤np^{a}\|n\iff p^{a}|n \ \& \ p^{a}+1\not\mid n

Linked from