Jacobi多項式の対称性について

区間 $(0, 1)$ における重み関数 $t^{a - 1} (1 - t)^{b - 1}$ に関する, Jacobi多項式を
$\begin{array}{r} ρ_{n}^{(a, b)} (x) := (- 1)^{n} \frac{(a)_{n}}{n!} \sum_{k = 0}^{n} \frac{(- n, a + b + n - 1)_{k}}{k! (a)_{k}} x^{k} \end{array}$
今回は以下の等式を示す.

$\begin{aligned} ρ_{n}^{(a, b)} (1 - x) & = (- 1)^{n} ρ_{n}^{(b, a)} (x) \end{aligned}$

区間 $(0, 1)$ において, $ρ_{n}^{(a, b)} (x)$ は重み関数 $t^{a - 1} (1 - t)^{b - 1}$ の直交多項式であるから, $ρ_{n}^{(a, b)} (1 - x)$ は重み関数 $t^{b - 1} (1 - t)^{a - 1}$ の直交多項式である. よって, 同じ区間と重み関数の直交多項式系は定数倍を除いて等しいので, 各 $n$ に対して, $ρ_{n}^{(a, b)} (1 - x) = C_{n} ρ_{n}^{(b, a)} (x)$ となる定数 $C_{n}$ がある. $x = 1$ とすると, $ρ_{n}^{(a, b)} (0) = (- 1)^{n} \frac{(a)_{n}}{n!}$ であり, Vandermondeの恒等式より,
$\begin{aligned} ρ_{n}^{(b, a)} (1) & = (- 1)^{n} \frac{(b)_{n}}{n!} \frac{(1 - n - a)_{n}}{(b)_{n}} \\ = \frac{(a)_{n}}{n!} \end{aligned}$
である. よって, $C_{n} = (- 1)^{n}$ となることが分かる.

上の証明では同じ区間と重み関数の直交多項式系が等しいことを用いたが, より直接的に $ρ_{n}^{(a, b)} (1 - x)$ に現れる $1 - x$ の累乗を二項定理で展開しても示すことができる. よく用いられる区間 $(- 1, 1)$ において重み関数 $(1 - x)^{a} (1 + x)^{b}$ のJacobi多項式 $P_{n}^{(a, b)} (x)$ においては, この対称性は $P_{n}^{(a, b)} (- x) = (- 1)^{n} P_{n}^{(b, a)} (x)$ と表される. 特に $a = b$ の場合, Jacobi多項式はその次数に応じて偶関数か奇関数になり, 定数倍でGegenbauer多項式に一致する.

投稿日：2024年3月19日

この記事を高評価した人

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

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

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Wataru

635

44314

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

他の人のコメント

コメントはありません。

読み込み中

Wataru

Jacobi多項式の対称性について