[論文レビュー] Rank one and finite rank perturbations - survey and open problems

Constanze Liaw|arXiv (Cornell University)|May 20, 2012

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

ひとこと要約

このサーベイは、自己随伴およびユニタリ設定における作用素理論におけるランク1および有限ランク摂動を調査し、モデル理論、スペクトル測度、正規化されたコーシー変換に注目している。主な貢献は、非内挞性特徴関数の場合におけるクラーク作用素の随伴の表現公式であり、モデル空間と欠損作用素を用いた作用素論的技法によって証明されている。

ABSTRACT

We survey the relationships of rank one self-adjoint and unitary perturbations as well as finite rank unitary perturbations with various branches of analysis and mathematical physics. We include the case of non-inner characteristic operator functions. For rank one perturbations and non-inner characteristic functions, we prove a representation formula for the adjoint of the Clark operator. Throughout we mention many open problems at varying levels of difficulty.

研究の動機と目的

• ランク1および有限ランク摂動とスペクトル理論、モデル理論、および数理物理の分野との深い関係を調査すること。
• クラーク理論を内挞性特徴関数の範囲を超えて拡張し、非内挞性の場合におけるクラーク作用素の随伴の表現を導入すること。
• 特にアンドリューズモデルの文脈において、スペクトル理論、不変部分空間、局在化現象に関する未解決問題を強調すること。
• 有限ランクユニタリ摂動に関して、古典的摂動理論、スペクトル表現、および拡大／モデル理論の視点を統合すること。

提案手法

• Sz.-Nagy と Foiaş のモデル理論を用いて、有限ランクユニタリ摂動をモデル空間と特徴関数によって表現する。
• 正規化されたコーシー変換を適用してスペクトル測度を分析し、内関数を超える結果を拡張する。
• 欠損作用素とユニタリ拡大を用いて、非内挞性の場合におけるクラーク作用素の随伴を特徴付ける。
• モデル空間上の作用素の行列表現を用いて、$ T_\theta^n $ と $ z^n $-乗算に関する恒等式を導出する。
• テレスコピック和の恒等式とスペクトル射影を用いて、主要な表現公式（定理6.1）を証明する。
• 欠損ベクトル $ V\bar{\xi} $ と $ V{\mathbf{1}}_\xi $ を用いて $ T_\theta $ と $ T_\theta^* $ の核構造を確立し、これらがランク1射影であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ランク1摂動の文脈において、クラーク理論は非内挞性特徴関数にどのように一般化可能か？
• RQ2 特徴関数が内挞性でない場合、クラーク作用素の随伴の構造はいかなるものか？
• RQ3 有限ランクユニタリ摂動は、非循環的状況におけるモデル理論および拡大理論とどのように関係するか？
• RQ4 特徴関数が内挞性でない場合、正規化されたコーシー変換はスペクトル解析において果たす役割は何か？
• RQ5 非内挞性特徴関数は、擬似続拡張および作用素値拡張にどのような意味を持つのか？

主な発見

• 非内挞性特徴関数の場合におけるクラーク作用素の随伴の表現公式が確立され、スペクトル解析のための重要な道具が得られた。
• モデル作用素 $ T_\theta $ の欠損作用素が明示的に計算され、$ V\bar{\xi} = \begin{pmatrix} z^{-1}\theta \\ z^{-1}\Delta \end{pmatrix} $ および $ V{\mathbf{1}}_\xi = \begin{pmatrix} {\mathbf{1}}_z \\ 0 \end{pmatrix} $ が得られ、両者ともノルムが1であることが示された。
• 定理6.1の証明は、$ \sum_{k=0}^{n-1} \xi^{k+1} P_\theta z^{n-k-1} x(z) = P_\theta \frac{\xi(\xi^n - z^n)}{\xi - z} x(z) $ を含むテレスコピック和の恒等式に依存しており、作用素の可換性と欠損恒等式を用いて検証された。
• $ T_\theta^n $ の行列表現が射影 $ P_\theta $ の下でスカラーのように振る舞うことが示され、記法 $ T_\theta^n \cdot_z = P_\theta z^n \cdot_z $ の正当化がなされた。
• $ T_\theta^* $ の核が1次元であり、$ \begin{pmatrix} {\mathbf{1}}_z \\ 0 \end{pmatrix} $ で張られること、$ T_\theta $ の核が $ \begin{pmatrix} z^{-1}\theta \\ z^{-1}\Delta \end{pmatrix} $ で張られることを示した。
• ノルム $ \| \cdot \|_{K_\theta} = 1 $ を用いて欠損ベクトルの正規化が確認され、欠損ベクトルの式における定数が正確に1であることが保証された。