[论文解读] Operator monotone functions of several variables

Frank Hansen|ArXiv.org|May 14, 2002

Numerical methods in inverse problems参考文献 8被引用 5

一句话总结

本文引入了多变量函数的算子单调性这一新概念，将其从单变量函数的经典概念推广至多变量情形。它建立了基本等价关系：一个函数是算子凸函数且在定义域边界上取值为零，当且仅当其倒数积变换是算子单调的，从而将单变量算子理论中的关键对偶性推广至多变量算子理论。

ABSTRACT

We propose a notion of operator monotonicity for functions of several variables, which extends the well known notion of operator monotonicity for functions of only one variable. The notion is chosen such that a fundamental relationship between operator convexity and operator monotonicity for functions of one variable is extended also to functions of several variables.

研究动机与目标

• 将经典算子单调性的概念从单变量推广至多变量函数，同时保持关键对偶定理的成立。
• 为作用于张量积希尔伯特空间上自伴算子元组的多变量函数定义函数演算。
• 建立算子凸性与算子单调性之间基本定理的多变量类比。
• 通过在张量积上利用谱测度定义函数演算，解决非交换算子的问题。
• 证明在所有指标下算子单调性等价，确保多变量情形下的一致性。

提出的方法

• 通过希尔伯特空间张量积上的谱测度，为多变量函数定义函数演算，从而实现对非交换自伴算子 x₁,…,xₖ 的 f(x₁,…,xₖ) 的计算。
• 通过不等式 f(λx + (1−λ)y) ≤ λf(x) + (1−λ)f(y) 对所有 λ ∈ [0,1] 及算子元组定义多变量函数的算子凸性。
• 提出变换 g(r₁,…,rₖ) = r₁⁻¹⋯rₖ⁻¹ f(r₁,…,rₖ)，以建立算子凸性与算子单调性之间的联系。
• 证明若 f 连续且为算子凸函数，且当任意 rᵢ = 0 时 f(r₁,…,rₖ) ≤ 0，则 g 为算子单调。
• 使用逼近技巧和矩阵不等式（包括矩阵的詹森不等式）建立矩阵凸性与单调性。
• 证明算子单调性与指标选择无关，从而在所有指标下保持一致的定义。

实验结果

研究问题

• RQ1 经典算子凸性与算子单调性之间的对偶性能否推广至多变量函数？
• RQ2 多变量函数的算子单调性应如何正确推广，使其在单变量情形下退化为标准定义？
• RQ3 如何为非交换自伴算子的多变量函数一致地定义函数演算？
• RQ4 在何种条件下，算子凸函数的倒数积变换是算子单调的？
• RQ5 在多变量情形下，算子单调性是否与指标选择无关，从而确保其定义良好？

主要发现

• 定义在 [0,α₁[×⋯×[0,αₖ[ 上的函数 f，当且仅当其倒数积变换 g(r₁,…,rₖ) = r₁⁻¹⋯rₖ⁻¹ f(r₁,…,rₖ) 为算子单调时，f 是算子凸函数且在任意 rᵢ = 0 时取值为零。
• 在多变量情形下，算子单调性与指标选择无关，即若函数对某一指标为算子单调，则对所有指标均为算子单调。
• 通过张量积上的谱测度定义的函数演算，当 f 为单变量函数的乘积时，保持乘积结构。
• 阶为 (n₁,…,nₖ) 的矩阵凸性意味着函数对投影和分解满足詹森型不等式。
• 证明依赖于魏尔斯特拉斯逼近和矩阵不等式，表明 g 的矩阵单调性蕴含 f 的矩阵凸性。
• 常数函数 g(r₁,…,rₖ) = 1 在 k ≥ 2 时不为算子单调，这与 (r₁,r₂) ↦ r₁r₂ 不是凸函数的事实一致。