Gautschi关于子区间Jacobi多项式猜想的证明
A proof of Gautschi's conjecture on subrange Jacobi polynomials
浏览论文内容
中文总结 AI 辅助
本文证明了Gautschi关于子区间Jacobi多项式零点单调性的猜想，通过首次穿越论证、系综Ward界及正交展开与Markov定理，对所有参数范围建立了不等式，并给出直接证明与渐近极限。
中文摘要 AI 辅助
设$\pi_n$为在$[-c,c]$（$0<c\leq1$）上关于Jacobi权$(1-x)^\alpha(1+x)^\beta$（其中$-1<\alpha<\beta$）正交的$n$次首一多项式。Gautschi猜想$$ \left[ \frac{\pi_n(-c)}{\pi_n(c)} \right]^2 \left(\frac{1-c}{1+c}\right)^{\beta-\alpha} <1. $$根据他的变分公式，该不等式足以保证$\pi_n$的每个正零点随着$c$的增加而向右移动。对于$0<c<1$，一个首次穿越论证在整个$0<\alpha<\beta$范围内证明了该猜想。结合Gautschi记录并由Milovanović建立的早期区域，这解决了$\beta\geq0$的情形。在负楔形区域中，令$\alpha=-r-\lambda$且$\beta=-r+\lambda$，一个系综Ward界给出了区域$c^2\leq3/(3+r)$。同一穿越引理的加强版本，利用正交展开和Markov定理，去除了这一限制。因此，该猜想对所有$n\geq1$、$-1<\alpha<\beta$及$0<c\leq1$均成立。我们还给出了一个直接的一次证明和一个显式渐近极限。$c=1$的情形是直接的。
英文摘要
Let $π_n$ be the monic polynomial of degree $n$ orthogonal on $[-c,c]$, $0<c\leq1$, with respect to the Jacobi weight $(1-x)^α(1+x)^β$, where $-1<α<β$. Gautschi conjectured that \[ \left[ \frac{π_n(-c)}{π_n(c)} \right]^2 \left(\frac{1-c}{1+c}\right)^{β-α} <1. \] By his variation formula, this inequality is sufficient for every positive zero of $π_n$ to move to the right as $c$ increases. For $0<c<1$, a first-crossing argument proves the conjecture throughout $0<α<β$. Together with the earlier regions recorded by Gautschi and established by Milovanović, this settles $β\geq0$. In the negative wedge, writing $α=-r-λ$ and $β=-r+λ$, an ensemble Ward bound yields the region $c^2\leq3/(3+r)$. A strengthening of the same crossing lemma, using an orthogonal expansion and Markov's theorem, removes this restriction. Consequently, the conjecture holds for every $n\geq1$, $-1<α<β$, and $0<c\leq1$. We also give a direct degree-one proof and an explicit asymptotic limit. The case $c=1$ is immediate.
发表机构
- São Paulo State University (UNESP)（圣保罗州立大学）
- University of Coimbra（科英布拉大学）
机构由 AI 辅助整理，请以论文原文为准。
