[论文解读] Beurling-Malliavin theory for Toeplitz kernels

Nikolai Makarov, Alexei Poltoratski|ArXiv.org|Feb 16, 2007

Holomorphic and Operator Theory参考文献 20被引用 4

一句话总结

本文将 Beurling-Malliavin 理论扩展至 Toeplitz 核，通过计算临界指数 $ c(J,S) $，使得上半平面 Hardy 空间 $ H^2 $ 上的 Toeplitz 算子 $ T_{J\bar{S}^a} $ 的核变为非平凡。该临界值推广了经典 Beurling-Malliavin 公式中指数系完备性半径的结论，其中 $ c(J,S) $ 由 $ S $ 的辐角渐近行为及内函数 $ J $ 决定，为模型空间中的完备性问题提供了新框架。

ABSTRACT

We consider the family of Toeplitz operators $T_{J\bar S^{a}}$ acting in the Hardy space $H^2$ in the upper halfplane; $J$ and $S$ are given meromorphic inner functions, and $a$ is a real parameter. In the case where the argument of $S$ has a power law type behavior on the real line, we compute the critical value $$ c(J,S)=\inf\left\{a: \ker T_{J\bar S^{a}} e0 ight\}.$$ The formula for $ c(J,S)$ generalizes the Beurling-Malliavin theorem on the radius of completeness for a system of exponentials.

研究动机与目标

• 将指数系完备性理论的 Beurling-Malliavin 理论通过 Toeplitz 算子推广至更广泛的特殊函数类。
• 刻画临界值 $ c(J,S) $，使得 $ \ker T_{J\bar{S}^a} \neq 0 $ 当且仅当 $ a > c(J,S) $，推广经典完备性半径公式。
• 建立 Paley-Wiener 空间中完备性问题与含亚纯内函数符号的 Toeplitz 算子核结构之间的联系。
• 证明当 $ a > c(J,S) $ 时，在 $ S $ 满足适当增长条件的假设下，$ J\bar{S}^a $ 的 $ N^p $-核为无限维。

提出的方法

• 作者分析上半平面 Hardy 空间 $ H^2 $ 上作用的 Toeplitz 算子 $ T_{J\bar{S}^a} $，其中 $ J $ 和 $ S $ 为亚纯内函数，且 $ a \in \mathbb{R} $。
• 他们利用模型空间理论，将指数系的完备性问题表示为符号为 $ U = B_\Lambda e^{-2aiz} $ 的 Toeplitz 算子核非平凡的条件，其中 $ B_\Lambda $ 是与 $ \Lambda $ 关联的 Blaschke 乘积。
• 通过对偶性论证和外函数的使用，特别是分析 $ \arg S $ 的调和控制函数的增长，推导出临界指数 $ c(J,S) $。
• 证明依赖于符号的内-外分解以及构造具有受控辐角的有界函数 $ X, Y $，以在 Hölder 型估计下保持核的非平凡性。
• 关键的技术工具是使用 Carleson 型嵌入定理，控制 $ N^p $-核中函数的增长，确保当 $ a > c(J,S) $ 时核为无限维。
• 作者应用 $ \epsilon $-正则化和 Blaschke 乘积的扰动论证，表明在符号的小扰动下非平凡核仍保持存在，从而导出临界阈值。

实验结果

研究问题

• RQ1 临界值 $ c(J,S) $ 是什么，使得 Toeplitz 算子 $ T_{J\bar{S}^a} $ 的核在且仅在 $ a > c(J,S) $ 时变为非平凡？
• RQ2 Beurling-Malliavin 理论在指数系中的应用如何推广至涉及亚纯内函数的 Toeplitz 核？
• RQ3 在 $ S $ 满足何种条件时，特别是当 $ \sigma'(x) \asymp |x|^\kappa $ 时，核 $ \ker T_{J\bar{S}^a} $ 在 $ a > c(J,S) $ 时仍保持非平凡？
• RQ4 在 $ S $ 满足多项式增长假设时，能否建立 $ N^p[J\bar{S}^a] $ 对 $ a > c(J,S) $ 的无限维性？
• RQ5 当 $ N^p $-核在 $ p < \infty $ 时为无限维时，$ N^\infty $-核是否也为无限维？

主要发现

• 临界指数 $ c(J,S) $ 定义为 $ \inf\{a : \ker T_{J\bar{S}^a} \neq 0\} $，并推广了经典 Beurling-Malliavin 公式中指数系完备性半径的结论。
• 当 $ S = e^{i\sigma} $ 且 $ \sigma'(x) \asymp |x|^\kappa $ 时，临界值 $ c(J,S) $ 由 $ \sigma $ 的渐近行为显式确定，推广了经典公式 $ R(\Lambda) = \pi D_{\text{eff}}(\Lambda) $。
• 当 $ a > c(J,S) $ 时，对所有 $ p > 0 $，核 $ N^p[J\bar{S}^a] $ 为无限维，特别地，若 $ S $ 为缓增函数，则 $ N^\infty[J\bar{S}^a] $ 也为无限维。
• 证明通过将符号分解为内部分与外部分，并对所得核应用 Hölder 型估计，确立了 $ N^p[J\bar{S}^a] \neq 0 $ 对 $ a > c(J,S) $ 成立。
• 该结果在 $ S $ 为缓增单位模函数（即 $ S' \in O(|x|^n) $ 当 $ x \to \infty $）的假设下成立，确保相关外函数的有界增长。
• 本文证实，当 $ S $ 为缓增函数时，$ N^p $-核在 $ p < \infty $ 时为无限维，可推出 $ N^\infty $-核也为无限维，其证明基于有界调和控制函数与外函数的构造。