Chebyshev多項式は区間$(-1,1)$における重み関数$(1-x^2)^{\pm \frac 12}$の直交多項式で, Legendre多項式は重み関数$1$の直交多項式である. Gegenbauer多項式は, これらを一般化した重み関数$(1-x^2)^{a-\frac 12}$に関する直交多項式として以下のように定義される.
\begin{align*}
C_n^{(a)}(x)&=\frac{(2a)_n}{n!}\sum_{k=0}^n\frac{(-n,2a+n)_k}{k!\left(a+\frac 12\right)_k}\left(\frac{1-x}2\right)^k
\end{align*}
重み関数$(1-x^2)^a$は$x\mapsto \frac{x}{\sqrt a}$と置き換えて, $a\to \infty$とすると, $e^{-x^2}$に収束するので, $\lim_{n\to \infty}\frac 1{a^{\frac n2}}C_n^{(a)}\left(\frac{x}{\sqrt a}\right)$は本質的にHermite多項式になる. つまり, Gegenbauer多項式はChebyshev多項式, Legendre多項式, Hermite多項式を含む非常に素晴らしい直交多項式だということである. Gegenbauer多項式の直交性は
\begin{align*}
\int_{-1}^1(1-x^2)^{a-\frac 12}C_n^{(a)}(x)C_m^{(a)}(x)\,dx&=\frac{\Gamma\left(a+\frac 12\right)}{\Gamma(a)\Gamma\left(\frac 12\right)}\frac{(2a)_n}{(n+a)n!}\delta_{n,m}
\end{align*}
という形になっている. これはLegendre多項式の記事(
Legendre多項式の変数付きの拡張について
)において導入した変数付きの拡張($a$類似)とはまた別の拡張になっている. Gegenbauer多項式は重み関数が$x\mapsto -x$の変換で変わらないので, $C_n^{(a)}(x)=(-1)^nC_n^{(a)}(x)$が成り立つ. つまり, 偶数次の場合は偶関数, 奇数次の場合は奇関数である. これによって, Gegenbauer多項式が満たす微分方程式の確定特異点を$0,1,\infty$にそろえたものが$C_n^{(a)}(2x-1), c_n^{(a)}(x):=C_{2n}^{(a)}(\sqrt x)$の2通りあることになる. $c_n^{(a)}(x)$の方は, 区間$(0,1)$における重み関数$\frac{(1-x)^{a-\frac 12}}{\sqrt x}$に関する直交多項式なので,
\begin{align*}
c_n^{(a)}(x)&=(-1)^n\frac{(a)_n}{n!}\sum_{k=0}^n\frac{(-n,n+a)_k}{k!\left(\frac 12\right)_k}x^k
\end{align*}
と表すことができる. Gegenbauer多項式の母関数を考えてみると
\begin{align*}
\sum_{0\leq n}C_n^{(a)}(x)t^n&=\sum_{0\leq n}t^n\sum_{k=0}^n\frac{(2a)_{n+k}}{k!\left(a+\frac 12\right)_k(n-k)!}\left(\frac{x-1}2\right)^k\\
&=\sum_{0\leq n,k}\frac{(2a)_{n+2k}}{k!\left(a+\frac 12\right)_kn!}\left(\frac{x-1}2t\right)^kt^n\\
&=\sum_{0\leq n,k}\frac{(2a)_{2k}}{k!\left(a+\frac 12\right)_k}\left(\frac{x-1}2t\right)^k(1-t)^{-2k-2a}\\
&=\sum_{0\leq n,k}\frac{(a)_k}{k!}\left(2t(x-1)\right)^k(1-t)^{-2k-2a}\\
&=\frac 1{(1-t)^{2a}}\left(1-\frac{2t(x-1)}{(1-t)^2}\right)^{-a}\\
&=\frac 1{(1-2tx+t^2)^a}
\end{align*}
と計算できる. これによって, $[a]_n:=\frac{(a)_n}{n!}$として,
\begin{align*}
\sum_{0\leq n}C_n^{(a)}(2x-1)t^n&=\frac 1{(1+t)^{2a}}\sum_{0\leq n}[a]_nx^n\left(\frac{4t}{(1+t)^2}\right)^n\\
\sum_{0\leq n}c_n^{(a)}(x)t^n&=\frac 1{(1+t)^{a}}\sum_{0\leq n}[a]_{2n}x^n\left(\frac{4t}{(1+t)^2}\right)^n
\end{align*}
と2通りの方法によって, 前回の記事(
Chebyshev多項式について
)で考えたLanden変換のある種の一般化として解釈できる. Gegenbauer多項式のこの性質の上手く応用する方法についても研究していきたいと考えている.