|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 明示 ： [めいじ] 1. (n,vs) specification 2. explicitly state ・ 公 ： [こう] 1. (n,suf) prince 2. lord 3. duke 4. public 5. daimyo 6. companion 7. subordinate ・ 公式 ： [こうしき] 1. (adj-na,n) formula 2. formality 3. official ・ 式 ： [しき] 1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style
リーマンの素数公式（Riemann's prime number formula、あるいは明示公式、explicit formula）とは、ドイツの数学者ベルンハルト・リーマンが1859年に自身の論文「与えられた数より小さい素数の個数について」において発表した、素数の個数関数 π(''x'') をゼータ関数の非自明な零点を用いて表示する公式である。素数公式のリーマン自身の証明は同論文の他のいくつかの結果同様不完全だったが、フォン・マンゴルドによって1895年に厳密に証明された。 == 概要 == リーマンの定義した素数の個数関数とは、大きさが ''x'' 以下の素数の個数を表す関数で、厳密には下のように定義される。 ここで ''p'' は素数を表し、Σ' はちょうど ''x'' が項数が増える整数のときは和の最後の項を半分にして足すことを示す。すなわち、不連続点における値を左右両極限値の平均として定めることを意味する。参考のためいくつかの特殊値を書けば π(1) = 0, π(2) = 1/2, π(3) = 3/2, π(4) = 2 である。リーマンはまず補助関数として次のような関数 Π(''x'')〔リーマン自身は ''f''(''x'') と表している。〕を導入した。 ''x'' < 2 のとき π(''x'') = 0（したがって Π(''x'') も 0）なので実質有限和であることに注意する。この式にメビウスの反転公式を用いると、 を得る。ここに μ(''m'') はメビウス関数であり、2つの目の等式は上述の注意による。 リーマンは同論文でゼータ関数 ζ(''s'')〔実変数の場合はすでにオイラーが考察していた。この記号はリーマンによる。〕を複素変数に拡張し、解析接続を行った上で次の等式、 を示し、この式にメリン変換の反転公式を適用することで が成り立つことを示した。ただし、第2項の和は ρ が ζ(''s'') の非自明な零点〔非自明な零点 ρ に対しては 0 < Re ρ < 1 が成り立つこと知られている。もっと強く Re ρ = 1/2 が成り立つのではないか？という主張がリーマン予想である。〕（実軸上にない零点）全体をわたり、実軸に近い順番〔この和は条件収束であるため、順序は重要である。〕に足していく、つまり と解釈するものとする。上記の式を併せると、リーマンの素数公式、 を得る。 この公式において li(''x'') の次に大きい数項は全て負の符号を持っているため、リーマンは論文中に「π(''x'') < li(''x'') が 常に成り立つというガウスの予想を支持する」と書いているが、この予想はのちにリトルウッド (en) による、π(''x'') - li(''x'') は無限回符号を変える、という結果によって否定されることになる。 論文のタイトルにも現れているようにこの公式がリーマンの主たる目的であったため、同じ論文において述べられたリーマン予想に関しては「厳密な証明がほしいが、調べている直接の対象には必要がない」と述べるにとどまっている。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「リーマンの素数公式」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Explicit formulae (L-function) 」があります。 スポンサード リンク
|