■分割数の漸近挙動(その130)

 zは上半平面を動く変数とする。z=x+iy,y>0

exp(z)=exp(x)exp(iy)=exp(x){cos(y)+isin(y)}

このとき、q(z)=exp(2πiz)は、iz=ix-y

q(z)=exp(-2πy)exp(2πix)=exp(-2πy){cos(2πx)+isin(2πx)}で、単位円板上を動くことになる

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

さらに

q(z+1)=exp(-2πy)exp(2πix)exp(2πi)=exp(-2πy)exp(2πix)=q(z)

で、周期1を持つことがわかる

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

f(z)を上半平面で周期1を持つ関数とすれば

f(z)=a0+a1q+a2q^2+・・・

q=q(z)=exp(2πiz)

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