固有関数としてのa-Legendre多項式について
前の記事(
非整数階積分と随伴作用素
)において, 作用素$\langle a,b\rangle^+$を導入したが, 今回はその特別な場合として$\langle a\rangle^+:=\langle a,1\rangle^+$について考える. 具体的に表すと, $\pi_a:=\frac {\pi}{\sin\pi a}$として,
\begin{align}
\langle a\rangle^+f(x)=\frac 1{\pi_a}\int_{1-x}^1t^{a-1}(t+x-1)^{-a}f(t)\,dt=\frac 1{\pi_a}\int_0^x(1-t)^{a-1}(x-t)^{-a}f(1-t)\,dt
\end{align}
Jacobi多項式を$[a]_w:=\frac{\Gamma(a+w)}{\Gamma(a)\Gamma(w+1)}$として,
\begin{align}
\rho_n^{(a,b)}(x):=(-1)^n[a]_n\sum_{0\leq n}\frac{(-n,a+b+n-1)_k}{k!(a)_k}x^k
\end{align}
によって定義し, $a$-Legendre多項式を$\rho_n^{(a)}(x):=\rho_n^{(a,1)}(x)$によって定義する.
$x^{1-a}\rho_n^{(2-a)}(x)$は作用素$\langle a\rangle^+$の固有値$(-1)^n[a]_{n+1-a}$であるような直交関数系である. つまり,
\begin{align}
\langle a\rangle^+(x^{1-a}\rho^{(2-a)}(x))&=(-1)^n[a]_{n+1-a}x^{1-a}\rho_n^{(2-a)}(x)
\end{align}
が成り立つ.
Jacobi多項式の対称性
を用いて, 以下の計算によって示される.
\begin{align*}
\langle a\rangle^+(x^{1-a}\rho^{(2-a)}(x))&=\frac 1{\pi_a}\int_0^x(x-t)^{-a}\rho^{(2-a)}_n(1-t)\,dt\\
&=\frac{(-1)^n}{\pi_a}\int_0^x(x-t)^{-a}\rho_n^{(1,2-a)}(t)\,dt\\
&=\frac{(-1)^n}{\pi_a}\sum_{0\leq n}\frac{(-n,2-a+n)_k}{k!(1-a)_{k+1}}x^{k+1-a}\\
&=\frac{(-1)^n}{\pi_a}\frac{n!}{(1-a)_{n+1}}x^{1-a}\rho_n^{(2-a)}(x)\\
&=(-1)^n[a]_{n+1-a}x^{1-a}\rho_n^{(2-a)}(x)
\end{align*}
新たに, $\rho_{n+1-a}^{(a)}(x):=x^{1-a}\rho_n^{(2-a)}(x)$と書くことにして, $\rho_n^{(a)}(x)$が$\langle a\rangle_+$に関する固有関数だったことと合わせて
\begin{align*}
\langle a\rangle_+\rho_n^{(a)}(x)&=(-1)^n[a]_n\rho_n^{(a)}(x)\\
\langle a\rangle^+\rho_{n+1-a}^{(a)}(x)&=(-1)^n[a]_{n+1-a}\rho_{n+1-a}^{(a)}(x)
\end{align*}
と書くことができる. このように定義した$\rho_{n+1-a}^{(a)}(x)$は次の直交性があることからもいい感じの定義になっていると考えることができる.
\begin{align*}
\int_0^1\rho_n^{(a)}(x)\rho_m^{(a)}(x)x^{a-1}\,dx&=\frac{\delta_{n,m}}{2n+a}\\
\int_0^1\rho_{n+1-a}^{(a)}(x)\rho_{m+1-a}^{(a)}(x)x^{a-1}\,dx&=\frac{\delta_{n,m}}{2n+2-a}
\end{align*}
今回の記事で, $\langle a\rangle^+$の固有関数となる直交関数系が分かったが, 一般に$\langle a,b\rangle^+$の固有関数となる直交関数系がどのようになっているかということと, その$q$類似に関しては今後の研究課題である.
この記事を高評価した人
この記事に送られたバッジ
投稿者
