楕円関数論の基礎のキソ

　$\Im(\o_2/\o_1)=0$とするとある実数$a$が存在して$\o_2=a\o_1$となるが、これは$L=\Z\o_1+\Z\o_2$が格子であることに矛盾。
　したがって$\o_2/\o_1\in\H$または$\o_1/\o_2\in\H$が成り立つのでそれを$\tau$とおくと$L=\o L_\t$となることがわかる。

　$\C$上正則な楕円関数は有界な領域$\P$でも正則、つまり$\P$上で有界であり二重周期性から$\C$上でも有界となるが、リウヴィルの定理からそのような正則関数は定数関数に限ることがわかる。

　もし楕円関数$f$が$\P$上で無限個の極を持つとすると(ボルツァーノ・ワイエルシュトラスの定理より)$\P$上に集積した極を持つことになり、これは$f$が有理型関数であることに矛盾。
　また$\P+v$の境界
$$(\partial\P+v):v\to(\o_1+v)\to(\o_1+\o_2+v)\to(\o_2+v)\to v$$
において$f$が極を持たないような$v\in\C$を取り、それに沿った(反時計回りの)周回積分を考えると留数定理より
$$\frac1{2\pi i}\oint_{\partial\P+v}f(z)dz=\sum_{\a:\mathrm{poles}}\mathrm{Res}(f,\a)$$
(ただし$\a$は$\P$上の$f$の極全体を渡る)が成り立つが
\begin{align} \int^{\o_1+\o_2+v}_{\o_1+v}f(z)dz&=\int^{\o_2+v}_vf(z+\o_1)dz=-\int^v_{\o_2+v}f(z)dz\\ \int^{\o_2+v}_{\o_1+\o_2+v}f(z)dz&=\int^v_{\o_1+v}f(z+\o_2)dz=-\int^{\o_1+v}_vf(z)dz \end{align}
であることに注意すると
$$\oint_{\partial\P+v}f(z)dz=0$$
がわかる。

　命題4と同様にして$0$でない楕円関数$f$の零点は有限個であることがわかるので$\P+v$の境界上で$f$が零点も極も持たないような$v\in\C$を取ると、偏角の原理から
$$\frac1{2\pi i}\oint_{\partial\P+v}\frac{f'(z)}{f(z)}dz =(f\ \mbox{の}\ \P\ \mbox{上の零点の個数})-(f\ \mbox{の}\ \P\ \mbox{上の極の個数})$$
が成り立つが$f'(z)/f(z)$も格子$L$についての楕円関数なので命題4と同様にしてこの左辺は$0$になることがわかる。

$$z_0=\frac{\o_1}2,\frac{\o_2}2,\frac{\o_1+\o_2}{2}$$
が極でないとすると$z_0-(-z_0)=2z_0\in L$より
$$f(z_0)=f(-z_0)=-f(z_0)$$
つまり$f(z_0)=0$がわかる。

　偶関数であることは$-L=L$に注意すると
$$\wp(-z)=\frac1{z^2}+\sum_{\o\neq0}\l(\farc1{(z-(-\o))^2}-\frac1{(-\o)^2}\r)=\wp(z)$$
とわかる。また$\wp$は$\P$上で$z=0$のみを極に持つので位数は$2$となる。
　いま$\wp$関数の導関数
$$\wp'(z)=\sum_{\o\in L}\farc{-2}{(z-\o)^3}$$
は任意の$\o\in L$に対し
$$\wp'(z+\o)=\sum_{\o'\in L}\farc{-2}{(z-(\o'-\o))^3}=\wp'(z)$$
を満たすので
$$\wp(z+\o)-\wp(z)=Const.$$
が成り立つが、$z=-\o/2$のとき偶関数性より
$$\wp\l(\frac\o2\r)-\wp\l(-\frac\o2\r)=0$$
となるので
$$\wp(z+\o)-\wp(z)=0$$
を得る。
　したがって$\wp$の二重周期性がわかり、$\wp$は有理型関数でもあることから楕円関数となる。

　$\wp$は偶関数なので$\wp'$は奇関数であり、したがって命題6より上の零点を持つことがわかる。また
$$\wp'(z)=\sum_{\o\in L}\farc{-2}{(z-\o)^3}$$
より$\wp'$は$\P$上で$z=0$以外を極に持たないので$\wp'$は位数$3$の楕円関数であり、したがってその零点は上で尽くされることがわかる。

$$f(z)=\wp(z)-\frac1{z^2}$$
とおくとこれは$z=0$周りで正則であり
$$f^{(n)}(z)=(n+1)!\sum_{\o\neq0}\farc1{(\o-z)^{n+2}}\quad(n\geq1)$$
なので$f$は偶関数であることおよび$f(0)=0$に注意すると
$$f(z)=\sum^\infty_{n=1}\frac{f^{(2n)}(0)}{(2n)!}z^{2n} =\sum^\infty_{n=1}(2n+1)G_{2n+1}(L)z^{2n}$$
と展開できることがわかる。

$$h(z)=\wp'(z)^2-4\wp(z)^3+g_2\wp(z)+g_3$$
とおいたとき、$h$は楕円関数であって$\P$上で極を取るとするなら$z=0$に限るので、これが$z=0$で極を持たない、特に$h(0)=0$となることを示す。
　$\wp(z)^3,\wp'(z)^2$のローラン展開の$0$次以下の項を考えると命題9より
\begin{align} \wp(z)&=z^{-2}+3G_4z^2+5G_6z^4+O(z^6)\\ \wp(z)^3&=(z^{-2}+3G_4z^2+5G_6z^4)^3+O(z^2)\\ &=z^{-6}+9G_4z^{-2}+15G_6+O(z^2)\\ \\ \wp'(z)&=-2z^{-3}+6G_4z+20G_6z^3+O(z^5)\\ \wp'(z)^2&=(-2z^{-3}+6G_4z+20G_6z^3)^2+O(z^2)\\ &=4z^{-6}-24G_4z^{-2}-80G_6+O(z^2) \end{align}
であるので
\begin{align} &\wp'(z)^2-4\wp(z)^3+g_2\wp(z)+g_3\\ ={}&4z^{-6}-24G_4z^{-2}-80G_6\\ &-4z^{-6}-36G_4z^{-2}-60G_6\\ &\quad\quad\quad\quad+60G_4z^{-2}+140G_6+O(z^2)\\ ={}&O(z^2) \end{align}
と$h(z)$は$z=0$を零点に持つことがわかる。
　特にこのことから$h$は$\C$上で正則となるのでリウヴィルの第一定理(定理3)より恒等的に$0$となることがわかる。

$$z_0=\frac{\o_1}2,\frac{\o_2}2,\frac{\o_1+\o_2}2$$
に対して$f(z)=\wp(z)-\wp(z_0)$とおくと命題8より
$$f(z_0)=0,\quad f'(z_0)=\wp'(z_0)=0$$
が成り立つので$f$は$\P$上で$z=z_0$を二位の零点を持つことがわかる。また$f$は二位の楕円関数なのでこれ以上零点を持たないことがわかる。
　あとは命題10の等式を
\begin{align} \wp'(z)^2 &=4\wp(z)^3-g_2\wp(z)-g_3\\ &=4(\wp(z)-e_1)(\wp(z)-e_2)(\wp(z)-e_3) \end{align}
と因数分解したときこの左辺が$z=z_0$を二位の零点に持つことと、上で示したように$\wp(z)-\wp(z_0)$は$z=z_0$以外で零点を持たないことに注意するとわかる。

　例のごとく$\P+v$の境界上で$\z$が極を持たないような$v\in\C$(つまり$v\not\in L$)を取ると留数定理より
$$\oint_{\partial\P+v}\z(z)dz=2\pi i$$
が成り立つ。ここで$0<\arg\o_2-\arg\o_1<\pi$の仮定より積分経路
$$(\partial\P+v):v\to(\o_1+v)\to(\o_1+\o_2+v)\to(\o_2+v)\to v$$
は反時計回りになり
\begin{align} \int^{\o_1+\o_2+v}_{\o_1+v}\z(z)dz &=\int^{\o_2+v}_v\z(z+\o_1)dz\\ &=\int^{\o_2+v}_v(\z(z)+\E_1)dz\\ &=\E_1\o_2-\int^v_{\o_2+v}\z(z)dz\\ \int^{\o_2+v}_{\o_1+\o_2+v}\z(z)dz &=\int^v_{\o_1+v}\z(z+\o_2)dz\\ &=-\E_2\o_1-\int^{\o_1+v}_v\z(z)dz \end{align}
であることに注意すると
$$\oint_{\partial\P+v}\z(z)dz=\E_1\o_2-\E_2\o_1=2\pi i$$
を得る。

$$\farc{d}{dz}\log\l(\frac{\s(z+\o)}{\s(z)}\r)=\z(z+\o)-\z(z)=\E(\o)$$
が成り立つので$z$に依らないある定数$A$があって
$$\s(z+\o)=Ae^{\E z}\s(z)$$
と表せる。
　また$\s$は奇関数なのでこの$z=-\o/2$の場合を考えることで
$$\s\l(\frac\o2\r) =Ae^{-\E\frac\o2}\s\l(-\farc\o2\r) =-Ae^{-\E\frac\o2}\s\l(\farc\o2\r)$$
つまり$A=-e^{\E\frac\o2}$を得る。

　基本周期$\t$に対応する基本擬周期を$\E_\t$とおくと$\t\in\H$より$0<\arg\t-\arg1<\pi$なのでルジャンドル関係式(命題12)から
$$\E\t-\E_\t=2\pi i$$
が成り立つことに注意すると命題17から
\begin{align} \vp(z+1,\t) &=\exp\l(-\frac\E2(z+1)^2+i\pi(z+1)\r)\cdot\exp\l(\E(z+\frac12)-\pi i\r)\s(z)\\ &=\exp\l(-\farc\E2z^2+i\pi z\r)\s(z;L_\t)\\ &=\vp(z)\\\\ \vp(z+\t,\t) &=-\exp\l(-\frac\E2(z+\t)^2+i\pi(z+\t)\r)\cdot\exp\l(\E_\t(z+\frac\t2)\r)\s(z;L_\t)\\ &=-\exp\l(-\E\t(z+\frac\t2)+i\pi\t\r)\cdot\exp\l(\E_\t(z+\frac\t2)\r)\vp(z,\t)\\ &=-\exp\l(-(2\pi i+\E_\t)(z+\frac\t2)+i\pi\t+\E_\t(z+\frac\t2)\r)\vp(z,\t)\\ &=-\exp(2\pi iz)\vp(z,\t) \end{align}
とわかる。

あらすじ

$$g(z,\t)=\frac{w-1}{2\pi i}\prod^\infty_{n=1}\frac{(1-q^nw)(1-q^nw^{-1})}{(1-q^n)^2}$$
とおいたとき$g$は$\vp$と同じ擬二重周期を持ち、同じ零点を持つことを示せば
$$\frac{\vp(z,\t)}{g(z,\t)}$$
は格子$L_\t$についての$\C$上正則な楕円関数となるのでリウヴィルの第一定理(命題3)から定数関数であることがわかり
$$\lim_{z\to0}\frac{\vp(z,\t)}{g(z,\t)}=1$$
を示すことで証明が完結する。

同じ擬周期を持つこと

　$z'=z+1$において$w'=e^{2\pi i(z+1)}=w$となるので
$$g(z+1,\t)=g(z,\t)$$
がわかり、また$z'=z+\t$において$w'=qw$となるので
\begin{align} g(z,\t) &=\frac{qw-1}{2\pi i}\prod^\infty_{n=1}\frac{(1-q^{n+1}w)(1-q^{n-1}w^{-1})}{(1-q^n)^2}\\ &=\frac{qw-1}{2\pi i}\farc{1-q^{0}w^{-1}}{1-q^1w}\prod^\infty_{n=1}\frac{(1-q^nw)(1-q^nw^{-1})}{(1-q^n)^2}\\ &=\farc{qw-1}{w-1}\frac{1-w^{-1}}{1-qw}g(z,\t)\\ &=-w^{-1}g(z,\t)=-e^{2\pi iz}g(z,\t) \end{align}
とわかる。

同じ零点を持つこと

　$g(z,\t)$が$0$となるのは$w=q^m\;(m\in\Z)$のとき、つまり
\begin{align} 2\pi z&=2\pi im\t+2\pi in\\ z&=m\t+n\in(\Z\t+\Z)=L_\t \end{align}
のときに限り、逆に$z\in L_\t$であれば$g(z,\t)=0$となることがわかる。
　$\vp(z,\t)=0\iff z\in L_\t$およびそれぞれが一位の零点であることは自明。

比が$1$であること

　$z\to0$における$\vp,g$の挙動を考えると
\begin{align} \vp(z,\t) &=e^{-\frac\E2z^2+2\pi iz}z\prod_{\o\neq0}\l(1-\frac z\o\r)e^{\frac z\o+\frac12(\farc z\o)^2}\\ &=z+O(z)\\\\ g(z,\t) &=\frac{w-1}{2\pi i}\prod^\infty_{n=1}\frac{(1-q^nw)(1-q^nw^{-1})}{(1-q^n)^2}\\ &=\farc{2\pi iz+O(z^2)}{2\pi i}(1+O(z))\\ &=z+O(z^2) \end{align}
が成り立つので
$$\lim_{z\to0}\frac{\vp(z,\t)}{g(z,\t)}=\lim_{z\to0}\farc zz=1$$
を得る。

$$\frac{dw}{dz}=2\pi iw$$
に注意すると命題15から
\begin{eqnarray} \z(z;L_\t)&=&\frac{d}{dz}\log\s(z;L_\t) \\&=&\E z+\pi i\frac{w^{\frac12}+w^{-\frac12}}{w^{\farc12}-w^{-\farc12}}+2\pi i\sum^\infty_{n=1}\l(-\frac{q^nw}{1-q^nw}+\frac{q^nw^{-1}}{1-q^nw^{-1}}\r) \end{eqnarray}
が成り立ち、またこの最後の項は
\begin{eqnarray} &&2\pi i\sum^\infty_{n=1}\l(\frac{q^nw^{-1}}{1-q^nw^{-1}}-\frac{q^nw}{1-q^nw}\r)\\ &=&2\pi i\sum^\infty_{n=1}\sum^\infty_{m=1}\Big((q^nw^{-1})^m-(q^nw)^m\Big)\\ &=&2\pi i\sum^\infty_{m=1}\sum^\infty_{n=1}(q^m)^n(w^{-m}-w^m)\\ &=&2\pi i\sum^\infty_{m=1}\farc{q^m}{1-q^m}(w^{-m}-w^m)\\ &=&4\pi\sum^\infty_{m=1}\frac{q^m}{1-q^m}\sin(2\pi mz) \end{eqnarray}
と変形できるので
$$\z(z;L_\t)=\E z+\pi\frac{\cos(\pi z)}{\sin(\pi z)}+4\pi\sum^\infty_{n=1}\frac{q^n}{1-q^n}\sin(2\pi nz)$$
が得られる。
　そしてこれを微分することで
\begin{eqnarray} \wp(z;L_\t)&=&-\z'(z;L_\t) \\&=&-\E+\farc{\pi^2}{\sin^2(\pi z)}-8\pi^2\sum^\infty_{n=1}\farc{nq^n}{1-q^n}\cos(2\pi nz) \end{eqnarray}
となるので
\begin{align} \lim_{z\to0}\l(\farc{\pi^2}{\sin^2(\pi z)}-\frac1{z^2}\r) &=\lim_{z\to0}\farc{(\pi z)^2}{\sin^2(\pi z)}\l(\frac{\pi z+\sin(\pi z)}{\pi z}\cdot\frac{\pi z-\sin(\pi z)}{\pi^3z^3}\r)\pi^2\\ &=\frac{\pi^2}3 \end{align}
に注意してこの両辺から$1/z^2$を引いて$z\to0$極限を取ることで
$$0=-\E+\frac{\pi^2}3-8\pi^2\sum^\infty_{n=1}\frac{nq^n}{1-q^n}$$
すなわち
$$\E(\t)=\farc{\pi^2}3\l(1-24\sum^\infty_{n=1}\frac{nq^n}{1-q^n}\r)$$
を得る。

あらすじ

$$\T(z,\t)=\prod^\infty_{n=1}(1-q^{2n})(1+q^{2n-1}z)(1+q^{2n-1}z^{-1})$$
とおいたとき$\T$は$\vt$と同じ擬二重周期を持ち、同じ零点を持つことを示せば
$$\frac{\vt(v,\t)}{\T(v,\t)}$$
は格子$L_\t$についての$\C$上正則な楕円関数となるのでリウヴィルの第一定理(命題3)から定数関数であることがわかり、またこれを$c(\t)$とおくと
$$c(\t)=c(4^{-1}\t)=\lim_{n\to\infty}c(4^{-n}\t)=c(0)=Const$$
が成り立つことがわかり
$$\lim_{\t\to i\infty}\frac{\vt(v,\t)}{\T(v,\t)}=1$$
を示すことで証明が完結する。

同じ擬周期を持つこと

　$v\mapsto v+1$において$z\mapsto z$となるので
$$\vt(v+1,\t)=\vt(v,\t),\;\T(v+1,\t)=\T(v,\t)$$
がわかり、また$v\mapsto v+\t$において$z\mapsto q^2z$となるので
\begin{eqnarray} \vt(v+\t,\t)&=&\sum^\infty_{n=-\infty}q^{n^2+2n}z^n \\&=&(qz)^{-1}\sum^\infty_{n=-\infty}q^{(n+1)^2}z^{n+1}=(qz)^{-1}\vt(v,\t) \\\T(v+\t,\t)&=&\prod^\infty_{n=1}(1-q^{2n})(1+q^{2n+1}z)(1+q^{2n-3}z^{-1}) \\&=&\frac{1+q^{-1}z^{-1}}{1+qz}\prod^\infty_{n=1}(1-q^{2n})(1+q^{2n-1}z)(1+q^{2n-1}z^{-1}) \\&=&(q\t)^{-1}\T(v,\t) \end{eqnarray}
を得る。

同じ零点を持つこと

　$\T(v,\t)$が$0$となるのは$z=-q^{2m+1}$のとき、つまり
\begin{align} 2\pi iv&=\pi i+(2m+1)\pi i\t+2\pi in\\ v&=\frac{\t+1}{2}+m\t+n \end{align}
のときに限り、これは一位の零点となる。($\Im(\t)>0$より$|q|<1$つまり$1-q^{2n}\neq0$に注意する)
　また
\begin{eqnarray} \vt(\frac{\t+1}{2},\t) &=&\sum^\infty_{n=-\infty}e^{\pi in^2\t+\pi in(\t+1)} \\&=&\sum^\infty_{n=-\infty}(-1)^ne^{\pi i(\t+\frac12)^2-\frac14\pi i\t} \\&=&\sum^\infty_{n=0}(-1)^ne^{\pi i(\t+\frac12)^2-\frac14\pi i\t} +\sum^\infty_{n=0}(-1)^{n+1}e^{\pi i(-n-1+\frac12)^2-\frac14\pi i\t} \\&=&0 \end{eqnarray}
なので$\T(v,\t)$が$0$となるとき$\vt(v,\t)$も$0$となることがわかる。

比が$1$であること

　以上より
$$c(\t)=\frac{\vt(v,\t)}{\T(v,\t)}$$
は$v$に依らない関数であり
\begin{eqnarray} \vt\l(\frac12,\t\r) &=&\sum^\infty_{n=-\infty}(-1)^nq^{n^2} \\\vt\l(\frac14,\t\r) &=&\sum^\infty_{n=-\infty}i^nq^{n^2} \\&=&\sum^\infty_{n=-\infty}(-1)^nq^{(2n)^2} +\sum^\infty_{n=1}i^{2n-1}q^{(2n-1)^2}+\sum^\infty_{n=1}(-i)^{2n-1}q^{(-(2n-1))^2} \\&=&\sum^\infty_{n=-\infty}(-1)^nq^{4n^2} \\&=&\vt\l(\frac12,4\t\r) \\ \\\T\l(\frac12,\t\r) &=&\prod^\infty_{n=1}(1-q^{2n})(1-q^{2n-1})^2 \\\T\l(\frac14,\t\r) &=&\prod^\infty_{n=1}(1-q^{2n})(1+iq^{2n-1})(1-iq^{2n-1}) \\&=&\prod^\infty_{n=1}\Big((1-q^{4n})(1-q^{4n-2})\Big)(1+q^{2(2n-1)}) \\&=&\prod^\infty_{n=1}\Big((1-q^{8n})(1-q^{8n-4})\Big)(1-q^{4(2n-1)}) \\&=&\prod^\infty_{n=1}(1-q^{8n})(1-q^{4(2n-1)})^2 \\&=&\T\l(\frac12,4\t\r) \end{eqnarray}
つまり
$$c(\t)=\frac{\vt(\farc14,\t)}{\T(\farc14,\t)}=\frac{\vt(\frac12,4\t)}{\T(\farc12,4\t)}=c(4\t)$$
が成り立つ。よって
$$c(\t)=c(4^{-1}\t)=\lim_{n\to\infty}c(4^{-n}\t)=c(0)$$
と$c(\t)$は$\t$にも依らないことがわかる。
　そして$\t\to i\infty$において$q\to0$なので
\begin{align} \lim_{\t\to i\infty}\vt(v,\t) &=\lim_{q\to0}\Big(1+\sum_{n=1}^\infty q^{n^2}(z^n+z^{-n})\Big)=1\\ \lim_{\t\to i\infty}\T(v,\t) &=\lim_{q\to0}\prod^\infty_{n=1}(1-q^{2n})(1+q^{2n-1}z)(1+q^{2n-1}z^{-1})=1 \end{align}
つまり
$$c(\t)=\lim_{\t\to i\infty}c(\t)=1$$
を得る。