[论文解读] On the Bombieri Inequality in Inner Product Spaces

Sever S Dragomir|ArXiv.org|Jul 11, 2003

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

一句话总结

本文通过利用格拉姆矩阵元素的范数，推导出平方内积和的更紧界，对内积空间中的 Bombieri 不等式提出了新的推广。与 Bombieri 的原始结果相比，该工作通过引入 lp-范数和基于矩阵的表达式，获得了更精确的估计，表明当向量非正交时，新界可显著优于 Bombieri 的界。

ABSTRACT

New results related to the Bombieri generalisation of Bessel's inequality in inner product spaces are given.

研究动机与目标

• 通过改进平方内积和的现有界，拓展内积空间中的 Bombieri 不等式。
• 通过利用内积大小的 lp-范数和基于矩阵的表达式，提供比 Bombieri 原始不等式更紧的估计。
• 在统一框架下推广和统一已知不等式，如 Bessel、Selberg 和 Heilbronn 不等式。
• 研究新界与 Bombieri 及其他经典不等式相比的相对紧致性。
• 推导新界严格优于 Bombieri 界的条件，特别是在向量非正交时。

提出的方法

• 推导一个涉及复系数和内积的一般不等式：$\left|\sum_{i=1}^{n}c_{i}(x,y_{i})\right|\!^{2} \leq \|x\|^{2}\sum_{i=1}^{n}|c_{i}|^{2}\left(\sum_{j=1}^{n}|(y_{i},y_{j})|\right)$。
• 应用 Hölder 不等式和范数对偶性，推导出涉及系数序列和格拉姆矩阵元素的 $\ell^p$ 与 $\ell^q$ 范数的多个上界。
• 通过选择 $c_i = \overline{(x,y_i)}$，将 Bombieri 不等式及其他已知结果作为特例恢复。
• 引入基于矩阵的范数，如 $\left(\sum_{i,j=1}^{n}|(y_i,y_j)|^2\right)^{1/2}$ 和 $\left(\sum_{i=1}^{n}\left(\sum_{j=1}^{n}|(y_i,y_j)|\right)^q\right)^{1/q}$，以进一步优化界。
• 通过 $\mathbb{R}^2$ 中的反例比较新界与 Bombieri 界，表明新界可严格更小。
• 将该方法应用于正交系，表明此时新界更松，与 Bessel 不等式保持一致。

实验结果

研究问题

• RQ1 能否通过在系数序列中引入 $\ell^p$-范数结构来改进 Bombieri 不等式？
• RQ2 对于非正交系，新界与 Bombieri 原始界相比在紧致性上如何？
• RQ3 在何种条件下，新界 $\left(\sum_{i,j}|(y_i,y_j)|^2\right)^{1/2}$ 优于 Bombieri 的 $\max_i \sum_j |(y_i,y_j)|$？
• RQ4 已知不等式如 Bessel、Selberg 和 Heilbronn 不等式能否作为所提统一框架的特例推导出？
• RQ5 新界与系统 $\{y_i\}$ 的格拉姆矩阵结构之间存在何种关系？

主要发现

• 本文推导出一个新的 Bombieri 型不等式：$\sum_{i=1}^{n}|(x,y_i)|^2 \leq \|x\|^2 \left(\sum_{i,j=1}^{n}|(y_i,y_j)|^2\right)^{1/2}$，当向量非正交时，该界优于 Bombieri 的界。
• 当 $n=2$，$y_1 = a$，$y_2 = b > 0$，且 $a \geq b$ 时，新界 $M_2 = a^2 + b^2$ 严格小于 Bombieri 的 $M_1 = a^2 + ab$，表明估计更紧。
• 当 $\{y_i\}$ 为正交系时，新界变为 $\sqrt{n}\|x\|^2$，而 Bombieri 的界为 $\|x\|^2$，表明此时新界更松，符合预期。
• 建立了不等式 $\sum_{i=1}^{n}|(x,y_i)|^2 \leq n^{\frac{1}{p}+\frac{1}{t}-1}\|x\|^2 \left[\sum_{i=1}^{n}\left(\sum_{j=1}^{n}|(y_i,y_j)|^q\right)^{u/q}\right]^{1/u}$，其中 $1 < p \leq 2$，$1 < t \leq 2$，$\frac{1}{p}+\frac{1}{q}=1$，$\frac{1}{t}+\frac{1}{u}=1$。
• 通过选择 $c_i = \overline{(x,y_i)}$ 和 $\ell^1$-范数论证，导出界 $\sum_{i=1}^{n}|(x,y_i)|^2 \leq n\|x\|^2 \max_{i,j}|(y_i,y_j)|$ 作为特例。
• 本文证明，在非正交设定下，新界 $\left(\sum_{i,j}|(y_i,y_j)|^2\right)^{1/2}$ 优于 Bombieri 的 $\max_i \sum_j |(y_i,y_j)|$，并通过 $\mathbb{R}^2$ 中的显式反例加以验证。