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

 たとえば,3倍角の公式

  sl(3u)=sl(u)(3−6sl^4(u)−sl^8(u))/(1+6sl^4(u)−3sl^8(u))

 u=2ω/3)とおくと,sl(3u)=0であるから,

  3−6sl^4(u)−sl^8(u)=0

を満たす.この方程式の実根は

  sl(u)=(2√3−3)^1/4

である.

 一般に

[1]nが奇数のとき

  sl(nu)=sl(u)Pn(sl^4(u))/Qn(sl^4(u))

  Qn+1(x)=Qn-1(x){Qn(x)^2+xPn(x)^2}

  Pn+1(x)=2Pn(x)Qn(x)Qn-1(x)−Pn-1(x){Qn(x)^2+xPn(x)^2}

[2]nが偶数のとき

  sl(nu)=sl(u)sl’(u)Pn(sl^4(u))/Qn(sl^4(u))

  Qn+1(x)=Qn-1(x){Qn(x)^2+x(1−x)Pn(x)^2}

  Pn+1(x)=2(1−x)Pn(x)Qn(x)Qn-1(x)−Pn-1(x){Qn(x)^2+x(1−x)Pn(x)^2}

 この方法は,連分数の第n近似分数

  wn=pn/qn

を計算するう漸化式の作り方とよく似た方法であるが,これより,

  P4(x)=4(1+x)(1−6x+x^2)

  P5(x)=(5−2x+x^2)(1−12x−26x^2+52x^3+x^4)

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

【1】加法定理

 任意の実数u,vに対して

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

が成り立つ.

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

  sl(ω/2)=1,sl’(ω/2)=0

であるから

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

[2]sl(2u)=2sl(u)sl’(u)/{1+sl^4(u)}

[3]sl(ω/2−u)=sl’(u)/{1+sl^2(u)}

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