[论文解读] Compact embeddings of model subspaces of the Hardy space

Anton Baranov|arXiv (Cornell University)|Dec 5, 2007

Holomorphic and Operator Theory参考文献 21被引用 12

一句话总结

本文建立了 Hardy 空间 $H^p$ 的模型子空间 $K^p_\Theta$ 到 $L^p(\mu)$ 的紧嵌入准则，推广了 Volberg–Treil 定理中关于有界嵌入的结果。关键结果给出了使嵌入紧致的测度 $μ$ 的必要且充分条件，结合了 Bernstein 不等式与内函数 $Θ$ 的几何分析，解决了 Cima 和 Matheson 提出的关于紧嵌入的问题。

ABSTRACT

We study embeddings of model (star-invariant) subspaces $K^p_Θ$ of the Hardy space $H^p$, associated with an inner function $Θ$. We obtain a criterion for the compactness of the embedding of $K^p_Θ$ into $L^p(μ)$ analogous to the Volberg--Treil theorem on bounded embeddings and answer a question posed by Cima and Matheson. The proof is based on Bernstein inequalities for functions in $K^p_Θ$. Also we study measures $μ$ such that the embedding operator belongs to a Schatten--von Neumann ideal.

研究动机与目标

• 刻画使得嵌入 $K^p_\Theta \subset L^p(\mu)$ 紧致的测度 $\mu$，将 Volberg–Treil 定理从有界嵌入推广至紧嵌入。
• 解决 Cima 和 Matheson 关于模型子空间紧嵌入提出的问题。
• 通过 Carleson 型条件，建立内函数 $\Theta$ 的几何性质与 $\mu$ 的可积性之间的联系。
• 分析嵌入算子在 Schatten–von Neumann 类中的成员资格，特别是当 $r \geq 1$ 时。
• 通过结合 dyadic 分解、层次集几何与 $K^p_\Theta$ 中的核估计，提供紧致性的精确准则。

提出的方法

• 证明依赖于 $K^p_\Theta$ 中函数的 Bernstein 型不等式，该不等式以函数范数控制其导数的增长。
• 作者将单位圆盘进行 dyadic 分解，划分为 dyadic 方形 $R_{n,m}$，并分析其与层次集 $\Omega(\Theta,\varepsilon) = \{z \in \mathbb{D} : |\Theta(z)| < \varepsilon\}$ 的距离。
• 他们定义了类 $\mathcal{R}(\varepsilon, A)$ 的方格，其与 $\Omega(\Theta,\varepsilon)$ 的距离与自身尺寸相当，从而将几何接近性与测度衰减联系起来。
• 通过 Schatten–von Neumann 算子理想 $\mathcal{S}_r$ 分析嵌入算子的紧致性，利用 Luecking 定理将 Schatten 范数与相关方格上 $\mu(R_{n,m})$ 的可和性联系起来。
• 关键估计通过再生核 $k_z$ 得到，其中当 $z \in S(I_n)$ 时有 $k_z(z) \asymp |I_n|^{-1}$，且当 $w_n \in S(I_n)$ 时有 $\|k_{w_n}\|_2^2 \asymp |I_n|^{-1}$。
• 通过 Parfenov 定理及构造具有受控 $L^2$-范数与逐点下界测试函数 $k_{w_n}$，证明了条件的必要性。

实验结果

研究问题

• RQ1 对于 $\overline{\mathbb{D}}$ 上的 Borel 测度 $\mu$，在何种条件下，给定内函数 $\Theta$ 的嵌入 $K^p_\Theta \subset L^p(\mu)$ 是紧致的？
• RQ2 层次集 $\Omega(\Theta,\varepsilon)$ 的几何结构如何影响嵌入算子的紧致性？
• RQ3 Volberg–Treil 的有界嵌入准则能否推广至紧嵌入情形？若能，需满足何种细化条件？
• RQ4 嵌入算子在 Schatten–von Neumann 类中的成员资格与 $\mu$ 在靠近 $\Theta$ 的谱的 dyadic 方格上的衰减之间存在何种精确关系？
• RQ5 该紧致性准则是否依赖于指数 $p$，特别是当 $\Theta$ 不属于 $CLS$ 类时？

主要发现

• 嵌入 $K^p_\Theta \subset L^p(\mu)$ 紧致当且仅当 $\mu$ 满足以下两个条件：(1) 对所有 $n$ 有 $\mu(S(I_n)) \lesssim |I_n|$，(2) $\sum_n \left( \mu(S(I_n)) / |I_n| \right)^{r/2} < \infty$，其中 $\{I_n\}$ 是满足 $\text{dist}(I_n, \sigma(\Theta)) \geq |I_n|$ 的最大弧。
• 当 $\Theta \in \text{CLS}$ 时，紧致性准则简化为一个趋于零的 Carleson 型条件；但对于一般 $\Theta$，该条件依赖于 dyadic 分解与到层次集 $\Omega(\Theta,\varepsilon)$ 的距离。
• 再生核 $k_z$ 满足：当 $z \in S(I_n)$ 时有 $k_z(z) \asymp |I_n|^{-1}$，且当 $w_n \in S(I_n)$ 时有 $\|k_{w_n}\|_2^2 \asymp |I_n|^{-1}$，这对范数估计至关重要。
• 嵌入算子属于 Schatten–von Neumann 类 $\mathcal{S}_r$ 当且仅当 $\sum_{R_{n,m} \cap G \neq \emptyset} (2^n \mu(R_{n,m}))^{r/2} < \infty$，其中 $G = \mathbb{D} \setminus \bigcup_n S(I_n)$。
• 通过 Parfenov 定理，证明了条件 $\sum_n (\mu(S(I_n)) / |I_n|)^{r/2} < \infty$ 的必要性，使用了具有受控 $L^2$-范数与逐点下界的测试函数 $k_{w_n}$。
• 该结果推广了 Parfenov 在 Paley–Wiener 空间上的定理，表明上半平面情形中 $\mu([n,n+1])$ 的可和性条件，对应于圆盘情形中 $\mu(S(I_n))$ 的衰减。