[论文解读] Sturm Theorem and a Refinement of Vietoris Inequality for Cosine Polynomials

Horst Alzer, Man Kam Kwong|arXiv (Cornell University)|Jun 3, 2014

Mathematical functions and polynomials被引用 6

一句话总结

本文通过使用Sturm定理，对先前关于余弦多项式Vietoris型不等式的结论提供了严格的计算补充，验证了特定三角多项式在关键区间上的非负性。文中详细描述了基于MAPLE的Sturm序列的使用，以确认某些多项式在指定子区间内无实根，从而确立了Vietoris不等式精化的最优下界，关键结果为不等式 $T_n(x) \geq c_0 + c_1x + c_2x^2 > 0$ 中最优常数 $\alpha = 0.12290\ldots$ 的精确值。该方法通过算法化根计数确保了理论严谨性，即使对于由余弦展开导出的高次代数多项式也适用。

ABSTRACT

In a recent work, the authors established a refinement of the well-known 1958 result of Vietoris on nonnegative cosine polynomials. In four places of the proof, use was made of the classical Sturm Theorem on determining the number of real roots of an algebraic polynomials in a given interval. Although absolutely rigorous, the Sturm procedure involves lengthy technical computations carried out with the help of the software MAPLE 13. This article provides such details which were omitted in the article presenting the recent work.

研究动机与目标

• 提供先前关于余弦多项式Vietoris不等式精化论文中省略的详细计算证明。
• 展示Sturm定理在验证由余弦多项式导出的高次代数多项式在特定区间内无实根的实用应用。
• 确立不等式 $T_n(x) \geq c_0 + c_1x + c_2x^2 > 0$ 对所有 $n \geq 1$ 和 $x \in (0, \pi)$ 成立时最优常数 $\alpha = 0.12290\ldots$ 的精确值。
• 通过严格确认辅助多项式 $\mu(x)$ 和 $\nu(x)$ 在 $[0.65, 0.95]$ 内无零点，验证理论结果，确保边界的紧致性。

提出的方法

• 将余弦多项式 $T_n(x)$ 转化为以 $y = \cos(x)$ 为变量的代数多项式，以便应用Sturm定理。
• 使用Sturm序列算法，通过计算欧几里得算法导出的多项式序列的符号变化，来计数给定区间 $(\alpha, \beta)$ 内的实根数。
• 使用MAPLE 13的 `sturm` 命令自动化根计数，仅返回区间内实根的数量。
• 将Sturm序列中的每个多项式归一化为首项系数为 $\pm 1$，以确保数值稳定性并保持符号变化计数的一致性。
• 应用Sturm过程验证 $\mu(x)$ 和 $\nu(x)$ 在 $[0.65, 0.95]$ 内无零点，从而确认 $T_6(x)/(x - \pi)^2$ 的最小值为 $\alpha = 0.12290\ldots$。
• 通过区间代换与展开技术处理高次多项式，特别是当 $n \geq 10$ 时，先进行 $x = 10y$ 代换并展开，以避免MAPLE在三角函数展开中对 $k < 100$ 的内部限制。

实验结果

研究问题

• RQ1 最优常数 $\alpha$ 的精确值是多少，使得对所有 $n \geq 1$ 和 $x \in (0, \pi)$，不等式 $T_n(x) \geq c_0 + c_1x + c_2x^2 > 0$ 成立，其中 $c_0 = \pi^2 c_2$，$c_1 = -2\pi c_2$，且 $0 < c_2 \leq \alpha$？
• RQ2 如何系统性地应用Sturm定理，以验证在关键区间上变换后的余弦多项式的非负性，尤其是在涉及符号计算时？
• RQ3 为何Sturm过程未能在 $[0.65, 0.95]$ 区间内检测到多项式 $\mu(x)$ 和 $\nu(x)$ 的根，且这如何证实了边界 $\alpha = 0.12290\ldots$ 的紧致性？
• RQ4 当标准MAPLE命令因内部限制而失效时，如何调整Sturm过程以处理由余弦多项式导出的高次代数多项式？

主要发现

• 精化后的Vietoris不等式中，最优常数精确为 $\alpha = \min_{0 \leq t < \pi} \frac{T_6(t)}{(t - \pi)^2} = 0.12290\ldots$，该结果通过在 $[0.65, 0.95]$ 区间上对 $\mu(x)$ 和 $\nu(x)$ 应用Sturm定理得到确认。
• Sturm过程确认 $\mu(x)$ 和 $\nu(x)$ 在 $[0.65, 0.95]$ 内无实根，这对确立边界 $\alpha = 0.12290\ldots$ 的紧致性至关重要。
• 对于 $n = 2$ 到 $21$（$n \neq 6$），在 $[0.951, 0.981]$ 区间上对变换后多项式 $X$ 应用Sturm过程，未发现实根，证实了这些情况下的不等式成立。
• 多项式 $\Delta(x)$ 在 $[5\pi/8, 2.68]$ 上超过 $0.29$，并在后续子区间上逐步增大，Sturm过程提供了严格的下界。
• 通过证明在 $Y = \cos(x)$ 下对应的代数多项式在 $[0.995, 1]$ 内无根，确认 $I(x) - 1.5$ 在 $x \in (0, 0.1]$ 上为正，从而确保该区间内 $I(x) > 1.5$。
• Sturm过程对低次和中等次数多项式有效，但对更高次多项式计算成本过高，因此仅适用于例外情况，而非一般性定理的证明。