この記事ではラマヌジャンの書いた論文"Irregular numbers"を読んでいきます。
タイトルの4という番号はハーディによる書籍"Collected Papers of Srinivasa Ramanujan"におけるナンバリングに準じています。ちなみに"Collected Papers"の全容については
こちらのサイト
や
こちらのサイト
にて閲覧することができます。
なお各命題の証明については論文で示されている式変形以外は自力で考案したものとなるので至らぬ点もあるかもしれませんがあしからず。
この論文の主題はゼータ関数のオイラー積
およびその類似を用いることで、例えば
のようにある特定の性質を持つ数の逆数和を求めることにあります。
数論的関数
を満たすことを言う。このとき
が成り立つことに注意する。
と定める。このとき
は完全乗法的な関数を定めることに注意する(これをリウヴィル関数と言う)。
完全乗法的な関数
が成り立つ。
とわかる。
また第二式については
第一式は
また第二式は
と変形することでわかる。
よく知られているように
が成り立つことからわかる。
とおくと
が成り立つ。
に注意すると
を得る。
平方因子を持たない自然数全体を
とおくと完全乗法的な関数
が成り立つ。
とわかる。
公式3,5からわかる。
奇数個の異なる素数の積として表せる自然数全体を
とおくと
が成り立つ。
を得る。
平方因子を持つ自然数全体を
とおくと
が成り立つ。
とわかる。