リーマンゼータ関数
(リーマンゼータ函数 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/05/27 01:31 UTC 版)
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。
|


数学におけるリーマンゼータ関数(リーマンゼータかんすう、英: Riemann zeta function、独: Riemannsche zeta funktion、中: 黎曼泽塔函数)は、18世紀にバーゼル問題を解決したレオンハルト・オイラーによる(現在リーマンゼータ関数と呼ばれる)関数の特殊値に関する重要な発見から始まり、後世により重要な貢献をしたベルンハルト・リーマンが用いた ζ による表記にちなみ、リーマンゼータ関数またはリーマンのゼータ関数とも呼ばれる。リーマンゼータ関数は、数学の分野のひとつである解析的整数論において素数分布の研究をはじめとした重要な研究対象であり、数論や力学系の研究をはじめ数学や物理学などの様々な分野で用いられているゼータ関数と呼ばれる一連の関数の中でも、最も歴史的に古いものである。
リーマンゼータ函数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/14 05:11 UTC 版)
詳細は「リーマンゼータ函数」を参照 オイラーは、算術の基本定理が(少なくとも形式的には)オイラー積 s > 1 {\displaystyle s>1} で、 p {\displaystyle p} を素数とすると、 ∑ n = 1 ∞ 1 n s = ∏ p ∞ 1 1 − p − s {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p}^{\infty }{\frac {1}{1-p^{-s}}}} を意味することを示した。素数の無限性のオイラーによる証明は、s = 1 における左辺の発散(いわゆる調和級数)を用いており、純粋な解析的結果である。オイラーはまた、整数の性質の研究を目的に解析的議論を、特に生成べき級数の構成を通して初めて行った。これが解析的整数論の始まりであった。 後日、リーマンは、複素数の s についてこの函数を考え、s = 1 で単純な極を持ち全平面上の有理型函数へ拡大することができることを示した。今日、この函数はリーマンゼータ函数として知られ、ζ(s) と記す。この函数に関して多くの文献がある。函数はより一般的なディリクレのL-函数の特殊な場合である。 解析的整数論の学者は、素数定理のような近似誤差に興味を持っていることがある。この場合、誤差は x/log x よりも小さい。π(x) についてのリーマンの公式は、近似の誤差項をゼータ函数の零点で表現できることを示している。1859年の論文 "On the Number of Primes Less Than a Given Magnitude" で、リーマンは ζ のすべての「非自明」な零点は直線 ℜ ( s ) = 1 / 2 {\displaystyle \,\Re (s)=1/2} の上にあることを予想したが、この予想は未だ証明されていない。この有名な長い間研究されている予想はリーマン予想として知られ、数論において深い意味を持つ。実際、多くの重要な定理が予想を正しいとする前提の下で証明されている。たとえば、リーマン予想を前提とすると、素数定理の誤差項は O ( x 1 / 2 + ε ) {\displaystyle O(x^{1/2+\varepsilon })} である。 20世紀初め、ハーディとリトルウッドは、リーマン予想を証明する試みの中でゼータ函数についての多くの結果を証明した。実際、1914年、ハーディは臨界線 ℜ ( z ) = 1 / 2. {\displaystyle \,\Re (z)=1/2.\,} の上に、無限に多くの零点があることを証明した。このことは、臨界線上の零点の密度を記述するいくつかの定理を導いた。
※この「リーマンゼータ函数」の解説は、「解析的整数論」の解説の一部です。
「リーマンゼータ函数」を含む「解析的整数論」の記事については、「解析的整数論」の概要を参照ください。
- リーマンゼータ函数のページへのリンク