[论文解读] Hahn, Jacobi, and Krawtchouck polynomials of several variables

Yuan Xu|arXiv (Cornell University)|Sep 5, 2013

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

一句话总结

本文建立了单纯形上多变量雅可比多项式与哈恩/克劳特舒克多项式之间的生成函数联系，通过极限过程推导出其再生核的闭式表达式。主要贡献在于证明了多变量哈恩与克劳特舒克多项式的泊松核非负性，这一结果此前甚至在单变量情况下也未知。

ABSTRACT

Hahn polynomials of several variables can be defined by using the Jacobi polynomials on the simplex as a generating function. Starting from this connection, a number of properties for these two families of orthogonal polynomials are derived. It is shown that the Hahn polynomials appear as connecting coefficients between several families of orthogonal polynomials on the simplex. Closed-form formulas are derived for the reproducing kernels of the Hahn polynomials and Krawtchouck polynomials. As an application, the Poisson kernels for the Hahn polynomials and the Krawtchouck polynomials are shown to be nonnegative.

研究动机与目标

• 建立单纯形上多变量雅可比多项式与多变量哈恩多项式之间的生成函数联系。
• 利用该联系推导出哈恩与克劳特舒克多项式再生核的闭式公式。
• 证明对于所有 $ x, y \in \mathbb{N}_0^d $ 满足 $ |x|, |y| \leq N $，哈恩与克劳特舒克多项式的泊松核非负。
• 推广已知的正交多项式关联结果，并将其应用于构造 $ L^2(T^d, W_\kappa) $ 中的紧多项式框架。

提出的方法

• 利用单纯形上雅可比多项式的生成函数来定义并表征多变量哈恩多项式。
• 通过生成函数恒等式，将雅可比多项式闭式公式推广，推导出哈恩多项式再生核。
• 在 $ t \to \infty $ 且 $ \kappa = t(\rho, 1 - |\rho|) $ 的极限过程中，从哈恩多项式获得克劳特舒克多项式再生核。
• 将克劳特舒克多项式的泊松核表达为包含超几何函数与二项式型系数的有限和。
• 利用所得核表达式的非负性，证明 $ \Phi_r(\mathsf{K}_{\rho,N}; x, y) \geq 0 $ 对所有 $ 0 \leq r \leq 1 $ 成立。
• 通过恢复经典克劳特舒克多项式已知的生成函数，验证结果在单变量情况下的正确性。

实验结果

研究问题

• RQ1 如何系统地从单纯形上的雅可比多项式生成多变量哈恩多项式？
• RQ2 多变量哈恩多项式再生核的闭式表达式是什么？
• RQ3 多变量克劳特舒克多项式如何作为哈恩多项式的极限情况出现？
• RQ4 多变量哈恩与克劳特舒克多项式的泊松核是否对所有有效的 $ x, y $ 和 $ r \in [0,1] $ 非负？
• RQ5 克劳特舒克多项式的再生核是否可表示为闭式，从而支持非负性证明？

主要发现

• 利用雅可比多项式在单纯形上的生成函数关系，推导出哈恩多项式再生核的闭式表达。
• 克劳特舒克多项式的再生核作为哈恩核的极限获得，得到公式 $ \mathsf{P}_n(\mathsf{K}_{\rho,N};x,y) = \sum_{k=0}^n \frac{(-1)^k}{(-N)_k} \mathcal{F}_k(x,y;\rho) r^k (1-r)^{N-k} $。
• 证明了克劳特舒克多项式泊松核对所有 $ x, y \in \mathbb{Z}_N^{d+1} $ 和 $ 0 \leq r \leq 1 $ 非负，该结果在单变量情况下也成立。
• 当 $ y = 0 $ 时，泊松核简化为 $ \Phi_r(\mathsf{K}_{\rho,N};x,0) = (1-r)^{|x|} \left(1 + \frac{r|\rho|}{1-|\rho|}\right)^{N-|x|} $，其显式非负。
• 极限关系 $ \lim_{t \to \infty} \mathsf{P}_n(\mathsf{H}_{t\boldsymbol{\rho}},N;x,y) = \mathsf{P}_n(\mathsf{K}_{\rho,N};x,y) $ 确认了克劳特舒克核作为哈恩核极限的一致性。
• 恒等式 $ \Phi_1(\mathsf{K}_{\rho,N};x,y) = \sum_{n=0}^N \mathsf{P}_n(\mathsf{H}_{\kappa},N;x,y) $ 成立，将生成函数的正交展开与再生核之和联系起来。