■Δ(z)関数の特殊値(その2)
1/2{Δ(z+1/2)+Δ(z)}=Στ(2n)q^2n
Δ(z+1/2)=−Δ(z)+2Στ(2n)q^2n
Στ(2n)q^n+2^11Στ(n)q^2n=−24Δ(z)
Στ(2n)q^2n+2^11Στ(n)q^4n=−24Δ(2z)
Στ(2n)q^2n=−2^11Δ(4z)−24Δ(2z)
Δ(z+1/2)=−Δ(z)−48Δ(2z)−2^12Δ(4z)
===================================
ラマヌジャンの関数の特殊値として、レルヒの公式
Δ(i)=2^(-24)π^(-18)Γ(1/4)^24
===================================
レルヒの公式
π=2∫(0,1)1/√(1-x^2)dx=3.14159・・・(円周率)
ω=2∫(0,1)1/√(1-x^4)dx=2.62205・・・(レムニスケート周率)
∫(0,1)1/(1-x^4)^(1/2)dx=Γ^2(1/4)/2^(5/2)π^(1/2)
Δ(i)=(ω/π√2)^12=Γ^24(1/4)/2^24π^18
E4(i)=3(ω/π)^4=3Γ^8(1/4)/64π^6
E6(i)=0,
Δ(z)=1/1728(E4(z)^3-E6(z)^2)
Δ(i)=1/1728・3^3Γ^24(1/4)/(64)^3π^18=Γ^24(1/4)/(64)^4π^18=2^(-24)π^(-18)Γ(1/4)^24
===================================
ガウスの整数に関連したワイエルシュトラス積の1/2における値
σ(1/2)=1/2Σ(1-1/2(m+ni))exp(1/2(m+ni)+1/8(m+ni)^2)=2^5/4・π^1/2・exp(π/8)・Γ(1/4)^-2
はπとexp(π)とΓ(1/4)が代数的に独立であることを示す手段になりうると思われるが、レルヒの公式はπとΓ(1/4)が代数的に独立であることを示す手段になりうる?
===================================