[论文解读] Improved Vietoris Sine Inequalities for Non-Monotone, Non-Decaying Coefficients

Man Kam Kwong|arXiv (Cornell University)|Apr 25, 2015

Mathematical functions and polynomials参考文献 6被引用 5

一句话总结

本文通过建立两个新的充分条件，将维托里斯的经典正弦不等式推广至非单调、非递减序列，证明了在 $[0, \pi]$ 上正弦多项式的非负性。第一个条件放宽了单调性要求，允许某些非单调的系数模式，例如 $a_k = 1$（当 $k \geq 4$ 为偶数时）和 $a_k = (k+1)/k$（当 $k \geq 3$ 为奇数时）；第二个条件引入了一个更强的、独立的条件，基于不同的系数比值。主要贡献在于证明这些广义条件仍能确保部分和的非负性，显著扩展了原始不等式在单调、递减序列之外的应用范围。

ABSTRACT

Recently the author established an improvement of the classical Vietoris sine inequality to include sine polynomials with non-monotone coefficients. In this paper two further improvements are presented admitting sine polynomials with non-monotone and non-decaying coefficients. The extremal sums of the two results have the coefficient sequences {2a, a, 4/3, 1, 6/5, 1, 8/7, 1, ...}, where a = 0.78265..., and {3, 3/2, 7/3, 7/4, 11/5, 11/6, ...}.

研究动机与目标

• 将维托里斯的经典正弦不等式推广至非单调、非递减序列。
• 在 $\{a_k\}$ 非单调或不收敛于零时，识别出保证正弦多项式 $\sum a_k \sin(kx)$ 在 $[0,\pi]$ 上非负性的新充分条件。
• 通过引入两个新的、独立的系数条件，推广 Kwong（2015）关于放宽单调性的先前结果。
• 提供满足新条件的非单调、非递减序列的显式例子，证明该不等式具有更广泛的应用性。

提出的方法

• 提出一个新充分条件：$a_2 \geq 0.5869890995\cdots a_3$ 且对所有 $j \geq 2$ 有 $a_{2j} \geq \frac{2j+1}{2j+2} a_{2j+1}$，该条件推广了维托里斯原始不等式。
• 提出第二个独立条件：对所有 $j \geq 1$ 有 $a_{2j} \geq \frac{(2j+1)(4j-1)}{2j(4j+3)} a_{2j+1}$，即使系数非单调或非递减也适用。
• 应用比较原理（CP）将证明简化为验证与每个条件关联的极大序列的正性。
• 使用符号计算（Maple）验证关键不等式，并通过数值检查支持关于最优性的猜想。
• 分析由条件导出的极值序列，并通过 CP 定义的偏序 $\succeq$ 比较其主导性。
• 通过证明其关联的系数序列主导早期最大序列，表明新条件严格强于先前结果（如定理 C）。

实验结果

研究问题

• RQ1 维托里斯正弦不等式能否推广至既非单调也非收敛于零的序列？
• RQ2 对系数 $\{a_k\}$ 的哪些新充分条件可确保对所有 $n$ 有 $\sum a_k \sin(kx) \geq 0$ 在 $[0,\pi]$ 上成立？
• RQ3 是否可能在保持部分和非负性的同时，放宽维托里斯原始不等式中的单调性和递减性假设？
• RQ4 能否推导出两个独立的条件，以推广经典结果而无需依赖单调性？
• RQ5 与 Kwong（2015）或 Belov（1995）等先前结果相比，新条件在允许的系数序列方面有何强度差异？

主要发现

• 第一个新条件允许非单调、非递减的系数，如 $a_k = 1$（当 $k \geq 4$ 为偶数时）和 $a_k = (k+1)/k$（当 $k \geq 3$ 为奇数时），并确保 $\sum a_k \sin(kx) \geq 0$ 在 $[0,\pi]$ 上成立。
• 第二个条件 $a_{2j} \geq \frac{(2j+1)(4j-1)}{2j(4j+3)} a_{2j+1}$ 适用于如 $a_k = 2 - \frac{(-1)^k}{k}$ 的序列，这些序列既非单调也非收敛于零。
• 本文证明了两个条件均足以保证正弦级数在 $[0,\pi]$ 上所有部分和的非负性，将经典维托里斯结果推广至非单调、非递减序列之外。
• 数值实验表明，$\sum k^{-\gamma} \sin(kx)$ 在 $\gamma \geq 0.24$ 时非负，尽管定理仅保证 $\gamma \geq 0.36258$，提示仍有进一步改进空间。
• 第一个条件下的极大序列为 $\{2, 1, \frac{4}{3}, 1, \frac{6}{5}, 1, \frac{8}{7}, \dots\}$，第二个条件下的极大序列为 $\{3, \frac{3}{2}, \frac{7}{3}, \frac{7}{4}, \frac{11}{5}, \dots\}$，两者均非单调或递减。
• 通过比较原理表明，新条件主导了早期结果（如定理 C），且 Belov 的必要充分条件不存在极大序列。