[论文解读] A Generalisation of the Cassels and Greub-Reinboldt Inequalities in Inner Product Spaces

Sever S Dragomir|ArXiv.org|Jun 25, 2003

Mathematical Inequalities and Applications参考文献 4被引用 6

一句话总结

本文通过引入满足 $ \operatorname{Re}(\overline{a}A) > 0 $ 的复参数 $ a, A $ 的反向施瓦茨型不等式，将复内积空间和实内积空间中的 Cassels 与 Greub-Reinboldt 不等式进行了推广。核心贡献是针对内积 $ \langle x, y \rangle $ 建立了精确的反向不等式，以 $ \operatorname{Re}(A\overline{\langle x,y\rangle} + \overline{a}\langle x,y\rangle) $ 表达式界定了 $ \|x\|\|y\| $，并将其应用于序列、积分以及正线性泛函。

ABSTRACT

A generalisation of the Cassels and Greub-Reinboldt inequalities in complex or real inner product spaces and applications for isotonic linear functionals, integrals and sequences are provided.

研究动机与目标

• 将经典 Cassels 与 Greub-Reinboldt 不等式在内积空间中推广至满足 $ \operatorname{Re}(\overline{a}A) > 0 $ 的复参数。
• 在 $ \operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0 $ 的广义正定性条件下，建立涉及复标量 $ a, A $ 的柯西-施瓦茨不等式的精确反向不等式。
• 将结果推广至 $ \ell_w^2(\mathbb{K}) $ 中的序列、积分以及正线性泛函，提供定量界。
• 通过反例构造证明所导不等式中常数 $ \frac{1}{2} $ 的精确性。
• 提供充分条件（如 $ my_i \leq x_i \leq My_i $），以确保在实与复设置下不等式的有效性。

提出的方法

• 利用条件 $ \operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0 $ 推导反向柯西-施瓦茨不等式，该条件推广了早期的实参数界。
• 应用初等不等式 $ \alpha p^2 + \frac{1}{\alpha} q^2 \geq 2pq $（其中 $ \alpha > 0 $，$ p,q \geq 0 $），以 $ \|x\|^2 $、$ \|y\|^2 $ 和内积表达式界定了 $ \|x\|\|y\| $。
• 利用恒等式 $ \operatorname{Re}\langle Ay - x, x - ay \rangle = \operatorname{Re}[A\overline{\langle x,y\rangle} + \overline{a}\langle x,y\rangle] - \|x\|^2 - \operatorname{Re}(\overline{a}A)\|y\|^2 $ 推导主不等式。
• 通过定义内积 $ \langle \overline{x}, \overline{y} \rangle_w = \sum w_i x_i \overline{y_i} $，将结果应用于加权 $ \ell_w^2 $ 空间和 $ \ell^2 $ 序列。
• 通过测试 $ a = A = 1 $，$ y = x \neq 0 $，证明常数 $ \frac{1}{2} $ 的精确性，得到 $ \|x\|^2 \leq 2c\|x\|^2 \Rightarrow c \geq \frac{1}{2} $。
• 提供充分条件，如对所有 $ i $ 有 $ \operatorname{Re}[(Ay_i - x_i)(\overline{x_i} - \overline{a}\overline{y_i})] \geq 0 $，或在实情况下 $ my_i \leq x_i \leq My_i $，以确保不等式成立。

实验结果

研究问题

• RQ1 如何将 Cassels 与 Greub-Reinboldt 不等式推广至满足 $ \operatorname{Re}(\overline{a}A) > 0 $ 的复内积空间中的复参数 $ a, A $？
• RQ2 在广义条件 $ \operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0 $ 下，反向柯西-施瓦茨不等式的精确常数是多少？
• RQ3 所导不等式如何推广至 $ \ell_w^2(\mathbb{K}) $ 中的序列？其有效性所需的充分条件是什么？
• RQ4 在乘积范数与内积实部之差上，存在哪些加法与乘法界？
• RQ5 在何种条件下，该不等式退化为已知形式（如 Pólya-Szegö 或 Greub-Reinboldt）？

主要发现

• 本文建立了不等式 $ \|x\|\|y\| \leq \frac{1}{2} \cdot \frac{\operatorname{Re}[A\overline{\langle x,y\rangle} + \overline{a}\langle x,y\rangle]}{[\operatorname{Re}(\overline{a}A)]^{1/2}} $，其中常数 $ \frac{1}{2} $ 是精确的。
• 当参数为实数 $ m, M > 0 $ 时，不等式退化为 $ \|x\|\|y\| \leq \frac{1}{2} \cdot \frac{M + m}{\sqrt{mM}} \operatorname{Re}\langle x, y \rangle $，在极限下恢复经典 Cassels 不等式。
• 在 $ \ell_w^2 $ 设置下，不等式变为 $ \left[\sum w_i |x_i|^2 \sum w_i |y_i|^2\right]^{1/2} \leq \frac{1}{2} \cdot \frac{\sum w_i \operatorname{Re}[A\overline{x_i}y_i + \overline{a}x_i\overline{y_i}]}{[\operatorname{Re}(\overline{a}A)]^{1/2}} $，在条件 $ \sum w_i \operatorname{Re}[(Ay_i - x_i)(\overline{x_i} - \overline{a}\overline{y_i})] \geq 0 $ 下成立。
• 加法版本给出 $ 0 \leq \left[\sum w_i |x_i|^2 \sum w_i |y_i|^2\right]^{1/2} - \sum w_i \operatorname{Re}(x_i \overline{y_i}) \leq \frac{(\sqrt{M} - \sqrt{m})^2}{2\sqrt{mM}} \sum w_i \operatorname{Re}(x_i \overline{y_i}) $，提供了一个定量的差距估计。
• 当 $ a_i, b_i $ 分别有界于区间 $ [a,A] $、$ [b,B] $ 时，不等式退化为 Greub-Reinboldt 形式 $ \frac{\sum w_i a_i^2 \sum w_i b_i^2}{(\sum w_i a_i b_i)^2} \leq \frac{(ab + AB)^2}{4abAB} $。
• 充分条件如实情况下 $ my_i \leq x_i \leq My_i $ 确保不等式成立，从而将适用性扩展至有序序列与积分。