[論文レビュー] Compact Product of Hankel and Toeplitz Operators

Cheng Chu|arXiv (Cornell University)|Mar 10, 2014

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

ひとこと要約

本稿は、Hardy空間上でのハンケル作用素とトーペリッツ作用素の積 $ H_f T_g $ のコンパクト性に関する必要十分条件を確立する。補助集合と単位円周付近での局所的作用素挙動を用いて、$ H_f T_g $ がコンパクトであるための必要十分条件は、各補助集合 $ S $ に対して、$ f|_S \in H^\infty|_S $ であるか、あるいは $ g|_S \in H^\infty|_S $ かつ $ (fg)|_S \in H^\infty|_S $ であることを示している。

ABSTRACT

In this paper, we study the product of a Hankel operator and a Toeplitz operator on the Hardy space. We give necessary and sufficient conditions of when such a product $H_f T_g$ is compact.

研究の動機と目的

• $ H_f $ をハンケル作用素、$ T_g $ をHardy空間 $ H^2 $ 上のトーペリッツ作用素とするとき、積 $ H_f T_g $ のコンパクト性に関する必要十分条件を特定すること。
• ハンケル作用素の積に関する既知のコンパクト性基準を、混合ハンケル-トーペリッツ積へと拡張すること。
• 最大理想空間解析を用いて、局所的（補助集合に基づく）および代数的特徴づけを提供すること。
• このような積の有限和に対しても一般化し、作用素のコンパクト性に関するより広範な枠組みを確立すること。

提案手法

• $ L^2 $ 上の乗法作用素を $ H^2 \oplus (H^2)^\perp $ 分解を用いて、トーペリッツ成分とハンケル成分に分解する。
• 作用素行列恒等式 $ M_{fg} = M_f M_g $ を用いて、基本的恒等式 $ H_{fg} = H_f T_g + T_{\tilde{f}} H_g $ を導出する。
• 正規化された再生核 $ k_z $ 及びその随伴を用いて、単位円周付近での作用素の局所的挙動を分析する。
• 作用素のコンパクト性の分析を局所化するために、$ S \subset M(H^\infty + C) $ の補助集合の概念を導入する。
• ゲルファンド位相と弱*収束を用いて、$ z \to m \in S $ のときの作用素ノルムの極限を分析する。
• 補題4.2を適用して、$ \|H_h k_z\| \to 0 $ の消滅が $ H^\infty|_S $ への属する条件と関係することを示し、局所的特徴づけを可能にする。

実験結果

リサーチクエスチョン

• RQ1 ハンケル作用素とトーペリッツ作用素の積 $ H_f T_g $ が、Hardy空間上でコンパクトであるのはいつか？
• RQ2 補助集合を用いて測定される、記号 $ f $ と $ g $ のどの局所的条件が、$ H_f T_g $ のコンパクト性を保証するか？
• RQ3 $ H^\infty[f] \cap H^\infty[g, fg] $ の代数的構造と、$ H^\infty + C $ への包含関係は、$ H_f T_g $ のコンパクト性とどのように関係するか？
• RQ4 $ H_f T_g $ のコンパクト性基準を、このような積の有限和へと拡張できるか？
• RQ5 再生核 $ k_z $ 及びその随伴が、コンパクト性を示すノルムの減衰を特徴づける際に果たす役割は何か？

主な発見

• 積 $ H_f T_g $ がHardy空間上でコンパクトであるための必要十分条件は、すべての補助集合 $ S $ に対して、$ f|_S \in H^\infty|_S $ であるか、あるいは $ g|_S \in H^\infty|_S $ かつ $ (fg)|_S \in H^\infty|_S $ であることである。
• 代数的同等条件として、$ H^\infty[f] \cap H^\infty[g, fg] \subset H^\infty + C $ が成り立ち、これは局所的補助集合条件が満たされるための必要十分条件である。
• $ H_f T_g $ のコンパクト性は、$ \|H_f k_z\| \cdot \|H_g k_z\| \to 0 $ が $ |z| \to 1^- $ のとき成り立つことと同値であるが、これは主たる特徴づけではない。
• 2つのこのような積の和 $ K = H_{f_1}T_{g_1} + H_{f_2}T_{g_2} $ に対して、コンパクト性が成り立つのは、5つの局所的条件のうちの1つが成り立つときであり、その例として、定数 $ c $ が存在して、$ (g_1 - c g_2)|_S \in H^\infty|_S $、$ (c f_1 + f_2)|_S \in H^\infty|_S $、$ f_1(g_1 - c g_2)|_S \in H^\infty|_S $ が成り立つことである。
• 証明は、$ z \to m \in S $ のとき $ \|H_h k_z\| \to 0 $ のノルム減衰に依存し、これにより補題4.2により $ h|_S \in H^\infty|_S $ が導かれる。
• 主要な技術的ステップは、$ \|F_z\| \to 0 $ および $ \|K^* k_{\bar{z}}\| \to 0 $ が $ z \to m $ のとき成り立つことを示すことであり、これにより補題4.1によりコンパクト性が示される。