[論文レビュー] The Analytic Theory of Matrix Orthogonal Polynomials

David Damanik, Alexander Pushnitski+1 more|Research Portal (King's College London)|Nov 16, 2007

Matrix Theory and Algorithms参考文献 172被引用数 187

ひとこと要約

本稿は、実直線および単位円上の行列値測度に関する、行列直交多項式（MOPRLおよびMOPUC）の包括的な解析的理論を提示し、基礎的な結果を確立する。古典的直交多項式理論を行列設定に拡張し、行列クリスティオフエル＝ダーボウス公式、正則性基準、漸近挙動（ワイドムの定理およびスペクトル条件の下での正則性に関する予想を含む）といった重要な結果を証明する。

ABSTRACT

We give a survey of the analytic theory of matrix orthogonal polynomials.

研究の動機と目的

• 行列直交多項式（MOPRLおよびMOPUC）の体系的で解析的な理論の構築により、文献における重要な空白を埋める。
• ファヴァールの定理、クリスティオフエル＝ダーボウスの公式、漸近挙動といった古典的結果を、行列値設定に拡張する。
• 特にスペクトルの台とゼロの密度に関連して、行列測度の正則性の条件を確立する。
• シュタインとワイドムの定理を行列測度に一般化し、トレースおよび行列式の漸近挙動を含む。
• 局所的スペクトル密度に基づく正則性に関する予想を提示する。スカラーの場合のスタール＝トティクの結果に類似した形式である。

提案手法

• MOPRLおよびMOPUCの行列表現として、ブロック・ジャコビ行列とCMV行列を用い、再帰関係とスペクトル理論を結びつける。
• 行列値測度に対する左および右の内積を定義し、2つの異なるモニックおよび正規直交多項式族を導出する。
• m関数およびブロック・ジャコビ行列とCMV行列のリゾルベントを導入し、スペクトル的性質およびゼロの分布を分析する。
• クリスティオフエル＝ダーボウスの公式およびその行列版を用いて、カーネルの漸近挙動およびスペクトル測度の弱収束を研究する。
• シュールのアルゴリズムおよび係数の剥離を用い、ヴェルブリュンスキー型パラメータおよび行列カラテオドリ関数を分析する。
• トレースおよび行列式の推定値に加え、グリーン関数や平衡測度を含むポテンシャル論的道具を用いて、正則性および漸近的境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 スカラー直交多項式理論における古典的結果は、どのように行列値設定に拡張されるか？
• RQ2 行列直交多項式におけるm関数、クリスティオフエル＝ダーボウスカーネル、ファヴァールの定理の適切な類似は何か？
• RQ3 行列値測度が正則であるための条件は何か。これはスペクトルの台およびゼロの密度とどのように関係するか？
• RQ4 行列直交多項式およびそのノルムの漸近的挙動は何か。特に平衡測度とどのように関係するか？
• RQ5 ワイドムの定理およびスタール＝トティクの予想の行列版を定式化し、証明することは可能か？

主な発見

• MOPRLおよびMOPUCの両方に対して、行列クリスティオフエル＝ダーボウスの公式が確立され、カーネルは第二種多項式およびワロンスキー式で表される。
• 正則なMOPRLに対して、CDカーネルは弱収束を満たす：$\frac{1}{(n+1)l}\operatorname{Tr}(K_n(x,x))\,d\mu(x) \overset{w}{\to} d\rho_E$ は、スペクトル上の平衡測度に収束する。
• ワイドムの定理が拡張される：$d\mu = W(x)\,d\rho_E + d\mu_s$ で $\det W(x) > 0$ 几乎 everywhere ならば、$\mu$ は正則である。
• 正規直交行列多項式 $p_n^R(x)$ のノルムは $C(x)(n+1)$ で有界であり、$|\det p_n^R(x)| \leq C(x)^l (n+1)^l$ が almost everywhere で成り立つ。
• 正則性および $\det W(x)$ の a.e. 正値性の下で、$\lim_{n\to\infty} \int_I \left\| \frac{1}{n+1} \sum_{j=0}^n p_j^R(x)^\dagger W(x) p_j^R(x) - \rho_E(x)\mathbf{1} \right\| dx = 0$ が成り立つ。
• 予想が提示される：すべての $\eta > 0$ に対して $\lim_{m\to\infty} |E \setminus S_{m,\eta}| = 0$ ならば、行列測度 $\mu$ は正則である。これはスカラーのスタール＝トティクの結果を拡張する。