[论文解读] Free holomorphic functions on the unit ball of B(H)^n

Gelu Popescu|ArXiv.org|May 9, 2006

Holomorphic and Operator Theory被引用 11

一句话总结

本文提出了一种在 $B(H)^n$ 的单位球上自由全纯函数的理论，将经典全纯函数理论推广至非交换设置。它建立了基础性结果，包括非交换柯西与泊松变换、自由解析泛函演算，以及自由全纯函数代数的普遍性质，关键贡献在于非交换冯诺依曼不等式和 Hardy 空间同构。

ABSTRACT

We develop a theory of holomorphic functions in several noncommuting (free) variables and thus provide a framework for the study of arbitrary n-tuples of operators. The main topics are the following: Free holomorphic functions and Hausdorff derivations; Cauchy, Liouville, and Schwartz type results for free holomorphic functions; Algebras of free holomorphic functions; Free analytic functional calculus and noncommutative Cauchy transforms; Weierstrass and Montel theorems for free holomorphic functions; Free pluriharmonic functions and noncommutative Poisson transforms; Hardy spaces of free holomorphic functions.

研究动机与目标

• 发展多变量非交换变量中全纯函数的完整理论，将经典复分析推广至非交换算子设置。
• 基于非交换幂级数与算子范数，为希尔伯特空间上有界算子的 $n$ 元组建立自由解析泛函演算。
• 利用自由全纯函数，将经典结果如柯西估计、刘维尔定理和冯诺依曼不等式推广至非交换设置。
• 定义并研究自由全纯函数的巴拿赫代数，包括 $H^∞$ 和 $A$-代数，具有自然的算子空间结构。
• 引入并分析非交换泊松与柯西变换，将其与自由全纯调和函数及非交换单位球上的 Hardy 空间联系起来。

提出的方法

• 为 $n$ 个非交换不定元 $Z_1, \dots, Z_n$ 的形式幂级数定义收敛半径，将哈达玛公式与阿贝尔定理推广至非交换设置。
• 将自由全纯函数代数 $\mathrm{Hol}(B(H)^n_1)$ 定义为收敛半径 $\geq 1$ 的幂级数集合，赋予其对严格压缩表示的普遍性质。
• 将霍尔斯特德导子 $\partial/\partial Z_i$ 从非交换多项式扩展至整个自由全纯函数代数。
• 建立非交换柯西估计，并证明整个自由全纯函数的刘维尔型定理。
• 通过 Fock 空间上的创造算子构造非交换泊松与柯西变换，将其与自由全纯调和函数及 Hardy 空间联系起来。
• 定义对称自由全纯函数与巴拿赫空间 $H^\infty_{\mathrm{sym}}(\mathbb{B}_n)$，证明其完备性，并与非交换 $F_n^\infty$ 代数同构。

实验结果

研究问题

• RQ1 如何将全纯函数理论推广至多变量非交换算子变量？
• RQ2 在多变量算子理论中，柯西积分公式与泊松核的适当非交换类比是什么？
• RQ3 能否为满足行压缩条件的非交换算子 $n$ 元组构造自由解析泛函演算？
• RQ4 像刘维尔定理、施瓦茨引理与冯诺依曼不等式等经典结果的非交换类比是什么？
• RQ5 在非交换单位球上，对称自由全纯函数如何与 Hardy 空间及算子代数相关联？

主要发现

• 在开算子单位球上，自由全纯函数代数 $\mathrm{Hol}(B(H)^n_1)$ 定义良好，由收敛半径 $\geq 1$ 的幂级数构成，形成具有普遍性质的巴拿赫代数。
• 任何严格压缩表示 $\pi: \mathbb{C}\langle Z_1,\dots,Z_n\rangle \to B(H)$ 均可唯一地延拓为 $\mathrm{Hol}(B(H)^n_1)$ 上的连续同态，从而确立了普遍泛函演算。
• 证明了非交换版本的施瓦茨引理：若 $f$ 在 $[B(H)^n]_1$ 上为自由全纯函数，$\|f\|_\infty \leq 1$，且 $f(0) = 0$，则 $\|f(X_1,\dots,X_n)\| \leq \|[X_1,\dots,X_n]\|$，且 $\sum_{i=1}^n \left|\frac{\partial f}{\partial X_i}(0)\right|^2 \leq 1$。
• 巴拿赫空间 $H^\infty_{\mathrm{sym}}(\mathbb{B}_n)$ 上的对称自由全纯函数与非交换 $F_n^\infty$ 代数完全等距同构，且对 $r < 1$，有 $\|f\|_{\mathrm{sym}} = \|f_{\mathrm{sym}}(rS_1,\dots,rS_n)\|_{\infty}$。
• 对于联合谱半径 $< 1$ 的交换 $n$ 元组 $T = (T_1,\dots,T_n)$，泛函演算 $f \mapsto f(T_1,\dots,T_n)$ 定义良好且连续，满足 $\|f(T)\| \leq M\|f\|_{\mathrm{sym}}$，其中 $M = \sum_{k=0}^\infty \left\| \sum_{|\alpha|=k} T_\alpha T_\alpha^* \right|^{1/2}$。
• 通过 Fock 空间上的创造算子构造了非交换泊松与柯西变换，从而可定义自由全纯调和函数，并将其与非交换设置下的 Hardy 空间理论联系起来。