約数関数についての個人的?未解決問題

284

こんにちは.今回は僕が最近Apostolの『Intoduction to Analytic Number Theory』を読んでいて,2章にいろいろな数論的関数(自然数に対して定義されて実数値or複素数値をとるような関数)が紹介されていて,とりあえずたくさん計算してみたくなったので手計算で1000くらいまでは計算をしました(未来完了形).その中でも個人的に強く興味を持っている完全数(すぐ後に記号が定義されていると思いますが $σ (n) = 2 n$ をみたすような数のことです)と関連して約数関数 $σ (n)$ についていろいろ計算しました.

以下 $n$ を自然数(正の整数)とし, $σ (n)$ を $n$ の正の約数の総和とします.この $σ (n)$ についてとりあえず手計算で30までやったものをのっけます.ミスがあったらごめんなさい.

n	1	2	3	4	5	6	7	8	9	10
$σ (n)$	1	3	4	7	6	12	8	15	13	18
n	11	12	13	14	15	16	17	18	19	20
$σ (n)$	12	28	14	24	24	31	18	39	20	42
n	21	22	23	24	25	26	27	28	29	30
$σ (n)$	32	36	24	60	31	39	40	56	30	72

これをある程度やるとさすがにいろんなことが気になってくるわけで,その中でも自分で解決できず, ChatGPTとかに聞いてもわからなかったような問題をまとめます.まだ200くらいまでしか計算してないのでこれから計算を進めていくなかで気になることが出てきたら適宜追加します.何かみなさんがご存じのことがあれば教えていただきたいです.よろしくお願いします.

n = 14

は解のひとつ

$σ (n) = σ (n + 1)$ をみたす $n$ はどれくらい存在する?

n = 104

は解のひとつ

$σ (n) = 2 (n + 1)$ を満たす $n$ はどれくらい存在する?

σ (66) = 144 な ど

$σ (n)$ が平方数となるような $n$ はどれくらい存在する?また,どんな平方数が $σ (n)$ で書ける?

σ (102) = 216 な ど

$σ (n)$ が立方数となるような $n$ はどれくらい存在する?また,どんな立方数が $σ (n)$ で書ける?

σ (2) = 3, \dots

$σ (n)$ がとる素数( $σ (n)$ が素数となる $n$ )は有限個?

完全数絡み

任意の自然数(奇数で十分)に対して $σ (n) \neq 2^{m} n$ となるような $m$ は存在する?

これが示せたらどのふたつも互いに素な自然数 $n_{1}, \dots n_{s}$ が奇数の完全数とすると $σ (n_{1} \dots n_{s}) = σ (n_{1}) \dots σ (n_{s}) = 2^{s} n_{1} \dots n_{s}$ なのでどのふたつも互いに素であるような奇数の完全数は高々 $m - 1$ コしかないことが言えると気付きましたが,本質的な難しさは代わってないのかもしれません...