[论文解读] Test Functions, Kernels, Realizations and Interpolation

Michael A. Dritschel, Scott McCullough|ArXiv.org|Dec 20, 2006

Holomorphic and Operator Theory参考文献 17被引用 14

一句话总结

本文将阿格勒的实现与插值定理推广至由测试函数及其对偶再生核定义的函数代数，引入一种通过斯通-切赫紧化处理无限测试函数族的框架。它建立了冯·诺伊曼型不等式，并表明可通过测试函数生成代数的表示实现收缩函数，从而解决了无限多圆盘和环形乘子代数等情形中的障碍。

ABSTRACT

Jim Agler revolutionized the area of Pick interpolation with his realization theorem for what is now called the Agler-Schur class for the unit ball in $\mathbb C^d$. We discuss an extension of these results to algebras of functions arising from test functions and the dual notion of a family of reproducing kernels, as well as the related interpolation theorem. When working with test functions, one ideally wants to use as small a collection as possible. Nevertheless, in some situations infinite sets of test functions are unavoidable. When this is the case, certain topological considerations come to the fore. We illustrate this with examples, including the multiplier algebra of an annulus and the infinite polydisk.

研究动机与目标

• 将阿格勒的实现与插值定理推广至有限测试函数之外的无限族。
• 解决在函数代数中使用无限组测试函数时出现的拓扑挑战。
• 建立以测试函数表示形式表达的收缩函数的冯·诺伊曼型不等式。
• 证明测试函数生成代数中的表示可被仅涉及有限个测试函数的“简单表示”逼近。
• 阐明斯通-切赫紧化在解决无限维情形下核因式分解障碍中的作用。

提出的方法

• 利用测试函数与再生核之间的对偶性，将函数代数定义为乘子代数的交集。
• 应用酉耦合与转移函数的概念，通过算子模型实现以收缩函数表示。
• 引入广义核因式分解：$1 - f(z)f(w)^* = \sum \Gamma_n(z,w)(1 - \psi_n(z)\psi_n(w)^*)$，其中$\psi_n$为测试函数。
• 使用斯通-切赫紧化$\beta\Psi$扩展评价泛函，并在有限和失效时定义正核$\Gamma$。
• 利用$C_b(\Psi)^*$中的正核$\Gamma_n$及其极限，处理无限情形下的收敛性与正定性。
• 将理论应用于具体例子，包括无限多圆盘和环形乘子代数，以说明拓扑障碍。

实验结果

研究问题

• RQ1 阿格勒型实现与插值定理能否推广至由无限族测试函数定义的代数？
• RQ2 当测试函数为无限组时，为确保正核因式分解存在，需要哪些拓扑或紧化技术？
• RQ3 斯通-切赫紧化如何解决无限多圆盘等情形下核因式分解的失败？
• RQ4 乘子代数中的收缩函数能否通过测试函数生成代数的表示实现？
• RQ5 测试函数需满足何种条件才能保证关联的核因式分解存在，以及标准有限和构造在何时会失效？

主要发现

• 在无限多圆盘情形，标准有限和核因式分解会失败，但通过将测试函数集扩展至斯通-切赫紧化$\beta\Psi$中的点，可恢复该因式分解。
• 在例1中，对于$\psi_n(z) = \sqrt{1 - 1/n}z$，不存在正核$\Gamma_n$可将$1 - zw^*$因式分解为$\psi_n$形式，但当通过$\beta\Psi$加入$\psi_\infty(z) = z$后，此类因式分解即存在。
• 在两点空间上定义的函数$\tilde{\psi} = 1 - \psi$是收缩的，但无法通过正核$\Gamma$实现，因其违反了测试函数条件，说明必须验证测试函数公理的必要性。
• 引理5.5的证明表明，假设存在有限和因式分解将导致矛盾，因为右侧无法匹配左侧的常数的秩一矩阵$[1]$。
• 广义因式分解中的核$\Gamma$可取为$C_b(\Psi)^*$中的点评价，具体为$\gamma(e) = e(\psi_\infty)$，从而解决因式分解失败的问题。
• 该理论允许即使在完整族为无限时，仍通过仅涉及有限个测试函数的“简单表示”逼近表示。