乗法的関数の定義と性質

乗法的関数の定義

今回から整数論的関数を扱います。
まず最初に 乗法的関数 を次のように定義します。

たとえば $f(n)=n$ は乗法的関数です。なぜなら $f(a)=a,\,f(b)=b$ より
\[f(ab)=ab=f(a)f(b)\]
が成り立つからです（この例では $(a,\:b)=1$ に限らず $f(ab)=f(a)\,f(b)$ が常に成り立ちます）。しかし $f(n)=n+1$ の場合、
\[\begin{align*}&f(ab)=ab+1\\[6pt]&f(a)\,f(b)=(a+1)\,(b+1)=ab+a+b+1\end{align*}\]
すなわち $f(ab)\neq f(a)f(b)$ となるので乗法的関数ではありません。

乗法的関数の積

乗法的関数同士の積をつくると乗法的関数なるというのが次の定理です。

[証明] $f(n),\,g(n)$ が乗法的関数なので
\[\begin{align*}f(ab)&=f(a)\,f(b)\\[6pt]
g(ab)&=g(a)\,g(b)\end{align*}\]
が成り立ちます。したがって
\[\begin{align*}h(ab)&=f(ab)\,g(ab)\\[6pt]&=f(a)\,f(b)\,g(a)\,g(b)\\[6pt]&=\{f(a)\,g(a)\}\,\{f(b)\,g(b)\}=h(a)\,h(b)\end{align*}\]
となるので、$h(n)=f(n)\,g(n)$ は乗法的関数です。（証明終）

乗法的関数の約数にわたる和

乗法的関数の約数にわたる和が乗法的関数になる、というのが以下の定理です。

少し見慣れない記号が出てきましたが、たとえば $n$ の約数が $d_1,\,d_2,\,d_3$ だとすると、
\[g(n)=f(d_1)+f(d_2)+f(d_3)\]
が乗法的関数となるということを述べています。

[証明] $(a,\:b)=1$ となるような $a,\,b$ を用いて $n=ab$ のように分解すると、
\[\begin{align*}g(n)&=\sum_{d|n}f(d)\\[6pt]
&=\sum_{d_a|a,\,d_b|b}\,f(d_a\:d_b)\\[6pt]
&=\sum_{d_a|a,\,d_b|b}f(d_a)\,f(d_b)\\[6pt]
&=\sum_{d_a|a}f(d_a)\,\sum_{d_b|b}f(d_b)=g(a)\,g(b)\end{align*}\]
となって、$g(n)$ が乗法的関数であることが示されました。（証明終）