[论文解读] Functions of bounded mean oscillation and Hankel operators on compact abelian groups

А. Р. Миротин, R.V. Dyba|arXiv (Cornell University)|Feb 22, 2019

Differential Equations and Boundary ProblemsMathematics参考文献 4被引用 19

一句话总结

本文将有界平均振幅函数（BMO）与汉克尔算子推广至具有线性有序特征群的紧阿贝尔群。在对偶群包含最小正元素的假设下，证明了函数属于 BMO(G) 或 BMOA(G) 当且仅当其对应的汉克尔算子有界，将经典结果推广至非交换调和分析框架。

ABSTRACT

Generalization of functions of bounded mean oscillation and Hankel operators to the case of compact abelian groups with linearly ordered dual is considered. Spaces of functions of bounded mean oscillation and of bounded mean oscillation of analytic type on such groups are described in terms of boundedness of corresponding Hankel operators under the assumption that the dual group contains a minimal positive element.

研究动机与目标

• 将有界平均振幅函数（BMO）与汉克尔算子的理论从经典情形（例如圆群）推广至具有线性有序特征群的紧阿贝尔群。
• 在该类群上，通过关联汉克尔算子的有界性来刻画 BMO(G) 与 BMOA(G) 空间。
• 在更广泛的调和分析框架中，推广费弗曼关于 BMO 的对偶定理。
• 通过汉克尔算子上的算子理论条件，建立 BMO 与 BMOA 空间的泛函分析刻画。
• 为在有序阿贝尔群背景下，对经典汉克尔算子理论进行非交换化扩展奠定基础。

提出的方法

• 将 BMO(G) 定义为可表示为 f + ḡ 的函数空间，其中 f, g ∈ L∞(G)，且 ḡ 为 g 的共轭调和函数。
• 将 BMOA(G) 定义为 BMO(G) 与 Hardy 空间 H¹(G) 的交集，代表具有解析型性质的 BMO 函数。
• 引入与函数 φ ∈ L²(G) 关联的汉克尔算子 Hφ，其通过到 H²₋(G) 的正交投影定义。
• 利用正交分解 L²(G) = H²(G) ⊕ H²₋(G) 及投影 P₊ 与 P₋，定义汉克尔算子 Hφ = P₋φ。
• 利用特征群中存在最小正元素的事实，确保正锥 X₊ 与线性序的明确定义。
• 应用谱论与对偶技术，将 Hφ 的有界性与 φ 属于 BMO(G) 或 BMOA(G) 的关系联系起来。

实验结果

研究问题

• RQ1 如何将有界平均振幅函数的概念推广至具有线性有序特征群的紧阿贝尔群？
• RQ2 在该类群上，BMO(G) 与 BMOA(G) 的算子理论刻画为何种形式，以汉克尔算子为依据？
• RQ3 在何种条件下，汉克尔算子的有界性可推出其生成函数属于 BMO(G) 或 BMOA(G)？
• RQ4 经典 BMO 与平均振幅趋于零的函数空间之间的对偶性关系，能否推广至该非交换设置？
• RQ5 特征群中最小正元素的存在在确保有界汉克尔算子与 BMO 函数之间等价性方面起何作用？

主要发现

• 空间 BMO(G) 恰好由满足其关联汉克尔算子 Hφ 有界的函数 φ ∈ L²(G) 构成。
• 空间 BMOA(G) 被刻画为满足 Hφ 有界且 φ ∈ H¹(G) 的函数 φ ∈ L²(G) 的集合。
• 函数 φ ∈ L²(G) 生成有界汉克尔算子 Hφ 当且仅当 P₋φ ∈ BMO(G)，其中 P₋ 为到 H²₋(G) 的投影。
• 若对偶群 X 包含最小正元素，则 G 上每个有界汉克尔算子均可由 L∞(G) 中的符号生成，即存在 g ∈ L∞(G) 使得 Hφ = Hg。
• 通过关联汉克尔算子的算子范数建立了 BMO(G) 中的范数等价性，表明 BMO 范数与 Hφ 的算子范数等价。
• 证明依赖于 X 中最小正元素的存在，以确保正锥的明确定义，并允许在主定理的证明中使用谱论与对偶论证。