ケンプナー関数

ケンプナー関数のグラフ

数論において、ケンプナー関数（けんぷなーかんすう、テンプレート:Lang-en-short）$S(n)$ は正整数$n$について定義される関数である。

定義

テンプレート:Nowrapを$n$が割り切るとき$s$の最小値を与える関数である。例えば$8$ならば、$1!,2!,3!$は$8$で割り切ることはできないが、テンプレート:Nowrapで割り切ることができる。つまりテンプレート:Nowrapである。他の言い方をすれば$n$がテンプレート:Nowrapの約数となる最小の整数$s$を与える関数である。

この関数は、素数においては一次関数的に成長し、階乗数では対数関数的成長を見せる、一貫性のないテンプレート:仮リンクをもつ。

$n$	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28
$S(n)$	0,1	2	3	4	5	3	7	4	6	5	11	4	13	7	5	6	17	6	19	5	7	11	23	4	10	13	9	7

歴史

ケンプナー関数は、1883年、リュカによって初めて言及された。その後は、1887年のヨーゼフ・ノイベルグのジャーナルMathesisにも見られた。1918年、テンプレート:仮リンク が最初に正しい計算アルゴリズムを与えた。またケンプナーは$S(1)=0$としている。

1980年にスマランダチェが再発見し研究したことからスマランダチェ関数（Smarandache function）とも呼ばれる。

性質

テンプレート:節スタブ テンプレート:Nowrapは$n$を約数に持つため、$S(n)$は常に$n$以下である。$n$ が素数か4であることとテンプレート:Nowrapが成り立つことは同値である。つまり$S(n)$ができるだけ大きくなるとき$n$は素数である。逆に、できるだけ小さくする場合は$n$を階乗数にすればよい（テンプレート:Nowrapについて テンプレート:Nowrapとなる）。

$S(n)$ は係数が整数である、出力された整数値がすべて$n$で割り切れるモニック多項式の最小次数となる。例えば$S(6)=3$について、以下の三次関数が出力する整数値は6で割り切れる（6を法として0である）。$$x(x-1)(x-2)=x^3-3x^2+2x,$$しかし二次または一次のモニック多項式で、その出力された整数値が常に6で割り切れるものは存在しない。

ほとんどすべての整数$n$（テンプレート:仮リンクが0という意味）で、$S(n)$が$n$の最大の素因数と一致する事がエルデシュによって指摘された。この問題は1911年にテンプレート:仮リンクで発表され1994年に解決された。

Tutescuは$S(n)\ne S(n+1)$と予想している。

4以上の整数$x$について、素数計数関数とガウス記号とケンプナー関数について以下の式が成り立つ。

$\pi (x)=-1+\sum _{k=2}^x\lfloor \frac{\mu (k)}{k}\rfloor$

計算複雑さ

任意の整数$n$のケンプナー関数$S(n)$は、$n$の素因数の素数冪 $p^e$の中で、$S(p^e)$の最大値である。$n$が$p^e$自身であるとき、そのケンプナー関数は、$p$の倍数の中でその階乗の約数が$p$の十分な倍数を持つものを見つける、という手順程度のテンプレート:仮リンク で見つけられる。 同様のアルゴリズムを任意の$n$に拡張すると、$n$のそれぞれ素因数で、$p^e$と同様の手順を行い、最も大きい値が$S(n)$の値となる。

素数$p$と$p$より小さい$x$で、$n=px$と表せるとき$S(n)$は$p$である。したがって、半素数のケンプナー関数の計算は、その素因数分解と同等の難しさであることを示唆している。より一般的に、$n$が合成数ならば、$S(n)$を繰り返し評価して$n$が素因数分解できたとしても、$S(n)$と$n$の最大公約数は非自明である。ゆえに、ケンプナー関数の計算は一般的に、素因数分解より簡単でない。

級数

ケンプナー関数に関する級数には以下のようなものがある。総じてテンプレート:仮リンクと呼ばれる。

$\sum _{n=2}^{\mathrm{\infty }}\frac{1}{S(n)!}=1.09317\dots$

$\sum _{n=2}^{\mathrm{\infty }}\frac{S(n)}{n!}=1.71400629359162\dots$（無理数であることが知られている）

$\sum _{n=2}^{\mathrm{\infty }}\frac{1}{\prod _{i=2}^{n}S(i)}=0.719960700043\dots$

$\sum _{n}S(n{)}^{-\alpha }{S(n)!}^{-1/2}<\mathrm{\infty },\text{ con }\alpha >1.$

類似物

Pseudosmarandache Function

Pseudosmarandache Function$Z(n)$は、$s$番目の三角数が$n$を割り切るとき、最小の$s$を出力する関数である。以下のような性質を持つ。

• $\sqrt{n}<Z(n)\le 2n-1$
• $Z(n)\le n-1$（奇数の場合）
• $Z(2^k)=2^{k+1}-1$
• $n$についての方程式$\frac{n}{Z(n)}=k(k\in \mathbb{Z},k\ge 2)$は無限個の解を持つ。
• $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{Z(n{)}^{\alpha }}$は$\alpha >1$ならば収束する。
• $\frac{Z(n+1)}{Z(n)},\frac{Z(n-1)}{Z(n)},\frac{Z(2n)}{Z(n)}$は発散する。

Smarandache-double factorial Function

Smarandache-double factorial Function$\mathrm{S}\mathrm{d}\mathrm{f}(n)$は$s!!$（二重階乗）が$n$を割り切るとき、最小の$s$を出力する関数である。

Smarandache Near-to-Primorial Function

Smarandache Near-to-Primorial Functionは、$s\mathrm{\#}$（素数階乗）または$s\mathrm{\#}\pm 1$のいずれかが$n$を割り切るとき、最小の$s$を出力する関数である。

スマランダチェ-ワグスタッフ関数

スマランダチェ-ワグスタッフ関数（Smarandache-Wagstaff Function）$\mathrm{S}\mathrm{w}(n)$は1から$s$番目までの階乗数の和が$n$を割り切るとき、最小の$s$を出力する関数である。0から$s$番目までとしたものはスマランダチェ-クレパ関数（Smarandache-Kurepa Function）と呼ばれる。

Smarandache Ceil Function

Smarandache Ceil Function$S_k(n)$は、$s^k$が$n$を割り切る最小の整数$s$を出力する関数である。$k=1$では、$S_1(n)=n$である。

$x^k\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)$の解の個数を$M_k(n)$として$S_k(n)=\frac{n}{M_k(n)}$としても表される。

関連項目

• テンプレート:仮リンク
• アンドリカの予想

参考文献

• Kenichiro Kashihara　COMMENTS AND TOPICS ON SMARANDACEE NOTIONS AND PROBLEMS
• SMARANDACHE NOTIONS JOURNAL vol7,vol8,vol9,vol10,vol11,vol12,vol13