■算術幾何平均(その7)

  M(a,b)=1/(2/π∫(0,1)dx/√(1−x^2)(1−k^2x^2))

 算術幾何平均とテータ関数の関係を調べれみたい.

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

【1】公式集

θ00(2τ,2z)={θ00(τ,z)^2+θ01(τ,z)^2}/2θ00(τ,0)

θ00(2τ,0)^2=1/2{θ00(τ,0)^2+θ01(τ,0)^2}

θ01(2τ,0)^2=θ00(τ,0)θ01(τ,0)

k’(τ)=θ01(τ,0)^2/θ00(τ,0)^2,k(τ)^2=1−k’(τ)^2

K(τ)=π/2・θ00(τ,0)^2=∫(0,1)dx/√(1−x^2)(1−k(τ)^2x^2)

とおくと

  M(1,k’(τ))=π/2K(τ)=1/θ00(τ,0)^2

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