1

Gegenbauer多項式の積の公式2

26
0
$$\newcommand{bk}[0]{\boldsymbol{k}} \newcommand{bl}[0]{\boldsymbol{l}} \newcommand{BQ}[5]{{}_{#1}\psi_{#2}\left[\begin{matrix}#3\\#4\end{matrix};#5\right]} \newcommand{calA}[0]{\mathcal{A}} \newcommand{calS}[0]{\mathcal{S}} \newcommand{CC}[0]{\mathbb{C}} \newcommand{F}[5]{{}_{#1}F_{#2}\left[\begin{matrix}#3\\#4\end{matrix};#5\right]} \newcommand{inv}[0]{\mathrm{inv}} \newcommand{maj}[0]{\mathrm{maj}} \newcommand{ol}[0]{\overline} \newcommand{Q}[5]{{}_{#1}\phi_{#2}\left[\begin{matrix}#3\\#4\end{matrix};#5\right]} \newcommand{QQ}[0]{\mathbb{Q}} \newcommand{ZZ}[0]{\mathbb{Z}} $$

結構前の記事 において, 以下を示した.

$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}
が成り立つ.

これは二重超幾何級数の和公式であるが, 直接的に示す方法は少なくともすぐには思いつかない. 個人的に, このような二重以上の超幾何級数の和公式がどこまで一般化できるかどうかはかなり気になっている問題である.

投稿日:23日前
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

Wataru
Wataru
729
49078
超幾何関数, 直交関数, 多重ゼータ値などに興味があります

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中