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

Sever S Dragomir|ArXiv.org|Aug 28, 2003

Mathematical Inequalities and Applications参考文献 15被引用 58

一句话总结

本文在内积空间中提出了施瓦茨不等式、三角不等式和贝塞尔不等式的精确反向不等式，通过引入实数或复数参数约束，改进了早期结果，得出了更紧的界。关键贡献在于推导出反向不等式中最优常数因子（例如 1/4），并将其应用于获得新的格鲁什（Grüss）型不等式与积分不等式，其在泛函分析和逼近理论中有应用。

ABSTRACT

Reverses of Schwarz, triangle and Bessel inequalities in inner product spaces that improve some earlier results are pointed out. They are applied to obtain new Gruss type inequalities in inner product spaces. Some natural applications for integral inequalities are also pointed out.

研究动机与目标

• 通过引入更紧的界，改进内积空间中施瓦茨不等式、三角不等式和贝塞尔不等式的现有反向不等式。
• 在特定实数或复数参数约束下，确立常数 1/4 在反向不等式中的最优性。
• 利用改进的反向不等式，在内积空间中推导出新的格鲁什型不等式。
• 通过带权函数的测度论公式，将结果推广至积分不等式。
• 将先前针对实内积空间的结果推广至复内积空间，尤其改进了乌杰维奇（Ujević）在实空间中的工作。

提出的方法

• 利用条件 $\operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0$ 或其等价形式 $\|x - \frac{a+A}{2}y\| \leq \frac{1}{2}|A - a|\|y\|$ 推导反向施瓦茨不等式。
• 应用参数化条件 $\operatorname{Re}\langle \sum_{i\in F} \phi_i e_i - x, x - \sum_{i\in F} \varphi_i e_i \rangle \geq 0$ 以获得改进的反向贝塞尔不等式。
• 利用等价关系 $\|x - \sum_{i\in F} \frac{\phi_i + \varphi_i}{2} e_i\| \leq \frac{1}{2} \left(\sum_{i\in F} |\phi_i - \varphi_i|^2\right)^{1/2}$ 来界定 $\|x\|^2$ 与 $\sum_{i\in F} |\langle x, e_i \rangle|^2$ 之间的差异。
• 通过将反向不等式应用于带正测度 $\rho(s)$ 和权函数 $f(s), g(s)$ 的加权 $L^2$ 空间，推导出积分不等式。
• 利用条件 $\operatorname{Re}[(Ah(s) - f(s))(\overline{f(s)} - \overline{a}\overline{h(s)})] \geq 0$ 几乎处处成立，建立积分的格鲁什型界。
• 通过归一化 $\int_\Omega \rho(s)|h(s)|^2 d\mu(s) = 1$ 简化带最优常数的积分不等式的推导。

实验结果

研究问题

• RQ1 在参数约束 $a, A$ 下，反向施瓦茨不等式中最佳可能的常数是什么？
• RQ2 如何利用正交族上的参数化界来改进反向贝塞尔不等式？
• RQ3 能否将内积空间中的反向不等式推广至带权函数的积分形式？
• RQ4 从反向施瓦茨不等式导出的格鲁什型不等式中，最优常数是什么？
• RQ5 与实空间相比，复内积空间中的反向不等式行为如何？

主要发现

• 在条件 $\operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0$ 下，反向施瓦茨不等式 $0 \leq \|x\|^2\|y\|^2 - |\langle x,y \rangle|^2 \leq \frac{1}{4}|A - a|^2\|y\|^4$ 中，常数 $\frac{1}{4}$ 是最优的。
• 在给定参数约束下，反向贝塞尔不等式 $0 \leq \|x\|^2 - \sum_{i\in F} |\langle x, e_i \rangle|^2 \leq \frac{1}{4} \sum_{i\in F} |\phi_i - \varphi_i|^2 - \operatorname{Re}\langle \sum_{i\in F} \phi_i e_i - x, x - \sum_{i\in F} \varphi_i e_i \rangle$ 成立，且 $\frac{1}{4}$ 为最佳可能常数。
• 不等式 $0 \leq \|x\|^2\|y\|^2 - |\langle x,y \rangle|^2 \leq \frac{1}{4}|\Gamma - \gamma|^2\|y\|^4 - \left|\frac{\Gamma + \gamma}{2}\|y\|^2 - \langle x,y \rangle\right|^2$ 改进了早期的反向施瓦茨界，并保持了最优常数 $\frac{1}{4}$。
• 对于积分形式，不等式 $\int_\Omega \rho(s)|f(s)|^2 d\mu \int_\Omega \rho(s)|g(s)|^2 d\mu \leq \frac{1}{4} \cdot \frac{|\Gamma + \gamma|^2}{\operatorname{Re}(\Gamma \overline{\gamma})} \left| \int_\Omega \rho(s)f(s)\overline{g(s)} d\mu \right|^2$ 在条件 $\gamma g(s) \leq f(s) \leq \Gamma g(s)$ 几乎处处成立下成立，且 $\frac{1}{4}$ 为最佳常数。
• 建立了格鲁什型不等式 $\left| \int \rho f \overline{g} - \int \rho f \overline{h} \int \rho h \overline{g} \right| \leq \frac{1}{4} \cdot \frac{|A - a||B - b|}{\sqrt{\operatorname{Re}(A\overline{a}) \operatorname{Re}(B\overline{b})}} \left| \int \rho f \overline{h} \int \rho h \overline{g} \right|$，其最优常数为 $\frac{1}{4}$。
• 证明了反向贝塞尔不等式 $0 \leq \|x\|^2 - \sum_{i\in F} |\langle x, e_i \rangle|^2 \leq \frac{1}{4} \sum_{i\in F} |\phi_i - \varphi_i|^2 - \sum_{i\in F} \left| \frac{\phi_i + \varphi_i}{2} - \langle x, e_i \rangle \right|^2$ 的最优性，常数为 $\frac{1}{4}$。