[論文レビュー] Operator Monotone Functions: Characterizations and Integral Representations

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

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

ひとこと要約

本稿は、差分行列と Hansen-Pedersen 条件を用いた、作用素単調関数の包括的なサーベイを提供している。主な貢献は、$[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)$ 上の作用素単調関数の積分表現を導出し、証明すること。
• このような関数に対する代表測度の一意性と構成法を示すこと。

提案手法

• すべての $n \in \mathbb{N}$ に対して差分行列の正定値性を用いて作用素単調関数を特徴付ける。
• Hansen-Pedersen 特徴付けを適用し、関数計算およびスペクトル分解を介して作用素単調性と作用素凸性を結びつける。
• ケイリー変換 $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 このような積分表現における代表ボレル測度の一意性条件は何か？
• RQ5 ケイリー写像による変換は、積分表現の導出をどのように支援するか？

主な発見

• すべての $[0,\infty)$ 上の作用素単調関数は、$[0,\infty]$ 上のボレル確率測度 $m$ を用いて、形式 $f(t) = \int_{[0,\infty]} \frac{t(1+\xi)}{t+\xi} \, dm(\xi)$ の一意な積分表現を持つ。
• すべての $k \in \mathbb{N}_0$ に対して $\int \xi^k \, dm(\xi)$ のモーメントの等しさと Stone-Weierstrass の定理により、代表測度 $m$ が一意であることが保証される。
• 関数 $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 の表現定理に依拠しており、関数の各点収束がその代表測度の収束を示すことを保証する。