[論文レビュー] The Matrix Bochner Problem

W. Riley Casper, Milen Yakimov|arXiv (Cornell University)|Mar 12, 2018

Matrix Theory and Algorithms参考文献 30被引用数 9

ひとこと要約

この論文は、$N\times N$ 重み行列 $W(x)$ の分類を通じて行列 Bochner 問題を解決する。その重み行列に対して、直交行列多項式が2階微分作用素の固有関数となる条件を満たすものである。非可換代数的手法、特に微分作用素の代数 $\mathcal{D}(W)$ の構造を用いて、完全性および正定値性の条件下で、このような重み行列が古典的重み（Hermite、Laguerre、Jacobi 型）の双スペクトル Darboux 変換であることを証明する。

ABSTRACT

A long standing question in the theory of orthogonal matrix polynomials is the matrix Bochner problem, the classification of $N imes N$ weight matrices $W(x)$ whose associated orthogonal polynomials are eigenfunctions of a second order differential operator. Based on techniques from noncommutative algebra (semiprime PI algebras of Gelfand-Kirillov dimension one), we construct a framework for the systematic study of the structure of the algebra $\mathcal D(W)$ of matrix differential operators for which the orthogonal polynomials of the weight matrix $W(x)$ are eigenfunctions. The ingredients for this algebraic setting are derived from the analytic properties of the orthogonal matrix polynomials. We use the representation theory of the algebras $\mathcal D(W)$ to resolve the matrix Bochner problem under the two natural assumptions that the sum of the sizes of the matrix algebras in the central localization of $\mathcal D(W)$ equals $N$ (fullness of $\mathcal D(W)$) and the leading coefficient of the second order differential operator multiplied by the weight $W(x)$ is positive definite. In the case of $2 imes 2$ weights, it is proved that fullness is satisfied as long as $\mathcal D(W)$ is noncommutative. The two conditions are natural in that without them the problem is equivalent to much more general ones by artificially increasing the size of the matrix $W(x)$.

研究の動機と目的

• 関連する直交行列多項式が2階微分作用素の固有関数であるようなすべての $N\times N$ 重み行列 $W(x)$ を分類すること。
• 直交性構造を保存する微分作用素の代数 $\mathcal{D}(W)$ を体系的に記述する代数的枠組みを確立すること。
• 代数 $\mathcal{D}(W)$ の完全性および微分作用素の先行係数の正定値性という2つの自然な条件の下での分類を解明すること。
• $2\times 2$ 重み行列に対して、$\mathcal{D}(W)$ が非可換であれば、完全性が自動的に成り立つことを示すこと。
• 上記の条件を満たす行列重みが、古典的スカラー重みの双スペクトル Darboux 変換であることを示すこと。

提案手法

• 直交行列多項式が固有関数であるような、すべての次数を保つ $W$-随伴可能な微分作用素からなる代数 $\mathcal{D}(W)$ を構成する。
• 直交行列多項式の解析的性質を用いて $\mathcal{D}(W)$ に $*$-対合を導入し、正定値性と代数的構造を保証する。
• Dedekind 環の積への埋め込みを用いて、$\mathcal{D}(W)$ がGelfand-Kirillov次元が1以下である半素な有界代数であることを証明する。
• Small-Stafford-Warfield 定理を用いて、$\mathcal{D}(W)$ が中心 $\mathcal{Z}(W)$ 上でネーター的かつ有限生成であることを確立する。
• 代数 $\mathcal{D}(W)$ の表現論を応用して、循環加群を解析し、フーリエ代数を用いて重み行列を対角化する。
• 一般化されたフーリエ写像を用いて、明示的な双スペクトル Darboux 変換を構成し、$W(x)$ が古典的重み（Hermite、Laguerre、Jacobi）の変換として得られることを検証する。

実験結果

リサーチクエスチョン

• RQ1 どの $N\times N$ 重み行列 $W(x)$ に対して、直交行列多項式が2階微分作用素の固有関数となるか？
• RQ2 このような微分作用素の代数 $\mathcal{D}(W)$ を支える代数的構造は何か？
• RQ3 完全性および先行係数の正定値性という条件が分類にどのように制約を加えるか？
• RQ4 Darboux 変換を用いて、行列 Bochner 問題を既知の古典的重みに還元できるか？
• RQ5 $*$-対合および中心 $\mathcal{Z}(W)$ は、このような行列重みの分類において果たす役割は何か？

主な発見

• 代数 $\mathcal{D}(W)$ の完全性および微分作用素の先行係数の正定値性という仮定の下で、行列 Bochner 問題は完全に解決された。
• $2\times 2$ 重み行列に対して、$\mathcal{D}(W)$ が非可換であれば、$\mathcal{D}(W)$ の完全性が保証される。
• 上記のすべての重み行列 $W(x)$ は、古典的スカラー重み（Hermite、Laguerre、Jacobi 型）の双スペクトル Darboux 変換である。
• 非可換代数的技法を用いて、代数 $\mathcal{D}(W)$ が有界的で、ネーター的かつ中心上での有限生成性を示した。
• 明示的な例が構成された：Hermite、Laguerre、Jacobi 型の $W(x)$ が、明示的な $\mathfrak{U}$-行列を用いて古典的重みの Darboux 変換として得られることを示した。
• 一般化されたフーリエ写像 $b_P^{-1}$ は、2階の $W$-対称作用素を $n$ における対角行列作用素に写像し、双スペクトル性を確認するとともに、分類を可能にした。