約数関数

**約数関数**（やくすうかんすう、）は、自然数 *n* を変数とする関数で、*n* の全ての約数を整数乗した数の総和を値にとるものである。

## 定義
自然数  に対して、約数関数  とは、 の約数  の  乗和を値に取る関数である：
:\sigma_x (n)= \textstyle\sum\limits_{d|n} d^x
特に、 のとき  は  の約数の個数を表し、 や  と表されることもある。 のとき  は  の約数の総和であり、単に省略して  と表す場合もある。

また、約数関数  の階反復を
:{\sigma_x}^k (n):= \underbrace{\sigma_x(\cdots(\sigma_x}_k (n)\cdots)
と書く。例えば {\sigma_x}^2(n)=\sigma_x(\sigma_x(n)), \quad {\sigma_x}^3 (n)=\sigma_x(\sigma_x(\sigma_x(n)))

 である。

*k* = 1 、*x* = 1 のときはどちらもそれぞれ省略して、σ(*n*) = σ(*n*)（k=x=1の場合）、σ(*n*)（k=2,x=1の場合）などと表記する場合もある。

## 概要
 の値は、小さい順に次のようになる：
:1, 2, 2, 3, 2, 4, 2, 4, 3, 4, 2, 6, 2, 4, 4 …（）
 の値は、小さい順に次のようになる：
:1, 3, 4, 7, 6, 12, 8, 15, 13, 18, 12, 28, 14, 24, 24 …（）
 の値は、小さい順に次のようになる：
:1, 5, 10, 21, 26, 50, 50, 85, 91, 130, 122, 210, 170, 250, 260 …（）

## 計算例
例えば *n* = 15 では、
:d(15) = σ(15) = 1 + 3 + 5 + 15 = 4,
:σ(15) = σ(15) = 1 + 3 + 5 + 15 = 24,
:σ(15) = 1 + 3 + 5 + 15 = 260

## 特徴
 を素数とすると、 の約数は  と  の 2個のみであるから  となる。また、 を自然数とすると、 の約数は  の 個なので  となる。

 および  は  のとき最小値 1 をとる。 の解は  の 2 個のみであり、 の解や  の解は  のみである。 では  が成り立つ。

約数関数  は乗法的関数（）であるが、ではない。

:\gcd(a, b)=1 \Longrightarrow \sigma_x(ab)=\sigma_x(a)\sigma_x(b).

 を素因数分解して以下の式の形で表す。
:n= \textstyle\prod\limits_{i=1}^r {p_i}^{a_i}

ここで *r* は *n* の素因子の個数、*p* はその中で *i* 番目に小さい素因子、*a* は素因数分解で現れる各素因子の指数部である。ここから
:\sigma_x (n)= \textstyle\prod\limits_{i=1}^r \frac{{p_i}^{(a_i +1)x} -1}
\left(
\sigma_1
\left(
n-\frac{1}{2}(3i^2-i)
\right)
+
\sigma_1
\left(
n-\frac{1}{2}(3i^2+i)
\right)
\right)
\end{align}

なおこの数式で、n のとき \sigma_1(n)=0
 とし、\sigma_1(0) = n とする。

約数関数の母関数はである。

:\sum_{n=1}^\infty \frac{n^a x^n}{1-x^n} = \sum_{n=1}^\infty \sum_{m=1}^\infty n^a x^{m\,n} = \sum_{n=1}^\infty x^n \sigma_a(n)

約数関数は以下の三角関数を用いた式で表すこともできる。

またゼータ関数 ζ(s) とは

という関係式をもつ。

σ(*n*)の増加の割合は以下の式で表される。

γ はオイラー定数である。

また、d(*n*)の増加の割合は以下の式で表される。

実際、左辺の上極限記号内の分数の値が最大となるのは n=6983776800 のときで、その値は 1.0660186\ldots  であることが知られている。
特に、任意の &epsilon; > 0 に対して、d(*n*) = o(*n*&epsilon;) が成り立つ。

:\sigma (n)　(*n* > 5040) 
が真であるならリーマン予想も真であることが証明されている。つまりこの不等式を満たさない最大の数が 5040 であり、5041 以上の全ての自然数がこの不等式を満たすならばリーマン予想は真である。もしリーマン予想が偽ならこの不等式を満たさない *n* は無数に存在する。

## 約数関数の値

*x*=0～21についてのσx(*n*)の値はオンライン整数列大辞典に数列として掲載されている。

## 例

σ(*n*)  2*n* を満たす *n* を過剰数という。

6, 28, 496 などが完全数として知られている。偶数の完全数全体はメルセンヌ素数 2*p* &minus; 1 に対して 2*p*&minus;1(2*p* &minus; 1) と表されるもの全体と一致することが知られている。奇数の完全数が存在するかどうかは古くからの数論の未解決問題として有名である。
*完全数が 2*n*&minus;1 × (2*n* &minus; 1) で表せることからある数 *n* とその約数の和 σ(*n*) との積が完全数となる場合がある。この完全数を含む *n* × σ(*n*) の数列は 1, 6, 12, 28, 30, 72, 56, 120, 117, 180, 132, 336, 182, 336, 360, 496, …である。()
このほかにも、約数関数、特に約数の和の関数 σ(*n*) の値に関しては多くの概念が考察され、多くの未解決問題が提示されている。いくつかの例を挙げる。
*σ(*n*) = 2*n* &minus; 1 を満たす *n* を概完全数といい、σ(*n*) = 2*n* + 1 を満たす *n* を準完全数という。概完全数は 2 の累乗（1 も含む）が知られているが、それ以外に存在するかどうか知られていない。準完全数は存在するかどうか未だに分かっていない。準完全数が存在するならば、それは奇数の平方数でなければならないことが知られている。
*σ(*n*) = *kn* (*k*:整数) を満たす *n* を *k*-倍完全数という。例えば 120 は3倍完全数である。現在知られている倍積完全数は *n* = 1(このとき、*k* = 1)を除いて全て偶数である。1 以外に奇数の倍積完全数が存在するか否かは知られていない。
* σ(σ(*n*)) = 2*n* を満たす *n* を超完全数という。偶数の超完全数はメルセンヌ素数 2*p* &minus; 1 に対して、2*p*&minus;1 と表されるもの全体と一致することが知られている。奇数の超完全数が存在するか否かは知られていない。奇数の超完全数が存在するならば、それは平方数で少なくとも2つの相異なる素因数を持たなければならないことが知られている。
**超完全数は 2, 4, 16, 64, 4096, 65536, 262144,…である。 ()
*σ(*n*) = σ(*m*) = *n* + *m* を満たす相異なる数 *n*, *m* の組を友愛数という。(*n*, *m*) = (220, 284)などがそれである。友愛数が無限に存在するか否かは知られていない。
**それと対照的に、 σ(*n*) = σ(*m*) = *n* + *m* + 1 を満たす相異なる数 *n*, *m* の組を婚約数という。(*n*, *m*) = (140, 195)などがそれである。婚約数は無限に存在するか否かは証明されていない。
*d(*n*) = d(*n* + 1) を満たす *n* は無数に存在することが証明されている。 (例 : *n* = 2, 14, 21, 26, 33, 34, ･･･())
**d(*n*) = d(*n* + 1) = d(*n* + 2) を満たす *n* は33, 85, 93, 141, 201, 213, 217, 230, …である。()中央の数の数列はを参照。
**d(*n*) = d(*n* + 1) = d(*n* + 2) = d(*n* + 3) を満たす *n* は242, 3655, 4503, 5943, 6853, 7256, …である。()
**5連続で約数の個数が同じ数の最初の数は 11605, 12855, 13782, 19142, 21494, 28374,…である。()
**6連続で約数の個数が同じ数の最初の数は 28374, 90181, 157493, 171893, 171894,…である。()
**7連続で約数の個数が同じ数の最初の数は 171893, 180965, 647381,…である。()
**約数の個数が同じ連続整数の最初の数は 1, 2, 33, 242, 11605, 28374, 171893, 1043710445721, 2197379769820 ()、9連続整数まであることが知られている。

## 関連項目
*ゼータ関数
*リーマン予想
*不足数-完全数-過剰数
*友愛数

## 注釈