■いろいろの漸化式と母関数(その3)
今回のコラムでは,関数方程式
f(1/x)=Cx^ーDf(x),Cは定数,Dは重みと呼ばれる
について調べてみます.
===================================
[1]f(x)=1/(x−1)
f(1/x)=1/(x^-1−1)=x/(1−x)=−xf(x)
C=−1,D=−1
すなわち,重さ−1の絶対保型形式となる.
[2]f(x)=x^2/(x^2−1)
f(1/x)=x^-2/(x^-2−1)=1/(1−x^2)=−x^-2f(x)
C=−1,D=2
すなわち,重さ2の絶対保型形式となる.
[3]f(x)=(2g−2)(x^2+x)/(x−1)^2
f(1/x)=(2g−2)(x^-2+x^-1)/(x^-1−1)^2=(2g−2)(x+1)/(x−1)^2=x^-1f(x)
C=1,D=1
すなわち,重さ1の絶対保型形式となる.
[4]f(x)=x^3/(x−1)^3
f(1/x)=x^-3/(x^-1−1)^3=−1/(x−1)^3=−x^-3f(x)
C=−1,D=3
すなわち,重さ3の絶対保型形式となる.
[5]f(x)=x^1-N・(x^N−1)^2/(x−1)=x^1/2・(x^N/2−x^-N/2)^2/(x^1/2−x^-1/2)
f(1/x)=x^-1/2・(x^-N/2−x^N/21)^2/(x^-1/2−x^1/2)
=−x^-1f(x)
C=−1,D=1
すなわち,重さ1の絶対保型形式となる.
===================================