■平方和分割とテータ関数(その33)

今回のテーマは二平方和問題,四平方和問題,八平方和問題に対するテータ関数の応用である.

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

【1】n=x^2+y^2(二平方和問題)

 和の順序や整数の正負も区別すると,2は2つの平方数の和で4通りに表せる.

  2=(±1)^2+(±1)^2

しかし,3は2つの平方数の和では表せない数である.5は

  5=(±2)^2+(±1)^2

  5=(±1)^2+(±2)^2

と書けるから8通りに表せる.そこで

[Q]どんな整数nが2つの平方数の和として表されるか?

正の整数nを2つの平方数の和で表す方法の総数r2(n)を表す式を求められるか?

 どのような自然数mが2つの平方数の和の形に書くことができるのでしょうか? 2つの平方数の和になる数m=4n+3はありません.mの素因数分解におけるp=4n+3の形のすべての素因数の指数が偶数であるときに限り,2つの平方数の和の形に表すことができるのです.すなわち,

  p=1   (mod3)

  q=−1  (mod3)

  m=2^aΠp^bΠq^c

において,すべてのcが偶数のとき,m=x^2+y^2に対する解は存在するのです(必要十分条件).

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

 そして,正の整数nの約数で4k+1の形のものの個数をd1(n),4k+3の形のものの個数をd3(n)とすると

  r2(n)=4(d1(n)−d3(n))

が成り立ちます.

(証)θ(τ)=Σq^(n^2)

より

  θ(τ)^2=Σr2(n)q^n,q=exp(πiτ)

すなわち,r2(n)の母関数はθ(τ)^2と一致する.

 また,

  θ(τ)^2=1+4Σq^n/(1+q^2n)

       =1+4Σ{q^n/(1−q^4n)−q^3n/(1−q^4n)}

       =1+4Σ(d1(n)q^n−d3(n)q^n)}

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