[論文レビュー] Differential analysis of matrix convex functions II

Frank Hansen, Jun Tomiyama|ArXiv.org|Mar 9, 2007

Matrix Theory and Algorithms参考文献 5被引用数 14

ひとこと要約

本稿は、高階微分および行列式条件を用いて、n-凸およびn-単調関数の特徴付けを精緻化することで、行列凸関数の微分的解析を進めた。行列凸性の順序nが、導関数における特定の符号パターンを示すことが確立され、関数 $ t^p $ が2-凸または2-単調であるのは制限された指数範囲に限られることを証明した。主な結果として、古典的な作用素単調性および凸性理論が、有限区間および低階数の行列条件へと拡張された。

ABSTRACT

We continue the analysis in [3] of matrix convex functions of a fixed order defined in a real interval by differential methods as opposed to the characterization in terms of divided differences given by Kraus [5]. We amend and improve some points in the previously given presentation, and we give a number of simple but important consequences of matrix convexity of low orders.

研究の動機と目的

• 行列凸関数の順序nに関する微分的特徴付けを精緻化・是正すること。特に、ヘッセ型行列の正定値性に関する以前の証明における欠落を解決すること。
• 特に多項式に対して、n-凸関数とn+1-凸関数の間のギャップの構造を明確にすること。2n+1を超える次数の多項式が依然としてこのギャップに属することを示すこと。
• 関数 $ t^p $ の2-単調性および2-凸性について、$ (0, ∞) $ の部分区間における鋭い条件を確立すること。これにより、古典的な結果が有限区間へと拡張される。
• 作用素単調関数が $ (∞, ∞) $ で線形であるという古典的結果を一般化し、$ ∞ $ における2-単調性が線形性を示すことの証明を行う。
• 関数 $ f $ が $ (∞, ∞) $ で2-凸であるとき、その2階微分が完全単調であることを証明し、無限領域における既知の結果を拡張する。

提案手法

• 関数 $ f $ の導関数から作られる行列の行列式の正の性質を用いて、厳密にn-凸および厳密にn-単調関数の概念を導入する。
• 厳密にn-凸な多項式を用いた摂動論法により、すべての首個主小行列式が非負であるとき、行列 $ K_n(f;t) $ が半正定値であることを証明する。
• 導関数を凹関数の累乗の逆数として表現すること（例：$ f'(t) = 1/c(t)^2 $）を用いて、高階微分係数の符号条件を導出する。
• 帰納法と背理法を用い、n-単調またはn-凸関数の導関数が、偶奇に応じた符号の交互パターンを満たす必要があることを示す。
• 正の凹関数が $ ∞ $ で定数であることを用いて、$ ∞ $ における2-単調または2-凸関数が線形または二次関数でなければならないことを証明する。
• 関数 $ t^p $ を、導関数行列の行列式を計算することで、2-凸性および2-単調性の条件を特定する。

実験結果

リサーチクエスチョン

• RQ1 関数 $ t^p $ が $ (0, ∞) $ の部分区間で2-単調であるような指数 $ p $ はどのような範囲か。また、この特徴付けにおける導関数行列の行列式の役割は何か。
• RQ2 n-凸関数と(n+1)-凸関数のギャップに、2n+1を超える次数の多項式が含まれ得るか。その証明はどのように行われるか。
• RQ3 関数 $ f $ がn-単調またはn-凸であるための導関数に関する必要十分条件は何か。また、これらの条件は特定の行列式の正の性質とどのように関係するか。
• RQ4 以前の証明 [3] がなぜ $ K_n(f;t) $ の半正定値性を確立できなかったのか。本稿ではそのギャップをどのように是正したか。
• RQ5 n-単調性およびn-凸性が、関数 $ f $ の高階微分係数に課す制約、特に符号およびその凸性・凹性に関する制約は何か。

主な発見

• 関数 $ t^p $ は、任意の $ (0, ∞) $ の部分区間で2-単調であるための必要十分条件は $ 0 \leq p \leq 1 $ であり、2×2の導関数行列の行列式がこの範囲でのみ非負となることから示された。
• 関数 $ t^p $ は、任意の $ (0, ∞) $ の部分区間で2-凸であるための必要十分条件は $ -1 \leq p \leq 0 $ または $ 1 \leq p \leq 2 $ であり、2階微分行列の行列式の符号によって確認された。
• $ (∞, ∞) $ で定義された関数 $ f $ が2-単調かつ $ C^3 $ であるとき、$ f' $ は単調減少で $ f'' $ は非増加であり、凹関数の有界性から $ f $ は $ C^3 $ の条件下で線形関数である。
• $ (∞, ∞) $ で定義された関数 $ f $ が2-凸かつ $ C^4 $ であるとき、$ f'' $ は単調減少で $ f^{(4)} \leq 0 $ であり、正の凹関数が定数であるため、$ f $ は二次関数でなければならない。
• $ (∞, ∞) $ で2-凸な関数の2階微分は完全単調である。これは、作用素凸関数について知られている結果の一般化である。
• $ K_n(f;t) = \left( \frac{f^{(i+j)}(t)}{(i+j)!} \right)_{i,j=1}^n $ は、すべての首個主小行列式が非負である限り、任意の $ t \in I $ で半正定値である。これは、厳密にn-凸な多項式による摂動論法により証明された。