■レムニスケートの等分点とテータ関数(その24)

  sl’(u)^2=1−sl(u)^4

  sl”(u)=−sl(u)^3

とおくと,加法定理:任意の実数u,vに対して

  sl(u+v)={sl(u)sl’(v)+sl(v)sl’(u)}/{1+sl^2(u)sl^2(v)}

が成り立つ.

 複素数に拡張しても成り立つためには

  sl(iu)=isl(u),sl’(iu)=sl(u)

  sl(z)=sl(u+vi)={sl(u)sl’(iv)+sl(v)sl’(iu)}/{1+sl^2(u)sl^2(vi)}=

={sl(u)sl’(v)+isl(v)sl’(u)}/{1−sl^2(u)sl^2(v)}

  sl(iz)=isl(z),sl’(iz)=sl(iz)

と定義する.

 このとき,加法定理:任意の複素数u,vに対して

  sl(u+v)={sl(u)sl’(v)+sl(v)sl’(u)}/{1+sl^2(u)sl^2(v)}

が成り立つ.

===================================

【1】レムニスケートサインとワイエルシュトラスのペー関数の関係

  sl(z)=−2p1(z)/p1’(z)

  sl’(z)=(4p1(z)^2−1)/(4p1(z)^2+1)

===================================