[论文解读] Discrete Fourier analysis on fundamental domain of $A_d$ lattice and on simplex in $d$-variables

Huiyuan Li, Yuan Xu|arXiv (Cornell University)|Sep 5, 2008

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

一句话总结

该论文在 $A_d$ 格点的基本域和 $d$ 维单纯形上发展了离散傅里叶分析，建立了三角插值、积分求积公式以及正交多项式系。一个关键贡献是：在单纯形上实现了三角拉格朗日插值的紧凑公式，其勒贝格常数以 $(\log n)^d$ 的速率增长；并识别出广义切比雪夫多项式的公共零点作为一类新型高斯积分求积公式的节点——这是此类结构的第二个已知实例。

ABSTRACT

A discrete Fourier analysis on the fundamental domain $Ω_d$ of the $d$-dimensional lattice of type $A_d$ is studied, where $Ω_2$ is the regular hexagon and $Ω_3$ is the rhombic dodecahedron, and analogous results on $d$-dimensional simplex are derived by considering invariant and anti-invariant elements. Our main results include Fourier analysis in trigonometric functions, interpolation and cubature formulas on these domains. In particular, a trigonometric Lagrange interpolation on the simplex is shown to satisfy an explicit compact formula and the Lebesgue constant of the interpolation is shown to be in the order of $(\log n)^d$. The basic trigonometric functions on the simplex can be identified with Chebyshev polynomials in several variables already appeared in literature. We study common zeros of these polynomials and show that they are nodes for a family of Gaussian cubature formulas, which provides only the second known example of such formulas.

研究动机与目标

• 将经典的离散傅里叶分析推广至高维格点，特别是 $A_d$ 格点，通过在其基本域上建立框架。
• 通过解决格点与群作用下的边界点等价关系，构建对称的离散傅里叶分析。
• 通过不变与反不变三角函数，建立单纯形上余弦与正弦函数的类比。
• 在单纯形上建立三角插值方案，给出显式紧凑公式，并保证勒贝格常数有界增长。
• 将广义切比雪夫多项式的公共零点识别为一类新型高斯积分求积公式的节点。

提出的方法

• 使用 $A_d$ 格点及其基本域，该基本域通过平移与群作用可铺满 $\mathbb{R}^d$。
• 通过由对偶格点 $L^\perp$ 索引的指数函数，在基本域上定义三角函数，构成 $L^2(\Omega_d)$ 的标准正交基。
• 通过群与格点等价关系解决边界重叠问题，在 $n\Omega_d$ 中的对称点集上构建离散傅里叶分析。
• 限制于 $\mathcal{A}_d$-不变与反不变函数，将基本域上的结果映射到单纯形 $\Delta^*$。
• 将广义切比雪夫多项式定义为指数函数的对称与反对称组合，将其与已知的多重切比雪夫系统相联系。
• 通过识别由 $T_\alpha(x) - T_{\alpha^*}(x)$ 生成的多项式理想在次数 $n+1$ 时的代数曲线，推导出一种高斯-洛巴托型积分求积公式，其在 $\Pi_{n-2}^d$ 上正交。

实验结果

研究问题

• RQ1 如何将离散傅里叶分析从经典的一维情形推广至高维格点（如 $A_d$）？
• RQ2 如何刻画 $A_d$ 格点基本域的结构？如何在其上定义对称点集，以实现插值与积分求积？
• RQ3 能否以紧凑显式公式表达单纯形上的三角插值？其勒贝格常数的增长速率如何？
• RQ4 广义切比雪夫多项式在构造单纯形上高斯积分求积公式中起何作用？
• RQ5 这些多项式的公共零点是否构成一类新型高斯积分求积公式的节点？它们与多项式理想有何关联？

主要发现

• 在 $d$-单纯形上，三角拉格朗日插值的勒贝格常数以 $(\log n)^d$ 的速率增长，表明其随 $n$ 增大仅呈现适中增长。
• 推导出单纯形上插值基函数的紧凑显式公式，支持高效计算。
• 广义切比雪夫多项式第二类的公共零点构成一组节点，形成具有 $|Y_n| = \binom{n+d}{d}$ 个节点的高斯积分求积公式。
• 公式 (5.18) 是针对权函数 $w^{-1/2}$ 的高斯-洛巴托型公式，其节点数多于理论最小值 $\dim \Pi_{n-1}^d$，表明具有高精度。
• 节点集 $Y_n$ 是由 $T_\alpha(x) - T_{\alpha^*}(x)$ 生成的多项式理想的零点集，其中 $|\alpha| = n+1$，且这些多项式在 $\Pi_{n-2}^d$ 上正交。
• 本工作提供了此类结构的第二个已知高斯积分求积公式实例，显著推进了多重积分求积理论的发展。