[論文レビュー] Orthogonal polynomials, a short introduction

Tom H. Koornwinder|arXiv (Cornell University)|Mar 12, 2013

Mathematical functions and polynomials参考文献 18被引用数 4

ひとこと要約

本稿は、一般理論（特に三項再帰関係）と、ルジャンドル、エルミート、シャールリエ多項式といった主要な特殊クラスをカバーする、直交多項式の簡潔な紹介を提供する。また、数値代数の応用に重点を置き、直交多項式理論における公式の導出・検証・一般化に役立つ記号計算ツールの利用を強調する。

ABSTRACT

This paper is a short introduction to orthogonal polynomials, both the general theory and some special classes. It ends with some remarks about the usage of computer algebra for this theory.

研究の動機と目的

• 数学的物理および特殊関数分野の研究者向けに、自己完結的でアクセスしやすい直交多項式の概要を提供すること。
• 三項再帰関係が直交多項式を特徴付ける基礎的役割を明確にすること。
• 数値代数システムが直交多項式理論における公式の導出・検証・一般化にどのように利用できるかを示すこと。
• 古典的直交多項式を、アスキーおよびq-アスキー体系の文脈における現代の記号計算技術と結びつけること。
• 特に超幾何関数およびq-超幾何関数形式を含む、直交多項式に伴う恒等式の発見・証明に数値代数を用いる動機を提示すること。

提案手法

• 与えられた内積に関して、モナミアルから直交多項式を構成するためにグラム＝シュミットの直交化法を用いる。
• 三項再帰関係 $ x p_n(x) = a_n p_{n+1}(x) + b_n p_n(x) + c_n p_{n-1}(x) $ を、直交系を特徴付ける中心的ツールとして適用する。
• 多項式の列が正の測度に関して直交するための必要十分条件を示すファヴァールの定理を導入する。
• 重み関数と正規化条件を用いて、ルジャンドル、エルミート、シャールリエ多項式などの特殊クラスを分析する。
• モーメント問題と極値測度の役割を検討し、特に測度が極値でない場合（例：スタイエルトス＝ウィーゲルト多項式）のケースを扱う。
• 記号計算技術をレビューし、数値代数システム（例：Mathematica、Maple）およびCAOPやDDMFといった専用パッケージを用いた公式の導出やデータベース作成の利用を検討する。

実験結果

リサーチクエスチョン

• RQ1 三項再帰関係は、直交多項式を特徴付け、それらに伴う測度を再構築するためにどのように利用できるか？
• RQ2 ルジャンドル、エルミート、シャールリエ多項式といった古典的直交多項式の主な構造的性質は何か？
• RQ3 数値代数システムは、直交多項式に伴う恒等式の導出・検証・一般化において、どのような方法で支援できるか？
• RQ4 係数に記号を含む三項再帰関係が、(q-)アスキー体系の既知の族に属しているかどうかを識別できるか？
• RQ5 スタイエルトス＝ウィーゲルトの例が示すように、現在の数値代数手法は非極値測度を扱う際にどのような制限を受けるか？

主な発見

• 三項再帰関係は直交多項式を完全に特徴づけ、ファヴァールの定理により、正の先頭係数積を持つ任意の列が正のボレル測度から生じることを保証する。
• ルジャンドル、エルミート、シャールリエ多項式といった古典的直交多項式は、区間または離散集合上の重み関数を用いて明示的に構成され、既知の正規化およびノルム定数を有する。
• スタイエルトス＝ウィーゲルト多項式は、ゼロに集積する台を持つ非極値測度に対応しており、関連する $ L^2 $ 空間において多項式が稠密でないことを示唆する。
• クリスチャンセンとクーリンクにより、スタイエルトス＝ウィーゲルト多項式を完全基底に補完する明示的な直交系が構成され、完全性の問題が解決された。
• ゼイルバーガーのアルゴリズムやCAOP、DDMFなどのパッケージといった数値代数ツールにより、直交多項式理論における恒等式の自動導出・検証が可能になる。
• Rec2ortho手順により、(q-)アスキー体系からの再帰関係のヒューリスティックな識別が可能であるが、現在は2つのパラメータに限定されており、アルゴリズム的分類の可能性を示している。