[論文レビュー] Dual addition formulas associated with dual product formulas

Tom H. Koornwinder|arXiv (Cornell University)|Jul 20, 2016

Mathematical functions and polynomials被引用数 4

ひとこと要約

本稿では、超球多項式の線形化係数をラカヒ多項式の重み関数として認識することにより、古典的加法公式の双対となるフーリエ–ラカヒ展開を有する二重加法公式を導入する。主な結果は、積公式の双対性を再現する新しい直交展開であり、ウィルソン多項式および極限過程を用いたゲーゲンバウアー関数およびエルミート関数への形式的拡張を含む。

ABSTRACT

We observe that the linearization coefficients for ultraspherical polynomials are the orthogonality weights for Racah polynomials with special parameters. Then it turns out that the linearization sum with such a Racah polynomial as extra factor inserted, can also be evaluated. The corresponding Fourier--Racah expansion is an addition type formula which is dual to the well-known addition formula for ultraspherical polynomials. The limit to the case of Hermite polynomials of this dual addition formula is also considered. Similar results as for ultraspherical polynomials, although only formal, are given by taking the Ruijsenaars--Hallnäs dual product formula for Gegenbauer functions as a starting point and by working with Wilson polynomials.

研究の動機と目的

• 超球多項式の線形化公式の双対となる加法型公式を求める、リチャード・アスキの長年の未解決問題を解決すること。
• 古典的加法公式（角度の積分を含む）と、離散変数における直交多項式を含む新しい展開との間の双対性を確立すること。
• ハルナース–ルイゼナールズの双対積公式を用いて、ゲーゲンバウアー関数への双対性を拡張し、エルミート多項式の極限ケースを含めること。
• 超球多項式の線形化係数がラカヒ多項式の直交性重み関数として特定可能であることを示し、新たな直交展開を可能にする。
• 特にSU(2)テンソル代数において、双対加法公式の群論的解釈の可能性を探ること。

提案手法

• 超球多項式の線形化係数が特定のパrameterを有するラカヒ多項式の重み関数に対応することを認識する。
• 線形化和にラカヒ多項式を因子として挿入し、既知の直交性および変換恒等式を用いて和を評価する。
• 形式 $ P_n(x)P_n(y) = \text{ラカヒ多項式の和} $ のフーリエ–ラカヒ展開を導出し、これが双対加法公式を構成する。
• ゲーゲンバウアー関数のハルナース–ルイゼナールズ双対積公式を出発点とし、重み関数がウィルソン多項式のものと特定する。
• 形式的コーシー積分およびフーリエ–ウィルソン逆変換を適用し、ウィルソン多項式を用いてゲーゲンバウアー関数の双対加法公式を導出する。
• パラメータ $ \nu \to \text{虚数} $ および $ \nu \to 0 $ の極限をとることでエルミートの場合を回復し、ラカヒ多項式の直交性がシフト階乗の双直交性に退化することを観察する。

実験結果

リサーチクエスチョン

• RQ1 超球多項式に対して、積公式と線形化公式の双対性を再現する双対加法公式を構成可能か？
• RQ2 超球多項式の線形化係数が、ラカヒ多項式などの既知の直交多項式の直交性重み関数として特定可能か？
• RQ3 ハルナース–ルイゼナールズのゲーゲンバウサー関数の双対積公式は、ウィルソン多項式を含む双対加法公式の可能性を示唆するか？
• RQ4 パラメータ $ \nu $ が虚数無限大に近づく極限において、双対加法公式の振る舞いはどのようになるか（エルミート多項式に至る）？
• RQ5 双対加法公式は、SU(2)表現理論などの群論的枠組みで解釈可能か？

主な発見

• 超球多項式の線形化係数は、パラメータ $ \rho_1 = \rho_2 = \frac{1}{2} $、$ \rho_3 = \frac{1}{2} $、$ \rho_4 = \frac{1}{2} $ を持つラカヒ多項式の直交性重み関数として特定され、新たな直交展開が可能になる。
• 超球多項式の双対加法公式は $ P_n(x)P_n(y) = \text{和} \, R_k^{(n,n)}(j) \times \text{係数} $ の形で導出され、ここで $ R_k^{(n,n)} $ はラカヒ多項式である。
• ゲーゲンバウサー関数の双対加法公式は $ \frac{1}{4\tau} \text{被積分関数} = \text{和} \, W_k(\nu^2; \text{パラメータ}) \times \text{積} \, \tilde{\theta} $ と表現され、$ W_k $ はウィルソン多項式である。
• 超球多項式からエルミート多項式への双対加法公式の極限は、既知の公式に一致し、特殊ラカヒ多項式の直交性がシフト階乗の双直交性に退化する。
• ゲーゲンバウサー関数の双対加法公式の形式的導出は、コーシー積分およびフーリエ–ウィルソン逆変換に依存しており、収束性および解析接続の問題は今後の課題として残されている。
• 本稿では、双対加法公式が、特に $ \nu = 0 $ のとき、SU(2)テンソル代数の文脈で群論的解釈を有する可能性が示唆されている。