MathLabs

解法：德布朗热经由米林猜想给出的比伯巴赫猜想证明(1984年)

第 6/8 步：阿斯基–加斯珀不等式提供了缺失的正性
上一步下一步
通俗地说

Askey与Gasper证明了Jacobi多项式正性 ∑j=0mPj(α,β)(x)Pj(β,α)(1)≥0\sum_{j=0}^{m} \frac{P_j^{(\alpha,\beta)}(x)}{P_j^{(\beta,\alpha)}(1)}\ge0,其中 β≥0\beta\ge0、α+β≥−2\alpha+\beta\ge-2 且 −1≤x≤1-1\le x\le1。de Branges的系数计算把参数置于该定理的适用范围内,从而得到第5步所需的符号 Φn′(t)≤0\Phi_n'(t)\le0。常见的有限 3F2{}_3F_2 形式是它的一个等价特例,并非对任意未加条件的参数都成立的不等式。

∑j=0mPj(α,β)(x)Pj(β,α)(1)≥0(β≥0, α+β≥−2, −1≤x≤1)(Askey–Gasper, 1976)\sum_{j=0}^{m} \frac{P_j^{(\alpha,\beta)}(x)}{P_j^{(\beta,\alpha)}(1)} \ge 0 \qquad (\beta\ge0,\ \alpha+\beta\ge-2,\ -1\le x\le1) \quad \text{(Askey--Gasper, 1976)}
详细分析

Askey与Gasper证明了Jacobi多项式正性 ∑j=0mPj(α,β)(x)Pj(β,α)(1)≥0\sum_{j=0}^{m} \frac{P_j^{(\alpha,\beta)}(x)}{P_j^{(\beta,\alpha)}(1)}\ge0,其中 β≥0\beta\ge0、α+β≥−2\alpha+\beta\ge-2 且 −1≤x≤1-1\le x\le1。de Branges的系数计算把参数置于该定理的适用范围内,从而得到第5步所需的符号 Φn′(t)≤0\Phi_n'(t)\le0。常见的有限 3F2{}_3F_2 形式是它的一个等价特例,并非对任意未加条件的参数都成立的不等式。

本步骤中的术语
超几何函数3F2{}_3F_2
带有三个“上”参数与两个“下”参数的广义超几何级数,是一类经典特殊函数,许多组合求和与正交多项式恒等式都是它的特殊情形。
阿斯基–加斯珀不等式
理查德·阿斯基与乔治·加斯珀于1976年针对一族 3F2{}_3F_2 超几何和给出的正性结果,原本是为了正定函数相关问题而证明的,结果恰好正是德布朗热证明中所缺的那块拼图。
本步骤用到的知识
特殊函数