[论文解读] Reverses of the Triangle Inequality in Inner Product Spaces

Sever S Dragomir|ArXiv.org|May 26, 2004

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

一句话总结

本文在内积空间中提出了广义三角不等式的新型反向不等式，推导出在向量靠近单位向量或属于特定区域等几何约束下，向量和范数的更紧下界。主要结果包括：当向量位于以单位向量为中心、半径为 $\rho$ 的球内时，得到含因子 $\sqrt{1 - \rho^2}$ 的反向三角不等式；当向量被限制在 $ma$ 与 $Ma$ 之间时，得到类似含 $\frac{2\sqrt{mM}}{m+M}$ 的界，并通过加权 $L^2$ 范数将结果推广至向量值积分。

ABSTRACT

Some new reverses for the generalised triangle inequality in inner product spaces and applications are given. Applications in connection to the Schwarz inequality are provided as well.

研究动机与目标

• 在内积空间中建立广义三角不等式的新型反向不等式，补充如Diaz与Metcalf所获的现有结果。
• 在向量靠近单位向量或属于锥形区域等几何约束下，推导向量和范数的定量下界。
• 通过加权 $L^2$ 范数，将这些反向不等式推广至希尔伯特空间中的向量值积分。
• 提供在施瓦茨不等式及相关算子不等式中的应用。

提出的方法

• 利用Diaz-Metcalf不等式框架，将其适配于 $\|x_i - a\| \leq \rho$ 等几何约束，其中 $a$ 为单位向量。
• 应用柯西-施瓦茨不等式及形如 $\frac{p}{\alpha} + q\alpha \geq 2\sqrt{pq}$ 的初等不等式，推导 $\left\| \sum x_i \right\|$ 的下界。
• 引入几何条件 $\left\| x_i - \frac{M+m}{2}a \right\| \leq \frac{1}{2}(M - m)$，以导出含因子 $\frac{2\sqrt{mM}}{m+M}$ 的反向三角不等式。
• 通过在希尔伯特空间 $L_\eta([a,b]; H)$ 中应用不等式，将有限和结果转移至积分情形，其中 $\eta$ 为归一化权函数。
• 利用实部条件 $\operatorname{Re}\langle Ma - x_i, x_i - ma \rangle \geq 0$ 与 $x_i$ 的范数有界条件之间的等价性。
• 通过验证 $f_i(t)$ 的逐点约束在加权 $L^2$ 空间中蕴含所需的范数不等式，将结果应用于向量值积分。

实验结果

研究问题

• RQ1 当向量被约束在以单位向量为中心、半径为 $\rho$ 的球内时，能否在内积空间中导出三角不等式的反向不等式？
• RQ2 几何约束如 $\left\| x_i - \frac{M+m}{2}a \right\| \leq \frac{1}{2}(M - m)$ 如何导致 $\left\| \sum x_i \right\|$ 的更优下界？
• RQ3 能否将反向三角不等式推广至关于加权测度的希尔伯特空间中的向量值积分？
• RQ4 从这些几何约束中可导出施瓦茨不等式的何种对应反向形式？
• RQ5 所导出的反向不等式中常数的最优性如何？是否可进一步改进？

主要发现

• 若 $\|x_i - a\| \leq \rho$，其中 $a$ 为单位向量，则 $\left\| \sum x_i \right\| \geq \sqrt{1 - \rho^2} \sum \|x_i\|$，等号成立当且仅当 $\sum x_i = \sqrt{1 - \rho^2} \left(\sum \|x_i\|\right) a$。
• 对于正交系 $a_k$，若 $\|x_i - a_k\| \leq \rho_k$，则 $\left\| \sum x_i \right\| \geq \left(m - \sum \rho_k^2\right)^{1/2} \sum \|x_i\|$，等号成立当且仅当 $\sum x_i = \left(\sum \|x_i\|\right) \sum \left(1 - \rho_k^2\right)^{1/2} a_k$。
• 若 $\operatorname{Re}\langle Ma - x_i, x_i - ma \rangle \geq 0$，则 $\left\| \sum x_i \right\| \geq \frac{2\sqrt{mM}}{m+M} \sum \|x_i\|$，等号成立当且仅当 $\sum x_i = \frac{2\sqrt{mM}}{m+M} \left(\sum \|x_i\|\right) a$。
• 对于向量值积分，若 $\|f_i(t) - g(t)\| \leq \rho$ 几乎处处成立，则 $\left\| \sum f_i \right\|_\eta \geq \sqrt{1 - \rho^2} \sum \|f_i\|_\eta$，等号成立当且仅当 $\sum f_i(t) = \sqrt{1 - \rho^2} \sum \|f_i\|_\eta \cdot g(t)$ 几乎处处成立。
• 反向施瓦茨不等式中常数 $\frac{1}{2}$ 是最优的，如不等式 $\frac{\|x\|\|y\| - \operatorname{Re}\langle x,y \rangle}{(\|x\| + \|y\|)^2} \leq \frac{1}{2} \left( \frac{M - m}{M + m} \right)^2$ 所示。
• 在 $f_i(t)$ 的逐点约束下，反向不等式可通过希尔伯特空间 $L_\eta([a,b]; H)$ 推广至积分形式，且保持相同的常数。