20/02/09 22:07:16.60 SF8a8rkr.net
>>224
多分こんな感じの流れで示すことはできそう
(Δa)[i,j] := (a[i+1,j]+a[i-1,j]+a[i,j+1]+a[i,j-1])/4
と定めると、(Δ^(2n))a を展開した時の係数は ( (cosx+cosy)/2 )^(2n) を展開した時の係数と同一視することができ、
特に e^(i(2px+2qy)) の係数 c[p,q] は次を満たす：
c[p,q]=0 when |p|+|q|>n,
c[p,q]=c[p,-q]=c[-p,q],
|p|≧|p'| かつ |q|≧|q'| ならば c[p,q]≦c[p',q'].
これより (Δ^(2n)a)[0,0] - (Δ^(2n)a)[2,0] の各係数の絶対値の和は
=2Σ_(p,q∈Z, p≧0) |c[p,q]-c[p+1,q]|
=2Σ_(q∈Z) c[0,q]
=:S_n→0 (as n→∞)
であるから、配列a[i,j]が Δa=a かつ任意の(i,j)について |a[i,j]|≦M を満たすならば、
|a[0,0]-a[2,0]|≦MS_n (for∀n) より a[0,0]=a[2,0].
同様にして a[i,j]=a[i,j+2]=a[i+2,j] が導けるから、あとは容易。