結構前の記事 において, 以下を示した.
$l+m+n=2N$が偶数のとき,
\begin{align}
\int_{-1}^1C_l^{(a)}(x)C_m^{(a)}(x)C_n^{(a)}(x)(1-x^2)^{a-\frac 12}\,dx&=\frac{(a)_{N-l}(a)_{N-m}(a)_{N-n}}{(N-l)!(N-m)!(N-n)!(a)_{N+1}}\frac{2^{1-2a}\pi\Gamma(N+2a)}{\Gamma(a)^2}
\end{align}
今回はこれに関して直接展開して項別積分するとどうなるのかについて考えてみたいと思う.
\begin{align}
C_n^{(a)}(x)&=\frac{(2a)_n}{n!}\F21{-n,2a+n}{a+\frac 12}{\frac{1-x}2}
\end{align}
であるから, $x\to 1-2x$と変換すると,
\begin{align}
&2^{2a}\frac{(2a)_l(2a)_m(2a)_n}{l!m!n!}\int_0^1\F21{-l,2a+l}{a+\frac 12}{x}\F21{-m,2a+m}{a+\frac 12}{x}\F21{-n,2a+n}{a+\frac 12}{x}(x(1-x))^{a-\frac 12}\,dx\\
&=\frac{(a)_{N-l}(a)_{N-m}(a)_{N-n}}{(N-l)!(N-m)!(N-n)!(a)_{N+1}}\frac{2^{1-2a}\pi\Gamma(N+2a)}{\Gamma(a)^2}
\end{align}
となるから,
\begin{align}
&\int_0^1\F21{-l,2a+l}{a+\frac 12}{x}\F21{-m,2a+m}{a+\frac 12}{x}\F21{-n,2a+n}{a+\frac 12}{x}(x(1-x))^{a-\frac 12}\,dx\\
&=\frac{(a)_{N-l}(a)_{N-m}(a)_{N-n}l!m!n!}{(N-l)!(N-m)!(N-n)!(a)_{N+1}(2a)_l(2a)_m(2a)_n}\frac{2^{1-4a}\pi\Gamma(N+2a)}{\Gamma(a)^2}
\end{align}
である. 超幾何級数を展開して項別積分すると,
\begin{align}
&\sum_{0\leq i}\frac{(-l,2a+l)_i}{i!\left(a+\frac 12\right)_i}\frac{(-m,2a+m)_j}{j!\left(a+\frac 12\right)_j}\frac{(-n,2a+n)_k}{k!\left(a+\frac 12\right)_k}\frac{\left(a+\frac 12\right)_{i+j+k}}{(2a+1)_{i+j+k}}\\
&=\frac{(a)_{N-l}(a)_{N-m}(a)_{N-n}l!m!n!}{(N-l)!(N-m)!(N-n)!(a)_{N+1}(2a)_l(2a)_m(2a)_n}\frac{2^{1-4a}\pi\Gamma(N+2a)}{\Gamma(a)^2}\frac{\Gamma(2a+1)}{\Gamma\left(a+\frac 12\right)^2}\\
&=\frac{(a)_{N-l}(a)_{N-m}(a)_{N-n}l!m!n!(2a)_N}{(N-l)!(N-m)!(N-n)!(a+1)_{N}(2a)_l(2a)_m(2a)_n}
\end{align}
となる. つまり, 以下の三重超幾何級数の和公式が成り立つことになる.
$l+m+n=2N$が偶数のとき,
\begin{align}
&\sum_{0\leq i}\frac{(-l,2a+l)_i}{i!\left(a+\frac 12\right)_i}\frac{(-m,2a+m)_j}{j!\left(a+\frac 12\right)_j}\frac{(-n,2a+n)_k}{k!\left(a+\frac 12\right)_k}\frac{\left(a+\frac 12\right)_{i+j+k}}{(2a+1)_{i+j+k}}\\
&=\frac{(a)_{N-l}(a)_{N-m}(a)_{N-n}l!m!n!(2a)_N}{(N-l)!(N-m)!(N-n)!(a+1)_{N}(2a)_l(2a)_m(2a)_n}
\end{align}
が成り立つ.
しかし, 上の和公式を直接示すのもそれほど簡単ではなさそうである. 積分の別の展開の仕方を考えてみる.
\begin{align}
&\int_0^1\F21{-l,2a+l}{a+\frac 12}{x}\F21{-m,2a+m}{a+\frac 12}{x}\F21{-n,2a+n}{a+\frac 12}{x}(x(1-x))^{a-\frac 12}\,dx\\
&=\sum_{0\leq i,j}\frac{(-l,2a+l)_i}{i!\left(a+\frac 12\right)_i}\frac{(-m,2a+m)_j}{j!\left(a+\frac 12\right)_j}\int_0^1x^{i+j}\F21{-n,2a+n}{a+\frac 12}{x}(x(1-x))^{a-\frac 12}\,dx\\
\end{align}
ここで,
\begin{align}
\int_0^1x^M\F21{-n,2a+n}{a+\frac 12}{x}(x(1-x))^{a-\frac 12}\,dx&=
\frac{\Gamma\left(a+\frac 12\right)^2}{\Gamma(2a+1)}\sum_{0\leq k}\frac{(-n,2a+n)_k}{k!\left(a+\frac 12\right)_k}\frac{\left(a+\frac 12+M\right)_k}{(2a+1+M)_k}
\end{align}
であり, Saalschützの和公式より,
\begin{align}
\sum_{0\leq k}\frac{(-n,2a+n)_k}{k!\left(a+\frac 12\right)_k}\frac{\left(a+\frac 12+M\right)_k}{(2a+1+M)_k}&=\frac{(a+\frac 12,1+M-n)_n}{(2a+1+M,\frac 12-a-n)_n}\\
&=\frac{(-M)_n}{(2a+1+M)_n}
\end{align}
であるから, これを用いて,
\begin{align}
&\sum_{0\leq i,j}\frac{(-l,2a+l)_i}{i!\left(a+\frac 12\right)_i}\frac{(-m,2a+m)_j}{j!\left(a+\frac 12\right)_j}\int_0^1x^{i+j}\F21{-n,2a+n}{a+\frac 12}{x}(x(1-x))^{a-\frac 12}\,dx\\
&=\frac{\Gamma\left(a+\frac 12\right)^2}{\Gamma(2a+1)}\sum_{0\leq i,j}\frac{(-l,2a+l)_i}{i!\left(a+\frac 12\right)_i}\frac{(-m,2a+m)_j}{j!\left(a+\frac 12\right)_j}\frac{(-i-j)_n}{(2a+1+i+j)_n}\\
&=(-1)^n\frac{\Gamma\left(a+\frac 12\right)^2}{\Gamma(2a+1+n)}\sum_{0\leq i,j}\frac{(-l,2a+l)_i}{i!\left(a+\frac 12\right)_i}\frac{(-m,2a+m)_j}{j!\left(a+\frac 12\right)_j}\frac{(2a+1)_{i+j}(i+j)!}{(2a+1+n)_{i+j}(i+j-n)!}
\end{align}
つまり, 以下を得る.
$l+m+n=2N$が偶数のとき,
\begin{align}
&\sum_{0\leq i,j}\frac{(-l,2a+l)_i}{i!\left(a+\frac 12\right)_i}\frac{(-m,2a+m)_j}{j!\left(a+\frac 12\right)_j}\frac{(2a+1)_{i+j}(i+j)!}{(2a+1+n)_{i+j}(i+j-n)!}\\
&=(-1)^n\frac{(a)_{N-l}(a)_{N-m}(a)_{N-n}l!m!n!(2a)_N(2a+1)_n}{(N-l)!(N-m)!(N-n)!(a+1)_{N}(2a)_l(2a)_m(2a)_n}
\end{align}
が成り立つ.
これは二重超幾何級数の和公式であるが, 直接的に示す方法は少なくともすぐには思いつかない. 個人的に, このような二重以上の超幾何級数の和公式がどこまで一般化できるかどうかはかなり気になっている問題である.