出典: フリー百科事典『ウィキペディア(Wikipedia)』
ヤコビの虚数変換式(Jacobi's imaginary transformation)は、楕円テータ関数に関する以下のような恒等式である[1]。
![{\displaystyle \vartheta _{3}\left({\frac {v}{\tau }},-{\frac {1}{\tau }}\right)=e^{-\pi i/4}\tau ^{1/2}e^{{\pi }iv^{2}/\tau }\vartheta _{3}\left(v,\tau \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fd2c10f37fc7f6c433422b5881501da6a12e876)
![{\displaystyle \vartheta _{1}\left({\frac {v}{\tau }},-{\frac {1}{\tau }}\right)=-ie^{-\pi i/4}\tau ^{1/2}e^{{\pi }iv^{2}/\tau }\vartheta _{1}\left(v,\tau \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46f2f09e0bdaed38896335f7e424d3ccdd90614b)
![{\displaystyle \vartheta _{2}\left({\frac {v}{\tau }},-{\frac {1}{\tau }}\right)=e^{-\pi i/4}\tau ^{1/2}e^{{\pi }iv^{2}/\tau }\vartheta _{4}\left(v,\tau \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab8ce2bb54b8f049013714f6b4be0faf13cf7dd3)
![{\displaystyle \vartheta _{4}\left({\frac {v}{\tau }},-{\frac {1}{\tau }}\right)=e^{-\pi i/4}\tau ^{1/2}e^{{\pi }iv^{2}/\tau }\vartheta _{2}\left(v,\tau \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53d0b3e82543626a97ec80ab4b6b8cc7e039e539)
この恒等式の日本語の呼称は定まっておらず、ヤコビの虚数変換式、ヤコビのモジュラー変換式、あるいは単にヤコビ変換式とも呼ばれる。テータ関数は二変数の関数であるが、第二変数を純虚数の定数として第一変数に着目すれば「虚数変換式」という呼称が的を射て、第一変数を定数として第二変数に着目すれば「モジュラー変換式」という呼称が的を射る。
公式に関する注意点[編集]
の定義は一意ではなく、いくつかの流儀があり文献によって異なるので注意が必要である[2](主として、
の定義の違いが混乱を生んでいる)。この記事での定義は、D.Mumfordに従った[3]次のようなものである[2][4]。
![{\displaystyle {\begin{aligned}\theta _{0}(z,\tau )&:=\theta _{01}(z,\tau )\\&:=\sum _{n=-\infty }^{\infty }e^{\pi i\tau n^{2}+2\pi in\left(z+{\frac {1}{2}}\right)}\\&=1+2\sum _{n=1}^{\infty }(-1)^{n}e^{\pi i\tau n^{2}}\cos 2n\pi z,\\\theta _{1}(z,\tau )&:=-\theta _{11}(z,\tau )\\&:=-\sum _{n=-\infty }^{\infty }{e^{\pi i\tau \left(n+{\frac {1}{2}}\right)^{2}+2\pi i\left(n+{\frac {1}{2}}\right)\left(z+{\frac {1}{2}}\right)}}\\&=2\sum _{n=0}^{\infty }(-1)^{n}e^{\pi i\tau \left(n+{\frac {1}{2}}\right)^{2}}\sin(2n+1)\pi z,\\\theta _{2}(z,\tau )&:=\theta _{10}(z,\tau )\\&:=\sum _{n=-\infty }^{\infty }e^{\pi i\tau \left(n+{\frac {1}{2}}\right)^{2}+2\pi i\left(n+{\frac {1}{2}}\right)z}\\&=2\sum _{n=0}^{\infty }e^{\pi i\tau \left(n+{\frac {1}{2}}\right)^{2}}\cos(2n+1)\pi z,\\\theta _{3}(z,\tau )&:=\theta _{00}(z,\tau )\\&:=\sum _{n=-\infty }^{\infty }e^{\pi i\tau n^{2}+2\pi inz}\\&=1+2\sum _{n=1}^{\infty }e^{{\pi }i{\tau }n^{2}}\cos 2n\pi z.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7088e00e0cff333e7c568a2a7759f5734f58dde6)
- 「岩波数学公式集Ⅲ」p.48.では誤った式が書かれているので注意せよ。
楕円関数の虚数変換[編集]
ヤコビの楕円関数はテータ関数の比により表される。楕円関数の周期を
とすると
![{\displaystyle \tau ={\frac {iK'}{K}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4eb31ab32d83eae7ae11fa445e1fe6dd41dc534)
![{\displaystyle k=\left({\frac {\vartheta _{2}(0,\tau )}{\vartheta _{3}(0,\tau )}}\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/983d002eae7dc21a53f632318184ed9c90387e50)
![{\displaystyle \operatorname {sn} (u,k)={\frac {\vartheta _{3}(0,\tau )\vartheta _{1}(u/2K,\tau )}{\vartheta _{2}(0,\tau )\vartheta _{4}(u/2K,\tau )}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5175433c7d5189bd8927caf0fcb0abc38053a054)
![{\displaystyle \operatorname {cn} (u,k)={\frac {\vartheta _{4}(0,\tau )\vartheta _{2}(u/2K,\tau )}{\vartheta _{2}(0,\tau )\vartheta _{4}(u/2K,\tau )}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea1362bb389d24691c51ff5e20a8c8df61ff6682)
テータ関数の虚数変換式により
![{\displaystyle \tau '=-{\frac {1}{\tau }}={\frac {iK}{K'}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3e68a4ef4d3f7e4fd1b33ba5026a2e608cb68bb)
![{\displaystyle k'=\left({\frac {\vartheta _{2}(0,\tau ')}{\vartheta _{3}(0,\tau ')}}\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0af7a2447fc5653832c5a1058647949e6ccbf458)
![{\displaystyle \operatorname {sn} (iu,k)={\frac {\vartheta _{3}(0,\tau )\vartheta _{1}(iu/2K,\tau )}{\vartheta _{2}(0,\tau )\vartheta _{4}(iu/2K,\tau )}}={\frac {i\vartheta _{3}(0,\tau ')\vartheta _{1}(u/2K',\tau ')}{\vartheta _{4}(0,\tau ')\vartheta _{2}(u/2K',\tau ')}}=i{\frac {\operatorname {sn} (u,k')}{\operatorname {cn} (u,k')}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90e0d8c0a7bba528519d0d03a65b64c4c7558c02)
![{\displaystyle \operatorname {cn} (iu,k)={\frac {\vartheta _{4}(0,\tau )\vartheta _{2}(iu/2K,\tau )}{\vartheta _{2}(0,\tau )\vartheta _{4}(iu/2K,\tau )}}={\frac {\vartheta _{2}(0,\tau ')\vartheta _{4}(u/2K',\tau ')}{\vartheta _{4}(0,\tau ')\vartheta _{2}(u/2K',\tau ')}}={\frac {1}{\operatorname {cn} (u,k')}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91125101ac1e5a78176eb09f7f1969f0d6727c32)
となり、楕円関数の虚数変数を得る。
の虚数変換式の両辺の比を
して恒等的に
であることを証明する。テータ関数の二重周期性により
![{\displaystyle f(v,\tau )={\frac {{\sqrt {-i\tau }}e^{{\pi }iv^{2}/\tau }\vartheta _{3}\left(v,\tau \right)}{\vartheta _{3}\left({\frac {v}{\tau }},-{\frac {1}{\tau }}\right)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b6dc6506f099042c7679e32ce2cffe6890e3f94)
![{\displaystyle f(v+1,\tau )={\frac {{\sqrt {-i\tau }}e^{{\pi }iv^{2}/\tau +2{\pi }iv/\tau +{\pi }i/\tau }\vartheta _{3}\left(v+1,\tau \right)}{\vartheta _{3}\left({\frac {v}{\tau }}+{\frac {1}{\tau }},-{\frac {1}{\tau }}\right)}}={\frac {{\sqrt {-i\tau }}e^{{\pi }iv^{2}/\tau +2{\pi }iv/\tau +{\pi }i/\tau }\vartheta _{3}\left(v,\tau \right)}{e^{{\pi }i/\tau +2{\pi }iv/\tau }\vartheta _{3}\left({\frac {v}{\tau }},-{\frac {1}{\tau }}\right)}}=f(v,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ec611f926be326835e626086e93f9331fbd79fd)
![{\displaystyle f(v+\tau ,\tau )={\frac {{\sqrt {-i\tau }}e^{{\pi }i(v+\tau )^{2}/\tau }\vartheta _{3}\left(v+\tau ,\tau \right)}{\vartheta _{3}\left({\frac {v}{\tau }}+1,-{\frac {1}{\tau }}\right)}}={\frac {{\sqrt {-i\tau }}e^{{\pi }iv^{2}/\tau +2{\pi }iv+{\pi }i\tau }e^{-{\pi }i\tau -2{\pi }iv}\vartheta _{3}\left(v,\tau \right)}{\vartheta _{3}\left({\frac {v}{\tau }},-{\frac {1}{\tau }}\right)}}=f(v,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2d9907d258a6ffec3cb1291b9eca41a8cfbde46)
であるから、
は
の関数として二重周期を持つ。また、テータ関数は極を持たず、零点は
![{\displaystyle \vartheta _{3}\left({\frac {1\pm {2m}}{2}}+{\frac {(1\pm {2n})\tau }{2}},\tau \right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d4ae7ad87fc8f24f8b2d19f5cbc68e753b4c18c)
![{\displaystyle \vartheta _{3}\left({\frac {1\pm {2m}}{2}}-{\frac {1\pm {2n}}{2\tau }},-{\frac {1}{\tau }}\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b560ceb671982d72b26953411d891f77552a118)
であるから、
は
の関数として複素平面全体で有界である。したがって、リウヴィルの定理により
には依存しない。
![{\displaystyle {\begin{aligned}f\left({\frac {1}{2}},\tau \right)&={\frac {{\sqrt {-i\tau }}e^{{\pi }i/4\tau }\vartheta _{3}\left({\frac {1}{2}},\tau \right)}{\vartheta _{3}\left({\frac {1}{2\tau }},-{\frac {1}{\tau }}\right)}}={\frac {{\sqrt {-i\tau }}\sum _{n=-\infty }^{\infty }{e^{n^{2}{\pi }i\tau +n{\pi }i}}}{\sum _{n=-\infty }^{\infty }{e^{n^{2}{-\pi }i/\tau +n{\pi }i/\tau }e^{-{\pi }i/4\tau }}}}\\&={\frac {{\sqrt {-i\tau }}\sum _{n=-\infty }^{\infty }{(-1)^{n}e^{n^{2}{\pi }i{\tau }}}}{\sum _{n=-\infty }^{\infty }{e^{-(2n-1)^{2}{\pi }i/4\tau }}}}\\&={\frac {{\sqrt {-i\tau }}\sum _{n=-\infty }^{\infty }{(-1)^{n}e^{n^{2}{\pi }i{\tau }}}}{2\sum _{n=1}^{\infty }{e^{-(2n-1)^{2}{\pi }i/4\tau }}}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bb1088aadc2b12f215000a7179802f25a395e07)
![{\displaystyle {\begin{aligned}f\left({\frac {1}{4}},{\frac {\tau }{4}}\right)&={\frac {{\sqrt {-i(\tau /4)}}e^{{\pi }i/4\tau }\vartheta _{3}\left({\frac {1}{4}},{\frac {\tau }{4}}\right)}{\vartheta _{3}\left({\frac {1}{\tau }},-{\frac {4}{\tau }}\right)}}={\frac {{\sqrt {-i\tau }}\sum _{n=-\infty }^{\infty }{e^{n^{2}{\pi }i\tau /4+n{\pi }i/2}}}{2\sum _{n=-\infty }^{\infty }{e^{{-4n^{2}\pi }i/\tau +2n{\pi }i/\tau }e^{-{\pi }i/4\tau }}}}\\&={\frac {{\sqrt {-i\tau }}\sum _{n=-\infty }^{\infty }{i^{n}e^{n^{2}{\pi }i{\tau }/4}}}{2\sum _{n=-\infty }^{\infty }{e^{-(2n-1/2)^{2}{\pi }i/\tau }}}}={\frac {{\sqrt {-i\tau }}\sum _{n=-\infty }^{\infty }{i^{n}e^{n^{2}{\pi }i{\tau }/4}}}{2\left(\sum _{n=1}^{\infty }{e^{-(2n-1/2)^{2}{\pi }i/\tau }}+\sum _{n=1}^{\infty }{e^{-(-2n+1-1/2)^{2}{\pi }i/\tau }}\right)}}\\&={\frac {{\sqrt {-i\tau }}\sum _{n=-\infty }^{\infty }{i^{n}e^{n^{2}{\pi }i{\tau }/4}}}{2\sum _{n=1}^{\infty }{e^{-(n-1/2)^{2}{\pi }i/\tau }}}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7937fcd736ad25cf6b9a4ace6e887f06ad8baa7)
分子の
が奇数の項は正負で打ち消しあうから偶数の
を
に改める。
![{\displaystyle {\begin{aligned}f\left({\frac {1}{4}},{\frac {\tau }{4}}\right)&={\frac {{\sqrt {-i\tau }}\sum _{n=-\infty }^{\infty }{i^{2n}e^{(2n)^{2}{\pi }i{\tau }/4}}}{2\sum _{n=1}^{\infty }{e^{-(n-1/2)^{2}{\pi }i/\tau }}}}={\frac {{\sqrt {-i\tau }}\sum _{n=-\infty }^{\infty }{(-1)^{n}e^{n^{2}{\pi }i{\tau }}}}{2\sum _{n=1}^{\infty }{e^{-(n-1/2)^{2}{\pi }i/\tau }}}}=f\left({\frac {1}{2}},\tau \right)\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f0325a80e751ebac0497390edbdf20667665154)
先に示したように
は
に依存しないので
![{\displaystyle f\left(v,\tau \right)=f\left(v,{\frac {\tau }{4}}\right)=\lim _{n\to \infty }f\left(v,{\frac {\tau }{4^{n}}}\right)=\lim _{\tau '\to 0}f\left(v,\tau '\right)=f(v,0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cf880b8c47d906700e9b5046c30ae089302e1d7)
であり、
は
にも依存しない定数である。その値は
![{\displaystyle f(v,\tau )=f(0,i)={\frac {\vartheta _{3}\left(0,i\right)}{\vartheta _{3}\left(0,i\right)}}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18e2a96b19f819416e5ab30c04953103a3d6bc0e)
である。