[论文解读] A new approach to the asymptotics for Sobolev orthogonal polynomials

Manuel Alfaro, Juan J. Moreno–Balcázar+2 more|arXiv (Cornell University)|Mar 17, 2010

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

一句话总结

本文提出了一种新颖的分析方法，用于推导具有无界测度的Sobolev正交多项式的渐近性质，特别是涉及在零点处导数的Laguerre型内积。通过克服经典方法在无界情况下的失效问题，建立了涉及贝塞尔函数的相对渐近公式和Mehler–Heine型公式，揭示了靠近零点的零点以$1/n$阶速率收敛至零，且由于导数项的存在，前$r+1$个零点的收敛速度进一步加快。

ABSTRACT

In this paper we deal with polynomials orthogonal with respect to an inner product involving derivatives, that is, a Sobolev inner product. Indeed, we consider Sobolev type polynomials which are orthogonal with respect to $$(f,g)=\int fg dμ+\sum_{i=0}^r M_i f^{(i)}(0) g^{(i)}(0), \quad M_i \ge 0,$$ where $μ$ is a certain probability measure with unbounded support. For these polynomials, we obtain the relative asymptotics with respect to orthogonal polynomials related to $μ$, Mehler--Heine type asymptotics and their consequences about the asymptotic behaviour of the zeros. To establish these results we use a new approach different from the methods used in the literature up to now. The development of this technique is highly motivated by the fact that the methods used when $μ$ is bounded do not work.

研究动机与目标

• 开发一种新方法，用于研究当底层测度具有无界支集时Sobolev正交多项式的渐近性质，此时经典技术失效。
• 分析首一Sobolev正交多项式相对于与Laguerre型测度相关的标准正交多项式的相对渐近性质。
• 为这些多项式推导Mehler–Heine型公式，并刻画其零点的渐近行为。
• 解决无界情况下连接系数无界所带来的挑战，这些系数使得依赖有界系数的标准方法失效。

提出的方法

• 提出一种基于级数展开和贝塞尔函数恒等式的新型分析框架，以处理无界测度，取代传统的基于递推的方法。
• 利用Sobolev多项式与标准正交多项式之间的关系，通过形如$ Q_n(x) = \sum_{j=0}^{r+1} a_n^j R_{n-j}(x) $的线性组合，尽管在无界情况下系数$ a_n^j $是无界的。
• 应用拉盖尔多项式及其导数的渐近展开，利用已知的涉及贝塞尔函数$ J_{\alpha}(2\sqrt{x}) $的渐近公式。
• 利用贝塞尔函数的递推关系，将级数中的高阶项表示为阶数递增的贝塞尔函数的组合。
• 建立缩放多项式$ T_{n,r,s}(x/(n+j)) $的极限行为，证明其收敛于贝塞尔函数的线性组合。
• 利用Hurwitz定理和准正交性分析零点的分布与收敛性，特别是靠近原点处的零点。

实验结果

研究问题

• RQ1 当底层测度具有无界支集时，特别是当标准方法失效时，如何推导Sobolev正交多项式的渐近性质？
• RQ2 在无界情况下，Sobolev正交多项式相对于标准正交多项式的相对渐近行为如何？
• RQ3 这些多项式的零点在渐近行为上如何表现，特别是靠近原点和正实轴区域？
• RQ4 零点处导数项的存在在何种程度上加速了最小零点向零的收敛？
• RQ5 能否为具有离散部分中存在空缺的内积的Sobolev多项式建立Mehler–Heine型公式？

主要发现

• Sobolev正交多项式的相对渐近性质由一个涉及阶数$ \alpha + 2r + 2 $及更高阶贝塞尔函数的线性组合的极限所刻画，且系数明确给出。
• 缩放多项式$ \frac{(-1)^n}{n! \, n^\alpha} T_{n,r,s}\left(\frac{x}{n+j}\right) $的极限收敛于包含$ J_{\alpha+2r+2}(2\sqrt{x}) $及更高阶贝塞尔函数的表达式。
• 多项式$ T_{n,r,s} $的前$ r+1 $个零点以$ O(1/n) $阶速率收敛至零，表明导数项导致了收敛速度的进一步加快。
• 对于$ k \geq r+2 $，有$ n \zeta_{n,k}^{r,s} \to j_{\alpha+2r+2,k-r-1} $，其中$ j_{\nu,m} $表示$ J_\nu $的第$ m $个正零点。
• 最小零点的收敛加速与质量点$ M_s $的位置无关，只要离散部分包含零点处的$ r+1 $阶导数即可。
• 该方法成功推广了文献中已有结果，特别是改进了单个导数项内积的渐近公式，并将[5]和[8]的结果进行了扩展。