[论文解读] 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.

研究动机与目标

• 通过 f 的至多 2n 阶导数构成的矩阵的行列式正性，精炼并修正矩阵凸函数阶数 n 的微分刻画，特别是解决早期证明中关于 Hessian 型矩阵半正定性的漏洞。
• 通过证明度数超过 2n+1 的多项式仍可能位于 n-凸与 (n+1)-凸函数之间的间隙中，澄清 n-凸与 (n+1)-凸函数之间的结构差异，尤其针对多项式情形。
• 在 $ (0, ∞) $ 的子区间上，建立幂函数 $ t^p $ 的 2-单调性和 2-凸性的严格条件，将经典结果推广至有限区间。
• 推广经典结论：在 $ (∞, ∞) $ 上的算子单调函数必为仿射函数，证明在 $ ∞ $ 上的 2-单调性蕴含仿射性。
• 证明在 $ (∞, ∞) $ 上，2-凸函数的二阶导数是完全单调的，扩展了无限区间上已知的结果。

提出的方法

• 通过 f 的至多 2n 阶导数构成的矩阵的行列式正性，引入严格 n-凸和严格 n-单调函数的概念。
• 利用严格 n-凸多项式的扰动论证，证明当所有顺序主子式非负时，矩阵 $ K_n(f;t) $ 为半正定。
• 将导数表示为凹函数的幂的倒数（例如 $ f'(t) = 1/c(t)^2 $）以推导高阶导数的符号条件。
• 使用数学归纳法与反证法，证明 n-单调或 n-凸函数的导数必须满足基于奇偶性的交替符号模式。
• 利用在 $ ∞ $ 上正的凹函数必为常数这一事实，证明在 $ ∞ $ 上的 2-单调或 2-凸函数必为仿射或二次函数。
• 通过计算导数矩阵的行列式，分析幂函数 $ t^p $，以确定其 2-凸性和 2-单调性的条件。

实验结果

研究问题

• RQ1 在 $ (0, ∞) $ 的子区间上，函数 $ t^p $ 在哪些指数 p 下是 2-单调的？矩阵导数行列式在此刻画中起什么作用？
• 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-convex 的，当且仅当 $ -1 \leq p \leq 0 $ 或 $ 1 \leq p \leq 2 $，该结论通过二阶导数矩阵的行列式符号得以确认。
• 对于定义在 $ (∞, ∞) $ 上的函数 f，若 f 是 2-单调且 $ C^3 $，则 $ f' $ 单调递减且 $ f'' $ 非增，由于凹函数在 $ ∞ $ 上有界，因此 f 必为仿射函数。
• 若 f 在 $ (∞, ∞) $ 上是 2-凸且 $ C^4 $，则 $ f'' $ 单调递减且 $ f^{(4)} \leq 0 $，且 f 必为二次函数，因为 $ ∞ $ 上唯一的正凹函数是常数函数。
• 在 $ (∞, ∞) $ 上，2-凸函数的二阶导数是完全单调的，这是对算子凸函数在无限区间上已知结果的推广。
• 若矩阵 $ K_n(f;t) = \left( \frac{f^{(i+j)}(t)}{(i+j)!} \right)_{i,j=1}^n $ 的所有顺序主子式在区间 I 内非负，则其在所有 $ t \in I $ 上为半正定，该结论通过严格 n-凸多项式的扰动方法得以证明。