[论文解读] Onto Interpolating Sequences for the Dirichlet Space

Nicola Arcozzi, Richard Rochberg+1 more|arXiv (Cornell University)|May 9, 2016

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

一句话总结

本文引入了Dirichlet空间中两类新的满射插值序列，解决了Bishop长期提出的问题。通过树容量和Böe空间方法，建立了此类序列的完整刻画，证明了弱简单条件在Dirichlet空间设定下既是满射插值的必要条件也是充分条件。

ABSTRACT

We describe two new classes of onto interpolating sequences for the Dirichlet space, in particular resolving a question of Bishop. We also give a complete description of the analogous sequences for a discrete model of the Dirichlet space.

研究动机与目标

• 解决Bishop关于Dirichlet空间中存在新类满射插值序列的问题。
• 通过基于树的容量条件，对Dirichlet空间的离散模型中的满射插值序列提供完整刻画。
• 建立Dirichlet空间中满射插值的弱简单条件的必要性与充分性，并阐明其与Böe空间插值的关联。
• 通过将极小函数、停止估计和单位圆盘中的树结构联系起来，统一并扩展现有插值序列结果。
• 证明分离性与弱简单条件共同蕴含树容量条件，从而以几何与分析约束刻画插值。

提出的方法

• 作者在单位圆盘上使用二进制树结构来建模插值问题，利用树容量分析插值点的分布。
• 通过定义具有不相交支集的极小函数来控制插值范数，并推导出限制再生核增长的停止估计。
• 关键技术在于通过扰动论证和重叠受控的Böe函数，构造限制映射 $ \mathcal{U} $ 的有界线性右逆算子 $ S' $。
• 证明依赖于验证 $ \|\mathcal{U}S' - \text{id}\| < 1/2 $，从而推出 $ \mathcal{U}S' $ 的可逆性，确保有界右逆的存在。
• 通过反证法证明弱简单条件的必要性，利用 $ \|\mu_Z\| $ 的有限性以及 $ \sum (1 - |z_j|^2)^\sigma $ 对 $ \sigma > 0 $ 的衰减性。
• 作者将命题7应用于分支数至多为2的二叉树，将分离条件与测度可积性联系起来，从而可应用基于容量的判别准则。

实验结果

研究问题

• RQ1 一个序列在Dirichlet空间中成为满射插值序列的必要与充分条件是什么？
• RQ2 树容量与极小函数如何与Dirichlet空间中的插值问题相关联？
• RQ3 在Dirichlet空间的Böe空间模型中，弱简单条件对满射插值是否必要？
• RQ4 在Dirichlet空间设定下，分离条件与弱简单条件能否共同推出树容量条件？
• RQ5 具有不相交支集的Böe函数在构造限制映射的有界右逆中起什么作用？

主要发现

• 本文构造了Dirichlet空间中两类新的满射插值序列，解决了Bishop遗留的开放问题。
• 证明了在分离性假设下，弱简单条件是Dirichlet空间中序列成为满射插值序列的必要且充分条件。
• 作者证明了分离性与弱简单条件共同蕴含树容量条件，从而以几何测度条件刻画了插值。
• 对于Dirichlet空间的离散模型，通过基于树的容量与极小函数技术，实现了对满射插值序列的完整刻画。
• 证明表明，限制映射 $ \mathcal{U} $ 允许有界右逆当且仅当弱简单条件成立，且该右逆通过基算子 $ S $ 的扰动构造而成。
• 在Böe空间设定下，弱简单条件的必要性通过 $ \sum (1 - |z_j|^2)^\sigma $ 的衰减性及对分支数有界的二叉树应用命题7得以证明。