Hardy空间上Hankel算子的可交换性

《Mathematics》：Commutativity of Hankel Operators on the Hardy Space

　　

摘要

研究人员研究Hardy空间??₂上Hankel算子的可交换性。利用??₂与其正交补之间的标准酉等价（unitary identification），研究人员将Hankel算子实现为??₂上的有界算子，从而获得了算子可交换性的良定义（well-defined notion）。研究人员证明，两个符号属于??^∞(??)的此类算子可交换，当且仅当其符号的反解析部分（anti-analytic parts）线性相关。因此，每个非零Hankel算子在Hankel算子类中的换位子（commutant）是一维的。

**Hankel算子可交换性的刚性：Hardy空间上的完整刻画**

**1. 研究背景与问题提出**

Hankel算子在算子理论与函数理论中占据重要地位，其与控制理论、预测理论及复分析有着深刻的联系。与Toeplitz算子不同，Hankel算子编码了符号的反解析部分，因而展现出根本不同的代数行为。根据Nehari定理，Hardy空间??₂上的Hankel算子??_??有界当且仅当符号??属于??^∞(??)，其中??为单位圆周；根据Hartman定理，??_??为紧算子当且仅当符号的反解析部分??_?属于??上的连续函数空间??(??)。

Toeplitz算子的可交换性问题在算子理论中具有悠久的研究历史。Brown和Halmos的经典结果刻画了??₂上可交换的Toeplitz算子，Coburn从??^*-代数视角进一步发展了该研究方向，并催生了向Bergman空间、Dirichlet空间等其他函数空间的众多推广。然而，Hankel算子的代数问题更为微妙。经典Hankel算子将??₂映射到其正交补??₂^⊥，因此不隶属于复合运算下的算子代数，其可交换性问题无法像Toeplitz算子那样直接表述。已有研究主要集中在混合Toeplitz–Hankel关系、基于伴随的可交换性或分块算子表示等方面。Wu和Zhao近期研究了Dirichlet空间正交补上具有调和符号的对偶Hankel算子的可交换性，证明了两个此类算子可交换当且仅当其符号线性相关。

本文针对经典Hankel算子不构成复合运算下代数这一根本性困难，利用??₂与其正交补之间的标准酉等价，将Hankel算子实现为作用在??₂上的有界算子。这一实现为研究Hankel算子的可交换性提供了自然且良定义的框架。论文的主要结果给出了??₂上具有任意??^∞(??)符号的Hankel算子类中可交换性的完整刻画。

**2. 主要研究方法**

研究人员采用以下关键方法开展研究：其一，利用Hardy空间??₂与其正交补??₂^⊥之间的标准酉算子??，将经典Hankel算子实现为??₂上的有界算子，从而使其纳入算子代数的研究框架；其二，建立符号的反解析部分到Hankel算子的映射的注入性（Lemma 1），该映射在??_∞,0^?（即零常数项的有界反解析函数空间）上是单射，且根据Nehari定理构成从??_∞,0^?到有界线性算子空间的线性等距嵌入；其三，通过将Hankel算子表示为标准正交基下的无穷Hankel矩阵，利用矩阵元素的级数展开和Cauchy–Schwarz不等式验证级数的绝对收敛性，对可交换条件进行逐项分析，从而推导出符号反解析部分的线性相关性。

**3. 研究结果与分析**

**Lemma 1（Hankel符号的注入性）**：设??₁, ??₂ ∈ ??^∞(??)，其反解析部分分别为??₁, ??₂。若??_??1 = ??_??2，则??₁ = ??₂。该引理通过酉算子??的注入性证明，表明符号的反解析部分唯一确定相应的Hankel算子。

**Theorem 1（Hankel算子的可交换性）**：设??₁, ??₂ ∈ ??^∞(??)，??_??1, ??_??2为??₂上相应的Hankel算子。则以下条件等价：(1) ??_??1??_??2 = ??_??2??_??1；(2) 反解析部分??₁与??₂线性相关。证明过程将负Fourier系数重新编号，利用标准正交基下无穷Hankel矩阵的(i, j)-元素展开，通过分离首项并构造合适的指标替换，从可交换性条件推导出系数序列的线性相关性。

**Corollary 1（有限秩Hankel可交换性）**：若??₁, ??₂ ∈ ??^∞(??)且??_??1, ??_??2均为有限秩算子，则二者可交换当且仅当其反解析部分线性相关。该推论直接由Theorem 1得出。

**Corollary 2**：设?? ∈ ??^∞(??)。若??_?为满足??_???_?? = ??_????_?的Hankel算子，则??_?与??_??线性相关。该推论表明与给定Hankel算子可交换的任意Hankel算子必为该算子的标量倍数。

**Corollary 3**：设??_??为??₂上的紧Hankel算子，若??_?为满足可交换条件的Hankel算子，则??_?与??_??线性相关。因此，??_??在紧Hankel算子类中的换位子是一维的。该推论结合Hartman定理与Theorem 1证明。值得注意的是，Remark 1指出Lemma 1与Theorem 1共同表明，在Hankel算子类内部，算子可交换等价于线性相关，这体现了代数结构的极端刚性。

**4. 示例分析**

论文通过三个示例验证了理论结果。Example 1选取??₁(??^????) = ??^?????，??₂(??^????) = ??^?2????，二者的反解析部分对任意??均不满足线性相关条件，因此相应Hankel算子不可交换，表明即使对于简单的单项式符号，可交换性一般也不成立。Example 2选取??₁(??^????) = ??^?????，??₂(??^????) = 2??^?????，其反解析部分满足线性相关条件??₁ = (1/2)??₂，从而相应Hankel算子可交换。Example 3选取??(??^????) = ??^????? + (1/2)??^?2???? + (1/3)??^?3???? + ?，其反解析部分属于??(??)，由Hartman定理知相应Hankel算子为紧算子且具有无穷秩，该示例展示了紧无穷秩情形下可交换性的刚性特征。

**5. 讨论与结论**

论文的核心结论是：Hardy空间??₂上两个Hankel算子可交换当且仅当其符号的反解析部分线性相关。这一结果通过酉等价实现解决了经典Hankel算子因映射到正交补而无法直接讨论可交换性的根本困难。该结论与Toeplitz算子理论形成鲜明对比——Toeplitz算子类中通常存在大量可交换算子构成的交换代数，而Hankel算子类中可交换性被严格限制为线性相关这一平凡情形。此外，有限秩情形（Corollary 1）与紧算子情形（Corollary 3）均保持同样的刚性特征：非零紧Hankel算子在紧Hankel算子类中的换位子仍为一维的。这一发现揭示了Hankel算子代数结构的固有刚性，为理解Hankel算子在算子理论和函数理论中的角色提供了新的视角，并为相关领域如控制理论和预测理论中的Hankel算子应用提供了代数结构方面的理论基础。该研究成果发表于《Mathematics》期刊。