[论文解读] Advances in Inequalities of the Schwarz, Gruss and Bessel Type in Inner Product Spaces

Sever S Dragomir|arXiv (Cornell University)|Sep 22, 2003

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

一句话总结

本专著在实或复内积空间中提出了施瓦茨不等式、三角不等式和贝塞尔不等式的新型反向不等式，通过施加向量或函数取值范围的约束，对经典结果进行了推广并获得了紧致界。引入了针对或正交向量族及n元组的格鲁什类型不等式，其应用涵盖离散傅里叶变换与梅林变换，并通过范数空间与内积空间技术，给出了积分形式与离散形式，显著放宽了正交性与取值范围的假设，推广了先前的研究成果。

ABSTRACT

The main aim of this monograph is to survey some recent results obtained by the author related to reverses of the Schwarz, triangle and Bessel inequalities. Some Gruss' type inequalities for orthonormal families of vectors in real or complex inner product spaces are presented as well. Generalizations of the Boas-Bellman, Bombieri, Selberg, Heilbronn and Pecaric inequalities for finite sequences of vectors that are not necessarily orthogonal are also provided. Two extensions of the celebrated Ostrowski's inequalities for sequences or real numbers and the generalization of Wagner's inequality in inner product spaces are pointed out. Finally, some Gruss type inequalities for n-tuples of vectors in inner product spaces and their natural applications for the approximation of the discrete Fourier and Mellin transforms are given as well.

研究动机与目标

• 在内积空间中建立经典施瓦茨不等式、三角不等式与贝塞尔不等式的紧致反向不等式，改进已知界。
• 将格鲁什不等式推广至内积空间中的或正交向量族与n元组，引入在取值范围约束下的新界。
• 将博阿斯-贝尔曼、博米耶与佩察里奇等经典不等式推广至非正交向量序列，放宽正交性假设。
• 利用测度空间与序列，发展这些不等式的积分与离散形式，使其适用于逼近理论。
• 为离散傅里叶变换与梅林变换的逼近提供新应用，基于推导出的不等式。

提出的方法

• 通过内积取值范围与向量范数的有界性，推导施瓦茨不等式的加法型与二次型反向不等式。
• 应用保序线性泛函与积分表示，将不等式推广至连续情形。
• 通过约束内积实部，对或正交向量族的格鲁什不等式进行改进。
• 利用柯西-施瓦茨不等式与范数分解，界定内积与其投影之间的差值。
• 应用恒等式 ⟨x, y⟩ − ∑⟨x, ei⟩⟨ei, y⟩ = ⟨x − ∑⟨x, ei⟩ei, y − ∑⟨y, ei⟩ei⟩，将向量偏离量转化为正交分量。
• 通过L²(Ω, K)空间与或正交函数族，将离散与积分不等式转化为希尔伯特空间设定。

实验结果

研究问题

• RQ1 当内积位于已知实区间内时，施瓦茨不等式的最紧致反向界是什么？
• RQ2 如何在不假设底层序列正交性的前提下，将格鲁什不等式推广至或正交向量族？
• RQ3 博阿斯-贝尔曼与博米耶等经典不等式在何种方式下可推广至非正交有限向量序列？
• RQ4 在内积空间中，利用n元组向量逼近离散傅里叶变换与梅林变换时，逼近误差的最优界是什么？
• RQ5 在测度论假设与逐点取值范围约束下，这些不等式的积分形式行为如何？

主要发现

• 建立了施瓦茨不等式的加法型反向不等式：若 Re⟨(Φe − x), (x − ϕe)⟩ ≥ 0，则 ‖x‖² ≤ ½(Φ − ϕ)² + |⟨x, e⟩|²，当满足特定对齐条件时取等。
• 推导出二次型反向不等式：在相同条件下，范数平方与投影之差被界定为 ½(Φ − ϕ)² − |Re⟨(Φe − x), (x − ϕe)⟩|²。
• 对于或正交族 {ei} 及满足 x 在 Φiei − x 与 x − ϕiei 的实部有界的向量 x, y，有不等式 |⟨x, y⟩ − ∑⟨x, ei⟩⟨ei, y⟩| ≤ ½(∑|Φi − ϕi|²)¹ᐟ² × (∥y∥² − ∑|⟨y, ei⟩|²)¹ᐟ² 成立。
• 通过引入 x 相对于 Φi 与 ϕi 中点的偏离量，提出一个伴不等式，得到 |⟨x, y⟩ − ∑⟨x, ei⟩⟨ei, y⟩| ≤ ½(∑|Φi − ϕi|²)¹ᐟ² × ∥y∥ − (∑|⟨y, ei⟩|²)¹ᐟ² × |⟨x, ei⟩ − ½(Φi + ϕi)|²¹ᐟ²。
• 在 L²(Ω, K) 中，若 f(s) ∈ [ϕh(s), Φh(s)] a.e. 且 ∫|h|²dμ = 1，则双线性形式 ∫fḡdμ − ∫f¯hdμ∫hḡdμ 的误差被界定为 ½|Φ − ϕ| × (∫|g|²dμ − |∫hḡdμ|²)¹ᐟ²。
• 在实情形下，若 Φh(s) ≥ f(s) ≥ ϕh(s) a.e.，则界简化为 ½|Φ − ϕ| × (∫|g|²dμ − |∫hḡdμ|²)¹ᐟ²，表明与经典格鲁什不等式存在直接关联。