この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "オイラー積" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2023年6月) |
オイラー積(オイラーせき、英: Euler product)はディリクレ級数を素数に関する総乗の形で表した無限積である。ディリクレ級数の一種のリーマンのゼータ関数についてこの無限積が成り立つことを証明した18世紀の数学者レオンハルト・オイラーの名前にちなむ。ディリクレ級数は以下の式の左辺で定義され、右辺がオイラー積表示である。
![{\displaystyle \sum _{n=1}^{\infty }{\frac {a(n)}{n^{s}}}=\prod _{p}{\frac {1}{1-{\frac {a(p)}{p^{s}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1d720a724d837081ce3c3090b74b9990f57c406)
a(n) は n に関する乗法的関数、p は全ての素数にわたり、変数 s は複素数である。このような表示が成り立つためには a(n) が完全乗法的関数、すなわち、 a(1) = 1, a(mn) = a(m) a(n) を全ての自然数 m, n について満たさなければならない。一般に複素数 s の実部 Re(s) に対して
ならば上記の級数(または無限積)が絶対収束するようなある実数の定数 C が存在することが知られている。
a(n) = 1 とおいたとき
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p}{\frac {1}{1-{\frac {1}{p^{s}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e7941210d687559afaf000ecede8e0ed6d0b685)
となる。これがリーマンゼータ関数のオイラー積表示である。すなわち
![{\displaystyle {\frac {1}{1^{s}}}+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+\cdots =\left({\frac {1}{1-{\frac {1}{2^{s}}}}}\right)\left({\frac {1}{1-{\frac {1}{3^{s}}}}}\right)\left({\frac {1}{1-{\frac {1}{5^{s}}}}}\right)\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d33977808766f8d48371a0af4439abd916217bf)
これはRe(s) > 1 のとき収束する。
リーマンゼータ関数のオイラー積は1737年にオイラーによって発見された。まずゼータ関数 ζ(s) は s の実部が1より大きいとき、次のように定義される。
-
ここで両辺に最小の素数2の-s乗 1/2s をかけると
-
となり、辺々引くと
-
この両辺に今度は2の次の素数3の-s乗 1/3s をかけると
-
となり、再び辺々引くと
-
以下同様に次々と素数の-s乗を両辺にかけて前の式から引くという操作を続けると右辺の 1/1s 以外の項は(素因数分解の一意性によって)消えるので
-
したがってゼータ関数は以下の形で表現される。
-
上記の式に形式的に s=1 を代入すると
-
ここで左辺は調和級数であり、正の無限大に発散するので右辺も同様に発散すると考えられる。このことから素数の個数は有限ではないことが導かれる。なぜならもし素数が有限個なら右辺はある有限の値に収束するからである。
ゼータ関数については上記のように
-
である。いっぽうリウヴィル関数 λ(n) については
-
メビウス関数 μ(n) では
-
や左辺の分子の絶対値をとった
-
という無限積が知られている。