[论文解读] Jacobi operator, q-difference equation and orthogonal polynomials

Lazhar Dhaouadi, Mohamed Jalel Atia|arXiv (Cornell University)|Nov 2, 2012

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

一句话总结

本文通过在Sturm-Liouville q-差分方程中代入 $ x = q^{-n} $，建立了 q-差分方程、Jacobi算子与 q-正交多项式之间的新联系，揭示了特征函数为 q-正交多项式或如修正 q-Bessel 函数及新引入的 q-Macdonald 函数等特殊函数。主要贡献在于推导出这些多项式的生成函数与离散正交测度，应用 q-Bessel 傅里叶分析与矩方法研究其渐近行为与谱论。

ABSTRACT

In this paper, a link between $q$-difference equations, Jacobi operators and orthogonal polynomials is given. Replacing the variable $x$ by $ q^{-n}$ in a Sturm-Liouville $q$-difference equation we discovered the Jacobi operator. With appropriate initial conditions, the eigenfunctions of such operators are either $q$-orthogonal polynomials or the modified $q$-Bessel function and a newborn the $q$-Macdonald ones. The new Polynomial sequence we found is related to the $q$-Lommel polynomials introduced by Koelink and other. Adapting E. C. Titchmarsh's theory, we showed the existence of a solution square-integrable only in the complex case. As application in the real case we gave the behavior at infinity for $q$-Macdonald's function. Finally, we pointed out that the method described in our paper can be generalized to study the orthogonal polynomial sequence introduced by Al-Salam and Ismail

研究动机与目标

• 通过一种新颖的变换，建立 q-差分方程、Jacobi算子与 q-正交多项式之间的深层联系。
• 识别由此产生的 Jacobi 算子的特征函数为 q-正交多项式或特殊函数，包括一种新引入的 q-Macdonald 函数。
• 推导与 q-Lommel 多项式相关的新型多项式序列的生成函数与离散正交测度。
• 应用 Titchmarsh 的谱论与 q-Bessel 傅里叶分析，研究 q-Macdonald 函数的平方可积解与渐近行为。
• 将该方法推广至其他正交多项式序列，如 Al-Salam 与 Ismail 所引入的序列。

提出的方法

• 在 Sturm-Liouville q-差分方程中代入 $ x = q^{-n} $，生成作用于 $ n \in \mathbb{Z} $ 索引序列的 Jacobi 算子。
• 利用 q-Bessel 傅里叶变换与归一化 q-Bessel 函数 $ j_\nu(x;q^2) $ 的性质，分析谱性质与特征函数。
• 应用矩理论与连分数技巧，推导多项式序列的正交测度。
• 将 E. C. Titchmarsh 理论适配，证明仅在复数情况下存在平方可积解。
• 通过分析 $ j_\nu(q^{-n}\lambda; q^2) $ 的渐近性与关联多项式比值的极限，确定 q-Macdonald 函数在无穷远处的行为。
• 通过修改 q-差分方程中的势能项，将该框架推广至其他正交多项式族。

实验结果

研究问题

• RQ1 在 q-差分方程中代入 $ x = q^{-n} $ 如何将其转化为 Jacobi 算子？
• RQ2 由此产生的 Jacobi 算子的特征函数是什么？它们与 q-正交多项式及特殊函数有何关联？
• RQ3 由 q-Lommel 多项式导出的新多项式序列的生成函数与正交测度是什么？
• RQ4 在何种条件下 q-差分方程存在平方可积解？其存在性如何依赖于谱参数？
• RQ5 该方法能否扩展至分析其他正交多项式序列，如 Al-Salam 与 Ismail 的序列？

主要发现

• 通过在 q-差分方程中代入 $ x = q^{-n} $ 所得 Jacobi 算子的特征函数，要么是 q-正交多项式，要么是修正 q-Bessel 函数，另有新类被识别为 q-Macdonald 函数。
• q-Macdonald 函数与 Rogov 所定义的第三类 q-Macdonald 函数不同，其特征通过 q-Bessel 傅里叶分析工具刻画。
• 新多项式序列的正交测度为离散测度，其支撑集为 $ \{ t_k = q^{-2}(j_k^\nu)^2 \} $，其中 $ j_k^\nu $ 为 $ j_\nu(x; q^2) $ 的正实单零点。
• 在每个 $ t_k $ 处的留数（质量）由下式显式给出：$ A_k = \frac{2j_k^\nu}{q^{\nu+3}j_\nu'(j_k^\nu; q^2)} \left[ j_\nu(q^{-1}j_k^\nu; q^2) - \frac{q^{-2\nu}-1}{q^{2\nu}j_{-\nu}(q^{-\nu}j_k^\nu; q^2)} \right] $。
• 在实数情况下，通过关联多项式比值 $ \frac{Q_n(-\lambda^2)}{P_n(-\lambda^2)} $ 的极限，推导出 q-Macdonald 函数在无穷远处的渐近行为，结果为 $ \frac{j_\nu(\lambda; q^2)}{q^{\nu+1}j_\nu(q\lambda; q^2)} $。
• 通过修改 q-差分方程中的势能项，该方法可推广至其他正交多项式族，如 Al-Salam 与 Ismail 所引入的序列。