1 定義
約数関数は、自然数に対してその約数の個数や約数の総和を与える数論的関数の総称である。最も基本的には、ある正整数 \(n\) に対して、\(n\) を割り切る整数を数えたり、それらを加算したりする。これらは整数の構造を反映し、素因数分解と強く結びついている。
1.1 約数の個数を与える関数
正の約数の個数を返す関数は、通常 \(\tau(n)\) または \(d(n)\) で表される。たとえば、12 の正の約数は 1, 2, 3, 4, 6, 12 であり、個数は 6 である。この関数は、整数がどれだけ多くの分割可能性を持つかを示す。
1.2 約数の和を与える関数
正の約数の総和を返す関数は、一般に \(\sigma(n)\) で表される。12 の場合、約数の和は 1+2+3+4+6+12=28 となる。約数の和は、完全数や不足数、過剰数の判定にも用いられる。
1.3 正の約数と負の約数の扱い
通常、約数関数では正の約数のみを対象とする。整数全体で考えると、任意の正の約数に対して対応する負の約数が存在するため、約数の個数や和の定義は流儀によって変わりうる。ただし、標準的な数論では正の約数に限定するのが一般的である。
1.4 記号と表記法
約数の個数関数には \(\tau(n)\)、\(d(n)\)、\(d_2(n)\) などの記法が見られる。約数和関数には \(\sigma(n)\) が広く使われる。文献によっては、一般化のために \(\sigma_k(n)\) のような添字付き記号も用いられる。
2 基本性質
約数関数の多くの性質は、整数を素因数分解した形から直接導かれる。特に、指数の組み合わせが約数の選び方を決めるため、乗法構造がはっきりと表れる。
2.1 素因数分解による表現
自然数 \(n\) を素因数分解すると、約数は各素数の指数を独立に選ぶことで記述できる。このため、個数や和は、素因数分解の指数から機械的に計算できる。
2.1.1 指数表示からの算出
\(n=p_1^{a_1}p_2^{a_2}\cdots p_r^{a_r}\) と書けるとき、正の約数の個数は \((a_1+1)(a_2+1)\cdots(a_r+1)\) となる。各素数について指数を 0 から \(a_i\) まで選ぶためである。約数和も同様に、各素数ごとの等比的な和の積として表せる。
2.1.2 積への分解
約数関数は、素因数ごとの寄与を掛け合わせて求められる。たとえば、\(\sigma(n)\) は \[ \sigma(n)=\prod_{i=1}^r (1+p_i+p_i^2+\cdots+p_i^{a_i}) \] と書ける。こうした分解は、計算だけでなく理論的な理解にも役立つ。
2.2 乗法的性質
約数関数は、互いに素な整数に対して乗法的に振る舞う。つまり、\(\gcd(m,n)=1\) ならば、対応する値は積に分解される。これはディリクレ畳み込みの枠組みとも整合的である。
2.2.1 完全乗法性との違い
完全乗法的な関数は、任意の \(m,n\) に対して \(f(mn)=f(m)f(n)\) を満たす。これに対し、約数個数関数や約数和関数は一般にはその性質を持たない。互いに素な場合に限って乗法的である点が重要である。
2.2.2 素数冪での値
素数 \(p\) と非負整数 \(a\) に対して、\(\tau(p^a)=a+1\) である。約数和は \(\sigma(p^a)=1+p+p^2+\cdots+p^a\) となる。素数冪では形が単純なため、一般の整数の場合の基本単位として扱いやすい。
2.3 整除性との関係
約数関数は、ある数が別の数を割り切るかどうかという関係を直接反映する。約数の個数が多い数は、しばしば多様な分解を持つ。また、約数和は、与えられた数が自分自身や他の数の和としてどのように現れるかを示す指標になる。
3 代表的な約数関数
約数関数という語は、複数の代表例を含む広い概念である。中でも、個数関数と和関数は特に基本的で、数論の入門から高度な解析まで頻繁に登場する。
3.1 約数個数関数
約数個数関数は、各自然数の正の約数の数を与える。整数の分解の自由度を測る尺度として解釈できる。
3.1.1 定義
\[ \tau(n)=\sum_{d\mid n}1 \] と定義される。ここで \(d\mid n\) は \(d\) が \(n\) を割り切ることを表す。単に \(d(n)\) と書く文献も多い。
3.1.2 値の例
1 の約数は 1 個、2 の約数は 2 個、6 の約数は 4 個、12 の約数は 6 個である。素数は常に 2 個の約数しか持たないため、個数関数の値は素数判定の基礎的な目安にもなる。
3.2 約数和関数
約数和関数は、正の約数をすべて足し合わせた値を返す。各数が持つ約数の配置や大きさを同時に反映する。
3.2.1 定義
\[ \sigma(n)=\sum_{d\mid n} d \] で定義される。より一般には \(\sigma_k(n)=\sum_{d\mid n} d^k\) という拡張がある。\(k=1\) が通常の約数和に対応する。
3.2.2 値の例
1 の約数和は 1、2 は 3、6 は 12、12 は 28 である。12 のような数では、約数が比較的多く、しかも中間的な大きさの約数が複数含まれるため、和も大きくなりやすい。
3.3 一般化された約数関数
約数の個数や和は、より広い枠組みで統一的に扱える。指数を変えたり、複素数に拡張したりすることで、解析的な理論と接続しやすくなる。
3.3.1 高次の約数和
\(\sigma_k(n)=\sum_{d\mid n} d^k\) は高次の約数和関数である。\(k=0\) では約数個数関数に一致する。\(k\) を変えることで、約数の小ささや大きさへの感度が調整される。
3.3.2 複素数を用いた拡張
複素変数を導入すると、約数関数はディリクレ級数やゼータ関数と結びつく。解析接続や関数等式の議論では、整数値の関数が複素平面上の対象として扱われる。
4 計算法
約数関数の計算は、素因数分解を知っているかどうかで大きく変わる。小さい範囲では直接列挙も可能だが、大きな数では効率的な手法が必要になる。
4.1 素因数分解を用いる方法
まず整数を素因数分解し、各素数の指数から個数や和を計算する。約数個数関数なら指数に 1 を足した積を取り、約数和関数なら各素数冪の和を掛け合わせる。この方法は理論的にも最も自然である。
4.2 再帰的な求め方
約数の構造を小さい数から順に再利用する再帰的手法もある。ある数の約数を調べる際に、その部分因子の情報を使って結果を構成する。動的計画法に近い考え方として実装されることがある。
4.3 表を用いた計算
一定範囲までの約数関数値をまとめて求める場合、篩のような表計算が有効である。各整数の倍数に対して寄与を加えることで、複数の値を同時に得られる。多数の整数を扱うときに特に便利である。
4.4 高速化の工夫
実用上は、平方根までの探索、素数表の利用、篩法の最適化などが重要になる。大量の入力に対しては、素因数分解の高速化がそのまま約数関数計算の高速化につながる。
5 性質と定理
約数関数は、平均的な規模、極値、特別な整数との関係に関する多くの定理を持つ。これらは初等的な観察を超えて、解析的数論の中心的話題にも接続する。
5.1 平均的な大きさ
個々の値は大きく変動するが、平均的には比較的規則的な振る舞いを示す。約数個数関数も約数和関数も、長い区間で見ると増大のしかたに法則性がある。
5.1.1 漸近挙動
約数個数関数の総和や約数和の総和には、既知の漸近公式がある。たとえば、\(\sum_{n\le x}\tau(n)\) はおおよそ \(x\log x\) の規模で増える。これは、約数が格子点の数え上げ問題と関係するためである。
5.1.2 期待値的な見方
乱数的な視点では、約数の個数は平均するとゆるやかに増加する。単独の値は不規則でも、全体としては対数的な成長に近い。こうした見方は、分布の理解に役立つ。
5.2 上界と下界
約数関数には、どこまで大きくなりうるか、またどこまで小さくなりうるかを示す評価がある。これらは、極端な整数の性質を調べる際の指標になる。
5.2.1 最大値の評価
約数個数関数は、同程度の大きさの整数の中で非常に大きな値を取ることがある。多数の小さな素因数を持つ数は約数を増やしやすい。約数和関数も同様に、素因数の配置によって大きく伸びる。
5.2.2 最小値の評価
素数では約数の個数が最小の 2 となる。約数和では、1 が最小である。一般の整数については、合成数であっても比較的小さい値に留まる場合があるが、素因数の構成によって性質が変わる。
5.3 特殊な数との関係
約数和関数は、特定の整数族を特徴づける。これにより、数の分類や例の構成に直接使われる。
5.3.1 完全数
完全数は、自身を除く正の約数の和が自分自身に等しい数である。約数和関数では \(\sigma(n)=2n\) と表せる。古典的な整数論で著名な対象である。
5.3.2 友愛数
友愛数は、二つの異なる数が互いに自分自身を除く約数和で相手に一致する組である。約数和の差を用いて定義され、数の間の対称的な関係を示す。
5.3.3 過剰数と不足数
約数和が自分自身を上回る数を過剰数、下回る数を不足数という。完全数はその境界に位置する。これらの区分は、整数の性格を簡潔に表す分類法として知られる。
6 関連する関数
約数関数は単独で現れるだけでなく、他の数論的関数と組み合わせることで、より広い理論の中に位置づけられる。
6.1 メビウス関数
メビウス関数 \(\mu(n)\) は、素因数の重複や個数に応じて値が決まる。約数関数とメビウス関数は、互いに逆変換の関係にあり、整除構造の解析に不可欠である。
6.2 オイラーのトーシェント関数
オイラーのトーシェント関数 \(\varphi(n)\) は、\(n\) 以下で \(n\) と互いに素な正整数の個数を表す。約数関数と同じく素因数分解から求められ、乗法的関数の代表例である。
6.3 ジーグラー型の和と畳み込み
数論的関数の和や畳み込みを通じて、約数関数は他の関数から生成される。特定の和の形は、約数の列挙や分解に似た作用を持ち、さまざまな恒等式を生む。
6.4 ディリクレ畳み込み
ディリクレ畳み込みは、約数に沿って関数を組み合わせる演算である。約数個数関数や約数和関数は、この畳み込みの言語で簡潔に表現でき、乗法性や逆元の議論に役立つ。
7 解析的数論との関係
約数関数は、複素解析を用いる数論で特に重要な役割を果たす。ゼータ関数、ディリクレ級数、平均値公式、誤差項の研究に現れる。
7.1 ゼータ関数との関連
リーマンゼータ関数の平方や関連する積表示は、約数関数と密接に関係する。約数和や個数の情報は、ゼータ関数の係数や極を通じて解析的に扱われる。
7.2 ディリクレ級数表示
約数個数関数と約数和関数は、ディリクレ級数で自然に表現される。たとえば、\(\sum_{n\ge1}\tau(n)n^{-s}=\zeta(s)^2\) という関係がある。こうした表示は、関数の増大や分布を調べる基盤になる。
7.3 平均値公式
約数関数には、部分和に対する精密な平均値公式がある。これらは、単なる平均だけでなく、主項と副項の構造を明らかにする。解析的数論では、これが重要な研究対象となる。
7.4 誤差項と深い結果
平均値の主項からのずれは誤差項として研究される。誤差の評価は、ゼータ関数の零点や指数和の手法とも関連し、難度の高い問題へつながる。約数問題は、古典的でありながら現在も活発な領域である。
8 応用
約数関数は理論数論にとどまらず、計算や情報処理の場面にも姿を見せる。整数の分解や構造把握に役立つため、幅広い文脈で利用される。
8.1 整数分解
約数個数や約数和を調べると、候補となる因子の構造が見えやすくなる。特定の値を満たす整数を探索する際、素因数分解の手がかりとして働くことがある。
8.2 暗号理論に現れる数論的背景
現代暗号では、素因数分解や合同式が基礎になる。約数関数そのものが直接の主役でなくても、整数の分解性を測る道具として周辺理論に関与する。特に大きな合成数の構造理解に関連する。
8.3 組合せ論への応用
約数の個数は、分割や構成の数え上げに類似した役割を持つ。和や積の形で表されるため、組合せ論のカウント手法と親和性が高い。整数の分配問題と対応づけられる場合もある。
8.4 計算機科学での利用
アルゴリズム設計では、約数の列挙や整除判定が基本操作となる。高速な素因数分解、篩、テーブル生成は、整数演算を多用する処理で重要である。競技プログラミングでも頻出の題材である。
9 歴史
約数関数の研究は古代の算術的関心にさかのぼり、後に解析的手法の発展とともに精密化された。単純な定義を持ちながら、長い研究史を通じて深い理論へつながっている。
9.1 古典数論における発展
約数や完全数の研究は、古代ギリシア以来の算術の伝統の中で扱われた。整数の美的・構造的な性質を考える際、約数は早くから注目された対象である。
9.2 近代解析的数論への展開
19世紀以降、ゼータ関数やディリクレ級数の理論が整うと、約数関数は解析的な手法で研究されるようになった。平均値、誤差項、分布の問題が理論の中心に加わった。
9.3 研究史上の主要人物
オイラー、ディリクレ、リーマン、ハーディ、リトルウッド、ランドーらは、関連分野の発展に大きく寄与した。彼らの仕事を通じて、約数関数は初等的な例から高度な解析対象へと位置づけを広げた。
10 関連項目
約数関数は、数論全体の中で多くの概念と結びつく。ここでは、理解を補う代表的な関連概念を挙げる。
10.1 数論的関数
整数を入力として複素数や実数を返す関数の総称である。約数関数はその中でも最も基本的な例に属する。
10.2 整除関係
ある整数が別の整数を割り切るかどうかを表す関係である。約数関数の定義そのものを支える基礎概念である。
10.3 素因数分解
整数を素数の積として表すことをいう。約数関数の公式や性質の多くは、この表現から導かれる。