デデキントのイータ関数 (デデキントのイータかんすう、英: Dedekind Eta function) は次のような式で定義される関数である[1]。
![{\displaystyle \eta (\tau )=e^{\pi {i}\tau /12}\prod _{m=1}^{\infty }(1-e^{2\pi {i}\tau {m}})\qquad (\Im \tau >0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04653305bc41a2e2a7d9c21c43a0da9eb8de57a7)
ヤコビの三重積の公式により、
![{\displaystyle \eta (\tau )=e^{\pi {i}\tau /12}\sum _{n=-\infty }^{\infty }(-1)^{n}\left(e^{2\pi {i}\tau }\right)^{n(3n-1)/2}=\sum _{n=-\infty }^{\infty }(-1)^{n}\left(e^{2\pi {i}\tau }\right)^{(6n-1)^{2}/24}\qquad (\Im \tau >0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d4052e45647f926ae0d3ec2236be223962d019c)
となる。イータ関数は上半平面で正則であり、極も零点も持たない。イータ関数は実軸上に稠密な零点を持つ。
極と零点
であれば
であるから、
![{\displaystyle {\begin{aligned}\left|\log \eta (\tau )\right|&={\frac {\left|\pi {i}\tau \right|}{12}}+\sum _{m=1}^{\infty }\left|\log(1-e^{2\pi {i}\tau {m}})\right|\\&={\frac {\left|\pi {i}\tau \right|}{12}}+\sum _{m=1}^{\infty }\sum _{n=1}^{\infty }{\frac {\left|e^{2\pi {i}\tau {mn}}\right|}{n}}\\&={\frac {\left|\pi {i}\tau \right|}{12}}+\sum _{n=1}^{\infty }{\frac {\left|e^{2\pi {i}\tau {n}}\right|}{n(1-\left|e^{2\pi {i}\tau {n}}\right|)}}\\&\leq {\frac {\left|\pi {i}\tau \right|}{12}}+{\frac {1}{1-|e^{2\pi {i}\tau }|}}\sum _{n=1}^{\infty }{\frac {|e^{2\pi {i}\tau {n}}|}{n}}\\&\leq {\frac {\left|\pi {i}\tau \right|}{12}}-{\frac {\log(1-|e^{2\pi {i}\tau }|)}{1-|e^{2\pi {i}\tau }|}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a74828ce7a46fbcc721ed4dd8b516d1b8e895d3a)
である。従って、イータ関数は上半平面で極も零点も持たない。しかし、
が有理数であれば
であるから、イータ関数は実軸上に稠密な零点を持つ。
テータ関数との関係
イータ関数はテータ関数で表される。オイラーの分割恒等式を用いて
![{\displaystyle {\begin{aligned}\eta ^{3}\left(\tau \right)&=e^{\pi {i}\tau /4}\prod _{m=1}^{\infty }\left(1-e^{2\pi {i}\tau {m}}\right)^{3}\\&=e^{\pi {i}\tau /4}\prod _{m=1}^{\infty }\left(1-e^{2\pi {i}\tau {m}}\right)^{3}\left(1+e^{2\pi {i}\tau {m}}\right)^{2}\left(1-e^{2\pi {i}\tau {(2m-1)}}\right)^{2}\\&=e^{\pi {i}\tau /4}\prod _{m=1}^{\infty }\left(1-e^{2\pi {i}\tau {m}}\right)^{3}\left(1+e^{2\pi {i}\tau {m}}\right)^{2}\left(1+e^{(2m-1)\pi {i}\tau }\right)^{2}\left(1-e^{(2m-1)\pi {i}\tau }\right)^{2}\\&={\frac {1}{2}}\vartheta _{2}\left(0,\tau \right)\vartheta _{3}\left(0,\tau \right)\vartheta _{4}\left(0,\tau \right)\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4c3b67d0d9906382de3dbf938e4c954ffd9b3e1)
である。また、
![{\displaystyle {\begin{aligned}\eta (\tau )&=e^{\pi {i}\tau /12}\prod _{m=1}^{\infty }(1-e^{2\pi {i}\tau {m}})\\&=e^{\pi {i}\tau /12}\prod _{m=1}^{\infty }(1-e^{2\pi {i}\tau {m}/3})(1+e^{2\pi {i}\tau {m}/3}+e^{4\pi {i}\tau {m}/3})\\&={\frac {2}{\sqrt {3}}}e^{\pi {i\tau }/12}\cos {\frac {\pi }{6}}\prod _{m=1}^{\infty }(1-e^{2\pi {i}\tau {m}/3})\left(1+2\cos {\frac {\pi }{3}}e^{2\pi {i}\tau {m}/3}+e^{4\pi {}i\tau {m}/3}\right)\\&={\frac {1}{\sqrt {3}}}\vartheta _{2}\left({\frac {1}{6}},{\frac {\tau }{3}}\right)\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13ebb99a9c09ae73b0127ff5b11c6ddfe7f875ae)
である。
モジュラー変換
テータ関数の虚数変換式により
![{\displaystyle {\begin{aligned}\eta ^{3}\left(-{\frac {1}{\tau }}\right)&={\frac {1}{2}}\vartheta _{2}\left(0,-{\frac {1}{\tau }}\right)\vartheta _{3}\left(0,-{\frac {1}{\tau }}\right)\vartheta _{4}\left(0,-{\frac {1}{\tau }}\right)\\&={\frac {1}{2}}{\sqrt {-i\tau }}\vartheta _{4}(0,\tau ){\sqrt {-i\tau }}\vartheta _{3}(0,\tau ){\sqrt {-i\tau }}\vartheta _{2}(0,\tau )\\&={\sqrt {i\tau ^{3}}}\eta ^{3}(\tau )\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/942b99ca0e655a85741a602455b82bfc7a8d99a6)
であるが、
が純虚数であれば両辺ともに実数であるから、
![{\displaystyle {\begin{aligned}\eta \left(-{\frac {1}{\tau }}\right)&={\sqrt {-i\tau }}\eta (\tau )\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f9049dc77e361d13777e6867b92becd7d4d8377)
である。また、
![{\displaystyle {\begin{aligned}\eta \left(\tau +1\right)&=e^{\pi {i}(\tau +1)/12}\prod _{m=1}^{\infty }(1-e^{2\pi {i}(\tau +1)m})\\&=e^{\pi {i}/12}e^{\pi {i}\tau /12}\prod _{m=1}^{\infty }(1-e^{2\pi {i}\tau {m}})\\&=e^{\pi {i}/12}\eta \left(\tau \right)\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8d40433bac64878fa9fc39e1f9aad974714baaf)
であるから、イータ関数の24乗は重さ12のモジュラー形式である。
![{\displaystyle {\begin{aligned}&\eta ^{24}\left(-{\frac {1}{\tau }}\right)=\tau ^{12}\eta ^{24}(\tau )\\&\eta ^{24}\left(\tau +1\right)=\eta ^{24}\left(\tau \right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f279158e6c40e655199069c3d77d9749974cf05)
実際、モジュラー判別式
の定数倍と一致する[2]。
![{\displaystyle (2\pi )^{12}\eta ^{24}(\tau )=\Delta (\tau ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a3305c783982b6c88fc33ca8a3f991685c0b449)
関数等式
イータ関数の24乗は重さ12のモジュラー形式であるから、一般のモジュラー変換については c ≠ 0 のとき、ある1の24乗根
について関数等式
![{\displaystyle \eta \left({\frac {a\tau +b}{c\tau +d}}\right)=\epsilon (a,b,c,d)(c\tau +d)^{1/2}\eta (\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78a6d1b3be003d316d292c3211acb4b97dce3d34)
が成り立つ。
は
![{\displaystyle \epsilon (a,b,c,d)=\exp \pi i\left({\frac {a+d}{12c}}-s(-d,c)-{\frac {1}{4}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/664180dcfd86ea550d5820369f4511aca3c5a4b1)
により求められる[3]。ここで
はデデキント和(英語版)
![{\displaystyle s(h,k)=\sum _{r=1}^{k-1}{\frac {r}{k}}\left({\frac {hr}{k}}-\left\lfloor {\frac {hr}{k}}\right\rfloor -{\frac {1}{2}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed3603276abb53c0c9da1b8744acf85a1ead79d0)
をあらわす。
出典
- ^ Wolfram Mathworld: Dedekind Eta Function
- ^ Apostol (1990, pp. 50–51, Chapter 3.3)
- ^ Apostol (1990, pp. 51–53, Chapter 3.4)
参考文献
- Tom M. Apostol, (1990). Modular Functions and Dirichlet Series in Number Theory (Graduate Texts in Math. 41), 2nd ed.. Springer-Verlag. doi:10.1007/978-1-4612-0999-7. ISBN 978-1-4612-0999-7