[论文解读] A Pólya criterion for (strict) positive definiteness on the sphere

R. K. Beatson, Wolfgang zu Castell+1 more|arXiv (Cornell University)|Oct 11, 2011

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

一句话总结

本文提出了一种基于切比雪夫多项式积分非负性的Pólya型准则，用于判断球面上zonal函数的（严格）正定性。该准则在维度 $d = 3$ 到 $8$ 的情况下被证明成立，提供了一种无需计算所有Gegenbauer系数即可验证严格正定性的实用充分条件，从而支持可靠的核基插值。

ABSTRACT

Positive definite functions are very important in both theory and applications of approximation theory, probability and statistics. In particular, identifying strictly positive definite kernels is of great interest as interpolation problems corresponding to these kernels are guaranteed to be poised. A Bochner type result of Schoenberg characterises continuous positive definite zonal functions, $f(\cos \cdot)$, on the sphere $\Sdmone$, as those with nonnegative Gegenbauer coefficients. More recent results characterise strictly positive definite functions on $\Sdmone$ by stronger conditions on the signs of the Gegenbauer coefficients. Unfortunately, given a function $f$, checking the signs of all the Gegenbauer coefficients can be an onerous, or impossible, task. Therefore, it is natural to seek simpler sufficient conditions which guarantee (strict) positive definiteness. We state a conjecture which leads to a Pólya type criterion for functions to be (strictly) positive definite on the sphere $\Sdmone$. In analogy to the case of the Euclidean space, the conjecture claims positivity of a certain integral involving Gegenbauer polynomials. We provide a proof of the conjecture for $d$ from 3 to 8.

研究动机与目标

• 开发一种简单、可验证的（严格）正定性充分条件，用于球面上的zonal函数，避免计算所有Gegenbauer系数。
• 将经典的Pólya准则从欧氏空间推广到球面设置，利用Gegenbauer多项式上的积分条件。
• 建立一个关于特定积分变换非负性的猜想，作为（严格）正定性的充分条件。
• 证明该猜想在维度 $d = 3$ 到 $8$ 成立，为识别严格正定核提供构造性框架。
• 通过识别具有保证严格正定性的核，支持稳定且条件良好的插值方案的构建。

提出的方法

• 提出一个猜想：若某个涉及Gegenbauer多项式的积分非负，则函数 $f(\cos \theta)$ 在 $\mathbb{S}^{d-1}$ 上是（严格）正定的。
• 利用 $f(\cos \theta)$ 的Gegenbauer展开，将核表示为 $[-1,1]$ 上正交多项式的形式。
• 基于生成函数 $h(u)$ 的导数定义辅助函数 $H_n(u)$，并分析其符号以验证核积分条件的正性。
• 采用渐近分析与数值计算，确定 $H_n(u) < 0$ 的区间，确保核变换 $F_n^3(t)$ 的正性。
• 通过 $C_n^3(\cos \theta)$ 的最大零点的界与 $\sin t_n^*$ 的渐近估计，建立 $F_n^3(t)$ 正性区域的重叠。
• 通过在 $[0, \pi]$ 上直接数值绘制 $F_n^3(t)$ 的显式表达式，完成对 $n \leq 14$ 的证明。

实验结果

研究问题

• RQ1 能否基于Gegenbauer多项式上的积分条件，提出一种用于球面上（严格）正定性的Pólya型充分条件？
• RQ2 所提出的猜想——特定Gegenbauer多项式积分的非负性——在维度 $d = 3$ 到 $8$ 是否成立？
• RQ3 能否在不计算所有Gegenbauer系数的情况下证明该猜想，从而实现对严格正定性的实用验证？
• RQ4 对于大和小的 $n$，核变换 $F_n^3(t)$ 在 $[0, \pi]$ 上的行为如何？其是否保持正性？
• RQ5 关于 $C_n^3(\cos \theta)$ 最大零点的渐近估计与 $F_n^3(t)$ 正性区域如何相互作用，以确保全局正性？

主要发现

• 该关于球面 $\mathbb{S}^{d-1}$ 上（严格）正定性的Pólya型准则的猜想，已在所有维度 $d = 3$ 到 $8$ 中被证明为真。
• 使用函数 $h(u) = \int_0^1 (1-s)^4 \cos(su) \, ds$ 构造测试函数，其导数被分析以验证 $H_n(u)$ 的符号条件。
• 证明了当 $u > u^* \approx 3.63661$ 且 $n \geq 9$ 时，$H_n(u) < 0$，这意味着 $\frac{d}{dn}G_n^{2,3}(t) > 0$ 对于 $t > u^*/n$ 成立，从而支持核变换的正性。
• 通过 $C_n^3(\cos \theta)$ 最大零点的界，证明了 $F_n^3(t)$ 在 $(0, \sin t_n^*)$ 上为正，其中 $\sin t_n^* \geq \frac{\sqrt{6 + \pi^2}}{n+1} + \mathcal{O}(n^{-2})$。
• 对于 $n > 14$，渐近与数值分析所得的 $F_n^3(t)$ 正性区域相互重叠并覆盖整个区间 $(0, \pi)$，确保了全局正性。
• 通过在 $[0, \pi]$ 上对 $F_n^3(t)$ 进行直接数值评估，完成对 $n \leq 14$ 的证明，确认其在该区间上保持正性。