一般Laguerre多項式の積分

まず, 一般Laguerre多項式は
\begin{align*} L_n^{(a)}(x)&=\frac{(1+a)_n}{n!}\sum_{k=0}^n\frac{(-n)_k}{k!(1+a)_k}x^k \end{align*}
によって定義される. 今回はその積分に関して成り立つ式を示す.

$a$-Hermite多項式

前回の記事( a-Hermite多項式の次数に関する補間について )における
\begin{align*} \ell_n^{(a)}(x)&:=\frac{(a)_n}{n!}\sum_{k=0}^n\frac{(-n)_k}{k!(a)_k}x^k\\ \ell_{n+1-a}^{(a)}&:=\frac 1{\Gamma(1-a)}\sum_{k=0}^n\frac{(-n)_k}{k!(1-a)_{k+1}}x^{k+1-a} \end{align*}
の間の関係を考える. $\ell_n^{(a)}(x)=L_n^{(a-1)}(x), \ell_{n+1-a}^{(a)}(x)=\frac{n!}{\Gamma(2-a+n)}L_n^{(1-a)}(x)$であることから, 前の命題における$a,b$を$a-1,1-a$に置き換えて整理すると, $[a]_n:=\frac{(a)_n}{n!}, \pi_a:=\frac{\pi}{\sin\pi a}$として,
\begin{align*} \frac 1{\Gamma(a)}\int_0^{\infty}\ell^{(a)}_n(x)\ell^{(a)}_{m+1-a}(x)x^{a-1}e^{-x}\,dx&=\pi_a \frac{[a]_n}{m-n+1-a} \end{align*}
が得られる. これによって, $\ell_n^{(a)},\ell_{n+1-a}^{(a)}$の間の関係を具体的に書き表すと,
\begin{align*} \ell_{n+1-a}^{(a)}(x)&=\frac 1{\pi_a}\sum_{0\leq k}\frac 1{n-k+1-a}\ell_k^{(a)}(x)\\ \ell_n^{(a)}(x)&=\frac{[a]_n}{\pi_a}\sum_{0\leq k}\frac{[a]_{k+1-a}^{-1}}{k-n+1-a}\ell_{k+1-a}^{(a)}(x) \end{align*}
を得る.
\begin{align*} \ell_n^{(a)}(x)&=\frac{[a]_n}{\pi_a^2}\sum_{0\leq k}\frac{[a]_{k+1-a}^{-1}}{k-n+1-a}\sum_{0\leq m}\frac 1{k-m+1-a}\ell_m^{(a)}(x)\\ \ell_{n+1-a}^{(a)}(x)&=\frac 1{\pi_a^2}\sum_{0\leq k}\frac{[a]_k}{n-k+1-a}\sum_{0\leq m}\frac{[a]_{m+1-a}^{-1}}{m-k+1-a}\ell_{m+1-a}^{(a)}(x) \end{align*}
においてそれぞれ, $\ell_n^{(a)}(x),\ell_{n+1-a}^{(a)}(x)$の係数を比較することによって, 2つの離散的な直交関係
\begin{align*} \frac 1{\pi_a^2}\sum_{0\leq k}\frac{[a]_{k+1-a}^{-1}}{(k-n+1-a)(k-m+1-a)}&=[a]_n^{-1}\delta_{n,m}\\ \frac 1{\pi_a^2}\sum_{0\leq k}\frac{[a]_k}{(n-k+1-a)(m-k+1-a)}&=[a]_{n+1-a}\delta_{n,m} \end{align*}
を得ることができる. このように, 2つの完全直交系が与えられた場合にその間の関係式を積分を計算することで比較的簡単に調べることができるのは面白いと思った.