[論文レビュー] The truncated matrix trigonometric moment problem: the operator approach

Sergey M‎. ‎Zagorodnyuk|arXiv (Cornell University)|Dec 7, 2010

Spectral Theory in Mathematical Physics参考文献 1被引用数 3

ひとこと要約

本稿では、等長作用素の一般化された解像度に基づく作用素論的アプローチを用いて、切断された行列三角的モーメント問題のすべての解の双対的パラメータ化を提示する。与えられたモーメントデータから閉等長作用素 $ A $ を構成し、単位円板内での解析的作用素値関数を用いて解を表現することで、収縮的解析的関数と解との間に一対一対応を確立し、長年のパラメータ化における双対性の問題を解決する。

ABSTRACT

In this paper we study the truncated matrix trigonometric moment problem. We obtained a bijective parameterization of all solutions of this moment problem (both in nondegenerate and degenerate cases) via an operator approach. We use important results of M.E.~Chumakin on generalized resolvents of isometric operators.

研究の動機と目的

• 切断された行列三角的モーメント問題のすべての解に対する完全かつ双対的なパラメータ化を提供すること。
• 退化・非退化の両ケースを統一的に取り扱うための作用素論的枠組みを構築すること。
• 既存のパラメータ化が双対的であるかどうかという未解決の問題を解き、明示的に双対的な対応を構築すること。
• チュマキンの一般化された解像度に関する結果を行列三角的モーメント問題の文脈に拡張すること。
• 段階的アルゴリズム的構成を避けて、抽象的作用素論によって解の空間を明確かつ統一的に提示すること。

提案手法

• 与えられたモーメント列 $ \{S_n\}_{n=0}^d $ から、ベクトル値三角多項式のヒルベルト空間を用いて閉等長作用素 $ A $ を構成する。
• 単位円板内 $ \zeta \in \mathbb{D} $ に対して、一般化された解像度 $ \mathbf{R}_\zeta = [E - \zeta(U \oplus \Phi_\zeta)]^{-1} $ を定義する。ここで $ \Phi_\zeta $ は、$ H \ominus D(A) $ から $ H \ominus R(A) $ への収縮を値に持つ解析的作用素値関数である。
• スティルチェスの逆公式を用いて行列スペクトル測度 $ M(t) $ を再構成する：$ \int_0^{2\pi} \frac{1}{1 - \zeta e^{it}} dm_{k,j}(t) = (\mathbf{R}_\zeta x_k, x_j)_H $ ただし $ \zeta \in \mathbb{C} \setminus \partial\mathbb{D} $。
• 単位円全体で整合性を保つために、双対性関係 $ \mathbf{R}_{1/\bar{\zeta}} = E_H - \mathbf{R}_\zeta^* $ を用いる。
• 異なる解析的関数 $ \Phi \zeta $ が異なる解を与えることを示し、パラメータ化の双対性を証明する。
• 等長作用素に対する一般化された解像度の一意性を活用し、すべての解が一意に $ \Phi_\zeta $ に対応することを保証する。

実験結果

リサーチクエスチョン

• RQ1 $ T_d \geq 0 $ のとき、切断された行列三角的モーメント問題のすべての解に対する双対的パラメータ化は存在するか？
• RQ2 退化・非退化の両ケースを、一つの作用素論的枠組みで一様に記述できるか？
• RQ3 チュマキンの一般化された解像度のアプローチは、行列値モーメント問題に一般に拡張可能か？
• RQ4 解と解析的作用素値関数の間の対応が一対一であることを示せるか？
• RQ5 作用素論的視点は、段階的構成を避けて、解集合を明確かつ統一的に提示できるか？

主な発見

• 本稿では、単位円板 $ \mathbb{D} $ 内で解析的かつ収縮的である作用素値関数 $ \Phi_\zeta $ と、切断された行列三角的モーメント問題のすべての解との間に双対的対応を確立する。
• 各解 $ M(t) $ は、積分公式 $ \int_0^{2\pi} \frac{1}{1 - \zeta e^{it}} dm_{k,j}(t) = (\mathbf{R}_\zeta x_k, x_j)_H $ を用いて、一般化された解像度 $ \mathbf{R}_\zeta = [E - \zeta(U \oplus \Phi_\zeta)]^{-1} $ から一意に再構成可能である。
• このパラメータ化は、$ T_d \geq 0 $ のすべてのケースに適用可能であり、退化・非退化の両ケースを一様にカバーする。
• 一般化された解像度の表現により、異なる $ \Phi_\zeta $ 関数が異なる解を与えることが保証され、パラメータ化の双対性が証明される。
• モーメント問題を等長作用素とその一般化された解像度の理論に埋め込むことで、解の空間を明確かつ包括的に提示する。
• アルゴリズム的・反復的手続きを避けて、解析的作用素関数による直接的かつ構造的なすべての解の特徴付けが可能である。