[论文解读] Löwner's Theorem in several variables

Miklós Pálfia|arXiv (Cornell University)|May 20, 2014

Mathematical Inequalities and Applications参考文献 37被引用 8

一句话总结

本文建立了 Löwner 经典定理在多变量非交换情形下的推广，将多变量算子单调函数刻画为从上算子多半个平面解析延拓至上算子半个平面的自由函数。通过非交换拓扑、矩阵凸性及线性矩阵不等式（LMIs），推导出一种新颖的积分公式，将算子单调且凹的自由函数表示为张量积算子代数上某个线性矩阵束的舒尔补的条件期望——为这类算子平均（包括 Karcher 平均）提供了首个闭式表达式。

ABSTRACT

In this paper we establish a multivariable non-commutative generalization of Löwner's classical theorem from 1934 characterizing operator monotone functions as real functions admitting analytic continuation mapping the upper complex half-plane into itself. The non-commutative several variable theorem proved here characterizes several variable operator monotone functions, not assumed to be free analytic or even continuous, as free functions that admit free analytic continuation mapping the upper operator poly-halfspace into the upper operator halfspace over an arbitrary Hilbert space. We establish a new abstract integral formula for them using non-commutative topology, matrix convexity and LMIs. The formula represents operator monotone and operator concave free functions as a conditional expectation of a Schur complement of a linear matrix pencil on a tensor product operator algebra. This formula is new even in the one variable case. The results can be applied to any of the various multivariable operator means that has been constructed in the last three decades or so, including the Karcher mean. Thus we obtain an explicit, closed formula for these operator means of several positive operators.

研究动机与目标

• 将 Löwner 于 1934 年关于算子单调函数的定理推广至多变量、非交换情形。
• 在不假设先验解析性或连续性的情况下，刻画在多个非交换变量中为算子单调的自由函数。
• 利用非交换拓扑与矩阵凸性，推导算子单调及算子凹自由函数的新积分表示公式。
• 通过线性矩阵束的舒尔补，为多变量算子平均（包括 Karcher 平均）提供闭式表达式。
• 建立此类函数从有界算子元组到上算子多半个平面的强算子连续性与自由解析延拓。

提出的方法

• 运用非交换拓扑与自由函数理论，定义并分析上算子多半个平面 Π^k 上的自由函数。
• 应用矩阵凸性与线性矩阵不等式（LMIs），刻画算子单调函数的定义域与值域。
• 推导出一种新的积分公式，将算子单调且凹的自由函数表示为张量积算子代数上某个线性矩阵束的舒尔补的条件期望。
• 利用非交换幂级数展开，确保在定义域内开球上的一致收敛性与解析延拓。
• 利用莫比乌斯变换将有界实区间映射至 (0, ∞)，从而在解析延拓中简化为正 definite 情形。
• 借助强算子连续性与有限秩算子的逼近，将结果从可分希尔伯特空间推广至非可分希尔伯特空间。

实验结果

研究问题

• RQ1 如何在不先验假设解析性的情况下，将 Löwner 的经典单变量算子单调性定理推广至多个非交换算子变量？
• RQ2 在多个非交换变量中为算子单调且可自由解析延拓至上算子多半个平面的自由函数，其精确刻画为何？
• RQ3 能否利用非交换分析与矩阵不等式，为多变量算子单调且凹的自由函数推导出闭式积分表示？
• RQ4 此类表示如何被应用于以非迭代、解析方式显式计算已知的多变量算子平均（如 Karcher 平均）？
• RQ5 在非交换算子代数设定下，条件期望与线性矩阵束的舒尔补在表示这些函数时起何作用？

主要发现

• 本文完整刻画了多变量算子单调函数为从上算子多半个平面 Π^k 解析延拓至上算子半个平面 Π 的自由函数。
• 推导出一种新的积分公式，将算子单调且算子凹的自由函数表示为张量积算子代数上某个线性矩阵束的舒尔补的条件期望。
• 该公式对所有希尔伯特空间（包括非可分情形）均成立，且在强算子连续性下成立，后者通过有限秩算子逼近得以证明。
• 该表示在不同参数选择下保持一致，并通过非交换幂级数收敛性统一扩展至整个定义域。
• 该方法可实现多变量算子平均（如 Karcher 平均）的显式、闭式计算，避免使用梯度下降或牛顿型等迭代数值方法。
• 结果推广了此前关于具有正实部的自由解析函数的研究，并为非交换分析中的算子平均提供了非迭代、解析的框架。