[論文レビュー] On the intersection of the spectrum of frequently hypercyclic operators with the unit circle

Hans-Peter Beise|arXiv (Cornell University)|Dec 28, 2013

Holomorphic and Operator Theory参考文献 14被引用数 3

ひとこと要約

この論文は、複素バナッハ空間上の頻繁に超循環的である作用素が、特定の線形独立性条件のもとで、スペクトルが閉単位円板に含まれ、かつユニモジュラーなスペクトル点が有限個であることは不可能であることを証明する。複素関数論の道具、特にクロネッカーの定理と指数型整関数の性質を用いて、このようなスペクトル構成は移動作用素の力学と矛盾することを示し、シャルキンの孤立したスペクトル点に関する結果を拡張する。

ABSTRACT

We exclude the existence of frequently hypercyclic operators that have a spectrum contained in the closed unit disc and that intersects the unit circle in only finitely many points under certain additional conditions. This extends a result of S. Shkarin, which states that the spectrum of a frequently hypercyclic operator cannot have isolated points.

研究の動機と目的

• シャルキンの結果「頻繁に超循環的作用素のスペクトルは孤立点をもたない」を拡張すること。
• 追加の数論的条件のもとで、単位円上のユニモジュラーなスペクトル点の有限集合が頻繁に超循環的と同時に存在できるかを調査すること。
• 作用素の力学と指数型整関数の零点集合を結びつけることで、頻繁に超循環的であるための必要十分なスペクトル的条件を確立すること。
• 文献における以前の主張との潜在的矛盾を解消し、特定のスペクトル構成が動的には不可能であることを示すこと。

提案手法

• スペクトル点が単位円上に分布するのを制御するため、同時ディオファントス近似に関するクロネッカーの定理を適用する。
• 作用素 $ T $ と整関数空間上の移動作用素との間の準同型写像（ quasi-conjugacy ）を構成する。
• 作用素の反復 $ T^n $ の力学を、整関数 $ f $ の移動 $ f(\cdot + n) $ と結びつける。この際、$ T $ のスペクトル的性質を活用する。
• 指数型整関数の実部および虚部の零点集合を解析し、スペクトル点が有限個かつ $ \mathbb{Q} $ 上で線形独立である場合に矛盾を導く。
• 指数型関数の理論と密度推定を用いて、このような関数の積が正の下密度集合上で消失するなら、恒等的にゼロでなければならないことを示す。
• 特定の整関数が消失することは、それらが恒等的にゼロであることを意味し、これは超循環的性の仮定に反するので、矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 スペクトルが閉単位円板に含まれ、かつ単位円上に有限個の点 $ \{e^{i\alpha_1}, \dots, e^{i\alpha_m}\} $ をもつ作用素 $ T $ が、$ \alpha_j $ が $ \mathbb{Q} $ 上で線形独立である場合、頻繁に超循環的であることは可能か？
• RQ2 有界バナッハ空間作用素が頻繁に超循環的でなくなるための、単位円上のスペクトル的条件は何か？
• RQ3 スペクトルの引数が特定の有理数的依存関係または独立性関係を満たす場合、頻繁に超循環的作用素が有限ユニモジュラースペクトルをもつことは可能か？
• RQ4 特に単位円との交点を含む作用素のスペクトル構造は、複素解析的手法を用いて頻繁に超循環的でないことを排除するために利用できるか？
• RQ5 指数型整関数は、特定のスペクトル構成を持つ頻繁に超循環的作用素の存在を妨げる役割を果たすか？

主な発見

• 複素バナッハ空間上の有界作用素 $ T $ がスペクトルを閉単位円板に含み、かつ単位円と有限集合 $ \{e^{i\alpha_1}, \dots, e^{i\alpha_m}\} $ で交わるとき、$ \alpha_j $ が $ \mathbb{Q} $ 上で線形独立であれば、$ T $ は頻繁に超循環的ではありえない。
• この結果は、シャルキンの定理を拡張し、引数が線形独立な有限ユニモジュラースペクトル集合は頻繁に超循環的と両立しないことを示している。
• $ \alpha_1 n + r, \dots, \alpha_m n + r $ が、ある $ n \in \mathbb{N} $、$ r \in \mathbb{R} $ に対して $ \mathbb{Q} $ 上で線形独立であれば、$ T $ は頻繁に超循環的でない。
• $ \alpha_1/\pi, \dots, \alpha_m/\pi \in \mathbb{Q} $ であれば、$ T $ は頻繁に超循環的でない。
• 任意の有限集合 $ A = \sigma(T) \cap \mathbb{T} $ が2個以下であれば、$ T $ は頻繁に超循環的でない。
• 矛盾は、指数型関数の $ 2m $ 個の積が、下密度 $ \geq d/t_0 $ の集合上で消失するなら、恒等的にゼロでなければならない、という事実に起因する。これは、非ゼロの頻繁に超循環的ベクトルの存在に反する。