[论文解读] New Reverses of Schwarz, Triangle and Bessel Inequalities in Inner Product Spaces

Sever S Dragomir|ArXiv.org|Sep 5, 2003

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

一句话总结

本文在内积空间中提出了施瓦茨不等式、三角不等式和贝塞尔不等式的新型反向不等式，通过内积的实部和范数约束建立了紧致界。主要贡献在于在特定几何与谱条件下推导出最优常数——特别是 1/4 和 1，其应用涵盖格鲁什类型不等式与积分不等式。

ABSTRACT

New reverses of the Schwarz, triangle and Bessel inequalities in inner product spaces are pointed out. These results complement the recent ones obtained by the author in an earlier paper. Further, they are employed to establish new Gruss type inequalities. Finally, some natural integral inequalities are stated as well.

研究动机与目标

• 在内积空间中建立经典施瓦茨不等式、三角不等式和贝塞尔不等式的新型反向不等式。
• 通过在向量上施加几何约束，改进先前结果，提供具有最佳可能常数的更紧致界。
• 将这些反向不等式推广至加权 $ L^2 $ 空间中的格鲁什类型不等式与积分形式。
• 证明所推导界中常数 $ \frac{1}{4} $ 和 $ 1 $ 的最优性。
• 通过实部条件与基于范数的约束，统一并推广先前的反向不等式。

提出的方法

• 通过条件 $ \|x - a\| \leq r < \|a\| $ 推导施瓦茨不等式的反向形式，得到 $ \|x\|^2\|a\|^2 - |\langle x,a\rangle|^2 \leq r^2\|x\|^2 $，其中常数 1 为最优。
• 应用条件 $ \mathop{\mathrm{Re}}\langle \Gamma y - x, x - \gamma y \rangle \geq 0 $ 推导出常数为 $ \frac{1}{4} $ 的反向三角不等式。
• 利用等价关系 $ \|x - \frac{\gamma + \Gamma}{2}y\| \leq \frac{1}{2}|\Gamma - \gamma|\|y\| $ 来界定内积不等式中等号成立的偏离程度。
• 通过假设 $ \|x - e\| \leq r_1 $，$ \|y - e\| \leq r_2 $ 且 $ \|e\| = 1 $，建立格鲁什类型不等式，得到 $ |\langle x,y\rangle - \langle x,e\rangle\langle e,y\rangle| \leq r_1 r_2 \|x\|\|y\| $，其中常数 1 为最优。
• 在无限维希尔伯特空间中，利用 $ \|x - \sum \lambda_i e_i\| \leq r $ 推导贝塞尔不等式的反向形式，得到涉及 $ \sum \mathop{\mathrm{Re}}[\bar{\lambda}_i \langle x,e_i\rangle] $ 的界。
• 将有限维不等式转化为测度空间上带权函数 $ \rho(s) $ 的积分形式，导出 $ L^2 $-范数与内积的反向不等式。

实验结果

研究问题

• RQ1 在范数接近性约束下，施瓦茨不等式在内积空间中的最紧致反向界是什么？
• RQ2 当向量被约束在某一共同方向附近时，如何以最优常数实现三角不等式的反向？
• RQ3 在希尔伯特空间中，何种条件可导出内积的紧致格鲁什类型不等式？
• RQ4 如何利用向量与一组标准正交向量的加权和的接近性，在无限维空间中反向贝塞尔不等式？
• RQ5 在带权 $ L^2 $ 空间中，对可测函数而言，这些反向不等式的积分类比形式是什么？

主要发现

• 建立了施瓦茨不等式的反向形式，其界为 $ \|x\|^2\|a\|^2 - |\langle x,a\rangle|^2 \leq r^2\|x\|^2 $，其中 $ \|x - a\| \leq r < \|a\| $，且常数 1 为最优。
• 在条件 $ \|x - \frac{\gamma + \Gamma}{2}y\| \leq \frac{1}{2}|\Gamma - \gamma|\|y\| $ 下，反向三角不等式 $ 0 \leq \|x\| + \|y\| - \|x + y\| \leq \frac{1}{4} \cdot \frac{|\Gamma - \gamma|^2}{\mathop{\mathrm{Re}}(\Gamma\bar{\gamma})} |\langle x,y\rangle|^2 $ 成立，且常数 $ \frac{1}{4} $ 为最优。
• 证明了格鲁什类型不等式：当 $ \|x - e\| \leq r_1 $，$ \|y - e\| \leq r_2 $，$ \|e\| = 1 $ 时，有 $ |\langle x,y\rangle - \langle x,e\rangle\langle e,y\rangle| \leq r_1 r_2 \|x\|\|y\| $，且常数 1 为最优。
• 对于贝塞尔不等式，若 $ \|x - \sum \lambda_i e_i\| \leq r $ 且 $ \sum |\lambda_i|^2 > r^2 $，则有 $ \|x\|^2 \leq \frac{(\sum \mathop{\mathrm{Re}}[\bar{\lambda}_i \langle x,e_i\rangle])^2}{\sum |\lambda_i|^2 - r^2} $，在特定约束下可取等。
• 在积分形式下，当几乎处处有 $ m g(s) \leq f(s) \leq M g(s) $ 时，反向施瓦茨不等式成立：$ \left| \int \rho |f|^2 \int \rho |g|^2 \right|^{1/2} - \left| \int \rho f \bar{g} \right| \leq \frac{1}{4} \cdot \frac{(M - m)^2}{M + m} \int \rho |g|^2 $，且常数 $ \frac{1}{4} $ 为最优。
• 导出了一个积分反向三角不等式：在相同逐点有界条件下，有 $ \|f\|_2 + \|g\|_2 - \|f + g\|_2 \leq \frac{\sqrt{2}}{2} \cdot \frac{M - m}{\sqrt{M + m}} \|g\|_2 $。