[论文解读] Nonnegative and strictly positive linearization of Jacobi and generalized Chebyshev polynomials

Stefan Kahler|arXiv (Cornell University)|Dec 13, 2018

Mathematical functions and polynomials参考文献 27被引用 4

一句话总结

本文解决了广义切比雪夫多项式乘积非负线性化特性的开放问题，证明其满足该性质当且仅当参数 (α, β) 属于与雅可比多项式相同的集合 V。作者简化了加斯珀对雅可比多项式原始证明，刻画了线性化系数的严格正性，并提供了这些系数的校正超几何表示，从而对正交多项式与调和分析中的一个经典问题提供了更精确且更初等的处理。

ABSTRACT

In the theory of orthogonal polynomials, as well as in its intersection with harmonic analysis, it is an important problem to decide whether a given orthogonal polynomial sequence $(P_n(x))_{n\in\mathbb{N}_0}$ satisfies nonnegative linearization of products, i.e., the product of any two $P_m(x),P_n(x)$ is a conical combination of the polynomials $P_{|m-n|}(x),\ldots,P_{m+n}(x)$. Since the coefficients in the arising expansions are often of cumbersome structure or not explicitly available, such considerations are generally very nontrivial. In 1970, G. Gasper was able to determine the set $V$ of all pairs $(\alpha,\beta)\in(-1,\infty)^2$ for which the corresponding Jacobi polynomials $(R_n^{(\alpha,\beta)}(x))_{n\in\mathbb{N}_0}$, normalized by $R_n^{(\alpha,\beta)}(1)\equiv1$, satisfy nonnegative linearization of products. In 2005, R. Szwarc asked to solve the analogous problem for the generalized Chebyshev polynomials $(T_n^{(\alpha,\beta)}(x))_{n\in\mathbb{N}_0}$, which are the quadratic transformations of the Jacobi polynomials and orthogonal w.r.t. the measure $(1-x^2)^{\alpha}|x|^{2\beta+1}\chi_{(-1,1)}(x)\,\mathrm{d}x$. In this paper, we give the solution and show that $(T_n^{(\alpha,\beta)}(x))_{n\in\mathbb{N}_0}$ satisfies nonnegative linearization of products if and only if $(\alpha,\beta)\in V$, so the generalized Chebyshev polynomials share this property with the Jacobi polynomials. Moreover, we reconsider the Jacobi polynomials themselves, simplify Gasper's original proof and characterize strict positivity of the linearization coefficients. Our results can also be regarded as sharpenings of Gasper's one.

研究动机与目标

• 确定参数范围 (α, β) ∈(−1, ∞)²，使得广义切比雪夫多项式 (T(α,β)n(x))n∈N0 满足乘积的非负线性化。
• 为加斯珀关于雅可比多项式非负线性化的经典结果提供一种简化且更初等的证明。
• 刻画雅可比多项式线性化系数 gR(m, n; k) 的严格正性条件。
• 校正并改进拉赫曼著作中线性化系数 gR(m, n; k) 的超几何表示。
• 建立广义切比雪夫多项式仅当 (α, β) ∈ V 时继承非负线性化性质，与雅可比多项式情形完全一致。

提出的方法

• 作者通过分析线性化系数序列的符号行为，推导出加斯珀关于雅可比多项式非负线性化结果的新简化证明。
• 引入并分析函数 ι(m, n; k) 以研究线性化系数的符号与振荡行为，特别关注极值项 gR(m, n; |m−n|+2) 和 gR(m, n; m+n−2)。
• 关键技巧在于将系数 ι(m, m; j) 用一个四次多项式 χm(j) 表示，其根结构决定了符号行为，从而推导出非负性的充要条件。
• 本文校正并重新表达拉赫曼关于线性化系数 gR(m, n; k) 的超几何表示，为求和指标中 j 的奇偶性分别提供有效公式。
• 作者利用这些校正后的表示，证明在特定参数条件下系数的非负性与严格正性。
• 通过利用二次变换恒等式，建立广义切比雪夫多项式非负线性化与对应雅可比多项式之间的等价性。

实验结果

研究问题

• RQ1 对于哪些参数 (α, β) ∈(−1, ∞)²，广义切比雪夫多项式 (T(α,β)n(x))n∈N0 满足乘积的非负线性化？
• RQ2 能否通过分析系数序列的符号，简化并使加斯珀对雅可比多项式原始证明更清晰？
• RQ3 雅可比多项式展开 Pm(x)Pn(x) 中线性化系数 gR(m, n; k) 的必要与充分条件是什么？
• RQ4 拉赫曼关于线性化系数 gR(m, n; k) 的超几何表示中需要哪些修正？这些修正如何影响非负性与正性分析？
• RQ5 广义切比雪夫多项式的非负线性化性质是否与对应雅可比多项式等价？

主要发现

• 广义切比雪夫多项式 (T(α,β)n(x))n∈N0 满足乘积的非负线性化当且仅当 (α, β) ∈ V，其中 V 是加斯珀为雅可比多项式所确定的同一参数集合。
• 本文为加斯珀定理 1.1 提供了一种简化且更初等的证明，避免了原始证明中的冗长计算步骤。
• 线性化系数 gR(m, n; k) 的严格正性被刻画：当且仅当 α > −11/8 + √73/8 ≈ −0.15 且 β > −1/2 时，系数严格为正，且需满足额外参数约束。
• 作者校正了拉赫曼关于线性化系数 gR(m, n; k) 的超几何表示，为求和指标中 j 的奇偶性分别提供了有效公式，并表明这些表示确认了当 (α, β) ∈ ∆ 时系数非负，当 (α, β) ∈ ∆◦ 时严格为正。
• 校正后的表示表明：当 (α, β) ∈ ∆ 时系数非负，当 (α, β) ∈ ∆◦ 时严格为正，且给出了明确的参数条件。
• 本研究确立了广义切比雪夫多项式非负线性化性质与对应雅可比多项式的等价性，二者共享相同的参数集 V。