[论文解读] Hermite-Hadamard type inequality for operator preinvex functions

A. G. Ghazanfari, Mahmood Shakoori+2 more|arXiv (Cornell University)|Jun 4, 2013

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

一句话总结

本文在希尔伯特空间上通过凸集与广义 $\eta$-路径，将经典的赫尔梅特-哈达玛不等式推广至算子预凸函数，建立了算子凸性下的赫尔梅特-哈达玛型不等式。核心贡献是提出一个新的积分不等式，用于界定加权算子积分平均与积分均值之间的差异，其估计结果通过算子预凸性与 $\eta$ 的条件 $C$ 获得最优界。该结果推广了算子凸函数的已知不等式，并通过谱理论与函数演算，提供了算子范数与向量半范数的界。

ABSTRACT

In this paper we establish a Hermite- Hadamard type inequality for operator preinvex functions and an estimate of the right hand side of a Hermite- Hadamard type inequality in which some operator preinvex functions of selfadjoint operators in Hilbert spaces are involved.

研究动机与目标

• 通过算子预凸函数在希尔伯特空间上的算子设定，将经典赫尔梅特-哈达玛不等式推广。
• 通过在凸集上引入 $\eta$-路径的预凸性，推广算子凸函数的现有结果。
• 推导涉及算子值积分的赫尔梅特-哈达玛型不等式右侧的新估计。
• 在算子预凸性条件下，建立积分均值与中点值之间偏差的向量与算子范数界。
• 通过当 $\eta(B,A) = B - A$ 时恢复为特例，统一并推广先前关于算子凸函数的结果。

提出的方法

• 在 $B(H)_{sa}$ 的子集 $S$ 上定义相对于映射 $\eta:S \times S \to B(H)_{sa}$ 的算子预凸性，且 $\eta$ 满足条件 $C$。
• 利用连续函数演算定义自伴算子 $A$ 与 $\mathrm{Sp}(A)$ 上连续函数 $f$ 的 $f(A)$，确保正性与序保持性。
• 引入 $\eta$-路径 $P_{AV} = \{A + t\eta(B,A) \mid t \in [0,1]\}$，并定义算子值积分 $\int_0^1 f(A + t\eta(B,A)) \, dt$。
• 对固定的单位向量 $x \in H$，定义实值函数 $\varphi(t) = \left\langle \int_0^t f(A + s\eta(B,A)) \, ds \, x, x \right\rangle$，并利用预凸性分析其凸性。
• 对 $\varphi(t)$ 应用经典 Dragomir-Agarwal 不等式（定理 1），推导加权平均与积分均值之间差异的界。
• 对所有单位向量 $x$ 取上确界，获得算子范数界，从而导出主不等式 (2.13)。

实验结果

研究问题

• RQ1 赫尔梅特-哈达玛不等式能否在希尔伯特空间中通过凸集上的算子预凸函数加以推广？
• RQ2 在算子预凸设定下，积分均值与中点值之间偏差的最优界是什么？
• RQ3 $\eta$-映射的条件 $C$ 如何影响算子值函数的凸性与可积性？
• RQ4 当 $\eta(B,A) = B - A$ 时，经典算子凸函数结果在多大程度上可作为特例重现？
• RQ5 在预凸性条件下，能否同时为同一不等式导出向量半范数与算子范数估计？

主要发现

• 本文建立了算子预凸函数的新型赫尔梅特-哈达玛型不等式：$$ f\left(\frac{A+V}{2}\right) \leq \frac{1}{2}\left[f\left(\frac{3A+V}{4}\right) + f\left(\frac{A+3V}{4}\right)\right] \leq \int_0^1 f(A + t\eta(B,A)) \, dt \leq \frac{1}{2}\left[f\left(\frac{A+V}{2}\right) + \frac{f(A)+f(B)}{2}\right] $$，其中 $V = A + \eta(B,A)$。
• 对积分均值与加权平均之间偏差的最优估计为：$$ \left| \frac{1}{2}\varphi(a) + \frac{1}{2}\varphi(b) - \frac{1}{b-a}\int_a^b \varphi(s) \, ds \right| \leq \frac{b-a}{8}(\varphi'(a) + \varphi'(b)) $$，其中 $\varphi(t) = \left\langle \int_0^t f(A + s\eta(B,A)) \, ds \, x, x \right\rangle$。
• 算子范数版本的界为：$$ \left\| \frac{1}{2}\int_0^a f(A+s\eta(B,A)) \, ds + \frac{1}{2}\int_0^b f(A+s\eta(B,A)) \, ds - \frac{1}{b-a}\int_a^b \int_0^t f(A+s\eta(B,A)) \, ds \, dt \right\| \leq \frac{b-a}{8}\|f(A + a\eta(B,A)) + f(A + b\eta(B,A))\| $$。
• 当 $\eta(B,A) = B - A$ 时，不等式退化为算子凸函数的已知结果，恢复了 Dragomir (2000) 的定理 2。
• 向量半范数的界为：$$ \left| \frac{1}{2}\langle \int_0^a f(A+s\eta(B,A)) \, ds \, x,x \rangle + \frac{1}{2}\langle \int_0^b f(A+s\eta(B,A)) \, ds \, x,x \rangle - \frac{1}{b-a}\int_a^b \left\langle \int_0^t f(A+s\eta(B,A)) \, ds \, x,x \right\rangle dt \right| \leq \frac{b-a}{8}\left(\langle f(A+a\eta(B,A))x,x\rangle + \langle f(A+b\eta(B,A))x,x\rangle\right) $$。
• 结果表明，积分均值比右端更接近左端，如推论 1 所示：$$ 0 \leq \int_0^1 f(A+t\eta(B,A)) \, dt - f\left(\frac{A+V}{2}\right) \leq \frac{f(A)+f(B)}{2} - \int_0^1 f(A+t\eta(B,A)) \, dt $$。