[論文レビュー] 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

ひとこと要約

本稿は、一般化されたチェビシェフ多項式における積の非負線形化を特徴付ける未解決問題を解き、これがJacobi多項式と同一のパラメータ集合Vに属する場合にのみ成り立つことを証明する。著者らはGasperのJacobi多項式に関する古典的証明を簡略化し、線形化係数の厳密な正の性質を特徴付け、Rahmanの研究で提示された線形化係数の超幾何表現を是正し、直交多項式および調和解析分野における古典的問題に対して、より鋭く、より素朴な取り扱いを提供する。

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.

研究の動機と目的

• 一般化されたチェビシェフ多項式 (T(α,β)n(x))n∈N0 が積の非負線形化を満たすパラメータ範囲 (α, β) ∈(−1, ∞)² を特定すること。
• Gasperの古典的結果であるJacobi多項式における非負線形化について、より簡潔で素朴な証明を提供すること。
• Jacobi多項式の線形化係数 gR(m, n; k) の厳密な正の性質を特徴付けること。
• Rahmanの研究で提示された線形化係数 gR(m, n; k) の超幾何表現を是正・精錬すること。
• 一般化されたチェビシェフ多項式が非負線形化の性質を満たすのは、(α, β) ∈ V であるときであり、これはJacobi多項式の場合と完全に一致することを確立すること。

提案手法

• 著者らは、線形化係数列の符号の振る舞いを分析することで、GasperのJacobi多項式に関する非負線形化の結果について、新しい簡略化された証明を導出する。
• 線形化係数の符号および振動的挙動を研究するために、関数 ι(m, n; k) を導入・分析する。特に、極値の項 gR(m, n; |m−n|+2) および gR(m, n; m+n−2) に注目する。
• 主な技術的アプローチとして、係数 ι(m, m; j) を四次多項式 χm(j) の形に書き直し、その根構造が符号の振る舞いを決定づけ、非負性の必要十分条件の導出を可能にする。
• 本稿では、Rahmanの線形化係数 gR(m, n; k) の超幾何表現を是正・再表現し、和のインデックスにおける偶数および奇数の j に対して有効な式を提供する。
• これらの是正された表現を用いて、特定のパラメータ条件下での係数の非負性および厳密な正の性質を証明する。
• 2次変換恒等式を活用することで、一般化されたチェビシェフ多項式の非負線形化と、それに対応するJacobi多項式の性質との間の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたチェビシェフ多項式 (T(α,β)n(x))n∈N0 が積の非負線形化を満たすパラメータ (α, β) ∈(−1, ∞)² はどれか？
• RQ2 GasperのJacobi多項式に関するオリジナル証明は、係数列の符号解析を用いて簡略化され、より明確にできるか？
• RQ3 Pm(x)Pn(x) の展開における線形化係数 gR(m, n; k) の厳密な正の性質を満たす必要十分条件は何か？
• RQ4 Rahmanの線形化係数 gR(m, n; k) の超幾何表現にはどのような是正が必要か？ そして、それらは非負性および正の性質の分析にどのように影響するか？
• RQ5 一般化されたチェビシェフ多項式における非負線形化の性質は、対応するJacobi多項式の性質と同値であるか？

主な発見

• 一般化されたチェビシェフ多項式 (T(α,β)n(x))n∈N0 が積の非負線形化を満たすのは、(α, β) ∈ V であるときであり、かつそのときのみである。ここで V は、GasperがJacobi多項式に対して同定したパラメータ集合と同一である。
• 本稿では、Gasperの定理1.1の証明を、オリジナル証明の長大な計算ステップを避けることで、より簡潔で素朴な証明に簡略化する。
• 線形化係数 gR(m, n; k) の厳密な正の性質が特徴付けられる：これらは α > −11/8 + √73/8 ≈ −0.15 かつ β > −1/2 のとき、かつそのときのみ厳密に正であり、追加のパラメータ制約が存在する。
• 著者らはRahmanの線形化係数 gR(m, n; k) の超幾何表現を是正し、和のインデックスにおける偶数および奇数の j に対して有効な式を提供する。これらの表現により、(α, β) ∈ ∆ のとき非負性が確認され、(α, β) ∈ ∆◦ のとき厳密な正の性質が示される。
• 是正された表現により、(α, β) ∈ ∆ のとき係数が非負であり、(α, β) ∈ ∆◦ のとき厳密に正であることが明らかになる。明示的なパラメータ条件が得られる。
• 本研究により、一般化されたチェビシェフ多項式の非負線形化の性質が、対応するJacobi多項式の性質と同値であることが確立され、同じパラメータ集合 V が適用されることを示した。