[论文解读] Compactness of Hankel operators with continuous symbols on convex domains

Mehmet Çeli̇k, Sönmez Şahutoğlu+1 more|arXiv (Cornell University)|May 28, 2020

Holomorphic and Operator Theory参考文献 9被引用 5

一句话总结

本文建立了在 $\mathbb{C}^n$ 中有界凸域上，$(0,q-1)$-形式上连续符号的 Hankel 算子紧致性的必要与充分条件，其中 $n \geq 2$。在仅有有限多个此类变体的假设下，证明了此类算子紧致当且仅当符号在边界上的 $q$-维解析（仿射）子流形上全纯。该结果推广了先前对 $C^1$ 符号的研究，并以边界解析结构为依据，对紧致性给出了精确的几何刻画。

ABSTRACT

Let $Ω$ be a bounded convex domain in $\mathbb{C}^{n}$, $n\geq 2$, $1\leq q\leq (n-1)$, and $ϕ\in C(\barΩ)$. If the Hankel operator $H^{q-1}_ϕ$ on $(0,q-1)$--forms with symbol $ϕ$ is compact, then $ϕ$ is holomorphic along $q$--dimensional analytic (actually, affine) varieties in the boundary. We also prove a partial converse: if the boundary contains only `finitely many' varieties, $1\leq q\leq n$, and $ϕ\in C(\barΩ)$ is analytic along the ones of dimension $q$ (or higher), then $H^{q-1}_ϕ$ is compact.

研究动机与目标

• 刻画 $\mathbb{C}^n$ 中有界凸域上，$(0,q-1)$-形式上连续符号的 Hankel 算子的紧致性。
• 确定符号在边界上 $q$-维解析子流形上全纯是否为 Hankel 算子紧致性的必要与充分条件。
• 将先前要求符号具有 $C^1$ 正则性的结果推广至更弱的 $\overline{\Omega}$ 上连续的假设。
• 提供已知必要条件的部分逆命题：若符号在边界上 $q$-维子流形上全纯，且此类子流形仅有有限多个，则 Hankel 算子是紧致的。

提出的方法

• 使用与有界凸域边界上有限个 $q$-维解析子流形的邻域相关的单位分解。
• 在每个子流形上，用在该子流形邻域内全纯的光滑紧支函数，一致逼近连续符号。
• 将 Hankel 算子分解为三部分：一支持于子流形之外，一与全纯逼近函数相关，一与逼近误差相关。
• 应用基于负 Sobolev 空间中算子 $N_q(\overline{\partial}\phi \wedge f)$ 范数的 Hankel 算子紧致性的充分条件。
• 利用 $N_q$ 从 $L^2$ 紧映射到 $W^{-1}$，且 $\overline{\partial}\phi$ 在子流形附近有紧支集的事实，控制 Hankel 算子的范数。
• 利用符号被全纯函数一致逼近以及支集不相交的性质，证明逼近误差可任意小，从而推出紧致性。

实验结果

研究问题

• RQ1 在 $\mathbb{C}^n$ 中有界凸域上，Hankel 算子 $H^{q-1}_\phi$ 在 $(0,q-1)$-形式上紧致，当且仅当符号在边界上 $q$-维解析子流形上全纯，这一条件是否既必要又充分？
• RQ2 是否可将符号的正则性要求从 $C^1(\overline{\Omega})$ 降低至 $C(\overline{\Omega})$，同时保持紧致性刻画不变？
• RQ3 边界上解析子流形的数量在决定 Hankel 算子紧致性方面起什么作用？
• RQ4 即使符号属于 $C(\overline{\Omega})$，Hankel 算子的紧致性是否意味着符号必须在边界上 $q$-维解析子流形上全纯？
• RQ5 能否通过全纯函数逼近与负 Sobolev 空间中的范数估计，验证紧致性的充分条件？

主要发现

• 若 Hankel 算子 $H^{q-1}_\phi$ 在 $(0,q-1)$-形式上紧致，且 $\phi \in C(\overline{\Omega})$，则 $\phi$ 必须在有界凸域 $\Omega \subset \mathbb{C}^n$（$n \geq 2$，$1 \leq q \leq n-1$）边界上的每个 $q$-维解析（仿射）子流形上全纯。
• 反之，若 $\Omega$ 的边界仅包含有限多个 $q$-维解析子流形，且 $\phi \in C(\overline{\Omega})$ 在每个此类子流形（或更高维子流形）上全纯，则 $H^{q-1}_\phi$ 是紧致的。
• 证明使用了符号的分解：一支持于子流形之外（其 Hankel 算子由已知准则保证紧致），一为在子流形附近逼近符号的全纯函数，一为可控的逼近误差项。
• 符号被全纯函数逼近的误差项在算子范数下可任意小，且与逼近函数相关的 Hankel 算子之和为紧致，因此总算子为紧致。
• 该结果通过证明 $\overline{\Omega}$ 上连续性已足够实现紧致性刻画，推广了先前要求符号为 $C^1$ 的工作。
• 本文纠正了先前证明中的几何缺陷，并确立了对于仅有有限多个此类子流形的凸域，全纯性条件对 $H^{q-1}_\phi$ 紧致性而言既必要又充分。