この記事では
前回の記事
に引き続きApéryの加速法について解説していきます。
前回の記事
を以ってApéryの加速法について解説すべきことは解説し終えたので、この記事では個人的に計算したその他の計算例でも書き散らしていこうと思います。たまに計算例が増えることもあるかもしれません。
何かの役に立つかもしれない論文のメモ(リンクは主にarXiv)。
一般に$\deg a_n\leq 1,\deg b_n=2$のときは次のような反復Bauer-Muir変換を構成できる。
二次方程式
$$x^2=a_0x+b_0\qquad(b_0\neq0)$$
が異なる解$x=\a,\b$を持つとき
$$\K^\infty_{n=1}\frac{b_0n^2+b_1n+b_2}{a_0n+a_1}$$
の反復Bauer-Muir変換は
\begin{align}
(a^{(k)}_{n+1},b^{(k)}_{n+1})
&=(a_0n+a_1+(\b-\a)k,b_0 n^2+b_1n+b_2)\\
r^{(k)}_n&=-\a(n-k-1)+\frac{a_1\a+b_0+b_1}{\b-\a}\\
R^{(k)}_n&=\b(n+k)+\frac{a_1\b+b_0+b_1}{\b-\a}\\
d^{(k)}_n&=\l(\a(k+1)+\frac{a_1\a+b_0+b_1}{\b-\a}\r)\l(\b k+\frac{a_1\b+b_0+b_1}{\b-\a}\r)-b_2
\end{align}
と求まる。
特に上の系として次のような超幾何級数の反復Bauer-Muir変換を求めることができる。
$O(t^n/n^{b-a})$($t=1$においては$O(1/n^{b-a-1})$)で収束する連分数
\begin{align}
\F1a{\phantom{1,}b}t
&=\sum^\infty_{n=0}\frac{(a)_n}{(b)_n}t^n\\
&=1+\frac{at}b\p\K^\infty_{n=1}\frac{-(n+a)(n+b-1)t}{(n+b)+(n+a)t}
\end{align}
の反復Bauer-Muir変換は
\begin{align}
(b^{(k)}_{n+1},d^{(k)}_n)
&=(-(n+a)(n+b-1)t,(k+1)(k+b-a)t)\\
a^{(k)}_{n+1}
&=(n+b)+(n+a)t+(1-t)k\\
(r^{(k)}_n,R^{(k)}_n)&=(-t(n+a-k-1),n+b+k)
\end{align}
と求まる。これによって$O((\frac{(1+\sqrt{1-t})^2}t)^{-2n})$で収束する連分数
\begin{align}
\F1a{\phantom{1,}b}t
&=1+\frac{at}b\p\K^\infty_{n=1}
\l(\frac{-(n+a)(n+b-1)t}{2n+b-1}\p\frac{-n(n+b-a-1)t}{2n+b}\r)
\end{align}
が得られる。
またこのApéry双対は
$$\F1a{\phantom{1,}b}t
=1+\frac{at}{b-at}\p\K^\infty_{k=1}\frac{-k(k+b-a-1)t}{k+b+(k-a)t}$$
となる。
上の反復Bauer-Muir変換$p^{(k)}_n,q^{(k)}_n$について
\begin{align}
\frac{p^{(k)}_n}{(b)_nk!}
&=\sum^k_{j=0}\binom{n+a}{k-j}\frac{(n+b)_j}{j!}(-t)^{k-j}
\sum^{n+j}_{m=0}\frac{(a)_m}{(b)_m}t^m\\
\frac{q^{(k)}_n}{(b)_nk!}
&=\sum^k_{j=0}\binom{n+a}{k-j}\frac{(n+b)_j}{j!}(-t)^{k-j}
\end{align}
が成り立つ。また
$$I^{(k)}_n=\frac{t^{-n-k-1}}{(b)_nk!}(q^{(k)}_n\F1a{\phantom{1,}b}t-p^{(k)}_n)$$
とおくと
$$I^{(k)}_n=\frac{\G(b)}{\G(a)\G(b-a)}
\int^1_0\frac{x^{n+a}(1-x)^{b-a-1}}{1-tx}\l(\sum^k_{j=0}(-1)^{k-j}\binom{n+a}{k-j}\frac{(n+b)_j}{j!}x^j\r)dx$$
が成り立つ。
$n-k< m\leq n$なる任意の整数$m$に対し
$$\sum^k_{j=0}\binom{n+a}{k-j}\frac{(n+b)_j}{j!}(-t)^{k-j}\c
\frac{(a)_{m+j}}{(b)_{m+j}}t^{m+j}=0$$
が成り立つ。
$m$を固定し$l=n-m$とおいたとき、$k>l$なる任意の整数$k$に対し
$$\sum^k_{j=0}(-1)^{k-j}\binom{n+a}{k-j}\frac{(n+b)_j}{j!}\c
\frac{(m+a)_j}{(m+b)_j}=0$$
が成り立つことを示せばよい。また$m+a,m+b$を再び$a,b$とおくことで
$$\sum^k_{j=0}(-1)^{k-j}\binom{l+a}{k-j}\binom{l+b+j-1}l\frac{(a)_j}{j!}=0$$
が成り立つことを示せばよい。
そしてこれは
\begin{align}
&\sum^\infty_{k=0}\l(\sum^k_{j=0}(-1)^{k-j}\binom{l+a}{k-j}\binom{l+b+j-1}l\frac{(a)_j}{j!}\r)x^k\\
={}&\l(\sum^\infty_{j=0}\binom{l+a}j(-x)^j\r)
\l(\sum^\infty_{j=0}\binom{l+b+j-1}l\frac{(a)_j}{j!}x^j\r)\\
={}&(1-x)^{l+a}\c\frac{x^{1-b}}{l!}\frac{d^l}{dx^l}x^{l+b-1}(1-x)^{-a}\\
={}&(1-x)^{l+a}\c x^{1-b}\sum^l_{j=0}\binom{l+b-1}jx^{l+b-j-1}\c\frac{(a)_{l-j}}{(l-j)!}(1-x)^{-a-l+j}\\
={}&\sum^l_{j=0}\binom{l+b-1}j\frac{(a)_{l-j}}{(l-j)!}x^{l-j}(1-x)^j\\
\end{align}
が$l$次多項式であることからわかる。
またこの超幾何級数には二通りの低速Apéry変換を考えることができる。
\begin{align}
\F1a{\phantom{1,}b}t
&=\sum^\infty_{n=0}\frac{(a)_n}{(b)_n}t^n\\
&=1+\frac{at}b\p\K^\infty_{n=1}\frac{-(n+a)(n+b-1)t}{(n+b)+(n+a)t}
\end{align}
に対する低速Apéry変換の一つとして
\begin{align}
(b^{(k)}_{n+1},d^{(k)}_n)&=(-(n+a+k)(n+b-1)t,-(k+1)(n+a+k)t(1-t))\\
a^{(k)}_{n+1}&=n+b+k+(n+a)t\\
r^{(k)}_n&=-t(n+a+k)\\
R^{(k)}_n&=n+b-1+(1-t)(k+1)
\end{align}
という反復Bauer-Muir変換が考えられ、これによって
\begin{align}
\F1a{\phantom{1,}b}t
&=1+\frac{at}b\p\K^\infty_{n=1}
\l(\frac{-(2n+a-1)(n+b-1)t}{(2-t)n+b-1}\p\frac{n(2n+a)t(1-t)}{(2-t)n+b}\r)
\end{align}
という連分数が得られる。
またこのApéry双対は
$$\F1a{\phantom{1,}b}t
=1+\frac{at}{b-(1+a)t}\p\K^\infty_{k=1}\frac{k(k+a)t(1-t)}{b+(1-t)k-t(k+a+1)}$$
となる。
上の反復Bauer-Muir変換$p^{(k)}_n,q^{(k)}_n$について
\begin{align}
\frac{p^{(k)}_n}{(b)_nk!}
&=\sum^k_{j=0}\binom{n+a+k}{k-j}\frac{(n+b)_j}{j!}(-t)^{k-j}
\sum^{n+j}_{m=0}\frac{(a)_m}{(b)_m}t^m\\
\frac{q^{(k)}_n}{(b)_nk!}
&=\sum^k_{j=0}\binom{n+a+k}{k-j}\frac{(n+b)_j}{j!}(-t)^{k-j}
\end{align}
が成り立つ。また
$$I^{(k)}_n=\frac{t^{-n-k-1}}{(b)_nk!}(q^{(k)}_n\F1a{\phantom{1,}b}t-p^{(k)}_n)$$
とおくと
$$I^{(k)}_n=\frac{\G(b)}{\G(a)\G(b-a)}
\int^1_0\frac{x^{n+a}(1-x)^{b-a-1}}{1-tx}\l(\sum^k_{j=0}(-1)^{k-j}\binom{n+a+k}{k-j}\frac{(n+b)_j}{j!}x^j\r)dx$$
が成り立つ。
同様に
\begin{align}
(b^{(k)}_{n+1},d^{(k)}_n)&=(-(n+a+k)(n+b-1)t,-(k+b-a)(n+b+k-1)t(1-t))\\
a^{(k)}_{n+1}&=n+b+k+(n+a)t\\
r^{(k)}_n&=-t(n+b+k-1)\\
R^{(k)}_n&=(1-t)(n+b+k)+t(n+a)
\end{align}
という反復Bauer-Muir変換も考えられ、そのApéry双対は
\begin{align}
\F1a{\phantom{1,}b}t
&=1+\frac{at}{b(1-t)}\p\K^\infty_{k=1}\frac{(k+b-a-1)(k+b-1)t(1-t)}{(1-t)(k+b)-(k+b-a-1)t}\\
&=1+\frac ab\sum^\infty_{k=0}\frac{(b-a)_k}{(b+1)_k}\l(\frac t{t-1}\r)^{k+1}
\end{align}
と級数展開できる。
上の反復Bauer-Muir変換$p^{(k)}_n,q^{(k)}_n$について
\begin{align}
\frac{p^{(k)}_n}{(b)_{n+k}}
&=\sum^k_{j=0}\binom kj(-t)^{k-j}
\sum^{n+j}_{m=0}\frac{(a)_m}{(b)_m}t^m\\
\frac{q^{(k)}_n}{(b)_{n+k}}
&=\sum^k_{j=0}\binom kj(-t)^{k-j}
\end{align}
が成り立つ。また
$$I^{(k)}_n=\frac{t^{-n-k-1}}{(b)_{n+k}}(q^{(k)}_n\F1a{\phantom{1,}b}t-p^{(k)}_n)$$
とおくと
$$I^{(k)}_n=(-1)^k\frac{\G(b)}{\G(a)\G(b-a)}
\int^1_0\frac{x^{n+a}(1-x)^{b+k-a-1}}{1-tx}dx$$
が成り立つ。
例えば
$$\F1a1t=(1-t)^{-a}$$
の場合は以下のような結果が得られる。
\begin{align}
(1-t)^a
&=\l(\sum^\infty_{n=0}\frac{(a)_n}{n!}t^n\r)^{-1}\\
&=1-\frac{at}{1+at}\p\K^\infty_{n=1}\frac{-n(n+a)t}{n+1+(n+a)t}
\end{align}
の反復Bauer-Muir変換は
\begin{align}
(b^{(k-1)}_{n+1},d^{(k-1)}_n)
&=(-n(n+a)t,k(k-a)t)\\
a^{(k-1)}_{n+1}
&=n+(n+a+1)t+(1-t)k\\
(r^{(k-1)}_n,R^{(k-1)}_n)&=(-t(n+a-k),n+k)
\end{align}
と求まり、これによって$O(t^n/n^{2k+1-a})$で収束する連分数
$$(1-t)^a
=\sum^k_{l=0}\frac{(-a)_l}{l!}t^l
+\frac{\frac{(-a)_{k+1}}{k!}t^{k+1}}{1+at+(1-t)k}
\p\K^\infty_{n=1}\frac{-n(n+a)t}{n+1+(n+a)t+(1-t)k}$$
や$O((\frac{(1+\sqrt{1-t})^2}t)^{-2n})$で収束する連分数
\begin{align}
(1-t)^a
&=1-\frac{at}{1+at}\p\K^\infty_{n=1}
\l(\frac{-n(n+a)t}{2n}\p\frac{-n(n-a)t}{2n+1}\r)\\
&=1-\frac{at}{1+at}\p\K^\infty_{n=1}
\l(\frac{-(n+a)t}2\p\frac{-(n-a)t}{2n+1}\r)\\
&=1-\frac{2at}{2+(a-1)t}\p\K^\infty_{n=1}\frac{(n+a)t\c-(n-a)t}{-(n+a+1)t+2(2n+1)-(n-a)t}\\
&=1-\frac{2at}{2+(a-1)t}\p\K^\infty_{n=1}\frac{-(n^2-a^2)t^2}{(2-t)(2n+1)}
\end{align}
が得られる。
上の反復Bauer-Muir変換$p^{(k)}_n,q^{(k)}_n$について
\begin{align}
\frac{p^{(k)}_n}{n!k!}
&=\sum^k_{j=0}\binom{n+a}{k-j}\binom{n+j}j(-t)^{k-j}\\
\frac{q^{(k)}_n}{n!k!}
&=\sum^k_{j=0}\binom{n+a}{k-j}\binom{n+j}j(-t)^{k-j}
\sum^{n+j}_{m=0}\frac{(a)_m}{m!}t^m
\end{align}
が成り立つ。また
$$I^{(k)}_n=\frac{t^{-n-k-1}}{n!k!}(p^{(k)}_n(1-t)^{-a}-q^{(k)}_n)$$
とおくと
$$I^{(k)}_n=\frac1{\G(a)\G(1-a)}
\int^1_0\frac{x^{n+a}(1-x)^{-a}}{1-tx}\l(\sum^k_{j=0}(-1)^{k-j}\binom{n+a}{k-j}\binom{n+j}jx^j\r)dx$$
が成り立つ。
ちなみにこのApéry双対が
$$(1-t)^a=\sum^\infty_{k=0}\frac{(-a)_k}{k!}t^k$$
であったことから次のような対称性が得られます。
\begin{alignat}{3} &\sum^k_{j=0}\binom{n+a}{k-j}\binom{n+j}j(-t)^{k-j}& &=\sum^n_{j=0}\binom{k-a}{n-j}\binom{k+j}j(-t)^{n-j} \sum^{k+j}_{l=0}\frac{(-a)_l}{l!}t^l\\ &\sum^k_{j=0}\binom{n+a}{k-j}\binom{n+j}j(-t)^{k-j} \sum^{n+j}_{m=0}\frac{(a)_m}{m!}t^m& &=\sum^n_{j=0}\binom{k-a}{n-j}\binom{k+j}j(-t)^{n-j} \end{alignat}
\begin{align}
(1-t)^a
&=1-\frac{at}{1+at}\p\K^\infty_{n=1}\frac{-n(n+a)t}{n+1+(n+a)t}
\end{align}
に対する低速Apéry変換を考えると
\begin{align}
(b^{(k)}_{n+1},d^{(k)}_n)&=(-n(n+a+k)t,-(k+1)(n+a+k)t(1-t))\\
a^{(k)}_{n+1}&=n+k+1+(n+a)t\\
r^{(k)}_n&=-t(n+a+k)\\
R^{(k)}_n&=n+(1-t)(k+1)
\end{align}
という反復Bauer-Muir変換が考えられ、これによって$O(t^n/n^{k+1-a})$で収束する連分数
$$(1-t)^a=\sum^k_{l=0}\frac{(a)_l}{l!}\l(\frac{-t}{1-t}\r)^l
+\frac{\frac{(a)_{k+1}}{k!}\frac{(-t)^{k+t}}{(1-t)^k}}{k+1+at}\p
\K^\infty_{n=1}\frac{-n(n+a+k)t}{n+k+1+(n+a)t}$$
や$O((\frac{t^2}{4(1-t)})^n)$で収束する連分数
\begin{align}
(1-t)^a
&=1-\frac{at}{1+at}\p\K^\infty_{n=1}
\l(\frac{-n(2n+a-1)t}{(2-t)n}\p\frac{n(2n+a)t(1-t)}{(2-t)n+1}\r)\\
&=1-\frac{at}{1+at}\p\K^\infty_{n=1}
\l(\frac{-(2n+a-1)t}{2-t}\p\frac{(2n+a)t(1-t)}{(2-t)n+1}\r)\\
&=1-\frac{at(2-t)}{2(1-t)(1+at)}\p
\K^\infty_{n=1}\frac{(2n+a-1)t\c(2n+a)t(1-t)}{-(2n+a+1)t+(2-t)((2-t)n+1)+(2n+a)t(1-t)}\\
&=1-\frac{at(2-t)}{2(1-t)(1+at)}\p
\K^\infty_{n=1}\frac{(2n+a)(2n+a-1)t^2(1-t)}{(4-4t-t^2)(n+a)+2(1-2a)(1-t)}
\end{align}
が得られる。
上の反復Bauer-Muir変換$p^{(k)}_n,q^{(k)}_n$について
\begin{align}
\frac{p^{(k)}_n}{n!k!}
&=\sum^k_{j=0}\binom{n+a+k}{k-j}\binom{n+j}j(-t)^{k-j}\\
\frac{q^{(k)}_n}{n!k!}
&=\sum^k_{j=0}\binom{n+a+k}{k-j}\binom{n+j}j(-t)^{k-j}
\sum^{n+j}_{m=0}\frac{(a)_m}{m!}t^m
\end{align}
が成り立つ。また
$$I^{(k)}_n=\frac{t^{-n-k-1}}{n!k!}(p^{(k)}_n(1-t)^{-a}-q^{(k)}_n)$$
とおくと
$$I^{(k)}_n=\frac1{\G(a)\G(1-a)}
\int^1_0\frac{x^{n+a}(1-x)^{-a}}{1-tx}\l(\sum^k_{j=0}(-1)^{k-j}\binom{n+a+k}{k-j}\binom{n+j}jx^j\r)dx$$
が成り立つ。
ちなみにこの場合もそのApéry双対が
$$(1-t)^a=\sum^\infty_{k=0}\frac{(a)_k}{k!}\l(\frac{-t}{1-t}\r)^k$$
であったことに注意すると次のような対称性が得られます。
\begin{alignat}{3} &\sum^k_{j=0}\binom{n+a+k}{k-j}\binom{n+j}j(-t)^{k-j}& &=(1-t)^{n+k}\sum^n_{j=0}\binom{n+a+k}{n-j}\binom{k+j}j\l(\frac t{1-t}\r)^{n-j} \sum^{k+j}_{l=0}\frac{(a)_l}{l!}\l(\frac{-t}{1-t}\r)^l\\ &\sum^k_{j=0}\binom{n+a+k}{k-j}\binom{n+j}j(-t)^{k-j} \sum^{n+j}_{m=0}\frac{(a)_m}{m!}t^m& &=(1-t)^{n+k}\sum^n_{j=0}\binom{n+a+k}{n-j}\binom{k+j}j\l(\frac t{1-t}\r)^{n-j} \end{alignat}
また例えば
$$\F112t=-\frac{\log(1-t)}t$$
に対しても同様に考えていくこともできるが
$$\lim_{a\to0}\frac{(1-t)^a-1}a=\log(1-t)$$
であることを用いて上の結果を流用することで次のような結果が得られる。
\begin{align}
-\log(1-t)
&=\sum^\infty_{n=1}\frac{t^n}n\\
&=\frac t1\p\K^\infty_{n=1}\frac{-n^2t}{n+1+nt}
\end{align}
について反復Bauer-Muir変換
\begin{align}
(b^{(k-1)}_{n+1},d^{(k-1)}_n)
&=(-n^2t,k^2t)\\
a^{(k-1)}_{n+1}
&=n+(n+1)t+(1-t)k\\
(r^{(k-1)}_n,R^{(k-1)}_n)&=(-t(n-k),n+k)
\end{align}
を考えることで、$O(t^n/n^{2k+1})$で収束する連分数
$$-\log(1-t)
=\sum^k_{l=1}\frac{t^l}l
+\frac{t^{k+1}}{1+(1-t)k}
\p\K^\infty_{n=1}\frac{-n^2t}{n+1+nt+(1-t)k}$$
や$O((\frac{(1+\sqrt{1-t})^2}t)^{-2n})$で収束する連分数
$$-\log(1-t)=\frac{2t}{2-t}\p\K^\infty_{n=1}\frac{-n^2t^2}{(2-t)(2n+1)}$$
が得られる。
いま
$$\binom n{k-j}\binom{n+j}j=\binom kj\binom{n+j}k$$
が成り立つことに注意しましょう。
上の反復Bauer-Muir変換$p^{(k)}_n,q^{(k)}_n$について
\begin{align}
\frac{p^{(k)}_n}{n!k!}
&=\sum^k_{j=0}\binom n{k-j}\binom{n+j}j(-t)^{k-j}
\sum^{n+j}_{m=1}\frac{t^m}m\\
\frac{q^{(k)}_n}{n!k!}
&=\sum^k_{j=0}\binom n{k-j}\binom{n+j}j(-t)^{k-j}
\end{align}
が成り立つ。また
$$I^{(k)}_n=\frac{t^{-n-k-1}}{n!k!}(q^{(k)}_n(-\log(1-t))-p^{(k)}_n)$$
とおくと
\begin{align}
I^{(k)}_n
&=\int^1_0\frac{x^n}{1-tx}\l(\sum^k_{j=0}(-1)^{k-j}\binom n{k-j}\binom{n+j}jx^j\r)dx\\
&=\frac1{k!}\int^1_0\frac{x^n}{1-tx}\frac{d^k}{dx^k}(x^n(1-x)^k)dx
\end{align}
が成り立つ。
\begin{alignat}{3} &\sum^k_{j=0}\binom n{k-j}\binom{n+j}j(-t)^{k-j} \sum^{n+j}_{m=1}\frac{t^m}m& &=\sum^n_{j=0}\binom k{n-j}\binom{k+j}j(-t)^{n-j} \sum^{k+j}_{l=1}\frac{t^l}l\\ &\sum^k_{j=0}\binom n{k-j}\binom{n+j}j(-t)^{k-j}& &=\sum^n_{j=0}\binom k{n-j}\binom{k+j}j(-t)^{n-j} \end{alignat}
$$-\log(1-t)=\frac t1\p\K^\infty_{n=1}\frac{-n^2t}{n+1+nt}$$
について低速Apéry変換
\begin{align}
(b^{(k)}_{n+1},d^{(k)}_n)&=(-n(n+k)t,-(k+1)(n+k)t(1-t))\\
a^{(k)}_{n+1}&=n+k+1+nt\\
r^{(k)}_n&=-t(n+k)\\
R^{(k)}_n&=n+(1-t)(k+1)
\end{align}
を考えることで、$O(t^n/n^{k+1})$で収束する連分数
$$\log(1-t)
=\sum^k_{l=1}\frac1k\l(\frac{-t}{1-t}\r)^k
+\frac{\frac{(-t)^{k+1}}{(1-t)^k}}{k+1}
\p\K^\infty_{n=1}\frac{-n(n+k)t}{n+k+1+nt}$$
や$O((\frac{t^2}{4(1+t)})^n)$で収束する連分数
$$-\log(1-t)
=\frac{t(2-t)}{2(1-t)}\p\K^\infty_{n=1}\frac{2n(2n-1)t^2(1-t)}{(4-4t-t^2)n+2(1-t)}$$
が得られる。
ちなみにこの連分数は
$$-\log(1-t)
=\frac{t(2-t)}{2(1-t)}
\sum^\infty_{n=0}(-1)^n\frac{n!}{(\frac32)_n}\l(\frac{t^2}{4(1-t)}\r)^n$$
と級数表示することができます。
上の反復Bauer-Muir変換$p^{(k)}_n,q^{(k)}_n$について
\begin{align}
\frac{p^{(k)}_n}{(n+k)!}
&=\sum^k_{j=0}\binom kj(-t)^{k-j}
\sum^{n+j}_{m=1}\frac{t^m}m\\
\frac{q^{(k)}_n}{(n+k)!}
&=\sum^k_{j=0}\binom kj(-t)^{k-j}
\end{align}
が成り立つ。また
$$I^{(k)}_n=\frac{t^{-n-k-1}}{(n+k)!}(q^{(k)}_n(-\log(1-t))-p^{(k)}_n)$$
とおくと
$$I^{(k)}_n
=\int^1_0\frac{x^n(1-x)^k}{1-tx}dx$$
が成り立つ。
\begin{alignat}{3} &\sum^k_{j=0}\binom kj(-t)^{k-j}\sum^{n+j}_{m=1}\frac{t^m}m& &=-(1-t)^{n+k}\sum^n_{j=0}\binom nj\l(\frac t{1-t}\r)^{n-j} \sum^{k+j}_{l=1}\frac1l\l(\frac{-t}{1-t}\r)^l\\ &\sum^k_{j=0}\binom kj(-t)^{k-j}& &=(1-t)^{n+k}\sum^n_{j=0}\binom nj\l(\frac t{1-t}\r)^{n-j} \end{alignat}
\begin{align}
e^{-t}&=\l(\sum^\infty_{n=0}\frac{t^n}{n!}\r)^{-1}\\
&=1-\frac t{1+t}\p\K^\infty_{n=1}\frac{-nt}{n+1+t}
\end{align}
について反復Bauer-Muir変換を考えると
\begin{align}
(a^{(k-1)}_{n+1},b^{(k-1)}_{n+1},d^{(k-1)}_n)
&=(n+k+t,-nt,-kt)\\
(r^{(k-1)}_n,R^{(k-1)}_n)&=(-t,n+k)
\end{align}
と求まり、これによって
$$e^{-t}
=\sum^k_{l=0}\frac{(-t)^l}{l!}
+\frac{\frac{(-t)^{k+1}}{k!}}{k+1+t}\p\K^\infty_{n=1}\frac{-nt}{n+k+1+t}$$
という連分数や
\begin{align}
e^t
&=1+\frac t1\p\K^\infty_{n=1}\l(\frac{-nt}{2n}\p\frac{nt}{2n+1}\r)\\
&=1+\frac t1\p\K^\infty_{n=1}\l(\frac{-t}2\p\frac t{2n+1}\r)\\
&=1+\frac{2t}{2-t}\p\K^\infty_{n=1}\frac{t\c t}{-t+2(2n+1)+t}\\
&=1+\frac{2t}{2-t}\p\K^\infty_{n=1}\frac{t^2}{2(2n+1)}\\
\end{align}
という連分数が得られる。
上の反復Bauer-Muir変換$p^{(k)}_n,q^{(k)}_n$について
\begin{align}
\frac{p^{(k)}_n}{n!k!}
&=\sum^k_{j=0}\binom{n+j}j\frac{(-t)^{k-j}}{(k-j)!}\\
\frac{q^{(k)}_n}{n!k!}
&=\sum^k_{j=0}\binom{n+j}j\frac{(-t)^{k-j}}{(k-j)!}\sum^{n+j}_{m=0}\frac{t^m}{m!}
\end{align}
が成り立つ。また
$$I^{(k)}_n=t^{-n-k-1}(p^{(k)}_ne^t-q^{(k)}_n)$$
とおくと
$$I^{(k)}_n=(-1)^k
\int^1_0x^k(1-x)^ne^{tx}dx$$
が成り立つ。
ちなみにApéry双対が
$$e^{-t}=\sum^\infty_{k=0}\frac{(-t)^k}{k!}$$
であったことから次のような対称性が得られます。
\begin{alignat}{3} &\sum^k_{j=0}\binom{n+j}j\frac{(-t)^{k-j}}{(k-j)!}& &=\sum^n_{j=0}\binom{k+j}j\frac{t^{n-j}}{(n-j)!}\sum^{k+j}_{l=0}\frac{(-t)^l}{l!}\\ &\sum^k_{j=0}\binom{n+j}j\frac{(-t)^{k-j}}{(k-j)!}\sum^{n+j}_{m=0}\frac{t^m}{m!}& &=\sum^n_{j=0}\binom{k+j}j\frac{t^{n-j}}{(n-j)!} \end{alignat}
$n-k< m\leq n$なる任意の整数$m$に対し
$$\sum^k_{j=0}\binom{n+j}j\frac{(-t)^{k-j}}{(k-j)!}\frac{t^{m+j}}{(m+j)!}=0$$
が成り立つ。
\begin{align}
&\sum^\infty_{l=0}
\l(\sum^l_{j=0}\binom{n+j}j\frac{(-1)^{l-j}}{(l-j)!}\frac1{(m+j)!}\r)x^l\\
={}&\l(\sum^\infty_{j=0}\frac{(-x)^j}{j!}\r)\l(\sum^\infty_{j=0}\binom{n+j}n\frac{x^j}{(m+j)!}\r)\\
={}&e^{-x}\frac1{n!}\frac{d^n}{dx^n}x^{n-m}e^x\\
={}&\sum^n_{j=0}\binom{n-m}jx^{n-m-j}
\end{align}
は$n-m$次多項式であることに注意して$k$次の係数を比較することでわかる。
第六回の記事
にて得られた
$$\sum^\infty_{n=1}\frac{(-1)^{n-1}}{n+x}
=\frac1{1+x}\p\K^\infty_{n=1}\frac{(n+x)^2}1$$
のApéry双対
$$\sum^\infty_{n=1}\frac{(-1)^{n-1}}{n+x}
=\frac1{2x+1}\p\K^\infty_{n=1}\frac{n^2}{2x+1}$$
に対し
\begin{align}
(b^{(k)}_n,d^{(k)}_n)&=(n(n+k),2(k+x+1)(n+k))\\
a^{(k)}_n&=k+2x+1\\
r^{(k)}_n&=n+k\\
R^{(k)}_n&=n+2(k+x+1)
\end{align}
という低速Apéry変換を考えることができ、これによって$O(1/n^{k+2x+1})$で収束する連分数
$$\sum^\infty_{n=1}\frac{(-1)^{n-1}}{n+x}
=\sum^k_{l=1}\frac1{2^ll\binom{l+x}l}+\frac{1/2^k\binom{k+x}k}{k+2x+1}\p\K^\infty_{n=1}\frac{n(n+k)}{k+2x+1}$$
が得られる。
ちなみに$x=-1/2,k=1$とすることで
いつぞやの記事
にて紹介した連分数
\begin{align}
\frac\pi2
&=1+\frac11\p\K^\infty_{n=1}\frac{n(n+1)}1\\
&=1+\frac11\p\K^\infty_{n=2}\frac1{1/n}
\end{align}
が得られたりします。
特にその収束分数は次のようの求めることができます。
$$\frac\pi2=1+\K^\infty_{n=1}\frac1{1/n}$$
の収束分数$P_n/Q_n$について
$$P_{2n}=P_{2n-1}=\frac{(2n)!!}{(2n-1)!!},\quad
Q_{2n}=Q_{2n+1}=\frac{(2n+1)!!}{(2n)!!}$$
が成り立つ。
$P_n,Q_n$は形式的な連分数公式
$$\frac\pi2=\frac10\p\K^\infty_{n=1}\frac{n^2}0$$
の収束分数$p_n/q_n$のBauer-Muir変換
$$p'_n=p_{n+1}+(n+1)p_n,\quad q'_n=q_{n+1}+(n+1)q_n$$
に対し
$$P_n=\frac{p'_n}{n!},\quad Q_n=\frac{q'_n}{n!}$$
と定まっていたことに注意する。
いま$u_n=p_n,q_n$は
$$u_{n+1}=n^2u_{n-1}$$
を満たすことに注意すると
$$p_{2n}=0,\quad p_{2n+1}=((2n)!!)^2,\quad q_{2n}=((2n-1)!!)^2,\quad q_{2n+1}=0$$
と求まり、このことから
$$p'_{2n}=((2n)!!)^2,\quad p'_{2n-1}=\frac{((2n)!!)^2}{2n},\quad
q'_{2n}=\frac{((2n+1)!!)^2}{2n+1},\quad q'_{2n+1}=((2n+1)!!)^2$$
および
$$P_{2n}=P_{2n-1}=\frac{((2n)!!)^2}{(2n)!},\quad
Q_{2n}=Q_{2n+1}=\frac{((2n+1)!!)^2}{(2n+1)!}$$
がわかるので、あとは
$$(2n)!!\c(2n+1)!!=(2n+1)!$$
に注意すると主張を得る。
\begin{align}
\FF1abcdt
&=\sum^\infty_{n=0}\frac{(a)_n(b)_n}{(c)_n(d)_n}t^n\\
&=1+\frac{abt}{cd}\p\K^\infty_{n=1}\frac{-(n+a)(n+b)(n+c-1)(n+d-1)t}{(n+c)(n+d)+(n+a)(n+b)t}
\end{align}
の場合にBauer-Muir変換を考えてみたところ、$t\neq1$において
$$r_n=-t(n+a-1)(n+b-1)+(a+b-c-d)\frac t{1-t}$$
とおくと$\deg d_n\leq1$が成り立ち、またその$n$の係数は
\begin{align}
&\frac t{1-t}\Big((c+d+1-(a+b-1)t)(a+b-c-d)-2(ab-cd)(1-t)\Big)\\
={}&\frac t{1-t}\Big((a-b)^2-(c-d)^2+(2(ab-cd)-(a+b-1)(a+b-c-d))(1+t)\Big)
\end{align}
と求まることがわかった。
例えば$t=-1$において$d_n$が定数となるためには$a-b=c-d$が必要十分となる。
また$t=1$においては
$$r_n=-n^2-(a+b-1)n+a+b-ab-\frac{ab-cd}{a+b-c-d}$$
とおくと$\deg d_n=0$が成り立つことがわかった。