2つ前の記事(
Legendre多項式の変数付きの拡張について
)において, Legendre多項式の$a$類似として,
\begin{align*}
\rho_n^{(a)}(x)&=(-1)^n\frac{(a)_n}{n!}\sum_{k=0}^n\frac{(-n,a+n)_k}{k!(a)_k}x^k
\end{align*}
を導入したが, 今回はそれをHermite多項式で考える. まず, Hermite多項式は
\begin{align*}
H_{2n}(x)&:=(-1)^n\frac{(2n)!}{n!}\sum_{k=0}^n\frac{(-n)_k}{k!\left(\frac 12\right)_k}x^{2k}\\
H_{2n+1}(x)&:=(-1)^n\frac{(2n+1)!}{n!}\sum_{k=0}^n\frac{(-n)_k}{k!\left(\frac 12\right)_{k+1}}x^{2k+1}
\end{align*}
によって定義される直交多項式で,
\begin{align*}
\frac 1{\sqrt{\pi}}\int_{-\infty}^{\infty}H_n(x)H_m(x)e^{-x^2}\,dx&=2^n n!\delta_{n,m}
\end{align*}
という直交性を満たしている. $H_{2n}(x)$は偶関数だから, Legendre多項式の場合と同様に,
\begin{align*}
\ell_n(x):=(-1)^n\left(\frac 12\right)_n\frac{H_{2n}(\sqrt x)}{(2n)!}
\end{align*}
と定義すると, $\ell_n(x)$も直交多項式になり, その直交性は$\beta_n:=\frac{\left(\frac 12\right)_n}{n!}$として,
\begin{align*}
\frac 1{\sqrt{\pi}}\int_0^{\infty}\ell_n(x)\ell_m(x)e^{-x}\frac{dx}{\sqrt{x}}&=\beta_n\delta_{n,m}\\
\end{align*}
となり, 元のHermite多項式の直交性よりシンプルな形になる. 定義から,
\begin{align*}
\ell_{n}(x)&=\beta_n\sum_{k=0}^n\frac{(-n)_k}{k!\left(\frac 12\right)_k}x^{k}
\end{align*}
となるので, $[a]_n:=\frac{(a)_n}{n!}$として, その$a$類似としての$a$-Hermite多項式を
\begin{align*}
\ell_{n}^{(a)}(x)&=[a]_n\sum_{k=0}^n\frac{(-n)_k}{k!(a)_k}x^{k}
\end{align*}
と導入する. これは一般Laguerre多項式
\begin{align*}
L_{n}^{(a)}(x)&=[a+1]_n\sum_{k=0}^n\frac{(-n)_k}{k!(a+1)_k}x^{k}
\end{align*}
と$\ell_n^{(a)}(x)=L_n^{(a-1)}(x)$の関係にあり, その直交性は
\begin{align*}
\frac 1{\Gamma(a)}\int_0^{\infty} \ell^{(a)}_n(x)\ell^{(a)}_m(x) x^{a-1}e^{-x}\,dx&=[a]_n\delta_{n,m}
\end{align*}
となることが分かる. つまり, 一般Laguerre多項式は$a$-Hermite多項式として解釈できることが分かった. 特殊化について考えてみる. $a$類似は$a=\frac 12$とすることによって元の対象に一致するが, $a=1$としたものも興味深い性質を持っていると考えられる. まず, $a$-Legendre多項式の場合は, $a=1$とすると,
\begin{align*}
\rho^{(1)}_n(x)&=P_n(2x-1)
\end{align*}
とまたLegendre多項式で表すことができることが分かる. $a$-Hermite多項式の場合は, $a=1$とすると,
\begin{align*}
\ell^{(1)}_n(x)&=\sum_{k=0}^n\frac{(-n)_k}{k!^2}x^k=L_n(x)
\end{align*}
となって通常のLaguerre多項式に一致することが分かる. このように, $a$類似を考えることによって, 異なる関数を統一的な観点から扱う枠組みを考えていきたいと思っている.