数論的関数の用語やその関連について整理したかったので書くことにした.

数論的関数

数論的関数は, 定義域が正整数 $\mathbb{Z}^{+}$ である複素数を値にもつ関数である. すなわち

をいう.

加法的関数

加法的関数は以下で定義される.

e.g.:

• $n$ の異なる素因数の総数 $:= \omega (n)$. $\omega(4)=1, \omega(20)=\omega(2^2\cdot 5)=2, \omega(2018)=\omega(2\cdot 1009)=2$
• $n$ の異なる素因数の和 $:= \text{sopf}(n)$. $\text{sopf}(1)=0,\text{sopf}(4)=2,\text{sopf}(20)=2+5=7,\text{sopf}(2018)=1011$

また, 完全加法的関数は以下で定義される.

e.g.:

• $n$ の重複も含めた素因数の総数 $:= \Omega(n)$. $\Omega(1)=0, \Omega(20)=\Omega(2\cdot 2\cdot 5)=3, \Omega(2018)=\Omega(2\cdot 1009)=2$
• $n$ の重複も含めた素因数の和 $:= \text{sopfr}(n)$. $\text{sopfr}(4)=2+2=4,\text{sopfr}(20)=\text{sopfr}(2^2\cdot 5)=2+2+5=9,\\ \text{sopfr}(2018)=\text{sopfr}(2\cdot 1009)=2+1009=1011$

乗法的関数

乗法的関数は以下で定義される.

乗法的関数は, 任意の加法的関数 $f(n)$ を用いて簡単に構成することができる. たとえば, 乗法的関数 $g(n)$ を指数法則より $g(n)=2^{f(n)}$ とおくことができる. また, $2$ つの乗法的関数 $f(n)$ と $g(n)$ をつかって, $h(n)=f(n)g(n)$ という乗法的関数をおくことができる. より一般化すると,

e.g.:

• $f(n):=\gcd(n,k)$. $k=2$ としたとき, $f(15)=f(3)f(5)=1,\ f(24)=f(3)f(8)=2$
• 指数法則: $k\in\mathbb{Z}$ に対する $n^k$
• メビウス関数 $:= \mu(n)$. $\mu(18)=\mu(2\cdot 3^2)=0,\ \mu(6)=\mu(2\cdot 3)=1, \mu(7)=-1$.
• オイラーのトーシェント関数 $:= \phi(n)$. $\phi(6)=\phi(3)\cdot\phi(2)=2,\ \phi(28)=\phi(4)\cdot\phi(7)=12$.

また, 完全乗法的関数は以下で定義される¹.

e.g.:

• ディリクレ級数 $a(n)$ におけるディリクレの L 関数: $\displaystyle L(s,a)=\sum_{n=1}^{\infty}\dfrac{a(n)}{n^s}=\prod_{p}(1-\dfrac{a(p)}{p^s})^{-1},$. 自然数全体の総和が素数全体の積に等しい.

参考文献

• Completely multiplicative function 2018 年 7 月 9 日アクセス.