[论文解读] Second order difference equations and discrete orthogonal polynomials of two variables

Yuan Xu|ArXiv.org|Jul 27, 2004

Quantum Mechanics and Non-Hermitian Physics参考文献 6被引用 3

一句话总结

本文通过建立差分算子 𝒟 关于权函数 W 自伴的条件，表征了在二维变量中具有离散正交多项式解的二阶偏差分方程。关键结果识别出八类此类方程，对应于两类经典离散正交多项式——Hahn、Meixner、Krawtchouk、Charlier 及其乘积形式——在单纯形和矩形等格点集上，且在系数函数的温和结构约束下成立。

ABSTRACT

The second order partial difference equation of two variables $ \CD u:= A_{1,1}(x) Δ_1 abla_1 u + A_{1,2}(x) Δ_1 abla_2 u + A_{2,1}(x) Δ_2 abla_1 u + A_{2,2}(x) Δ_2 abla_2 u & \qquad \qquad \qquad \qquad + B_1(x) Δ_1 u + B_2(x) Δ_2 u = λu, $ is studied to determine when it has orthogonal polynomials as solutions. We derive conditions on $\CD$ so that a weight function $W$ exists for which $W \CD u$ is self-adjoint and the difference equation has polynomial solutions which are orthogonal with respect to $W$. The solutions are essentially the classical discrete orthogonal polynomials of two variables.

研究动机与目标

• 确定二维变量的二阶偏差分方程在何种条件下具有正交多项式解。
• 识别出存在权函数 W 使得 W𝒟 自伴于离散内积的差分算子类。
• 建立权函数 W 与差分算子 𝒟 之间的相容性条件，以确保多项式解的正交性。
• 对所有产生二维经典离散正交多项式的方程进行分类，包括乘积型与 Hahn 型系统。
• 证明在系数函数的温和结构假设下，这些是唯一可能具有正交多项式解的方程。

提出的方法

• 在 ℤ² 中的格点上，使用前向与后向差分算子 Δi 和 ∇i 定义二阶偏差分算子 𝒟。
• 施加混合二阶系数满足 A₁₂ − A₂₁ ∈ Π₁²（线性多项式）的条件，以确保二次部分的对称性。
• 推导出存在权函数 W 使得 W𝒟 关于离散内积形式自伴的充要条件。
• 引入 W-一致性概念，确保权函数在定义域边界处的消失方式与算子相容。
• 利用自伴性与一致性条件，证明多项式解存在且关于 W 正交。
• 通过分析系数多项式 Aᵢⱼ 与 Bᵢ 对所得方程进行分类，识别出八类标准正交多项式族。

实验结果

研究问题

• RQ1 在系数函数 Aᵢⱼ 与 Bᵢ 满足何种条件时，二阶偏差分方程 𝒟u = λu 具有正交多项式解？
• RQ2 在何种条件下存在权函数 W 使得算子 W𝒟 关于离散内积自伴？
• RQ3 权函数 W 与差分算子 𝒟 之间的确切关系为何，可确保多项式解的正交性？
• RQ4 哪些二维经典离散正交多项式作为此类方程的解出现？它们定义在何种格点域上？
• RQ5 在合理假设下，是否存在其他非所识别家族的二阶差分方程，仍可支持正交多项式解？

主要发现

• 本文识别出八类不同的二维二阶差分方程，其具有正交多项式解。
• 这些解对应于经典离散正交多项式：在单纯形 V = {x₁ ≥ 0, x₂ ≥ 0, x₁ + x₂ ≤ N} 上的 Hahn 多项式，以及在矩形域 V = {0 ≤ x₁ ≤ M, 0 ≤ x₂ ≤ N} 上的乘积型多项式（Meixner、Krawtchouk、Charlier 及其混合形式）。
• 对每个此类方程，显式构造出权函数 W，使得算子 W𝒟 自伴，且多项式解关于 W 正交。
• 自伴性与 W-一致性的条件对于正交多项式解的存在性而言，既是必要也是充分的。
• 分析表明，在假设 A₁₂ − A₂₁ ∈ Π₁²（线性多项式）下，不存在其他非平凡差分方程能产生正交多项式解。
• 在单纯形上定义的离散 Hahn 多项式被证明是三角形上 Jacobi 型多项式的离散类比，但不存在关于圆盘上正交多项式的离散类比。