[论文解读] Hilbert-Schmidt Hankel operators with anti-holomorphic symbols on complete pseudoconvex Reinhardt domains

Mehmet Çeli̇k, Yunus E. Zeytuncu|arXiv (Cornell University)|Nov 16, 2015

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

一句话总结

该论文证明，在 ℂ² 中的完全强伪凸 Reinhardt 域上，不存在非零的希尔伯特-施密特 Hankel 算子，其符号为反全纯函数，从而表明此类算子必须恒为零，除非符号为常数。该结果通过利用强伪凸性以及先前工作中的一项关键估计，扩展了此前在单位球与有限型域上的研究，同时构造了显式例子，展示了无界非强伪凸域上存在非零希尔伯特-施密特 Hankel 算子，其符号为反全纯函数。

ABSTRACT

On complete pseudoconvex Reinhardt domains in $\mathbb{C}^2$, we show that there is no nonzero Hankel operator with an anti-holomorphic symbol that is Hilbert-Schmidt. We also present examples of unbounded non-pseudoconvex domains that admit nonzero Hilbert-Schmidt Hankel operators with anti-holomorphic symbols.

研究动机与目标

• 表征在 ℂ² 中的完全强伪凸 Reinhardt 域上，使得 Hankel 算子具有反全纯符号且为希尔伯特-施密特的符号。
• 通过去除有限型假设，将此前在单位球与有限型域上的结果推广至更一般情形。
• 证明强伪凸性是阻止非平凡希尔伯特-施密特 Hankel 算子存在的关键条件。
• 构造无界非强伪凸 Reinhardt 域的显式例子，其中此类算子可为非零。
• 阐明 Bergman 空间结构与单项式基正交性在决定 Hankel 算子希尔伯特-施密特性质中的作用。

提出的方法

• 分析使用了完全 Reinhardt 域上 Bergman 空间 A²(Ω) 的标准正交基 {z^γ / c_γ}，其中 c_γ² = ∫_Ω |z^γ|² dV。
• Hankel 算子 H_̄f 定义为 A²(Ω) 上的 (I−P)(f̄g)，其中 f ∈ A²(Ω)，其希尔伯特-施密特范数通过求和 ∑_γ ||H_̄f(e_γ)||² 计算。
• 证明依赖于先前工作中的关键估计（[3] 中的公式 (4)），并显式利用 Ω 的强伪凸性来控制 Bergman 核系数的增长。
• 作者分析了多指标 α 的和 S_α = ∑_k |c_{(k+α,k+α)}² / c_{(k,k)}² − c_{(k,k)}² / c_{(k−α,k−α)}²|，在强伪凸性下，对非零 α，该和发散。
• 对于反例，论文通过区域 X₁、X₂、X₃ 和 Bₘ 构造了无界非强伪凸域 Ω₀ 和 Ω_k，其中 Bergman 空间由 (z₁z₂)^j 张成。
• 显式计算表明 S_(1,1) ≈ ∑ 1/k²（当 k 较大时），该和收敛，从而证明在 Ω₀ 上，f(z) = z₁z₂ 时 H_̄f 为希尔伯特-施密特。

实验结果

研究问题

• RQ1 在 ℂ² 中的完全强伪凸 Reinhardt 域上，何时 Hankel 算子具有反全纯符号且为希尔伯特-施密特？
• RQ2 在单位球上不存在非平凡希尔伯特-施密特 Hankel 算子的结果，是否可推广至无有限型假设的更一般完全强伪凸 Reinhardt 域？
• RQ3 无界非强伪凸 Reinhardt 域是否可支持非零希尔伯特-施密特 Hankel 算子，其符号为反全纯函数？
• RQ4 Bergman 空间与单项式基的哪些结构性质导致 Hankel 算子希尔伯特-施密特范数的收敛或发散？
• RQ5 ∂̄-问题的典则解算子与这些域上 Hankel 算子的希尔伯特-施密特性质有何关联？

主要发现

• 在 ℂ² 中的任意完全强伪凸 Reinhardt 域上，使得 H_̄f 为希尔伯特-施密特的唯一符号 f ∈ A²(Ω) 是常数函数。
• 该证明依赖于对非零多指标 α，S_α 的发散性，其源于 Ω 的强伪凸性及 [3] 中的关键估计 (4)。
• 对于无界非强伪凸域 Ω₀ = X₁ ∪ X₂ ∪ X₃，Bergman 空间 A²(Ω₀) 为无限维，且由 {(z₁z₂)^j}_{j=0}^∞ 张成。
• 在 Ω₀ 上，当 f(z) = z₁z₂ 时，Hankel 算子 H_̄f 为希尔伯特-施密特，因为 S_(1,1) 渐近收敛于 ∑ 1/k²。
• 在有限维情形 Ω_k 中，由于定义域为有限维，对任意 f ∈ A²(Ω_k)，Hankel 算子 H_̄f 均为希尔伯特-施密特。
• 在完全强伪凸 Reinhardt 域上，∂̄-问题在 (0,1)-型形式（具有全纯系数）上的典则解算子不是希尔伯特-施密特算子，因其可分解为若干非希尔伯特-施密特 Hankel 算子之和。