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)

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

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

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

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

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

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝