[論文レビュー] Bounded symbols and reproducing kernel thesis for truncated Toeplitz operators

Anton Baranov, Isabelle Chalendar+3 more|Sep 1, 2009

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

ひとこと要約

この論文は、切断トーペリッツ作用素に関する2つの基本的問題を検討する：有界性が有界な記号の存在を意味するか、および有界性が再生核上での挙動によって決定されるか（再生核仮説）。一般には、有界な切断トーペリッツ作用素が有界な記号を持たないことが示され、特定の内挙動関数について反例が提示される。しかし、一成分内挙動関数（CLS）に付随するモデル空間に関しては、両方の問題に対して肯定的解答が得られ、作用素の有界性と記号の正則性の間の鋭い関係が確立される。

ABSTRACT

Compressions of Toeplitz operators to coinvariant subspaces of $H^2$ are called truncated Toeplitz operators. We study two questions related to these operators. The first, raised by Sarason, is whether boundedness of the operator implies the existence of a bounded symbol; the second is the reproducing kernel thesis. We show that in general the answer to the first question is negative, and we exhibit some classes of spaces for which the answers to both questions are positive.

研究の動機と目的

• すべての有界な切断トーペリッツ作用素が有界な記号をもつかどうかというサラソンの未解決問題を解決すること。
• 切断トーペリッツ作用素に対する再生核仮説（RKT）の妥当性を調査すること。
• 有界記号の存在とRKTが両方成り立つモデル空間のクラスを特定すること。
• 一成分内挙動関数（CLS）が切断トーペリッツ作用素に有益な性質を保証する役割を明確にすること。
• 正の記号とカーレソン測度の間の関係を、モデル空間内で探ること。

提案手法

• 特定の内挙動関数を用いて反例を構成し、有界な切断トーペリッツ作用素が有界な記号を持たない場合があることを示し、一般には有界記号性質が成立しないことを実証する。
• 再生核と内挙動関数を含むモデル空間理論の技術を応用して、作用素の挙動を分析する。
• 正の記号とカーレソン測度の関係を活用し、コーンおよびナザロフ＝ヴォルバーグの結果を応用して有界性条件を分析する。
• Θ ∈ (CLS) の場合に、A^Θ_φ の有界性、再生核上での作用の一様有界性、および有界記号の存在の3つが同値であることを確立する。
• H^2-圧縮の構造とモデル空間のスペクトル理論を用いて、有界性の必要十分条件を導出する。
• RKT条件を強化するために、双対核族を導入・分析し、一般設定においてそれが必要不可欠であることを示す。

実験結果

リサーチクエスチョン

• RQ1 モデル空間 K_Θ 上のすべての有界な切断トーペリッツ作用素は、必ず有界な記号を持つのか？
• RQ2 切断トーペリッツ作用素の有界性は、その再生核上での作用によって決定されるのか（再生核仮説）？
• RQ3 どのクラスの内挙動関数 Θ に対して、有界記号性とRKTが両方成り立つか？
• RQ4 一成分内挙動関数（CLS）は、切断トーペリッツ作用素の有界記号の存在を保証するために果たす役割は何か？
• RQ5 正の記号を持つ作用素の有界性は、再生核上の一様有界性によって特徴づけられるか？

主な発見

• サラソンの問題に対する有界記号の存在に関する答えは一般には否定的である：特定の内挙動関数 Θ に対して、K_Θ 上に有界でない記号をもつランク1の切断トーペリッツ作用素が存在する。
• Θ ∈ (CLS) の場合、すべての有界な切断トーペリッツ作用素は有界な記号を持ち、再生核仮説も成り立つ。
• Θ ∈ (CLS) の場合、A^Θ_φ の有界性、\|A^\Theta_\varphi h_\lambda^\Theta\|_2 の一様有界性、および有界記号の存在の3つが同値であることが確立された。
• 正の記号 φ に対して、A^\Theta_\varphi の有界性は φ\,dm が K_\Theta に対してカーレソン測度であることと同値であり、これは Θ ∈ (CLS) のとき、\sup_\lambda \langle A^\Theta_\varphi h_\lambda^\Theta, h_\lambda^\Theta \rangle < \infty が成り立つときに限り成立する。
• 作用素が有界であるが核作用が一様有界でない例を構成することで、一般にはRKTが成立しないことが示された。
• 予想を提示する：有界な切断トーペリッツ作用素が有界な記号を持つのは、Θ ∈ (CLS) であるときかつそのときに限り成り立つ。これは鋭い特徴付けを示唆する。