利用者:HOTUMA/楕円関数の加法定理

三角関数と双曲線関数については良く知られた加法定理が存在する。

$\sin(u+v)={\sin }u{\cos }v+{\cos }u{\sin }v$

$\cos(u+v)={\cos }u{\cos }v-{\sin }u{\sin }v$

$\tanh(u+v)={\frac {{\tanh }u+{\tanh }v}{1+{\tanh }u{\tanh }v}}$

$\operatorname {sech} (u+v)={\frac {{\operatorname {sech} }u{\operatorname {sech} }v}{1+{\tanh }u{\tanh }v}}$

楕円関数の加法定理は両者の加法定理の折衷であろうと期待するのは自然のことである。試みに両者の公式を似た形に誘導する。

$\sin(u+v)={\sin }u{\sin }'v+{\sin }'u{\sin }v$

$\cos(u+v)={\cos }u{\cos }v-{\cos }'u{\cos }'v$

${\begin{aligned}\tanh(u+v)&={\frac {(1-{\tanh }u{\tanh }v)({\tanh }u+{\tanh }v)}{(1-{\tanh }u{\tanh }v)(1+{\tanh }u{\tanh }v)}}\\&={\frac {{\tanh }u(1-{\tanh }^{2}v)+{\tanh }v(1-{\tanh }^{2}u)}{1-{\tanh }^{2}u{\tanh }^{2}v}}\\&={\frac {{\tanh }u{\tanh }'v+{\tanh }v{\tanh }'u}{1-{\tanh }^{2}u{\tanh }^{2}v}}\\\end{aligned}}$

${\begin{aligned}\operatorname {sech} (u+v)&={\frac {(1-{\tanh }u{\tanh }v){\operatorname {sech} }u{\operatorname {sech} }v}{(1-{\tanh }u{\tanh }v)(1+{\tanh }u{\tanh }v)}}\\&={\frac {{\operatorname {sech} }u{\operatorname {sech} }v-{\tanh }u{\operatorname {sech} }u{\tanh }v{\operatorname {sech} }v}{1-{\tanh }^{2}u{\tanh }^{2}v}}\\&={\frac {{\operatorname {sech} }u{\operatorname {sech} }v-{\operatorname {sech} }'u{\operatorname {sech} }'v}{1-{\tanh }^{2}u{\tanh }^{2}v}}\\\end{aligned}}$

$\operatorname {sn} (u,0)={\sin }u,\operatorname {sn} (u,1)={\operatorname {sech} }u,\operatorname {sn} (u,0)={\cos }u,,\operatorname {sn} (u,1)={\tanh }u$であるから、分母の$-{\tanh }^{2}u{\tanh }^{2}v$を$k^{2}$で按分すれば良かろうと見当が付く。結論を記すと、実際、次の公式が楕円関数について成立する。

$\operatorname {sn} (u+v)={\frac {\operatorname {sn} \,u\,\operatorname {cn} \,v\,\operatorname {dn} \,v+\operatorname {cn} \,u\,\operatorname {dn} \,u\,\operatorname {sn} \,v}{1-k^{2}\,\operatorname {sn} ^{2}\,u\,\operatorname {sn} ^{2}\,v}}$

$\operatorname {cn} (u+v)={\frac {\operatorname {cn} \,u\,\operatorname {cn} \,v-\operatorname {sn} \,u\,\operatorname {dn} \,u\,\operatorname {sn} \,v\,\operatorname {dn} \,v}{1-k^{2}\,\operatorname {sn} ^{2}\,u\,\operatorname {sn} ^{2}\,v}}$

$\operatorname {dn} (u+v)={\frac {\operatorname {dn} \,u\,\operatorname {dn} \,v-k^{2}\,\operatorname {sn} \,u\,\operatorname {cn} \,u\,\operatorname {sn} \,v\,\operatorname {cn} \,v}{1-k^{2}\,\operatorname {sn} ^{2}\,u\,\operatorname {sn} ^{2}\,v}}$

が成り立つ。これを確かめるために右辺の導関数を求めるが、少し複雑な計算になるので簡単に書くための記号を導入する。

${\mathcal {A}}=1-k^{2}\operatorname {sn} ^{4}u$

${\mathcal {S}}={\frac {\operatorname {sn} u\operatorname {cn} v\operatorname {dn} v+\operatorname {cn} u\operatorname {dn} u\operatorname {sn} v}{A}}={\frac {\operatorname {sn} u\operatorname {cn} v\operatorname {dn} v+\operatorname {sn} 'u\operatorname {sn} v}{\mathcal {A}}}$

${\mathcal {C}}={\frac {\operatorname {cn} u\operatorname {cn} v-\operatorname {sn} u\operatorname {dn} u\operatorname {sn} v\operatorname {dn} v}{A}}={\frac {\operatorname {cn} u\operatorname {cn} v-\operatorname {cn} 'u\operatorname {sn} v\operatorname {dn} v}{\mathcal {A}}}$

${\mathcal {D}}={\frac {\operatorname {dn} u\operatorname {dn} v-k^{2}\operatorname {sn} u\operatorname {cn} u\operatorname {sn} v\operatorname {cn} v}{A}}={\frac {\operatorname {dn} u\operatorname {dn} v-\operatorname {dn} 'u\operatorname {sn} v\operatorname {cn} v}{\mathcal {A}}}$

まづ、${\mathcal {S}}$と${\mathcal {C}}$と${\mathcal {D}}$の関係を確かめる。

${\begin{aligned}{\mathcal {S}}^{2}+{\mathcal {C}}^{2}&={\frac {(\operatorname {sn} u\operatorname {cn} v\operatorname {dn} v+\operatorname {cn} u\operatorname {dn} u\operatorname {sn} v)^{2}}{\mathcal {A}}}+{\frac {(\operatorname {cn} u\operatorname {cn} v-\operatorname {sn} u\operatorname {dn} u\operatorname {sn} v\operatorname {dn} v)^{2}}{\mathcal {A}}}\\&={\frac {\operatorname {sn} ^{2}u\operatorname {cn} ^{2}v\operatorname {dn} ^{2}v+\operatorname {cn} ^{2}u\operatorname {dn} ^{2}u\operatorname {sn} ^{2}v+\operatorname {cn} ^{2}u\operatorname {cn} ^{2}v+\operatorname {sn} ^{2}u\operatorname {dn} ^{2}u\operatorname {sn} ^{2}v\operatorname {dn} ^{2}v}{\mathcal {A}}}\\&={\frac {\operatorname {sn} ^{2}u\operatorname {cn} ^{2}v(1-k^{2}\operatorname {sn} ^{2}v)+\operatorname {cn} ^{2}u(1-k^{2}\operatorname {sn} ^{2}u)\operatorname {sn} ^{2}v+\operatorname {cn} ^{2}u\operatorname {cn} ^{2}v+\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v(1-k^{2}\operatorname {sn} ^{2}u)(1-k^{2}\operatorname {sn} ^{2}v)}{\mathcal {A}}}\\&={\frac {(\operatorname {sn} ^{2}u+\operatorname {cn} ^{2}u)(\operatorname {sn} ^{2}v+\operatorname {cn} ^{2}v)-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v(\operatorname {sn} ^{2}u+\operatorname {cn} ^{2}u)-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v(\operatorname {sn} ^{2}v+\operatorname {cn} ^{2}v)+k^{4}\operatorname {sn} ^{4}u\operatorname {sn} ^{4}v}{\mathcal {A}}}\\&={\frac {(1-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v)^{2}}{\mathcal {A}}}=1\end{aligned}}$

${\begin{aligned}k^{2}{\mathcal {S}}^{2}+{\mathcal {C}}^{2}&={\frac {k^{2}(\operatorname {sn} u\operatorname {cn} v\operatorname {dn} v+\operatorname {cn} u\operatorname {dn} u\operatorname {sn} v)^{2}}{A}}+{\frac {(\operatorname {dn} u\operatorname {dn} v-k^{2}\operatorname {sn} u\operatorname {cn} u\operatorname {sn} v\operatorname {cn} v)^{2}}{\mathcal {A}}}\\&={\frac {k^{2}\operatorname {sn} ^{2}u\operatorname {cn} ^{2}v\operatorname {dn} ^{2}v+k^{2}\operatorname {cn} ^{2}u\operatorname {dn} ^{2}u\operatorname {sn} ^{2}v+\operatorname {dn} ^{2}u\operatorname {dn} ^{2}v+k^{4}\operatorname {sn} ^{2}u\operatorname {cn} ^{2}u\operatorname {sn} ^{2}v\operatorname {cn} ^{2}v}{\mathcal {A}}}\\&={\frac {k^{2}\operatorname {sn} ^{2}u\operatorname {dn} ^{2}v(1-\operatorname {sn} ^{2}v)+k^{2}\operatorname {dn} ^{2}u\operatorname {sn} ^{2}v(1-\operatorname {sn} ^{2}u)+\operatorname {dn} ^{2}u\operatorname {dn} ^{2}v+k^{4}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v(1-\operatorname {sn} ^{2}u)(1-\operatorname {sn} ^{2}v)}{\mathcal {A}}}\\&={\frac {(k^{2}\operatorname {sn} ^{2}u+\operatorname {dn} ^{2}u)(k^{2}\operatorname {sn} ^{2}v+\operatorname {dn} ^{2}v)-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v(k^{2}\operatorname {sn} ^{2}u+\operatorname {dn} ^{2}u)-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v(k^{2}\operatorname {sn} ^{2}v+\operatorname {dn} ^{2}v)+k^{4}\operatorname {sn} ^{4}u\operatorname {sn} ^{4}v}{\mathcal {A}}}\\&={\frac {(1-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v)^{2}}{\mathcal {A}}}=1\end{aligned}}$

予め途中の計算をしておく。

${\mathcal {A}}'=-2k^{2}\operatorname {sn} ^{2}v\operatorname {sn} 'u\operatorname {sn} u=-2k^{2}\operatorname {sn} ^{2}v\operatorname {sn} u\operatorname {cn} u\operatorname {dn} u$

${\begin{aligned}(\operatorname {cn} u\operatorname {dn} u)'{\mathcal {A}}-\operatorname {sn} 'u{\mathcal {A}}'&=(-\operatorname {sn} u\operatorname {dn} ^{2}u-k^{2}\operatorname {sn} u\operatorname {cn} ^{2}u)(1-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v)+2k^{2}\operatorname {sn} u\operatorname {cn} ^{2}u\operatorname {dn} ^{2}u\operatorname {sn} ^{2}v\\&=\operatorname {sn} u\operatorname {dn} ^{2}u(-1+k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v+k^{2}\operatorname {cn} ^{2}u\operatorname {sn} ^{2}v)+k^{2}\operatorname {sn} u\operatorname {cn} ^{2}u(-1+k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v+\operatorname {dn} ^{2}u\operatorname {sn} ^{2}v)\\&=-\operatorname {sn} u\operatorname {dn} ^{2}u\operatorname {dn} ^{2}v-k^{2}\operatorname {sn} u\operatorname {cn} ^{2}u\operatorname {cn} ^{2}v\\\end{aligned}}$

${\begin{aligned}-(\operatorname {sn} u\operatorname {dn} u)'{\mathcal {A}}-\operatorname {cn} 'u{\mathcal {A}}'&=-(\operatorname {cn} u\operatorname {dn} ^{2}u-k^{2}\operatorname {cn} u\operatorname {sn} ^{2}u)(1-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v)-2k^{2}\operatorname {cn} u\operatorname {sn} ^{2}u\operatorname {dn} ^{2}u\operatorname {sn} ^{2}v\\&=\operatorname {cn} u\operatorname {dn} ^{2}u(-1+k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v)+k^{2}\operatorname {cn} u\operatorname {sn} ^{2}u(1-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v-\operatorname {dn} ^{2}u\operatorname {sn} ^{2}v)\\&=-\operatorname {cn} u\operatorname {dn} ^{2}u+k^{2}\operatorname {cn} u\operatorname {sn} ^{2}u\operatorname {cn} ^{2}v\\\end{aligned}}$

${\begin{aligned}-k^{2}(\operatorname {sn} u\operatorname {cn} u)'{\mathcal {A}}-\operatorname {dn} 'u{\mathcal {A}}'&=-k^{2}(\operatorname {dn} u\operatorname {cn} ^{2}u-\operatorname {dn} u\operatorname {sn} ^{2}u)(1-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v)-2k^{4}\operatorname {sn} ^{2}u\operatorname {cn} ^{2}u\operatorname {dn} u\operatorname {sn} ^{2}v\\&=k^{2}\operatorname {dn} u\operatorname {cn} ^{2}u(-1+k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v)+k^{2}\operatorname {dn} u\operatorname {sn} ^{2}u(1-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v-k^{2}\operatorname {cn} ^{2}u\operatorname {sn} ^{2}v)\\&=-k^{2}\operatorname {dn} u\operatorname {cn} ^{2}u+k^{2}\operatorname {dn} u\operatorname {sn} ^{2}u\operatorname {dn} ^{2}v\\\end{aligned}}$

${\begin{aligned}\operatorname {sn} 'u{\mathcal {A}}-\operatorname {sn} u{\mathcal {A}}'&=(1-k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v+2k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v)\operatorname {sn} 'u\\&=(1+k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v)\operatorname {cn} u\operatorname {dn} \\\end{aligned}}$

${\begin{aligned}\operatorname {cn} 'u{\mathcal {A}}-\operatorname {cn} u{\mathcal {A}}'&=(1-k^{2}\operatorname {sn} ^{2}v+k^{2}\operatorname {cn} ^{2}u\operatorname {sn} ^{2}v-2k^{2}\operatorname {cn} ^{2}u\operatorname {sn} ^{2}v)\operatorname {cn} 'u\\&=-(\operatorname {dn} ^{2}v-k^{2}\operatorname {sn} ^{2}v\operatorname {cn} ^{2}u)\operatorname {sn} u\operatorname {dn} \\\end{aligned}}$

${\begin{aligned}\operatorname {dn} 'u{\mathcal {A}}-\operatorname {dn} u{\mathcal {A}}'&=(1-\operatorname {sn} ^{2}v+\operatorname {dn} ^{2}u\operatorname {sn} ^{2}v-2\operatorname {dn} ^{2}u\operatorname {sn} ^{2}v)\operatorname {dn} 'u\\&=-k^{2}(\operatorname {cn} ^{2}v-\operatorname {sn} ^{2}v\operatorname {dn} ^{2}u)\operatorname {sn} u\operatorname {cn} \\\end{aligned}}$

$u$に関する導関数を求める。（$v$は定数と考える。）

${\begin{aligned}{\mathcal {S}}'&={\frac {(\operatorname {sn} 'u\operatorname {cn} v\operatorname {dn} v+(\operatorname {cn} u\operatorname {dn} u)'\operatorname {sn} v){\mathcal {A}}-(\operatorname {sn} u\operatorname {cn} v\operatorname {dn} v+\operatorname {sn} 'u\operatorname {sn} v){\mathcal {A}}'}{{\mathcal {A}}^{2}}}\\&={\frac {\operatorname {sn} v((\operatorname {cn} u\operatorname {dn} u)'{\mathcal {A}}-\operatorname {sn} 'u{\mathcal {A}}')+\operatorname {cn} v\operatorname {dn} v(\operatorname {sn} 'u{\mathcal {A}}-\operatorname {sn} u{\mathcal {A}}')}{{\mathcal {A}}^{2}}}\\&={\frac {\operatorname {sn} u\operatorname {sn} v(-\operatorname {dn} ^{2}u\operatorname {dn} ^{2}v-k^{2}\operatorname {cn} ^{2}u\operatorname {cn} ^{2}v)+\operatorname {cn} u\operatorname {dn} u\operatorname {cn} v\operatorname {dn} v(1+k^{2}\operatorname {sn} ^{2}u\operatorname {sn} ^{2}v)}{\mathcal {A}}}\\&={\frac {(\operatorname {cn} u\operatorname {cn} v-\operatorname {sn} u\operatorname {dn} u\operatorname {sn} v\operatorname {dn} v)(\operatorname {dn} u\operatorname {dn} v-k^{2}\operatorname {sn} u\operatorname {cn} u\operatorname {sn} v\operatorname {cn} v)}{\mathcal {A}}}={\mathcal {C}}{\mathcal {D}}\end{aligned}}$

${\begin{aligned}{\mathcal {C}}'&={\frac {(\operatorname {cn} 'u\operatorname {cn} v-(\operatorname {sn} u\operatorname {dn} u)'\operatorname {sn} v\operatorname {dn} v){\mathcal {A}}-(\operatorname {cn} u\operatorname {cn} v+\operatorname {cn} 'u\operatorname {sn} v\operatorname {dn} v){\mathcal {A}}'}{{\mathcal {A}}^{2}}}\\&={\frac {\operatorname {sn} v\operatorname {dn} v(-(\operatorname {sn} u\operatorname {dn} u)'{\mathcal {A}}-\operatorname {cn} 'u{\mathcal {A}}')+\operatorname {cn} v(\operatorname {cn} 'u{\mathcal {A}}-\operatorname {cn} u{\mathcal {A}}')}{{\mathcal {A}}^{2}}}\\&={\frac {\operatorname {cn} u\operatorname {sn} v\operatorname {dn} v(-\operatorname {dn} ^{2}u+k^{2}\operatorname {sn} ^{2}u\operatorname {cn} ^{2}v)-\operatorname {sn} u\operatorname {dn} u\operatorname {cn} v(\operatorname {dn} ^{2}v-k^{2}\operatorname {cn} ^{2}u\operatorname {sn} ^{2}v)}{\mathcal {A}}}\\&={\frac {-(\operatorname {sn} u\operatorname {cn} v\operatorname {dn} v+\operatorname {cn} u\operatorname {dn} u\operatorname {sn} v)(\operatorname {dn} u\operatorname {dn} v-k^{2}\operatorname {sn} u\operatorname {cn} u\operatorname {sn} v\operatorname {cn} v)}{\mathcal {A}}}=-{\mathcal {S}}{\mathcal {D}}\end{aligned}}$

${\begin{aligned}{\mathcal {D}}'&={\frac {(\operatorname {dn} 'u\operatorname {dn} v-k^{2}(\operatorname {sn} u\operatorname {cn} u)'\operatorname {sn} v\operatorname {cn} v){\mathcal {A}}-(\operatorname {dn} u\operatorname {dn} v+\operatorname {dn} 'u\operatorname {sn} v\operatorname {cn} v){\mathcal {A}}'}{{\mathcal {A}}^{2}}}\\&={\frac {\operatorname {sn} v\operatorname {cn} v(-k^{2}(\operatorname {sn} u\operatorname {cn} u)'{\mathcal {A}}-\operatorname {dn} 'u{\mathcal {A}}')+\operatorname {dn} v(\operatorname {dn} 'u{\mathcal {A}}-\operatorname {dn} u{\mathcal {A}}')}{{\mathcal {A}}^{2}}}\\&={\frac {k^{2}\operatorname {dn} u\operatorname {sn} v\operatorname {cn} v(-\operatorname {cn} ^{2}u+\operatorname {sn} ^{2}u\operatorname {dn} ^{2}v)-k^{2}\operatorname {sn} u\operatorname {cn} u\operatorname {dn} v(\operatorname {cn} ^{2}v-\operatorname {dn} ^{2}u\operatorname {sn} ^{2}v)}{\mathcal {A}}}\\&={\frac {-k^{2}(\operatorname {sn} u\operatorname {cn} v\operatorname {dn} v+\operatorname {cn} u\operatorname {dn} u\operatorname {sn} v)(\operatorname {cn} u\operatorname {cn} v-\operatorname {sn} u\operatorname {dn} u\operatorname {sn} v\operatorname {dn} v)}{\mathcal {A}}}=-k^{2}{\mathcal {S}}{\mathcal {C}}\end{aligned}}$

${\mathcal {S}}''=({\mathcal {C}}{\mathcal {D}})'=2k^{2}{\mathcal {S}}^{3}-(1+k^{2}){\mathcal {S}}$

${\mathcal {C}}''=-({\mathcal {S}}{\mathcal {D}})'=-2k^{2}{\mathcal {S}}^{3}-(1-2k^{2}){\mathcal {S}}$

${\mathcal {D}}''=-k^{2}({\mathcal {S}}{\mathcal {C}})'=-2{\mathcal {S}}^{3}+(2-k^{2}){\mathcal {S}}$

右辺はヤコービの楕円関数と同じ微分方程式を解くので、$u=0$を代入して初期値を確かめる。

${\mathcal {S}}(0)={\frac {\operatorname {sn} (0)\operatorname {cn} v\operatorname {dn} v+\operatorname {cn} (0)\operatorname {dn} (0)\operatorname {sn} v}{1-k^{2}\operatorname {sn} ^{2}(0)\operatorname {sn} ^{2}v}}=\operatorname {sn} v$

${\mathcal {C}}(0)={\frac {\operatorname {cn} (0)\operatorname {cn} v-\operatorname {sn} (0)\operatorname {dn} (0)\operatorname {sn} v\operatorname {dn} v}{1-k^{2}\operatorname {sn} ^{2}(0)\operatorname {sn} ^{2}v}}=\operatorname {cn} v$

${\mathcal {D}}(0)={\frac {\operatorname {dn} (0)\operatorname {dn} v-k^{2}\operatorname {sn} (0)\operatorname {cn} (0)\operatorname {sn} v\operatorname {cn} v}{1-k^{2}\operatorname {sn} ^{2}(0)\operatorname {sn} ^{2}v}}=\operatorname {dn} v$

従って、先に示した加法定理は成立する。