■オイラーと整数の分割関数(その30)
【1】リーマンの関係式
w1=1/2・(z1+z2+z3+z4)
w2=1/2・(z1+z2−z3−z4)
w3=1/2・(z1−z2+z3−z4)
w4=1/2・(z1−z2−z3+z4)
とおくと
Πθ00(τ,z)+Πθ01(τ,z)+Πθ10(τ,z)+Πθ11(τ,z)
=2Σε(1/2・Σmk^2+Σmkzk)
=2Πθ00(τ,z)
===================================
[1, 1, 1, 1]
[1, 1,−1,−1]=A
[1,−1, 1,−1]
[1,−1,−1, 1]
A^2=4E4が成り立つ.
参考までに,4平方和問題
(a^2+b^2+c^2+d^2)(p^2+q^2+r^2+s^2)=x^2+y^2+z^2+w^2は
x=ap+bq+cr+ds,
y=aq−bp+cs−dr,
z=ar−bs−cp+dq,
w=as+br−cq−dp
とおくと成り立ち,4つの平方数の和となっている数は積の演算で閉じていることを示しています.
===================================