自由函数的 Toeplitz Corona 与 Douglas 性质

著名的 Douglas 引理指出，对于 Hilbert 空间上的算子 $A,B$，若 $AA^*-BB^*\succeq 0$，则存在某个压缩算子 $C$ 使得 $B=AC$。该结果通过将算子替换为 Toeplitz 算子，可直接推广至经典的算子值 Toeplitz 算子。自由函数推广了自由多项式和形式幂级数的概念，其渊源可追溯至 1970 年代 J. Taylor 的工作。由于它们与自由概率论和工程系统理论的联系，目前备受关注。对于定义在由自由多项式不等式定义的自由域 $\cK$ 上的自由函数 $a$ 和 $b$，本文建立了关于差值 $aa^*-bb^*$ 的一个充分条件，以保证存在一个在 $\cK$ 上取压缩值的自由函数 $c$ 使得 $a=bc$。此外，还阐述了其与 Agler 和 McCarthy 近期工作及其自由 Toeplitz Corona 定理的联系。