[論文レビュー] Differential properties of matrix orthogonal polynomials

Maŕıa José Cantero, Leandro del Moral Ituarte+1 more|ArXiv.org|May 9, 2002

Mathematical functions and polynomials参考文献 11被引用数 21

ひとこと要約

本稿は、行列多項式 $ A $ と $ B $ を用いた分布的方程式 $ D(uA) = uB $ によって特徴づけられる、半古典的行列直交多項式の一般理論を構築する。導関数の準直交性、構造的関係、2階の差分微分方程式の間の同値性を確立し、スカラー半古典的理論を行列の場合に拡張する。非対角化可能な例を明示的なロドリゲス型公式および微分方程式を用いて構成する。

ABSTRACT

In this paper a general theory of semi-classical matrix orthogonal polynomials is developed. We define the semi-classical linear functionals by means of a distributional equation $D(u A) = u B,$ where $A$ and $B$ are matrix polynomials. Several characterizations for these semi-classical functionals are given in terms of the corresponding (left) matrix orthogonal polynomials sequence. They involve a quasi-orthogonality property for their derivatives, a structure relation and a second order differo-differential equation. Finally we illustrate the preceding results with some non-trivial examples.

研究の動機と目的

• スカラーから行列への半古典的直交多項式理論の拡張を図ること。
• 導関数の準直交性、構造的関係、2階の差分微分方程式を通じて行列直交多項式を特徴づけること。
• 非対角化可能な半古典的行列関数的を構築し、その微分的性質を示すこと。
• ピアソン型の分布的方程式を用いて、スカラー半古典的枠組みを行列直交多項式へ一般化すること。
• ロドリゲス型公式および微分方程式を満たす行列直交多項式の明示的例を提供すること。

提案手法

• 行列多項式 $ A $ と $ B $ を用いた分布的方程式 $ D(uA) = uB $ によって半古典的線形関数的を定義する。
• 行列多項式の準直交性を定義し、主要な特徴づけツールとして用いる。
• 分布的方程式と関連付けることで、行列直交多項式の構造的関係を導出する。
• 行列直交多項式が満たす2階の差分微分方程式を確立する。
• ロドリゲス型公式を用いて、明示的な行列直交多項式列を構成する。
• 部分積分および行列重み関数の解析を通じて、直交性および微分的性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 半古典的直交多項式の概念をスカラーから行列の場合にどのように一般化できるか。
• RQ2 導関数の準直交性、構造的関係、差分微分方程式という観点から、行列半古典的関数的の同値な特徴づけは何か。
• RQ3 非対角化可能な行列直交多項式列を構築可能か。また、それらが満たす微分方程式は何か。
• RQ4 行列重み関数がピアソン型方程式を介して半古典的関数的を生じるための条件は何か。
• RQ5 行列直交多項式の文脈において、ロドリゲス型公式と微分方程式はどのように関係するか。

主な発見

• 行列多項式列 $ (P_n) $ が $ P_n(x) = (-2)^{-n} e^{x^2} S^{-1}(x) \frac{d^n}{dx^n} (e^{-x^2} S(x)) $ で定義され、構造的関係 $ P_n(x) = n P_{n-1}(x) $ を満たす。これはその半古典的性質を裏付ける。
• 列 $ (P_n) $ は2階の差分微分方程式 $ P_n''(x) + B^t(x) P_n'(x) = -2n P_n(x) $ を満たし、ここで $ B(x) = \begin{pmatrix} -2x & 1 \\ 0 & -2x \end{pmatrix} $ であり、非正定値重み関数 $ u = e^{-x^2} R(x) $、$ R(x) = \begin{pmatrix} 0 & 1 \\ 1 & x \end{pmatrix} $ に対して直交する。
• 区間 $[-1,1]$ 上の行列重み関数 $ u = (1 - x^2) \begin{pmatrix} 1 & x \\ x & 2 - x^2 \end{pmatrix} $ は、$ B(x) = \begin{pmatrix} -9x & 2 + x^2 \\ 1 & -11x \end{pmatrix} $ を用いたピアソン型方程式 $ D(u(1 - x^2)I) = uB(x) $ を満たし、非対角化可能な半古典的関数的を生成する。
• この重み関数に対応する行列直交多項式は、形式 $ (1 - x^2)^2 P_n''(x) - x(1 - 2x) P_n'(x) = \sum_{k=-4}^{2} \Lambda_{nk} P_{n+k} $ の2階の差分微分方程式を満たし、一般理論を確認する。
• 関数的 $ u = e^{-x^2} R(x) $ は準正定値であるが正定値ではない。部分積分およびロドリゲス型構成を用いて、対応する直交多項式列が要求される微分的および構造的性質を満たすことが示された。
• 本稿では、導関数の準直交性、構造的関係、2階の差分微分方程式という3つの特徴づけが、分布的方程式 $ D(uA) = uB $ と同値であることを証明し、スカラー半古典的理論を行列の場合に拡張した。