[论文解读] On a Class of Polynomials with Integer Coefficients

Milan Janjić|ArXiv.org|Apr 12, 2008

Mathematical functions and polynomials参考文献 2被引用 3

一句话总结

本文引入了一类具有整数系数的多项式 $P_{n,m,p}(x)$，通过在块集上使用容斥原理建立了其组合解释。研究表明，$P_{n,2,2}(x)$（记为 $P_n(x)$）满足与切比雪夫多项式相同的三重递推关系，并可用三角函数表示，揭示了其在 $[-1,1]$ 上的正交性与零点分布。主要贡献是通过二项式求和，给出了第二类切比雪夫多项式系数的闭式公式。

ABSTRACT

A class P_{n,m,p}(x) of polynomials is defined. The combinatorial meaning of its coefficients is given. Chebyshev polynomials are the special cases of P_{n,m,p}(x). It is first shown that P_{n,m,p}(x) may be expressed in terms of P_{n,0,p}(x). From this we derive that P_{n,2,2}(x) may be obtain in terms of trigonometric functions, from which we obtain some of its important properties. Some questions about orthogonality are also concerned. Furthermore, it is shown that P_{n,2,2}(x) fulfills the same three terms recurrence as Chebyshev polynomials. Some others recurrences for P_{n,m,p}(x) and its coefficients are also obtained. At the end a formula for coefficients of Chebyshev polynomials of the second kind is derived.

研究动机与目标

• 基于块集上的组合容斥原理，系统地定义并分析一类具有整数系数的新多项式 $P_{n,m,p}(x)$。
• 建立 $P_{n,m,p}(x)$ 与经典正交多项式（特别是第一类与第二类切比雪夫多项式）之间的联系。
• 推导 $P_{n,2,2}(x)$ 的递推关系与三角表示形式，表明其与切比雪夫多项式共享正交性与零点分布等关键性质。
• 基于组合框架，为第二类切比雪夫多项式的系数提供一个新闭式表达式，该表达式由二项式求和构成。

提出的方法

• 通过组合函数 $f(n,k,m,p)$（用于计数与块相交的子集）导出系数 $c(n,k,m,p)$，从而定义 $P_{n,m,p}(x)$。
• 证明一个约化公式，利用二项式变换与生成函数运算，将 $P_{n,m,p}(x)$ 表示为 $P_{n,0,p}(x)$ 的形式。
• 建立三角恒等式：$P_n( an\theta) = -\sin\theta \sin(n-1)\theta$，将 $P_n(x)$ 与正弦函数联系起来。
• 推导出与第二类切比雪夫多项式相同的三重递推关系。
• 在多种雅可比权函数下研究 $P_n(x)$ 的正交性，包括 $(1-x^2)^{1/2}$、$(1-x^2)^{3/2}$ 和 $1$，并计算显式内积。
• 将组合函数 $f(n,k,m,p)$ 的递推关系转化为 $P_{n,m,p}(x)$ 的系数恒等式，从而实现系数的递归计算。

实验结果

研究问题

• RQ1 如何基于块集上的组合容斥原理，系统地定义一类具有整数系数的多项式？
• RQ2 多项式 $P_{n,2,2}(x)$ 是否继承了切比雪夫多项式的若干关键结构性质，如递推关系、零点分布与正交性？
• RQ3 $P_{n,2,2}(x)$ 是否能以闭式三角函数形式表达？这一形式对其根与极值点有何影响？
• RQ4 能否从组合框架中推导出第二类切比雪夫多项式系数的显式公式？
• RQ5 多项式 $P_{n,m,p}(x)$ 的系数与第二类切比雪夫多项式的系数之间存在何种关系？是否可实现递归计算？

主要发现

• 多项式 $P_n(x) = P_{n,2,2}(x)$ 满足与第二类切比雪夫多项式相同的三重递推关系：$P_n(x) = 2xP_{n-1}(x) - P_{n-2}(x)$，初始条件为 $P_0(x) = x^2$，$P_1(x) = 2x^3 - x$。
• 恒等式 $P_n(\tan\theta) = -\sin\theta \sin(n-1)\theta$ 成立，为 $P_n(x)$ 提供了完整的三角刻画，表明其所有根均位于 $[-1,1]$ 内且为单根。
• 多项式 $P_n(x)$ 在 $[-1,1]$ 内恰好有 $n$ 个单实根，包括 $x = \pm 1$，其余 $n-2$ 个根为 $x_k = \cos\frac{k\pi}{n-1}$，其中 $k=1,2,\dots,n-2$。
• 当 $n \geq 3$ 时，对所有 $x \in [-1,1]$，不等式 $P_n(x)^2 + x^2 \leq 1$ 成立，表明该多项式的取值被限制在单位圆内。
• 在权函数 $(1-x^2)^{1/2}$ 下，内积 $\int_{-1}^1 (1-x^2)^{1/2} P_n(x) P_m(x) dx$ 仅在 $|n-m| \in \{0,2,4\}$ 时非零，对应值分别为 $\frac{5\pi}{32}$、$-\frac{15\pi}{128}$ 和 $\frac{3\pi}{64}$（分别对应 $n=m$、$|n-m|=2$、$|n-m|=4$）。
• 推导出第二类切比雪夫多项式系数 $c(n,k)$ 的新闭式公式：$c(n,k) = (-1)^{(n-k)/2} \sum_{i=0}^{k} \binom{(n+k)/2}{i} \binom{(n+k)/2 - i}{(n-k)/2}$，当 $n$ 与 $k$ 同奇偶性时成立，否则为零。