[論文レビュー] On a family of frames for Krein spaces

Juan I. Giribet, Alejandra Maestripieri+2 more|arXiv (Cornell University)|Dec 7, 2011

Mathematical Analysis and Transform Methods参考文献 20被引用数 4

ひとこと要約

本稿は、不定内積と整合する$J$-正規直交基底の一般化である、クレイン空間における$J$-フレームを導入する。$J$-フレームは、符号が逆の最大の均一$J$-定符号部分空間の対を生成し、ヒルベルト空間におけるフレーム理論を不定内積空間へ拡張する不定再構成公式を可能にする。フレーム作用素や双対対といったヒルベルト空間の主要な性質を保ちながら、クレイン空間におけるフレーム理論を拡張する。

ABSTRACT

A definition of frames for Krein spaces is proposed, which extends the notion of $J$-orthonormal basis of Krein spaces. A $J$-frame for a Krein space $(\HH, \K{\,}{\,})$ is in particular a frame for $\HH$ in the Hilbert space sense. But it is also compatible with the indefinite inner product $\K{\,}{\,}$, meaning that it determines a pair of maximal uniformly $J$-definite subspaces with different positivity, an analogue to the maximal dual pair associated to a $J$-orthonormal basis. Also, each $J$-frame induces an indefinite reconstruction formula for the vectors in $\HH$, which resembles the one given by a $J$-orthonormal basis.

研究の動機と目的

• ヒルベルト空間におけるフレーム理論を、不定内積と整合する新たなフレームクラスの定義によってクレイン空間へ拡張すること。
• 基本的対称性$J$と構造的に整合するように保つ$J$-正規直交基底の一般化として$J$-フレームを導入すること。
• ヒルベルト空間におけるフレーム再構成と類似するが、不定計量に適応したクレイン空間における再構成公式を確立すること。
• 最大の均一$J$-定符号部分空間における正定性および不変性条件を用いて$J$-フレーム作用素を特徴づけること。
• $J$-フレームが符号が逆の最大の均一$J$-定符号部分空間の双対対を生成することを示し、$J$-正規直交基底の双対構造を一般化すること。

提案手法

• $J$-フレームを、合成作用素が添え字集合の正負のスペクトル部分空間を、それぞれ$\mathcal{H}$における最大の均一$J$-正および$J$-負部分空間に写像するような、クレイン空間内のベッセル族として定義する。
• 合成作用素$T: \ell_2(I) \to \mathcal{H}$を用い、$T_+ = T P_+$および$T_- = T(I - P_+)$に分解する。ここで$P_+$は$\ell_2(I_+)$への直交射影であり、$I_+ = \{i : [f_i,f_i] > 0\}$である。
• それぞれの$R(T_+)$および$R(T_-)$が最大の均一$J$-正および$J$-負部分空間であることを示し、和分解により空間全体を張ることを保証する。
• 不定再構成公式を確立する：$f = \sum_{i \in I} \sigma_i [f, g_i] f_i = \sum_{i \in I} \sigma_i [f, f_i] g_i$、ここで$\sigma_i = \text{sgn}[f_i,f_i]$であり、これは$J$-正規直交基底の公式を一般化する。
• $J$-自己共役性および正定性条件を用いて$J$-フレーム作用素を特徴づける：最大の$J$-正部分空間$\mathcal{T}$上で$[Sf,f] \geq 0$であり、$S(\mathcal{T})^{[\bot]}$上で$[Sg,g] \leq 0$である。$S$は可逆であり、$\text{ind}_\pm(S) = \dim(\mathcal{H}_\pm)$を満たす。
• $J$-フレーム作用素は、特定の正定性および不変性条件を満たす可逆$J$-自己共役作用素であることを証明し、すべてのこのような作用素が$J$-フレーム作用素であるとは限らないことを、反例により示す。

実験結果

リサーチクエスチョン

• RQ1 不定内積と整合するフレーム理論を、クレイン空間へどのように拡張できるか？
• RQ2 フレームが符号が逆の最大の均一$J$-定符号部分空間の双対対を生成するために満たすべき構造的条件は何か？
• RQ3 ヒルベルト空間におけるフレーム再構成と類似するが、不定計量に適応したクレイン空間における再構成公式を定式化できるか？
• RQ4 正定性、不変性、スペクトル的性質の観点から$J$-フレーム作用素の特徴づけはどのようなものか？
• RQ5 どの$J$-自己共役可逆作用素が$J$-フレーム作用素であり、非$J$-フレーム$J$-自己共役作用素と区別するための条件は何か？

主な発見

• $J$-フレームは、クレイン空間内のベッセル族であり、その合成作用素が列空間の正負の添え字部分空間を、それぞれ$\mathcal{H}$における最大の均一$J$-正および$J$-負部分空間に写像する。
• $T_+$および$T_-$の像$R(T_+)$と$R(T_-)$は、符号が逆の最大の双対対をなす均一$J$-定符号部分空間をなしており、$J$-正規直交基底の双対構造を一般化する。
• 各$J$-フレームは不定再構成公式を誘導する：$f = \sum_{i \in I} \sigma_i [f, g_i] f_i = \sum_{i \in I} \sigma_i [f, f_i] g_i$、ここで$\sigma_i = \text{sgn}[f_i,f_i]$であり、これは$J$-正規直交基底の再構成を拡張する。
• $J$-フレーム作用素$S$は、可逆な$J$-自己共役作用素として特徴づけられる。最大の均一$J$-正部分空間$\mathcal{T}$が存在し、$S(\mathcal{T})$も最大の均一$J$-正部分空間であり、すべての$f \in \mathcal{T}$に対して$[Sf,f] \geq 0$であり、すべての$g \in S(\mathcal{T})^{[\bot]}$に対して$[Sg,g] \leq 0$である。この条件は必要十分である。
• $\text{ind}_\pm(S) = \dim(\mathcal{H}_\pm)$を満たすすべての可逆$J$-自己共役作用素が$J$-フレーム作用素であるとは限らない。反例として、$J$-正のベクトルを$J$-負のベクトルに写像する$S$が提示され、正定性条件を満たさない。
• $J$-フレームの合成作用素は厳密な正負作用素に分解される。$T_+$および$T_-$が厳密な正および負作用素であるための必要十分条件は、$T$の核が$\ell_2(I_+)$および$\ell_2(I_-)$と自明に交わることである。