[论文解读] Spectral theory of multiplication operators on Hardy-Sobolev spaces

Guangfu Cao, Li He+1 more|arXiv (Cornell University)|Sep 7, 2017

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

一句话总结

本文确定了在复 $ n $ 维单位球上的 Hardy-Sobolev 空间 $ H^2_\beta $ 上乘法算子的谱和紧谱，表明谱为 $ \varphi(\mathbb{B}_n) $ 的闭包，而紧谱为所有 $ r \in (0,1) $ 的 $ \varphi(\mathbb{B}_n \setminus r\mathbb{B}_n) $ 的闭包的交集。此外，本文发展了 Fredholm 理论，证明当 $ n > 1 $ 时 Fredholm 指标恒为零，而在一维情形下由环绕数决定。

ABSTRACT

For a pointwise multiplier $φ$ of the Hardy-Sobolev space $H^2_β$ on the open unit ball $\bn$ in $\cn$, we study spectral properties of the multiplication operator $M_φ: H^2_β o H^2_β$. In particular, we compute the spectrum and essential spectrum of $M_φ$ and develop the Fredholm theory for these operators.

研究动机与目标

• 刻画乘法算子 $ M_\varphi $ 在 Hardy-Sobolev 空间 $ H^2_\beta $ 上的谱与紧谱，其中 $ \varphi \in \mathcal{M}_\beta $。
• 发展这些算子的 Fredholm 理论，特别是确定 $ M_\varphi $ 为 Fredholm 的条件并计算其指标。
• 解决 $ H^2_\beta $ 中非平凡的谱行为，尤其是当标准方法因基于导数的范数而失效时，如 Drury-Arveson 空间与 Dirichlet 空间的情形。
• 阐明径向导数 $ R^\beta $ 在空间定义中的作用，及其对乘子理论与谱性质的影响。

提出的方法

• 将 $ H^2_\beta $ 定义为满足其 $ \beta $ 阶径向导数属于经典 Hardy 空间 $ H^2 $ 的全纯函数空间，配备内积 $ \langle f,g \rangle_\beta = f(0)\overline{g(0)} + \langle R^\beta f, R^\beta g \rangle_{H^2} $。
• 利用分数阶径向导数 $ R^\beta f = \sum_{k=1}^\infty k^\beta f_k(z) $，其中 $ f_k $ 为齐次分量，来定义范数与内积。
• 利用闭图像定理证明 $ \varphi \in \mathcal{M}_\beta $ 蕴含 $ M_\varphi $ 有界。
• 利用当 $ |\lambda - \varphi| \geq \delta > 0 $ 时 $ 1/(\lambda - \varphi) $ 为乘子的事实，证明 $ M_\varphi $ 的谱为 $ \overline{\varphi(\mathbb{B}_n)} $。
• 通过在边界附近 $ R^\beta \psi $ 的逼近与消失条件，推导出紧谱为 $ \bigcap_{0<r<1} \overline{\varphi(\mathbb{B}_n \setminus r\mathbb{B}_n)} $。
• 结合 Bergman 空间与 Hardy 空间理论，以及对 $ R^\beta \psi $ 的 $ L^2 $-范数估计，控制收敛性并证明极限下某些积分的消失。

实验结果

研究问题

• RQ1 在 Hardy-Sobolev 空间 $ H^2_\beta $ 上，乘法算子 $ M_\varphi $ 的谱是什么？
• RQ2 紧谱是什么？在高维情形下，它与谱有何不同？
• RQ3 在何种条件下 $ M_\varphi $ 为 Fredholm？其 Fredholm 指标为何？
• RQ4 为何在 $ H^2_\beta $ 中谱结果是非平凡的，特别是当范数依赖于函数的导数而非函数本身时？
• RQ5 在维度 $ n > 1 $ 时，Fredholm 指标如何表现？为何其恒为零？

主要发现

• 在 $ H^2_\beta $ 上，$ M_\varphi $ 的谱为复平面上 $ \varphi(\mathbb{B}_n) $ 的闭包。
• 在 $ H^2_\beta $ 上，$ M_\varphi $ 的紧谱为 $ \bigcap_{0<r<1} \overline{\varphi(\mathbb{B}_n \setminus r\mathbb{B}_n)} $，反映了其在边界附近的行为。
• 当 $ n > 1 $ 时，紧谱与谱重合，即 $ \sigma_e(M_\varphi) = \overline{\varphi(\mathbb{B}_n)} $，这是纯粹的高维现象。
• $ M_\varphi $ 为 Fredholm 当且仅当存在 $ r \in (0,1) $ 与 $ \delta > 0 $，使得对所有满足 $ |z| \geq r $ 的 $ z $，有 $ |\varphi(z)| \geq \delta $。
• 当 $ n > 1 $ 时，若 $ M_\varphi $ 为 Fredholm，则其 Fredholm 指标恒为零。
• 当 $ n = 1 $ 时，$ M_\varphi $ 的 Fredholm 指标等于 $ \varphi(re^{it}) $ 沿单位圆绕零点的环绕数。