■三角関数の和と積(その16)

 有限フーリエ級数

  F(m)=Σ(k=0~m-1)exp(i(2π/m)k)

を幾何学的に解釈すると,原点から正m角形の頂点に向かって一様に放射状に出る長さ1のベクトルの和であるから,値は0になる.

 今回のコラムでは,ガウスが正n角形の研究中に出会った関数

  G(m)=Σ(k=0~m-1)exp(−i(2π/m)k^2)

について考える.kが2乗されていることで,全方向の一様性がなくなってしまい,図形的にみることが難しくなる.

 この関数は長い間ガウスの心を占めていた数学の問題で,現在,ガウス和と呼ばれている.偉大なガウスでさえもG(m)の値を得るのに数年を要したといわれている.

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

【1】ガウス和

 ガウスはこの問題を数論的な手法により1805年に解決したのであるが,その30年後の1835年,ディリクレがフーリエ級数を用いて簡潔な証明を生み出した.ガウス和は回折理論で有名なフレネル積分

  ∫(0,∞)sin(ax^2)dx=∫(0,∞)cos(ax^2)dx=1/2√(π/2a)

に帰着され,最終的な結論だけを述べると

  m=0(mod4) → G(m)=(1−i)√m

  m=1(mod4) → G(m)=√m

  m=2(mod4) → G(m)=0

  m=3(mod4) → G(m)=−i√m

 指数の符号をプラスにした

  H(m)=Σ(k=0~m-1)exp(i(2π/m)k^2)

はG(m)と複素共役だから,G(m)がわかればH(m)もわかる.

  m=0(mod4) → H(m)=(1+i)√m

  m=1(mod4) → H(m)=√m

  m=2(mod4) → H(m)=0

  m=3(mod4) → H(m)=i√m

 奇数のmに対して,

  |H(m)|^2=m

である.また,m=pqで置き換えると,

  H(pq)=(−1)^(p-1)(q-1)/4H(p)H(q)

 ガウス和は有限テータ関数として解釈することができるが,ヤコビのテータ関数は解析数論における数多くの深遠な問題と密接に結びついている.また,ガウス和は物理や通信における散乱,たとえば,コンサート・ホールの音響を弱めないで拡散させることなどに応用されているのである.

 ガウス和の指数を2乗和k^2に制限する理由はなく,k^nすなわちガウスの3乗和,4乗和,5乗和,6乗和,・・・と一般化することもできる.

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

m=17のとき、

exp(i(2π/m)k^2)=cos((2π/m)k^2)+isin((2π/m)k^2)

k=0:0

k=1:2/17

k=2:8/17

k=3:18/17=1/17+1

k=4:32/17=15/17+1

k=5:50/17=16/17+2

k=6:72/17=4/17+4

k=7:98/17=13/17+5

k=8:128/17=9/17+7

k=9:162/17=9/17+9

k=10:200/17=13/17+11

k=11:242/17=4/17+14

k=12:288/17=16/17+16

k=13:338/17=15/17+19

k=14:392/17=1/17+23

k=15:450/17=8/17+26

k=16:512/17=2/17+30

1-2cos(π/17)+2cos(2π/17)+2cos(4π/17)+2cos(8π/17)-2cos(9π/17)-2cos(13π/17)-2cos(15π/17)+2cos(16π/17)

1-4cos(π/17)+4cos(2π/17)+4cos(4π/17)+4cos(8π/17)

-2sin(π/17)+2sin(2π/17)+2sin(4π/17)+2sin(8π/17)-2sin(9π/17)-2sin(13π/17)-sin(15π/17)+2sin(16π/17)=0

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