[论文解读] Operator Monotone Functions: Characterizations and Integral Representations

Pattrawut Chansangiam|arXiv (Cornell University)|May 11, 2013

Mathematical Inequalities and Applications参考文献 10被引用 3

一句话总结

本文对算子单调函数进行了全面综述，通过差商矩阵和Hansen-Pedersen条件建立了其表征。主要贡献在于利用Borel测度在$[0,\infty)$上给出了算子单调函数的完整积分表示，表明它们是基本函数$t \mapsto \frac{t(1+\xi)}{t+\xi}$的凸组合，且表示测度具有唯一性。

ABSTRACT

Operator monotone functions, introduced by Lowner in 1934, are an important class of real-valued functions. They arise naturally in matrix and operator theory and have various applications in other branches of mathematics and related fields. This concept is closely related to operator convex/concave functions. In this paper, we provide their important examples and characterizations in terms of matrix of divided differences. Various characterizations and the relationship between operator monotonicity and operator convexity are given by Hansen-Pedersen characterizations. Moreover, operator monotone functions on the nonnegative reals have special properties, namely, they admit integral representations with respect to suitable Borel measures.

研究动机与目标

• 提供算子单调函数及其在矩阵与算子理论中作用的统一综述。
• 利用差商矩阵的性质建立算子单调性的表征。
• 通过Hansen-Pedersen条件阐明算子单调性与算子凸性之间的关系。
• 推导并证明在$[0,\infty)$上算子单调函数的Borel测度积分表示。
• 展示此类函数表示测度的唯一性与构造方法。

提出的方法

• 通过所有$n \in \mathbb{N}$的差商矩阵正定性来表征算子单调函数。
• 应用Hansen-Pedersen表征，通过函数演算与谱分解将算子单调性与算子凸性关联。
• 通过Cayley变换$t = \frac{1+x}{1-x}$将$[0,\infty)$上的函数映射到$(-1,1)$区间，以利用已知的积分表示结果。
• 利用Krein-Milman定理及$[-1,1]$上概率测度的弱-*紧性，将函数表示为在极端点$\phi_\lambda(x) = \frac{x}{1 - \lambda x}$上的积分。
• 应用Riesz-Markov-Kakutani表示定理，通过多项式上的矩等式确保表示测度的唯一性。
• 将所得积分变换回原始定义域$[0,\infty)$，得到表示式$f(t) = \int_{[0,\infty]} \frac{t(1+\xi)}{t+\xi} \, dm(\xi)$。

实验结果

研究问题

• RQ1 如何通过所有$n$的差商矩阵表征算子单调函数？
• RQ2 Hansen-Pedersen条件所捕捉的算子单调性与算子凸性之间的精确关系是什么？
• RQ3 每个$[0,\infty)$上的算子单调函数是否都能表示为基本算子单调函数的积分？
• RQ4 此类积分表示中表示Borel测度的唯一性条件是什么？
• RQ5 通过Cayley映射的变换如何促进积分表示的推导？

主要发现

• 每个$[0,\infty)$上的算子单调函数都存在唯一的积分表示形式$f(t) = \int_{[0,\infty]} \frac{t(1+\xi)}{t+\xi} \, dm(\xi)$，其中$m$是$[0,\infty]$上的Borel概率测度。
• 表示测度$m$是唯一的，这由所有矩$\int \xi^k \, dm(\xi)$对$k \in \mathbb{N}_0$的相等性及Stone-Weierstrass定理所确立。
• 基本函数$t \mapsto \frac{t(1+\xi)}{t+\xi}$作为$[0,\infty)$上所有算子单调函数的构建块，构成此类函数凸集的极端点。
• 对于$p \in (0,1)$，函数$t \mapsto t^p$具有已知的积分表示，其密度为$\frac{\sin p\pi}{\pi} \cdot \frac{\xi^{p-1}}{1+\xi}$，与一般框架一致。
• 变换$x = \frac{1-t}{1+t}$将$[0,\infty)$映射到$(-1,1)$，从而可利用关于Pick函数及其积分表示的已知结果。
• 证明依赖于测度的弱-*收敛性及Riesz表示定理，以确保函数的逐点收敛蕴含其表示测度的收敛。