[論文レビュー] Powers of posinormal operators

Carlos S. Kubrusly, Peter Vieira+1 more|arXiv (Cornell University)|Feb 19, 2022

Holomorphic and Operator Theory被引用数 4

ひとこと要約

本稿は、作用素のべき乗における正規性の保存を調査し、正規性作用素の平方が一般に正規性を保つとは限らないものの、特定の条件下ではべき乗が正規性を保つことを示している。その条件には、有限降下、連立正規性および共正規性、または半フレドホルム構造が含まれる。また、擬正規性作用素はすべてのべき乗においてその性質を保つことが証明され、ハイポノーマル作用素や支配的作用素に関する既知の結果が拡張されている。

ABSTRACT

Square of a posinormal operator is not necessarily posinormal$.$ But (i) powers of quasiposinormal operators are quasiposinormal and, under closed ranges assumption, powers of (ii) posinormal operators are posinormal, (iii) of operators that are both posinormal and coposinormal are posinormal and coposinormal, and (iv) of semi-Fredholm posinormal operators are posinormal.

研究の動機と目的

• 作用素理論における未解決問題である、正規性作用素のべき乗が正規性を保つかどうかを特定すること。
• 正規性作用素のn乗が正規性を保つ十分条件を同定すること。
• 擬正規性作用素およびハイポノーマル作用素に関する既知の結果をより広いクラスに拡張すること。
• 正規性、擬正規性、および有限降下や半フレドホルム構造などのスペクトル的性質との関係を明確にすること。

提案手法

• 正規性の範囲包含条件 $\mathcal{R}(T) \subseteq \mathcal{R}(T^*)$ とダグラスの補題を用いて作用素不等式を分析する。
• 上昇と降下の概念を用いて、正規性作用素および擬正規性作用素のべき乗の核の挙動を特徴付ける。
• バナッハ閉範囲定理を用いて、$T^n$ の閉範囲と半フレドホルム性、正規性の保存を結びつける。
• 擬正規性作用素がすべての $n \geq 1$ に対して $\mathcal{N}(T^n) = \mathcal{N}(T)$ を満たすという事実を活用し、$T^n$ が依然として擬正規性を保つことを保証する。
• 半フレドホルム作用素は核が有限次元で範囲が閉じていることによる特徴付けを用い、$T^n$ が閉範囲を持つこと、したがって正規性を保つことを証明する。
• 上位正規性作用素を一般化として分析し、補助作用素 $P$ や $Q$ の稠密な範囲の条件下で、そのべき乗が擬正規性または共擬正規性を示すことを示す。

実験結果

リサーチクエスチョン

• RQ1 正規性作用素の平方は、必ずしも正規性を保つのか？
• RQ2 どのような条件下で正規性作用素のべき乗も正規性を保つか？
• RQ3 擬正規性は、作用素のすべてのべき乗が依然として擬正規性を保つことを示唆するのか？
• RQ4 作用素が有限降下を有する、または半フレドホルムである場合、そのべき乗の正規性が保存されるのか？
• RQ5 連立正規性および共正規性は、べき乗における正規性の保存にどのように影響するか？

主な発見

• 正規性作用素の平方が一般に正規性を保つとは限らない。これは長年の未解決問題に対する否定的解答を提供する。
• すべての自然数乗の擬正規性作用素は、擬正規性を保つ。これはハイポノーマル作用素に関する既知の結果を一般化する。
• 作用素 $T$ が正規性をもち、有限降下を持つならば、すべての $n \geq 1$ に対して $T^n$ は正規性を保つ。閉範囲を仮定しないでも成立する。
• 作用素 $T$ が正規性および共正規性をもつならば、すべての $n \geq 1$ に対して $T^n$ は正規性および共正規性を保ち、連立性質が保存される。
• 半フレドホルム正規性作用素に対しては、すべての $n \geq 1$ に対して $T^n$ は正規性および半フレドホルム性を保つ。これは $\mathcal{R}(T^n)$ が閉じていることによる。
• 上位正規性作用素は、補助作用素 $P$ や $Q$ の稠密な範囲の条件のもとで、そのべき乗が擬正規性または共擬正規性を示す。