Jacobiの楕円関数入門1(実数の範囲)

Jacobiの楕円関数入門

本記事は、Jacobiの楕円関数に関して簡単にまとめたものです。
本記事を書くにあたって参考にしたサイトの方はこちらになります。
https://www.youtube.com/watch?v=Qy5gOQrUKMw&t=0s
https://www.youtube.com/watch?v=87MKUeMt7KQ&t=0s

単振り子の振動とJacobiの楕円関数

1.単振り子から始める楕円関数

質量$m$，糸の長さ$l$，鉛直軸からの振れの角度を$\theta$とする振り子の運動を考える。
すると、糸の運動方程式は簡単な考察から次式で与えられる。
$$ml\frac{d^2\theta }{d{t}^2}=-mg\sin \theta$$
よって，${\omega }_0=\sqrt{\frac{g}{l}}$の様な微分方程式を得る。
$$\frac{d^2\theta }{d{t}^2}+{\omega }_0^2\sin \theta =0$$
さらに両辺に$\frac{d\theta }{dt}$をかけて積分すると次式を得る。
$$\frac{1}{2}(\frac{d\theta }{dt}{)}^2-{\omega }_0^2\cos \theta =-{\omega }_0^2\cos {\theta }_{max}$$
また$\cos \theta =1-2{\sin }^2\frac{\theta }{2}$を用いて式を整えると次のように書きなおせる。
$$\frac{1}{4}(\frac{d\theta }{dt}{)}^2={\omega }_0^2(si{n}^2\frac{{\theta }_{max}}{2}-{\sin }^2\frac{\theta }{2})$$
さらに$k=\sin \frac{{\theta }_{max}}{2}$とおきなおし整理する。
$$\frac{1}{4{\omega }_0}(\frac{d\theta }{dt}{)}^2=k-{\sin }^2\frac{\theta }{2}$$
$\sin \frac{\theta }{2}=k\sin \psi$とおくと
$$(\frac{d\theta }{d\psi }{)}^2=4k^2\frac{1-si{n}^2\psi }{1-k^2{\sin }^2\psi }$$
であるから、整理して次式を得る。
$$\frac{1}{{\omega }_0^2}(\frac{d\psi }{dt}{)}^2=1-k^2{\sin }^2\psi$$
この式を変形整理したのち積分することで次の積分を得る。
$${\int }_0^{\psi }\frac{d\psi }{\sqrt{1-k^2{\sin }^2\psi }}d\psi ={\omega }_{0}t$$
なお、$x=\sin \psi$と変数変換すると次のようにも書き直せる。
$${\int }_0^{\sin x}\frac{dx}{\sqrt{(1-x^2)(1-k^2{x}^2)}}={\omega }_{0}t$$
今得られた最後の積分から次のような関数を定義し、これをJacobiの楕円関数という。

Jacobiの楕円関数の性質

$k\to 0$とすると次式を得る。
$${\int }_0^x\frac{1}{\sqrt{1-x^2}}dx=\arcsin x=u$$
つまり
$$x=li{m}_{k\to 0}sn(u;k)=sin(u)$$
である事がわかる。この事から、Jacobiの楕円関数は$\sin x$を一般化したものだと推測できる。
ちなみに,$k\to 1$とすると、
$${\int }_0^x\frac{dx}{1-x^2}=\frac{1}{2}\log \frac{1+x}{1-x}=u$$
より
$$x=\underset{k\to 1}{lim}sn(u;k)=\tanh \left(u\right)$$
を得る。

Jacobiの楕円関数の定義域拡張

1.$-K\le u\le 0(K={\int }_0^1\frac{dx}{\sqrt{(1-x^2)(1-k^2{x}^2)}})$まで定義域を拡張

$x=sn(u)$とすると，
$$\begin{array}{rcl}-u& =& -{\int }_0^x\frac{dx}{\sqrt{(1-x^2)(1-k^2{x}^2)}}\\ & =& {\int }_0^{-x}\frac{dx}{\sqrt{(1-x^2)(1-k^2{x}^2)}}\end{array}$$

snの加法定理

2.$定義域を-\mathrm{\infty }<u<+\mathrm{\infty }$まで拡張

ここまででやっと、定義域を$-\mathrm{\infty }<u<\mathrm{\infty }$広げる準備ができた。
いったん、先の加法定理の結果をまとめよう。それは次のようだ。

sn，cn，dnの加法定理

$$\begin{array}{rcl}sn(u+v)& =& \frac{sn(u)cn(v)dn(v)+sn(v)cn(u)dn(u)}{1-k^{2}s{n}^2(u)s{n}^2(v)}\\ cn(u+v)& =& \frac{cn(u)cn(v)-sn(u)sn(v)dn(u)dn(v)}{1-k^{2}s{n}^2(u)s{n}^2(v)}\\ dn(u+v)& =& \frac{dn(u)dn(v)-k^{2}sn(u)sn(v)cn(u)cn(v)}{1-k^{2}s{n}^2(u)s{n}^2(v)}\end{array}$$
この加法定理により定義域を$|u|<K$の外に拡張する。そのために、形式的に$v=\pm K$を上式に代入する。
$$\begin{array}{rcl}sn(\pm K)& =& \pm 1\\ cn(\pm K)& =& 0\\ dn(\pm K)& =& \sqrt{1-k^2}\end{array}$$
であることから次式を得る。
$$\begin{array}{rcl}sn(u\pm K)& =& \pm \frac{cn(u)}{dn(u)}\\ cn(u\pm K)& =& \mp \frac{sn(u)}{dn(u)}\\ dn(u\pm K)& =& \frac{\sqrt{1-k^2}}{dn(u)}\end{array}$$
これらの式により、定義域を$u\le |2K|$まで広げる．
一応念のため符号についてのみチェックをしておく。

$-2K\le u-K\le -K$の場合

$$\begin{array}{rcl}sn(u-K)& =& -\frac{cn(u)}{dn(u)}<0\\ cn(u-K)& =& \frac{sn(u)}{dn(u)}<0\\ dn(u-K)& =& \frac{\sqrt{1-k^2}}{dn(u)}>0\end{array}$$

$K\le u+K\le 2K$の場合

$$\begin{array}{rcl}sn(u+K)& =& \frac{cn(u)}{dn(u)}>0\\ cn(u+K)& =& -\frac{sn(u)}{dn(u)}<0\\ dn(u+K)& =& \frac{\sqrt{1-k^2}}{dn(u)}>0\end{array}$$

を得る．
この部分の議論は少し僕の知識不足で曖昧なところがあります。いずれ修正します。
$sn(2K)=0,cn(2K)=-1,dn(2K)=1$を用いると
$$\begin{array}{rcl}sn(2K-u)& =& sn(u)\\ cn(2K-u)& =& -dn(u)\\ dn(2K-u)& =& dn(u)\end{array}$$
snは奇関数，cnは偶関数なのでこの事を用いて形式的に$u\to -u$として，定義域を$-2K\le u\le 4K$まで広げる。
$$\begin{array}{rcl}sn(u+2K)& =& sn(u)\\ cn(u+2K)& =& -cn(u)\\ dn(u+2K)& =& dn(u)\end{array}$$
を得る。実際は，sn，cn，dnの偶奇性から$|u|\le 4K$まで定義域を拡大する事が出来てることに注意。
$$\begin{array}{rcl}sn(4K)& =& sn(2K)=0\\ cn(4K)& =& -cn(2K)=1\\ dn(4K)& =& dn(2K)=1\end{array}$$
次に$|u|\le K$と制限して次の計算を行う。
$$\begin{array}{rcl}sn(u+4K)& =& sn(u)\\ cn(u+4K)& =& cn(u)\\ dn(u+4K)& =& dn(u)\end{array}$$
すると、dnが周期2K，sn,cnが周期4K，の周期関数として定義できる事が分かる。