[論文レビュー] Inequalities for ultraspherical polynomials. Proof of a conjecture of I. Ra\c{s}a

Geno Nikolov|arXiv (Cornell University)|Feb 26, 2014

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

ひとこと要約

この論文は、I. Raşăが提起した予想である、[0,1] 上で二乗 Bernstein 基底多項式の和が凸であるという予想を、ultraspherical 多項式 Pλn(x) の対数微分の点ごとの鋭い上界および下界を確立することによって証明する。主な結果は、orthogonal 多項式の性質と帰納法を用いて導かれた明示的な不等式を通じて、Raşăの予想が P'n(x)/Pn(x) の比に関する同値な推定と一致することを検証する。

ABSTRACT

A recent conjecture by I. Ra\c{s}a asserts that the sum of the squared Bernstein basis polynomials is a convex function in $[0,1]$. This conjecture turns out to be equivalent to a certain upper pointwise estimate of the ratio $P_n^{\prime}(x)/P_n(x)$ for $x\geq 1$, where $P_n$ is the $n$-th Legendre polynomial. Here, we prove both upper and lower pointwise estimates for the ratios $\big(P_n^{(\lambda)}(x)\big)^{\prime}/P_n^{(\lambda)}(x)$, $~x\geq 1$, where $P_n^{(\lambda)}$ is the $n$-th ultraspherical polynomial. In particular, we validate Ra\c{s}a's conjecture.

研究の動機と目的

• 二乗 Bernstein 基底多項式の和が [0,1] 上で凸であるという予想を証明すること。
• x ≥ 1 に対して ultraspherical 多項式 Pλn(x) の対数微分の点ごとの鋭い上界および下界を確立すること。
• Raşăの予想と Legendre 多項式の比 P'n(x)/Pn(x) に対する上界推定の同値性を示すこと。
• 極限 x → ∞ および x = 1 で鋭い不等式が得られるように、比 un(x) = P'(n)λ(x)/P(n)λ(x) に対する明示的な不等式を提供すること。

提案手法

• Rodriguesの公式と変数変換 x(t) = 1/2(1 - 2t + 1/(1 - 2t)) を用いて、Raşăの予想と Legendre 多項式 (λ = 1/2) の P'n(x)/Pn(x) に対する上界の同値性を証明する。
• n に関する帰納法を用いて、un(x) = P'(n)λ(x)/P(n)λ(x) の下界および上界を導出する。この際、補題6の再帰関係を活用する。
• パラメトリック族の境界 τ(n, cn, x) における最適係数を求める手法により、(1.3) の上界を確立する。ここで cn = λ(n+1)/(n+λ) であり、0 ≤ λ ≤ 1 である。
• Lagrange補間と零点の対称性を用いて定理5を導出し、P(n)λ の二乗零点の和を用いて p'n-1(x)/pn(x) を評価する。
• ultraspherical 多項式の極端な零点の既知の漸近的挙動を用いて、λ → ∞ のときの境界の鋭さを分析する。
• 境界が x = 1 および x → ∞ で鋭いかどうかを検証し、λ ≥ 1 の場合の結果について考察する。

実験結果

リサーチクエスチョン

• RQ1 二乗 Bernstein 基底多項式の和は [0,1] 上で凸か？
• RQ2 x ≥ 1 に対して ultraspherical 多項式 Pλn(x) の対数微分の鋭い上界および下界を確立できるか？
• RQ3 Raşăの予想は、Legendre 多項式の比 P'n(x)/Pn(x) に対する特定の不等式と同値か？
• RQ4 un(x) = P'(n)λ(x)/P(n)λ(x) の上界における最適定数は何か？また、λ と n に依存するか？
• RQ5 導出された境界は、既知の漸近的および点ごとの極限と比べてどれほど鋭いか？

主な発見

• Corollary 4 に述べられているように、二乗 Bernstein 基底多項式の和が [0,1] 上で凸であるという予想は、真であると証明された。
• すべての x ≥ 1 に対して、不等式 P'n(x)/Pn(x) ≤ 2n²/(x + (2n-1)√x²-1) が成り立ち、これは Raşăの予想と同値である。
• λ ∈ [0,1] の ultraspherical 多項式に対して、上界 un(x) ≤ n²(n+λ)/(λ(n+1)x + (n²-λ)√x²-1) が確立され、x=1 および x→∞ で鋭い。
• すべての λ > -1/2 および n ∈ ℚ に対して、下界 un(x) ≥ n(n+2λ)/((2λ+1)x + (n-1)√x²-1) が成り立つ。
• 定理5は、un(x) ∈ [n(1/x + (n-1)/(2(n+λ-1)x³)), n(1/x + (n-1)/((2λ+1)x³))] という境界を与える。これは x=1 および x→∞ で鋭い。
• λ ≥ 1 の場合、不等式 un(x) ≤ n²/(x + (n-1)√x²-1) が成り立ち、λ > 1 の場合に定理5よりも改善される。