スキューズ数

提供: testwiki
ナビゲーションに移動 検索に移動

スキューズ数（スキューズすう、Skewes number）は、南アフリカの数学者スタンレー・スキューズが素数の個数に関する研究において用いた、極めて大きな数である。具体的には、テンプレート:Mvar 以下の素数の個数 テンプレート:Math および 対数積分 テンプレート:Math について、テンプレート:Math を満たす最小の自然数 テンプレート:Mvar の上界としてスキューズが与えた数を指すが、このような テンプレート:Mvar 自体を指すこともある。2021年時点で、このような テンプレート:Mvar は 1014 より大きくテンプレート:Sfn 1.3983 × 10316 未満テンプレート:Sfnであることが知られているが、正確な値は不明である。

歴史

素数定理によれば、テンプレート:Math は漸近的に テンプレート:Math に等しい。実際の値を比較すると、現実的に計算が実行可能な程度に テンプレート:Mvar が小さいあいだは常に テンプレート:Math の方が大きいように見える。このことから、テンプレート:Math となる テンプレート:Mvar が存在するか、という問題が自然に考えられる。ガウスやリーマンはそのような テンプレート:Mvar は存在しない、と予想していた。スキューズの指導教官であるリトルウッドは、1914年の論文において、そのような テンプレート:Mvar が存在することのみならず、テンプレート:Math の符号は無限回変わることを示した。すなわち、テンプレート:Math と テンプレート:Math は無限回抜きつ抜かれつするのである。しかし、リトルウッドの証明は、いつ初めて テンプレート:Math が テンプレート:Math を追い抜くか、という見積もりを与えるようなものではなかった。

スキューズは、1933年の論文において、リーマン予想が真であるとの仮定の下に、テンプレート:Math となる テンプレート:Mvar は、次の数以下に存在することを証明した。

eee79(≈10101033.947<10101034)

これがオリジナルのスキューズ数であり、第一スキューズ数とも呼ばれる。

後にグラハム数などにその座を譲ることになるが、当時としては意味のある数学的議論に登場する最大の数であった[1]。なお、この見積もりは非常に大雑把なものであり、後述のように評価は大幅に改良される。

さらに、スキューズは1955年には、リーマン予想が真であると仮定することなしに、テンプレート:Mvar は次の数以下に存在することを証明した。

eeee7.705(<101010964)

これは第二スキューズ数と呼ばれる。よりシンプルな表現の近似 101010103 も第二スキューズ数の近似値としてしばしば用られる。

評価の改良

スキューズの与えたこれらの見積もりは非常に大きいため、より小さな評価を与える研究が進められた。それは、コンピュータを用いてリーマンゼータ関数の零点を計算することによって行われる。Lehman (1966) が示したところによると、1.53 × 101165 から 1.65 × 101165 の間に テンプレート:Math となるような整数 テンプレート:Mvar が連続して 10500 個以上ある。H. J. J. te Riele (1987) は上からの評価を約 7 × 10370 にまで、Bays & Hudson (2000) は約 1.3983 × 10316 にまで下げ、その付近に テンプレート:Math なる テンプレート:Mvar が存在することを示した。

一方、Rosser & Schoenfeld (1962) は、テンプレート:Math においては常に テンプレート:Math であることを示した。この記録は Brent (1975) によって 8 × 1010 にまで、Kotnik (2008) によって 1014 にまで更新された。

正確にいつ初めて テンプレート:Math が テンプレート:Math を追い抜くのかは、未解決の問題である。それどころか、テンプレート:Math となる具体的な テンプレート:Mvar の値はひとつも知られていない。

Wintner (1941) は、テンプレート:Math なる テンプレート:Mvar の割合は正であることを示し、Rubinstein & Sarnak (1994) はその割合がおよそ 0.00000026 であることを示した。

出典

テンプレート:Reflist

参考文献

関連項目

外部リンク

テンプレート:ウィキポータルリンク テンプレート:巨大数

  1. ↑ テンプレート:Cite book
「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=スキューズ数&oldid=1854」から取得