1
解説高校数学
文献あり

一般化優高度合成数の性質

207
1
通報
$$\newcommand{a}[0]{\alpha} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{N}[0]{\mathbb{N}} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathbb{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{ul}[1]{\underline{#1}} \newcommand{vt}[0]{\vartheta} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 この記事では後の記事で必要となる一般化優高度合成数という数の性質について解説していきます。

定義

約数関数$\s_{-s}(n)\;(s\geq 0)$
$\dis\s_{-s}(n)=\sum_{d|n}d^{-s}$
と定め、$s$を固定したとき、$n$一般化高度合成数であるとは任意の$m< n$に対して$\s_{-s}(n)>\s_{-s}(m)$が成り立つことを言い、$n$一般化優高度合成数であるとはある$\e>0$が存在して
任意の$m< n$に対して$\dis\frac{\s_{-s}(n)}{n^\e}\geq\frac{\s_{-s}(m)}{m^\e}$が成り立ち、
任意の$m>n$に対しては$\dis\frac{\s_{-s}(n)}{n^\e}>\frac{\s_{-s}(m)}{m^\e}$が成り立つことを言う。

 以下、簡単のため"一般化"を省略して単に高度合成数や優高度合成数と呼ぶことにします。
 上では$\s_{-s}\;(s\geq0)$について優高度合成数を定義しましたが、$\s_s\;(s>0)$についても巨大過剰数というものが定義されます。と言っても、$n$$\s_s$についての巨大過剰数であるとは
$\dis\frac{\s_s(n)}{n^{s+\e}}\geq\frac{\s_s(m)}{m^{s+\e}}\quad(\exists\e>0,\;\forall m\in\N)$
(ただし$m>n$ならば等号は不成立)が成り立つことを言うのですが、
$\dis\frac{\s_s(n)}{n^s}=\sum_{d|n}\l(\frac1{\frac nd}\r)^s=\sum_{d|n}\frac1{d^s}=\s_{-s}(n)$
なので$n$$\s_s$についての巨大過剰数であることと$\s_{-s}$についての優高度合成数であることが同値となり、結局$\s_{-s}(n)$について考えればいいことになります。実際、後の記事では$\s(n)=\s_1(n)$についての定理を解説しますが、その導出では$\s_{-1}(n)=\s(n)/n$について考察していくことになります。
 ただ、$n$$\s_{-s}$についての高度合成数であることと$\s_s$についての高度過剰数であること($\mathrel{\overset{\text{def}}{\iff}}\forall m< n,\s_s(n)>\s_s(m)$)は同値ではありません。高度合成数と同値なのは超過剰数であること($\mathrel{\overset{\text{def}}{\iff}}\forall m< n,\s_s(n)/n>\s_s(m)/m$)になります。
 さらに注意が必要なのはここで高度合成数(優高度合成数)と超過剰数(巨大過剰数)が同値であると言ったのは$\s_{-s}(n)\leftrightarrow\s_s(n)$の相互関係について言っており、通常、高度合成数(優高度合成数)や超過剰数(巨大過剰数)と言ったときにはそれぞれ$d(n)=\s_0(n),\s(n)=\s_1(n)$についてのそれを指すので、そういう意味では高度合成数(優高度合成数)と超過剰数(巨大過剰数)は同値とはなりません。

 この記事では最後の節を除いて具体的な(優)高度合成数の例は紹介しないのもあって何かの参考にこれらのWikipediaのページでも貼っておきます。
高度合成数 ( Highly composite number )
優高度合成数 ( Superior highly number )
高度過剰数 ( Highly abundant number )
超過剰数 ( Superabundant number )
巨大過剰数 ( Colossally abundant number )
なぜか優高度合成数(日本語版)の紹介は巨大過剰数の記事の中で行われています。$s\neq0,1$まで一般化(Generalized)したものについての記事はなさそうな感じでした。
 ちなみに巨大過剰数の記事の出典として使われていたQiitaの記事(→ 高度合成数〜なんかよく見る数〜 )でも$s=0$の(優)高度合成数の数値的な話やこの記事とはまた別の観点のお話を取り上げているので、よかったらそちらも見てみると面白いかもしれません。

 以下、簡単のため$s>0$として$s=0$の場合は最後の節で紹介します。

補題

 これから(優)高度合成数についての性質を見ていく前にいくつかの解析的な補題を示しておきます。

自然数$e$$x>1$に対して$\dis f_e(x)=\frac{1-x^{-e}}{1-x^{-(e+1)}}$とおくと$f_e(x)$$e,x$それぞれについて単調増加である。

$\dis f_e(x)=\frac{x^{e+1}-x}{x^{e+1}-1} =1-\frac{x-1}{x^{e+1}-1}=1-\frac1{\sum^e_{i=0}x^i}$
に注意すればわかる。

自然数$e>e'$$x>1$に対して$\dis g_{e,e'}(x)=\farc{1-x^{-e}}{1-x^{-(e-e')}}$とおくと$g_{e,e'}(x)$$e$について単調減少である。

$\dis g_{e,e'}(x)=\frac{1-x^{-e'}}{1-x^{-(e-e')}}x^{-(e-e')}-1$
または
$\dis g_{e,e'}(x)=\prod^{e'}_{i=1}\frac1{f_{e-i}(x)}$
に注意すればわかる。(ついでに$x$についても単調減少であることがわかる。)

自然数$r$$s,\e>0$に対して方程式
$\dis x^\e=\frac{1-x^{-s(r+1)}}{1-x^{-sr}}\quad\l(=\frac1{f_r(x^s)}\r)$
$1< x$においてただ一つの解を持ち、その解$x_r$$r$について単調減少に$1$へ収束する。

 補題1より$h_r(x)=x^\e-1/f_r(x^s)$$1< x$で単調増加で、
$\dis\lim_{x\to1}h_r(x) =\lim_{x\to1}\l(x^\e-\frac{\sum^r_{i=0}x^{-is}}{\sum^{r-1}_{i=0}x^{-is}}\r)=1-\frac{r+1}r=-\frac1r<0$
$\dis\lim_{x\to\infty}h_r(x)=\infty$
なのでこれが$1< x$においてただ一点で$0$になることがわかる。

 また$h_r(x)$$r$についても単調増加なので$h_r(x_r)=0$とすると
$h_{r+1}(x_r)>h_r(x_r)=0=h_{r+1}(x_{r+1})$
すなわち$x_{r+1}< x_r$であり、有界単調性から$x_r$の収束先を$\a$とおくと
\begin{eqnarray} |\a^\e-1|&=&\lim_{r\to\infty}|x_r^\e-1-h_r(x_r)| =\lim_{r\to\infty}\l(\frac1{f_r(x_r)}-1\r) \\&\leq&\lim_{r\to\infty}\l(\frac1{f_r(1)}-1\r) =\lim_{r\to\infty}\frac1r=0 \end{eqnarray}
よって$\a=1$がわかる。

高度合成数の性質

 素数を小さい順に並べ、$p_1=2,p_2,p_3,\ldots$とおき、$n$の素因数の内最大のものを$p_k$として
$\dis n=\prod^k_{j=1}p_i^{e_i}\quad(e_i\geq0)$
と素因数分解する。このとき以下の性質が成り立つ。

$n$が高度合成数であるとき$e_1\geq e_2\geq\cdots\geq e_k\;(\geq1)$が成り立つ。

ある$1\leq i< k$$e_i< e_{i+1}$となるような高度合成数$n$について、自然数$m=n\cdot p_i/p_{i+1}< n$を取り
$\dis\s_{-s}(n)=\sum_{d|n}d^{-s}=\prod^k_{j=1}\sum^{e_j}_{l=0}p_j^{-ls} =\prod^k_{j=1}\frac{1-p_j^{-(e_j+1)s}}{1-p_j^{-s}}$
のように分解することで
$\dis\frac{\s_{-s}(n)}{\s_{-s}(m)}=\frac{1-p_i^{-(e_i+1)s}}{1-p_i^{-(e_i+2)s}}\cdot \frac{1-p_{i+1}^{-(e_{i+1}+1)s}}{1-p_{i+1}^{-e_{i+1}s}}=\farc{f_{e_i+1}(p_i^s)}{f_{e_{i+1}}(p_{i+1}^s)}>1$
が成り立つが、$e_i+1\leq e_{i+1},\;p_i< p_{i+1}$であったので補題3より$\s_{-s}(n)<\s_{-s}(m)$となって$n$が高度合成数であることに矛盾。
よって$e_1\geq e_2\geq\cdots\geq e_k$を得る。

$n\neq4,36$が高度合成数であるとき、$e_k=1$が成り立つ。
また$36$が高度合成数となるのは$3^s+9^s<2^s+4^s+8^s$が成り立つとき(大体$s<1.674$くらい)、かつそのときに限る。

ステップ1:$e_k\leq2$である

 $e_k\geq3$となるような高度合成数$n$について、ベルトランの仮説より$p_{k+1}<2p_k\leq p_k^2$であることに注意して自然数$m=n\cdot p_{k+1}/p_k^2< n$を取ると
$\dis\frac{\s_{-s}(n)}{\s_{-s}(m)} =\frac{1-p_k^{-(e_k+1)s}}{1-p_k^{-(e_k-1)s}}\cdot\frac1{1+p_{k+1}^{-s}} =\frac{g_{e_k+1,2}(p_k^s)}{1+p_{k+1}^{-s}}>1$
が成り立つが、補題5より
$g_{e_k+1,2}(p_k^s)\leq g_{4,2}(p_k^s)=1+p_k^{-2s}<1+p_{k+1}^{-s}$
となって矛盾。よって$n$が高度合成数であるとき、$e_k\leq2$でなければならない。

ステップ2:$p_k\geq5$ならば$e_{k-2}\leq4$である

 $p_k\geq5,e_{k-2}\geq5$となるような高度合成数$n$について、$p_{k-2}\geq3$ならベルトランの仮設より$p_{k+1}<2p_k<4p_{k-1}<8p_{k-2}< p_{k-2}^3$$p_{k-2}=2$なら$p_{k+1}=7$より結局$p_{k+1}< p_{k-2}^3$であることに注意して自然数$m=n\cdot p_{k+1}/p_{k-2}^3< n$を取ると
$\dis\frac{\s_{-s}(n)}{\s_{-s}(m)} =\frac{1-p_{k-2}^{-(e_{k-2}+1)s}}{1-p_{k-2}^{-(e_{k-2}-2)s}}\cdot\frac1{1+p_{k+1}^{-s}} =\frac{g_{e_{k-2}+1,3}(p_{k-2}^s)}{1+p_{k+1}^{-s}}>1$
が成り立つが、これも上と同様に
$g_{e_{k-2}+1,3}(p_{k-2}^s)\leq g_{6,3}(p_{k-2}^s)=1+p_{k-2}^{-3s}<1+p_{k+1}^{-s}$
となって矛盾。よって$p_k\geq5$のときは$e_k\leq4$でなければならない。

ステップ3:$5\leq p_k\leq19$ならば$e_k=1$である

$p_k$$p_{k-1}p_k$$p_{k-2}p_{k+1}$
$5$$15$$14$
$7$$35$$33$
$11$$77$$65$
$13$$143$$119$
$17$$221$$209$
$19$$323$$299$
$23$$437$$493$

 $5\leq p_k\leq19,\;e_k=2$となるような高度合成数$n$について、上の表より$p_{k-1}p_k>p_{k-2}p_{k+1}$が成り立つことに注意して自然数$m=n\cdot p_{k-2}p_{k+1}/p_{k-1}p_k< n$を取ると
\begin{eqnarray} \frac{\s_{-s}(n)}{\s_{-s}(m)} &=&\frac{1-p_{k-2}^{-(e_{k-2}+1)s}}{1-p_{k-2}^{-(e_{k-2}+2)s}} \cdot\frac{1-p_{k-1}^{-(e_{k-1}+1)s}}{1-p_{k-1}^{-e_{k-1}s}} \cdot\frac{1-p_k^{-3s}}{1-p_k^{-2s}} \cdot\frac1{1+p_{k+1}^{-s}} \\&=&\frac{f_{e_{k-2}+1}(p_{k-2}^s)f_1(p_{k+1}^s)} {f_{e_{k-1}}(p_{k-1}^s)f_2(p_k^s)}>1 \end{eqnarray}
が成り立つ。いま$e_k=2\leq e_{k-1}\leq e_{k-2}\leq4$より
$f_2(p_{k-1}^s)f_2(p_k^s)< f_5(p_{k-2}^s)f_1(p_{k+1}^s)$
が成り立つことになるが、実は$s>0$において
$f_2(p_{k-1}^s)f_2(p_k^s)>f_5(p_{k-2}^s)f_1(p_{k+1}^s)$
が成り立つ。この証明については細かくは触れ(れ)ません(私の技術的に)が、次のように正当化することはできます。

$x\to\infty$において
$\dis f_e(x)=\frac{1-x^{-e}}{1-x^{-(e+1)}}\fallingdotseq(1-x^{-e})(1+x^{-(e+1)})\fallingdotseq 1-x^{-e}$
と評価できるので$s\to0$において
$f_2(p_{k-1}^s)f_2(p_k^s)\fallingdotseq(1-p_{k-1}^{-2s})(1-p_k^{-2s})\fallingdotseq1-p_{k-1}^{-2s}$
$f_5(p_{k-2}^s)f_1(p_{k+1}^s)\fallingdotseq(1-p_{k-2}^{-5s})(1-p_{k+1}^{-s})\fallingdotseq1-p_{k+1}^{-s}$
すなわち
$f_2(p_{k-1}^s)f_2(p_k^s)\fallingdotseq 1-p_{k-1}^{-2s}>1-p_{k+1}^{-s}\fallingdotseq f_5(p_{k-2}^s)f_1(p_{k+1}^s)$
が成り立つ。$x\to1$においては
$\dis f_e(x)=\frac{\sum^{e-1}_{i=0}x^{-i}}{\sum^e_{i=0}x^{-i}}\fallingdotseq\frac e{e+1}$
と評価できるので$s\to0$において
$f_2(p_{k-1}^s)f_2(p_k^s)\fallingdotseq \frac49>\frac5{12}\fallingdotseq f_5(p_{k-2}^s)f_1(p_{k+1}^s)$
が成り立つ。よって大域的にも(ほとんどの$s$で)
$f_2(p_{k-1}^s)f_2(p_k^s)>f_5(p_{k-2}^s)f_1(p_{k+1}^s)$
が成り立つと考えられる。といった具合である。

なにはともあれこれは矛盾なので$e_k\neq2$、特に$e_k\leq2$より$e_k=1$でなければならない。

ステップ4:$p_k\geq11$ならば$e_k=1$である

$p_k$$p_{k+1}p_{k+2}$$p_{k-2}p_{k-1}p_k$
$11$$221$$385$
$13$$323$$1001$
$17$$437$$2431$
$19$$667$$4199$

 $p_k\geq11,\;e_k=2$となるような高度合成数$n$について、$p_k\geq23$ならばベルトランの仮設より$p_{k+1}<4p_{k-1},\;p_{k+2}<4p_k$なので$p_{k+1}p_{k+2}<16p_{k-1}p_k< p_{k-2}p_{k-1}p_k$、また上の表から$11\leq p_k\leq19$においてもこの不等式は成り立つことに注意して自然数$m=n\cdot p_{k+1}p_{k+2}/p_{k-2}p_{k-1}p_k$を取ると
$\dis\frac{\s_{-s}(n)}{\s_{-s}(m)}=\frac{f_1(p_{k+1}^s)f_1(p_{k+2}^s)}{f_{e_{k-2}}(p_{k-2}^s)f_{e_{k-1}}(p_{k-1}^s)f_2(p_k^s)}>1$
が成り立つが、上と同じように(厳密な証明ではないが)$s\to\infty$において
$\dis\frac{f_1(p_{k+1}^s)f_1(p_{k+2}^s)}{f_2(p_{k-2}^s)f_2(p_{k-1}^s)f_2(p_k^s)} \fallingdotseq\frac{1-p_{k+1}^{-s}}{1-p_{k-2}^{-2s}}<1$
および$s\to0$において
$\dis\frac{f_1(p_{k+1}^s)f_1(p_{k+2}^s)}{f_2(p_{k-2}^s)f_2(p_{k-1}^s)f_2(p_k^s)} \fallingdotseq\frac{\farc14}{\farc8{27}}=\frac{27}{32}<1$
と評価できるので矛盾。よって$e_k=1$を得る。

ステップ5:$p_k=2,3$ならば$n=4,36$である

 $p_k=2,e_k=2$となるような$n$、つまり$n=4$は高度合成数である。実際
$\s_{-s}(1)=1,\s_{-s}(2)=1+2^{-s},\s_{-s}(3)=1+3^{-s}$
は全て$\s_{-s}(4)=1+2^{-s}+4^{-s}$未満である。

 $p_k=3,e_k=3$となるような高度合成数$n=2^e3^2$について、自然数$m=n\cdot5/6< n$を取ると
$\dis\farc{\s_{-s}(n)}{\s_{-s}(m)}=\farc{f_1(5^s)}{f_e(2^s)f_2(3^s)}>1$
が成り立ち、また(厳密な証明ではないが)$s\to\infty$において
$\dis\farc{f_1(5^s)}{f_3(2^s)f_2(3^s)}\fallingdotseq\farc{1-5^{-s}}{1-8^{-s}}<1$
および$s\to0$において
$\dis\farc{f_1(5^s)}{f_3(2^s)f_2(3^s)}\fallingdotseq\farc{\frac12}{\farc34\cdot\farc23}=1$
が成り立つので
$\dis\frac{f_1(5^s)}{f_2(3^s)}\leq f_3(2^s)$
が言える。よって$f_e(2^s)< f_3(2^s)$であり、単調性より$e<3$となる。ここで$e\geq e_k=2$であったので$e=2$すなわち$n=36$となる。
 ただし$24$$36$未満で最大の高度合成数であること(定理$4$$\s_{-s}(30)<\s_{-s}(24)$から簡単にわかる)に注意すると$36$が高度合成数であるためには$\s_{-s}(24)<\s_{-s}(36)$であればよく、これを展開して整理すると
\begin{eqnarray} (1+2^{-s}+4^{-s}+8^{-s})(1+3^{-s})&<&(1+2^{-s}+4^{-s})(1+3^{-s}+9^{-s}) \\8^{-s}(1+3^{-s})&<&(1+2^{-s}+4^{-s})9^{-s} \\9^s(1+3^{-s})&<&8^s(1+2^{-s}+4^{-s}) \\3^s+9^s&<&2^s+4^s+8^s \end{eqnarray}
が必要十分条件ということになる。

 定理5の証明は$s=0$におけるラマヌジャンの論証を元に自力で考えたものになっているために$\s_{-s}(n)<\s_{-s}(m)$を示す議論が多少不完全なものになっています。完全な証明はどこかに載っているのでしょうか...?ちなみにラマヌジャンは定理4と5のことを"We can easily show that(これは簡単に示すことができます)"と言っています。んなわけあるか。

優高度合成数の性質

 優高度合成数$n$はその定義から任意の$m< n$に対して
$\dis\s_{-s}(n)\geq\l(\farc{n}{m}\r)^\e\s_{-s}(m)>\s_{-s}(m)$
が成り立つので高度合成数となります。そして優高度合成数は$s,\e$を用いて次のように明示的に素因数分解できます。

$n=\prod^k_{j=1}p_j^{e_j}$が優高度合成数であるとき、
$\dis e_j=\Bigg\lfloor\frac{\log\big((p_j^\e-p_j^{-s})/(p_j^\e-1)\big)}{s\log p_j}\Bigg\rfloor$および$\dis\frac{\log(1+p_{k+1}^{-s})}{\log p_{k+1}}<\e\leq\frac{\log(1+p_k^{-s})}{\log p_k}$
が成り立つ。

 任意に素数$p_i\leq p_k$を取り、$m=n/p_i< n$とおくと
$\dis\frac{\s_{-s}(n)}{\s_{-s}(m)}=\frac{1-p_i^{-(e_i+1)s}}{1-p_i^{-e_is}} \geq\l(\farc{n}{n/p_i}\r)^\e=p_i^\e\quad\cdots(*_m)$
が成り立ち、また任意に素数$p_i$を取り$l=p_in>n$とおくと
$\dis\frac{\s_{-s}(n)}{\s_{-s}(l)}=\frac{1-p_i^{-(e_i+1)s}}{1-p_i^{-(e_i+2)s}} >\l(\farc{n}{p_in}\r)^\e=p_i^{-\e}\quad\cdots(*_l)$
が成り立つ。これをそれぞれ$e_i$について解くことで
$\dis\frac{\log(\frac{p_i^\e-p_i^{-s}}{p_i^\e-1})}{s\log p_i}-1< e_i\leq\frac{\log(\frac{p_i^\e-p_i^{-s}}{p_i^\e-1})}{s\log p_i}$
すなわち
$\dis e_j=\Bigg\lfloor\frac{\log(\frac{p_j^\e-p_j^{-s}}{p_j^\e-1})}{s\log p_j}\Bigg\rfloor$
を得る。

 いま$e_k=2$つまり$n=4,36$であるとすると$k=1,2$に対して$e_k=2$かつ$e_{k+1}=0$が成り立つので
$\dis e_k=2\leq\frac{\log(\frac{p_k^\e-p_k^{-s}}{p_k^\e-1})}{s\log p_k},\quad e_{k+1}+1=1>\frac{\log(\frac{p_{k+1}^\e-p_{k+1}^{-s}}{p_{k+1}^\e-1})}{s\log p_{k+1}}$
となる。これを$(*_m),(*_l)$の形に戻して$\e$について解くと
$\dis\frac{\log(1+p_{k+1}^{-s})}{\log p_{k+1}}<\e\leq\farc1{\log p_k}\log\l(\frac{1+p_k^{-s}+p_k^{-2s}}{1+p_k^{-s}}\r)$
がわかるが、
$\dis\frac{d}{ds}\l(\frac{\log(1+p_{k+1}^{-s})}{\log p_{k+1}} -\frac{\log\big((1+p_k^{-s}+p_k^{-2s})/(1+p_k^{-s})\big)}{\log p_k}\r) =\frac1{p_{k+1}^s+1}-\farc{2p_k^s+1}{(p_k^s+1)(p_k^{2s}+p_k^s+1)}\geq0$
より(この不等式については(めんどくさいので)証明しない)
$\dis\frac{\log(1+p_{k+1}^{-s})}{\log p_{k+1}}-\frac{\log((1+p_k^{-s}+p_k^{-2s})/(1+p_k^{-s}))}{\log p_k}>\frac{\log2}{\log p_{k+1}}-\farc{\log\frac32}{\log p_k}>0$
なのでそのような$\e$は存在しない。つまり$n=4,36$は優高度合成数ではない。

 以上より$e_k=1$なので$m=n/p_k,l=p_{k+1}n$とおくと
$\dis\frac{\s_{-s}(n)}{\s_{-s}(m)}=1+p_k^{-s}\geq p_k^\e,\quad\frac{\s_{-s}(n)}{\s_{-s}(l)}=\frac1{1+p_{k+1}^{-s}}>p_{k+1}^{-\e}$
すなわち
$\dis\frac{\log(1+p_{k+1}^{-s})}{\log p_{k+1}}<\e\leq\frac{\log(1+p_k^{-s})}{\log p_k}$
を得る。

 いま示したのは$n$が優高度合成数であれば$s$$\e$を用いて明示的に表せれる、という話でしたが、逆に$s$$\e$から作られた$n$は優高度合成数となることが言えます。

 任意の$0<\e\leq\log(1+2^{-s})/\log2$に対して
$n=\prod^\infty_{j=1}p_j^{e_j}$ただし$\dis e_j=\Bigg\lfloor\frac{\log(\frac{p_j^\e-p_j^{-s}}{p_j^\e-1})}{s\log p_j}\Bigg\rfloor$
とおくと、$n$は優高度合成数となる。

 $e_j$の定義より定理6証明内の不等式$(*_m),(*_l)$が成り立つことに注意する。
いま任意に$m\neq n$を取り$n/m=\prod_jp_j^{e'_j}\quad(-e_j\leq e'_j)$と(負の指数も認めて)素因数分解する。このとき$m=\prod_jp_j^{e_j+e'_j}$より
$\dis\frac{\s_{-s}(n)}{\s_{-s}(m)}=\prod_j\frac{1-p_j^{-(e_j+1)s}}{1-p_j^{-(e_j+e'_j+1)s}}$
が成り立つ。この各因数について、

  • $e'_j$が負のとき、
    $\dis\frac{1-p_j^{-(e_j+1)s}}{1-p_j^{-(e_j+e'_j+1)s}} =\prod^{-e'_j-1}_{i=0}\frac{1-p_j^{-(e_j-i+1)s}}{1-p_j^{-(e_j-i)s}} =\prod^{-e'_j-1}_{i=0}\frac1{f_{e_j-i}(p_j^s)} \geq \frac1{f_{e_j}(p_j^s)^{-e'_j}}\geq p_j^{e'_j\e}$
  • $e'_j$が正のとき、
    $\dis\frac{1-p_j^{-(e_j+1)s}}{1-p_j^{-(e_j+e'_j+1)s}} =\prod^{e'_j}_{i=1}\frac{1-p_j^{-(e_j+i)s}}{1-p_j^{-(e_j+i+1)s}} =\prod^{e'_j}_{i=1}f_{e_j+i}(p_j^s)\geq f_{e_j+1}(p_j^s)^{e'_j}> p_j^{e'_j\e}$

となるのでこれらを掛け合わせることで
$\dis\farc{\s_{-s}(n)}{\s_{-s}(m)}\geq\prod_jp_j^{e'_j\e}=\l(\frac nm\r)^\e$
を得る。また$m>n$のとき、少なくともどれか一つは$e'_j>0$となるので真の不等号が成り立つ。
よって$n$は優高度合成数である。

 また別の表現として次のような公式が成り立ちます。これは後の記事でも使われるように不等式や近似と相性のいい公式となっています。

 $N$を優高度合成数とし、実数列$\{x_r\}$を方程式$\dis x_r^\e=\frac{1-x_r^{-s(r+1)}}{1-x_r^{-sr}}$で定める。このとき
$\dis\vt(x)=\sum_{p\leq x}\log p,\quad\Pi_r(x)=\prod_{p\leq x}\farc{1-p^{-s(r+1)}}{1-p^{-sr}}$
とおくと
$N=\exp(\sum^\infty_{r=1}\vt(x_r)),\quad\s_{-s}(N)=\prod^\infty_{r=1}\Pi_r(x_r)$
が成り立つ。

 素因数分解$N=\prod^k_{j=1}p_j^{e_j}$において$e_i\geq r$となるような$i$の内、最大のものを$i_r\;(r=1,2,\ldots,e_1)$とおく。このとき$e_1\geq e_2\geq\cdots\geq e_k=1$であったことを思い出すと、
$N=\prod^{e_1}_{r=1}\prod_{p\leq p_{i_r}}p =\exp(\sum^{e_1}_{r=1}\sum_{p\leq p_{i_r}}\log p)=\exp(\sum^{e_1}_{r=1}\vt(p_{i_r}))$
$\dis\s_{-s}(N)=\prod^{e_1}_{r=1}\prod_{p\leq p_{i_r}}\frac{1-p^{-s(r+1)}}{1-p^{-sr}} =\prod^{e_1}_{r=1}\Pi_r(p_{i_r})$
が成り立つ。

 いま定理6の証明内の$(*_m)$を思い出すと$e_{i_r}\geq r$より
$\dis p_{i_r}^\e\leq \frac1{f_{e_{i_r}}(p_{i_r}^s)}\leq \frac1{f_r(p_{i_r}^s)} =\frac{1-p_{i_r}^{-s(r+1)}}{1-p_{i_r}^{-sr}}$
であって、また$(*_l)$を思い出すと$e_{i_r+1}\leq r-1$より
$\dis p_{i_r+1}^\e>\frac1{f_{e_{i_r+1}+1}(p_{i_r+1}^s)}\geq \frac1{f_r(p_{i_r+1}^s)}=\frac{1-p_{i_r+1}^{-s(r+1)}}{1-p_{i_r+1}^{-sr}}$
が成り立つ。つまり$h_r(x)=x^\e-1/f_r(x^s)$とおくと$h_r(p_{i_r})\leq0,\;h_r(p_{i_r+1})>0$なので$h_r(x_r)=0$なる実数$p_{i_r}\leq x_r< p_{i_r+1}$が存在し、特に$p_{i_r}$$x_r$以下の素数で最大のものとなる。すなわち$\vt(x_r)=\vt(p_{i_r}),\;\Pi_r(x_r)=\Pi_r(p_{i_r})$が成り立つ。
 また$(*_l)$から$h_{e_1+1}(2)>0=h_{e_1+1}(x_{e_1+1})$なので$r>e_1$において$x_r<2$が成り立つ(補題3参照)。つまり$r>e_1$において$\vt(x_r)=\Pi_r(x_r)=0$が成り立つ。

 以上より
$N=\exp(\sum^{e_1}_{r=1}\vt(p_{i_r}))=\exp(\sum^\infty_{r=1}\vt(x_r))$
$\s_{-s}(N)=\prod^{e_1}_{r=1}\Pi_r(p_{i_r})=\prod^\infty_{r=1}\Pi_r(p_{i_r})$
を得る。

 任意の自然数$n$$0<\e\leq\log(1+2^{-s})/\log2$に対して
$\dis\s_{-s}(n)\leq n^\e\prod^\infty_{r=1}\farc{\Pi_r(x_r)}{e^{\e\vt(x_r)}}$
が成り立つ。特に$n=\exp(\sum^\infty_{r=1}\vt(x_r))$のとき、等号が成立する。

 定理$7,8$より$N=\prod^\infty_{r=1}e^{\vt(x_r)}$は優高度合成数となるので任意の$n\neq N$に対して
$\dis\s_{-s}(n)\leq n^\e\frac{\s_{-s}(N)}{N^\e}=n^\e\prod^\infty_{r=1}\farc{\Pi_r(x_r)}{e^{\e\vt(x_r)}}$
を得る。また少なくとも$n=N$のとき、この等号は成立する。

 以上です。では。

おまけ:$s=0$の(優)高度合成数の性質

 $s=0$の(優)高度合成数に成り立つ性質およびその証明は$s>0$の時とほとんど同じです。というか$s>0$における諸不等式を$s\to0$に飛ばせば全く同じ議論ができるので証明については省略します。

$n$が高度合成数であるとき$e_1\geq e_2\geq\cdots\geq e_k\;(\geq1)$が成り立ち、特に$n\neq4,36$のとき$e_k=1$が成り立つ。

 $n$が優高度合成数であるとき、
$\dis e_j=\l\lfloor\frac1{p_j^\e-1}\r\rfloor$および$\dis\frac{\log2}{\log p_{k+1}}<\e\leq\frac{\log2}{\log p_k}$
が成り立つ。逆に任意の$0<\e\leq1$に対して
$n=\prod^\infty_{j=1}p_j^{e_j}$ただし$e_j=\lfloor1/(p_j^\e-1)\rfloor$
で自然数$n$を定めると、$n$は優高度合成数となる。

 $N$を優高度合成数とし、実数列$\{x_r\}$$\dis x_r=\l(1+\frac1{r}\r)^\frac1\e$と定める。このとき
$N=\exp(\sum^\infty_{r=1}\vt(x_r)),\quad d(N)=\prod^\infty_{r=1}\Pi_r(x_r)$
が成り立つ。また任意の自然数$n$$0<\e\leq1$に対して
$\dis d(n)\leq n^\e\prod^\infty_{r=1}\farc{\Pi_r(x_r)}{e^{\e\vt(x_r)}}$
が成り立つ。特に$n=\exp(\sum^\infty_{r=1}\vt(x_r))$のとき、等号が成立する。

おまけ:$s=0$における優高度合成数についての色々な表

 ($s=0$の)優高度合成数を小さい順に$N_1,N_2,\ldots$と置いたとき、$N_1\sim N_{10}$および$d(N_i)$は次のように求まります。
\begin{eqnarray} N_1&=&2&=&2&\quad&d(N_1)&=&2 \\N_2&=&6&=&2\cdot3&\quad&d(N_2)&=&4 \\N_3&=&12&=&2^2\cdot3&\quad&d(N_3)&=&6 \\N_4&=&60&=&2^2\cdot3\cdot5&\quad&d(N_4)&=&12 \\N_5&=&120&=&2^3\cdot3\cdot5&\quad&d(N_5)&=&16 \\N_6&=&360&=&2^3\cdot3^2\cdot5&\quad&d(N_6)&=&24 \\N_7&=&2520&=&2^3\cdot3^2\cdot5\cdot7&\quad&d(N_7)&=&48 \\N_8&=&5040&=&2^4\cdot3^2\cdot5\cdot7&\quad&d(N_8)&=&60 \\N_9&=&55440&=&2^4\cdot3^2\cdot5\cdot7\cdot11&\quad&d(N_9)&=&120 \\N_{10}&=&720720&=&2^4\cdot3^2\cdot5\cdot7\cdot11\cdot13&\quad&d(N_{10})&=&240 \end{eqnarray}
また対応する$\e_i$の取り得る値の範囲を$\d_{i+1}<\e_i\leq\d_i$とおくとこれらは次のように求まります。
\begin{eqnarray} \d_1&=&1&=&1 \\\d_2&=&\log_32&=&0.6309\ldots \\\d_3&=&\log_23-1&=&0.5849\ldots \\\d_4&=&\log_52&=&0.4306\ldots \\\d_5&=&2-\log_23&=&0.4150\ldots \\\d_6&=&1-\log_32&=&0.3690\ldots \\\d_7&=&\log_72&=&0.3562\ldots \\\d_8&=&\log_25-2&=&0.3219\ldots \\\d_9&=&\log_{11}2&=&0.2890\ldots \\\d_{10}&=&\log_{13}2&=&0.2702\ldots \end{eqnarray}
そして$\e_i=\d_i$において対応する実数列$\{x_r^{(i)}\}$$d(N_i)/N_i^{\e_i}$は次のように求まります。
\begin{array}{|c|l|l|l|l|l|l|c|l|}\hline i&x_1^{(i)}&x_2^{(i)}&x_3^{(i)}&x_4^{(i)}&x_5^{(i)}&x_6^{(i)}&\quad&d(N_i)/N_i^{\e_i} \\\hline 1&2&1.5&\cdots&&&&&1 \\\hline 2&3&1.901\ldots&\cdots&&&&&1.291\ldots \\\hline 3&3.270\ldots&2&1.635\ldots&\cdots&&&&1.402\ldots \\\hline 4&5&2.563\ldots&1.950\ldots&\cdots&&&&2.057\ldots \\\hline 5&5.312\ldots&2.656\ldots&2&1.711\ldots&\cdots&&&2.193\ldots \\\hline 6&6.541\ldots&3&2.180\ldots&1.830\ldots&\cdots&&&2.733\ldots \\\hline 7&7&3.121\ldots&2.242\ldots&1.870\ldots&\cdots&&&2.948\ldots \\\hline 8&8.611\ldots&3.523\ldots&2.443\ldots&2&1.761\ldots&\cdots&&3.856\ldots \\\hline 9&11&4.066\ldots&2.705\ldots&2.163\ldots&1.878\ldots&\cdots&&5.103\ldots \\\hline 10&13&4.483\ldots&2.899\ldots&2.283\ldots&1.963\ldots&\cdots&&6.269\ldots \\\hline \end{array}

参考文献

投稿日:20211115
更新日:20211115

投稿者

主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

コメント

主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。