デデキントのイータ関数

デデキントのイータ関数

デデキントのイータ関数（Dedekind Eta function）は、複素数τに基づいて定義され、形式的には次のように表されます。

$$
egin{align}
η(τ) &= e^{rac{rac{ ext{π} i τ}{12}}} imes ext{prod}_{m=1}^{∞} (1 - e^{2 ext{π} i τ m}) \\
& ext{(ℑ τ > 0)}
ext{\end{align}}
$$

この関数は、ヤコビの三重積の公式を通じても表現されることがあり、その場合、次のように記述されます。

$$
egin{align}
η(τ) &= e^{rac{ ext{π} i τ}{12}} imes ext{sum}_{n=- ext{∞}}^{ ext{∞}} (-1)^{n} imes (e^{2 ext{π} i τ})^{rac{3n - 1}{2}} \\
&= ext{sum}_{n=- ext{∞}}^{ ext{∞}} (-1)^{n} imes (e^{2 ext{π} i τ})^{rac{(6n - 1)^{2}}{24}} \\
& ext{(ℑ τ > 0)}
ext{\end{align}}
$$

この関数は上半平面において正則であり、特異点や零点を持たない特性があります。ただし、実軸上には無数の稠密な零点を持つことも特徴です。

極と零点

複素数τの虚部が正であるとき、次の不等式が成立します。

$$
< 1
$$

これによって、各種の対数と和の項を評価することができ、結果としてイータ関数が上半平面の特性を持つ理由が示されます。なお、もしτが有理数であるなら、特定のmに対して零点が生じるため、実数軸上にある零点が密に分布することがわかります。

イータ関数とテータ関数の関係

イータ関数はテータ関数を用いて表すことができます。これはオイラーの分割恒等式を用いることで次のように記述されます。

$$
η^{3}(τ) = e^{rac{ ext{π} i τ}{4}} imes ext{prod}_{m=1}^{ ext{∞}} imes (1 - e^{2 ext{π} i τ m})^{3}
$$

また、さまざまなアルゴリズムや方法論を用いることで、他の関数との関係性も明らかにされます。特に、イータ関数は、式変形を行うことで他の形式の表記を得られることが多いのが特徴です。

モジュラー変換

モジュラー変換による性質も興味深いものです。イータ関数は、特定の条件下において次の変換式が利用できます。

$$
η(-rac{1}{τ}) = -i τ η(τ)
$$

また、次のように表されます。

$$
η(τ + 1) = e^{rac{ ext{π} i}{12}}η(τ)
$$

この性質によって、イータ関数の24乗が重さ12のモジュラー形式であることが裏付けられ、さらに多様な数学的性質が深化していきます。

まとめ

デデキントのイータ関数は、数論や解析的ドメインにおいて極めて重要です。多様な性質を持ち、数多くの関連する数学的関数との結びつきから、その重要性がうかがえます。多くの応用や研究が行われているこの関数は、数学の要所に存在しており、さらなる探求が期待されます。

もう一度検索