[論文レビュー] Common hypercyclic vectors for high dimensional families of operators

Frédéric Bayart|arXiv (Cornell University)|Mar 30, 2015

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

ひとこと要約

本稿は、F空間上の作用素の高次元族における共通超巡回ベクトルの存在に対する十分条件を確立し、従来の1次元結果を越えて一般化している。強連続性、一様混合性、およびランゲ型近似を活用することで、R^d によってインデックス付けされた非可算族（例えば、重み付きシフト、ハーディー空間上の合成作用素）が、共通超巡回ベクトルの残渣的集合を持つことを証明し、超巡回性理論における長年の制限を解消した。

ABSTRACT

Let $(T\_λ)\_{λ\inΛ}$ be a family of operators acting on a $F$-space $X$, where the parameter space $Λ$ is a subset of $\mathbb R^d$. We give sufficient conditions on the family to yield the existence of a vector $x\in X$ such that, for any $λ\inΛ$, the set $\big\{T\_λ^n x;\ n\geq 1\big\}$ is dense in $X$. We obtain results valid for any value of $d\geq 1$ whereas the previously known results where restricted to $d=1$. Our methods also shed new light on the one-dimensional case.

研究の動機と目的

• 1次元パラメータ空間を超えて共通超巡回ベクトルの理論を拡張すること。
• 残渣的交差法が失敗する非可算作用素族における挑戦に対処すること。
• バナッハ空間およびフレシェ空間を含むF空間上の作用素に適用可能な一般枠組みを提供すること。
• 既存の解析的および代数的手法を統合・一般化すること。
• ボリチェフのLebesgue測度ゼロに関する結果のような、先行研究で観察された次元的障害を解消すること。

提案手法

• R^d によってインデックス付けされた作用素族に対して、一様混合性とランゲ型近似に基づく新しい基準を導入する。
• 作用素族の強連続性を保証するために、一様有界性原理を用いる。
• バナッハ・カテゴリー定理を適用し、共通超巡回ベクトルの集合が基礎となるF空間で残渣的であることを示す。
• 2段階戦略を採用する：まず、（ユニタリ群など）稠密な部分群に対して共通超巡回性を証明し、その後、半群論的議論により拡張する。
• コネヘロ＝ミュラー＝ペリスの定理を用いて、連続的半群の文脈で異なるパラメータ間での超巡回集合を等価にする。
• ランゲ性質を活用し、高次元族における複数のパラメータに同時に近似可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 R^d によってインデックス付けされた非可算作用素族に対して、1次元の場合を超えて、1つのベクトルが共通超巡回的であることは可能か？
• RQ2 R^d 上の強連続作用素群に対して、共通超巡回ベクトルの存在を保証する条件は何か？
• RQ3 代数的技法（例：群不変性）は、多次元パラメータ空間に拡張可能で、超巡回性を保つことができるか？
• RQ4 シエル上半空間 H_d のハーディー空間上における合成作用素族に対して、共通超巡回ベクトルを構成することは可能か？
• RQ5 次元的障害（例：Lebesgue測度ゼロ）は、高次元族において共通超巡回性を妨げるのか？

主な発見

• 群 (T_a) が一様混合性を持つ限り、{λT_a : δ < |λ| < 1/δ, a ∈ R^d \ {0}} の共通超巡回ベクトルの集合は H(C) で残渣的である。
• ハーディー空間 H^2(H_d) に対して、すべての λ > 1 およびユニタリ行列 U ∈ U(C^{d−1}) における HC(C_{φ_{λ,U}}) の交差集合は残渣的である。
• 代数的技法はコンパクト群 G に一般化され、すべての g ∈ G に対して HC(T_{1,g}) = HC(T_{1,1_G}) が成り立つ。これにより多次元応用が可能になる。
• 本稿は、HC(λB) が λ > 1 に対して残渣的であることを証明し、群不変性を用いて |λ| > 1 へ拡張し、既知の2次元結果を回復した。
• ランゲ性質が本質的であることが示された：これがないと、パラメータ間の近似要請が矛盾し、共通超巡回性は失敗する。
• 本稿は、適切な解析的および力学的条件下で、パラメータ空間が正の測度であっても共通超巡回性が可能であることを示し、重要な未解決問題を解決した。