[Paper Review] Compact Product of Hankel and Toeplitz Operators

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

Holomorphic and Operator Theory12 references3 citations

TL;DR

This paper establishes necessary and sufficient conditions for the compactness of the product $ H_f T_g $ of a Hankel operator and a Toeplitz operator on the Hardy space. Using support sets and local operator behavior near the unit circle, it shows that $ H_f T_g $ is compact if and only if, for each support set $ S $, either $ f|_S \in H^\infty|_S $, or both $ g|_S \in H^\infty|_S $ and $ (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.

Motivation & Objective

• To determine necessary and sufficient conditions for the compactness of the product $ H_f T_g $, where $ H_f $ is a Hankel operator and $ T_g $ is a Toeplitz operator on the Hardy space $ H^2 $.
• To extend known compactness criteria for products of Hankel operators to mixed Hankel-Toeplitz products.
• To provide both local (support set-based) and algebraic characterizations of compactness using maximal ideal space analysis.
• To generalize the result to finite sums of such products, establishing a broader framework for operator compactness.

Proposed method

• Uses the decomposition of multiplication operators on $ L^2 $ into Toeplitz and Hankel components via the $ H^2 \oplus (H^2)^\perp $ decomposition.
• Applies the operator matrix identity $ M_{fg} = M_f M_g $ to derive the key identity $ H_{fg} = H_f T_g + T_{\tilde{f}} H_g $.
• Employs normalized reproducing kernels $ k_z $ and their adjoints to analyze local behavior of operators near the unit circle.
• Introduces the concept of support sets $ S \subset M(H^\infty + C) $ to localize the analysis of operator compactness.
• Uses the Gelfand topology and weak-star convergence to analyze limits of operator norms as $ z \to m \in S $.
• Applies Lemma 4.2 to relate vanishing of $ \|H_h k_z\| \to 0 $ to membership in $ H^\infty|_S $, enabling local characterization.

Experimental results

Research questions

• RQ1 When is the product $ H_f T_g $ of a Hankel and a Toeplitz operator on the Hardy space compact?
• RQ2 What local conditions on the symbols $ f $ and $ g $, measured via support sets, ensure the compactness of $ H_f T_g $?
• RQ3 How do the algebraic structure of $ H^\infty[f] \cap H^\infty[g, fg] $ and the inclusion in $ H^\infty + C $ relate to the compactness of $ H_f T_g $?
• RQ4 Can the compactness criterion for $ H_f T_g $ be extended to finite sums of such products?
• RQ5 What is the role of the reproducing kernel $ k_z $ and its adjoint in characterizing the norm decay that implies compactness?

Key findings

• The product $ H_f T_g $ is compact on the Hardy space if and only if, for every support set $ S $, either $ f|_S \in H^\infty|_S $, or both $ g|_S \in H^\infty|_S $ and $ (fg)|_S \in H^\infty|_S $.
• An algebraic equivalent condition is $ H^\infty[f] \cap H^\infty[g, fg] \subset H^\infty + C $, which holds if and only if the local support set conditions are satisfied.
• The compactness of $ H_f T_g $ is equivalent to the vanishing of $ \|H_f k_z\| \cdot \|H_g k_z\| \to 0 $ as $ |z| \to 1^- $, though this is not the primary characterization.
• For sums of two such products, $ K = H_{f_1}T_{g_1} + H_{f_2}T_{g_2} $, compactness holds if and only if one of five local conditions holds, including the existence of a constant $ c $ such that $ (g_1 - c g_2)|_S \in H^\infty|_S $, $ (c f_1 + f_2)|_S \in H^\infty|_S $, and $ f_1(g_1 - c g_2)|_S \in H^\infty|_S $.
• The proof relies on norm decay of $ \|H_h k_z\| \to 0 $ as $ z \to m \in S $, which implies $ h|_S \in H^\infty|_S $ via Lemma 4.2.
• The key technical step is showing that $ \|F_z\| \to 0 $ and $ \|K^* k_{\bar{z}}\| \to 0 $ as $ z \to m $, which implies compactness via Corollary 4.1.