オイラー積とは
オイラー積は、無限積の形式でディリクレ級数を
素数に基づいて表す方法です。この概念は、18世紀に
数学者の
レオンハルト・オイラーによって発表されました。彼が特に
リーマンゼータ関数について扱ったことが、この概念の重要性を高めています。
定義と式
オイラー積は次のように定義されます。
$$
\sum_{n=1}^{\infty} \frac{a(n)}{n^{s}} = \prod_{p} \frac{1}{1 - \frac{a(p)}{p^{s}}}
$$
ここで、$a(n)$は
自然数$n$に関する
乗法的関数、$p$は全ての
素数、$s$は複
素数です。この表現が成り立つためには、$a(n)$が完全
乗法的関数である必要があります。具体的には、$a(1) = 1$、$a(mn) = a(m) a(n)$が全ての
自然数$m$と$n$について成り立つ必要があります。
一般に、$s$の実部$ ext{Re}(s)$がある常数$C$よりも大きい場合、上記の級数が
絶対収束することが知られています。
リーマンゼータ関数は、次のように宣言されます。
$$
\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^{s}} = \frac{1}{1^{s}} + \frac{1}{2^{s}} + \frac{1}{3^{s}} + \ldots
$$
オイラー積表示では、次のように書き換えることができます。
$$
\zeta(s) = \prod_{p} \frac{1}{1 - \frac{1}{p^{s}}}
$$
この表現は、$s$の実部が1より大きいときに成り立ちます。オイラーは
1737年にこの事実に初めて到達し、ゼータ関数の性質を説明しました。
オイラーの手法
オイラーは、まず最小の
素数2の$-s$乗である$rac{1}{2^s}$を用いてゼータ関数の左辺にかけ、その後両辺から引くことで新たな等式を得ました。このプロセスを繰り返し、続けて他の
素数の$-s$乗をかけていきます。これにより、右辺の項が徐々に整理され、最終的にはオイラー積の形が導き出されます。
その他の関数に対するオイラー積
オイラー積は
リーマンゼータ関数以外にも多くの
数学的関数に適用されます。例えば、リウヴィル関数$
ewline λ(n)$やメビウス関数$
ewline μ(n)$のオイラー積表示も知られています。これらの関数に対するオイラー積が導かれる過程は、
リーマンゼータ関数の場合と似た手法で行われます。オイラー積は、数論の多くの問題における強力なツールとなっています。
結論
オイラー積は数論の中心的な概念であり、数の性質を探求する重要な道具です。特に、
素数の分布を理解する上で、オイラー積は非常に有用な役割を果たしています。この理論によって、ゼータ関数や他の多くの
数学的関数との関係が明らかにされ、
数学の発展に貢献しています。