3
現代数学解説
文献あり

ラマヌジャン・佐藤級数を理解したい(その4)

181
0

はじめに

 この記事では 前回の記事 での考察を踏まえて 前々回の記事 に引き続きChan, Cooper(2012)を読んでいきます。

これまでの復習

Chan, Chan, Liuの結果

 Chan, Chan, Liuによると
Z=n=0AnXn
なる重さ2のモジュラー形式Zとモジュラー関数Xがあれば
qddqlogX=UZqddqlogZ=ES(τ)=1Z(E12πIm(τ))
とおいたとき
12πIm(τ)=n=0An(UnS)Xn
なる円周率公式が得られるのであった。

Clausenの公式の類似

 またChan, Cooperによると
z=n=0snxn
なる重さ1モジュラー形式zとモジュラー関数xであって、snが漸化式
(n+1)2sn+1=(an2+an+b)sn+cn2sn1
を満たすようなものがあれば
(1+cx2)z2=n=0(2nn)sn(x(1axcx2)(1+cx2)2)n(1axcx2)z2=n=0tn(x1axcx2)n
なる関係式が得られるのであった。

Chan, Cooperの公式

 Chan, Cooperでは10通りのa,b,cに対して数列sn,tnの明示形および
z=n=0snxn
なる関数z,xがリストアップされている(それらは次回の記事あたりでまとめておこうと思う)。
 そしてそれらのz,xに対して次のような興味深い事実が成り立つらしい。

qddqlogx=(1axcx2)z2
が成り立つ。特に
X=x(1axcx2)(1+cx2)2,Y=x1axcx2
とおいたとき
qddqlogX=14aX16cX2(1+cx2)z2qddqlogY=(1+cx2)z2
が成り立つ。

 しかし少し考えてみるとこれは至極当然であり、またより一般的な事実が言えることに気付いた。その考察については以下に記しておく。
 さてこの公式および
n=0tnYn+12=n=0(2nn)snXn+12n=0tn(n+12)Yn+12=14aX16cX2n=0(2nn)sn(n+12)Xn+12
という変換公式があったこと( 前々回の記事 参照)に注意すると次のような円周率公式が得られることとなる。

Chan-Cooperの公式

 ある関数λ(τ),μ(τ)が存在して
12πIm(τ)=14aX16cX2n=0(2nn)sn(n+12+λ)Xn=(1+aY)2+4cY2n=0tn(n+12+μ)Yn
が成り立つ。特にこれらは
X=Y(1+aY)2+4cY2λ=μ(1+aY)2+4cY21(a2+4c)Y2
および
Y=12aX14aX16cX22X(a2+4c)μ=λ14aX16X2
という関係によって写り合う。

eta-quotient

 またChan, Cooperの提示したリストに対して次のような事実も成り立つらしい。

 N1において
1Y=1xacx
はイータ関数同士の商(eta-quotient)として表せる。また
1X=1Y+2a+(a2+4c)Y
と表せることにも注意したい。

 実際Y1は以下のようにリストアップされている。ただし簡単のため[n]=η(nτ)と表す。
Y12([1][2])243([1][3])124([1][4])45([1][5])66A([2][3][1][6])126B([1][3][2][6])66C([1][2][3][6])48([1][4]2[2]2[8])89([3]2[1][9])6

  前回の記事 ではeta-quotientYに対し
Z=qddqlogY
とおくと
Z=n=0(2nn)snXn,Z^=n=0tnYn
なるXZ^が存在するのではないか、といったことを考察したが実際のところそれは正しかったわけである。
 しかしこれはChan, Cooperの提示したリストに対して個別に確認されている事実であり、一般的にどのようにしてこのような事実が導かれるのかが気になるところでもある。
 ちなみにイータ関数の商の取り方について、次のような有用な事実があることも覚えておきたい。

 (有限な)整数列π=(rd)dNを条件
rd=0
drd0(mod24)
Ndrd0(mod24)
drdは有理数の平方
を満たすように取ると
ηπ(τ)=dNη(dτ)rd
Γ0(N)に関するモジュラー関数となる。

考察

 前回の記事ではz=z(x)が満たす微分方程式を考えたとき、そのある基本解z0(=z),z1に対して
τ=12πiz1(x)z0(x)
が成り立つと考察したのであった。
 ここでこれをxについて微分すると
2πidτdx=z0z1z0z1z02
という式が得られる。この分子はロンスキアンと呼ばれるものであり、以下の性質を満たすことが知られている。

 二階線形微分方程式
d2udx2+p(x)dudx+q(x)u=0
の解u=u1,u2に対し
W(u1,u2)=|u1u2u1u2|=u1u2u1u2
と定められる関数のことをロンスキアンと言い、これは
W(x)=W(x0)exp(x0xp(t)dt)
という関係式を持つ。

 ロンスキアンを微分することで
W=u1u2u1u2=u1(pu2qu2)(pu1qu1)u2=p(u1u2u1u2)=pW
つまり(logW)=pがわかるのでこれを積分することで
logW(x)logW(x0)=x0xp(t)dt
を得る。

 これを用いると定理1は次のように証明・一般化できることに気付いた。

 f(0)=1,g(0)=0なる多項式f(x),g(x)によって
f(x)ϑ2z+pxf(x)ϑz+g(x)z=0(ϑ=xddx)
と表される微分方程式を考える。これはx=0の周りで
z0(x)=n=0snxn(s0=1)z1(x)=z0(x)(logx+n=1anxn)
という形の基本解を持ち、これに対し
τ=12πiz1(x)z0(x)
とおくと
12πiddτlogx=f(x)pz0(x)2
が成り立つ。

 この微分方程式はz=0を確定特異点に持ち、その特性方程式はα2=0となるのでフロベニウス法により上のような基本解z=z0,z1が取れることがわかる。
 またこの微分方程式は
xf(x)z+(f(x)+pxf(x))z+(g(x)/x)z=0
と変形できるのでz0,z1についてロンスキアンは
W(x)=Cexp(f(x)+pxf(x)xf(x)dx)=Cexp(logxplogf(x))=Cxf(x)p
と表せ、
2πidτdx=ddx(logx+n=1anxn)=1x+n=1nanxn1=W(x)z0(x)2
およびz0(0)=f(0)=1であったことに注意するとC=1と求まる。以上より
12πidxdτ=z0(x)2W(x)=xf(x)pz0(x)2
を得る。

 例えば[CTYZ]で考察されていた微分方程式
(112x64x2)ϑ2zx(6+64x)ϑzx(1+15x)z=0
f(x)=112x64x2,p=1/2の場合であり、したがって
qddqlogx=112x64x2z2
という関係式が得られたりする。
 実際τ=3/10つまりx=1/36において
2Im(τ)112x64x2=2310529=15184
が成り立つので
1π=1518n=0(k=0n(nk)4)4n+136n
といった円周率公式が得られるわけである。

 また 第一回の記事 では
Z=3F2(12,1s,11s1,1;X)(s=2,3,4,6)
なるZ,Xに対して
qdXdq=(12x)XZ(4x(1x)=X)
となることを紹介したが、これはz2=Z,4x(1x)=Xなるz,xに対し
z=2F1(1s,11s1;x)
が成り立つ、つまりこれらが同じ係数を持つ超幾何微分方程式
x(1x)z+(12x)z1s(11s)z=0
を満たすこと起因していたことがわかる。
 実際これはsに依らずf(x)=1x,p=1の場合であり
qdxdq=x(1x)z2=14XZ
つまり
qdXdq=qdxdqdXdx=14XZ4(12x)=(12x)XZ
が得られることがわかる。

参考文献

[1]
H. H. Chan, S. Cooper, Rational analogues of Ramanujan’s series for 1/π, Math. Proc. Cambridge Phil. Soc., 2012, 361-383
[2]
H. H. Chan, M. L. Lang, Ramanujan’s modular equations and Atkin–Lehner involutions, Israel J. Math., 1998, 1-16
投稿日:20231213
更新日:20231213
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

子葉
子葉
1065
259842
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. これまでの復習
  3. Chan, Cooperの公式
  4. eta-quotient
  5. 考察
  6. 参考文献