18

𝐖𝐙 𝐊𝐞𝐭𝐡𝐚𝐝 芚曞

957
1

𝙞𝚗𝚝𝚛𝚘𝚍𝚞𝚌𝚝𝚒𝚘𝚗
 Almkvist, Borwein, Bradley, Granville, Koecher, Leshchiner,Rivoalずいったひずたちはれヌタ倀に収束するような収束が速い玚数を䞎えおいたす。
䟋えばKoecher′s formula

∑n=0∞x2nζ(2n+3)=∑n=1∞(−1)n−1n3(2nn)(12+21−x2n2)∏k=1n−1(1−x2k2)

やBailey-Borwein-Bladley formula

∑n=0∞x2nζ(2n+2)=3∑n=1∞1(2nn)(n2−x2)∏k=1n−1k2−4x2k2−x2

ずいうものがありたす。
KhodabakhshずTatiana Hessami PilehroodはWZ methodを甚いおこのような等匏を蚌明したした。これらのれヌタ倀公匏のWZ methodによる蚌明はどのようにしお超幟䜕玚数ず関係しおいるのでしょうか。たたこの関連性によっおどのように䞀般化するこずができるでしょうか。

𝐓𝐡𝐞 ð–𝐙 ðŠðžð­ð¡ðšð

 次のような方向性を持぀各栌子蟺に重みが付いた栌子グラフを考えたす。

どの二点間においおも経路の重みが䞀臎するように蚭定したす(経路䞍倉性)。たたこのような性質を持぀栌子グラフをPiGGず呌ぶこずにしたす。
PiGGであるこずを確かめるには各栌子に぀いお考えれば十分です。

隣り合わない頂点どうしを新たに結ぶこずで同じ点集合に別の栌子を䞎えるこずができたす。そしおその栌子グラフは経路䞍倉性を持ちたす。
いた各頂点がZ×Z䞊にあるPiGGがあるずしたす。たた(i,j)から(i+1,j)たでの重みをF(i,j)(i,j)から(i,j+1)たでの重みをG(i,j)ずしたす。

経路䞍倉性を匏で衚せば

F(i,j)+G(i+1,j)=G(i,j)+F(i,j+1)

ずなりたす。この等匏を満たすF,Gの組をWZ-pairず呌びたす。
冒頭の疑問に察しおF,Gが特定の圢

Γ(a1i+b1j+v1)⋯Γ(ari+brj+vr)Γ(c1i+d1j+w1)⋯Γ(csi+dsj+ws)XiYj

を持っおくれるずうれしいです。ここでan,bn,cn,dnは敎数vn,wn,X,Yは耇玠数ずしおいたす。
たたこの圢で衚すこずができるずいうこずはF(i+1,j)F(i,j),F(i,j+1)F(i,j),F(i,j)G(i,j)が有理関数になるこずを瀺しおいたす。

この栌子グラフですが栌子の頂点の座暙は敎数でなくおも良いこずに泚意しおください。あくたで栌子蟺の長さが敎数であれば栌子グラフが圢成されるずいうのが本質です。

Binomial theorem

 F,Gを次のように定矩したす。

F(i,j)=Γ(i+j+2)Γ(i+2)Γ(j+1)xi(1−x)j=(i+j+1j)xi(1−x)jG(i,j)=−Γ(i+j+2)Γ(i+1)Γ(j+2)xi(1−x)j=−(i+j+1i)xi(1−x)j

F(i,j)+G(i+1,j)=G(i,j)+F(i,j+1)が成り立぀ので(F,G)はWZ-pairです。
次の栌子を考えたす。

経路Pで和をずるず

∑i=0m−1F(i,0)+∑j=0n−1G(m,j)=1−xm1−x−∑j=0n−1(j+m+1m)xm(1−x)j

経路Qで和をずるず

∑j=0n−1G(0,j)+∑i=0m−1F(i,n)=−1−(1−x)nx+∑i=0m−1(i+n+1n)xi(1−x)n

ずなりたす。
よっお

1−xm1−x−∑j=0n−1(j+m+1m)xm(1−x)j=−1−(1−x)nx+∑i=0m−1(i+n+1n)xi(1−x)n

ずいう等匏を埗たす。いたm→∞ずすれば

1−01−x−0=−1−(1−x)nx+∑i=0∞(i+n+1n)xi(1−x)n

すなわち

∑i=0∞(i+n+1n)xi(1−x)n=11−x+1−(1−x)nx

ずなりたす。

Shadowing

 前述のWZ-pairを修食するにはどうすればよいでしょうか。そこで次の定理を甚いたす。

Lemma.
 (F(i,j),G(i,j))がWZ-pairならばF,Gが収束するような任意の耇玠数α,βに察しお(F(i+α,j+β),G(i+α,j+β))はWZ-pairである

これにより

F(i,j)=Γ(i+j+α)Γ(i+1+α)Γ(j)xi(1−x)jG(i,j)=−Γ(i+j+α)Γ(i+α)Γ(j+1)xi(1−x)j

がWZ-pairずわかりたす。いた(0,0)から(m,0)たでの重み

∑i=0m−1F(i,0)

を考えるずき

F(i,0)=Γ(i+α)Γ(i+1+α)Γ(0)xi

ずなり分母にΓ(0)が出珟したす。そこでF,Gに呚期1の

e(j)=(−1)jΓ(j)Γ(1−j)=π(−1)jsin⁡πj

を掛ければ(e(j)F(i,j),e(j)G(i,j))はWZ-pairずなりたす。これをShadowingずいいたす。
すなわち

F(i,j)=Γ(i+j+α)Γ(1−j)Γ(i+1+α)xi(x−1)jG(i,j)=Γ(i+j+α)Γ(−j)Γ(i+α)xi(x−1)j

ず改めたす。

Three Paths Way 1

 次の経路を考えたす。

赀の経路ず緑の経路の重みを足し合わせるず青の経路の重みず等しくなりたす。たた青経路ず緑経路はそれぞれ暪軞ず瞊軞に沿っお進みたす。
蚌明は省きたすがこの経路でn→∞ずすれば緑の重みは0になりたす。
いた赀経路䞊で(0,0)に最も近い栌子点を(p,−q)ずし(kp,−kq)→((k+1)p,−(k+1)q)の重みをHp,q(k)ずしたす。
このずき

∑i=0∞F(i,0)=∑k=0∞Hp,q(k)

でありHp,q(k)は

Hp,q(k)=∑i=kp(k+1)p−1F(i,−(k+1)q)−∑j=−(k+1)q−kq−1G(kp,j)=∑i=0p−1F(i+kp,−(k+1)q)−∑j=0q−1G(kp,j−(k+1)q)

ずなりたす。F(i,0)=xii+α ã§ã™ã€‚Hp,q(k)はどうなるでしょうか。
䞀般のHp,q(k)を求めるのは困難かもしれたせんが具䜓的なp,qに察しお蚈算しおみたす。

H1,1(k)=∑i=00F(i+k,−(k+1))−∑j=00G(k,j−(k+1))=F(k,−(k+1))−G(k,−(k+1))=Γ(−1+α)Γ(k+2)Γ(k+α+1)xk(x−1)−k−1−Γ(−1+α)Γ(k+1)Γ(k+α)xk(x−1)−k−1=Γ(−1+α)k!Γ(k+α+1)xk(x−1)−k−1(k+1−(k+α))=−Γ(α)k!Γ(k+α+1)xk(x−1)−k−1=1α(1−x)k!(1+α)k(xx−1)k

H2,1(k)=∑i=01F(i+2k,−(k+1))−∑j=00G(2k,j−(k+1))=F(2k,−(k+1))+F(2k+1,−(k+1))−G(2k,−(k+1))=Γ(k+α−1)Γ(k+2)Γ(2k+α+1)x2k(x−1)−k−1+Γ(k+α)Γ(k+2)Γ(2k+α+2)x2k+1(x−1)−k−1−Γ(k+α−1)Γ(k+1)Γ(2k+α)x2k(x−1)−k−1=Γ(k+α−1)k!Γ(2k+α+2)x2k(x−1)−k−1((k+1)(2k+α+1)+(k+1)(k+α−1)x−(2k+α)(2k+α+1))=Γ(k+α−1)k!Γ(2k+α+2)x2k(x−1)−k−1((k+1−(2k+α))(2k+α+1)+(k+1)(k+α−1)x)=Γ(k+α−1)k!Γ(2k+α+2)x2k(x−1)−k−1((−k−α+1)(2k+α+1)+(k+1)(k+α−1)x)=−Γ(k+α)k!Γ(2k+α+2)x2k(x−1)−k−1((2k+α+1)−(k+1)x)=1α(1+α)(1−x)((2−x)k+1−x+α)(α)kk!(2+α)2k(x2x−1)k
H1,2(k)=∑i=00F(i+k,−2(k+1))−∑j=01G(k,j−2(k+1))=F(k,−(2k+2))−G(k,−(2k+2))−G(k,−(2k+1))=Γ(−k+α−2)Γ(2k+3)Γ(k+α+1)xk(x−1)−2k−2−Γ(−k+α−2)Γ(2k+2)Γ(k+α)xk(x−1)−2k−2−Γ(−k+α−1)Γ(2k+1)Γ(k+α)xk(x−1)−2k−1=Γ(−k+α−2)(2k)!Γ(k+α+1)xk(x−1)−2k−2((2k+1)(2k+2)−(2k+1)(k+α)−(−k+α−2)(k+α)(x−1))=Γ(−k+α−2)(2k)!Γ(k+α+1)xk(x−1)−2k−2((2k+1)(k−α+2)−(−k+α−2)(k+α)(x−1))=−Γ(−k+α−1)(2k)!Γ(k+α+1)xk(x−1)−2k−2(2k+1+(k+α)(x−1))=−Γ(α−1)Γ(1+α)((1+x)k+1+α(x−1))(α−1)−k(2k)!(1+α)k(x(1−x)2)k1(1−x)2=1α(1−α)(1−x)2((1+x)k+1+α(x−1))(2k)!(1+α)k(2−α)k(−x(1−x)2)k
H2,2(k)=∑i=01F(i+2k,−2(k+1))−∑j=01G(2k,j−2(k+1))=F(2k,−(2k+2))+F(2k+1,−(2k+2))−G(2k,−(2k+2))−G(2k,−(2k+1))=Γ(α−2)Γ(2k+3)Γ(2k+α+1)x2k(x−1)−2k−2+Γ(α−1)Γ(2k+3)Γ(2k+α+2)x2k+1(x−1)−2k−2−Γ(α−2)Γ(2k+2)Γ(2k+α)x2k(x−1)−2k−2−Γ(α−1)Γ(2k+1)Γ(2k+α)x2k(x−1)−2k−1=Γ(α−2)(2k)!Γ(2k+α+2)x2k(x−1)−2k−2((2k+1)(2k+2)(2k+α+1)+(α−2)(2k+1)(2k+2)x−(2k+1)(2k+α)(2k+α+1)−(α−2)(2k+α)(2k+α+1)(x−1))=Γ(α−2)(2k)!Γ(2k+α+2)x2k(x−1)−2k−2((2k+1)(2k+α+1)(2−α)+(α−2)(2k+α)(2k+α+1)+(α−2)((2k+1)(2k+2)−(2k+α)(2k+α+1))x)=Γ(α−2)(2k)!Γ(2k+α+2)x2k(x−1)−2k−2((α−2)(α−1)(2k+α+1)+(α−2)((2k+1)(2k+2)−(2k+α)(2k+α+1))x)=Γ(α−1)(2k)!Γ(2k+α+2)x2k(x−1)−2k−2((α−1)(2k+α+1)+(1−α)(4k+α+2)x)=Γ(α)(2k)!Γ(2k+α+2)x2k(x−1)−2k−2(2k+α+1−(4k+α+2)x)=Γ(α)Γ(2+α)(2k+α+1−(4k+α+2)x)(2k)!(2+α)2k(xx−1)2k1(1−x)2=1α(1+α)(1−x)2(2(1−2x)k+(1−x)(2+α)−1)(2k)!(2+α)2k(x1−x)2k

このようになりたす。たずめるず

<p style=" margin: 0; padding: 0; "
∑n=0∞xnn+α=1α(1−x)∑n=0∞n!(1+α)n(xx−1)n=1α(1+α)(1−x)∑n=0∞((2−x)n+1−x+α)(α)nn!(2+α)2n(x2x−1)n=1α(1−α)(1−x)2∑n=0∞((1+x)n+1+α(x−1))(2n)!(1+α)n(2−α)n(−x(1−x)2)n=1α(1+α)(1−x)2∑n=0∞(2(1−2x)n+(1−x)(2+α)−1)(2n)!(2+α)2n(x1−x)2n


ずなりたす。
䟋えば行目の匏においおαで埮分しx=−1,α=1を代入するず

∑n=1∞(−1)n−1n2=∑n=1∞(−1)n−12nn(2nn)(2n+3(H2n−Hn))

ずいう匏が埗られたす。

Three Paths Way 2

 WZ-pair

F(i,j)=H(i,j)iG(i,j)=−H(i,j)jH(i,j)=Γ(i+j)Γ(i)Γ(j)zi(1−z)j  (0<z<12)

に察しお次の経路を考えたす。

前述ず同様にn→∞においお緑の重みは0に収束したす。
赀の経路䞊で(s,t)に最も近い栌子点を(s+p,t+q)ずし(s+kp,t+kq)→(s+(k+1)p,t+(k+1)q)の重みをHp,q(k)ずしたす。
このずき

∑m=0∞F(s+m,t)=∑k=0∞Hp,q(k)

でありHp,q(k)は

Hp,q(k)=∑n=0p−1F(s+kp+n,t+kq)+∑n=0q−1G(s+(k+1)p,t+kq+n)

ずなりたす。実際にHp,q(k)を蚈算するず

H1,1(k)=Γ(s+t−2)Γ(s)Γ(t)(A1,1+B1,1(k+1))(s+t−2)2k+2(s)k+1(t)k+1zs+k(1−z)t+kH2,1(k)=Γ(s+t−2)Γ(s)Γ(t)(A2,1+B2,1(k+1)+C2,1(k+1)2)(s+t−2)3k+2(s)2k+2(t)k+1zs+2k(1−z)t+kH1,2(k)=Γ(s+t−2)Γ(s)Γ(t)(A1,2+B1,2(k+1)+C1,2(k+1)2)(s+t−2)3k+2(s)k+1(t)2k+2zs+k(1−z)t+2k

(A1,1B1,1)=(t−1−(s+t−2)z1−2z)(A2,1B2,1C2,1)=((s−1)(t−1)−(3−s−t)(t−1)z+(s+t−2)(3−s−t)z2s+2t−3−(6−s−4t)z+3(5−2s−2t)z2(1+3z)(2−3z))(A1,2B1,2C1,2)=(−(t−1)(2−t)+(3−s−t)(s+2t−3)z−(s+t−2)(3−s−t)z2−2(3−2t)+(24−8s−11t)z−3(5−2s−2t)z2(1−3z)(2−3z))

ずなりたす。s,tに1を足しF,Hの和を1からずるように調敎するず

(s+t)∑m=1∞(1+s+t)n(1+s)nzn−1=∑k=1∞(A1,1′+B1,1′k)(s+t)2k(1+s)k(1+t)kzk−1(1−z)k−1=∑k=1∞(A2,1′+B2,1′k+C2,1′k2)(s+t)3k−1(1+s)2k(1+t)kz2k−2(1−z)k−1=∑k=1∞(A1,2′+B1,2′k+C1,2′k2)(s+t)3k−1(1+s)k(1+t)2kzk−1(1−z)2k−2

(A1,1′B1,1′)=(t−(s+t)z1−2z)(A2,1′B2,1′C2,1′)=(st−t(1−s−t)z+(s+t)(1−s−t)z2s+2t−(1−s−4t)z+3(1−2s−2t)z2(1+3z)(2−3z))(A1,2′B1,2′C1,2′)=(−t(1−t)+(1−s−t)(s+2t)z−(s+t)(1−s−t)z2−2(1−2t)+(5−8s−11t)z−3(1−2s−2t)z2(1−3z)(2−3z))

zs(1−z)tを陀いたのでzを負に拡匵できたす。すべおの等匏が成り立぀にはより狭い

−13(2−(−1+2)−23−(−1+2)23)≀z<13

である必芁がありたす。

telescoping sum

 経路䞍倉性

F(i,j)−F(i,j+1)=G(i,j)−G(i+1,j)

においおjにj+1,j+2,⋯,j+mを代入したものを蟺蟺足し合わせるず

F(i,j)−F(i,j+m+1)=∑n=0m(G(i,j+n)−G(i+1,j+n))

ずなりたす。いたF(i,∞)=0ず仮定すれば

F(i,j)=∑n=0∞(G(i,j+n)−G(i+1,j+n))

ずなりたす。
同様にiにi+1,i+2,⋯,i+mを代入しお

∑n=0m(F(i+n,j)−F(i+n,j+1))=G(i,j)−G(i+m+1,j)

ずなりG(∞,j)=0ずすれば

∑n=0∞(F(i+n,j)−F(i+n,j+1))=G(i,j)

ずなりたす。ここからさらにjにj+1,j+2,⋯,j+mを代入しお足し合わせれば

∑n=0∞(F(i+n,j)−F(i+n,j+m+1))=∑n=0mG(i,j+n)

ずなりlimm→∞∑n=0∞F(i+n,j+m)=0ず仮定すれば

∑n=0∞F(i+n,j)=∑n=0∞G(i,j+n)

ずなりたす。

Markov-WZ method

 䞀般にhypergeometric termずしおのWZ-pairを芋぀けるこずは私にずっおは難しいものです。しかしそのtermにパラメヌタの倚項匏を掛けたものを芋぀けるためのアルゎリズムがありそれにより原理ずしおは容易にWZ-pairを芋぀けるこずができたした。
 そのアルゎリズムは

m,nの関数H(m,n)をテキトヌに決める
F(m,n)=(A0(n)+mA1(n)+⋯+mpAp(n))H(m,n)G(m,n)=(B0(n)+mB1(n)+⋯+mqBq(n))H(m,n)ず定矩する
F(m,n)−F(m,n+1)=G(m,n)−G(m+1,n)に代入し(m+1)rの係数比范からA1(n),⋯,Bq(n)を求める

です。無限玚数ずしおの等匏を埗たいずいうずきはF(∞,x)やG(x,∞)などがうたく0に収束するようにH(m,n)を決定する必芁がありたす。
具䜓䟋で蚈算しおみたす。
たず

H(m,n)=(m!n!(m+n)!)2

ず定矩し

F(m,n)=A(n)H(m,n)G(m,n)=(B(n)+mC(n))H(m,n)

ず定矩したす。
このずき

F(m,n)−F(m,n+1)=A(n)H(m,n)−A(n+1)H(m,n+1)=A(n)H(m,n)−A(n+1)(n+1)2(m+n+1)2H(m,n)=((m+n+1)2A(n)−(n+1)2A(n+1))H(m,n)(m+n+1)2=(n2A(n)−(n+1)2A(n+1)+2(m+1)nA(n)+(m+1)2A(n))H(m,n)(m+n+1)2

たた

G(m,n)−G(m+1,n)=(B(n)+mC(n))H(m,n)−(B(n)+(m+1)C(n))H(m+1,n)=(B(n)−C(n)+(m+1)C(n))H(m,n)−(B(n)+(m+1)C(n))(m+1)2(m+n+1)2H(m,n)=((m+n+1)2(B(n)−C(n)+(m+1)C(n))−(m+1)2(B(n)+(m+1)C(n)))H(m,n)(m+n+1)2=((n2+2(m+1)n+(m+1)2)(B(n)−C(n)+(m+1)C(n))−(m+1)2B(n)−(m+1)3C(n))H(m,n)(m+n+1)2=(n2(B(n)−C(n))+(2n(B(n)−C(n))+n2C(n))(m+1)+(B(n)−C(n)+2nC(n))(m+1)2+(m+1)3C(n)−(m+1)2B(n)−(m+1)3C(n))H(m,n)(m+n+1)2=(n2B(n)−n2C(n)+(2nB(n)+(n2−2n)C(n))(m+1)+(m+1)2(2n−1)C(n))H(m,n)(m+n+1)2

ずなりたす。係数比范により

{n2A(n)−(n+1)2A(n+1)=n2B(n)−n2C(n)2nA(n)=2nB(n)+(n2−2n)C(n)A(n)=(2n−1)C(n)

を埗たす。これを解くず

A(n)=2(2n−1)n3(2nn)A(1) , B(n)=3nA(n)2(2n−1) , C(n)=A(n)2n−1

ずなりたす。A(1)はFずGの比に圱響しないので適圓に1ずしおよいです。
すなわち

F(m,n)=2(2n−1)n3(2nn)(m!n!(m+n)!)2G(m,n)=2m+3nn3(2nn)(m!n!(m+n)!)2

がWZ-pairであるこずがわかりたした。
実はこの方法はMarkov-WZ methodず呌ばれるらしいです。
このWZ-pairに察しおtelescoping sumを考えるず

∑m=0∞F(m+α,β)=∑n=0∞G(α,n+β)

すなわち

∑m=0∞(1+α)m2(1+α+β)m2=β4Γ(β)2(2β−1)∑n=0∞2α+3β+3n(β+n)3(1+β)n4(1+2β)2n(1+α+β)n2      (β>12)

ずなりたす。β=1の堎合は

∑n=1∞1(n+α)2=∑n=1∞3n+2αn3(2nn)n!2(1+α)n2

ずなりたす。
たたthree paths wayにより

∑n=0∞F(n+α,β)=∑n=0∞Hp,q(n)
Hp,q(n)=∑j=0p−1F(α+pn+j,β+qn)+∑k=0q−1G(α+pn+p,β+qn+k)

ずなり実際にH1,1(n)を蚈算するず

H1,1(n)=Γ2(1+α)Γ4(1+β)Γ(1+2β)Γ2(1+α+β)A+Bn+Cn2+21n3(β+n)3(1+α)n2(1+β)n4(1+2β)2n(1+α+β)2n2
(ABC)=(2(2β−1)(1+α+β)2+(2+2α+3β)(1+α)28(2β−1)(1+α+β)+4(1+α+β)2+2(2+2α+3β)(1+α)+5(1+α)28(2β−1)+16(1+α+β)+10(1+α)+2+2α+3β)

ずなりたした。H1,2(n), H2,1(n)以降は蚈算量が倚すぎお心が折れたした。
αずβに具䜓的な数倀を代入するず少し蚈算しやすくなるのでα=0, Î²=1で蚈算しおみるず

H1,1(n−1)=21n−8n3(2nn)3H1,2(n−1)=145n2−104n+182n3(2n−1)(2nn)(3nn)2H2,1(n−1)=9480n3−105n2+44n−6n2(2n−1)3(3nn)2(4n−22n−1)+1n2(3nn)2(4n2n)H2,2(n−1)=4(680n5−1236n4+846n3−281n2+46n−3)(2n−1)5(4n−1)2(4n−22n−1)(4n2n)2+54n2(4n2n)3

p+qが倧きくなるに぀れお収束が速くなりたす。
なんずいうかコンピュヌタが党郚蚈算しおくれるみたいなこずはできないのでしょうか。流石に手蚈算はキツいです。もしできたら

H(m,n)=(m!n!(m+n)!)5

のような堎合のWZ-pairがどのようなかたちになるかもわかりたすが。

parameterized

たず

H(m,n)=Γ(a+m)Γ(b+m)Γ(c+m+n)Γ(d+m+n)

ず定矩したす。さらに

F(m,n)=A(n)H(m,n)G(m,n)=(B(n)+mC(n))H(m,n)

ず定矩したす。

F(m,n)−F(m,n+1)=A(n)H(m,n)−A(n+1)H(m,n+1)=A(n)H(m,n)−A(n+1)H(m,n)(c+m+n)(d+m+n)=((c+m+n)(d+m+n)A(n)−A(n+1))H(m,n)(c+m+n)(d+m+n)=(m2A(n)+(c+d+2n)mA(n)+(c+n)(d+n)A(n)−A(n+1))H(m,n)(c+m+n)(d+m+n)
G(m,n)−G(m+1,n)=(B(n)+mC(n))H(m,n)−(B(n)+(m+1)C(n))(a+m)(b+m)H(m,n)(c+m+n)(d+m+n)=((c+m+n)(d+m+n)(B(n)+mC(n))−(a+m)(b+m)(B(n)+(m+1)C(n)))H(m,n)(c+m+n)(d+m+n)=(((c+n)(d+n)+(c+d+2n)m+m2)(B(n)+mC(n))−(ab+(a+b)m+m2)(B(n)+C(n)+mC(n)))H(m,n)(c+m+n)(d+m+n)=((c+d−a−b−1+2n)m2C(n)+((c+d−a−b+2n)B(n)+((c+n)(d+n)−a−b−ab))mC(n)+((c+n)(d+n)−ab)B(n)−abC(n))H(m,n)(c+m+n)(d+m+n)

すなわち(F,G)がWZ-pairずなるように

{A(n)=(c+d−a−b−1+2n)C(n)(c+d+2n)A(n)=(c+d−a−b+2n)B(n)+((c+n)(d+n)−a−b−ab)C(n)(c+n)(d+n)A(n)−A(n+1)=((c+n)(d+n)−ab)B(n)−abC(n)

を解くず

{A(n)=(c−a)n(c−b)n(d−a)n(d−b)n(c+d−a−b−1)2nB(n)=3n2+pn+q(c+d−a−b−1+2n)(c+d−a−b+2n)A(n)(p=3c+3d−2a−2b−2q=(c+d)(c+d−a−b−1)+a+b+ab−cd)C(n)=A(n)c+d−a−b−1+2n

ずなりたす。
ここで

∑m=0∞F(m+α,1+β)=∑m=0∞(c−a)1+β(c−b)1+β(d−a)1+β(d−b)1+β(c+d−a−b−1)2+2βΓ(a+α+m)Γ(b+α+m)Γ(1+c+α+m)Γ(1+d+α+m)=Γ(c+d−a−b−1)Γ(c−a+1+β)Γ(c−b+1+β)Γ(d−a+1+β)Γ(d−b+1+β)Γ(a+α)Γ(b+α)Γ(c−a)Γ(c−b)Γ(d−a)Γ(d−b)Γ(c+d−a−b+1+2β)Γ(c+α)Γ(d+α)∑m=1∞1(m−1+a+α)(m−1+b+α)(a+α)m(b+α)m(c+α)m(d+α)m

たた

∑n=1∞G(α,n+β)=∑n=1∞(3(n+β)2+p(n+β)+q(c+d−a−b−1+2β+2n)(c+d−a−b+2β+2n)+αc+d−a−b−1+2β+2n)(c−a)n+β(c−b)n+β(d−a)n+β(d−b)n+β(c+d−a−b−1)2n+2βΓ(a+α)Γ(b+α)Γ(c+α+β+n)Γ(d+α+β+n)=Γ(c−a+β)Γ(c−b+β)Γ(d−a+β)Γ(d−b+β)Γ(c+d−a−b−1)Γ(a+α)Γ(b+α)Γ(c−a)Γ(c−b)Γ(d−a)Γ(d−b)Γ(c+d−a−b+1+2β)Γ(c+α+β)Γ(d+α+β)∑n=1∞(3n2+(2α+6β+p)n+3β2+pβ+q+α(c+d−a−b+2β))(c−a+β)n(c−b+β)n(d−a+β)n(d−b+β)n(c+d−a−b+1+2β)2n(c+α+β)n(d+α+β)n

ずなるので

 

∑m=1∞1(m−1+a+α)(m−1+b+α)(a+α)m(b+α)m(c+α)m(d+α)m=Γ(c+α)Γ(d+α)Γ(c+α+β)Γ(d+α+β)∑n=1∞(3n2+(2α+6β+p)n+3β2+pβ+q+α(c+d−a−b+2β))(1+c−a+β)n−1(1+c−b+β)n−1(1+d−a+β)n−1(1+d−b+β)n−1(c+d−a−b+1+2β)2n(c+α+β)n(d+α+β)n
(p=3c+3d−2a−2b−2, q=(c+d)(c+d−a−b−1)+a+b+ab−cd)

 
c=a, d=b, Î±=β=0ずするずp=a+b−2, q=0ずなり

∑m=1∞1(m−1+a)(m−1+b)=∑n=1∞3n+a+b−2n(2nn)(1+a−b)n−1(1−a+b)n−1(a)n(b)n

a→1−a, b→1−bずすれば

∑m=1∞1(m−a)(m−b)=∑n=1∞3n−a−bn(2nn)(1+a−b)n−1(1−a+b)n−1(1−a)n(1−b)n

さらにb=−aずすれば

∑m=1∞1m2−a2=∑n=1∞3(2nn)(1+2a)n−1(1−2a)n−1(1+a)n(1−a)n=∑n=1∞3(2nn)(n2−a2)∏k=1n−1k2−4a2k2−a2

これは冒頭の公匏です。

accelerated series for Î¶(3)

たずm,n≥0ずしたす。

H(m,n)=(n!(m+n+1)!)4

ずし

F(m,n)=(Am+nBm+n2Cm+n3Dm)H(m,n)G(m,n)=(Pm+(n+1)Qm+(n+1)2Rm)H(m,n)

ず定矩したす。

F(m,n)−F(m,n+1)=(Am+nBm+n2Cm+n3Dm)H(m,n)−(Am+(n+1)Bm+(n+1)2Cm+(n+1)3Dm)H(m,n+1)=((m+n+2)4(Am+nBm+n2Cm+n3Dm)−(n+1)4(Am+(n+1)Bm+(n+1)2Cm+(n+1)3Dm))H(m,n)(m+n+2)4
G(m,n)−G(m+1,n)=(Pm+(n+1)Qm+(n+1)2Rm)H(m,n)−(Pm+1+(n+1)Qm+1+(n+1)2Rm+1)H(m+1,n)=((m+n+2)4(Pm+(n+1)Qm+(n+1)2Rm)−(Pm+1+(n+1)Qm+1+(n+1)2Rm+1))H(m,n)(m+n+2)4

なので

(m+n+2)4(Am+nBm+n2Cm+n3Dm)−(n+1)4(Am+(n+1)Bm+(n+1)2Cm+(n+1)3Dm)=(m+n+2)4(Pm+(n+1)Qm+(n+1)2Rm)−(Pm+1+(n+1)Qm+1+(n+1)2Rm+1)

が垞に成り立぀ように(n+1)rの係数を比范するず

{[ 1 ](4M−3)D=R[ 2 ](4M−2)C+(6M2−12M+3)D=Q+4MR[ 3 ](4M−1)B+(6M2−8M+1)C+(4M3−18M2+12M−1)D=P+4MQ+6M2R[ 4 ]4MA+(6M2−4M)B+(4M3−12M2−4M)C+(M4−12M3+18M2−4M)D=4MP+6M2Q+4M3R[ 5 ]6M2A+(4M3−6M2)B+(M4−8M3+6M2)C−(3M4−12M3+6M2)D=6M2P+4M3Q+M4R−R′[ 6 ]4M3A+(M4−4M3)B−(2M4−4M3)C+(3M4−4M3)D=4M3P+M4Q−Q′[ 7 ]M4(A−B+C−D)=M4P−P′

ただし簡朔の為Xm:=X, Xm+1:=X′, M:=m+1ずしおいたす。F,Gでのnの次数は倉数の個数ず連立する挞化匏の個数が䞀臎するように調敎しおいたす。
これらを少し䞁寧に解いおいきたす。たず[ 1 ]ず[ 2 ]からRを消去するず

[ 2′ ]Q=(4M−2)C−(10M2−3)D

を埗たす。[ 1 ], [ 2′ ]を[ 3 ]に代入するず

[ 3′ ]P=(4M−1)B−(10M2−1)C+(20M3−1)D

を埗たす。[ 4 ]の䞡蟺をMで割ったものに[ 1 ], [ 2′ ], [ 3′ ]を代入するず

[ 4′ ]4A=10MB−20M2C+35M3D

を埗たす。[ 1 ], [ 2′ ], [ 3′ ], [ 4′ ]を[ 5 ]に代入するず

[ 5′ ]2(4M+1)D′=10M3B−30M4C+63M5D

を埗たす。[ 1 ], [ 2′ ], [ 3′ ], [ 4′ ]を[ 6 ]に代入するず

[ 6′ ]2(4M+2)C′−2(10M2+20M+7)D′=10M4B−32M5C+70M6D

を埗たす。M×[ 5′ ]−[ 6′ ]より

[ 8 ]2C′−7(M+1)D′=−M52(2M+1)(2C−7MD)

これず[ 2′ ]よりQ0=2C0−7D0ずなるこずから

[ 8′ ]2C−7MD=(−1)mm!6(2m+1)!Q0

を埗たす。[ 8′ ]ず[ 5′ ]からCを消去するず

[ 9 ]B=215M2D+4M+15M3D′+32(−1)mm!6M(2m+1)!Q0

を埗たす。[ 4′ ], [ 8′ ], [ 9 ]からAをDで衚すず

[10]A=74M3D+4M+12M2D′+54(−1)mm!6M2(2m+1)!Q0

を埗たす。これでA,B,C,P,QをDで衚すこずができたした。
すなわち

A=74M3D+4M+12M2D′+54M2VB=215M2D+4M+15M3D′+32MVC=72MD+12VP=−110(182M3−158M2−35M+10)D+16M2−15M3D′+12(2M−1)(M−1)VQ=(4M−3)(M−1)D+(2M−1)VR=(4M−3)D

ずなりたす。ただし簡朔の為V=(−1)mm!6(2m+1)!Q0ずしおいたす。
Dの初期条件をみたす。䞊匏から

D0=R0D1=13P0−130D0

がわかりたす。たたD0ずD1が決たればARがすべお決たるこずがわかりたす。これらのARをDで衚したものを[ 7 ]に代入するこずで䞉項間挞化匏が珟れたす。この挞化匏の䞀般項の明瀺匏を求めるのは非垞に困難であるず予想したす。
ずなればDが垞に0ずなればうれしいです。そのためにR0=P0=0ずしたす。たたQ0=1ずしたす。
これによりDは垞に0ずなり

A=54M2VB=32MVC=12VD=0P=12(2M−1)(M−1)VQ=(2M−1)VR=0

ずなりたす。これらをF,Gに代入するず

F(m,n)=5(m+1)2+6(m+1)n+2n24(−1)mm!6(2m+1)!(n!(m+n+1)!)4G(m,n)=m+2n+22(−1)mm!6(2m)!(n!(m+n+1)!)4

ずなりたす。ペアが求たればあずは代入するだけです。
すなわち

∑m=0∞F(m,0)=∑n=0∞(F(n,n)+G(n+1,n))

より

ζ(3)=12∑n=1∞(−1)n−1(205n2−160n+32)n5(2nn)5

を埗たす。

投皿日2021幎12月30日
OptHub AI Competition

この蚘事を高評䟡した人

高評䟡したナヌザはいたせん

この蚘事に送られたバッゞ

バッゞはありたせん。
バッチを莈っお投皿者を応揎しよう

バッチを莈るず投皿者に珟金やAmazonのギフトカヌドが還元されたす。

コメント

他の人のコメント

コメントはありたせん。
読み蟌み䞭...
読み蟌み䞭
  1. 𝐓𝐡𝐞 ð–𝐙 ðŠðžð­ð¡ðšð
  2. Binomial theorem
  3. Shadowing
  4. Three Paths Way 1
  5. Three Paths Way 2
  6. telescoping sum
  7. Markov-WZ method
  8. parameterized
  9. accelerated series for Î¶(3)