[论文解读] Finding differential equations for symmetric generalized ultraspherical polynomials by using inversion methods

J. Koekoek, Roelof Koekoek|ArXiv.org|Aug 27, 1999

Mathematical functions and polynomials参考文献 6被引用 7

一句话总结

本文推导出在 $[-1,1]$ 上正交、带有经典雅可比权函数且端点处质量点相等的对称广义超球多项式所满足的显式谱型微分方程。利用雅可比反演公式，作者求解涉及雅可比多项式导数的方程组，唯一确定了系数，从而得到这些多项式所服从的微分算子的封闭表达式。

ABSTRACT

We find all spectral type differential equations satisfied by the symmetric generalized ultraspherical polynomials which are orthogonal on the interval [-1,1] with respect to the classical symmetric weight function for the Jacobi polynomials together with equal mass points at both ends of the interval of orthogonality. In order to find explicit formulas for the coefficients of these differential equations we have to solve systems of equations involving derivatives of the classical Jacobi polynomials. These systems of equations have a unique solution which is given explicitly. This is a consequence of the Jacobi inversion formula.

研究动机与目标

• 确定在 $[-1,1]$ 上正交、带有经典对称雅可比权函数且端点处质量点相等的对称广义超球多项式所满足的所有谱型微分方程。
• 推导这些微分方程系数的显式公式。
• 利用反演技术求解涉及经典雅可比多项式导数的方程组。
• 通过雅可比反演公式建立解的唯一性与显式形式。
• 提供一种系统化方法，用于构造与这些正交多项式系对应的微分算子。

提出的方法

• 作者采用反演方法，求解由对称广义超球多项式的正交性条件导出的方程组。
• 他们将微分方程的系数表示为涉及经典雅可比多项式高阶导数的方程组的解。
• 解的唯一性由雅可比反演公式保证，该公式确保存在明确定义的逆映射。
• 该方法依赖于经典正交多项式及其微分性质的结构，以推导出系数的显式公式。
• 该方法为代数与分析相结合的方法，结合正交多项式的性质与线性代数技术，求解未知系数。
• 最终得到的微分方程为谱型，即它们是作用于对称广义超球多项式的线性微分算子的特征值问题。

实验结果

研究问题

• RQ1 对称广义超球多项式在端点处带有质量点时，其谱型微分方程的显式形式是什么？
• RQ2 如何从经典雅可比多项式的导数系统性地推导出这些微分方程的系数？
• RQ3 何种数学结构确保了系数方程组解的唯一性？
• RQ4 雅可比反演公式在显式构造这些微分算子中起到何种作用？
• RQ5 与标准超球多项式相比，端点处增加质量点如何影响微分方程的结构？

主要发现

• 本文确立了微分方程系数方程组具有唯一解，且该解以显式形式给出。
• 微分方程的系数通过雅可比反演公式，以经典雅可比多项式导数的形式表达。
• 所得微分方程为谱型，即它们是作用于对称广义超球多项式的线性微分算子的特征值问题。
• 该方法成功构造了系数的显式公式，无需数值近似。
• 求解过程完全具有算法性，仅依赖于已知的雅可比多项式及其导数的性质。
• 推导出的微分方程适用于在 $\pm1$ 处具有相等质量点的全部对称广义超球多项式类。